admissibleOrbitReflection_of_realizedClosedScale
plain-language theorem explainer
Any realized closed-scale model on a closed observable framework yields admissible-orbit reflection at its base state: first-step growth, constant adjacent ratios, and additive seed posting. Hierarchy and T5–T6 bridge authors cite it to turn geometric scale data into the φ-uniform normal-form package. The proof fills the three reflection fields by rewriting the growth step and applying the two closed-scale hierarchy lemmas.
Claim. Let $F$ be a closed observable framework (positive ratio observable $r$, discrete dynamics $T$, nontrivial and closed). Let $H$ be a realized closed-scale model on $F$. Then the base state of $H$ carries admissible-orbit reflection: the first orbit step grows, $1 < r(T\,\mathrm{base})/r(\mathrm{base})$; adjacent orbit ratios are constant (self-similar); and the second step posts additively, $r(T^{2}\,\mathrm{base}) = r(T\,\mathrm{base}) + r(\mathrm{base})$.
background
The Unified Forcing Chain module aims to force T0–T8 from the Recognition Composition Law alone. The T5–T6 step needs self-similarity on a discrete ledger so that $\varphi$ is the unique fixed point of the scale hierarchy.
A closed observable framework supplies a state space $S$, dynamics $T$, and a positive ratio observable $r$, with nontrivial observability and no external input. Admissible-orbit reflection is the missing exact data on one orbit: growth of the first step, constant adjacent ratios, and additive seed posting. That package turns a bare closed framework into the $\varphi$-uniform normal form.
Upstream, a realized closed-scale model packages a geometric scale sequence closed under ledger composition. From it one already has ratio self-similarity on the realized orbit and additive posting $r(T^{2}b)=r(Tb)+r(b)$ via closure of the scale sequence (scale $0$ + scale $1$ = scale $2$).
proof idea
Term-mode construction of the three AdmissibleOrbitReflection fields.
- Growth: rewrite the first ratio step by the realized closed-scale ratio-step identity at index $0$, then apply the model's growth hypothesis.
- Ratio self-similarity: one-line application of
ratio_self_similar_of_realized_closed_scale. - Additive posting: one-line application of
additive_posting_of_realized_closed_scale(itself from geometric-scale closure under ledger composition).
No new algebra; the theorem is the structure assembly that packages those three facts as admissible-orbit reflection.
why it matters
This is the direct bridge from realized closed-scale geometry to admissible-orbit reflection, the reflection property that feeds the $\varphi$-uniform normal form. Downstream it is the body of admissibleOrbitReflection_of_minimalClosedScaleOrbit (minimal closed-scale orbit $\to$ reflection via the realized model), the admissible field of RealizedClosedScaleAdmissibleOrbitBridge, and the canonical closed-scale admissible-orbit bridge theorem.
That bridge package is cited in t5_to_t6_bridge_holds: realized closed-scale data force $\varphi$ once T5 has unique $J$. In the forcing chain this is the T5$\to$T6 self-similarity step (primer: T5 $J$-uniqueness, T6 $\varphi$ as self-similar fixed point). Without packaging growth, constant ratios, and additive posting as one reflection structure, the hierarchy cannot enter the normal-form equivalence used for $\varphi$-forcing.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.