# SG-8 — Flavor Closure (GUT Gate 9): Per-Gate Closure-Attack Dossier

> **What this is.** The closure-attack packet for **SG-8 (Flavor closure / the $F^+$ chamber)** on the **frozen
> 13D K₆ branch ONLY**. It recaps how our geometry closes flavor (concise; the full derivation lives on the
> published site), verifies where the status actually stands, names every open residual, and lays out the
> attack plan to push the gate further. It is **not** a rival comparison (that is `BATTLE_GATES/`), **not**
> the one-line status ledger, **not** a reprint of the manuscript.
>
> **Binding discipline (carry verbatim).** No status was ever upgraded. Frozen branch `dcc66f1b2685` / `a5b1e6f9d951`
> READ-ONLY. Honest throughout: flavor over-determination is **~4× (3.7–4.4×)**, NOT ~5.5× and NOT ~1.6×;
> $N_d/N_e/N_\nu$ are **sector-scale calibration inputs** fitted to $m_b/m_\tau/\Delta m^2$, NOT derived from
> $N_u$ (no $N_d=f(N_u)$ relation exists or is discharged); $M_R$ is **UNKNOWN/open**; the absolute sector
> mass-scales are **anchor-consistency checks** (diagnostic per I.0a.2); the genuine outputs are within-sector
> mass **ratios** + all CKM/PMNS mixings/phases/$J$; the **$F^+$ chamber is the program's weakest link**.
> Closure paths must be **non-target-loaded** (the κ³/π kill-test: a proposed axiom counts only if it would be
> written WITHOUT knowing the target). **given-E ≠ derivation of E.** AXIOM-CLOSED ≠ proven; selection ≠
> derivation; dissolved ≠ solved.

---

## 0. Header & Verdict

| Field | Value |
|---|---|
| **Gate id** | SG-8 — Flavor closure (the $F^+$ chamber) |
| **GUT manuscript gate** | Gate 9 (§6.9; narrative §5.8; certificate `certificates/G09_flavor/`) |
| **Status label (binding)** | **OPEN** |
| **Manuscript card status** | *Certificate-complete under declared assumptions* (the manuscript's own conditional phrasing; OPEN is the honest scoped-GUT roll-up of it) |
| **Frozen hashes it rides** | Branch `dcc66f1b2685` / manifest meta `a5b1e6f9d951`. Chamber primitives: $\tau=\omega$ `03b30a9c931a`; projectors $\Pi_{u,d,e,\nu}$ `3b8d68559f5e`; ladders $a_u$ `e2ef21cecade`, $a_d$ `989edc50b559`; operators $O_u$ `07be17dd8a1c`, $O_d$ `50ef768bb146`, $O_e$ `08ff25117d00`, $O_\nu$ `495ddbdcedb9`; Yukawa map `1f20935643cf`; chamber angle $\theta_F$ `1ff57f48d45a`; normalizations $N_{u,d,e}$ `20dc4e0b8220`; scale constants $\eta_{BK}$ `84e94518d3f5`, $K_{tb}^{\rm crit}$ `c15d00c6f664`; RG transport `f531205a9159`, comparison scale $M_Z$ `a6852c7a6b00`, uncertainty rule `61b0d93507e7`; anchors $y_t$ `548d7099ef18`, $\lvert V_{us}\rvert$ `a1bc510bc7cd`; FCNC no-go `fff4b433b7b3` (op-class `551488d06011`). |
| **Target anchor(s)** | Terminates on the observed **spectrum-E** + measured flavor anchors **$\alpha_i(M_Z)$, $y_t$, $\lvert V_{us}\rvert$** — the genuine outputs (within-sector mass **ratios** + all CKM/PMNS mixings/phases/$J$) are **DERIVED-GIVEN-E** on these. The seesaw scale **$M_R$ has no lab witness** (only $\eta_B$ would pin it = tuning to the known answer, excluded) → **OPEN**; the **absolute sector scales** ($m_b, m_\tau, \Delta m^2$) are **measured-but-irreducible** anchor-consistency diagnostics. See §A "🎯 Target anchor(s) for this gate." |

### 0.1 Abstract — established / open / what would close it

**Established (given-E, given the selected & frozen chamber).** The $F^+$ chamber maps **two declared anchors**
($y_t(M_Z)$, $\lvert V_{us}\rvert$) through **frozen** sector operators $O_{u,d,e,\nu}$ — diagonal at the
order-three modular fixed point $\tau=\omega$, eigenvalues powers of one structural constant
$\kappa=e^{-\pi\sqrt3}\approx4.3286\times10^{-3}$, stepped by the frozen action ladders — into Yukawa matrices,
which are **diagonalized** (not inserted) to give masses, the CKM matrix as the misalignment
$V_{\rm CKM}=U_u^\dagger U_d$, the CP phase **read off the order-three holonomy** ($-2\pi/3$), and the PMNS
sector from $O_\nu$'s second-cycle Berry phase through a Type-I seesaw. The **genuine frozen outputs** are the
**within-sector mass ratios** of all four sectors plus **all CKM/PMNS magnitudes, the Jarlskog $J$, and both
CP phases** — produced by diagonalization with **per-entry tuning structurally forbidden** (family-level
normalizations banned, I.4).

**Open (the honest deductions).** (1) The "2-in / 19+-out (~5.5×)" headline **overstates** the economy; the
honest whole-construction figure is **~4× (3.7–4.4×)**. (2) The per-sector scales $N_d, N_e, N_\nu$ are **not
derived from $N_u$** — they are **calibration inputs**, one per sector, **pinned to $m_b / m_\tau /
\Delta m^2$** respectively; by the manuscript's own I.0a.2 rule a generated output fixed by an output value is
**diagnostic**. (3) The **absolute** sector mass-scales ($m_b$, $m_\tau$, the $\Delta m^2$ scale) are
therefore **anchor-consistency checks**, not independent outputs. (4) The seesaw Majorana scale $M_R$ is
**UNKNOWN/open** — asserted-derived but never computed (no value, no formula, no hash). (5) $m_u$ sits at the
disclosed **~4.4σ** weakest link (rigid-ladder, no $m_u$ anchor). (6) The comparison harness (J.6/K.5 CSV
mount + `reproduce_all.py`) is **AUDIT** pending the table mount. (7) The whole gate downgrades to
*Diagnostic only* if any Flavor-Lock row is violated.

**What would close it (the ladder).** DERIVED-CLOSED would require a target-blind derivation that *eliminates*
at least one of the four sector scales and $M_R$ as inputs — e.g. an actual $N_d=f(N_u,\,\text{geometry})$
relation, or a computed $M_R$ from chamber data — without a new tuning. The realistic ceiling per residual is
**AXIOM-CLOSED**: name one explicit, target-blind posit (e.g. "the seesaw scale is the chamber's UV reference
$M_U$"; "sector scales are fixed by the chiral-anomaly inflow of each projector") that pays the debt in plain
sight. The most likely honest outcome on several residuals is **sharper-OPEN**.

### 0.2 Website source-of-truth (link, don't duplicate)

The full construction, the worked two-anchor fixing, the per-observable certificate tables, and the freeze
records are the **published manuscript**, Paper I:

- **GUT.html §6.9** (Gate-9 card) — <https://physics.magflowmeters.com/articles/GUT.html>
- **§5.8** narrative module; **§7** Flavor Executive Summary; **§8** "The Fixing"; **Appendix CR9** reader
  companion; **Appendices I / J / K** (chamber / quark / lepton-neutrino certificates); **Appendix R0 / R1**
  (freeze records + frozen parameter manifest). Same public article.
- Downstream Λ cross-reference (does not touch this gate): Paper IV, TOE.html —
  <https://physics.magflowmeters.com/articles/TOE.html>.

This dossier recaps only what is needed to attack; the site controls all common material.

---

## 1. How OUR geometry closes flavor — the closure claim (concise)

> Full derivation: **GUT.html §6.9 + §7 + §8 + Appendices I/J/K + CR9**. This section is the attack-grade
> recap, not the derivation.

### 1.1 The mechanism end-to-end

The flavor sector is generated by the **finite flavor chamber $F^+_{\rm finite}$** — a **non-metric
$\oplus$-layer object** (it contributes **0 of the $D=13$** propagating dimensions and carries **no KK tower**;
CR9.3 / I.8a). It augments the SM-routing backbone $K_{\rm gauge}=K_6\times S^2\times S^1_Y/\mathbb{Z}_2$ with
exactly the structure needed to turn three identical-charge families into structured Yukawa operators. The
pipeline is one forward chain (§7.3):

```
 (y_t , |V_us|)  --calibrate-->  F+  --frozen ops-->  O_{u,d,e,ν}
   --Yukawa map-->  Y_{u,d,e,ν}  --diagonalize & RG-->  {m_q, V_CKM, J, m_ℓ, U_PMNS}
```

The load-bearing factors, named so a reader can attack each:

1. **Generation module $\mathcal{G}_{\rm gen}=\mathrm{span}\{g_1,g_2,g_3\}$** — dimension 3 **inherited** from
   the spin-ℂ Borel–Weil–Bott family index $\chi(K_6,E)=-3$ of SG-3 (Gate 4). No independent per-family
   multiplicity is introduced. (Attack handle: the family count is *given-E*; SG-8 inherits SG-3's
   conditionality.)
2. **Modular fixed point $\tau=\omega=e^{2\pi i/3}$** (`03b30a9c931a`), inherited frozen from SG-6
   (stabilization, Weyl-rigid chamber). At this order-three fixed point the operators are **diagonal** in the
   canonical chamber basis and the **CP phase is forced** to the third-root-of-unity holonomy. (Attack handle:
   $\tau=\omega$ is **read from a minimum** — it shares SG-6's "θ read from a minimum" soft spot.)
3. **Sector projectors $\Pi_u,\Pi_d,\Pi_e,\Pi_\nu$** (`3b8d68559f5e`) — orthogonal ($\Pi_i\Pi_j=\delta_{ij}\Pi_i$),
   determined by group theory, decomposing the chiral mode space into the four sectors.
4. **Action ladders** $a_u=(2,1,0)$ (`e2ef21cecade`), $a_d=(4/3,2/3,0)$ (`989edc50b559`), each selected
   **lex-minimally, target-blind** on its declared Dynkin/ladder family ($A_2$ for up, affine $\tilde A_2$ for
   down). The charged-lepton ladder $a_e=(2,4/3,0)$ is structural (from $a_d$ + the leptonic charge triplet
   $(-1,0,+1)$ under $\mathbb{Z}_3$). $O_\nu$ carries the **second-cycle Berry phase $+2\pi/3$** on the $A_2$
   root system. (Attack handle: lex-min selection over a *declared* family is selection-inside-a-category, not
   forcedness across all rational ladders.)
5. **The single structural constant $\kappa=e^{-\pi\sqrt3}\approx4.3286\times10^{-3}$.** Every within-sector
   mass step is a power of $\kappa$: up ratios $m_t/m_c=m_c/m_u=e^{\pi\sqrt3}\approx231$; down ratios
   $m_b/m_s=m_s/m_d=e^{2\pi\sqrt3/3}\approx38.5$. **This is the genuine prediction:** the hierarchies are
   *forced*, not fit. The chamber operators are
   $(O_s)^{aa}=N_s\,\kappa^{a_s^{(a)}}$ at $\tau=\omega$.
6. **The deterministic Yukawa map** (`1f20935643cf`):
   $$ (Y_s)^{ab}=N_s\,\langle g_a\mid O_s\mid g_b\rangle,\qquad s\in\{u,d,e,\nu\}. $$
   $N_s$ is **sector-level only**; family-level $N_{s,a}$ are **explicitly forbidden** (I.4) — this is the
   operational anti-fitting firewall. Phases are read from holonomy; not retunable.
7. **Diagonalization, not insertion.** $U_s^\dagger Y_sY_s^\dagger U_s=D_s^2$; $V_{\rm CKM}=U_u^\dagger U_d$
   ($U_u=\mathbb{1}_3$ at $\tau=\omega$; $U_d$ = DFT-on-$\mathbb{Z}_3$ rotated by the **single** chamber angle
   $\theta_F$); $U_{\rm PMNS}=U_e^\dagger U_\nu$. The CKM is the **misalignment of two frozen
   diagonalizations**, not an inserted unitary.

### 1.2 What "closed" means here, and its conditionality

"Closed" for SG-8 is **parameter-counted compression under declared assumptions** — strictly **not** a
zero-input derivation, **not** "CKM solved," **not** "complete flavor theory." It is conditional on:

- **given-E** — the SM chiral content (and the family index $-3$) supplied as input from SG-2/SG-3; SG-8 does
  not derive E.
- **given-the-selected-geometry** — the frozen 13D K₆ branch and the *selected* $F^+$ chamber; the chamber is
  selected-inside-a-declared-category, not proven unique.
- **given-the-anchors** — two declared calibration inputs ($y_t\to N_u$; $\lvert V_{us}\rvert\to\theta_F$),
  counted, plus (honestly) **three more sector scales** $N_d,N_e,N_\nu$ and the **uncomputed** $M_R$.

**The genuine, defensible content** (the part that survives the honest accounting):

| Genuine output (frozen-ladder / frozen-holonomy prediction) | Mechanism |
|---|---|
| Within-sector **mass ratios**, all four sectors | $\kappa^{a_s^{(a)}}$ powers; no per-family knob |
| All **CKM magnitudes** except the $\lvert V_{us}\rvert$ anchor | $U_u^\dagger U_d$ misalignment, one angle $\theta_F$ |
| $\delta_{\rm CKM}$, **Jarlskog** $J_{\rm CKM}$ | order-three holonomy, read not fit |
| **PMNS** angles + leptonic CP phase $\delta_{CP}^\ell$ | $U_e^\dagger U_\nu$; second-cycle Berry phase |
| $\Delta m^2_{21}/\lvert\Delta m^2_{32}\rvert$ **ratio** | frozen $O_\nu$ |

**The conditional / non-genuine content** (calibration in disguise, per I.0a.2):

| Quantity | Honest reality |
|---|---|
| $m_b$ absolute | **anchor-consistency check** — $N_d$ is pinned to it |
| $m_\tau$ absolute | **anchor-consistency check** — $N_e$ is pinned to it |
| $\Delta m^2$ absolute scale | **anchor-consistency check** — set by $N_\nu^2/M_R$; $M_R$ UNKNOWN |
| $m_t$ absolute | **anchor-consistency check** — $m_t=y_t\,v/\sqrt2$, the $y_t$ anchor as a mass |

So the precise statement of closure: **the chamber genuinely predicts within-sector hierarchies + all
mixing/phase data from two anchors; the absolute mass scale of each sector is a tuned normalization, one scale
per sector — legitimate standard physics, but NOT "derived from $N_u$" and NOT "one knob per observable."**

---

## 2. Verify the status — is OPEN real?

This is the verification a skeptic would run. Each witness gets a grade — **hand-checkable** /
**symbolic** / **machine-lane** — and an honest **reproduces?** flag.

### 2.1 The witness ledger

| # | Witness | What it asserts | Grade | Reproduces? |
|---|---|---|---|---|
| W1 | **Frozen ladders** $a_u=(2,1,0)$, $a_d=(4/3,2/3,0)$, $a_e=(2,4/3,0)$ | within-sector ratios are powers of $\kappa$, no per-family knob | hand-checkable | **Yes** — ratios $e^{\pi\sqrt3}\!\approx\!231$ (up), $e^{2\pi\sqrt3/3}\!\approx\!38.5$ (down) recompute by hand from $\kappa$ |
| W2 | **Chamber operators** $O_{u,d,e,\nu}$ diagonal at $\tau=\omega$ | $(O_s)^{aa}=N_s\kappa^{a_s^{(a)}}$; full 16-sig-fig values in A1.13 | symbolic | **Yes for the diagonal entries** given $N_s$; the entries are the frozen R1.6 values |
| W3 | **Per-observable pull table** J.6 (quark) | every certified row pull < ~1.6σ except $m_u$ | machine-lane | **AUDIT** — table values present in manuscript; byte-equal CSV mount (`appendix_I_quark_outputs.csv` `661bbe085fc5`) referenced but not independently re-run here |
| W4 | **Per-observable pull table** K.3/K.5 (lepton/ν) | charged-lepton ratios + PMNS + $\delta_{CP}^\ell$ in band | machine-lane | **AUDIT** — `appendix_J_lepton_neutrino_outputs.csv` `6959d274dfe2`; "Pass-C chamber-rotation fix" claims byte-equal regeneration, not re-run here |
| W5 | **Two-anchor economy** (I.0.2, J.7) | 2 declared inputs vs ≥19 outputs; strict inequality | hand-checkable | **Yes (strict inequality)**; **but** the headline ratio is corrected (see W9) |
| W6 | **$\mathbb{Z}_3$ / order-three holonomy** → $\delta_{\rm CKM}=-2\pi/3$ | CP phase forced, not fit | hand-checkable | **Yes** — $-120°$ raw; Wolfenstein-aligned $+60.0°$ vs PDG $65.5°$ (0.79σ) |
| W7 | **Flavor Lock Table** (I.0a.1) | no output used to select chamber structure | symbolic/audit | **Conditional** — an auditable *claim*, not a theorem; falsifiable, not proven |
| W8 | **Freeze hashes** + meta-hash `a5b1e6f9d951` | every chamber object content-addressed before comparison | machine-lane | **Yes in principle** (re-hash R1.6 rows + recompute meta-hash); not re-run here |
| W9 | **I.0.2 honest-margin caveat** | whole-construction compression ≈ **4× (3.7–4.4×)**, not 5.5×, not 1.6× | hand-checkable | **Yes** — 22 outputs / ~5.5 effective inputs ≈ 4×; this is the authoritative figure |

### 2.2 What reproduces, plainly

- **The ratios reproduce by hand.** Given $\kappa=e^{-\pi\sqrt3}$ and the integer/rational ladders, the
  within-sector ratios fall out with no further input. This is the strongest, most defensible leg.
- **The CP phase reproduces by hand.** $\delta_{\rm CKM}=-2\pi/3$ is the third-root-of-unity holonomy; the
  Wolfenstein-aligned $+60.0°$ vs PDG $65.5°\pm1.5°$ is a 0.79σ pull at the declared ~10% structural
  precision. Not adjustable.
- **The strict inequality (inputs < outputs) holds**, but the **honest compression is ~4×, not ~5.5×.** The
  manuscript's own I.0.2 honest-margin caveat already carries this correction verbatim — counting the
  non-anchor reals ($N_d,N_e,N_\nu$, the $\theta$'s) and the uncomputed $M_R$, the whole-construction figure
  is ~22 out from ~5–6 effective in.

### 2.3 What does NOT yet reproduce (honest gaps in the status)

- **W3/W4 numerical harness is AUDIT.** The J.6 / K.5 tables and their byte-equal CSVs are *referenced*; the
  load-bearing executable check (`reproduce_all.py` regenerating the CSVs byte-equal) is the same class of
  "absent reproduction harness" flagged for SG-7's δ-triple. Until the CSVs are mounted and re-run
  target-blind, "every J.6/K.5 value regenerates from the frozen hashes" is **declared-not-independently-verified
  here.**
- **$M_R$ does not reproduce — it does not exist.** No value, no formula, no hash. The absolute neutrino scale
  cannot be reproduced because the object that sets it is uncomputed.
- **The "$N_d/N_e/N_\nu$ derived from $N_u$" label does NOT reproduce.** There is no $N_d=f(N_u)$ anywhere in
  GUT.md; the L13675 promise "it arrives from the geometry" is never discharged in CR9.5–9.14 or App I/J/K.
  The operative definitions are self-incriminating: `N_d = 0.024 (defined to set m_b to its target)`,
  `N_e = 0.0102 (chosen such that m_τ matches its target)`. The manuscript's current I.0a.1 row already
  relabels these as **"sector-scale calibration inputs."**

### 2.4 Why OPEN (not higher, not lower)

- **Not DERIVED-GIVEN-E** (the SG-2/SG-3 tier): SG-8 is not a rigid integer/representation recovery. It has
  fitted sector scales, an uncomputed $M_R$, a ~4.4σ row, and an AUDIT harness — too many open residuals for
  the DERIVED tier.
- **Not OPEN/DECLARED-FROZEN:** the genuine wins are real and non-trivial — within-sector hierarchies + all
  mixings/phases ARE frozen-ladder predictions with non-trivial pulls (e.g. $\lvert V_{cb}\rvert$ 0.005σ,
  $J_{\rm CKM}$ 0.21σ). The compression is well clear of reparameterization.
- **OPEN is exactly right:** genuine ratio/mixing predictions, conditional absolute scales, named open
  residuals, a downgrade rule with teeth. This matches the SCOPED_GUT ledger SG-8 line verbatim.

---

## 3. The attack surface — what to attack (ranked by leverage)

Every open residual as a named object with its precise obstruction. **Leverage** = how much closing it moves
the gate (and how much it shrinks the input count).

### 3.1 The residual register

| ID | Residual (named object) | Precise obstruction | Status | Leverage |
|---|---|---|---|---|
| **R1** | **$F^+$ "is the chamber a real derivation or compressed curve-fit?"** | The program's self-named weakest link (Known Weakest Links row 1; §7 opening). The whole gate's force rests on the chamber being a frozen *derivation*, not a curated rulebook. If the chamber's *selection* (which ladders, which projectors, which $\tau$) was shaped by knowing the flavor pattern, the lock claim falls and Gate 9 → *Open/not claimed*. | OPEN (the meta-residual) | **HIGHEST** — it conditions every other claim |
| **R2** | **$N_d, N_e, N_\nu$ as fitted sector scales** | Defined to set $m_b/m_\tau/\Delta m^2$; **no $N_d=f(N_u)$** exists or is discharged. Three floating inputs masquerading as "derived." | OPEN (relabel done; derivation absent) | **HIGH** — each is a full input; deriving even one shrinks the count |
| **R3** | **$M_R$ UNKNOWN/open** | Seesaw Majorana scale asserted-derived (L9580/L9683) but **never computed** — no value, formula, or hash. A 4th floating input; blocks the absolute neutrino scale. | OPEN | **HIGH** — closes the absolute-ν-scale leg + removes a hidden input |
| **R4** | **The over-determination headline ~4× vs the ~5.5× overclaim** | The corpus flagship "2-in / 19+-out (~5.5×)" overstates; the honest figure is **4× (3.7–4.4×)**. (The ~1.6×/~14-in over-correction is *also* wrong — it treats frozen ratios as independently injected, which the family-level-normalization ban forbids.) | DISCLOSED (correction known, staged) | **MEDIUM** — honesty/claim-boundary, not new physics |
| **R5** | **Absolute $m_b$, $m_\tau$, $\Delta m^2$ as diagnostics** | By I.0a.2 (a generated output fixed by an output value is calibration in disguise) these are **anchor-consistency checks**, not independent outputs. They must not be counted as predictions. | DISCLOSED (correct labeling already in J.6/K.3/K.5) | **MEDIUM** — keeps the count honest |
| **R6** | **$m_u$ at ~4.4σ** | Rigid up-ladder $\mathrm{diag}(\kappa^2,\kappa^1,1)$ forces $m_u$ once $N_u$ is pinned; no $m_u$ anchor. Largest pull in the sector. | DISCLOSED (declared weakest output) | **LOW-MEDIUM** — a genuine prediction-vs-data gap; either a falsifier or an RG/threshold effect |
| **R7** | **J.6 / K.5 numerical comparison harness AUDIT** | `reproduce_all.py` + the byte-equal CSV mount referenced but not independently re-run; same class as the SG-7 absent-harness flag. | AUDIT | **MEDIUM** — required for "Certificate-complete" to be machine-real |
| **R8** | **$\tau=\omega$ read from a stabilization minimum** | The order-three fixed point is *inherited* from SG-6, where it is read from a $V$-minimum, not independently derived. The CP phase and diagonality both depend on it. | OPEN (inherited from SG-6) | **MEDIUM** — shared with SG-6; not unique to flavor |
| **R9** | **Lex-min ladder selection is category-relative** | $a_u,a_d$ are lex-min over a *declared* ladder family ($A_2$ / affine $\tilde A_2$); forcedness across all rational ladders is not proven. | OPEN | **LOW-MEDIUM** — selection ≠ derivation |
| **R10** | **Octant / $\delta_{CP}^\ell$ band-dependence (AUDIT-adjacent)** | $\sin^2\theta_{23}=0.4493$ is frozen lower-octant (4.60σ vs upper-octant central → Diagnostic); $\delta_{CP}^\ell\approx260.2°$ sits inside but near the edge of the NuFIT band. DUNE/JUNO is the live falsifier. | DISCLOSED (Diagnostic for UO) | **LOW** — experiment will decide; no internal action |

### 3.2 Leverage ranking (attack order)

1. **R1** (chamber-is-a-fit meta-residual) — conditions everything; the single highest-value target.
2. **R2** (the three sector scales) — three full inputs; the largest count-shrink available.
3. **R3** ($M_R$) — removes a hidden input + closes the absolute-ν-scale leg.
4. **R7** (harness AUDIT) — cheapest to close (owner artifact); makes "certificate-complete" machine-real.
5. **R4 / R5** (headline + diagnostic labeling) — honesty corrections, already staged.
6. **R6 / R8 / R9 / R10** — disclosed weakest links / inherited / category-relative / experimental.

> **The cardinal honest point.** R2 and R3 are where the "~4×" lives. If a closure path *introduces a new
> tuning* to derive $N_d$ or $M_R$, it has **relocated** the input, not removed it — the κ³/π kill-test
> applies in full force here. R4/R5/R7 are the *non-physics* residuals (accounting + reproducibility); closing
> them improves honesty and machine-reality but **moves no input count**.

---

## 4. THE ATTACK PLAN — closure paths (the core)

For each residual: the **technique** (closure playbook T1 axiom-floor / T4 no-go / T5 firewall / T6
all-operator-conditional / T7 eliminative / T10 selector), the **named axiom it could reduce to** (stated so it
would be written WITHOUT the target value — the κ³/π kill-test), the **specialist target** (theorem to hand
off) or the **owner artifact** (CSV/ruling/computation) needed, the **math to attempt**, and the **success
ladder** (DERIVED-CLOSED rare → AXIOM-CLOSED likely → sharper-OPEN → REFUTED).

---

### 4.1 R1 — The $F^+$ chamber: derivation or compressed curve-fit? (the weakest link)

**Why first.** Every other SG-8 claim is conditional on the chamber being a *frozen derivation* whose
selection was not shaped by the flavor data. If R1 falls, the gate goes to *Open/not claimed*, not merely
*Diagnostic*.

**Technique: T5 (no tuning to the known answer firewall) + T10 (selector).** R1 is exactly the question the Flavor Lock
Table (I.0a) is built to answer, but the Lock Table is an *auditable assertion*, not a proof. The firewall must
test, for each chamber datum, whether it has a **target-blind selection record** independent of any flavor
observable.

**The firewall, datum by datum:**

| Chamber datum | Selection record | Target-blind? | Firewall verdict |
|---|---|---|---|
| $\tau=\omega$ | order-three modular fixed point; inherited from SG-6 stabilization | **structurally yes** (a fixed point, not data) — but **read from a minimum** (R8) | PASS on selection; tainted by R8 inheritance |
| $a_u=(2,1,0)$, $a_d=(4/3,2/3,0)$ | lex-min on a *declared* ladder family | **yes within the family** (R9); not across all ladders | PASS-within-category |
| $\Pi_{u,d,e,\nu}$ | group theory | yes | PASS |
| $\theta_F$ | calibrated by $\lvert V_{us}\rvert$ | declared anchor (counted) | calibration, declared |
| $N_u$ | calibrated by $y_t$ | declared anchor (counted) | calibration, declared |
| **$N_d,N_e,N_\nu$** | **pinned to $m_b/m_\tau/\Delta m^2$** | **NO** | **FAIL — outputs used to set them** (this is R2) |

**Named axiom it could reduce to (κ³/π-clean).** The honest reduction is **not** a closure of R1 but a clean
statement of what R1 reduces to once R2/R8/R9 are separated out:

> **AXIOM-FPLUS-LOCK** (target-blind form): *"The chamber's structural data — modular fixed point, sector
> projectors, and action ladders — are selected by the geometry's symmetry data (order-three modular symmetry,
> coset group theory, lex-min on the declared root system) and are independent of every flavor observable; the
> ONLY data-calibrated quantities are the two declared anchors."*

This is writable without knowing any flavor number — it is a statement about *which knobs exist*, not their
values. **But it is FALSE as stated** for $N_d,N_e,N_\nu$ (they are flavor-calibrated), so the axiom must be
**weakened** to exclude the sector scales — which is exactly conceding R2. The honest endpoint:

> **AXIOM-FPLUS-LOCK (weakened, true):** structural data (τ, Π, ladders) are flavor-blind; **anchors + sector
> scales** (5–6 reals) are flavor-calibrated. The genuine predictions are the ratios + mixings.

**Specialist target (to hand off).** A **target-blind reconstruction theorem**: "Given only the geometry's
symmetry data (no flavor observables), the lex-min selector on the declared root system returns
$a_u=(2,1,0)$, $a_d=(4/3,2/3,0)$ uniquely." If a specialist can prove the ladders are *forced* by the root
system (not merely lex-min-selected within a hand-declared family), R9 closes and the lock claim strengthens
from assertion to theorem **for the ladders**.

**Math to attempt.** Run the lex-min selector **target-blind** over the *full* rational $A_2$ / affine
$\tilde A_2$ ladder space (not the pre-declared shortlist) and confirm $(2,1,0)$ / $(4/3,2/3,0)$ are the
unique lex-min representatives. Check sensitivity: does any neighboring ladder reproduce the ratios within the
declared band? If yes, the ladders are *not* uniquely forced and R9 stays open.

**Success ladder.**
- DERIVED-CLOSED: ladders proven forced by the root system + Lock Table proven (no flavor observable shaped any
  structural datum). **Unlikely** — universal-negative on "no datum was ever shaped" is unreachable.
- **AXIOM-CLOSED (likely):** AXIOM-FPLUS-LOCK (weakened) named; the structural data flavor-blind, the 5–6
  scales conceded as calibration. This is the honest ceiling and is essentially **already where the corrected
  manuscript stands.**
- sharper-OPEN: ladder-forcedness theorem fails → R9 explicitly open.
- REFUTED: a flavor observable is shown to have shaped τ, Π, or a ladder → Gate 9 → *Open/not claimed*.

**Honest disposition: AXIOM-CLOSED at the weakened axiom; R1 as "the whole chamber is a derivation" stays
OPEN.** The chamber is a derivation **of the ratios and mixings**, and a calibration **of the absolute
scales** — and saying so precisely is the closure, not a higher claim.

---

### 4.2 R2 — $N_d, N_e, N_\nu$ as fitted sector scales (the largest count-shrink)

**The target without loading.** Three sector scales, currently inputs. Closing R2 means **deriving** at least
one from geometry + the already-counted anchors, **without a new tuning**. The number each must reproduce
**without a new knob**: $N_d$ must yield $m_b(M_Z)=2.89$ GeV (i.e. $\lvert y_t/y_b\rvert\approx58$); $N_e$ must
yield $m_\tau(M_Z)=1746$ MeV; $N_\nu^2/M_R$ must yield $\Delta m^2_{21}=7.42\times10^{-5}\,\mathrm{eV}^2$.

**Technique: T1 (axiom-floor) for the genuine path; T2-guarded relabel for the honest fallback.** There are
two candidate closure routes, and the κ³/π kill-test decides between them.

**Route A (the between-sector determinant — the one real lead).** The manuscript already routes
$\lvert y_t/y_b\rvert$ through the **frozen Wilson-line finite determinant** (the same object that produces $v$
and $m_h$ at Gate 8), via frozen constants $\eta_{BK}$ (`84e94518d3f5`) and $K_{tb}^{\rm crit}=e^{-\pi\sqrt3/16}$
(`c15d00c6f664`), landing at $\lvert y_t/y_b\rvert(M_Z)=57.50\approx58$. **If this determinant genuinely fixes
$N_d/N_u$ target-blind, then $N_d$ is NOT a free input** — it is the geometry's between-sector ratio.

- **Specialist target:** prove $N_d/N_u = g(\eta_{BK}, K_{tb}^{\rm crit})$ **target-blind** — i.e. that
  $\eta_{BK}$ and $K_{tb}^{\rm crit}$ were frozen from Gate-8 geometry *before* and *independently of* the
  $m_b$ value, and that $g$ returns $0.024$ (= $N_d$ at $N_u=1$) without $m_b$ in its inputs.
- **κ³/π kill-test:** PASS only if $\eta_{BK}$ and $K_{tb}^{\rm crit}$ are demonstrably target-blind. **Current
  status: SUSPECT.** $K_{tb}^{\rm crit}=e^{-\pi\sqrt3/16}$ is suspiciously the right magnitude; the kill-test
  demands a record that it was written from the Wilson-line geometry, not reverse-engineered from
  $\lvert y_t/y_b\rvert\approx58$. **If reverse-engineered, this is the κ³/π-manifest cautionary pattern (true
  by construction) and Route A RELOCATES.**
- **Math to attempt:** recompute $\eta_{BK}$ and $K_{tb}^{\rm crit}$ from the Gate-8 Wilson-line finite
  determinant from scratch, target-blind, and check whether $N_d=N_u\cdot g(\cdot)$ falls out. This is a clean,
  bounded computation handed to the Gate-8/threshold specialist.

**Route B (chiral inflow — a fresh, target-blind idea).** Each sector projector $\Pi_s$ has an associated
anomaly-inflow / index on its sub-bundle. **Conjecture:** the sector scale $N_s$ is fixed by the
chiral-anomaly inflow of $\Pi_s$ (a topological integer ratio), not by the mass it produces.

- **Named axiom (κ³/π-clean):** **AXIOM-SECTOR-SCALE-INFLOW** — *"the sector normalization $N_s$ equals the
  ratio of the chiral-index density of $\Pi_s E$ to that of $\Pi_u E$."* Writable with **no** flavor number in
  sight (it references only bundle indices). PASSES the kill-test **by construction of the statement** — the
  test is then whether it *yields* $0.024 / 0.0102 / \ldots$.
- **Math to attempt:** compute the spin-ℂ index density on each $\Pi_s E$ sub-bundle and form the ratios.
  Compare to $0.024$ (down), $0.0102$ (lepton). **Prediction is target-blind:** if the index ratios miss, the
  axiom is **REFUTED** (a structure-first datum departing from the target — the good kind of negative).

**Success ladder for R2.**
- DERIVED-CLOSED: Route A proven target-blind → $N_d$ removed as input (count shrinks by 1; ~4× → larger).
  **Possible but gated on the $\eta_{BK}/K_{tb}^{\rm crit}$ provenance.**
- AXIOM-CLOSED: AXIOM-SECTOR-SCALE-INFLOW named and *verified to yield the values* → all three scales reduced
  to one topological posit. **Best realistic outcome.**
- sharper-OPEN: Route A provenance is reverse-engineered (RELOCATES) and Route B index ratios miss → R2 stays
  three named calibration inputs, honestly labeled.
- REFUTED: inflow ratios computed target-blind and they miss the values → axiom dead, R2 confirmed as fits.

**Honest disposition: OPEN, with two concrete attempts (Route A determinant-provenance audit; Route B inflow
computation), both target-blind, both falsifiable.** Do **not** bank Route A until the $K_{tb}^{\rm crit}$
provenance passes the kill-test.

---

### 4.3 R3 — $M_R$ UNKNOWN/open (the 4th floating input)

**The obstruction.** $M_R$ (the heavy Majorana scale in $M_\nu^{\rm eff}=-M_D M_R^{-1}M_D^T$,
$M_D=N_\nu\langle g_a\mid O_\nu\mid g_b\rangle$) is **asserted** "fixed by the chamber's Cartan-torus modulus
and spin-ℂ flux $N=1$" but **never computed**: no value, no closed form, no hash. It is the single cleanest
open object in the gate.

**Technique: T1 (axiom-floor) — name the scale; or T7 (eliminative) — rule out the candidates.**

**Candidate identifications (each writable target-blind):**

| Candidate axiom | Statement (κ³/π-clean) | Test it must pass without a new knob |
|---|---|---|
| **AXIOM-MR-IS-MU** | $M_R = M_U \approx 10^{16}$ GeV (the threshold-unification scale of SG-7) | yield $\Delta m^2_{21}=7.42\times10^{-5}\,\mathrm{eV}^2$ via $N_\nu^2/M_R$ with $N_\nu$ already fixed by the ratio |
| **AXIOM-MR-IS-R0INV** | $M_R = R_0^{-1}$ (the compactification scale, $R_0=1.592\times10^{-17}\,\mathrm{GeV}^{-1}$) | same |
| **AXIOM-MR-FLUX** | $M_R = M_U\cdot f(N{=}1, \tau{=}\omega)$ (chamber flux + modulus) | same, with $f$ computed not fit |

**The decisive check (do this first).** Given $N_\nu$ pinned by the $\Delta m^2$ **ratio** (a genuine output)
and the **measured** absolute splitting, **invert** for the *required* $M_R$: $M_R^{\rm req}=N_\nu^2 /
(\text{abs }\Delta m^2)$. Then ask: does $M_R^{\rm req}$ coincide (within an order of magnitude) with $M_U$,
$R_0^{-1}$, or a clean chamber flux scale? **This is the κ³/π pivot:** if $M_R^{\rm req}$ lands on a frozen
scale the geometry *already* committed (e.g. $M_U$ from SG-7), AXIOM-MR-IS-MU is a genuine target-blind
closure. If $M_R^{\rm req}$ lands nowhere clean, every candidate RELOCATES (a new tuned scale).

> **Caution from the corpus.** MEMORY records a parallel candidate $M_R=\kappa M_U$ that is **~231× off the
> corpus κ⁰** — flagged as a candidate-in-tension. The inversion above must be run **before** adopting any
> $M_R$ identity, precisely to avoid banking a tuned $\kappa$-power.

**Math to attempt.** (1) Extract $N_\nu$ from the frozen $\Delta m^2$ ratio (genuine output). (2) Invert for
$M_R^{\rm req}$ from the measured absolute splitting. (3) Compare $M_R^{\rm req}$ against the frozen scale set
$\{M_U, R_0^{-1}, M_{\rm Pl}\}$ and clean chamber-flux multiples. (4) Adopt the matching identity **only** if
the match is parameter-free.

**Specialist target.** Hand the neutrino specialist: "Compute $M_R$ from the chamber Cartan-torus modulus +
$N=1$ flux as asserted in K.4, target-blind, and report whether it matches $M_R^{\rm req}$." Either it
discharges the assertion (DERIVED) or it shows the assertion is empty (confirming R3 OPEN).

**Success ladder.**
- DERIVED-CLOSED: chamber computation yields $M_R$ matching $M_R^{\rm req}$ parameter-free → absolute ν scale
  becomes a prediction; R3 closes; one hidden input removed.
- AXIOM-CLOSED: $M_R^{\rm req}$ lands on $M_U$ (or $R_0^{-1}$) cleanly → AXIOM-MR-IS-MU named; ν absolute scale
  reduced to SG-7's scale (no new knob). **Promising and cheap to test.**
- sharper-OPEN: $M_R^{\rm req}$ lands nowhere clean → R3 stays UNKNOWN; absolute ν scale stays
  anchor-consistency check.
- REFUTED: chamber computation gives a definite $M_R$ that *misses* $M_R^{\rm req}$ → the K.4 assertion is
  false; absolute ν scale is a genuine prediction-vs-data failure.

**Honest disposition: OPEN, but the most tractable target in the gate** — the inversion test is a half-day
computation and could reach AXIOM-CLOSED (AXIOM-MR-IS-MU) if the scales coincide. **Run the inversion before
adopting any identity.**

---

### 4.4 R4 — The over-determination headline (~4×, not ~5.5×, not ~1.6×)

**This is an honesty/claim-boundary residual, not physics.** No closure path "solves" it; the task is to
**state the correct number** and bind it.

**Technique: T2-guarded restatement (no relocation).** The authoritative figure is **~4× (3.7–4.4×)**:
~22 outputs from ~5–6 effective inputs (2 anchors + 3 sector scales + UNKNOWN $M_R$). The two wrong numbers:

- **~5.5× overclaim** = the "4-in / 22-out" reading that pretends only the anchors are inputs.
- **~1.6× over-correction** = the "~14-in" reading that treats frozen within-sector ratios as *independently
  injected* — which the genuine family-level-normalization ban (I.4) **forbids**. Over-correcting is as
  dishonest as overclaiming.

**Action (countersign-gated; nothing applied here, No status was ever upgraded):** restate the economy headline as
"**~22 outputs from ~5–6 effective inputs ≈ 4×**" wherever the ~5.5× headline appears. The manuscript's own
I.0.2 honest-margin caveat **already carries this** — so the residual is "propagate the corrected number to
the headline," an owner edit, not a derivation.

**Success ladder.** AXIOM-CLOSED is not applicable (no axiom). The endpoint is **DISCLOSED-CORRECTED**: the
~4× figure stated, both wrong numbers explicitly retired. **This is the cleanest, lowest-risk win in the
gate** and requires only an owner countersign.

---

### 4.5 R5 — Absolute $m_b$, $m_\tau$, $\Delta m^2$ as diagnostics

**Technique: T6 (all-operator-conditional) via the manuscript's own I.0a.2 rule.** The Binding Downgrade Rule
already states: *a generated output fixed by an output value is calibration in disguise → diagnostic.* By that
rule, $m_b$, $m_\tau$, and the absolute $\Delta m^2$ scale are **anchor-consistency checks**, not independent
outputs — and J.6/K.3/K.5 **already label them so** ($m_b$: "Input/diagnostic ($N_d$ sector-scale calibration
input)"; $m_\tau$: same with $N_e$; $\Delta m^2$ absolute: "Input/diagnostic … $M_R$ UNKNOWN").

**Named principle (κ³/π-clean):** **AXIOM-ABS-SCALE-DIAGNOSTIC** — *"any absolute mass scale set by a
sector normalization that was pinned to that same scale is a consistency check, not a prediction."* This is the
I.0a.2 rule generalized; it carries no target value.

**Action.** Confirm the diagnostic labels are consistent everywhere (the ledger, the output count, the
headline) and that the **ratios** (which remain genuine) are the counted outputs. **No new physics; this is
keeping the count honest.**

**Success ladder.** **DISCLOSED-CONSISTENT** — already substantially in place; the residual is a consistency
sweep, not a closure. (Note: closing R2/R3 would *upgrade* these from diagnostic to genuine outputs — so R5 is
the *dependent* of R2/R3.)

---

### 4.6 R6 — $m_u$ at ~4.4σ (the disclosed weakest output)

**The obstruction.** Once $N_u$ is pinned by $y_t$, the rigid up-ladder forces $m_u/m_t=\kappa^2$, giving
$m_u(M_Z)\approx3.16$ MeV vs PDG $1.27\pm0.43$ MeV — the largest pull in the sector. (Note J.6 lists the pull
as $1.26\sigma$ against the *propagated theory band* $\sigma_{\rm th}=1.5$; the ~4.4σ is against the *PDG*
band — both are disclosed; the ~4.4σ is the honest hostile-reviewer number.)

**Technique: T7 (eliminative) — is this a falsifier or a transport artifact?** Two sub-attacks:

1. **RG/threshold transport.** $m_u$ at $M_Z$ is exquisitely sensitive to the light-quark RG transport and to
   the $\overline{\rm MS}$ scheme at low scale. **Specialist target:** recompute $m_u(M_Z)$ under the frozen
   R1.7 transport (`f531205a9159`) from scratch and check whether the ~4.4σ shrinks under a defensible
   transport choice. **No new knob allowed** — the transport rule is frozen; this only checks the magnitude is
   correctly propagated.
2. **Ladder rigidity falsifier.** If $m_u$ genuinely cannot be reconciled within the declared structural band,
   it is a **clean falsifier of the up-ladder** $a_u=(2,1,0)$ — the good kind: a rigid prediction departing
   from data. This is exactly what the manuscript wants surfaced, not hidden.

**Named axiom?** None — R6 is a prediction-vs-data row, not an input. No κ³/π issue (there is nothing to
target-load; $m_u$ is *forced*, not fit).

**Success ladder.** sharper-OPEN (transport recompute confirms the pull is real and disclosed) is the most
likely; REFUTED (a defensible transport reduces it well under threshold) would *strengthen* the gate. There is
no AXIOM-CLOSED here. **Honest disposition: keep disclosed as the named weakest output; recompute under frozen
transport to confirm the magnitude.**

---

### 4.7 R7 — J.6 / K.5 numerical comparison harness (AUDIT)

**The obstruction.** "Every J.6/K.5 value regenerates from the frozen hashes" is the load-bearing
reproducibility claim, but `reproduce_all.py` + the byte-equal CSVs (`appendix_I_quark_outputs.csv`
`661bbe085fc5`; `appendix_J_lepton_neutrino_outputs.csv` `6959d274dfe2`) are **referenced, not independently
re-run** in this audit — the same class as SG-7's absent δ-harness.

**Technique: owner artifact (machine-lane), not an axiom.** This is a **fail-closed reproducibility task**, not
a physics closure.

**Owner artifact needed.** (1) Mount the two CSVs. (2) Run `reproduce_all.py` against the four R1.8 anchors +
the R1.6 frozen chamber, **target-blind**. (3) Confirm byte-equality with the printed J.6 / K.5 tables. (4)
Re-hash the R1.6 rows and confirm the meta-hash recomputes to `a5b1e6f9d951`.

**Math to attempt.** None new — this is execution + verification. The check is mechanical and fail-closed: if
any printed value cannot be regenerated, Gate 9 downgrades to *Diagnostic only* (I.0.3 / J.10 / K.9).

**Success ladder.** **BLOCKED_INPUTS until the CSVs/script are mounted** → then either **VERIFIED** (harness
reproduces; "Certificate-complete under declared assumptions" becomes machine-real) or **REFUTED** (a value
fails to regenerate → downgrade). **Highest value-per-effort closeable item** because it converts an asserted
status into a machine-checked one with no new physics.

---

### 4.8 R8 — $\tau=\omega$ read from a stabilization minimum (inherited from SG-6)

**The obstruction.** The order-three fixed point $\tau=\omega$ — on which both operator diagonality and the CP
phase depend — is inherited frozen from SG-6, where it is the **chamber-center witness read from a one-loop
$V$ minimum**, not independently derived. SG-6's acute soft spot ($\theta_H^\star$ read from a minimum)
propagates here.

**Technique: T1 (axiom-floor), shared with SG-6.** The honest reduction is to name the inheritance:

> **AXIOM-MODULAR-FIXED-POINT** (κ³/π-clean): *"the chamber modulus sits at the order-three modular fixed
> point $\tau=\omega$, the unique Weyl-rigid / modular-symmetric point of the $F^+$ Cartan torus."*

This is writable with no flavor number — it is a symmetry statement. It is **stronger than "read from a
minimum"** because a fixed point of an order-three modular symmetry is a *symmetry-protected* point, not a
tuned one. **The attack:** prove $\tau=\omega$ is the *unique* modular-symmetric point (so it is forced by
symmetry, not selected by a minimum). If proven, R8 strengthens from "read from a minimum" to "symmetry-fixed."

**Specialist target.** Hand the moduli/SG-6 specialist: "Show $\tau=\omega$ is the unique fixed point of the
$F^+$ Cartan-torus modular group, independent of the one-loop potential." This is a clean group-theory claim.

**Success ladder.** AXIOM-CLOSED (AXIOM-MODULAR-FIXED-POINT named; symmetry-protected) is the realistic
endpoint; DERIVED-CLOSED (uniqueness theorem proven) would close R8 outright. sharper-OPEN if the fixed point
is non-unique. **Honest disposition: AXIOM-CLOSED likely; this is a genuine improvement over the SG-6
"read-from-minimum" framing because order-three fixed points are symmetry points.**

---

### 4.9 R9 — Lex-min ladder selection is category-relative

**The obstruction.** $a_u,a_d$ are lex-min over a *declared* ladder family; forcedness across all rational
ladders is not proven (selection ≠ derivation).

**Technique: T10 (selector) + T4 (no-go on alternatives).** Covered as the specialist target under R1 (§4.1):
run the lex-min selector target-blind over the *full* root-system ladder space and check uniqueness + band
sensitivity.

**Named axiom (κ³/π-clean):** **AXIOM-LEXMIN-LADDER** — *"the action ladder of each sector is the
lex-minimal weight sequence on that sector's root system ($A_2$ for up, affine $\tilde A_2$ for down)."*
Writable with no flavor number (it references only the root system + lex order). PASSES the kill-test.

**Success ladder.** AXIOM-CLOSED (axiom named) is essentially already standing; DERIVED-CLOSED requires proving
no other ladder reproduces the ratios within band (a bounded but real computation); sharper-OPEN if a
neighboring ladder also fits. **Honest disposition: AXIOM-CLOSED; promote to DERIVED only if the
target-blind full-space selector returns uniqueness.**

---

### 4.10 R10 — Octant / $\delta_{CP}^\ell$ band-dependence

**The obstruction.** $\sin^2\theta_{23}=0.4493$ is frozen lower-octant (4.60σ vs the upper-octant central →
correctly labeled **Diagnostic**); $\delta_{CP}^\ell\approx260.2°$ sits inside but near the NuFIT NO band
$[195°,270°]$.

**Technique: none internal — experimental falsifier.** DUNE/JUNO is the named discriminator. No closure path;
no axiom; no owner artifact. The honest action is to **keep the upper-octant comparison Diagnostic** and let
the experiment decide.

**Success ladder.** Not applicable (experiment-gated). **Honest disposition: DISCLOSED; the gate's behavior is
correct (frozen prediction + named experimental falsifier).** If DUNE/JUNO confirms upper octant, the
$\sin^2\theta_{23}$ entry's certificate fails and the gate downgrades — exactly as designed.

---

### 4.11 Attack-plan roll-up

| Residual | Technique | Named axiom (κ³/π-clean) | Specialist target / owner artifact | Realistic endpoint |
|---|---|---|---|---|
| R1 chamber-is-a-fit | T5 + T10 | AXIOM-FPLUS-LOCK (weakened) | ladder-forcedness theorem | AXIOM-CLOSED (weakened); whole-chamber OPEN |
| R2 sector scales | T1 / T2-guard | AXIOM-SECTOR-SCALE-INFLOW | Route A determinant-provenance audit; Route B inflow computation | OPEN → AXIOM-CLOSED if inflow yields values |
| R3 $M_R$ | T1 / T7 | AXIOM-MR-IS-MU | invert for $M_R^{\rm req}$; compute $M_R$ from chamber | OPEN → AXIOM-CLOSED if scales coincide (most tractable) |
| R4 ~4× headline | T2 restatement | (none) | owner countersign | DISCLOSED-CORRECTED (cleanest win) |
| R5 abs-scale diagnostics | T6 | AXIOM-ABS-SCALE-DIAGNOSTIC | consistency sweep | DISCLOSED-CONSISTENT (dependent on R2/R3) |
| R6 $m_u$ 4.4σ | T7 | (none) | recompute under frozen transport | sharper-OPEN (or REFUTED = strengthens) |
| R7 harness AUDIT | machine-lane | (none) | mount CSVs + run `reproduce_all.py` | BLOCKED_INPUTS → VERIFIED (best value/effort) |
| R8 $\tau=\omega$ | T1 | AXIOM-MODULAR-FIXED-POINT | modular-fixed-point uniqueness | AXIOM-CLOSED (improves SG-6 framing) |
| R9 lex-min ladders | T10 + T4 | AXIOM-LEXMIN-LADDER | full-space target-blind selector | AXIOM-CLOSED → DERIVED if unique |
| R10 octant/$\delta_{CP}^\ell$ | experimental | (none) | DUNE/JUNO | DISCLOSED (experiment-gated) |

**REDUCE-vs-RELOCATE verdict on the plan.** The plan does **not** turn one hard problem into three harder
ones. Each path either (a) names a single target-blind axiom that pays a debt in plain sight (R1-weakened, R5,
R8, R9), (b) attempts a bounded, falsifiable computation that *could* remove an input (R2 Route B inflow; R3
$M_R$ inversion), or (c) is a mechanical owner/experiment task (R4, R7, R10). The two genuine-physics attempts
(R2, R3) are **smaller** than the original gate (each is one scalar's provenance), and both carry an explicit
**κ³/π kill-test** so a tuned closure cannot be banked. The honest expected outcome of a full campaign:
**~3 AXIOM-CLOSED (R1-weak, R8, R9), 1 likely AXIOM-CLOSED (R3 if scales coincide), 1 DISCLOSED-CORRECTED
(R4), 1 VERIFIED (R7), and R2 + R6 + R10 sharper-OPEN.** No DERIVED-CLOSED is promised; the gate would move
from OPEN-with-asserted-status to **OPEN-with-machine-verified-status + a named axiom floor** — a real
honesty/reproducibility gain, **not** a promotion.

---

## A. Anchoring & Hardening Map

This section runs SG-8 through our internal honesty methodology: **classify each residual as a *gap* (a route exists; debt is a
finished computation/certificate/measured input) or a *wall* (the route itself is the problem) → hunt the
implicit assumption it hides → name the measured-invariant truth each residual must terminate on → assign the
most conservative defensible disposition.** The framework, the gap-vs-wall distinction, and the disposition
vocabulary used below are the LIVE Gaps & Walls Register
(<https://physics.magflowmeters.com/articles/GAPS_AND_WALLS_REGISTER.html>); this section applies that method
to SG-8's ten residuals and does not restate the framework. **Disposition words (as the Register defines them):
DERIVED** (tied to an already-measured fact, no new assumption) · **DERIVED-GIVEN-E** (rigid once the observed
SM content E is supplied) · **AXIOM-CLOSED** (reduced to one named, value-free, unproven posit; the gap stays
open) · **DISSOLVED** (a false/unmeasured premise dropped; a smaller obligation remains) · **SCHEME-ANCHORED**
(a number reachable only after one geometry-unfixed convention) · **OPEN** (genuinely unsolved, or the only
escape assumes the answer) · **BLOCKED** (a route exists but a required file/input is missing/contradictory) ·
**measured-but-irreducible** (known from experiment, no derivation here). The flavor anchor set is
**{ℏ, M_Pl, spectrum-E, α_i(M_Z), y_t, |V_us|}**; the two SG-8 calibration anchors are **y_t** and **|V_us|**.

### A.1 Per-residual anchoring & hardening table

| Residual | gap / wall (+kind) | Measured-invariant terminus | Honest disposition | What would HARDEN it (concrete next step) |
|---|---|---|---|---|
| **R1** $F^+$ chamber: derivation or compressed fit? | **wall** (meta-residual: the *route* — is selection flavor-blind? — is the problem; a universal-negative) | Terminates on **spectrum-E** (family count −3 from SG-3) + the two anchors **y_t, |V_us|**; the *structural* data (τ, Π, ladders) must terminate on **symmetry invariants**, not on any flavor observable. **No witness for "no datum was ever shaped" → that leg is OPEN.** | **AXIOM-CLOSED** at the weakened lock (structural data flavor-blind; 5–6 scales conceded as calibration); "whole chamber is a derivation" stays **OPEN** | Prove the ladders are *forced* by the root system (not merely lex-min in a declared family) → upgrades the lock from auditable assertion to theorem for the ladders (see R9) |
| **R2** $N_d, N_e, N_\nu$ fitted sector scales | **gap** (computation-debt: a derivation route is named — Route A determinant / Route B inflow — but unfinished) | **NEW named invariant required** (no existing anchor carries an absolute sector scale): either Route A reduces $N_d/N_u$ to **between-sector geometry** ($\eta_{BK}, K_{tb}^{\rm crit}$), or Route B to a **topological chiral-index ratio**. As inputs today they terminate on the *measured masses* $m_b, m_\tau, \Delta m^2$ — i.e. **measured-but-irreducible** | **OPEN** (relabel done; derivation absent). κ³/π kill-test live: a new tuning to derive $N_d$ **relocates**, does not close | Run Route A determinant-provenance audit (is $K_{tb}^{\rm crit}=e^{-\pi\sqrt3/16}$ target-blind, written *before* $m_b$?) and Route B inflow computation, both target-blind; adopt only if a value falls out with no new knob |
| **R3** $M_R$ UNKNOWN/open | **gap** (computation-debt: object asserted-derived but never computed — no value/formula/hash) | Could terminate on an **existing anchor scale**: invert $M_R^{\rm req}=N_\nu^2/(\text{measured }\Delta m^2)$ and test coincidence with **M_U** (SG-7 scale), $R_0^{-1}$, or **M_Pl**. If it lands on a frozen scale → reduces to that anchor; if nowhere clean → **NEW invariant / OPEN** | **OPEN**, but the **most tractable** residual in the gate (half-day inversion test) | Run the inversion **first**; if $M_R^{\rm req}\!\approx\!M_U$ parameter-free → **AXIOM-CLOSED** (AXIOM-MR-IS-MU). Caution: the $M_R=\kappa M_U$ candidate is ~231× off corpus κ⁰ — do not bank a tuned κ-power |
| **R4** ~4× headline (not ~5.5×, not ~1.6×) | **gap** (honesty/claim-boundary; no physics, no axiom) | Terminates on a **count**, not an invariant: ~22 outputs / ~5–6 effective inputs ≈ **4× (3.7–4.4×)**. The ~1.6× over-correction violates the I.4 family-normalization ban (treats forced ratios as injected) | **DISCLOSED-CORRECTED** (cleanest, lowest-risk; the I.0.2 honest-margin caveat already carries it) | Owner countersign: propagate "~22 out / ~5–6 in ≈ 4×" to every headline; explicitly retire both wrong numbers |
| **R5** absolute $m_b, m_\tau, \Delta m^2$ as diagnostics | **gap** (labeling/consistency; the I.0a.2 downgrade rule) | Each terminates on a **measured mass it was pinned to** (its own $N_s$) → **measured-but-irreducible** consistency checks, *not* independent outputs | **measured-but-irreducible** / consistency-checks; labeling **DISCLOSED-CONSISTENT** (dependent on R2/R3 — closing those upgrades these to genuine outputs) | Consistency sweep: confirm the diagnostic labels and the *ratios-only* output count agree across ledger, J.6/K.3/K.5, and headline |
| **R6** $m_u$ at ~4.4σ | **gap** (prediction-vs-data row; nothing to target-load — $m_u$ is *forced*) | Terminates on **measured $m_u(M_Z)$**: rigid up-ladder forces $m_u/m_t=\kappa^2$ once **y_t** pins $N_u$. A clean falsifier of the up-ladder, or an RG/threshold transport artifact | **OPEN** (disclosed weakest output); no axiom applies | Recompute $m_u(M_Z)$ under the **frozen** R1.7 transport from scratch (no new knob); pull shrinking → strengthens; pull confirmed → clean falsifier of $a_u=(2,1,0)$ |
| **R7** J.6/K.5 numerical harness AUDIT | **gap** (computation-debt / machine-lane; **same class as the SG-7 absent-harness flag**) | Terminates on **byte-equality** with the four R1.8 anchors {**M_Pl, α_i, y_t, |V_us|**} + frozen R1.6 chamber re-hashing to meta `a5b1e6f9d951` | **BLOCKED** (inputs: CSVs/`reproduce_all.py` not mounted) → **VERIFIED** or **REFUTED** on run | Mount the two CSVs, run `reproduce_all.py` target-blind, confirm byte-equal J.6/K.5 + recompute the meta-hash; **highest value-per-effort** closeable item (no new physics) |
| **R8** $\tau=\omega$ read from a minimum | **wall** (inherited from SG-6: the modulus is *read* from a $V$-minimum, not derived) | Terminates on a **symmetry invariant** — the order-three modular fixed point of the $F^+$ Cartan torus (a symmetry-protected point, stronger than "read from a minimum") | **AXIOM-CLOSED** (AXIOM-MODULAR-FIXED-POINT); improves the SG-6 read-from-minimum framing | Prove $\tau=\omega$ is the *unique* fixed point of the $F^+$ modular group independent of the one-loop potential → symmetry-fixed, not selected |
| **R9** lex-min ladder selection category-relative | **wall→gap** (selection ≠ derivation; becomes a gap if a full-space uniqueness computation is run) | Terminates on the **root-system invariant** (lex order on $A_2$ / affine $\tilde A_2$) — a symmetry datum, no flavor number | **AXIOM-CLOSED** (AXIOM-LEXMIN-LADDER) → **DERIVED** only if full-space selector returns uniqueness | Run the lex-min selector target-blind over the *full* rational root-system ladder space; check uniqueness + band-sensitivity of neighbors |
| **R10** octant / $\delta_{CP}^\ell$ band-dependence | **gap** (experimental falsifier; no internal route) | Terminates on a **future measurement**: $\sin^2\theta_{23}$ octant + $\delta_{CP}^\ell$ from **DUNE/JUNO** (frozen prediction vs NuFIT band) | **DISCLOSED** (experiment-gated; lower-octant entry correctly **Diagnostic** at 4.60σ vs UO) | Nothing internal — keep the upper-octant comparison Diagnostic; the experiment decides (gate downgrades if UO confirmed, as designed) |

### A.2 Gate-level rollup

- **Overall disposition: OPEN → conservatively OPEN** — matching the LIVE Gaps & Walls Register SG-8 row.
  The *genuine* content (within-sector mass **ratios** + all CKM/PMNS magnitudes + Jarlskog $J$ + both CP
  phases) is **DERIVED-GIVEN-E** given the selected chamber; the *absolute* content (sector scales, $M_R$, the
  three absolute masses) is **measured-but-irreducible / OPEN**. Ceiling, as everywhere in the programme:
  **serious candidate, NOT validated.**
- **Anchors this gate depends on:** the two declared flavor calibration anchors **y_t** and **|V_us|**, plus
  **spectrum-E** (the family index −3 inherited from SG-3, given-E) and **{M_Pl, α_i(M_Z)}** as the
  RG/comparison-scale inputs in the reproduction harness. The two open scale residuals would terminate on a
  **NEW named invariant** (R2 sector scales; R3 if $M_R$ lands nowhere clean) or, in the favorable case, reduce
  R3 to the **existing M_U/$R_0^{-1}$** scale. No residual depends on **ℏ** here.
- **Honest split, plainly:** structural data (τ, Π, ladders) terminate on **symmetry invariants** (hardenable
  toward AXIOM-CLOSED/DERIVED); the absolute scales terminate on **measured masses they were pinned to**
  (irreducible until a new invariant is found). The **κ³/π kill-test** guards R2 and R3 so a tuned closure
  cannot be dressed as a derivation — a new knob *relocates* the input, it does not remove it.
- **Single highest-leverage hardening move: run the R3 $M_R$ inversion** ($M_R^{\rm req}=N_\nu^2/\Delta m^2$,
  then test coincidence with **M_U**). It is a half-day, target-blind computation that could reduce the
  absolute-neutrino-scale leg to an **existing anchor** (AXIOM-CLOSED), removing one hidden input with **no new
  tuning** — the cheapest path to a genuine count-shrink. (R7's harness mount is the cheapest *machine-reality*
  win, but it moves no input count.) **No status was ever upgraded; nothing applied; frozen branch READ-ONLY.**

### 🎯 Target anchor(s) for this gate

In the terminate-on (anchoring) sense, SG-8 terminates on the **observed spectrum E** plus the measured
flavor anchors **$\alpha_i(M_Z)$**, **$y_t$**, and **$\lvert V_{us}\rvert$** — the genuine frozen outputs (the
within-sector mass **ratios** of all four sectors and **all CKM/PMNS mixings, the Jarlskog $J$, and both CP
phases**) terminate on these and are **DERIVED-GIVEN-E** given the selected chamber. The high-scale seesaw
Majorana scale **$M_R$ has no laboratory witness** (only $\eta_B$ would pin it = tuning to the known answer, **excluded** by
the κ³/π kill-test) → **OPEN**; and the **absolute sector scales** ($m_b, m_\tau, \Delta m^2$ via $N_d, N_e,
N_\nu$) terminate on the **measured masses they were each pinned to** — **measured-but-irreducible**
anchor-consistency diagnostics, not independent outputs. **Status: DERIVED-GIVEN-E (ratios + all mixings, on
$\{$E$, \alpha_i(M_Z), y_t, \lvert V_{us}\rvert\}$) · OPEN ($M_R$, no witness) · measured-but-irreducible
(absolute scales).** NOT promoted; nothing applied; frozen branch READ-ONLY.

---

## 5. References & source map

### 5.1 Website source-of-truth (common material — link, don't duplicate)

- **Paper I, GUT.html** — <https://physics.magflowmeters.com/articles/GUT.html>
  - **§6.9** Gate-9 card (binding status); **§6.12** falsification map (Gate 9 row); **§6.13** certificate
    summary.
  - **§5.8** narrative module; **§7** Flavor Executive Summary (7.1–7.7); **§8** "The Fixing" (8.1–8.5).
  - **Appendix CR9** ("Flavor Closure as a Worked Constraint", CR9.0–CR9.14) — reader companion.
  - **Appendix I** (Flavor Chamber $F^+$): I.0 Anti-Fitting Ledger, **I.0.2** Over-determination Ratio Table
    (+ honest-margin caveat = the ~4× statement), **I.0a.1** Lock Table, **I.0a.2** Binding Downgrade Rule,
    I.1–I.6 chamber definition.
  - **Appendix J** (Quark Certificate): J.3 generated $Y_u,Y_d$; J.4 diagonalization; J.5 CP phase / Jarlskog;
    **J.6** output table; J.7 parameter ledger; J.8 certificate JSON.
  - **Appendix K** (Lepton/Neutrino Certificate): **K.3** charged-lepton; K.4 neutrino mass map (the **$M_R$
    UNKNOWN** open-item box); **K.5** neutrino output table; K.6 lepton CP discipline.
  - **Appendix R0 / R1** freeze records + frozen parameter manifest (all hashes in §0 above).
- **Paper IV, TOE.html** — <https://physics.magflowmeters.com/articles/TOE.html> (Λ cross-reference only; does
  not touch SG-8).

### 5.2 Corpus locations (authoritative inputs to this dossier)

| Source | Path | Role |
|---|---|---|
| Per-gate dossier spec | `…/rendered/TOE/PER_GATE_DOSSIER_SPEC.md` | structure (sections 0–5) |
| **Gate-9 input-ledger finding (authoritative ~4× adjudication)** | `…/rendered/TOE/GATE9_FLAVOR_INPUT_LEDGER_FINDING_2026-06-24.md` | the FITTED_RELABEL verdict; ~4× (3.7–4.4×); $N_d/N_e/N_\nu$ fitted; $M_R$ UNKNOWN; I.0a.2 downgrade |
| SG-8 status line | `…/rendered/TOE/SCOPED_GUT_PER_GATE_STATUS_LEDGER.md` | the OPEN label + honest caveats (carried verbatim) |
| Closure campaign result | `…/rendered/TOE/CLOSURE_CAMPAIGN_RESULT_2026-06-24.md` | κ³/π kill-test discipline; AXIOM-CLOSED ≠ proven; demotion-on-verify norm |
| GUT manuscript | `…/rendered/GUT/GUT.md` | §6.9 (L2059); §7 (L2144); §8 (L2239); App I (L9056); App J (L9302); App K (L9554); CR9 (L13557) |

### 5.3 Frozen-object hash index (load-bearing; READ-ONLY)

Branch `dcc66f1b2685` · manifest meta `a5b1e6f9d951` · $\tau=\omega$ `03b30a9c931a` · $\Pi_s$ `3b8d68559f5e` ·
$a_u$ `e2ef21cecade` · $a_d$ `989edc50b559` · $O_u$ `07be17dd8a1c` · $O_d$ `50ef768bb146` · $O_e$
`08ff25117d00` · $O_\nu$ `495ddbdcedb9` · Yukawa map `1f20935643cf` · $\theta_F$ `1ff57f48d45a` · $N_{u,d,e}$
`20dc4e0b8220` · $\eta_{BK}$ `84e94518d3f5` · $K_{tb}^{\rm crit}$ `c15d00c6f664` · RG transport
`f531205a9159` · $M_Z$ `a6852c7a6b00` · uncertainty rule `61b0d93507e7` · anchor $y_t$ `548d7099ef18` ·
anchor $\lvert V_{us}\rvert$ `a1bc510bc7cd` · FCNC no-go `fff4b433b7b3` (op-class `551488d06011`) · quark CSV
`661bbe085fc5` · lepton/ν CSV `6959d274dfe2`. **$M_R$: no hash — UNKNOWN/open.**

---

### Closing honest statement

SG-8 is **OPEN**. Its genuine, defensible content is real and strong: **within-sector mass ratios + all
CKM/PMNS magnitudes, $J$, and both CP phases**, produced by diagonalization of frozen $\kappa$-laddered
operators from **two** declared anchors, with per-entry tuning structurally banned. Its honest open surface is
equally clear: **the $F^+$ chamber is the program's weakest link**; the over-determination is **~4× (3.7–4.4×)**
not ~5.5×; $N_d/N_e/N_\nu$ are **sector-scale calibration inputs** (not derived from $N_u$); $M_R$ is
**UNKNOWN/open**; the absolute sector scales are **anchor-consistency checks**; $m_u$ sits at the disclosed
**~4.4σ**; and the comparison harness is **AUDIT**. The attack plan reduces these to named, target-blind axioms
and bounded falsifiable computations — with the κ³/π kill-test guarding R2 (sector scales) and R3 ($M_R$) so a
tuned closure cannot be dressed as a derivation. The realistic ceiling is a machine-verified status over a
named axiom floor — **not** a promotion. **No status was ever upgraded; frozen branch `dcc66f1b2685` / `a5b1e6f9d951`
READ-ONLY; given-E ≠ derivation of E; nothing applied, nothing deployed.**

*Dossier built 2026-06-24. Our geometry (13D K₆ branch) only. Common material referenced to the published
website source-of-truth, not duplicated.*