SG-6 — Moduli stabilization: the gate anchor ledger — rendered package. Rendered from sg6-anchor-ledger.md; frozen technical content unchanged by rendering.

SG-6 — Moduli stabilization: the gate anchor ledger

The honest one-line: SG-6 proves the easy half of moduli stabilization — that symmetry pins where the hidden dimensions sit (criticality), target-blind and for free — and refuses to fake the hard half. On the live board the gate stands RESOLVED +0 (DERIVED-GIVEN-anchor, ratified 2026-07-08): the deciding sign comes from a relabeling/reflection-invariant quantity built from the frozen shape — an exact statement, not a numerical guess — pointing to a genuine resting point, with the built-in three-way swap symmetry forcing where the shape settles and the internal curvature cross-check returning exactly $+1/3$. In the frozen mid-audit record below the stability sign was carried undecided: the shape sector leaning stable (the earlier $-1$ saddle retired as an artifact; tree-level mass² $\{+1,+1\}$), the breathing singlet route-inconsistent, and the electroweak-hierarchy carrier read from a minimum, not derived — those residual rows remain shown unchanged.

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 SG-6 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 and the same universal table as the SG-4 ledger.

Moduli stabilization is a genuine SHARED-OPEN wall: no higher-dimensional framework — string, M-theory, F-theory, noncommutative geometry, lattice — has delivered a controlled, global, positive-definite moduli mass matrix. SG-6's contribution is to split the question into a half it can prove and a half it honestly cannot, and to decline the one circular move that would let it cheat the hard half.

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


1. Gate status header

The criticality leg is a genuine result: location is symmetry, free and target-blind. What stays open is everything the sign carries — whether the critical point is a minimum, a saddle, or has flat directions. Location is symmetry; sign is spectrum.


2. Frozen inputs (what SG-6 stands on, not what it produces)


3. The object anchors (given-E / upstream)

The moduli SG-6 acts on, with their structural witnesses (the witness-TYPE predicate, not minimize-at-answer):

Status: GIVEN-E / upstream-inherited — the moduli and their witnesses fix the configuration inside the already-selected chamber; they are not SG-6-derived.


4. Root and master-anchor traceability

Deep roots that are load-bearing for SG-6:

Deep root Role in SG-6
Shape supplies the $K_6$ moduli space, the $S_3$ Weyl symmetry, and the chamber being tested
Granularity the uniform operational cell $N\le B/\Delta_0$ dissolves the continuum UV divergence; enforces no unpaid scale labels
Physical equivalence / invariance makes the $S_3$ criticality theorem and the Hessian a frame-independent object; the $3=\mathbf{1}\oplus\mathbf{2}$ split is symmetry-exact
Record interface makes the 12-row witness ledger and the sympy checks reproducible and reviewable
Nonseparability explains why criticality (location) does not equal stability (the Hessian sign)
Scale the loop scale $\mu_{\rm cell}$ and the second ruler $v_{\rm EW}$ are scale objects; the Buckingham-π no-go is a scale argument

Causal order is not a primary load-bearing anchor for SG-6.

Master anchors in play: finite invariant ledgers · no unpaid labels (the witness-TYPE predicate) · the frozen branch · given-$E$ · the declared axiom floors (the second ruler, the cell value, the modular fixed point) · open-residual discipline.


5. The SG-6 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 SG-6 Shape, Nonseparability open-residual discipline DERIVED-GIVEN-E + RESOLVED +0 (mid-audit: OPEN — stability-sign-undecided) criticality proven; stability open (shape leans stable, singlet route-inconsistent) "SG-6 is closed" / "minimum proven" / "the gate leans saddle" close §9 residuals
Frozen branch hashes dcc66f1b2685 / a5b1e6f9d951 Record interface frozen branch AUDIT ONLY the tested object is frozen/read-only "hashes validate the physics"
Upstream spectrum $E_{\rm frozen}$ ($\chi=-3$) Shape given-$E$ GIVEN-E witnesses fix moduli in this chamber "SG-6 derives $E$ / the geometry" (see SG-1/SG-3 for $E$, chamber)
Witness-TYPE predicate type-check over $\{$Weyl-rigid, modular fp, integer winding, discrete topology, BC pin$\}$ Granularity no unpaid labels DERIVED-GIVEN-E "minimize-at-answer" fails by construction "the witnesses select the geometry"
Shape moduli $u_1,u_2,u_3$; center $(1,1,1)$ Shape finite invariant ledger GIVEN-E / admissible $S_3$-fixed point, Weyl-rigid chamber "the radii are derived absolutely"
Modular fixed point $\tau=\omega=e^{2\pi i/3}$ Invariance declared modular fixed point AXIOM-OPEN / reduced order-3 fixed point (generic PSL$(2,\mathbb{Z})$ proven) "$\tau=\omega$ unique on the realized group is proven" R7: prove realized-generator uniqueness
Wilson-line winding $n_H=\tfrac{1}{2\pi}\oint_\gamma F=1$ Invariance finite invariant ledger DERIVED-GIVEN-E pure topology, reproduces by hand "winding sets the hierarchy"
$\mathbb{Z}_2/\mathbb{Z}_6$ topology discrete identifications Shape declared structure DERIVED-GIVEN-E chirality filter + charge quantization "the orbifold is forced absolutely"
Cycle length $R_\gamma$ Shape given-$E$ GIVEN-E frozen geometric length "$R_\gamma$ is fixed by $v_{\rm EW}$"
Criticality theorem $\nabla V\!\mid_{(t,t,t)}=0$, $S_3$-invariant $V$ Invariance finite invariant ledger DERIVED-GIVEN-E location is symmetry, target-blind, free "criticality implies a minimum"
Hessian split $3=\mathbf{1}\oplus\mathbf{2}$ Invariance finite invariant ledger DERIVED-GIVEN-E singlet ⊕ doublet decouple exactly "the split decides stability"
Shape doublet irrep $\mathbf{2}$, isotropic Hessian Invariance, Nonseparability open-residual discipline OPEN (LEANING STABLE) tree-level mass² $\{+1,+1\}$; saddle structurally impossible "shape minimum is certified" R3/R6: Casimir net sign + two completeness theorems
Retired shape saddle the artifact $-1$ (raw) / $-\tfrac12$ (unit) Invariance open-residual discipline RETIRED / artifact reproduces exactly; diagnosed as volume-contaminated, non-critical ray "the $-1$ is the shape eigenvalue" / "SG-6 is a saddle" — (retracted)
Breathing singlet irrep $\mathbf{1}$; $c_{\rm loop}=\mathrm{tr}[a_6]$ → $\mu_{\rm cell}$ Scale, Granularity declared cell value OPEN / route-inconsistent UV divergence dissolved by finite cell-sum "$c_{\rm loop}$ is computed" / "boson rescue banked" R5: reconcile two $a_6$ routes
Loop scale $\mu_{\rm cell}$ (log-scheme residue) Scale declared cell value AXIOM-OPEN existence of $\Delta_0$ transfers (granularity root) "$\mu_{\rm cell}$ has a $v$-independent value" reduce to AXIOM-UNIFORM-CELL-VALUE
Casimir net sign graded supertrace over admissible $(p,q)$ Nonseparability open-residual discipline OPEN / computation debt per-sector signs LOCKED; net sign undecided "boson-dominance rescues" ($\chi=-3$ opposes) R6: mount multiplicity table + s=−1 zeta
Hosotani phase $\theta_{H\star}\approx 2.46\times10^{-14}$ Scale, Nonseparability open-residual discipline OPEN / RELOCATION read from one-loop $V_{\rm Hos}$ minimum "$\theta_{H\star}$ is derived-small" R1: derive target-blind or concede ruler
Second ruler $v_{\rm EW}=246\ \mathrm{GeV}=\theta_{H\star}/(2\pi R_\gamma)$ Scale declared second anchor MEASURED-ANCHOR irreducible measured ruler (like $\Lambda$, $\eta_B$) "SG-6 derives the EW hierarchy" reduce to AXIOM-VEW-SECOND-ANCHOR
Buckingham-π no-go no 2nd mass from $\{M_{\rm Pl},\hbar,$ dimensionless geom$\}$ Scale finite invariant ledger DERIVED a second mass needs a $\sigma$-carrying length "the hierarchy can be deduced from $M_{\rm Pl}$"
Cell-sum dissolution finite $N\le B/\Delta_0$ kills $a\to0$ divergence Granularity finite invariant ledger DISSOLVED continuum-as-divergence assumption is false "finiteness implies a unique $\mu_{\rm cell}$"
Global stabilization all flat directions removed everywhere Nonseparability open-residual discipline DISCLOSED NON-CLAIM off-chamber rejected by admissibility "no flat directions anywhere (dynamical)" shared-open; no SG-6 axiom flips it
Threshold vector $(\delta_1,\delta_2,\delta_3)=(+4.8424,-3.1112,-1.7313)$ Record interface open-residual discipline AUDIT (owned by SG-7) signs geometric "the $\delta$ magnitudes are derived" R9: mount SG-7 reproducer
No-tachyon verdict AND over eigenvalue rows Nonseparability open-residual discipline OPEN (conditional) inherits R3/R5 "no-tachyon is certified" R8: closes when R3 + R5 close

6. The arithmetic — the proven half, in full

The criticality theorem (sympy-verified, target-blind). The Weyl group $S_3$ permutes $(u_1,u_2,u_3)$. For any $S_3$-invariant functional $V$, $V(\sigma\!\cdot\!u)=V(u)$ for every permutation $\sigma$. Differentiating along the totally-symmetric direction at $(t,t,t)$, the chain rule plus invariance force $\partial V/\partial u_i$ equal for all $i$, and the antisymmetric shape-gradient combinations cancel. Hence $$\nabla V\big|_{(t,t,t)} = 0 \quad\text{for *any* } S_3\text{-invariant } V .$$ Location is fixed by symmetry, independent of the form of $V$ — and this carries zero stability content.

The symmetry decomposition $3=\mathbf{1}\oplus\mathbf{2}$. The perturbation space splits exactly by $S_3$ into a breathing/volume singlet ($u_1=u_2=u_3$) and a traceless shape doublet. $(1,1,1)$ is a minimum iff both eigenvalues are positive, and they decouple by symmetry.

The shape doublet — corrected analysis. Along the shape ray $u=(1+\varepsilon,1-\varepsilon,1)$ with the normal metric, $$R(\varepsilon)=\tfrac32-\tfrac{\varepsilon^2}{2}.$$ The raw second derivative is $+4-5=-1$; the unit-normalized coefficient is $+2-\tfrac52=-\tfrac12$. This $-1$ is reproduced exactly — and it is an artifact: it is the raw 3-space Hessian of $+R$ along a volume-contaminated ray ($\mathrm{Vol}=1-\varepsilon^2$) at a non-critical point, since $$\nabla R(1,1,1)=\big(-\tfrac12,-\tfrac12,-\tfrac12\big)\neq 0 .$$ The full $3\times3$ Hessian of $R$ at $(1,1,1)$ has eigenvalues $\{+1\ (\text{volume}),\,-\tfrac12,\,-\tfrac12\ (\text{shape})\}$. Once the shape doublet is properly isolated (orthonormal trace-free log basis, fixed volume, shape-critical), it is an $S_3$ irrep, so its Hessian is isotropic ($\propto I$) — two equal eigenvalues cannot have opposite signs, so a saddle is structurally impossible at the symmetric point.

The decisive datum — the Einstein-frame sign. The physical mass² is $M=G^{-1}\,\mathrm{Hess}(V)$ on the doublet, and the verdict is fixed entirely by the sign of the Einstein-frame shape-sector potential: $$V=+R\ \Rightarrow\ \text{mass}^2\{-1,-1\}\ (\text{MAX/unstable}),\qquad V=-R\ \Rightarrow\ \text{mass}^2\{+1,+1\}\ (\text{MIN/stable}).$$ The frozen-branch derivation finds $V_{\rm phys}\sim -R_{K_6}$ target-blind, hence physical mass² $\{+1,+1\}$ → the symmetric flag leans STABLE at tree level.

Diagnostic — the test can fail. A capability-to-fail control on $S^2\times S^2$ fires the opposite sign $(+16)$, confirming the sign test is not trivially rigged; the Weyl step is sign-neutral. This is what makes the $\{+1,+1\}$ a real fact about $E_{\rm frozen}$ rather than an artifact.

The obstruction map. Collect the legs: $$O_{\rm SG6,\,crit}(E_{\rm frozen})=0\ \text{(proven)},\qquad O_{\rm SG6}(E)=\big(O_{\rm crit},\,O_{\rm shape},\,O_{\rm breathing},\,O_{\theta_H}\big).$$ We do not assert $O_{\rm SG6}(E_{\rm frozen})=0$: shape leans stable but is uncertified, the breathing singlet is route-inconsistent, and $\theta_{H\star}$ is read.


7. Declared-structure splits — phrases hiding multiple claims

"The moduli are stabilized" hides three different claims with three different statuses:

  1. Location (criticality): $\nabla V\!\mid_{(t,t,t)}=0$. Status: DERIVED-GIVEN-E (target-blind, from $S_3$).
  2. Stability (the Hessian sign): shape mass² $\{+1,+1\}$ leans stable; breathing singlet route-inconsistent. Status: OPEN.
  3. Global stabilization (no flat directions anywhere, dynamically): Status: DISCLOSED NON-CLAIM — off-chamber configurations are rejected by admissibility, not dynamically stabilized.

"$\tau=\omega$" also splits: 1. Generic order-three fixed point of $\mathrm{PSL}(2,\mathbb{Z})$ — the element $M=\begin{psmallmatrix}0&-1\\1&-1\end{psmallmatrix}$ fixes exactly $\omega=e^{2\pi i/3}$. Status: DERIVED (reproduces symbolically). 2. Uniqueness on the realized $F^+$ Cartan-torus generator inside the chamber. Status: AXIOM-OPEN / reduced — theorem-debt (R7).

So location is DERIVED-GIVEN-E, stability is open, and global stabilization is an explicit non-claim. The criticality theorem is load-bearing for location, but it is not a stability theorem.


8. The $\mu_{\rm cell}$ / heat-kernel core, in full

The two genuine-physics fronts — the hierarchy ($\theta_{H\star}$) and the breathing-singlet sign — collapse onto one shared object, $\mu_{\rm cell}$, the log-scheme residue of $c_{\rm loop}=\mathrm{tr}[a_6]$ (the Seeley–DeWitt heat-kernel coefficient of the $\sigma$-fluctuation determinant on $K_6$).

The forbidden save. $\theta_{H\star}$ would follow if $\mu_{\rm cell}$ had a $v$-independent readout — but its only anchor is $\partial_\sigma V=0$, which is the electroweak hierarchy. Using it is circular by construction ($\mu_{\rm cell}\to v$ is invertible-by-construction $\Rightarrow$ $\mu_{\rm cell}$ IS the knob). The Buckingham-π no-go confirms a second mass cannot be built from $\{M_{\rm Pl},\hbar,$ dimensionless geometry$\}$ without a $\sigma$-carrying length. SG-6 declines the circular save and concedes $v_{\rm EW}$ as a measured ruler.


9. Open residuals — the two genuine fronts + the disclosed family

The criticality leg is one face of SG-6. These distinct residuals make up the rest, and none is closed by criticality:

Genuine-physics fronts (closeable, target-blind): - R3/R6 — the Hessian sign (saddle-vs-minimum). OPEN. Shape leans stable; the decisive remaining datum is the graded Casimir net sign, blocked on the ABSENT admissible-rep multiplicity table and a regularization-stable $s=-1$ zeta continuation. $\chi=-3$ opposes the boson-dominance rescue. - R5 — the breathing-singlet $c_{\rm loop}$ / $a_6$ wall. OPEN / route-inconsistent. Route A anchor-falsified; the graviton $\mathrm{Sym}^2(T)$ sector missing. Shared with Gap-01 and SG-7. - R7 — modular uniqueness. AXIOM-OPEN / reduced. Generic PSL$(2,\mathbb{Z})$ fact proven; realized-generator uniqueness on the chamber is theorem-debt. The single cleanly-upgradable leg. - R1 — $\theta_{H\star}$ derived target-blind. OPEN / RELOCATION. Path A circular at $\partial_\sigma V=0$; Path B is the wrong mechanism (a periodic-potential minimum location, not a running coupling).

Disclosed residuals (kept honest, no flip available): - R2 — global stabilization. DISCLOSED NON-CLAIM. The shared-open textbook problem; off-chamber rejected by admissibility, not dynamics. - R4 — given-E / within-chamber. DISCLOSED-CONSISTENT / relocation. Witnesses fix moduli inside the selected chamber; selection relocates to SG-1/SG-3, not closeable at SG-6. - R8 — no-tachyon. DISCLOSED-CONSISTENT, conditional on R3/R5. The AND of the two eigenvalue rows; cannot be made target-blind without the R6 table and R5 $c_{\rm loop}$. - R9 — phenomenological sufficiency. AUDIT (owned by SG-7). Relies on the SG-7 threshold harness, itself AUDIT ($\delta$ magnitudes injected; reproduce_all.py confirmed absent corpus-wide).

The retired $-1$ shape saddle is not an open residual — it is a retracted artifact, named in the ledger for honesty.


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


11. Specialist closure plan

Each open residual is a concrete, finite, target-blind work-package. Every $\mu_{\rm cell}$-touching path carries the explicit falsification test: the $\partial_\sigma V=0$ anchor is forbidden. No DERIVED-CLOSED is promised; the single most valuable likely outcome is a NEGATIVE — a confirmed instability firing the no-minimum falsifier.

  1. R3/R6 — Hessian sign. Mount the admissible-rep multiplicity table; form the graded doublet-weighted supertrace $\sum (-1)^F\,d\,n\,(w_1^2+w_2^2)$ with a regularization-stable $s=-1$ continuation; decide the net sign and magnitude $\mu_{\rm cell}\!\cdot\! q$. Compute on the isolated trace-free doublet at a critical point (do not repeat the volume-contaminated ray). Success: net $>0$ and $\mu_{\rm cell}\!\cdot\! q\gtrsim 0.5$ → minimum. Falsifier: net $\le0$ → SADDLE-CONFIRMED, the no-minimum falsifier fires. (The closed-form multiplicity $m_0(p,q)=\min(p,q)+1$ if $(p-q)\equiv0\bmod3$ else $0$ verifies against textbook values — one step done; blocked on the regularized zeta.)
  2. R5 — $c_{\rm loop}$ / $a_6$ wall. Fix Route A's $K_6$-bundle $a_6$ against a spectral peel; deliver Route B's graviton $\mathrm{Sym}^2(T)$ LC $a_6$ via spectral-zeta resummation (ghost already dissolved); re-run the two-route value rule. Use the Bianchi-exact $23/75$, not $31/147$. Success: routes agree within $10^{-6}$ → singlet sign decided. Falsifier: a definite wrong-sign $c_{\rm loop}$ → breathing singlet unstable. Honest endpoint short of that: Reduced-to-Axiom at AXIOM-UNIFORM-CELL-VALUE.
  3. R7 — modular uniqueness. Enumerate fixed points of the realized $F^+$ Cartan-torus generator; characterize uniqueness within the chamber — pure group theory, inject no flavor/hierarchy number. Success: uniqueness proven → R7 upgrades to DERIVED. Also hardens SG-8.
  4. R1 — $\theta_{H\star}$. Write $V_{\rm Hos}(\theta_H)$ from frozen $\{\gamma, n_H, \eta_{BK}, R_\gamma\}$; locate its minimum without consulting $v_{\rm obs}$; check whether it lands at $\sim10^{-14}$. Realistic endpoint (Buckingham-π blocks it): Reduced-to-Axiom at AXIOM-VEW-SECOND-ANCHOR. Falsifier: a chamber-only $\theta_{H\star}$ that misses $10^{-14}$ → a genuine prediction-vs-data failure.
  5. R9 — phenomenological sufficiency. Mount the SG-7 reproducer (reproduce_all.py + ledger CSVs); propagate an SG-6 radius/threshold perturbation through Gates 1–10. Closes when SG-7's $\delta$-harness AUDIT closes — shared, not independent.

Closing R3/R6 + R5 decides the Hessian sign and upgrades SG-6 from "criticality closed, stability open" toward a verdict — and even then, only given $E$, and possibly to a confirmed instability.


Completion tests for this page

Tests passed (required presence, all met): gate roll-up RESOLVED +0 (frozen mid-audit reading: OPEN — stability-sign-undecided) · the criticality leg $\nabla V\!\mid_{(t,t,t)}=0$ as DERIVED-GIVEN-E · "$E$ not derived" · frozen hashes (AUDIT ONLY) · every exact object as its own row · the $3=\mathbf{1}\oplus\mathbf{2}$ split · the corrected shape mass² $\{+1,+1\}$ · the retired $-1$ artifact named · the route-inconsistent $a_6$ ($|31/48|$, Route A $-43/504$ falsified) · the retracted $-2.818\times10^{94}\ \mathrm{GeV}^6$ named · the specificity diagnostic ($S^2\times S^2$ fires $+16$) · every open residual (R1, R3/R6, R5, R7) + disclosed (R2, R4, R8, R9) as its own row · the anti-claims (criticality≠stability, no boson rescue, $\mu_{\rm cell}$ not $v$-anchorable, hierarchy read not derived, hashes don't validate).

Tests failed (required absence, all held): no claim that SG-6 is physics-closed · no minimum certified · no $E$ or geometry derived · no boson-dominance rescue · no $\mu_{\rm cell}$ value · no $\theta_{H\star}$ derived · no global stabilization · no claim the $-1$ is the shape eigenvalue · hashes do not validate physics · criticality does not equal stability · no reader-visible build-process vocabulary.

Open items: R3/R6 Casimir net sign (multiplicity table absent) · R5 $a_6$ route reconciliation (Route A falsified) · R7 realized-generator uniqueness · R1 $\theta_{H\star}$ target-blind · R9 downstream SG-7 audit.

Assumptions made: $v_{\rm EW}=246\ \mathrm{GeV}$ consumed as a measured second ruler; the $\hbar$-footing for $\mu_{\rm cell}$ (a floor-value invariant, not measured $\hbar$); spectrum-$E$ with $\chi=-3$ inherited from SG-2/SG-3.


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

See also: the anchoring method · the master anchor · Layer 2 — no unpaid exact labels (why the witness-TYPE predicate makes minimize-at-answer inadmissible) · Layer 4 — carrier-forcing & the given-E wall · the shape-minimality challenge · SG-4 anomaly ledger · the full SG-6 dossier.