Inevitability_absolute
plain-language theorem explainer
Absolute inevitability at a real scale φ is the universal claim that every ledger, every bridge on that ledger, and every anchor triple admits unique unit calibration. Spec and closure authors cite it as one half of recognition closure (with the dimensionless half). It is a pure propositional abbreviation: no proof obligation lives here.
Claim. For $\varphi \in \mathbb{R}$, absolute inevitability holds when, for every ledger $L$, every bridge $B$ on $L$, and every anchor triple $A$, the units induced by $A$ are uniquely calibrated on $(L,B)$.
background
RecogSpec packages the certified surface of Recognition Science: dimensionless band constraints and absolute (unit-bearing) constraints that together form recognition closure. A ledger is a double-entry list of recognition events. A bridge is the comparison structure that reads observables off a ledger. Anchors fix the display units (fundamental time, length, and the derived speed) against which calibrated quantities are reported.
Unique calibration is the statement that those anchors determine a single consistent unit system on the bridged ledger: no competing rescaling survives the double-entry and bridge constraints. Absolute inevitability simply quantifies that uniqueness over all ledgers, bridges, and anchors at a fixed real parameter $\varphi$ (the golden-ratio scale in the RS forcing chain).
Upstream, the foundation Inevitability Theorem states that any zero-parameter alternative that derives observables either reduces to the RS cost and selection or violates a necessity gate. The present definition is the RecogSpec-side absolute half of that no-alternatives packaging, not a re-proof of the foundation theorem.
proof idea
Definitional abbreviation only. The body is the single universal proposition $\forall L, B, A,\ \mathrm{UniqueCalibration}(L,B,A)$; there is no tactic script, no lemma application, and no sorry. Inhabiting witnesses are deliberately kept in the InevitabilityScaffold module and excluded from the certified surface.
why it matters
Recognition closure at $\varphi$ is defined as the conjunction of dimensionless inevitability and this absolute inevitability. The one-line combiner recognition_closure_from_inevitabilities and the shim recognition_closure_any both consume it; the non-vacuity certificate structure also threads through Recognition_Closure.
In the broader framework this is the absolute (unitful) half of the RS core "no alternatives" claim: once ledgers, bridges, and anchors are fixed, calibration cannot fork. It sits beside the dimensionless band half and feeds the certified closure surface used by verification certificates. Scaffold witnesses that currently discharge it via a placeholder dimensionless pack are intentionally outside the certified surface, so closing that scaffold is the remaining obligation before absolute inevitability is theorem-grade rather than definitional.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.