choke_universality
plain-language theorem explainer
Choke point 1 records that selection by minimizing the unique cost J is the sole admissible mechanism for existence. Researchers checking alternative zero-parameter frameworks cite it when testing whether their models evade the CPM necessity or introduce hidden parameters. The declaration is a direct record construction that populates the ChokePoint structure with scaffold status.
Claim. Choke point 1 asserts that any admissible framework must select configurations exclusively by minimizing the cost function $J(x) = (x + x^{-1})/2 - 1$, rendering every other selection rule inadmissible.
background
A ChokePoint is a structure with fields name (String), status (String: closed/scaffold/open), and consequence (String describing the implication of closure). The module formalizes inevitability by relocating degrees of freedom into the cost function, organizing alternatives into three buckets: choices about J itself, about the meaning of existence, and about the admissible class of frameworks. Upstream results supply the RS-native units (tick/voxel basis, $c=1$, coherence quantum $φ^{-5}$) and the ChokePoint structure definition.
proof idea
This declaration is a direct record construction that instantiates the ChokePoint structure with the literal fields name, status, and consequence.
why it matters
The definition supplies the first entry to all_choke_points and supports the inevitability theorem that any alternative must violate one of the six necessity gates (cost uniqueness T5, selection rule, discreteness, ledger, self-similarity, dimension). It leaves open the scaffold status for proving CPM exclusivity, directly referencing the framework landmarks of J-uniqueness and the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.