The Constitution Record

Proposition 1 — The Constitution Record.

Statement. Every persisting configuration has a unique first record: the record that constitutes it.

Proof. Axiom R orders records irreversibly (AP01, AP20): for any configuration, its records stand in a strict temporal order that cannot be unwritten. A persisting configuration has at least one record — persistence is exactly the holding-open of a record; a configuration with none has nothing held and is not a configuration. A non-empty, strictly ordered, irreversible set of records has a least element, and strictness makes it unique. That least element is the constitution record: the writing of the configuration into the arena. ∎

Applied to the arena itself, the proposition names the first record of all: the break. The arena is the one configuration whose constitution record has no arena prior to it — which is why §4 will find that its account, alone, was never booked.