experiments
plain-language theorem explainer
This definition lists four key neutrino experiments for testing RS predictions on PMNS mixing angles from phi geometry. Neutrino physicists cite it to identify falsification paths for the golden ratio model. The implementation is a direct string list with no computation or lemmas applied.
Claim. The experiments comprise DUNE measuring δ_CP to ~10°, Hyper-Kamiokande providing precision on θ₂₃ and CP violation, JUNO determining θ₁₂ and mass ordering, and neutrinoless double beta decay testing Majorana nature.
background
The PMNSMatrix module derives the neutrino mixing matrix from Recognition Science using phi-quantized angles, contrasting large PMNS angles with small CKM angles. Upstream, it references experiment lists from Quantum modules on classical emergence, double slit, and Planck scale, plus the from theorem on primitive distinction axioms. The module doc sets the target as deriving PMNS from RS with φ-connections explaining the pattern, aiming for a PRD paper on golden ratio geometry.
proof idea
This is a direct definition constructing a List String from four literal entries. No tactics or lemmas are used; it is a simple enumeration matching the style of sibling experiment lists in the module.
why it matters
It provides the experimental interface for the PMNS derivation in SM-014, feeding into falsification criteria. Downstream uses appear in ANITAUpgoing defect predictions and DAMA substrate model, plus energy conservation in Hamiltonian. It connects to the phi-ladder and T5 J-uniqueness in the forcing chain for angle predictions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.