Gap-10/BG-10 — Baryogenesis eta_B (leptogenesis four-fix): the gate anchor ledger — rendered package. Rendered from gap10-bg10-anchor-ledger.md; frozen technical content unchanged by rendering.

Gap-10/BG-10 — Baryogenesis eta_B (leptogenesis four-fix): the gate anchor ledger

The honest one-line: Gap-10/BG-10 is an openly-unsolved problem — nobody has a parameter-free leptogenesis $\eta_B$ — but there is real, checkable work here: it proves by exact arithmetic why the frozen geometry as written sources exactly zero matter–antimatter asymmetry, localizes the residue to one high-scale CP source object, dismantles a circulated "clean result" as true-by-construction, and pre-registers a falsifier before any number is computed.

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-10/BG-10 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 as the canonical SG-4 ledger.

Taxonomy reconciliation (2026-07-05). This gate reaches its board-canonical terminal — CERTIFIED-IRREDUCIBLE · RESOLVED +0 (ratified 2026-07-08; closure-of-record: the live gate dossier) — resting on the measured-anchor axis — the baryon asymmetry ηB is a measured cosmological boundary-record, accommodated not derived — with the mechanism legs (CP asymmetry ϵ, right-handed mass MR, absolute neutrino Yukawa) shown as open research residuals. Read as terminal reached + residuals shown; counted among the resolved-with-residual gates, not physics-closed. The “OPEN / Diagnostic” wording below is the older least-closed-residual grading, retained as the honest residual ledger.

The mechanism ledger of this gate is held OPEN / Diagnostic — 0 of 4 at certificate grade. No $\eta_B$, no CP asymmetry $\varepsilon$, no right-handed mass $M_R$, and no absolute neutrino Yukawa is asserted. The established results locate and bound the open object; they do not close it.


1. Gate status header

Given $E_{\rm frozen}$, the bare CP source is exactly zero by closed-form arithmetic; the firewall theorems explain why the missing magnitudes cannot be back-filled from low-energy data. What stays open is everything that decides a number: the high-scale CP phase, the heavy Majorana spectrum, the absolute Yukawa norm, and the flavored kinetics.

selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.


2. Frozen inputs (what Gap-10/BG-10 stands on, not what it produces)


3. Object anchors (given-E / upstream)

The geometry is load-bearing for the texture/structure of the inputs, not for the magnitudes that decide $\eta_B$. The recipe-real texture is pinned; the magnitudes are not.


4. Root and master-anchor traceability

Deep roots that are load-bearing for Gap-10/BG-10:

Deep root Role in Gap-10/BG-10
Shape supplies the $K_6=SU(3)/T^2$ flag manifold, $\mathbb{Z}_6$ center, $\tau=\omega$ fixed point, and spin-$\mathbb{C}$ index $\chi=-3$ that fix the texture and the CP-bit currency
Granularity enforces no unpaid magnitudes — the high-scale CP phase, $M_R$, and absolute $Y_\nu$ are unpaid and so cannot be quietly assumed
Physical equivalence / invariance makes the CP source a basis/rephasing-invariant object (Jarlskog-type), so $\mathrm{Im}(H_{12}^2)$ is a frame-independent fact
Causal order the out-of-equilibrium Sakharov condition + sphaleron conversion live here; the thermal arrow is load-bearing for the assembly
Nonseparability explains why the bare zero-CP local fact does not equal a completed four-fix $\eta_B$ — the fixes are coupled, not independent
Record interface makes the exact arithmetic, the blind Gauss-sum test, and the guarded scripts reproducible and reviewable

Master anchors in play: finite invariant ledgers · no unpaid labels/magnitudes · the frozen branch · given-$E$ · the declared CP-source axiom · the measured floor $\eta_B$ · open-residual discipline.


5. The Gap-10/BG-10 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-10/BG-10 Shape, Nonseparability open-residual discipline CERTIFIED-IRREDUCIBLE · RESOLVED +0 (mechanism legs 0 of 4) a closed negative leg + a pre-registered falsifier "BG-10 is closed / $\eta_B$ is derived" close §10 residuals (all four fixes + assembly)
Frozen branch hashes dcc66f1b2685 / a5b1e6f9d951 Record interface frozen branch AUDIT ONLY the tested object is frozen/read-only "hashes validate the physics"
Measured floor $\eta_B\approx 6.1\times10^{-10}$ (CMB + BBN) Causal order measured floor MEASURED-ANCHOR an input compared once, post-freeze "BG-10 outputs / derives $\eta_B$" — (irreducible floor)
Pre-registered falsifier $\eta_B\in[6.0,6.2]\times10^{-10}$ Record interface open-residual discipline AUDIT / armed one comparison; falsification accepted at $3\sigma$ "the window is a result" run once after CC-1…CC-5
Texture $(O_\nu)^{aa}$ diag, hash 495ddbdcedb9 Shape, Granularity given-$E$ DERIVED-GIVEN-E relative texture is recipe-real (16 figs) "the texture fixes the magnitudes"
Seesaw map $M_\nu^{\rm eff}=-M_D M_R^{-1}M_D^{\mathsf T}$ Invariance given-$E$ GIVEN-E light data pins the combination "light data fixes $M_R$ or $Y_\nu$ alone" break the $N_\nu\!\leftrightarrow\!M_R$ degeneracy
Bare CP factor $q_1(\omega)=e^{2\pi i\omega}=-\kappa\in\mathbb{R}$ Shape, Invariance finite invariant ledger DERIVED-GIVEN-E the bare factor is real (phase $\pi$) "$\tau=\omega$ supplies a CP phase"
Bare zero-CP leg $\mathrm{Im}(H_{12}^2)=0\Rightarrow\varepsilon_1=0$ Invariance, Nonseparability finite invariant ledger DERIVED-GIVEN-E the bare geometry sources zero CP "$\varepsilon_1=0$ is the final $\eta_B$" supply the high-scale CP source
Seesaw degeneracy firewall only $y_\nu^2/M_R$ constrained Granularity no unpaid magnitudes DERIVED-GIVEN-E / CERTIFICATE $Y_\nu$ and $M_R$ are degenerate "a derived $M_R$ alone fixes the Yukawa" input that breaks the degeneracy
6-vs-3 phase firewall 6 high-scale phases, 3 low-energy Invariance open-residual discipline DERIVED-GIVEN-E / CERTIFICATE $\delta_{CP}^\ell$ is walled OUT of the source "$\delta_{CP}^\ell\approx260^\circ$ sets $\varepsilon_1$" — (honesty disclosure)
CP invariant (CC-1) $I_{CP}[Y_\nu,M_R]$ Invariance no unpaid labels AXIOM-OPEN / computation debt the form + invariance proof are writable now "$I_{CP}$ is computed/evaluated" write closed form; prove unique source
High-scale CP phase / $\sigma_\nu$ bit one mod-8 spin-c/Pin bit ($\chi=-3\equiv5$) Shape declared axiom AXIOM-OPEN / RECIPE-ABSENT reduced to one bit; default sign WRONG "the quarter-phase $e^{i\pi/4}$ is derived" blind Gauss-sum, or declare the axiom
$\kappa^3/\pi$ manifest $I_{BG}=(\kappa^3/\pi)\sin(2\theta)$ Invariance no unpaid labels RETRACTED / true-by-construction named as maximal-CP relabel, dismantled "$\kappa^3/\pi$ is the forced invariant" never bank; use as falsification test
Heavy spectrum (Hole #3) $M_R=(M_1,M_2,M_3)$ Shape, Granularity no unpaid magnitudes OPEN / RECIPE-ABSENT named mechanism; band straddles 3 regimes "$M_R=\kappa\,M_U$ is the spectrum" derive blind from $(\tau{=}\omega, N{=}1)$
$\Delta L=2$ washout (CC-2) $\gamma_{\Delta L=2}^{\rm RIS\text{-}sub}(T)$ Causal order open-residual discipline OPEN / computation debt the RIS-subtraction form is stated "the washout rate is banked" RIS-subtracted, CPT-consistent rates
$N_2/N_3$ damping (CC-3) three-state cascade ledger Causal order open-residual discipline OPEN / computation debt only a DIAGNOSTIC floor exists "the diagnostic floor is the result" quantify the damped surviving $Y_{B-L}$
Density-matrix flavor (CC-4) $d\rho_{\alpha\beta}/dz=\dots$ Nonseparability open-residual discipline OPEN / R3 BLOCK flavor-democracy vs 3 eigenvalues is in tension "flavor-diagonal is sufficient" solve, or prove the no-go terminal
Assembly (CC-5) $\eta_B=C_{\rm sph}\,D_{\rm ent}(g_*)\,Y_{B-L}$ Causal order open-residual discipline OPEN / scaffolding only the schematic is illustrative, not banked "S5 may run now" corpus-pin the map; run once after 1–4
Wrong-sign default $-e^{i\pi/4}$ from $\chi=-3$ Shape open-residual discipline OPEN / genuine obstruction structure-first wrong sign (not fitted) "in-family $\Rightarrow$ derived" pin module/sign to $+e^{i\pi/4}$
Window-convention tension $\eta_B=7.04\,Y_B$ band mismatch Record interface open-residual discipline AUDIT / unresolved carried verbatim; read into NO fix "the bands already reconcile" reconcile the two conventions before CC-5
Exit-2 checker mechanized refusal gate Record interface open-residual discipline AUDIT / BLOCKING refuses closure while any of S1–S4 is sub-grade "the checker certifies a value" its correct steady state while OPEN

6. The arithmetic — the bare zero-CP result, in full

This is the cleanest fully-shown fact of the gate. The geometry's only named direct holomorphic factor at the order-three fixed point is $q_1(\omega)=e^{2\pi i\omega}$ with $\omega=e^{2\pi i/3}=-\tfrac12+i\tfrac{\sqrt3}{2}$: $$2\pi i\omega = 2\pi i\Big(-\tfrac12+i\tfrac{\sqrt3}{2}\Big)=-\pi i-\pi\sqrt3,$$ $$q_1(\omega)=e^{-\pi i}\cdot e^{-\pi\sqrt3}=(-1)\cdot e^{-\pi\sqrt3}=-\kappa,\qquad \kappa=e^{-\pi\sqrt3}>0 .$$

So $q_1(\omega)=-\kappa$ is real (numerically $\mathrm{Im}\sim 6\times10^{-18}$, i.e. zero); its phase is $\pi$, not a quarter of $\pi$. If the CP-source entry is proportional to it, $H_{12}\propto q_1(\omega)\in\mathbb{R}$, then $H_{12}^2\in\mathbb{R}$ and $$\mathrm{Im}\big(H_{12}^2\big)=0\ \Longrightarrow\ \varepsilon_1\propto \mathrm{Im}\big(H_{12}^2\big)=0\ \Longrightarrow\ \eta_B=0 .$$ The fixed point $\tau=\omega$ fixes only the magnitude $|H_{12}|\propto\kappa$; it contributes zero CP phase.

The textbook chain — assembled correctly, halted honestly. The intended computation is standard flavored thermal leptogenesis. Each stage is the correct textbook formula and each is guarded — it halts at the first genuinely-missing high-scale numeral: $$\varepsilon_1=\frac{1}{8\pi(Y^\dagger Y)_{11}}\sum_{j\neq1}\mathrm{Im}\big[((Y^\dagger Y)_{1j})^2\big]\,f\!\left(\frac{M_j^2}{M_1^2}\right),\qquad |\varepsilon_1|\lesssim\frac{3}{16\pi}\frac{M_1(m_3-m_1)}{v^2},$$ $$K=\tilde m_1/m_*,\quad \tilde m_1=(Y^\dagger Y)_{11}\,v^2/M_1,\quad Y_B=\frac{28}{79}\,\kappa\,\frac{\varepsilon_1}{g_*^s},\quad g_*^s=106.75,\quad \eta_B=7.04\,Y_B .$$ Every stage is standard and correctly applied; every one halts at a missing high-scale numeral ($\mathrm{Im}[((Y^\dagger Y)_{1j})^2]$, $M_j/M_1$, $(Y^\dagger Y)_{11}$). Without the phases the imaginary part is identically $0\Rightarrow\varepsilon_1=0$; the source is inert. No stage was fabricated through.

Diagnostic — the result is specific, not trivial. The light-sector mass factor is non-zero and reproduces exactly on independent recomputation: $$m_2=\sqrt{\Delta m^2_{21}}=8.596511\times10^{-3}\,\mathrm{eV},\qquad m_3=\sqrt{|\Delta m^2_{31}|}=5.014978\times10^{-2}\,\mathrm{eV}.$$ That the Davidson–Ibarra mass factor $(m_3-m_1)=5.0150\times10^{-2}$ eV is a real, reproducible number while $\varepsilon_1$ is still identically zero is what makes the zero-CP fact a genuine arithmetic obstruction about $E_{\rm frozen}$, not a numerical accident: the magnitudes that decide $\eta_B$ terminate on no derived geometric quantity, even though the light side is fully pinned.

The blind finite-structure (Milgram / Gauss-sum) test. To check whether a quarter-phase $e^{\pm i\pi/4}$ has a structural origin, the Gauss-sum phase of every finite quadratic module the frozen record names is computed, never assuming $\pi/4$ and back-filling: $$\gamma(A,q)=|A|^{-1/2}\sum_{x\in A}e^{2\pi i\,q(x)}=e^{2\pi i\,\sigma/8}\quad(\sigma=\text{signature mod }8).$$

Finite structure (frozen origin) Gauss phase $\gamma$ Verdict
$A_2$ — $SU(3)/T^2=K_6$ root data; disc $\mathbb{Z}_3$, $\sigma=2$ $e^{i\pi/2}=i$ $90^\circ$ — not $e^{i\pi/4}$
$\tau=\omega$ order-3 fixed point; $q_1(\omega)=-\kappa$, real phase $\pi$ magnitude + sign only — no CP phase
$A_1/\mathbb{Z}_2$, $q(1)=\tfrac14$, $\sigma=1$ $(1+i)/\sqrt2=e^{i\pi/4}$ the one source of the needed phase
$\mathbb{Z}_6\cong\mathbb{Z}_2\oplus\mathbb{Z}_3$ $e^{3i\pi/4}$ or $e^{-i\pi/4}$ non-unique — needs a chosen splitting
spin-$\mathbb{C}$ index $-3$ $e^{2\pi i(-3)/8}=e^{-3i\pi/4}=-e^{i\pi/4}$ eighth-root, but the wrong sign

The no-go: the only structure yielding $e^{i\pi/4}$ is $A_1/\mathbb{Z}_2$ — and it is not connected to the active neutrino projectors $P_\pm^\nu$ by any printed map in the frozen record. The projector algebra $P_\pm(\theta)$ is phase-degenerate (idempotent, orthogonal, complete for every real $\theta$), so the algebra cannot pick out $\theta=\pi/4$.


7. The "$\kappa^3/\pi$ manifest" and the CP source, split into honest objects

The single phrase "the geometry derives the leptogenesis CP invariant" hides distinct claims with distinct statuses.

  1. The maximal-CP relabel. Carry the construction with a general phase $\theta$ in the CP-source entry, $H_{12}=a\,e^{-i\theta}$ (keystone magnitude $a=4\kappa/\sqrt3$ fixed): $$H_{12}^2=a^2e^{-2i\theta},\quad \mathrm{Im}(H_{12}^2)=-a^2\sin(2\theta)\ \Longrightarrow\ I_{BG}(\theta)=\frac{\kappa^3}{\pi}\sin(2\theta).$$ Then $I_{BG}=\kappa^3/\pi\iff\sin(2\theta)=1\iff\theta=\pi/4$. So $\kappa^3/\pi$ is the maximum of $I_{BG}(\theta)$, attained only at $\theta=\pi/4$: "the chamber selects $\theta=\pi/4$" means "choose maximal CP." Status: RETRACTED / true-by-construction — a selection, not a derivation; never banked.
  2. The CP-invariant form $I_{CP}[Y_\nu,M_R]$ (a Jarlskog-type rephasing-invariant functional). Status: AXIOM-OPEN / computation debt — the closed form and invariance proof are writable now, but it cannot be evaluated without the recipe-absent $M_R$ and absolute $Y_\nu$.
  3. The high-scale phase / the $\sigma_\nu$ sign bit. The continuum CP phase compresses to one mod-8 spin-c/Pin bit; the default fixed by $\chi=-3\ (\equiv5\bmod8)$ gives $e^{-3i\pi/4}=-e^{i\pi/4}$ — the wrong sign. Status: AXIOM-OPEN / RECIPE-ABSENT.

So the texture is DERIVED-GIVEN-E, the invariant form is writable, the magnitudes and the sign are open, and the $\kappa^3/\pi$ value is true-by-construction. The open target is to derive the phase from a frozen-record-fixed finite Weil/metaplectic structure blindly — never by choosing the structure because it yields $\pi/4$.


8. The structure-first wrong-sign datum (why the residue is real, not fitted)

The most important credibility move is honest, not triumphant. The spin-$\mathbb{C}$ index $-3$ itself produces $e^{-3i\pi/4}=-e^{i\pi/4}$, an eighth-root phase in the same family but with the wrong sign. Eighth-root phases are therefore the natural currency of the frozen record (making $e^{i\pi/4}$ plausible/in-family), yet the default sign points the wrong way for generating the observed asymmetry.

This is the gate's strongest honest asset: the required quarter-phase departs from the target rather than being read off it. A parameter reverse-engineered to hit $\eta_B$ would never come out wrong-signed. The wrong default sign is evidence the residue is a real structural fact, not a fitted knob — and, if the sign is genuinely fixed to $-e^{i\pi/4}$ by the geometry, the bare theory predicts the wrong-sign asymmetry, a falsifying datum honestly reportable. In-family is not derived; plausible is not forced.


9. Open residuals — the four-fix completion family

The bare zero-CP arithmetic and the firewall theorems are the closed negative face of BG-10. These distinct residuals make up the rest, and none is closed by the negative facts. A complete attempt must execute four named, coupled fixes plus an assembly node; the falsifier is defined only on the joint solution.

These are separate rows under one top-level family: the four-fix completion. Partial delivery of any subset does NOT move the ledger off 0/4.


10. Anti-claims (what this page refuses to say)


11. Specialist closure plan

Each open residual is a concrete, finite, target-blind work-package. Binding discipline: derive blind, then compare, accept falsification; never fit to the window $[6.0,6.2]\times10^{-10}$; the $\kappa^3/\pi$ manifest is the true-by-construction cautionary example — dismantle it, never reproduce it. Frozen branch read-only.

  1. High-scale CP phase / $\sigma_\nu$ (Hole #2/#8) — highest leverage. EITHER (path i) supply a frozen-record-fixed finite Weil/metaplectic structure that blindly computes the phase — the sharp checkable conjecture: "the spin-$\mathbb{C}$ lift of the $S^1_Y/\mathbb{Z}_2$ orbifold reflection acts on the neutrino CP two-plane as the $A_1$ Weil representation, yielding $+e^{i\pi/4}$" (pinning away the index's extra minus sign) — OR (path ii) formally declare it a named axiom and downgrade BG-10 to "conditional on a CP-phase axiom." Falsifier: a blind phase $\neq\pi/4$, or $-e^{i\pi/4}$, validates path (ii) and may even disfavor the gate. Same bit moves Gate-5, UQF-4, SG-4 together.
  2. $M_R$ recipe (Hole #3) — the single binding wall. Derive an actual $M_R$ formula/spectrum from $(\tau=\omega,\,N=1,\,R_{T^2,\rm Cartan}=1.710231\times10^{-17}\,\mathrm{GeV}^{-1})$ target-blind; resolve the $\sim231\times$ tension or document it; then check whether the seesaw-fixed Yukawa is forced or free. Falsifier: proving no such recipe exists in the frozen record $\Rightarrow$ $M_R$ is an honestly-named added axiom.
  3. CC-1 $I_{CP}$ (Hole #1). Write $I_{CP}$ as a Jarlskog-type rephasing-invariant functional of $(Y_\nu,M_R)$; prove invariance algebraically; cite the $\varepsilon\leftarrow I_{CP}$ relation. Refuting-but-valid close: prove no basis-invariant functional of the frozen-fixable data alone is non-zero $\Rightarrow$ the CP source is genuinely an added axiom.
  4. CC-2 $\Delta L=2$ washout (Hole #4). Write $\gamma_{\Delta L=2}^{\rm RIS\text{-}sub}(T)=\gamma_{\rm full}-\gamma_{\rm on\text{-}shell\,N}$ with the on-shell-$N$ subtraction shown to avoid double-counting, unitarity/CPT-consistent, named scheme, over the $T_{RH}$ window.
  5. CC-3 $N_2/N_3$ damping (Hole #5). Quantify three-state production–decay rates and inter-state washout $W_{i\leftarrow j}$, superseding (not promoting) the diagnostic floor with the actual damped $Y_{B-L}$.
  6. CC-4 density-matrix flavor (Hole #6). Either prove the flavor-democracy/3-eigenvalue tension is a clean terminal no-go, or solve $d\rho_{\alpha\beta}/dz=S_{\alpha\beta}[I_{CP}]-\{W,\rho\}_{\alpha\beta}-\lambda_Y[\mathrm{decoh}(\rho)]_{\alpha\beta}$ over the equilibration schedule to $Y_{B-L}^{\rm flavored}$.
  7. CC-5 assembly (Hole #7). Deliver the corpus-pinned $B{-}L\to\eta_B$ map (form + factors) and the $3\sigma$-band method, runnable only after CC-1…CC-4 hold; then exactly ONE post-freeze comparison. Inside the window $\Rightarrow$ consistency (not a promotion); outside at $3\sigma\Rightarrow$ BG-10 falsified (decision-grade, accepted).
  8. Window convention (Hole #9). Reconcile $\eta_B=7.04\,Y_B$ and the two bands into one consistent quantity before CC-5; held out of S1–S4.

Closing all of these — in leverage order (1, 2, then 3–6, then 7, with 8 as bookkeeping) — upgrades BG-10 from "negative leg closed, gate open" toward a single falsifiable comparison — and even then, only a comparison, never a derivation of the measured $\eta_B$.


12. Completion tests for this page

Required presence (all met): gate roll-up CERTIFIED-IRREDUCIBLE · RESOLVED +0 (mechanism legs 0 of 4) · the closed negative leg $q_1(\omega)=-\kappa\Rightarrow\varepsilon_1=0$ · its DERIVED-GIVEN-E label · "$\eta_B$ not derived" · frozen hashes (AUDIT ONLY) · the measured floor $\eta_B\approx6.1\times10^{-10}$ (MEASURED-ANCHOR) · the pre-registered falsifier · the $O_\nu$ texture · the seesaw + 6-vs-3 firewalls · every fix CC-1…CC-5 and every Hole as its own row · the blind Gauss-sum table · the wrong-sign datum · the $\kappa^3/\pi$ relabel anti-claim · the firewall anti-claim · the hashes-don't-validate anti-claim.

Required absence (all held): no claim that BG-10 is closed or 0/4 upgraded · $\eta_B$/$\varepsilon$/$M_R$/$Y_\nu$/phase derived · $\kappa^3/\pi$ banked as forced · $\delta_{CP}^\ell$ used as the source · the quarter-phase derived · the diagnostic floor promoted · hashes validate physics · the negative leg sold as whole-gate closure · any open residual asserted computed/closed.


This gate anchor ledger follows the canonical eleven-part shape of the SG-4 ledger and the same universal table.

See also: the anchoring method · the SG-4 ledger (the canonical worked example) · the UQF-4 ledger (which carries the same $\sigma_\nu$ mod-8 spin-c bit) · the Gap-02 ledger (the sibling genuine-open gate) · Layer 2 — no unpaid exact labels (why an in-family phase is not a derived one) · the full Gap-10/BG-10 dossier.