https://zenodo.org/records/23006753
Briefing Document: A Trisductive Theory of Dark Matter and the Dark Force
Executive Summary
This briefing document provides an exhaustive synthesis of the theoretical architecture, machine-checked proofs, empirical alignments, and falsifiable predictions presented in "Dark Matter as the Charge-Conjugation Fixed Set and the Dark Force as One Keyed Bit" (Islam, 2026).
The cosmic energy budget is dominated by two unseen components making up 95% of the total density: dark matter (84% of total matter / ~26.5% of total cosmic budget) and dark energy (68% of total cosmic budget). To date, both sectors have been observed exclusively through gravity—which registers mass-energy and pressure, but remains blind to particle identity or internal gauge quantum numbers.
This paper addresses the dark sector barrier using a unified formal template that combines the Standard Model (SM) gauge group with general relativity and quantum field theory. The core claims are verified via an executable formal kernel consisting of 81 theorems in Lean 4.19.0 (using no declared axioms and no dependencies beyond propext and Quot.sound) paired with a 35-check Fortran 2018 twin executing under sealed IEEE floating-point flags.
┌────────────────────────────────────────────────────────┐
│ THE UNIFIED TEMPLATE │
└───────────────────────────┬────────────────────────────┘
│
┌───────────────────────────┴────────────────────────────┐
│ Charge Conjugation Operator (C) │
│ Flips gauge charges: Y, T₃, Colour, Dark Q_D │
│ Leaves mass (m) invariant │
└─────────────┬────────────────────────────┬─────────────┘
│ │
▼ ▼
┌───────────────────────────────┐ ┌───────────────────────────┐
│ EVEN READINGS │ │ ODD READINGS │
│ Sign invariant under C │ │ Sign flipped under C │
│ Mass, Energy, Pressure p │ │ Gauge couplings (γ, Z, │
│ (Read by Gravity) │ │ gluons, dark photon) │
└───────────────┬───────────────┘ └─────────────┬─────────────┘
│ │
▼ ▼
┌───────────────────────────────┐ ┌───────────────────────────┐
│ FIXED SET │ │ ZERO RADIATIVE WEIGHT │
│ All charges = 0 │ │ Blind to odd readings │
│ Only Gravity Sees It │ │ Cannot radiatively cool │
└───────────────────────────────┘ └───────────────────────────┘
Key Takeaways
- Dark Matter is the Charge-Conjugation Fixed Set (The Forced Half):
- A state is invisible to all charge-linear (odd) gauge readings if and only if it is fixed under charge conjugation (C).
- Measurement forces the visible Standard Model charges of dark matter to exact zero (Y = 0, T_3 = 0, \text{colour} = 0). Measured photon and Z-boson nulls, bounded within quantized charge units (sixths), mandate that dark matter lies on the visible fixed set of Standard Model conjugation (C_{SM}).
- States on the fixed set have a radiative weight of zero; they cannot emit gauge quanta or radiatively cool, explaining why dark matter forms extended, pressure-supported halos rather than thin rotating disks.
- The Dark Gauge Force is One Keyed Bit (The Posited Half):
- The existence of a dark U(1) gauge interaction cannot be derived from Standard Model anomaly cancellation conditions. One generation of Standard Model fermions plus a vector-like pair of singlets cancels all 12 anomaly conditions whether the dark charge q_D is zero or non-zero (q_D \in \mathbb{Z}).
- Whether a dark gauge force exists is formally a keyed bit—a property that no function of the visible record can decide.
- The framework posits that the dark sector carries no gauge charges in any member of its multiplets, reducing its non-gravitational interaction doors to the renormalizable singlet portals (H^\dagger H and L H). For a stable singlet scalar, exactly one portal survives: S^2 H^\dagger H.
- Kinetic Interpretation of the Keyed Bit:
- The dark bit maps directly onto the kinetic channel: a self-paired mass term (Majorana fermion or real scalar S^2) carries twice each abelian charge. On the visible fixed set, a self-paired mass is allowed if and only if the dark charge is exactly zero.
- Thus, the dark bit is equivalent to the Majorana bit: whether dark matter is its own antiparticle.
- Dark Energy as Gravity Reading Vacuum Pressure:
- Dark energy is not a fifth interaction but gravity reading pressure (p = -\rho). Pressure equal to minus the density reverses the active gravitating density (\rho + 3p = -2\rho < 0), causing cosmic acceleration.
- For any count of canonical scalar fields (K \ge 0), the equation of state cannot cross the phantom divide (w \ge -1). The observed acceleration sign (q_0 = -0.527 \pm 0.011) is an empirical input read from the sky, while the vacuum energy magnitude ((2.24 \text{ meV})^4) remains a measured number.
1. Epistemological Framework and Foundational Definitions
Every physical claim within the framework is assigned an explicit grade on a three-axis verification structure:
Formal Axis (Lean Kernel) ──► Theorem Grade
Empirical Axis (Sky Data) ──► Corroboration Grade
Mapping/Structural Axis ──► Structural Grade
Declared Posit/Premise ──► Premise Grade
- Grade Non-Promotion Principle: Logical chains inherit the weakest grade of their constituent premises. Theorem grade cannot promote an empirical measurement or a declared premise to mathematical certainty.
- Reading: Any scalar or tensor quantity an instrument returns from a quantum state.
- Odd Reading: A reading whose sign is inverted under charge conjugation (C). Gauge couplings, electric charge (Q), hypercharge (Y), weak isospin (T_3), diagonal gluons, and dark gauge charges are odd readings.
- Even Reading: A reading whose sign is invariant under C. Mass (m), energy density (\rho), and pressure (p) are even readings.
- Fixed Set: The set of quantum states left invariant under charge conjugation (C).
- Keyed Bit: A binary (yes/no) property undecidable by any function of a given record because two distinct, valid theoretical configurations share the identical record while differing in the bit. A keyed bit can only be settled by new empirical channels or declared as a premise posit.
- Premise Grade: A foundational claim held as a declaration/posit rather than derived as a result.
2. Dark Matter as the Charge-Conjugation Fixed Set
2.1 The Unified Template (Theorems 1–4)
A quantum state is defined on a grid with hypercharge (Y) and weak isospin (T_3) quantized in units of one-sixth, accompanied by a Cartan colour weight, a dark charge (q_D), and mass (m). Charge conjugation C flips all four gauge charges while leaving mass unchanged (C \circ C = I).
- Theorem 1 (The Fixed Set): Conjugation C fixes a state if and only if all four charges vanish (Y=0, T_3=0, \text{colour}=0, q_D=0). Visible conjugation C_{SM} fixes a state if and only if its three Standard Model charges vanish. The full fixed set is a subset of the visible fixed set.
- Theorem 2 (Odd Readings are Blind): Any linear charge combination aY + bT_3 + k\cdot\text{colour} + d\cdot q_D is an odd reading and returns exactly zero on every state fixed by C.
- Theorem 3 (Dark is Fixed): A state on which every odd reading returns zero is precisely a state fixed by C. Gauge-darkness and membership in the charge-conjugation fixed set are mathematically identical properties.
- Theorem 4 (Only Gravity Reads It): Mass is an even reading (C-invariant). Because all gauge charges vanish on a C-fixed state, every reading of any parity returns a function of mass alone. Gravity couples to mass-energy, making it the sole template reading capable of detecting a massive C-fixed state.
2.2 Neutrality vs. Fixedness (Theorems 5, 15, 18, 19)
Electric neutrality alone does not place a state on the charge-conjugation fixed set.
┌────────────────────────────────────────┐
│ ELECTRICALLY NEUTRAL STATE (Q = 0) │
└───────────────────┬────────────────────┘
│
┌───────────────────────┴───────────────────────┐
│ │
▼ ▼
┌───────────────────────┐ ┌───────────────────────┐
│ Off Fixed Set │ │ On Visible Fixed Set │
│ Neutrino / Sneutrino │ │ T₃ = 0, Y = 0 │
│ T₃ = +1/2, Y = -1/2 │ │ Exact Z-boson null │
│ Nonzero Z-coupling │ │ Photons/Z blind │
│ Excluded by Direct │ │ Consistent with │
│ Detection Searches │ │ Null Bounds │
└───────────────────────┘ └───────────────────────┘
- Theorem 5 (Neutrality is Not Darkness): A state with T_3 = +1/2 and Y = -1/2 (such as a neutrino or sneutrino) has electric charge Q = T_3 + Y = 0, but lies off the fixed set. Its Z-boson coupling (T_3 - Q \sin^2 \theta_W = +1/2) is a non-zero odd reading for any rational weak mixing angle. This explains why tree-level Z-coupled candidates scatter coherently at rates long excluded by direct detection experiments.
- Theorem 15 (Measured Nulls Force the Visible Fixed Set): At any rational mixing angle \sin^2 \theta_W = a/b, a state with Q = 0 and a vanishing Z-reading must have T_3 = 0 and Y = 0. Under sixths charge quantization, empirical bounds below e/6 collapse to exact mathematical zeros. Thus, photon and Z-boson nulls force dark matter onto the visible fixed set (C_{SM}).
- Theorem 18 (The Title's Two Halves): C fixes a state if and only if C_{SM} fixes it AND its dark charge q_D = 0. The first clause is forced by sky data; the second clause (q_D = 0) is the unmeasured keyed bit.
- Theorem 19 (Coloured Relics Bring Charged Partners): Every component of every coloured Standard Model field carries an electric charge. Confinement dresses any coloured relic into colour-singlet hadrons containing quark legs, introducing electrically charged constituents. Therefore, dark matter cannot possess colour charges.
2.3 Radiative Cooling, Dark Multiplets, and Portals (Theorems 6, 7, 16, 20)
- Theorem 6 (No Charge, No Radiative Cooling): Radiative weight (\sum q^2) vanishes if and only if a state sits on the fixed set. Lacking charge, dark matter cannot emit gauge quanta or shed kinetic energy via radiation, forcing it to remain in extended, pressure-supported halo structures rather than collapsing into thin disks.
- Theorem 7 (Neutral Members vs. Dark Multiplets): An electroweak triplet with Y = 0 (such as a wino) contains only one C-fixed neutral member alongside charged partners (W^\pm). A true dark multiplet—where every member is C-fixed—must be a Standard Model gauge singlet.
- Theorem 16 (Derivation of Singlet Portals): Out of 199 renormalizable, Lorentz-scalar monomials without derivatives formed by the Standard Model with a real singlet scalar S and a singlet Weyl fermion N, exactly four are gauge-invariant portals linking the dark and visible sectors: \text{1. } S H^\dagger H \quad \text{ (Linear Higgs Portal)} \text{2. } S^2 H^\dagger H \quad \text{ (Quadratic Higgs Portal)} \text{3. } L N H \quad \text{ (Neutrino Portal)} \text{4. } \bar{L} \bar{N} H^\dagger \quad \text{ (Conjugate Neutrino Portal)}
- Theorem 20 (Stable Singlet Door Reduction): Under a discrete parity that stabilizes dark matter, exactly one renormalizable portal survives for a scalar singlet (S^2 H^\dagger H), while zero renormalizable portals survive for a stable fermion singlet N. A stable fermion dark matter candidate meets the Standard Model through gravity alone.
2.4 Gravitational Limits and the Neutrino Fog (Theorems 8, 9)
- Theorem 8 (Gravity Does Not Read Identity): Two distinct physical species sharing an identical mass density \rho produce an identical gravitational record. For instance, at a local halo density of 0.3 \text{ GeV/cm}^3, a 100 \text{ GeV} particle and a 10 \ \mu\text{eV} field differ in number density by a factor of 10^{16}, yet yield the exact same rotation curve.
- Theorem 9 (The Neutrino Fog Geometry): Nuclear recoil energy spectra are even under source exchange, whereas source direction is odd. Directional detection resolves the degenerate recoil energy spectrum of solar ^8\text{B} neutrinos and dark matter wind. The Earth's orbital geometry constrains the angular separation between the Sun and the Galactic dark matter wind (l = 90^\circ, b = 0^\circ \implies \alpha = 318.0^\circ, \delta = +48.3^\circ) to stay between 59.6^\circ and 120.4^\circ year-round.
Galactic Wind Vector (Cygnus: α=318.0°, δ=+48.3°)
▲
│
│ Angular Separation:
│ 59.6° (Min) to 120.4° (Max)
│ Year-Round
│
Sun ────────────┴──────────── Earth Orbit
3. The Dark Force as a Fifth Reading and Keyed Bit
3.1 Gauge U(1) Anomaly Cancellation (Theorems 10, 17)
When extending the Standard Model by an additional U(1)_D dark gauge group, 12 gauge and gravitational anomaly cancellation conditions must be satisfied:
\text{1. } [U(1)_Y]^3 \qquad \text{2. } [U(1)_Y] \qquad \text{3. } [SU(3)_C]^2 U(1)_Y \qquad \text{4. } [SU(2)_L]^2 U(1)_Y \text{5. } SU(2)_L \text{ Witten anomaly} \qquad \text{6. } [SU(3)_C]^3 \qquad \text{7. } [U(1)_D] \qquad \text{8. } [U(1)_D]^3 \text{9. } [U(1)_D]^2 U(1)_Y \qquad \text{10. } U(1)_D [U(1)_Y]^2 \qquad \text{11. } [SU(3)_C]^2 U(1)_D \qquad \text{12. } [SU(2)_L]^2 U(1)_D
- Theorem 10 (The Fifth Reading is Keyed): One SM generation supplemented by a vector-like pair of singlets cancels all 12 anomaly conditions whether the pair carries dark charges (0, 0) or (+1, -1). Conversely, a single chiral singlet (+1) fails anomaly cancellation. Because an anomaly-free world with q_D = 0 and an anomaly-free world with q_D \neq 0 exhibit the identical visible record, the gauge dark force is formally a keyed bit.
- Theorem 17 (The Fifth Reading is Free): For every integer q \in \mathbb{Z}, a vector-like pair of singlets with dark charges q and -q closes all 12 anomaly conditions. The anomaly conditions cannot bound or force q_D = 0.
3.2 Coupling-Dependent Bounds and Title Logic (Theorems 21–23)
- Theorem 21 (Measured vs. Free Coupling Bounds):
- For a measured coupling g > 0, an interaction force g q^2 < g forces q = 0 (e.g., the photon, where e is measured).
- For an unmeasured (free) dark coupling g_D, any charge q_D satisfies a finite experimental bound B if g_D is sufficiently small (g_D q_D^2 < B).
- Theorem 22 (Record Sorting): Over all states admitted by the visible measured record (Q=0, Z\text{-null}, \text{colourless}, m > 0), C_{SM}-fixedness holds in every state, whereas q_D = 0 holds in some states and fails in others.
- Theorem 23 (The Dark Closure Executed): Connects the forced visible half (C_{SM}-fixedness) and the keyed dark half (q_D = 0) into a single machine-verified conjunction.
3.3 Kinetic Interpretation and Equivariant Seat Mapping (Theorems 24, 25)
- Theorem 24 (The Dark Bit is the Majorana Bit): A self-paired mass term (Majorana fermion \psi \psi or real scalar S^2) carries twice each abelian charge (2Y, 2q_D). On the visible fixed set (Y=0), a self-paired mass is allowed if and only if q_D = 0, which occurs if and only if C fixes the state.
- If dark matter is its own antiparticle (Majorana/real scalar) \implies q_D = 0 (Dark gauge force absent).
- If dark matter is distinct from its antiparticle (Dirac pair) \implies q_D \neq 0 allowed.
- Theorem 25 (Equivariant Seat Mapping): The mapping \text{toStage}(c) = (1 + q_D, m) maps quantum states onto the Riemann locus stage. Charge conjugation corresponds to the fold operation \tau(h, t) = (2 - h, t). C-fixed states land precisely on the central line h = 1. A dark-charged Dirac pair forms an off-line pair exchanged by the fold, keeping identical height (mass). Gravity reads only the height, remaining blind to the fold side.
Stage (h = 1 + q_D, t = mass)
h = 0 h = 1 (Central Line) h = 2
│ │ │
│ q_D = -1 │ q_D = 0 │ q_D = +1
├─── Dirac Partner ◄─────────┼──────────► Dirac State ────┤
│ (Off-Line Fold) │ (Fixed Set) │ (Off-Line Fold)
│ │ │
└────────────────────────────┴────────────────────────────┘
Fold τ(h,t) = (2-h, t)
4. Dark Energy and Cosmological Acceleration
4.1 Dynamics of Active Gravitating Density (Theorems 11–13)
General Relativity sets cosmic acceleration via the Raychaudhuri acceleration equation: \frac{\ddot{a}}{a} = -\frac{4\pi G}{3} (\rho + 3p)
The active gravitating density is defined as \rho_{act} = \rho + 3p.
- Theorem 11 (Vacuum Repels):
- Pressureless matter (dust, p=0): \rho_{act} = \rho > 0 (Attractive).
- Radiation (p = \rho/3): \rho_{act} = 2\rho > 0 (Attractive).
- Vacuum energy (p = -\rho): \rho_{act} = \rho + 3(-\rho) = -2\rho < 0 (Repulsive for \rho > 0).
- Cosmic repulsion strictly requires 3p < -\rho (w < -1/3).
- Theorem 12 (The Kinetic Floor): For N canonical scalar fields with kinetic densities K_i = \frac{1}{2}\dot{\phi}_i^2 \ge 0 and potentials V_i: \rho + p = 2 \sum_{i=1}^N K_i \ge 0 At positive energy density (\rho > 0), the equation of state parameter w = p/\rho satisfies: w \ge -1
- w = -1 occurs if and only if K_i = 0 (Frozen scalar field / Cosmological Constant).
- Crossing the phantom divide (w < -1) strictly requires K < 0 (a phantom ghost field).
- Theorem 13 (The Sign is Read, Not Derived): A pure matter budget gives deceleration (q_0 > 0). A flat budget with 31.53% matter and 68.47% vacuum gives acceleration (q_0 < 0).
- Planck 2018 Measured Budget: q_0 = -0.527 \pm 0.011.
- Acceleration onset redshift: z_{acc} = 0.631.
- Matter-vacuum density equality redshift: z_{eq} = 0.295.
EVOLUTION OF COSMIC EXPANSION
Redshift z: z = 0.631 z = 0.295 z = 0
(Acceleration Onset) (Density Equality) (Present)
───►───►───►───────────┼──────────────────────────┼───────────────┼────►
q₀ Turns Negative ρ_Λ Equals ρ_m q₀ = -0.527
(Repulsion Begins) (Vacuum Dominates) (Measured)
4.2 Vacuum Energy Scale
The vacuum energy magnitude is an empirical input, not a derived quantity: \rho_\Lambda = (2.24 \text{ meV})^4 = 2.51 \times 10^{-47} \text{ GeV}^4
Ratios to fundamental physics scales: \frac{\rho_\Lambda}{M_{Pl}^4} = 10^{-122.9} \qquad \frac{\rho_\Lambda}{M_{Pl,red}^4} = 10^{-120.1} \qquad \frac{\rho_\Lambda}{v_{EW}^4} = 10^{-56.2}
5. Formal Ledger and Comparative Literature Position
5.1 The Dark Ledger (Theorem 14)
The Machine Kernel evaluates the status of each dark sector claim based on recorded physical facts:
Row / Question | Status | Owed Asset | Physical Reason |
Dark Matter Exists (Read by Gravity) | Crossed | Nothing | Observed via rotation curves, lensing, and CMB peaks. |
Identity and Gauge Charges | Pending | 1 World Carrier | Gravity reads density; non-gravitational signal required. |
Fifth Reading (Dark Gauge Force) | Pending | 1 World Carrier | Anomaly conditions leave q_D keyed; sky signal required. |
Sign of Acceleration (q_0 < 0) | Crossed | Nothing | Empirical supernova and Planck CMB measurement (q_0 = -0.527). |
w = -1 Exactly (Frozen Field) | Pending | 1 World Carrier | Kinetic floor K=0; requires observational confirmation. |
Magnitude of \rho_\Lambda Derived | Pending | 1 Formal Offering | Pure measured constant ((2.24 \text{ meV})^4); non-derivable. |
5.2 Relation to Prior Literature (Table 3 Summary)
The framework positions itself relative to 16 historical positions using exact relational descriptors:
┌──────────────────────────────────────────────────┐
│ RELATIONAL CLASSIFICATION CENSUS │
├────────────────────────┬─────────────────────────┤
│ Kin Position │ 4 Positions │
│ Scoping Position │ 4 Positions │
│ Competing Position │ 5 Positions │
│ Corroborating Position │ 2 Positions │
│ Subsuming Position │ 1 Position │
│ Additive Position │ 1 Position │
│ Superseding Position │ 0 Positions │
└────────────────────────┴─────────────────────────┘
- Kin (Continues Open Framework):
- Zwicky (1933) / Rubin & Ford (1970): Mass seen by gravity alone \implies Massive fixed set.
- Silveira & Zee (1985) / McDonald (1994): Singlet Higgs portal scalar \implies Even portal singlet.
- Billard et al. (2014) / O'Hare (2021): Neutrino floor limits \implies Directional separation (59.6^\circ - 120.4^\circ).
- Caldwell (2002) / Carroll et al. (2003): Phantom regime dynamics \implies Finite kinetic floor K \ge 0.
- Subsuming (Integrates Prior Result):
- Goodman & Witten (1985) / Falk et al. (1994): Exclusion of Z-coupled candidates \implies Theorem 5 (Q=0 off fixed set retains non-zero Z-reading).
- Additive (Provides Missing Structure):
- Holdom (1986): Kinetic mixing with second U(1) \implies Anomaly closure proves dark U(1) is a keyed bit (Theorem 10).
- Corroborating (Independent Agreement):
- Clowe et al. (2006): Bullet Cluster lensing separation \implies Zero radiative weight population is collisionless and non-radiating (Theorem 6).
- Riess et al. (1998) / Perlmutter et al. (1999): Supernova acceleration \implies Acceleration sign is an empirical input (Theorem 13).
- Scoping (Constrains Scope of Claim):
- Jungman et al. (1996): Thermal WIMP review \implies Scoped strictly to singlets via H^\dagger H or LH.
- Weinberg (1989): Cosmological constant problem \implies Magnitude 10^{-122.9} M_{Pl}^4 treated as measured input.
- DESI Collaboration (2025): w_0 w_a parametrization \implies Thawing regime (w_0 > -1) kept; phantom crossing scoped to fit artifact.
- Totani (2025): 20 \text{ GeV} gamma-ray halo excess \implies Open for singlet Higgs-portal annihilation if confirmed.
- Competing (Alternative Mechanism):
- Cirelli et al. (2006): Minimal Dark Matter electroweak multiplets \implies Off multiplet-level fixed set; predicted absent by Criterion F2.
- Spergel & Steinhardt (2000) / Fan et al. (2013): Self-interacting / dark disk models \implies Predicted absent by Criterion F3.
- Das et al. (2006): Interacting dark energy mimicking w < -1 \implies Excluded by non-interaction posit.
- Milgrom (1983): MOND / Modified gravity \implies Dark matter is real mass on the fixed set.
6. Falsifiable Criteria and Experimental Predictions
The theory commits to three strict falsification criteria (kills). If any kill condition is met, the corresponding theoretical module is definitively refuted:
┌─────────────────────────────────────────────────────────────────────────┐
│ FALSIFIABLE CRITERIA (KILLS) │
├─────────────────────────────────────────────────────────────────────────┤
│ [F1] NO PHANTOM CROSSING │
│ Prediction : Effective equation of state w(z) ≥ -1 at all z. │
│ Kill : w < -1 confirmed at ≥5σ in two model-independent │
│ reconstructions using recalibrated SNe + BAO. │
│ Blast Radius: Dark Energy model and zero-exchange posit removed. │
├─────────────────────────────────────────────────────────────────────────┤
│ [F2] DARK MATTER IS A STANDARD MODEL SINGLET │
│ Prediction : All DM states on fixed set; signals strictly via │
│ singlet portals (S² H†H for stable scalars). │
│ Kill : Discovery of charged partners, tree-level Z/γ │
│ couplings, millicharges, or dim-5 operators. │
│ Blast Radius: Singlet placement hypothesis removed. │
├─────────────────────────────────────────────────────────────────────────┤
│ [F3] NO FIFTH READING (NO DARK GAUGE FORCE) │
│ Prediction : σ/m = 0, SM-consistent ΔN_eff, no dark disks, │
│ dark matter is its own antiparticle (Majorana/Real). │
│ Kill : Detection of dark-photon kinetic mixing, self- │
│ interactions, or Dirac nature at ≥5σ. │
│ Blast Radius: Spent bit posit removed. │
└─────────────────────────────────────────────────────────────────────────┘
Criterion F1: No Robust Phantom Crossing
- Prediction: The dark energy equation of state satisfies w(z) \ge -1 across all redshifts.
- Testing Instruments: DESI final 5-year data release, Euclid, Vera C. Rubin Observatory (LSST), Nancy Grace Roman Space Telescope.
- Kill Condition: Demonstration that w(z) < -1 at \ge 5\sigma significance at any redshift in at least two non-parametric reconstructions free of the w_0 w_a Ansatz, using independent, recalibrated supernova compilations alongside final DESI BAO data.
- Theoretical Necessity: Theorem 12 mandates w \ge -1 for all canonical fields (K \ge 0) with positive energy density.
- Blast Radius: Refutes the theory's dark energy sector and zero-exchange posit. The Lean theorems remain mathematically valid, but dark energy must be explained by phantom ghosts (K < 0), dark sector energy exchanges, or modified gravity.
Criterion F2: Dark Matter is a Standard Model Gauge Singlet
- Prediction: Every member of the dark matter particle multiplet sits on the C-fixed set. All non-gravitational interactions occur via H^\dagger H or LH. For a stable scalar, interaction occurs exclusively via S^2 H^\dagger H (linking spin-independent scattering to the invisible Higgs decay width). A stable fermion singlet possesses zero renormalizable interaction channels.
- Testing Instruments: LZ, XENONnT, PandaX-4T, XLZD, gamma-ray line searches, and disappearing-track searches at high-energy colliders.
- Kill Condition: Observation of charged multiplet partners; tree-level photon, Z, or gluon couplings (wino/higgsino models); millicharges; or dimension-5 singlet operators (a F \tilde{F} axion couplings or fermion Higgs-portal scattering N N H^\dagger H).
- Theoretical Necessity: Theorems 3, 5, 7, 15, 16, 18, 19, and 20.
- Blast Radius: Refutes singlet placement. Lean kernel remains untouched.
Criterion F3: No Fifth Gauge Reading
- Prediction: Dark matter self-interaction cross-section \sigma/m = 0 at cluster and dwarf scales; extra radiation density \Delta N_{eff} consistent with Standard Model predictions; no dark disks; no dark acoustic oscillations; dark matter is a Majorana fermion or real scalar (its own antiparticle).
- Testing Instruments: Euclid and Rubin cluster lensing, Gaia galactic disk dynamics, Simons Observatory / CMB-S4, and annihilation/scattering helicity measurements.
- Kill Condition: Detection of non-zero self-interaction (\sigma/m > 0), dark photon kinetic mixing, dark radiation, or proof that dark matter is distinct from its antiparticle (Dirac state) at \ge 5\sigma.
- Theoretical Necessity: Premise-grade posit spending the keyed bit (q_D = 0), connected via Theorems 10, 17, 18, 21, 22, 24, and 25.
- Blast Radius: Refutes the premise-grade posit, forcing the dark charge q_D \neq 0 and introducing a dark gauge boson.
Conclusion & Methodological Status
The framework provides a machine-checked template that organizes the dark sector into mathematically defined grades:
- Dark Matter Placement: Forced onto the visible charge-conjugation fixed set (C_{SM}) by measured photon and Z-boson nulls (Theorems 15, 18).
- Dark Force Placement: Formally identified as a single keyed bit undecidable by anomaly cancellation conditions (Theorems 10, 17), mapped kinetically to whether dark matter is its own antiparticle (Theorem 24).
- Dark Energy Placement: Formally identified as gravity reading negative vacuum pressure (p = -\rho), with a mathematical floor at w = -1 for canonical fields (Theorem 12) and an empirically measured acceleration sign (Theorem 13).
All formal Lean code (987 lines in Dark_Closure.lean) compiles with exit code 0 under Lean 4.19.0 using zero declared axioms, and all numerical checks (35 checks in Dark_Twin.f90) pass without failure under sealed IEEE floating-point flags. The model exposes its commitments to ongoing observational tests in cosmological expansion (DESI/Euclid) and direct dark matter detection (LZ/XLZD).