canonicalThreshold
plain-language theorem explainer
Defines the canonical structural threshold as φ − 3/2 in RS-native units. Physicists working the rung-66 structural certificate cite it as the fixed comparison level for domain cost. The body is a one-line real constant built from the golden ratio.
Claim. The canonical threshold is the real number $\varphi - 3/2$, where $\varphi$ is the golden ratio (self-similar fixed point of the Recognition forcing chain).
background
Recognition Science forces a unique dimensionless scale $\varphi$ (T6) as the self-similar fixed point of the J-cost fixed-point equation; numerically $\varphi = (1+\sqrt{5})/2$. Structural certificates compare a domain cost functional against a fixed real threshold built from $\varphi$.
This module packages the Physics-domain structural certificate at recognition rung 66 (Plan v7). The threshold is the comparison level against which nonnegativity and positivity lemmas for the domain cost are stated. Imports pull $\varphi$ from Constants and the cost infrastructure from Cost; no further hypotheses are required for the constant itself.
proof idea
Pure definition: the real constant is introduced by the arithmetic expression $\varphi - 3/2$. There is no proof body, tactic block, or lemma application.
why it matters
Supplies the fixed numeric gate used by the Physics structural certificate at rung 66. Sibling positivity facts (e.g. that the threshold is strictly positive) and domain-cost comparisons are stated relative to this value. In the broader RS chain it sits downstream of T6 ($\varphi$ uniqueness) and feeds the zero-sorry structural theorem status claimed by the module. It is the concrete level against which rung-66 domain cost is judged, not a dynamical prediction by itself.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.