The Possibility Face

The availability field is recomputed at every instant, from the four constraint families, the coupling capacity, and the record history at both scales — the lineage’s own and the whole’s, inseparable. All possibilities exist in the free state; decoherence prunes them to the available; the record history weights the outcomes.

When the event actualizes, the alternatives vanish instantaneously, everywhere, because there is one record — and that vanishing is the toll being paid.

The vanishing crosses nothing. No record travels and no signal is sent — the alternatives were never anywhere to be fetched from — so Axiom C, the constraint, has nothing to price and nothing to forbid. It is the same fact that kept c out of the denomination (§5). What physics meets as entanglement’s non-locality is this and only this: one record, no crossing.

The Born identification, ruled. The Born statistics are the possibility ledger’s outside face: outcomes have probabilities, and probability is the possibility ledger being spent — the identification and rejection of possibilities against the record history that weighted them. This is an identification, not a prediction. The corpus does not predict Born weights here; it names what they are the accounting of.

The no-deviation fence is armed on this proof’s own hash: no departure from Born statistics is claimed anywhere, ever, and any future deviation-claim is a different family owing its own forcing argument. The Born rule itself is AP25’s, derived there via Gleason and guarded there by KS-56; this proof inherits both.

What remains genuinely open is stated without decoration: whether the possibility face ever yields an independent, falsifiable consequence of its own. None is claimed in this proof. If none is ever found, the family closes as structure with the honest label — which was always the pre-registered second limb, now standing on its true reason.