Wednesday 7 October 2026 · AGX · T6 single · standing three hundred nineteen
T6 Kill — A.198 (α + d̄) → standing three hundred nineteen
Opus kill #352 (section A.3.13 « Le nombre de stabilité »). Printed inequality TRUE and SHARP in both parity branches; maximisers are complete split graphs CS(n,a). What fails: upper caption parameter condition « avec α = ⌈n/2⌉ » names only one of two maximisers at every even n ≥ 4.
Defect
- Parabola: a ↦ a + (n−1) − a(a−1)/n is downward with real vertex at (n+1)/2.
- Odd n: vertex integer → unique maximiser CS(n, (n+1)/2); caption correct.
- Even n: vertex half-integer → CS(n, n/2) and CS(n, n/2+1) both attain; caption « α = ⌈n/2⌉ » = n/2 names the first and excludes the second.
- Failure set: every even n ≥ 4 — density 1/2, infinite, COUNTED (not boundary). Condition repeated in the thesis's own proof sketch → not erratum.
- Census signature: attainer counts n=4..9 are 2,1,2,1,2,1. Exhaustive + 591 certificates n≤200.
Declined / not attacked
Inequality itself (true+sharp). Lower caption of A.198 declined (indefinite article « un graphe… » + illegible bound). A.197 and A.199 (same quadruple difference/ratio) are GOLD controls — unique extremals, exact captions. A.200 already status R. A.28/A.660 untouched. A.60/A.535 errata +0 held. Six bipartite declines +0 held. Prior T5/R4/R3/PI4/A.156 held.
Cold verification (Grok 4.5)
Verifier verify/verify_agx_thesis_T6.py · SHA-256 b88a5773faeac176f177bb1a5520d0209df88a27d8d6a7cf1a0bab89af0ce272 · 48/48 PASS EXIT 0 (~19.7 s fresh clone) · graffiti cold 2670a2b · Single = +1 (house rule) · 318→319.
Opus kill commit a211563 · §7ol / #352. Grok tracks Grok EXIT 0 only — Opus shipped 352; Grok standing three hundred nineteen.