The programme as a navigable typed graph
Concept atlas
Status: Organizes thought or workflow but is not evidence for a physical claim. Function: maps territory, distinctions, dependencies and interfaces.
A compact vocabulary
Carrier: the concrete space on which transformations act. Selector: a physical rule that chooses one option from a symmetric family. Domain: the boundary and regularity conditions that make an operator well defined. Residue: the strength with which a mode appears in a response. Anomaly: an obstruction that appears when a classical symmetry is required to survive quantization.
Expanded claim pageScope · logical anatomy · verification route · boundary · sourcesOpen claim →These words name different jobs. A carrier does not select itself; a positive spectrum does not define a boundary domain; an index does not cancel an anomaly; and an experimental sensitivity does not predict a residue.
Expanded claim pageScope · logical anatomy · verification route · boundary · sourcesOpen claim →One graph, typed connections
The atlas separates the established mathematical spine from physical realization, projective topology, obstructions and the exceptional horizon. Select any node to see its status, connections and controlling evidence.
The non-negotiable reading rule
A path inherits its weakest edge. Dotted analogy and unresolved dependency never become derivation by proximity to the Spin(2,3) hinge.