Gap-11 — Dark matter: the gate anchor ledger
The honest one-line: Gap-11 has a real, geometry-essential banked win — the same frozen 13D shape that recovers the Standard Model also supplies and stabilizes a dark-matter candidate that nobody fitted to the data, structurally selected $17$ of $18$ times — and on the ratified board the gate closes at its strongest honest terminal, CERTIFIED-IRREDUCIBLE · RESOLVED +0, with the decisive residual shown: the one number the relic abundance rides on (the portal normalization $N_{\rm portal}$) is a finite, in-principle-computable overlap integral that has not been run, and the candidate's identity and stability do not, by themselves, fix any abundance.
This page is the gate-specific instantiation of the anchoring method: it takes the master anchor and the four bridges and applies them, object by object, to one gate. Every exact thing Gap-11 touches gets its own row — its status, what it is allowed to claim, and what it is forbidden to claim. It follows the same eleven-part shape and the same universal table as the canonical SG-4 ledger.
selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.
1. Gate status header
- Gate-level Gap-11 roll-up: CERTIFIED-IRREDUCIBLE · RESOLVED +0 (board-canonical, ratified 2026-07-08; closure-of-record: the live gate dossier; the earlier roll-up under the superseded least-closed-residual rule read OPEN — one open piece ⇒ gate OPEN). Recorded in the corpus as "conditional, blocked on a named gate"; mid-audit binding label CONDITIONAL-with-named-gate. A serious, structurally-selected candidate — NOT validated. Direction: held.
- Taxonomy reconciliation (2026-07-05): the gate-level grading of Gap-11 is CERTIFIED-IRREDUCIBLE · RESOLVED +0 (ratified 2026-07-08), read as TERMINAL + RESIDUALS-SHOWN — the gate reaches its strongest honest terminal (the relic abundance rides on an inherited cosmological anchor, the reheating temperature $T_{\rm RH}$, plus a retained finite geometry-side compute debt, the portal normalization $N_{\rm portal}$), while the residual family below stays listed and carried unchanged. The facts are unchanged: the earlier OPEN roll-up reflects the superseded least-closed-residual rule (one open piece ⇒ gate OPEN), not different physics. No individual residual is closed, deleted, or re-graded by this note.
- The banked identity/stability leg (given-E): on the frozen $S^1_Y/\mathbb{Z}_2$ boundary, the geometry localizes a $\mathbb{Z}_2$-odd, $Y=0$, color- and electrically-neutral zero-mode (the C-iii state) that is renormalizably stable by structure, $$ \big[\mathbb{Z}_2\text{-odd parity}\big]\wedge\big[Y=0\big]\ \Rightarrow\ \text{(stable, dark, renormalizable-portal-admitting candidate)}.$$
- The local "closed leg" is a viability bound, not an abundance: the one-sided KK-overclosure gate PASSES across the inflaton band, $$ \Omega_{\rm KK}(E_{\rm frozen})\ \le\ 1\quad(\text{one-sided; does NOT fix }\Omega_{\rm DM}h^2).$$
- Status, split so it cannot be misread:
- Identity + stability (A1): DERIVED-GIVEN-E, reduced-to the frozen lex-min / SHAPE-admissibility razor (inherited, not eliminated); grade selector-CANDIDATE. The candidate carries no abundance number.
- KK-overclosure PASS: DERIVED-GIVEN-E (one-sided) — a necessary viability bound, never a sufficient abundance determination.
- The portal operator + its normalization $N_{\rm portal}$: AXIOM-OPEN / UNRUN — the operator is unnamed; the normalization is a specifiable but unevaluated overlap integral.
- The relic abundance $\Omega_{\rm DM}h^2$: OPEN / downstream-gated — not run; no value asserted anywhere.
Given $E_{\rm frozen}$, the boundary geometry supplies and stabilizes the candidate. What stays open is the one number the abundance depends on — the portal normalization — plus the cross-gap thermal input it consumes, plus the structural fork that decides whether $N_{\rm portal}$ is even the right object to compute.
selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.
2. Frozen inputs (what Gap-11 stands on, not what it produces)
- Frozen branch hashes
dcc66f1b2685/ manifest metaa5b1e6f9d951. The branch is read-only. These hashes are audit anchors — they certify which object was tested and that it cannot be quietly retuned. They do not validate the physics. Note explicitly: there is no first-principles hash for $N_{\rm portal}$ — it is unrun; no frozen object exists for it. - The measured cosmological floor $\Omega_{\rm DM}h^2\approx 0.12$ (Planck) is GIVEN / measured. It is the only number Gap-11 compares against, and it is compared-to exactly once, post-freeze — never fitted to. Backing any coefficient out of $0.12$ is the single move this gate refuses.
- Inherited thermal input $T_{\rm RH}\in[2.4\times10^{12},\,4\times10^{15}]\ \mathrm{GeV}$ (a $\sim3$-OOM band, $N_{\rm eff}=3.044$ in-band) is GIVEN / inherited-CONDITIONAL from Gap-09, itself re-gated on K13-2 (Gap-08) and $c_{\rm loop}$ (Gap-04). Gap-11 does not derive or close $T_{\rm RH}$.
- Upstream spectrum / branch $E_{\rm frozen}$ enters as input. Gap-11 does not derive $E$. Every banked claim below is a statement about this $E$, not a derivation of it.
3. Object anchors (given-E / upstream)
The candidate is read off the frozen geometry, not posited. The internal geometry contains an $S^1_Y/\mathbb{Z}_2$ factor (the hypercharge circle modded by a $\mathbb{Z}_2$ orbifold), whose boundary fixed point localizes a zero-mode with three structural quantum numbers: $$ \text{C-iii}:\quad \mathbb{Z}_2\text{-odd},\qquad Y=0,\qquad (\text{color- and electrically-neutral}). $$ The stabilizing $\mathbb{Z}_2$ is the orbifold action itself, fixed for independent reasons — not an imposed dark parity. Status: GIVEN-E / upstream-inherited — not Gap-11-derived; it rides on the same frozen branch the rest of the program uses.
4. Root and master-anchor traceability
Deep roots that are load-bearing for Gap-11:
| Deep root | Role in Gap-11 |
|---|---|
| Shape | supplies the $S^1_Y/\mathbb{Z}_2$ orbifold, the boundary fixed point, and the $\mathbb{Z}_2$-odd / $Y=0$ assignment that is the candidate |
| Granularity | enforces no unpaid exact labels — the portal coupling must be drawn from the ⊗-layer operator ledger, not invented; $N_{\rm portal}$ must be charged as an overlap integral, not asserted |
| Physical equivalence / invariance | the $Y=0$ neutrality and $\mathbb{Z}_2$-odd parity are frame-independent structural facts, making the stability a meaningful gauge-invariant statement |
| Scale | the abundance is set across the thermal history ($T_{\rm RH}$ band); the freeze-in mechanism lives at a scale Gap-11 inherits, not sets |
| Nonseparability | explains why identity + stability + a one-sided overclosure PASS do not equal an abundance determination — the magnitude debt is a separate object |
| Record interface | makes the $17/18$ selection audit and the KK-overclosure PASS reproducible / reviewable |
Causal order is not a primary load-bearing anchor for the Gap-11 structure.
Master anchors in play: finite invariant ledgers (the ⊗-layer operator inventory) · no unpaid labels (the portal coupling + $N_{\rm portal}$ must be charged) · the frozen branch · given-$E$ · the measured floor $\Omega_{\rm DM}h^2\approx0.12$ (compared-to-only) · the anti-fitting firewall · open-residual discipline.
5. The Gap-11 anchor ledger (the universal table)
| Gate anchor | Exact object | Deep-root link | Master-anchor link | Status | Allowed claim | Forbidden claim | Open residual / closure task |
|---|---|---|---|---|---|---|---|
| Gate roll-up | Gap-11 | Shape, Nonseparability | open-residual discipline | CERTIFIED-IRREDUCIBLE · RESOLVED +0 (mid-audit: CONDITIONAL-with-named-gate) | a banked candidate + one named decisive block | "Gap-11 is closed" / "the abundance is derived" | close §9 residuals (R8→R1→R2→R3…) |
| Frozen branch | hashes dcc66f1b2685 / a5b1e6f9d951 |
Record interface | frozen branch | AUDIT ONLY | the tested object is frozen / read-only | "hashes validate the physics" | — |
| Measured floor | $\Omega_{\rm DM}h^2\approx 0.12$ (Planck) | Scale | measured anchor | MEASURED-ANCHOR | the single comparison target, used once post-freeze | "$0.12$ is derived" / "fit to $0.12$" | terminal / measured-but-irreducible |
| Upstream spectrum | $E_{\rm frozen}$ | Shape | given-$E$ | GIVEN-E | the candidate is read off this $E$ | "Gap-11 derives $E$" | (see SG-2/SG-3 for $E$) |
| Candidate state | C-iii: $\mathbb{Z}_2$-odd, $Y=0$, neutral | Shape | given-$E$ | DERIVED-GIVEN-E (selector-CANDIDATE) | the geometry localizes a dark, stable state | "the candidate is validated / the DM is confirmed" | audit AO-1 (R7) |
| Structural selection | $17/18$ across $5$ reweightings | Shape, Record interface | finite invariant ledger | DERIVED-GIVEN-E (selector-CANDIDATE, audit) | a geometric pick frozen before any compare | "$17/18$ is a certificate / a prediction" | re-run reweightings on frozen field (AO-1) |
| Stability — parity | $\mathbb{Z}_2$-odd forbids decay to even SM finals | Invariance | no unpaid labels | DERIVED-GIVEN-E | decay is forbidden by the orbifold parity | "stability survives any portal automatically" | preserve parity at operator level (R1↔F) |
| Stability — renormalizability | $Y=0\Rightarrow$ renormalizable portal | Invariance | no unpaid labels | DERIVED-GIVEN-E | $Y=0$ keeps the coupling renormalizable | "the portal is named / normalized" | — |
| Viability bound | KK-overclosure $\Omega_{\rm KK}\le 1$ (one-sided) | Scale, Nonseparability | open-residual discipline | DERIVED-GIVEN-E (one-sided) | the tower does not overclose across the inflaton band | "the PASS fixes / determines the abundance" | non-vacuity + full $T_{\rm RH}$ band (AO-2 / R7) |
| Portal operator | the (unnamed) $\mathbb{Z}_2$-odd-preserving coupling | Granularity | finite invariant ledger | AXIOM-OPEN (R1, UNNAMED) | a lowest-dimension ⊗-ledger operator must exist |
"the operator is named" / a parity-breaking operator | name it target-blind (R1) → AXIOM-PORTAL-OPERATOR |
| Operator-governance | razor governs operators | Granularity | no unpaid labels | AXIOM-OPEN (REFUTED AS STATED) | only the state-side selection is banked | "one razor governs both inventories" | discharge AXIOM-OPERATOR-ORDERING target-blind |
| Portal normalization | $N_{\rm portal}=\int_{S^1_Y/\mathbb{Z}_2}\psi_{\rm C\text{-}iii}\,\psi_{\rm bath}\,(\text{geom})\,dy$ | Granularity, Shape | finite invariant ledger | OPEN / computation debt (R2, UNRUN) | a finite, specifiable overlap integral | "$N_{\rm portal}$ has a value" / "$N_{\rm portal}$ from $0.12$" | run target-blind (R2) → AXIOM-PORTAL-NORMALIZATION |
| Structural fork | trichotomy (A3) + single-component fork (A4) | Shape | open-residual discipline | OPEN / unrun AUDIT (R8) | decides whether $N_{\rm portal}$ is even an object | "$N_{\rm portal}$ is the single block" (pre-fork) | run two inventory evals target-blind (R8) |
| Relic abundance | $\Omega_{\rm DM}h^2\propto\int(\text{rate}(N_{\rm portal},T))\,dT$ | Scale | open-residual discipline | OPEN / downstream-gated (R3) | routine quadrature once its inputs are frozen | "$\Omega_{\rm DM}h^2$ is computed / reproduces $0.12$" | run after R2 + R6; compare once post-freeze |
| Thermal input | $T_{\rm RH}\in[2.4\times10^{12},4\times10^{15}]$ GeV | Scale | given-$E$ | GIVEN / inherited-CONDITIONAL (R6) | a $3$-OOM band consumed by the relic integral | "Gap-11 fixes $T_{\rm RH}$" | export to Gap-09 → Gaps 08/04 |
| Direct-detection band | $\sigma_{\rm SI}\sim10^{-55}$–$10^{-60}\,\mathrm{cm}^2$ | Scale | open-residual discipline | DERIVED-GIVEN-E (forecast, banked band) | a refute-only falsifier; any signal kills it | "a null confirms the candidate" | $\sigma_{\rm SI}$ point value rides R2 |
| $\sigma_{\rm SI}$ point value | the value within the band | Scale | open-residual discipline | OPEN / gated on R2 (R5) | computable once $N_{\rm portal}$ lands | "the point value is computed" | compute from $N_{\rm portal}$ (R5) |
| Frozen coupling | $\lambda_p(0.12)\sim10^{-11}$ | Granularity | open-residual discipline | RECORD / role-ambiguous (R4) | a recorded feeble coupling | "$\lambda_p$ IS $N_{\rm portal}$" (anti-fitting) | export disambiguation Q01 to owner |
6. The construction — the banked win and the named block, in full
The forward chain (one banked candidate, one decisive block, one cross-gap cascade, one experimental adjudicator): $$ \underbrace{S^1_Y/\mathbb{Z}_2\ \text{boundary}}_{\text{given-E}}\ \xrightarrow{\text{localizes}}\ \underbrace{\text{C-iii}}_{\text{banked, }17/18}\ \xrightarrow[\text{(unnamed R1)}]{\text{portal}}\ \underbrace{N_{\rm portal}}_{\text{UNRUN R2}}\ \xrightarrow[\;+\,T_{\rm RH}\,(\text{R6})\;]{\text{freeze-in}}\ \underbrace{\Omega_{\rm DM}h^2}_{\text{gated R3}}\ \xrightarrow{\text{compare once}}\ 0.12 . $$
The structural compression (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.
The stability legs (banked). Two independent structural facts: - $\mathbb{Z}_2$-odd parity forbids decay to any final state built entirely from $\mathbb{Z}_2$-even Standard-Model fields; the candidate is the lightest parity-odd state, hence absolutely stable on cosmological timescales. - $Y=0$ keeps any portal coupling renormalizable (it avoids the dimension-raising hypercharge structures that would force non-renormalizable portals).
The portal normalization (the block). $N_{\rm portal}$ is a finite wavefunction-overlap integral on the boundary geometry, reduced $13\mathrm{D}\to4\mathrm{D}$ via the §IV conventions: $$ 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 . $$ It is fully specifiable but UNRUN — an explicit numerical computation, not a logical argument that can be carried to a value by reasoning alone.
The relic integral (downstream). With $N_{\rm portal}$ and a frozen $T_{\rm RH}$, the abundance is the standard freeze-in Boltzmann quadrature (the candidate is never in equilibrium; it is slowly populated by the feeble portal): $$ \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}. $$
Diagnostic — the candidate is specific, not generic. The state is not a free posit tuned to the answer: across an $18$-candidate field re-evaluated under five reweightings of the selection razor, C-iii was selected $17$ of $18$ times, frozen before any abundance comparison. That a single state survives a four-fifths-or-better majority under independent reweightings — while no abundance value was in sight — is what makes the selection a real structural fact about the frozen geometry rather than an artifact of one scoring choice. (Read at selector-CANDIDATE grade: a decision-grade audit, not a certificate.)
The obstruction split. The local, banked piece is identity + stability + the one-sided viability bound: $$ O_{\rm Gap11,local}(E_{\rm frozen})=\big(O_{\rm identity},\,O_{\rm stability},\,O_{\rm overclosure}\big)\ \text{is discharged given }E. $$ The full gate obstruction additionally carries the magnitude debt: $$ O_{\rm Gap11}(E)=\big(O_{\rm operator},\,O_{N_{\rm portal}},\,O_{\rm relic}(T_{\rm RH}),\,O_{\rm adjudication}\big), $$ and we do not assert $O_{\rm Gap11}(E_{\rm frozen})=0$: the operator is unnamed, $N_{\rm portal}$ is unrun, the relic integral is gated, and the adjudication is an experiment.
7. Declared-structure splits — three phrases hiding multiple claims
(a) "The dark-matter candidate" splits into three statuses. 1. Identity + neutrality + stability (A1). DERIVED-GIVEN-E, reduced to the frozen lex-min razor; grade selector-CANDIDATE. Carries no abundance number. 2. The portal operator that couples it to the bath (R1). AXIOM-OPEN / UNNAMED. 3. The abundance it produces (R3). OPEN / downstream-gated on $N_{\rm portal}$ and $T_{\rm RH}$.
(b) "One razor selects the dark matter" splits into a banked half and a refuted half. - The state-side selection (which particle) is banked at selector-CANDIDATE grade. - The operator-side governance (which coupling) is REFUTED AS STATED by two adversarially-verified theorems: a razor validated on architecture-branches is not, without an explicit extension, an ordering on operators (a count-vs-mass-dimension type mismatch). It terminates in the named posit AXIOM-OPERATOR-ORDERING. "REFUTED AS STATED" means the strong anchor-transfer from state to operator is not licensed — it does not mean the candidate was disproven.
(c) "$N_{\rm portal}$ is the block" splits on the structural fork. $N_{\rm portal}$ is a real, decisive debt only in the conjunction {A2 discharged ∧ trichotomy = (ii) unique-operator freeze-in ∧ single-component = true}. On branch (i) the abundance is geometric and $N_{\rm portal}$ is a non-object; on branch (iii) it is only a correction; on the tower-co-carry branch the answer routes into the already-banked KK-overclosure machinery and $N_{\rm portal}$ is the wrong object. So the fork must be run before $N_{\rm portal}$ is dignified as the single-object block.
8. The two theorems — the honest enlargement of the floor
The most important move here was a negative one. An earlier reading had bundled a load-bearing shortcut into one posit: that the same razor selecting the dark state ($17/18$) also governs the operator inventory by the same ordering. Two theorems settle it (both valid, both not reverse-engineered from the measured value):
- Theorem 1 (razor-governs-operators): REFUTED AS STATED. A razor defined on architecture-branches is not, without explicit extension, an ordering on operators — a type mismatch. The razor's only operator-touching coordinate is a count, whereas the needed rule is lowest-mass-dimension on a single operator; the two functionals are mutually blind to each other's discriminating variable.
- Theorem 2 (operator-admissibility-metric): REFUTED AS STATED. An explicit admissible pair — a dim-5 fitted-coefficient Higgs-portal vs. a dim-6 generator-rule coupling — is ranked in opposite order by mass-dimension-first vs. the record-cost metric. A genuine disagreement, constructed with no abundance value in sight.
The consequence is reduce-not-relabel in reverse: the honest count was restored from one over-merged posit to two items — (a) the genuine identity/stability win, intact and number-free, 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. Being right about each residual is the deliverable.
9. Open residuals — the magnitude-debt family
The banked candidate is one face of Gap-11. These distinct residuals make up the rest, and none is closed by identity, stability, or the one-sided viability bound:
- R8 — the structural fork (trichotomy A3 + single-component A4). OPEN / unrun AUDIT. Decides whether $N_{\rm portal}$ is even an object. Run this first.
- R1 — the portal operator. AXIOM-OPEN / UNNAMED. A lowest-dimension, $\mathbb{Z}_2$-odd-preserving operator from the
⊗-ledger. Gates R2. - R2 — the portal normalization $N_{\rm portal}$. OPEN / computation debt — UNRUN. The single decisive overlap integral. A real debt only on the surviving fork branch.
- R3 — the relic abundance $\Omega_{\rm DM}h^2$. OPEN / downstream-gated on R2 + R6. May be vacated on fork branch (i) or tower-co-carry.
- R5 — the $\sigma_{\rm SI}$ point value. OPEN / gated on R2. The band and the refute-only falsifier are already banked; the point value rides $N_{\rm portal}$.
- R6 — the thermal input $T_{\rm RH}$. INHERITED-CONDITIONAL / exported to Gap-09 → Gaps 08/04. A $\sim3$-OOM band; not closeable inside Gap-11.
- R4 — $\lambda_p(0.12)\sim10^{-11}$ vs. $N_{\rm portal}$. OPEN-as-question (Q01) / exported to owner. Its role is undefined in the corpus; assuming the identity is the prohibited anti-fitting move.
- R7 — audits AO-1 / AO-2. OPEN / verification. Re-run the $5$ reweightings on the frozen $18$-candidate field (confirm $17/18$ is a non-tie pick); confirm the KK-overclosure PASS is non-vacuous and holds across the full Gap-09 band, not only the inflaton band.
10. Anti-claims (what this page refuses to say)
- Gap-11 does not derive or predict $\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, and $N_{\rm portal}$ has no assertable value.
- Gap-11 does not derive $E$; the candidate is read off this $E$.
- One geometric rule does not select both the particle and its portal operator. REFUTED AS STATED by two verified theorems; only the state-side selection is banked.
- $\lambda_p(0.12)\sim10^{-11}$ is not asserted to be $N_{\rm portal}$. Assuming the identity backs the normalization out of $0.12$ — the prohibited anti-fitting move (the $\kappa^3/\pi$ anti-pattern). It is a question for the owner (Q01).
- The KK-overclosure PASS does not fix the abundance. It is one-sided — a necessary viability bound, never a sufficient abundance determination; it must never be upgraded from PASS to abundance-determined.
- The $17/18$ selection is not a certificate and not a prediction — a decision-grade audit at selector-CANDIDATE grade; never re-scored from memory.
- The direct-detection forecast is refute-only: any positive signal above the band kills the minimal candidate, but no null result can confirm it (the forecast sits $\sim6$–$11$ OOM below the neutrino floor $\sim10^{-49}\,\mathrm{cm}^2$). That asymmetry is an observation limit on all of physics, not a defect of this theory.
- The frozen-branch hashes are audit anchors; they do not validate the physics, and there is no hash for $N_{\rm portal}$.
- Local banked structure is not whole-gate closure. $O_{\rm Gap11,local}(E_{\rm frozen})$ discharged does not imply $O_{\rm Gap11}(E_{\rm frozen})=0$.
11. Specialist closure plan
Each open residual is a concrete, finite, target-blind work-package. Attack order follows the leverage ranking; the hard discipline throughout: target-blind, never tune to $0.12$.
- R8 — decide the branch (RUN FIRST). Run the two inventory evaluations (trichotomy A3, single-component fork A4) target-blind on the frozen
⊗-ledger; discharge AXIOM-OPERATOR-ORDERING here, not by inheritance. Falsifier / dissolving close: branch (i) → abundance geometric, $N_{\rm portal}$ dissolves; branch (iii) → $N_{\rm portal}$ demotes to a correction; tower-co-carry → route into banked KK-overclosure + Gap-09. Any of these shrinks the gate honestly without running R2. - R1 — name the portal operator (cheapest genuine step, on branch ii). Run a target-blind operator-inventory razor that names the lowest-dimension, $\mathbb{Z}_2$-odd-preserving operator and exhibits an explicit operator ordering. Success ladder: DERIVED-GIVEN-E if unique; else Reduced to Axiom
AXIOM-PORTAL-OPERATOR(named, value-free, falsification test PASS). Refuting: no admissible parity-preserving operator → forces branch (i). - R2 — run $N_{\rm portal}$ (the block, only on branch ii + single-component). Evaluate the overlap integral target-blind via the §IV reduction; track the K13-2 normalization-convention hazard; never back it out of $0.12$. Success ladder: DERIVED-CLOSED only if it evaluates with no fudge and the downstream integral lands near $0.12$ post-freeze; else
AXIOM-PORTAL-NORMALIZATIONif it is named and verified to yield a value; else OPEN / [O] (the realistic terminus — an owner/machine computation, not [A]). - R3 — run the relic integral once R2 and R6 are frozen: evaluate the freeze-in quadrature, resolve the UV/IR regime (Q04), freeze, compare to $0.12$ exactly once. May be vacated on branch (i) / tower-co-carry.
- R5 — the $\sigma_{\rm SI}$ point value: compute from the same $N_{\rm portal}$ (consistency check: confirm it lands in the recorded band); export the refute-only falsifier to the prediction/falsification matrix.
- R6 — freeze $T_{\rm RH}$: export to Gap-09 (transitively Gaps 08/04); terminal-by-export. The band narrows only when Gap-09 closes.
- R4 — disambiguate $\lambda_p(0.12)$: emit Q01 to the owner; EXPORTED is the honest terminus. Not closeable by argument; never assume the identity.
- R7 — audit AO-1 / AO-2: re-run the reweightings and the KK relic sum on a fresh, frozen re-run; VERIFIED-by-audit confirms the banked structure at candidate grade (no promotion). A failed AO-2 coverage is a sharper-OPEN result.
Closing the surviving subset upgrades Gap-11 from "candidate banked, gate open" toward a frozen prediction — and even then, only given $E$ and a frozen $T_{\rm RH}$, and only by comparing to $0.12$ once, never by tuning to it.
12. Completion tests for this page
Required presence (all met): gate roll-up CERTIFIED-IRREDUCIBLE · RESOLVED +0 (mid-audit CONDITIONAL-with-named-gate) · the banked identity/stability leg · its DERIVED-GIVEN-E (selector-CANDIDATE) label · the one-sided KK-overclosure bound · $E$ not derived · frozen hashes (AUDIT ONLY) · the measured floor $\Omega_{\rm DM}h^2\approx0.12$ as MEASURED-ANCHOR · C-iii object · the $17/18$ selection diagnostic · both stability legs · the unnamed operator (R1) · $N_{\rm portal}$ UNRUN (R2) · the structural fork (R8) · the gated relic integral (R3) · the inherited $T_{\rm RH}$ band (R6) · the $\sigma_{\rm SI}$ band + refute-only falsifier (R5) · $\lambda_p(0.12)$ role-ambiguous (R4) · the two theorems · every open residual as its own row · the anti-fitting / no-$\Omega$-asserted anti-claims.
Required absence (all held): no claim that Gap-11 is fully closed · $\Omega_{\rm DM}h^2$ derived or asserted · $N_{\rm portal}$ given a value or backed out of $0.12$ · $\lambda_p(0.12)$ asserted to be $N_{\rm portal}$ · the KK-overclosure PASS upgraded to abundance-determined · one razor sold as governing both inventories · the $17/18$ selection sold as a certificate/prediction · a null confirming the candidate · hashes validating physics · local banked structure = whole-gate closure · any reader-visible build-process vocabulary.
This gate follows the same eleven-part shape and the same universal table as the canonical SG-4 ledger.
See also: the anchoring method · the master anchor · Layer 2 — no unpaid exact labels (why the portal coupling + $N_{\rm portal}$ must be charged, not asserted) · Layer 4 — carrier-forcing & the given-E wall · the sibling Gap-13 ledger · the full Gap-11 dossier.