canonical_g2FromLoops
plain-language theorem explainer
The canonical recognition bridge produces a g-2 value of one over phi to the fifth. Researchers deriving the muon anomalous magnetic moment from recognition geometry would reference this equality. The proof is a one-line simplification that unfolds the g-2 definition and the canonical bridge constructor to expose the loop order of five.
Claim. For the canonical RS bridge with loop order five, the g-2 value equals one over phi to the fifth: $g_2 = 1/φ^5$.
background
The Bridge Derivation module derives canonical mixing angles and the g-2 anomaly from RS bridge geometry. The g-2 function returns one over phi raised to the bridge loop order, defaulting to five for the canonical case. The canonical bridge is built with edge dual twenty-four, phi projection negative three, and alpha exponent from the fine-structure lock. Upstream the ledger L is defined with unit debit and credit functions.
proof idea
This is a term-mode proof consisting of a single simplification step on the g-2 definition and the canonical bridge definition. The step substitutes the loop order field directly to obtain the equality.
why it matters
This result embeds the g-2 anomaly into the Recognition Science constants where hbar equals phi to the minus five. It completes the g-2 derivation step from bridge geometry in the RecogSpec module and aligns with the phi-ladder and alpha inverse band. No downstream theorems are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.