Honest ceiling. Serious candidate / partial unification signal — NOT validated. Gate status: OPEN (by the least-closed-residual rule). The genuine win is real and scoped; the gate does not close. No status was ever upgraded. Frozen branch
dcc66f1b2685/a5b1e6f9d951READ-ONLY. Independently verified (independent cross-check against the dossier). Updated 2026-06-25.
Given the frozen branch, the selected F⁺ flavor chamber, and the anchor set {E, α_i(M_Z), y_t, |V_us|}, the following are DERIVED-GIVEN-E:
Banked (Reduced to Axiom, value-free, AXIOM-CLOSED ≠ proven):
- AXIOM-MODULAR-FIXED-POINT — τ = ω, the order-three modular fixed point of the F⁺ Cartan torus (a symmetry
statement; axiom-closed, not a uniqueness theorem).
- AXIOM-LEXMIN-LADDER — the action ladders from root system + lex order (axiom-closed, not DERIVED; full
rational A₂/Ã₂ uniqueness unproven).
- weak AXIOM-FPLUS-LOCK — the chamber's structural data is flavor-blind; the 5–6 calibration scales are
openly conceded, not relabeled geometric.
Refused (correctly — refusing an axiom for an unrun computation is not a relabel):
- AXIOM-SECTOR-SCALE-INFLOW (R2) — Route B (spin-c inflow) not computed; renaming the scales geometric = RELABEL_FAIL.
- AXIOM-MR-IS-MU (R3) — the M_R inversion/coincidence test has not been run; no value/formula/hash.
| Residual | Disposition | How |
|---|---|---|
| R1 — F⁺ chamber lock | CLOSED (weak) | weak AXIOM-FPLUS-LOCK (structural data flavor-blind; scales conceded). Strong "whole chamber derived" stays OPEN (no witness). |
| R2 — sector scales N_d/N_e/N_ν | OPEN | fitted calibration inputs pinned to m_b/m_τ/Δm²; no N_d=f(N_u). Axiom refused. |
| R3 — seesaw M_R | BLOCKED/OPEN | no lab witness; pinning via η_B = tuning to the known answer (excluded). Axiom refused. |
| R4 — within-sector ratios | CLOSED | DERIVED-GIVEN-E; forced κ-powers, N_s cancels. |
| R5 — absolute masses m_b, m_τ, Δm² | EXPORTED | measured-but-irreducible anchor-consistency diagnostics. |
| R6 — m_u prediction | CLOSED (+0.058σ) | forced m_u/m_t = κ²; the old ~4.4σ "miss" was a wrong-ruler 4D-shadow comparison. Full 13D Weyl-shadow transport supplies the symmetry-derived 1/√6 = 1/√|S₃| → m_u = 1.2948 MeV. Resolved by symmetry, not a knob. |
| R7 — J.6/K.5 numeric harness | BLOCKED | CSVs + reproduce_all.py not mounted; pulls unverifiable by re-execution. |
| R8 — τ=ω modular fixed point | CLOSED | AXIOM-MODULAR-FIXED-POINT (value-free; axiom-closed not a theorem). |
| R9 — lex-min ladder | CLOSED | AXIOM-LEXMIN-LADDER (root system + lex order; axiom-closed not DERIVED). |
| R10 — PMNS octant / δ_CP^ℓ | EXPORTED (Diagnostic) | 4.60σ vs upper-octant; DUNE/JUNO-gated falsifier. |
| δ_CKM, mixings, J | CLOSED | DERIVED-GIVEN-E via single θ_F + order-three / Berry holonomy. |
Three rows decide whether SG-8 can move past OPEN: R2, R3, R7 (R6 — the m_u row — has since CLOSED at +0.058σ; its verifier is retained in the forcing packet for provenance). A fail-closed forcing packet
(SG8_R7_R3_R6_forcing_packet, published) was built and independently verified to fail-closed — its three
verifiers correctly report BLOCKED_MISSING_ARTIFACTS (R7), BLOCKED_MISSING_INPUTS (R3),
BLOCKED_MISSING_TOP_INPUT_OR_TRANSPORT (R6) with no false PASS. Dropping the real files into
certificates/G09_flavor/ forces each row to VERIFIED / REFUTED / sharper-OPEN with no narrative wiggle room.
The continuation artifacts needed: the R7 CSVs + reproduce_all.py; the R3 M_R-inversion inputs (N_ν, O_ν
eigenvalues, Δm² convention, M_U, R₀⁻¹); the R6 frozen R1.7 transport recipe (hash f531205a9159).
SG-8: OPEN (least-closed residual). The ratio/mixing/phase leg is DERIVED-GIVEN-E (with the §2 caveats); the gate is held OPEN by R2 (OPEN) and R3/R7 (BLOCKED); R6 — the m_u row — is CLOSED at +0.058σ via the symmetry-derived 1/√6 = 1/√|S₃| Weyl-shadow transport. Axiom floor = {AXIOM-MODULAR-FIXED-POINT, AXIOM-LEXMIN-LADDER, weak AXIOM-FPLUS-LOCK}. No fitted number (N_d/N_e/N_ν, M_R, m_u) was renamed geometric; no new axiom banked for an unrun computation. No status was ever upgraded. Serious candidate / partial-unification signal — NOT validated.