inevitability_absolute_holds
plain-language theorem explainer
For every real scale φ, absolute inevitability holds: any ledger, bridge, and anchor triple admits unique calibration. The recognition-closure shim cites this to package absolute and dimensionless inevitability into full closure. The proof is a one-line discharge that applies the existing unique-calibration lemma on arbitrary inputs.
Claim. For every real number $\varphi$, absolute inevitability holds: for every ledger $L$, every bridge $B$ on $L$, and every choice of anchors $A$, the calibration of $(L,B,A)$ is unique.
background
Absolute inevitability is the RecogSpec predicate that, at a fixed real scale $\varphi$, every ledger–bridge–anchor triple has unique calibration. A ledger records debit and credit postings; a bridge is the interface structure on that ledger; anchors fix the active-edge and related normalization data used to pin units.
This module is the inevitability scaffold built from the explicit dimensionless-pack evaluator. The module doc is explicit that these witnesses are not part of the certified surface: the evaluator is still a placeholder and does not depend on bridge or ledger structure, so treating global inevitability as certified would be circular.
Upstream, unique calibration for arbitrary ledger, bridge, and anchors is already available as a lemma. The scaffold only packages that fact under the absolute-inevitability name.
proof idea
Unfold absolute inevitability by introducing an arbitrary ledger $L$, bridge $B$, and anchors $A$. Discharge the resulting unique-calibration goal in one step by applying the existing lemma that unique calibration holds for any such triple. No arithmetic on $\varphi$ and no case analysis appear.
why it matters
This is the absolute half of the inevitability pair that the closure shim consumes. Downstream, recognition_closure_any builds full recognition closure by combining the dimensionless and absolute inevitability witnesses and feeding them to the closure-from-inevitabilities constructor.
In the broader Recognition framework, absolute inevitability is the claim that calibration (the map from ledger and bridge data to physical units) cannot branch once anchors are fixed. That sits next to the forcing chain’s uniqueness themes (J-cost uniqueness, $\varphi$ as self-similar fixed point), but this particular witness is intentionally scaffold-only: it does not yet close the certified surface, because it rides on the placeholder dimensionless evaluator rather than on ledger or bridge structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.