canonicalThreshold
plain-language theorem explainer
Defines the real constant φ − 3/2 as the canonical threshold for the RS internet-traffic model. Anyone comparing domain-cost barriers or certificate cutoffs in the Information layer cites this value. It is a pure arithmetic definition from the golden ratio, with no proof obligations.
Claim. The canonical threshold is the real number $\varphi - 3/2$, where $\varphi$ is the golden ratio fixed by the Recognition self-similarity equation.
background
The module treats annual internet traffic growth as a Recognition-scale phenomenon. Historically the observed multiplier is about 1.58×/yr (Cisco 2010–2022); Recognition Science identifies the natural growth factor with $\varphi\approx 1.618$, a 2.4% relative discrepancy.
$\varphi$ itself is forced earlier in the framework as the unique positive fixed point of the self-similarity map arising from the J-cost (T5–T6 of the forcing chain). The present definition simply shifts that constant by $3/2$ to obtain a dimensionless threshold used by sibling domain-cost and certificate constructions in the same file.
No external lemmas are required: the constant is assembled from the already-imported phi of IndisputableMonolith.Constants.
proof idea
There is no proof. The declaration is a one-line real definition equating the name to the arithmetic expression $\varphi - 3/2$.
why it matters
Inside the Information domain this constant supplies the numerical cutoff against which domain costs and the InternetTrafficCert certificate are judged. It therefore sits at the interface between the pure geometric constant $\varphi$ (forced by T6) and the empirical claim that internet traffic grows at a rate near $\varphi$. The module status is structural (zero sorry, zero axioms); the threshold itself is the simplest arithmetic bridge that lets later positivity and inhabitance lemmas (canonicalThreshold_pos, cert_inhabited) fire without re-deriving the shift each time.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.