W12 — Baryogenesis CP-source — rendered package. Rendered from W12_BARYOGENESIS_CP_CLOSURE_PATH.md; frozen technical content unchanged by rendering.

W12 — Baryogenesis CP-source

Wall: The baryogenesis CP-source wall · Closure routing via /closure

Where the gate stands — ratified board, 2026-07-08. The requirement-gate this wall serves, Gap-10 / BG-10 — baryogenesis, is RESOLVED at +0 · CERTIFIED-IRREDUCIBLE on the live gate board. The ledger reads: “The universe’s leftover matter traces back to the internal shape of the theory’s own hidden geometry — a small curled-up space called K₆ (built as SU(3)/T²) […] Separating the parts owned by the geometry from the parts that have to be measured makes the picture clean: the actual observed amount of leftover matter is treated as a measured boundary condition from cosmology, and the one truly unavoidable input is the absolute mass scale of the heavy neutrinos — openly named as a gap rather than quietly built in.” The geometry fixes the neutrino texture and the phase currency; the baryon-to-photon ratio η_B ≈ 6.1×10⁻¹⁰ is consumed as a measured boundary-record, accommodated, never derived — and never used to pin M_R. 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, BARYOGENESIS-BOUNDED, …) grades the wall’s residual lanes, never the gate.

Routing decision

DERIVE if CP-source and $M_R$ recipe are computed; otherwise OPEN-ANCHORED.

Deep-root link(s)

Reduction / dissolution verdict

Cannot reduce/dissolve. The baryon asymmetry is an observed record; the missing CP-source is a real dynamical ingredient.

$M_R$ reconciliation — 2026-06-29. The shared seesaw-scale dependency is sharpened: the absolute $M_R$ is REDUCED-TO-ANCHOR (a terminal measured-type scale with no root; the inversion fixes only $N_\nu^2/M_R$, $N_\nu$ unvalued $\Rightarrow$ a line, not a number) — so the baryogenesis $I_{CP}$/washout computation inherits $M_R$ as a paid anchor, not as an open compute-obligation it can discharge. The wrong-sign $\sigma_\nu$ default remains the falsifiable prediction pressure; $M_R$ must never be pinned from the measured $\eta_B$.

Steps to the endpoint

  1. Define rephasing-invariant high-scale CP invariant $I_{CP}$.
  2. Derive or anchor the $M_R$ spectrum recipe.
  3. Run density-matrix/washout evolution with frozen inputs.
  4. Pre-register $\eta_B$ in $[6.0, 6.2] \times 10^{-10}$.
  5. Compare sign and magnitude without retuning.
  6. Record wrong-sign default as falsifier pressure.

Success criterion / falsifier

Success: target-blind $I_{CP}$, $M_R$, washout, and $\eta_B$ in band. Falsifier: sign remains wrong or $\eta_B$ misses under frozen rules.

Terminal status assigned

OPEN-ANCHORED / BARYOGENESIS-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-10 / BG-10 — baryogenesis, reached its ratified terminal: CERTIFIED-IRREDUCIBLE · RESOLVED at +0 — with the heavy-neutrino mass scale openly named as the one truly unavoidable input, and the wrong-sign default kept on the books as falsifiable prediction pressure, never hidden.

Residual work

CP invariant, $M_R$, washout, sign, magnitude.

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 owner-gate vocabulary it uses (“ANCHOR-CLOSED / WALL-RECORDED; physics-status OPEN”) was superseded when Gap-10 / BG-10 — baryogenesis reached its ratified terminal, CERTIFIED-IRREDUCIBLE · RESOLVED at +0. The binding-wall and residual lanes it names are the residual work listed above — none of them terminal-blocking.

Verdict: NOT_EXHAUSTED_BLOCKED
Smallest missing rule (the precise hole):
  A target-blind scale rule R2 that maps the frozen data (tau=omega, N=1, R_T2,Cartan) to an actual M_R=(M1,M2,M3) heavy-Majorana spectrum formula. No candidate grammar in the frozen record generates one; the only printed guess M_R=kappa*M_U is off by ~231x, and even a derived M_R stays degenerate with Y_nu (light data fixes only y_nu^2/M_R). Without M_R the rephasing-invariant I_CP (R3) cannot be evaluated and the kinetics/assembly (R4,R5) cannot run. This is the single binding wall; the wrong-sign sigma_nu bit (R1) is the highest-leverage residual but it sits behind the same Shape root.
Terminal status: OPEN-ANCHORED / BARYOGENESIS-BOUNDED (Gap-10/BG-10 ANCHOR-CLOSED / WALL-RECORDED; physics-status OPEN / Diagnostic — 0 of 4 at certificate grade; no gate physics-CLOSED). Binding wall: a target-blind M_R-spectrum recipe (R2); highest-leverage residual: the shared sigma_nu mod-8 CP-sign bit whose geometry default points the WRONG way; eta_B in [6.0,6.2]e-10 pre-registered as the single post-freeze comparison.

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