canonicalThreshold
plain-language theorem explainer
Defines the canonical threshold as the real number φ − 3/2, with φ the golden-ratio fixed point of Recognition Science. Cited in the RS Chandrasekhar (Astro Module 2) structural layer as the cutoff paired with the domain cost. The body is a one-line constant assignment, not a derived identity.
Claim. The canonical threshold is the real constant $\varphi - 3/2$, where $\varphi$ denotes the golden ratio (self-similar fixed point of the Recognition forcing chain).
background
Astrophysics RS Module 2 treats the Chandrasekhar mass as an exact structural identity: $\varphi^{-1}\cdot 2.33,M_\odot = 1.440,M_\odot$, with status STRUCTURAL THEOREM (zero sorry, zero axiom). The module imports RS constants and the J-cost layer.
In Recognition Science, $\varphi$ is forced at T6 as the unique self-similar fixed point of the cost geometry built from the J-functional $J(x)=(x+x^{-1})/2-1$. Thresholds built from $\varphi$ and small rationals appear as cutoffs for domain costs and certificate bounds.
This declaration simply names the particular combination $\varphi-3/2$ used as that module's canonical threshold.
proof idea
Pure definition: the real constant is assigned by the arithmetic expression $\varphi - 3/2$. No lemmas, tactics, or proof obligations.
why it matters
Supplies the named real cutoff that the module's domain-cost and certificate siblings (positivity of the threshold, RSAstro002Cert) are written against. In the broader RS stack it sits downstream of T6 ($\varphi$ forced) and upstream of the exact Chandrasekhar mass claim advertised in the module doc. It does not itself close the mass identity; it only fixes the numerical gate those later statements use.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.