canonicalThreshold
plain-language theorem explainer
Defines the canonical recognition threshold as φ − 3/2 in RS-native units. Cosmology and ladder analyses cite it as the fixed cutoff against which domain costs are compared in the eight-tick structural module. The body is a one-line real constant, not a derived equality.
Claim. The canonical threshold is the real number $\varphi - 3/2$, where $\varphi$ is the golden-ratio fixed point of the Recognition self-similarity relation.
background
Module RS_COS_Structural_005 sits in the cosmology layer and records structural facts tied to the RS eight-tick: one full traversal of the binary recognition lattice has period $2^D = 8$ (forcing step T7, with $D = 3$ from T8). The module is marked structural: zero sorry, zero axioms.
The constant $\varphi$ is imported from IndisputableMonolith.Constants; it is the unique self-similar fixed point forced at T6. The Cost import supplies the J-cost and related nonnegativity infrastructure used by sibling declarations (domain cost, its evaluation identity, and nonnegativity). The threshold itself is the simple shift of $\varphi$ by $3/2$, placing a fixed positive scale just below the unit rung for later comparison lemmas.
proof idea
No proof. The declaration is a bare definition equating the name to the real expression $\varphi - 3/2$. Downstream positivity and certificate lemmas consume this value directly.
why it matters
Gives the module a single named cutoff for structural cosmology comparisons under the eight-tick octave. Sibling canonicalThreshold_pos and the RSCOSStructural005 certificate inhabitability results are the immediate consumers; they turn the constant into a usable positive scale inside the structural theorem package. In the broader RS chain it sits next to T6 (φ forced) and T7 (period 8), without itself claiming a forcing derivation. No open scaffold is attached: the definition is closed.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.