canonical_realized_closed_scale_normal_form_equivalence
plain-language theorem explainer
Any realized closed-scale model on a closed observable framework is certified equivalent to the canonical φ-uniform normal form. Orbit-bridge and T5-to-T6 self-similarity arguments cite this certificate. The proof is a term-mode structure fill: six specialized lemmas supply uniform scaling, growth, seed size, base ratio φ, level identity, and the converted hierarchy equivalence.
Claim. Let $F$ be a closed observable framework and $H$ a realized closed-scale model on $F$ (an orbit realizing a closed geometric scale sequence). Then $H$ admits a direct equivalence certificate to the canonical $\varphi$-uniform normal form: its multilevel composition satisfies canonical uniform scaling and growth orientation, canonical seed closure, base ratio $\varphi$, level-set identity with the $\varphi$-uniform ladder, and the converted realized-hierarchy normal-form equivalence.
background
The Unified Forcing Chain module derives T0–T8 as inevitabilities from the Recognition Composition Law plus normalization and calibration. The T5→T6 step is the self-similarity bridge: unique $J$ forces the golden ratio $\varphi$ as the discrete ledger's fixed point.
A closed observable framework supplies a state space, dynamics, and positive ratio observables with nontriviality, no external input, and finite description. A realized closed-scale model is an orbit of such a framework that realizes a closed geometric scale sequence (base state, positive amplitude, closed scales).
The target structure is a direct equivalence certificate between that realized model and the canonical $\varphi$-uniform normal form. Its fields record that the orbit-level composition carries uniform scaling, growth orientation, seed closure, base ratio $\varphi$, and level identity with the $\varphi$-uniform ladder, plus the hierarchy-level conversion already proved for realized hierarchies.
proof idea
Term-mode construction of the equivalence structure. Each field is discharged by a dedicated lemma on the same $(F,H)$:
uniform←realizedClosedScale_canonical_uniformgrowth←realizedClosedScale_canonical_growthseed←realizedClosedScale_canonical_seed_sizebase_ratio←realizedClosedScale_canonical_base_ratio_philevel_equiv←realizedClosedScale_levels_eq_phiUniformconverted_equivalence←canonical_realized_hierarchy_normal_form_equivalenceapplied to the hierarchy obtained bytoRealizedHierarchy F H.
No further tactic work; the certificate is the conjunction of those six facts.
why it matters
This is the direct normal-form certificate for realized closed-scale models inside the T5→T6 self-similarity bridge. Downstream, t5_to_t6_bridge_holds packages it as realized_closed_scale_normal_form_equivalence, so unique $J$ (T5) plus realized closed-scale data force $\varphi$ (T6). It is also the realized-closed-scale leg of canonical_minimal_closed_scale_orbit_bridge and canonical_realized_closed_scale_admissible_orbit_bridge, which route minimal and admissible orbit data into the $\varphi$-uniform normal-form path.
In the forcing chain, that path is the reflection property that turns a bare closed framework into the $\varphi$-uniform ladder: growth, ratio self-similarity, and additive seed posting on one orbit. Without this certificate, the closed-scale route from T5 to T6 would remain a hypothesis rather than a theorem-backed bridge.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.