Registry · Remark IV.R07 tau-effective formalized

IV.R07 — Ontological Priority

Ontological priority chain n → p → e⁻ → m_P: neutron (minimal stable T² defect), proton (neutron + weak δ_A), electron (EW arc resonance), Planck mass (dimensional combination, not a particle).

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (1)

IV.R04

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchor

Symbol: Tau.BookIV.Calibration.OntologicalPriority