canonicalPolicy
plain-language theorem explainer
This definition supplies the canonical anchor policy for mass predictions by fixing the scaling exponent lambda to the natural log of the golden ratio and the stiffness kappa to phi itself. Mass spectrum calculators cite it to anchor the base of the phi-ladder rung assignments. The definition is realized as a direct record constructor that pulls the two real values from the phi constant.
Claim. The canonical anchor policy is the structure with fields satisfying $lambda = ln phi$ and $kappa = phi$.
background
AnchorPolicy is the structure holding the two real parameters lambda (scaling exponent) and kappa (stiffness) that fix the base of the mass ladder. The module sits inside the Masses domain and imports Constants for phi together with the log operation. Upstream results include the lambda definition that sets the normalization constant to ln phi and the kappa definitions appearing in thermal conductivity and annular cost contexts as powers or squares involving phi.
proof idea
The definition is a direct structure constructor that assigns Real.log Constants.phi to the lambda field and Constants.phi to the kappa field.
why it matters
This definition fixes the base values for the yardstick times phi to the power of (rung minus 8 plus gap) on the phi-ladder. It connects to the self-similar fixed point phi forced at step T6 of the unified forcing chain. No downstream uses appear in the current graph, yet the choice supports the predict_mass family and cross-sector shift siblings inside the same module.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.