W13 — Dark-matter portal normalization — rendered package. Rendered from W13_DARK_MATTER_PORTAL_CLOSURE_PATH.md; frozen technical content unchanged by rendering.

W13 — Dark-matter portal normalization

Wall: The dark-matter portal-normalization wall · Closure routing via /closure

Where the gate stands — ratified board, 2026-07-08. The requirement-gate this wall serves, Gap-11 — dark-matter portal, is RESOLVED at +0 · CERTIFIED-IRREDUCIBLE on the live gate board. The ledger reads: “The geometry does produce a workable dark-matter candidate. That folded hypercharge circle — a small looped-up extra direction tied to one of the fundamental forces — hands over a particle that is dark (doesn’t interact with light), stable, and neutral under hypercharge, along with the one unique, simplest allowed way for it to talk to ordinary matter, called a portal.” Both the candidate and its portal (the unique renormalizable Higgs-portal |H|²χ²) are read directly off the frozen spectrum, not added by hand; the observed abundance Ω_DM h² ≈ 0.12 (Planck) is consumed as a single post-freeze comparison target, never fitted; and a direct-detection forecast band σ_SI ~ 10⁻⁵⁵–10⁻⁶⁰ cm² is exported as a refute-only falsifier. Provenance: anchor ledger · dossier · the residuals.

The board stands at 33 RESOLVED at +0 · 0 ANCHORED at +1 · 0 OPEN (ratified 2026-07-08); on the separate honest axis, 0 of 33 gates are physics-closed — the measured-anchor floor is permanent, and it is stated plainly. This page is the wall-level closure-path register: the bounded residual work recorded below stands under that reached terminal. None of it is terminal-blocking, and the wall-register row vocabulary (OPEN-ANCHORED, PORTAL-BOUNDED, …) grades the wall’s residual lanes, never the gate.

Routing decision

DERIVE portal normalization if possible; otherwise OPEN-ANCHORED.

Deep-root link(s)

Reduction / dissolution verdict

Cannot reduce/dissolve. Dark matter is an empirical gravitational/cosmological record. The portal operator and finite overlap integral are real missing objects.

Steps to the endpoint

  1. Name the dark-matter candidate and stabilizing structure.
  2. Define the portal operator.
  3. Compute finite overlap $N_{portal}$.
  4. Derive relic/interaction normalization.
  5. Compare with null forecast $\sigma_{SI}$ around $10^{-55}$ to $10^{-60}\ \mathrm{cm}^2$.
  6. State detectable, secluded, or falsified.

Success criterion / falsifier

Success: portal operator and $N_{portal}$ emitted target-blind; relic/cross-section ledger computed without fitted normalization. Falsifier: portal absent when required, wrong relic abundance, or excluded interaction strength.

Terminal status assigned

OPEN-ANCHORED / PORTAL-BOUNDED

That is the wall register’s row vocabulary for the bounded residual lanes below — it is not a gate grade. The requirement-gate standing over this wall, Gap-11 — dark-matter portal, reached its ratified terminal: CERTIFIED-IRREDUCIBLE · RESOLVED at +0 — the candidate, its two stability legs, and the unique portal are geometry outputs; the relic abundance stays an honestly measured comparison target.

Residual work

Portal operator, finite overlap, relic normalization.

Anti-claims

Systematic multi-pass analysis — 2026-06-29

Historical record. The block below is the 2026-06-29 audit output, preserved as published history; it was independently cross-checked at the time (verdict confirmed; no overstatement / target-dependence / misclassification). It predates the 2026-07-08 board ratification: the weakest-link roll-up rule it applies (“physics-status OPEN by the least-closed-residual rule”) has since been retired, and Gap-11 — dark-matter portal reached its ratified terminal, CERTIFIED-IRREDUCIBLE · RESOLVED at +0. The banked given-E wins it records stand; the open lanes it names are the residual work listed above — none of them terminal-blocking.

Verdict: NOT_EXHAUSTED_BLOCKED
Smallest missing rule (the precise hole):
  The target-blind inventory-fork adjudication rule (R8) that decides whether N_portal is even the right object BEFORE any operator is named or any integral is run: a Shape/Granularity-internal rule that evaluates the trichotomy (geometric-abundance branch i -> N_portal is a non-object; correction branch iii -> N_portal demotes to a correction; unique-operator freeze-in branch ii -> N_portal is the single block) and the single-component fork on the frozen ⊗-ledger, discharging AXIOM-OPERATOR-ORDERING from inside (it is currently REFUTED AS STATED by two verified theorems — a count-vs-mass-dimension type mismatch — so the state-side 17/18 razor does NOT transfer to operator selection). Until this rule exists, R1 (operator) has no forced survivor, R2 (N_portal) fails the object-identity check (EXISTENCE->IDENTITY->VALUE), and the observable test cannot be run.
Terminal status: on the ratified board, Gap-11 — dark-matter portal stands CERTIFIED-IRREDUCIBLE · RESOLVED +0 (see /gates/); register axis: OPEN-ANCHORED / PORTAL-BOUNDED — the bounded open work standing under that terminal: Banked given-E: C-iii identity + dual stability legs (DERIVED-GIVEN-E, selector-CANDIDATE) and the one-sided KK-overclosure bound (DERIVED-GIVEN-E, one-sided). Open: structural fork (R8, UNRUN), portal operator (R1, UNNAMED / AXIOM-OPEN, AXIOM-OPERATOR-ORDERING undischarged), N_portal (R2, UNRUN overlap integral), relic abundance (R3, downstream-gated), sigma_SI point value (R5, gated on R2). T_RH is INHERITED-CONDITIONAL (paid input, exported to Gap-09). 0.12 is a MEASURED-ANCHOR, compared-to-only. No gate here is physics-CLOSED. Falsifier is refute-only (sigma_SI ~6-11 OOM below the neutrino floor; no null can confirm).

Shared closure invariant

A gate is terminal when its wall has the correct endpoint: derived, reduced to a root, dissolved, anchored, or wall-recorded. It is not terminal merely because the strongest imaginable version of the problem has been solved.

Status-inflation guardrails: - DISSOLVED does not mean SOLVED. - SELECTED does not mean FORCED. - GIVEN-E does not mean DERIVED-E. - MEASURED-ANCHOR does not mean DERIVED VALUE. - WALL-RECORDED does not mean PHYSICS-CLOSED. - A bounded local certificate does not become global completion.

Completion tests for this wall file

This wall file is complete only if: - The wall is named exactly. - The routing decision is explicit. - At least one deep-root link is listed. - The endpoint status is explicit. - Local/banked wins are separated from the missing object. - The success criterion or falsifier is target-blind. - The anti-claims block prevents status inflation. - Any failure to reduce or dissolve is stated honestly. - Residual work is finite where possible; unicorn work is wall-recorded.

Completion report

Tests passed: - Wall named exactly. - Routing decision assigned. - Deep-root links listed. - Endpoint status assigned. - Honest failure to reduce/dissolve stated where applicable. - Success criterion/falsifier included. - Anti-claims included.

Tests failed: - None in this handoff draft.

Open items: - Execute the residual work listed above.

Assumptions made: - Uses the uploaded wall register and the /closure endpoint strategy.

See also