Masses Manifest

The masses manifest

The masses manifest is a ledger (a structured list that records what exists and what it is for) of the modules that construct particle masses in Recognition Science. It is a definitional summary, not a proof. The manifest lists four modules: Anchor, AnchorPolicy, Assumptions, and Basic. Each entry carries a name, a description, and a pointer to the manuscript where it is developed.

Anchor holds the canonical constants. AnchorPolicy defines the policy interfaces that govern how those constants are used. Assumptions records the model assumptions that the mass construction relies on. Basic is a placeholder for the mass ladder itself, the phi-power ladder on which particle masses sit. The manifest establishes that these four modules are the public spine of the mass program, and that the program is organized as a sequence of definitional layers rather than a single monolithic derivation.

What the manifest does not do is prove the mass ladder. It names the modules and their roles; the scaling law that places particle masses on the phi-power ladder is established elsewhere in the framework, and the comparison against measured particle masses is an empirical check, not a theorem. The manifest is the table of contents for that work, and it is the page a reader consults to see which part of the mass program is which.

MODEL modules · IndisputableMonolith/Masses/Manifest.lean

MODEL modules · IndisputableMonolith/Masses/Manifest.lean

MODEL modules · IndisputableMonolith/Masses/Manifest.lean

What this page does not claim

The masses manifest does not prove the mass ladder or its scaling law. The masses manifest does not compare predicted masses against measured values. The manifest does not define the phi-power ladder itself.

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/Manifest.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: