The Ledger and the Toll Theorem

The ledger identity. A held lineage sheds one flow-quantum per instant on the writing direction — the leakage stream, the structural reading of ordinary persistence. A free lineage sheds nothing, costs nothing, is charged nothing, while gravity’s hold never lapses.

Across any blink, therefore: sheds = 0, and the deficit against uninterrupted persistence equals the window’s length, minimum one. The blink’s signature in the leakage ledger is a gap of missing sheds — counts, not magnitudes.

Lemma 1 (ties heal). The transition HELD → FREE occurs only with strict excess: at exact balance, the crack heals, symmetry restores, the configuration persists, and Axiom R has nothing to keep, because nothing irreversible occurred. A break at exact balance is a non-event.

Grade: canon-seated (the healing default; Axiom S); its fully formal statement inherits the record-algebra debt and says so. The author’s rope — it holds absolutely until the last moment — is this lemma in his register.

Lemma 2 (the ledger counts). The possibility ledger’s currency is distinction. A win too small to register is indistinguishable from no win, and the indistinguishable does not exist for the record. The least excess the record can contain is therefore one quantum — the least registrable win.

Theorem 1 (the toll is forced, and it is one). At every blink, the toll exists and equals exactly one grain of distinction, spent on the possibility ledger as the pruning of the alternatives not taken, paid by the breaking configuration as its last act.

Proof. Existence: by Lemma 1 every break that occurs carries a strict win; by Lemma 2 the least such win is one quantum; therefore every break carries at least one.

Exactness: the toll is paid on the possibility face, and that face counts outcomes, not excess. The event is singular (§3) — one break, one snap, one outcome, this rather than that — and one outcome is one distinction however far past threshold the excess ran; whatever the surplus was, it is the energy face’s, ordinary and outside (§5). The ledger’s own entry is unit-valued because the least registrable win is one (Lemma 2).

Spent: vanished alternatives book nowhere; the toll dies with its payer, accumulates into nothing, and leaves the deuteron wall nothing to bite. And it is one regardless of the crowd — turning right when there were a thousand lefts still spends one grain, because the count is the event’s, not the alternatives’. ∎

Corollary (the event-scale balance). Per full blink: one quantum withheld at the snap — the bump, on the writing direction, booking for a matter blink into mass at persistence and invisible ever after — and one quantum spent at the break — the toll, on the releasing direction, booking nowhere. One each way: the axiom’s two directions each take exactly one at their crossing.

The bump is not a new line anywhere. AP44 keeps two books for the held quantum and this corollary opens neither: matter configurations’ commitments are already booked as mass (AP29; AP44 §4, Corollary), and the arena’s alone is written into the gravitational coupling (AP44 §§5–6). A matter blink’s bump is the first; the arena’s snap is the second; this proof adds nothing to either, and it stands inside KS-CCC.2’s fence — AP44’s discipline switch against any commitment factor applied to a mass — which it does not touch.

They remain two costs with two selection arguments, present as the two dimensional components of the one event, coincident or not. Nothing in this corollary is a magnitude; it is a count, and the count is the theorem.

Grade of Theorem 1: DERIVED-AT-THE-STRUCTURAL-REGISTER. Existence rides Lemmas 1 and 2; exactness rides §3’s singularity ruling and Lemma 2’s unit; the count clause is guarded by KS-BLINK.4, and the fully formal statement is D-BLINK.1’s.