Physics Verification
Verification for physics-facing claims: structural derivation, measurement bridges, prediction timing, falsification, and numerical accountability. Books IV–V — the Calibration Cascade as a dependency and unit-context overlay.
In plain language
Physics verification is not just a Lean check. The framework's physics layer (Books IV–V) makes zero-parameter numerical predictions from a single algebraic constant ι_τ = 2/(π+e) and a single empirical anchor m_n (the neutron mass), but the public verification posture must keep derivation, unit context, comparison vintage, and external acceptance separate. Verification means asking, separately: (1) does the derivation chain compile in Lean? (2) does the predicted number match measurement? (3) is ι_τ fitted or forced by the kernel structure? (4) are there genuine forward predictions on a fixed timeline? The Falsification Pack lists named experiments through 2035 whose outcomes would refute specific claims. None is currently contradicted.
At a glance
IV · V
Particle physics + cosmology + the Calibration Cascade dependency overlay.
171
58753 lines of Lean 4 across physics-domain modules.
4495 / 6075
Formalized declarations · 73% formal · 0 sorries.
67
Zero-parameter numerical predictions · 30 falsification paths on a 2025–2035 timeline.
Per-book Lean coverage
Inspection routes
Predictions & Falsification
67 numerical predictions · 30 named-experiment falsification paths · prediction-timing ledger.
FormalizationTauLib Status
Per-module formalization for the physics layer · 4495 formalized declarations.
BridgeBridge Verification
How internal τ-categorical structure transfers to physical observables under explicit unit-context and comparison-vintage boundaries.
AxiomsCustom Axiom Inventory
The 0 custom axioms in this domain (none in physics; all 3 are in Book III).
AuditHow to Verify (Physicist)
Reviewer route for particle physics, cosmology, quantum foundations, GR specialists.
ResultsPhysics Results Hub
78 physics result pages · 95 glossary entries · Calibration Cascade · landmark results.
Verification burden
Physics verification is not established by formal derivation alone. A physics-facing result must separate:
- Internal structural derivation — does it compile in Lean and does the registry chain close?
- Measurement interpretation — what is the bridge from τ-construct to physical observable?
- Numerical prediction — what specific value follows from ι_τ + m_n?
- Empirical comparison — does the predicted value match published measurement?
- External scientific review — does the derivation chain remain supported after independent specialist scrutiny?
The numerical prediction supplement is a publication artifact; the Numerical Prediction Catalogue is the claim catalogue; the Calibration Cascade is the dependency overlay; Predictions & Falsification is the accountability layer; Results is the interpretation layer. None implies external acceptance on its own.
Key glossary terms
Cross-domain bridges
This verification surface intersects glossary terms that bridge to other domains. The τ-framework's cross-domain pivots are the structural junctions where verification claims meet the empirical, life, and metaphysical readouts.
-
PG-C05-fine-structure-alphaFine-structure constant α →MathG-D01-iota-tauMaster constant ι_τ -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-D02-tau-categoricalτ-categorical structure -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-D07-4-plus-1-sector4+1 Sector Decomposition -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-D08-five-generators-defFive Generators (definition) -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-K01-universe-postulateThe Universe Postulate (K0) -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-K02-five-generatorsThe five canonical generators (K1–K5) -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-K03-no-omega-axiomThe no-ω axiom (K6) -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-L01-idempotent-decompositionIdempotent Decomposition Lemma -
PG-C05-fine-structure-alphaFine-structure constant α →MathG-O01-tau-objectGeneric τ-object -
PG-P01-neutronτ-Neutron →LG-Y02-kinetic-pseudoscalar-channelKinetic Pseudoscalar Channel -
PG-P01-neutronτ-Neutron →MG-R01-empirical-registerEmpirical Register (Reg_E) -
LG-Y02-kinetic-pseudoscalar-channelKinetic Pseudoscalar Channel →PG-P01-neutronτ-Neutron -
MG-R01-empirical-registerEmpirical Register (Reg_E) →PG-P01-neutronτ-Neutron -
MathG-D01-iota-tauMaster constant ι_τ →PG-C02-iota-tauMaster constant ι_τ -
MathG-D08-five-generators-defFive Generators (definition) →PG-C02-iota-tauMaster constant ι_τ -
MathG-D09-calibrated-split-complexCalibrated Split-Complex Codomain →PG-C02-iota-tauMaster constant ι_τ -
MathG-D12-progression-operatorProgression Operator ρ →PG-C02-iota-tauMaster constant ι_τ -
MathG-D13-diagonal-disciplineDiagonal Discipline →PG-C02-iota-tauMaster constant ι_τ -
MathG-K01-universe-postulateThe Universe Postulate (K0) →PG-C02-iota-tauMaster constant ι_τ -
MathG-K02-five-generatorsThe five canonical generators (K1–K5) →PG-C02-iota-tauMaster constant ι_τ -
MathG-K03-no-omega-axiomThe no-ω axiom (K6) →PG-C02-iota-tauMaster constant ι_τ -
MathG-T02-rigidity-non-omegaRigidity of τ (non-ω) →PG-C02-iota-tauMaster constant ι_τ -
MathG-T03-categoricity-non-omegaCategoricity of τ (non-ω) →PG-C02-iota-tauMaster constant ι_τ -
MathG-T04-central-theoremCentral theorem at rank (3, 15) →PG-C02-iota-tauMaster constant ι_τ -
MathG-T06-prime-polarityPrime Polarity Theorem →PG-C02-iota-tauMaster constant ι_τ
See also
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.