MinimalClosedScaleOrbitBridge
plain-language theorem explainer
A Prop-structure packaging four certificates: minimal closed-scale orbit data, its realized closed-scale model, admissible orbit reflection, and the φ-uniform normal form are one bridge. Anyone tracing the T5→T6 self-similarity route cites it. Definitional packaging only; propositional uniqueness is immediate (Subsingleton by rfl).
Claim. For a closed observable framework $F$ and a minimal closed-scale orbit $O$ on $F$, a minimal closed-scale orbit bridge asserts four facts: (i) the realized closed-scale model built from $O$ is directly equivalent to the canonical $\varphi$-uniform normal form (uniform scaling, growth orientation, seed closure); (ii) the base state of $O$ carries admissible orbit reflection (first-step growth, ratio self-similarity, additive seed posting); (iii) that admissible orbit yields the $\varphi$-uniform normal form; (iv) the closed-scale/admissible-orbit bridge agrees with the constructed realized model.
background
The ambient module is the Unified Forcing Chain: T−1 through T8 are forced from the Recognition Composition Law plus normalization and calibration. The local stretch is the T5→T6 passage, where unique $J$ must force $\varphi$ as the self-similar fixed point of a discrete ledger hierarchy.
A closed observable framework supplies a state space $S$, a dynamics $T$, and a positive ratio observable $r$, with nontriviality and closure (no external input, countable states). A minimal closed-scale orbit on $F$ is a base state, positive amplitude, and a minimal hierarchy such that orbit values equal amplitude times the hierarchy scales. Admissible orbit reflection is the missing growth / ratio-self-similarity / additive-seed data that turns a bare closed framework into the $\varphi$-uniform normal form. Realized closed-scale normal-form equivalence and the closed-scale/admissible-orbit bridge are the matching certificates on the realized-model side.
Upstream, the closed-framework axioms (C1–C3) and the $\varphi^k$ scale ladder fix the geometric language; the bridge does not invent new dynamics, only packages the identification.
proof idea
Definitional structure, not a proved theorem. The four fields are Prop-valued certificates naming the realized-model equivalence, bare admissibility, admissible normal-form reflection, and the closed-scale/admissible bridge, each applied to the model constructed from the minimal orbit. No tactics fire in the structure body. The accompanying Subsingleton instance is a one-line rfl: any two bridges on fixed $(F,O)$ are definitionally equal as pure Prop packages.
why it matters
This is the glue object on the internal hierarchy-dynamics route from T5 (unique $J$) to T6 ($\varphi$ forced by self-similarity). Downstream, canonical_minimal_closed_scale_orbit_bridge inhabits the structure from the canonical constructors; MinimalOrbitRealizationBridge lifts it to fixed-data realization uniqueness; and T5_To_T6_SelfSimilarity_Bridge routes through realized hierarchy data so that a closed framework with a realized hierarchy forces the scale ratio to be $\varphi$, while recording that bare framework fields alone do not force hierarchy fields (no smuggled assumptions).
In the primer landmarks this sits between T5 J-uniqueness and T6 $\varphi$ as the self-similar fixed point. It does not itself pin $\varphi$; it standardizes the certificate shape so the T5→T6 bridge can cite one object rather than four ad hoc hypotheses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.