Masses Anchor Policy

The anchor policy

Anchor policy is the pair of numbers that fixes the scale of every mass prediction in Recognition Science: the multiplier lambda is the natural logarithm of the golden ratio phi, and the base kappa is phi itself. The module defines this canonical policy as the standard choice for the whole mass ladder. It is a definitional choice, not a derived theorem.

The module also defines the full prediction formula. For a particle in a given sector, the predicted mass is the sector's yardstick times phi raised to a power. That power is the particle's rung, plus a charge-dependent gap, minus 8, plus a cross-sector shift. The rung is an integer that indexes the phi-power ladder. The gap is a real number computed from the particle's charge and the golden ratio. The shift is 12 for down quarks and 0 for everything else, accounting for the cost of traversing the edge layer in the cube partition.

The epistemic status is explicit in the module. Lepton rungs are derived from edge and face geometry. Up-quark rungs, down-quark rungs, and the cross-sector shift are hypotheses fitted to PDG same-scale ratios and the requirement that the down quark be heavier than the up quark. The integers themselves are shown to be Q3 cell counts, but the assignment of sectors to those counts is data-driven, not first-principles.

The consequence is a precise, checkable prediction for every named particle in the standard sectors. The formula is fully defined in machine-checked form, so any disagreement with measurement is a falsifiable claim about the rung assignments, not about the anchor policy itself. This yields a unique recognition of each particle's mass from its sector, charge, and rung.

MODEL canonicalPolicy · IndisputableMonolith/Masses/AnchorPolicy.lean

MODEL predict_mass_sdgt · IndisputableMonolith/Masses/AnchorPolicy.lean

MODEL cross_sector_shift · IndisputableMonolith/Masses/AnchorPolicy.lean

DERIVED-UNFORMALIZED rung · IndisputableMonolith/Masses/AnchorPolicy.lean

HYPOTHESIS rung_sdgt_up · rung_sdgt_down · cross_sector_shift · IndisputableMonolith/Masses/AnchorPolicy.lean

What this page does not claim

This answer does not claim that any specific mass prediction matches measurement. This answer does not claim that the rung assignments are derived from first principles. This answer does not claim that the anchor policy itself is derived rather than chosen.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Masses/AnchorPolicy.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: