What this document is. The full per-gate dossier for Gap-11 (Dark matter) of this framework’s constraint-first-geometry program, on the frozen 13D K₆ branch only (geometry hashes
dcc66f1b2685/ manifest metaa5b1e6f9d951, READ-ONLY). It expands the live 30-second popup and the brief article (GATE_BRIEF_GAP11.html) into a working-physicist-grade treatment: the rigorous structure behind the gate's progress, the insights that produced it, the evidence that backs each banked claim, and a concrete specialist work plan for every open hole.Binding discipline (carried verbatim). STATUS-UPGRADES:0. The honest status is OPEN — serious, structurally-selected candidate, NOT validated, live binding label CONDITIONAL-with-named-gate. Nothing in this dossier upgrades that grade. Every number is traceable to a corpus source actually read (path-cited inline) or marked OPEN/UNRUN. No number is back-solved to the observed relic abundance — that anti-fitting move is the single most important thing this gate refuses to do. given-E ≠ derivation of E; anchored ≠ derived; selection ≠ derivation; banked ≠ derived; a captured log ≠ an independent reproduction; AXIOM-CLOSED ≠ atomic.
The same frozen 13D shape that the rest of the program uses to recover the Standard Model also hands us a dark-matter candidate for free — a stable, electrically and color-neutral particle that nobody fitted to the cosmological data. Its identity and its stability both fall out of one structural feature of the geometry, and the candidate was structurally selected 17 of 18 times across five reweightings of the selection audit, frozen before any comparison to data. That is real, recovered structure.
What the geometry does not yet give us is the one number the relic abundance depends on: the portal normalization \(N_{\rm portal}\), the coefficient of the operator coupling the candidate to the Standard-Model thermal bath. That coefficient is a finite, in-principle-computable overlap integral on the boundary geometry — and it has not been run. Until it is run target-blind (never tuned to land on the observed abundance), no relic abundance is asserted.
The honest move this gate's campaign made was to enlarge the gap, not shrink it: two adversarially-verified theorems showed that the tempting shortcut — "one geometric rule fixes both the dark particle and its coupling" — is not licensed as stated. We banked the structure, banked a falsifier, and refused the shortcut. That refusal is the gate's credibility.
Status: OPEN. Recorded in the corpus as "conditional, blocked on a named gate"; live binding label CONDITIONAL-with-named-gate. A serious, structurally-selected candidate — NOT validated. Promotions: 0. (Source:
…/TOE/PER_GATE_DOSSIERS/GAP11_COMPLETION_HANDOFF/02_CURRENT_STATE.md;…/articles/GATE_BRIEF_GAP11.html;…/articles/GAP11_COMPLETION_RESULT.md§0.)
The status is set by the least-closed residual rule (the gate is no more closed than its weakest piece). The weakest pieces are: the portal operator is unnamed; the portal normalization is unrun; the relic abundance and the cross-section point value are downstream-blocked on that normalization; the reheating-temperature input is inherited-conditional from Gap-09; and the experimental adjudicator sits far below current reach. One open piece ⇒ the gate is OPEN.
It establishes (at the grades named): that the frozen geometry supplies and stabilizes a dark-matter candidate (the C-iii state), at selector-CANDIDATE grade; that the candidate is renormalizably stable by structure; that a one-sided KK-overclosure gate PASSES; that a refute-only direct-detection falsifier is banked at forecast grade; and that two verified theorems fenced off a false shortcut, restoring an honest two-item floor and replacing a binary reading with a trichotomy plus a single-component fork.
It does NOT establish — and explicitly does not claim — any value of the relic abundance \(\Omega_{\rm DM}h^2\); any computed value of \(N_{\rm portal}\); any named portal operator; any derivation of the reheating temperature; or any confirmation by experiment. No \(\Omega_{\rm DM}h^2\) is asserted anywhere in this dossier. The single decisive computation (\(N_{\rm portal}\)) is exactly as open at the end of this document as it was at the start: a finite, specifiable, UNRUN integral that is an owner/machine computation, not a logical argument an agent can carry.
Dark matter is the largest, most robust, and oldest unexplained mass budget in physics. Galaxy rotation curves, cluster dynamics, gravitational lensing, the acoustic peaks of the cosmic microwave background, and the growth of large-scale structure all converge on the same conclusion: roughly a quarter of the energy density of the universe is a gravitating, non-baryonic, electromagnetically dark, cold (or at least non-relativistic at structure formation) component. The Planck satellite's measurement of the cold-dark-matter physical density is the single anchor every candidate theory must reproduce:
\[ \Omega_{\rm DM} h^2 \approx 0.12 . \]
(This is the only number Gap-11 compares against. Source: GATE_BRIEF_GAP11.html;
GAP11_COMPLETION_RESULT.md §0, "Ω_DM h² ≈ 0.12 (Planck) — measured-but-irreducible". It is used
strictly as a comparison target for a frozen prediction; it is never fitted to.)
The field's open problem is twofold and unsolved everywhere: (1) what is the dark matter (its identity, mass, spin, couplings, stability mechanism), and (2) how much of it is there (its relic abundance, set by its production history in the early universe). No theory anywhere has derived both from first principles. The mainstream candidate families each answer (1) by positing a particle and answer (2) by a production mechanism whose parameters are then fitted to 0.12.
subsystems/E_direct_detection_null_forecast.md,
"the neutrino floor (~10⁻⁴⁹ cm²)".)Why each falls short of a first-principles answer. In every mainstream construction the identity of the particle is a posit and the coupling that sets the abundance is a free parameter fitted to 0.12. The genuinely hard, universally open part is to make both the identity and the abundance follow from a fixed structure — without a knob tuned to the answer. That is precisely the bar Gap-11 holds itself to, and precisely why it stays OPEN rather than claiming a closed abundance.
Gap-11 does not posit a particle. The candidate is read off a frozen geometry that was fixed for entirely independent reasons (recovering the gauge group, the fermion content, etc.). The geometry then makes that same state stable by a discrete symmetry it already carries. So the identity and stability half of the field's problem is, here, answered structurally rather than by assumption.
The abundance half, however, inherits the field's hardness in a sharpened form. It collapses to a single unrun integral (\(N_{\rm portal}\)) plus a thermal input owned by another gate (Gap-09's reheating temperature). The whole field's dark-matter abundance problem is, here, squeezed down to that one computation and that one cross-gap dependency — but it is not thereby solved. Naming where the mystery lives is not the same as paying it down. This dossier is scrupulous about that distinction.
Full primary construction: toe.md §IV / §V (the four-paper TOE manuscript) plus the decomposition folder
…/TOE/gap_11_dark_matter/. This section is the attack-grade reconstruction assembled from those sources; it shows the structure a reader can check, and marks every place a value is UNRUN.
Gap-11 is a single forward chain — a banked candidate plus banked viability gates, blocked on one named derivation, cascading on another gate for thermal inputs, adjudicated ultimately by an experiment:
§I S¹_Y/ℤ₂ boundary --localizes--> C-iii ℤ₂-odd, Y=0 state [A: banked CANDIDATE, 17/18]
│
stability (ℤ₂ parity + Y=0) [F: banked PASS] ──┘
│
portal operator [R1: UNNAMED] --normalize--> N_portal [R2: THE BLOCK, unrun overlap integral]
│
Gap-09 T_RH band [R6: inherited-conditional] ──┐
├─► freeze-in quadrature --> Ω_DM h² [R3: gated]
N_portal ──────────────────────────────────────┘ --compare(post-freeze)--> 0.12
└─► σ_SI point value [R5] --> direct detection [refute-only]
(Source: 01_DOSSIER.md §1, reproduced faithfully.)
The structural compression is the key insight: the same coefficient \(N_{\rm portal}\) sets both
the production rate (the relic abundance) and the elastic scattering rate (the direct-detection
cross-section). So Gap-11 is, structurally, one missing derivation with two downstream consumers
and one experimental adjudicator. (Source: 00_decomposition.md §1.)
The compact internal geometry contains an \(S^1_Y/\mathbb{Z}_2\) factor: a circle (carrying the hypercharge direction) modded by a \(\mathbb{Z}_2\) orbifold action. An orbifold of this type has boundary fixed points — loci left invariant by the \(\mathbb{Z}_2\) action — and fields can be localized at those fixed points rather than spread over the bulk circle.
The boundary fixed point localizes a zero-mode with three structural quantum-number properties that together make it a dark-matter candidate:
This is labeled the C-iii candidate in the corpus. (Source:
subsystems/A_candidate_selection.md "the candidate is the S¹_Y/ℤ₂ boundary-localized ℤ₂-odd
freeze-in state (C-iii)"; GAP11_COMPLETION_RESULT.md §0.1.)
It was not invented for the purpose. In the corpus's selection audit, run over an
18-candidate field and re-evaluated under five reweightings of the selection razor,
the C-iii state was selected 17 of 18 times — a structural selection by the geometry's boundary
structure (§I inflow), frozen before any abundance comparison, not fitted to any abundance.
(Source: subsystems/A_candidate_selection.md; 00_decomposition.md §0;
GAP11_COMPLETION_RESULT.md §0.1.)
Grade guard (carried verbatim). The 17/18 result is a selector-CANDIDATE (decision-grade audit), NOT a certificate, NOT a prediction. The selector reweighting protocol is an external artifact referenced by the capsule; its non-vacuity is not independently re-derived in the corpus. "Real recovered structure" must be read at this grade. (Source:
GAP11_COMPLETION_RESULT.md§2.1.)
The candidate's stability has two independent legs, both structural:
(Source: subsystems/F_stability_and_overclosure_gates.md, "Renormalizable stability (Y = 0):
§I-banked … ℤ₂-odd parity (a mirror/discrete symmetry forbidding decay to SM) combined with Y = 0";
01_DOSSIER.md §1.)
This stability is §I-banked — it follows from the frozen geometry and is hand-checkable given the geometry. It is a genuine, geometry-essential win: the same structure that supplies the identity supplies the stability.
Coupling between stability and the portal (R1↔F). Any portal operator proposed for the state (R1, §3.5) must preserve the \(\mathbb{Z}_2\)-odd parity. A portal term that breaks the parity would re-open a decay channel and destroy the stability. So the stability gate is a constraint on admissible portal operators, not an independent fact. (Source:
subsystems/F_stability_and_overclosure_gates.md"the ℤ₂-odd stability must survive at the operator level";01_DOSSIER.md§1.)
The orbifold geometry carries a Kaluza–Klein tower above the localized zero-mode. The corpus
banks a KK-overclosure gate PASS across the whole inflaton band: the KK tower does not
over-produce dark matter — it does not push \(\Omega > 1\) (does not overclose the universe) —
anywhere in the allowed inflaton band. (Source:
subsystems/F_stability_and_overclosure_gates.md; subsystems/C_relic_abundance_chain.md;
00_decomposition.md §0.)
This is a one-sided bound, and must never be upgraded. A non-overclosure PASS is a necessary viability condition — the candidate is not immediately ruled out by over-producing matter — but it is not a sufficient abundance determination. It does not, by itself, fix the abundance to 0.12. Treating the PASS as if it determined the abundance is a forbidden over-claim. (Source:
subsystems/F_stability_and_overclosure_gates.md"Do not upgrade PASS to abundance determined — the overclosure gate is one-sided";02_CURRENT_STATE.md.)
An open audit attaches here (AO-2, §6): confirm the PASS is non-vacuous (it excludes a real region rather than passing trivially because the freeze-in rate is feeble by construction) and that it holds across the full Gap-09 conditional \(T_{\rm RH}\) band, not only the inflaton band.
For the candidate to be produced from (and to scatter off) ordinary matter at all, it must couple to
the Standard-Model bath through some operator — the portal. The corpus does not state which
operator this is. Candidate forms named (none selected): a Higgs-portal-like \(|H|^2 X^2\); a
Wilson-line / KK-mixing term; or a higher-dimension operator. (Source:
subsystems/B_portal_normalization.md §B.1; 01_named_missing_objects.md MO-2.)
The operator is required to satisfy two structural conditions:
- Lowest mass-dimension admissible from the ⊗-layer operator ledger (the program's structured
inventory of admissible couplings).
- \(\mathbb{Z}_2\)-odd-preserving — it must not break the parity that stabilizes the state
(§3.3). The parity check against the stability gate (Subsystem F) is a gate on admissibility:
any parity-breaking operator is inadmissible.
You cannot normalize an unnamed operator. Until R1 is resolved, \(N_{\rm portal}\) cannot even be written down, and the parity check cannot be performed. R1 therefore gates R2.
This is the single decisive object. \(N_{\rm portal}\) is the normalization (the coefficient, with its band) of the portal operator — the number that sets the feeble strength of the coupling. It is a finite wavefunction-overlap integral on the boundary geometry, reduced from 13D to 4D:
\[ N_{\rm portal} \;\propto\; \int_{S^1_Y/\mathbb{Z}_2} \psi_{\rm C\text{-}iii}(y)\,\psi_{\rm bath}(y)\,(\text{geometry factors})\;dy , \]
where \(\psi_{\rm C\text{-}iii}(y)\) is the boundary-localized (fixed-point) profile of the
candidate, \(\psi_{\rm bath}(y)\) is the profile of the bath field it couples to, and the geometry
factors and the 13D→4D reduction follow the §IV dimensional-reduction conventions. (Source:
01_DOSSIER.md §1, §4.2; subsystems/B_portal_normalization.md; 02_tractability.md §3.)
This integral is fully specifiable but UNRUN. It is an owner/machine computation
(\([S]\to[O]\) in the program's tractability legend — "AI-setup-able with an owner/machine core"),
not a logical argument an agent can carry to a value. (Source: 02_tractability.md §1–§2.)
Three hazards attach to running it:
02_tractability.md §3 step 2; 01_DOSSIER.md §1, §4.2.)01_DOSSIER.md §4.2, §5; 02_CURRENT_STATE.md.)Given a frozen \(N_{\rm portal}\) and a frozen reheating temperature, the abundance is obtained by the standard freeze-in Boltzmann quadrature — a single collision-term integral of the production rate over the thermal history:
\[ \Omega_{\rm DM} h^2 \;\propto\; \int \big(\text{production rate}(N_{\rm portal}, T)\big)\,dT \quad\text{over the } T_{\rm RH} \text{ band.} \]
The mechanism is freeze-in, not freeze-out: the candidate is never in thermal equilibrium; it
is slowly populated from the bath by the feeble portal. (Source:
subsystems/B_portal_normalization.md; subsystems/C_relic_abundance_chain.md.)
This integral is a routine \([S]\) computation once its two inputs are frozen — but it is
purely downstream: it cannot be run now without fabricating \(N_{\rm portal}\) (R2) or
\(T_{\rm RH}\) (R6). It is gated, not failing. (Source: subsystems/C_relic_abundance_chain.md;
01_named_missing_objects.md MO-3.)
An open regime question (Q04) sets how heavily it leans on Gap-09: - UV-dominated freeze-in: the yield is set at the highest temperature \(T_{\rm RH}\), so the abundance scales strongly with \(T_{\rm RH}\) and the Gap-09 dependence is strong. - IR-dominated freeze-in: the yield is set near the portal mass, so the dependence on \(T_{\rm RH}\) is weak.
Which regime applies is OPEN, and it decides how much of the block is the Gap-09 cascade versus
the portal. (Source: subsystems/C_relic_abundance_chain.md Q04;
subsystems/D_gap09_thermal_history_dependency.md.)
Compare to 0.12 only post-freeze. The comparison to the measured anchor happens exactly once, after the prediction is frozen — never as a tuning step.
The freeze-in yield consumes a reheating temperature, owned entirely by Gap-09 (reheating / thermal history). Gap-09 is itself CONDITIONAL, not closed: it outputs a band
\[ T_{\rm RH} \in [2.4\times10^{12},\; 4\times10^{15}]\ \mathrm{GeV} \quad (\approx 3 \text{ orders of magnitude wide}), \]
with \(N_{\rm eff} = 3.044\) in-band, and it is re-gated on K13-2 (Gap-08) and \(c_{\rm loop}\)
(Gap-04). (Source: subsystems/D_gap09_thermal_history_dependency.md; 00_decomposition.md §4;
01_named_missing_objects.md MO-5.)
Gap-11 therefore inherits a conditional, 3-OOM-wide band and cannot close it. This is a pure
cross-gap cascade: Gap-11 is downstream of Gaps 09 → 08/04 and feeds nothing until closed (a closed
relic chain would feed Gap-12 / CMB-LSS as a signed cosmological input). (Source:
subsystems/D_gap09_thermal_history_dependency.md; 00_decomposition.md §4.)
This is the campaign's deepest structural finding, and the reason the block's existence is itself
gated. Before \(N_{\rm portal}\) can be dignified as a debt, two target-blind inventory evaluations
on the frozen ⊗-ledger must be run:
The trichotomy (A3) — one target-blind inventory evaluation returns one of three branches: - (i) empty ledger → the abundance is geometric; \(N_{\rm portal}\) is a non-object (there is no dynamical portal to normalize). - (ii) a unique operator → dynamical freeze-in; \(N_{\rm portal}\) is the single decisive integral, and it inherits the Gap-09 \(T_{\rm RH}\) band. - (iii) a unique operator but geometric-dominated yield → \(N_{\rm portal}\) is only a correction, not the leading term.
The single-component fork (A4) — is the relic carried by the zero-mode alone, or by the zero-mode plus its \(\mathbb{Z}_2\)-odd KK tower co-carrying the abundance as a sum? On the tower-co-carry branch, the answer routes into the already-banked KK-overclosure machinery plus Gap-09, and \(N_{\rm portal}\) is the wrong object to be computing.
(Source: GAP11_COMPLETION_RESULT.md §3 (axioms A3, A4) and §5 (R8);
02_CURRENT_STATE.md.)
The structural payoff. \(N_{\rm portal}\) is a real, decisive debt only in the conjunction {A2 discharged ∧ trichotomy = (ii) ∧ single-component = true}. On branches (i)/(iii) or the tower-co-carry branch, the block shrinks or dissolves for free — the abundance becomes geometric, or \(N_{\rm portal}\) becomes a correction, or it routes into already-banked machinery. This is why the trichotomy/fork is the genuine reduce candidate and must be run before \(N_{\rm portal}\) is treated as the single-object block. (Source:
GAP11_COMPLETION_RESULT.md§3, §5–§6.)
The same portal operator that sets the relic abundance sets the spin-independent elastic scattering cross-section off nucleons, \(\sigma_{\rm SI}\). The corpus banks a null-forecast band (not a point value):
\[ \sigma_{\rm SI} \sim 10^{-55}\text{–}10^{-60}\ \mathrm{cm}^2 , \]
which is \(\sim 6\text{–}11\) orders of magnitude below the neutrino floor (\(\sim 10^{-49}\,
\mathrm{cm}^2\)) and far below any foreseeable terrestrial reach (recorded as \(\sim 35\text{–}40\)
OOM below current sensitivity). (Source: subsystems/E_direct_detection_null_forecast.md;
GAP11_COMPLETION_RESULT.md §0; 01_named_missing_objects.md MO-4.)
From this band the corpus banks a pre-registered, asymmetric, refute-only falsifier: - The theory predicts direct-detection experiments see nothing (a null). - Any WIMP-like positive signal anywhere above the forecast band is fatal to the minimal candidate. - Because the forecast sits so far below reach, no null result can confirm the candidate.
So the falsifier is real but one-sided: detectable-only-by-refutation. (Source:
subsystems/E_direct_detection_null_forecast.md; 01_DOSSIER.md §1.) The \(\sigma_{\rm SI}\)
point value (within the band) rides the same \(N_{\rm portal}\) and is therefore gated; the
band and the falsifier rule are banked and already function.
The corpus records a frozen coupling \(\lambda_p(0.12) \sim 10^{-11}\) — a small coupling
consistent with a feeble freeze-in rate. (Source: subsystems/F_stability_and_overclosure_gates.md;
subsystems/B_portal_normalization.md; 00_decomposition.md §0.)
Its role is unresolved. Whether \(\lambda_p(0.12)\) is the portal normalization, fixes it,
or is downstream of it is not made explicit in toe.md. The argument "0.12" itself is
ambiguous — a radius ratio? \(\Omega_{\rm DM}h^2\)? a modulus value? Assuming it is
\(N_{\rm portal}\) would back the normalization out of 0.12 — the prohibited anti-fitting move.
This is a disambiguation question for the owner (Q01), not a derivation. (Source:
subsystems/B_portal_normalization.md questions_if_unknown; 00_decomposition.md §3.)
These are the reusable moves — shareable at working-physicist depth — that produced the gate's honest progress.
The decisive conceptual move is that the stabilizing symmetry is not imposed — it is the orbifold
action itself. In most dark-matter models a discrete symmetry (a \(\mathbb{Z}_2\) "dark parity")
is added by hand to forbid decay. Here the \(\mathbb{Z}_2\) is already present as the orbifold of the
hypercharge circle, fixed for independent reasons. A state localized at the fixed point is
automatically odd under it, automatically neutral (it sits at the \(Y=0\) locus), and automatically
stable. Identity, neutrality, and stability are one structural fact, not three assumptions. That
is the insight that makes this a constraint-selection result rather than a model-build. (Source:
subsystems/A_candidate_selection.md purpose; subsystems/F_...md.)
The selection was run target-blind: the 18-candidate field and the razor were frozen before
any comparison to the abundance, and the C-iii state won 17 of 18 reweightings. The value of this is
methodological — it shows the candidate was not reverse-engineered from the answer. The honest
discipline is to read it at selector-CANDIDATE grade and to audit it (re-run the reweightings
on the frozen field), never to re-score it from memory. The lesson reusable elsewhere: a
selection is only evidence if the field and the criterion were frozen before the comparison.
(Source: subsystems/A_candidate_selection.md; GAP11_COMPLETION_RESULT.md §2.1.)
The single most useful structural insight is that \(N_{\rm portal}\) sets both the relic abundance
and the direct-detection cross-section. This is what compresses a cluster of seven separate-looking
unknowns (identity, operator, normalization, mechanism, relic, cross-section, reheating) into one
missing derivation with two downstream consumers and one experimental adjudicator. Closing the one
coefficient sharpens both consumers at once. (Source: 00_decomposition.md §1;
01_DOSSIER.md §1.)
The campaign's most important insight was a negative one, and it is worth stating in full because it is exactly the kind of move that keeps a program honest. An earlier reading had bundled a load-bearing shortcut into a single posit: that the same razor which selects the dark state (17/18) also governs the operator inventory by the same ordering — so that naming and normalizing the coupling would follow from the same selection. Two theorems were minted and adversarially verified (both valid, both not target-fitted):
(Source: GAP11_COMPLETION_RESULT.md §2.2.)
What "REFUTED AS STATED" means (binding disambiguation). It means the strong anchor-transfer from the state selection to the operator inventory is not licensed. It does NOT mean the dark-matter candidate was disproven. The candidate's identity and stability stand; what is refuted is the claim that one razor automatically governs both inventories. (Source:
GAP11_COMPLETION_RESULT.md§2.2.)
The consequence is reduce-not-relabel in reverse: the honest count is restored from one
over-merged posit to two items — (a) the genuine identity/stability win, reduced to the frozen
lex-min razor (intact, no number, falsification test PASS); and (b) a newly-named, undischarged premise
(operator-governance), now exposed as AXIOM-OPEN. The gate was made honest-larger, not more
closed. That is the insight: being right about each residual is the deliverable. (Source:
GAP11_COMPLETION_RESULT.md §2.2, §4.)
The reason \(N_{\rm portal}\) stays honestly open rather than being quietly "closed" is a hard rule:
any coefficient back-solved to make the abundance hit 0.12 is true-by-construction and relocates
the mystery instead of closing it. This is named after the κ³/π anti-pattern elsewhere in the
program. The firewall is applied as a falsification test to every proposed axiom: it counts only if it
would be written without knowing \(\Omega_{\rm DM}h^2 = 0.12\). Both named axioms
(AXIOM-PORTAL-OPERATOR, referencing only the ⊗-layer ledger plus the parity gate; and
AXIOM-PORTAL-NORMALIZATION, referencing only the boundary geometry plus the reduction convention)
pass the falsification test as statements — the open question is whether they yield a value, which is
the unrun computation. (Source: 01_DOSSIER.md §4.2, §5; 02_CURRENT_STATE.md.)
(Faithfully reproduced from 01_DOSSIER.md §2.1.)
| # | Witness | What it asserts | Grade | Reproduces? |
|---|---|---|---|---|
| W1 | C-iii candidate identity (ℤ₂-odd, \(Y=0\), boundary-localized) | the geometry localizes a stable neutral state | structural | Yes (given geometry) — follows from the \(S^1_Y/\mathbb{Z}_2\) boundary + parity assignment |
| W2 | 17/18 structural selection across 5 reweightings | a geometric pick, frozen before any abundance compare | audit | Audit-able (AO-1) — re-run the reweighting on the frozen 18-field; do NOT re-score from memory |
| W3 | Renormalizable stability (\(Y=0\) + ℤ₂ parity) | decay forbidden, coupling renormalizable | hand-checkable | Yes — parity + zero-hypercharge are structural |
| W4 | KK-overclosure PASS (one-sided, inflaton band) | the candidate does not overclose across the band | machine-lane | Banked PASS — non-vacuity + \(T_{\rm RH}\)-band coverage is the open AO-2 audit |
| W5 | Portal operator coupling C-iii to the bath | the operator exists + preserves ℤ₂ | symbolic | NO — UNNAMED in the corpus (R1) |
| W6 | \(N_{\rm portal}\) overlap value | a finite geometric coefficient | machine-lane | NO — UNRUN (R2); specifiable, not evaluated |
| W7 | \(\Omega_{\rm DM}h^2\) relic integral | the candidate reproduces ≈0.12 | machine-lane | NO — gated on R2 + R6 (R3); not run |
| W8 | \(\sigma_{\rm SI}\) band + falsifier (\(10^{-55}\)–\(10^{-60}\) cm²) | any detection kills the minimal candidate | forecast | Banked (forecast grade) — the band, not the point value (R5); asymmetric/refute-only |
| W9 | \(\lambda_p(0.12)\sim10^{-11}\) FROZEN | a frozen coupling, role vs \(N_{\rm portal}\) ambiguous | record | Recorded — definitional relation to \(N_{\rm portal}\) unresolved (R4/Q01) |
| W10 | Gap-09 \(T_{\rm RH}\) band \([2.4\times10^{12},4\times10^{15}]\) GeV | the thermal input to the relic integral | inherited | Inherited-CONDITIONAL — owned by Gap-09 (R6); 3 OOM wide, behind Gaps 08/04 |
(Faithfully reproduced from GAP11_COMPLETION_RESULT.md §3.)
| Axiom / element | What it is | Atomic? | Disposition |
|---|---|---|---|
| A0 — the measured floor | \(\Omega_{\rm DM}h^2 \approx 0.12\) (Planck); the refute-only falsifier, compared exactly once | YES — a directly measured cosmological invariant | Terminal / measured-but-irreducible. The single atomic anchor; reducing it would eliminate the anchor — not allowed. |
| A1 — dark identity (reduced) | the stable, neutral, ℤ₂-odd, \(Y=0\) zero-mode at the \(S^1_Y/\mathbb{Z}_2\) fixed point | NO (not Buckingham-π atomic) but irreducible within Gap-11 | REDUCED-TO the frozen lex-min / SHAPE admissibility razor (inherited, not eliminated). The genuine win; carries no number; falsification test PASS. Grade: selector-CANDIDATE. |
| A2 — razor governs operators | the posit that the state-razor also orders the operator inventory | NO — both theorems show the transfer is REFUTED AS STATED | AXIOM-OPEN; terminates in AXIOM-OPERATOR-ORDERING until discharged target-blind. |
| A3 — the structural trichotomy | one target-blind inventory evaluation: (i) empty → geometric, \(N_{\rm portal}\) a non-object; (ii) unique operator → freeze-in, \(N_{\rm portal}\) the single integral; (iii) unique but geometric-dominated → \(N_{\rm portal}\) only a correction | NO — AXIOM-OPEN / unrun AUDIT | The genuine REDUCE candidate; branches (i)/(iii) shrink-or-dissolve the block for free. Must run before \(N_{\rm portal}\) is dignified as a debt. |
| A4 — single-component fork | zero-mode alone vs. zero-mode + its ℤ₂-odd KK tower co-carrying the relic as a sum | NO — AXIOM-OPEN / AUDIT | Tower-co-carry routes the answer into the banked KK-overclosure machinery + Gap-09, making \(N_{\rm portal}\) the wrong object. |
| D1 — \(N_{\rm portal}\) | the finite overlap integral on \(S^1_Y/\mathbb{Z}_2\); a functional of the frozen geometry + reduction convention alone | n/a — a calculation owed, never an axiom | OPEN / computation debt — UNRUN. A real debt only in {A2 discharged ∧ trichotomy=(ii) ∧ single-component=true}. Firewall: any \(N_{\rm portal}\) inverted out of 0.12 is true-by-construction and RELOCATES. |
Net atomicity floor. One genuinely atomic terminal (A0, measured) + one inherited identity win
(A1, reduced to the frozen razor, no number) over one exposed open premise (A2), two unrun structural
forks (A3, A4), and one UNRUN computation debt (D1). One genuine measured anchor is the honest floor.
(Source: GAP11_COMPLETION_RESULT.md §3.)
dcc66f1b2685 / a5b1e6f9d951 — READ-ONLY. (Source: 01_DOSSIER.md §0.)01_DOSSIER.md §0.)01_DOSSIER.md §0.)01_DOSSIER.md §0; subsystems/D_...md.)subsystems/A_...md, F_...md.)subsystems/A_...md questions_if_unknown; 00_decomposition.md.)subsystems/F_...md.)02_tractability.md §3.)Reproducibility honesty. W5–W7 do not reproduce: the operator is unnamed, the normalization is unrun, the relic integral is gated. These are honest absences, recorded as such. A captured log of any of these would not be an independent reproduction. (Source:
01_DOSSIER.md§2.3.)
This is the most load-bearing section. Each open hole is a work-package a specialist can pick up and start closing immediately. The attack order follows the leverage ranking in
01_DOSSIER.md§3.2: R8 (decide the branch) → R1 (name the operator) → R2 (run \(N_{\rm portal}\)) → R3 (relic) → R5 (σ_SI) → R4/R6/R7 (export / audit). The hard discipline throughout: target-blind, never tune to 0.12, STATUS-UPGRADES:0.
(a) Precise statement. Two target-blind inventory evaluations on the frozen ⊗-ledger:
(A3) is the ledger empty (branch i), does it yield a unique freeze-in operator (branch ii), or a
unique operator with geometric-dominated yield (branch iii)? (A4) is the relic carried by the
zero-mode alone, or zero-mode + its ℤ₂-odd KK tower (tower-co-carry)? These decide whether
\(N_{\rm portal}\) is even an object.
(b) Why it's hard / prior-attempt lessons. The earlier reading skipped this step and treated \(N_{\rm portal}\) as automatically the single decisive integral. The two verified theorems (§4.4) showed the operator-governance that this skip silently assumed is REFUTED AS STATED. Trap to avoid: dignifying \(N_{\rm portal}\) as a single-object debt before the branch is known — on branches (i)/(iii)/tower-co-carry it is a non-object or a correction, and running its integral would be wasted (or worse, a place to smuggle in a tuned value). Do not infer the branch from the 17/18 state selection — that transfer is exactly what the theorems refuted.
(c) Exactly what closes it. Run the two inventory evaluations target-blind on the frozen ledger. Success: a single branch is selected with a recorded witness. A refuting / dissolving result is a valid close: branch (i) → the abundance is geometric and \(N_{\rm portal}\) dissolves; branch (iii) → \(N_{\rm portal}\) demotes to a correction; tower-co-carry → route into the banked KK-overclosure + Gap-09 machinery. Any of these shrinks the gate honestly without running R2.
(d) Machinery & inputs. The frozen ⊗-layer operator ledger; the program's
inventory/audit evaluators; the AXIOM-OPERATOR-ORDERING posit (must be discharged here, not
inherited). Start from GAP11_COMPLETION_RESULT.md §3 (A3/A4) and §5 (R8); 02_CURRENT_STATE.md.
(e) Leverage. Decides the entire downstream chain. On two of three branches (plus tower-co-carry) the rest of the work plan (R1/R2/R3/R5) collapses or re-routes. This is the highest-value single move in the gate.
(a) Precise statement. Identify the explicit lowest-mass-dimension, ℤ₂-odd-preserving
operator coupling the C-iii mode to a Standard-Model bath field, drawn from the ⊗-layer ledger.
(b) Why it's hard / prior-attempt lessons. The operator is unnamed in toe.md; you cannot normalize an unnamed operator. The verified Theorem 1 showed the operator ordering cannot be inherited from the state-selection razor (a count-vs-mass-dimension type mismatch). Trap to avoid: re-using the state razor's count coordinate as if it ordered operators — it does not. The correct ordering is lowest mass-dimension on a single operator, which must be exhibited explicitly to discharge AXIOM-OPERATOR-ORDERING. Second trap: proposing a parity-breaking operator — it would re-open a decay channel and break the banked stability (the R1↔F coupling, §3.3).
(c) Exactly what closes it. Run a target-blind operator-inventory razor on the frozen ledger that
(a) names the lowest-dimension ℤ₂-odd-preserving operator and (b) exhibits an explicit ordering on
operators. Success ladder: DERIVED-GIVEN-E if the operator falls out uniquely; Reduced to
Axiom AXIOM-PORTAL-OPERATOR ("the C-iii state couples through the lowest-dimension
ℤ₂-odd-preserving operator admitted by the ⊗-ledger") if it must be posited (named, value-free —
passes the falsification test); OPEN if it cannot be fixed without owner input. A refuting result —
no admissible ℤ₂-odd-preserving operator exists — would force branch (i) of the trichotomy
(geometric abundance), a valid close.
(d) Machinery & inputs. The ⊗-layer ledger; the ℤ₂-parity gate from Subsystem F; technique T10
(selector / structural identification). Start from subsystems/B_portal_normalization.md §B.1;
02_tractability.md §3 step 1; 01_DOSSIER.md §4.1.
(e) Leverage. Gates R2 (and R5's point value). You cannot write \(N_{\rm portal}\) until R1 lands. It also discharges, or names, AXIOM-OPERATOR-ORDERING.
(a) Precise statement. Evaluate, target-blind, the finite overlap integral \(N_{\rm portal}\propto\int_{S^1_Y/\mathbb{Z}_2}\psi_{\rm C\text{-}iii}(y)\,\psi_{\rm bath}(y)\, (\text{geometry factors})\,dy\), reduced 13D→4D via the §IV conventions — producing a value (with band) without reference to 0.12.
(b) Why it's hard / prior-attempt lessons. It is an owner/machine computation (\([S]\to[O]\)), not a logical argument an agent can carry — the corpus is explicit that no honest AI attempt exists without fabricating a geometric integral. Trap 1 (the cardinal one): backing \(N_{\rm portal}\) out of \(\Omega_{\rm DM}h^2 = 0.12\). That is true-by-construction (the κ³/π anti-pattern) and RELOCATES the mystery — refuse it. Trap 2: assuming the frozen \(\lambda_p(0.12)\sim10^{-11}\) is \(N_{\rm portal}\) — that is the same anti-fitting violation in disguise (it implicitly carries 0.12; see R4). Trap 3: assuming the K13-2 normalization-convention issue away — the same D.1 / \(K_{\sigma\sigma}\) machinery that produced K13-2 in Gap-09 may recur here; track it, do not assume it.
(c) Exactly what closes it. Only on the surviving branch (ii)+single-component: evaluate the
integral target-blind; feed it forward (do not compare yet). Success ladder: DERIVED-CLOSED only
if the integral evaluates with no fudge and the downstream relic integral lands near 0.12
post-freeze; Reduced to Axiom AXIOM-PORTAL-NORMALIZATION ("the portal coupling's normalization
is the geometric overlap integral of the C-iii boundary profile with the bath-field profile on
\(S^1_Y/\mathbb{Z}_2\), a function of boundary geometry and reduction convention only, independent of
any abundance value") if it is named and verified to yield a value; OPEN / [O] if it requires
owner-machine evaluation it has not received (the realistic current terminus — it is not [A]).
A refuting result is a valid close: a target-blind value giving an abundance far from 0.12 beyond
the band kills the minimal candidate.
(d) Machinery & inputs. The boundary-mode profile \(\psi_{\rm C\text{-}iii}\) and bath profile
\(\psi_{\rm bath}\) from §I; the §IV dimensional-reduction conventions (D.1 / \(K_{\sigma\sigma}\)
precedent); technique T1 (axiom-floor) for the genuine path and T5 (firewall) against relocation.
Start from subsystems/B_portal_normalization.md; 02_tractability.md §3 steps 2–4;
01_DOSSIER.md §4.2.
(e) Leverage. Closing R2 un-gates R3 (relic) and R5 (σ_SI point value) simultaneously — the single coefficient sets both consumers. This is the one new derivation Gap-11 needs of its own.
(a) Precise statement. Once \(N_{\rm portal}\) (R2) and a frozen \(T_{\rm RH}\) band (R6) exist, run the standard freeze-in Boltzmann quadrature \(\Omega_{\rm DM}h^2\propto\int(\text{production rate}(N_{\rm portal},T))\,dT\) over the band; resolve the UV/IR regime (Q04); freeze the prediction; compare to 0.12 exactly once, post-freeze.
(b) Why it's hard / prior-attempt lessons. It is routine as a calculation but purely downstream — it cannot be run now without fabricating R2 or R6. Trap: running it speculatively with an invented \(N_{\rm portal}\) or a hand-picked \(T_{\rm RH}\); both fabricate inputs. Trap: choosing the UV/IR regime to make the answer come out — the regime is a physical fact (Q04) to be resolved, not a knob.
(c) Exactly what closes it. With both inputs frozen, evaluate the quadrature; freeze; compare once. Success: DERIVED-GIVEN-E if both inputs are frozen and the integral runs and lands near 0.12. Refuting: an abundance far from 0.12 kills the minimal candidate — a valid close. Note R3 may be vacated entirely on trichotomy branch (i) or the tower-co-carry branch (where the abundance is geometric / tower-carried).
(d) Machinery & inputs. Standard freeze-in Boltzmann quadrature; the Q04 regime resolution;
\(N_{\rm portal}\) (R2) and the Gap-09 \(T_{\rm RH}\) band (R6). Start from
subsystems/C_relic_abundance_chain.md; 01_named_missing_objects.md MO-3; 01_DOSSIER.md §4.3.
(e) Leverage. A closed relic chain would feed Gap-12 (CMB/LSS) as a signed cosmological input —
the gate's only downstream consumer. (Source: subsystems/C_...md; 00_decomposition.md §4.)
(a) Precise statement. Compute the \(\sigma_{\rm SI}\) point value (within the recorded \(10^{-55}\)–\(10^{-60}\) cm² band) from the same \(N_{\rm portal}\) once R2 lands; the band + falsifier are already banked.
(b) Why it's hard / prior-attempt lessons. The point value rides R2 (gated); the adjudication is an experiment, structurally not closeable by argument. Trap: inventing a point value; trap: claiming a null result confirms the candidate — it cannot (the forecast is 6–11 OOM below the neutrino floor, \(\sim 35\text{–}40\) OOM below current sensitivity). The falsifier is one-sided: any positive signal kills the minimal candidate; no null confirms it.
(c) Exactly what closes it. Compute \(\sigma_{\rm SI}\) from \(N_{\rm portal}\) (consistency check Q07: confirm it lands in the recorded band). Success: DERIVED-GIVEN-E for the point value once R2 lands. Adjudication: experiment-gated / OPEN (refute-only) — export the falsifier to the prediction/falsification matrix. A positive direct-detection signal anywhere above the band is the refuting outcome (fatal to the minimal candidate, a valid close).
(d) Machinery & inputs. The same \(N_{\rm portal}\) overlap calc (R2); the worldwide
direct-detection programme (the external adjudicator). Start from
subsystems/E_direct_detection_null_forecast.md; 01_DOSSIER.md §4.5.
(e) Leverage. Sharpening, not a blocker — the band/falsifier already function. Closing R2 closes this for free.
(a) Precise statement. Resolve, by a single declared owner ruling, whether the frozen \(\lambda_p(0.12)\) is \(N_{\rm portal}\), fixes it, or is downstream of it — and what the argument "0.12" denotes (radius ratio? \(\Omega_{\rm DM}h^2\)? a modulus?).
(b) Why it's hard / prior-attempt lessons. The relation is not in toe.md; the meaning of the argument is ambiguous. Trap (forbidden): assuming the identity — it would back \(N_{\rm portal}\) out of 0.12, the anti-fitting violation. This is a question, not a derivation.
(c) Exactly what closes it. Emit the disambiguation question (Q01) to the owner. Success: EXPORTED (Q01 to owner) is the honest terminus; if the owner confirms a relation, it narrows R2. Until then, OPEN-as-question. Not closeable by argument; not assumable.
(d) Machinery & inputs. Technique T5 (firewall) + export-as-question. Start from
subsystems/B_portal_normalization.md questions_if_unknown; 00_decomposition.md §3;
01_DOSSIER.md §4.4.
(e) Leverage. Could narrow R2 if confirmed; cannot, on its own, close anything (and must never be assumed).
(a) Precise statement. Freeze a single \(T_{\rm RH}\) (or a narrowed band) replacing the current 3-OOM conditional band \([2.4\times10^{12},4\times10^{15}]\) GeV.
(b) Why it's hard / prior-attempt lessons. It is not closeable inside Gap-11 — it is owned by Gap-09, itself re-gated on K13-2 (Gap-08) and \(c_{\rm loop}\) (Gap-04). Trap: counting \(T_{\rm RH}\) as a Gap-11 output, or hand-picking a value inside the band to make R3 come out.
(c) Exactly what closes it. Close Gap-09 (transitively Gaps 08/04). Success: EXPORTED to Gap-09 — terminal-by-export; the band narrows only when Gap-09 closes. It matters for the abundance only on the trichotomy-(ii) + single-component branch.
(d) Machinery & inputs. None internal — pure cross-gap cascade. Start from
subsystems/D_gap09_thermal_history_dependency.md; the Gap-09 folder
…/TOE/gap_09_reheating_thermal_history/.
(e) Leverage. A frozen \(T_{\rm RH}\) un-gates R3 (jointly with R2). Closing Gap-09 also serves every other gate that consumes the thermal history.
(a) Precise statement. AO-1: re-run the 5 reweightings on the frozen 18-candidate field to confirm 17/18 is a genuine, non-tie geometric pick. AO-2: confirm the KK-overclosure PASS (i) excludes a real region and (ii) holds across the full Gap-09 conditional \(T_{\rm RH}\) band, not only the inflaton band.
(b) Why it's hard / prior-attempt lessons. Trap (cardinal): re-scoring the selection from memory — the field and razor must be frozen before any comparison. Trap: assuming the one-sided PASS covers the full \(T_{\rm RH}\) band when it was banked only over the inflaton band.
(c) Exactly what closes it. Run AO-1/AO-2 on an independent re-run. Success: VERIFIED-by-audit → the banked items become machine-confirmed (still at candidate grade — no promotion). Refuting: if AO-2 fails to cover the Gap-09 band, that is a sharper-OPEN result (a real finding). Neither audit closes R2.
(d) Machinery & inputs. The frozen 18-candidate field + 5 reweighting vectors (AO-1); the KK relic
sum across the conditional band (AO-2); machine-lane audit setup. Start from
subsystems/A_candidate_selection.md; subsystems/F_stability_and_overclosure_gates.md;
01_DOSSIER.md §4.7.
(e) Leverage. Confirms the banked structure the rest of the gate rests on; no new physics, no promotion.
For each proposed axiom, confirm it is writable without knowing \(\Omega_{\rm DM}h^2 = 0.12\):
- AXIOM-PORTAL-OPERATOR — references only the ⊗-layer ledger + the ℤ₂-parity gate. No abundance
value. ✔
- AXIOM-PORTAL-NORMALIZATION — references only the boundary geometry + the reduction convention.
No abundance value. ✔ (Whether it yields the right value is the unrun computation, not part of
the statement.)
- The trap: any \(N_{\rm portal}\) chosen so the relic integral hits 0.12 is true-by-construction
(κ³/π) and RELOCATES — refuse it. A frozen \(\lambda_p(0.12)\) that coincides with \(N_{\rm portal}\)
is a question for the owner, not a closure. (Source: 01_DOSSIER.md §5;
GAP11_COMPLETION_RESULT.md §4.)
Claimed (at the stated grades): the frozen geometry supplies and stabilizes a structurally selected dark-matter candidate (identity + stability, real geometry-essential structure, at selector-CANDIDATE grade); a one-sided KK-overclosure PASS is banked; a pre-registered, refute-only direct-detection falsifier is banked at forecast grade; two adversarially-verified theorems refuted, as stated, the shortcut that one razor governs both the state and the operator inventories — a diagnostic gain that enlarged the honest floor.
NOT claimed (forbidden over-claims, denied by the frozen docs):
- The geometry derives / predicts \(\Omega_{\rm DM}h^2 \approx 0.12\). No \(\Omega_{\rm DM}h^2\)
value is asserted anywhere; the relic integral is gated, not run; \(N_{\rm portal}\) has no
assertable value. (Denied by 02_CURRENT_STATE.md; GAP11_COMPLETION_RESULT.md §6.)
- One geometric rule selects both the particle and its portal operator. REFUTED AS STATED by the
two verified theorems; only the state-side selection is banked. (Denied by
GAP11_COMPLETION_RESULT.md §2.2.)
- \(\lambda_p(0.12)\sim10^{-11}\) IS \(N_{\rm portal}\). Its role is unresolved (Q01); assuming
the identity backs the normalization out of 0.12 — the prohibited anti-fitting move. (Denied by
subsystems/B_...md.)
- The KK-overclosure PASS fixes the abundance. It is one-sided — a necessary viability bound, not
a sufficient abundance determination. (Denied by subsystems/F_...md.)
Two endpoints are universal limits on all of physics, not gaps in this theory, and are framed as the correct ceiling rather than as open weakness:
subsystems/E_...md.)Gap-11 rests on one genuine measured anchor — \(\Omega_{\rm DM}h^2 \approx 0.12\), used
compared-to-only, never fitted — plus a banked structural candidate (identity + stability, real
but not abundance). The two legs that could carry a closure (AXIOM-PORTAL-OPERATOR,
AXIOM-PORTAL-NORMALIZATION) are AXIOM-OPEN, not atomic: naming them is precision, not closure —
the magnitude debt (\(N_{\rm portal}\) → abundance) is unpaid. The thermal input \(T_{\rm RH}\) is
exported to Gap-09; the cross-section adjudication is exported to experiment. (Source:
02_CURRENT_STATE.md (0), (iv); GAP11_COMPLETION_RESULT.md §3.)
Gap-11 is a serious, structurally-selected candidate — NOT validated. It is an honestly-held OPEN / CONDITIONAL-with-named-gate result that has been sharpened and made honest-larger, not closed. The frozen geometry genuinely carries the candidate's identity and stability; the two verified theorems refused a false shortcut; the single decisive block, \(N_{\rm portal}\), is exactly as open as at the start — a finite, in-principle-computable, UNRUN overlap integral whose very existence as a single-object debt is itself fork-gated. The path forward is concrete and ordered: run the trichotomy/fork target-blind to decide the branch; only on the surviving branch name the operator and run \(N_{\rm portal}\) target-blind on a frozen Gap-09 \(T_{\rm RH}\) band; then compare to 0.12 exactly once. The candidate can be refuted by a direct-detection signal but cannot be confirmed by any foreseeable null — and that asymmetry is an observation limit on everyone, not a defect of this theory.
given-E ≠ derivation of E; selection ≠ derivation; banked ≠ derived; anchored ≠ derived;
AXIOM-CLOSED ≠ atomic; a captured log ≠ an independent reproduction. STATUS-UPGRADES:0. Frozen branch
dcc66f1b2685 / a5b1e6f9d951 READ-ONLY. No \(\Omega_{\rm DM}h^2\) asserted. Never tune
\(N_{\rm portal}\) to 0.12.
Dossier built by synthesis + expansion of: …/TOE/PER_GATE_DOSSIERS/GAP11_COMPLETION_HANDOFF/
(01_DOSSIER.md, 02_CURRENT_STATE.md); …/TOE/gap_11_dark_matter/ (00_decomposition.md,
01_named_missing_objects.md, 02_tractability.md, subsystems/A–F);
…/articles/GAP11_COMPLETION_RESULT.md; …/articles/GATE_BRIEF_GAP11.html; and the dossier-build
handoff …/TOE/30pagedoc/handoffs/GAP11.md. Per DOSSIER_BUILD_PROTOCOL.md v1. No status promoted;
no number fabricated; firewall clean.