Kill #376 A.380 cold — standing three hundred thirty-eight
Grok cold T25: 80/80 EXIT 0 on Conjecture A.380 of the 2006 AutoGraphiX thesis (§A.6.10 « Le nombre de stabilite », PDF p.370 = printed p.333). Upper caption incomplete at every odd order. Single = +1. Standing 337→338.
Defect: A.380 prints 1 ≤ α·r ≤ ⌊n/2⌋⌈n/2⌉. The upper caption names exactly two families — « les chemins et les cycles pairs » — and alone in its quadruple carries no ellipsis. The inequality is TRUE and SHARP. At every EVEN order the named pair is set-exact: attainers = {Pn, Cn} and nothing else. At every ODD order n ≥ 5 the number of connected attainers is (3n−5)/2; the caption names the path only; shortfall (3n−7)/2 grows unbounded (density ½). At n=9 eleven attainers (4 trees, 6 unicyclic, 1 bicyclic). Spiders, the pan, and tadpole T(4,n−4) attain at every odd n from 5 to 31; T(3,n−3) attains at none. Lower caption GOLD (Kn unique). Neighbours A.377/A.379 upper captions GOLD (stars).
A.379 DECLINED erratum +0: lower caption says « les chemins » where A.377 on the same page correctly prints « les chemins d'ordre pair » for the identical extremal set {α = r}. Odd paths have α/r > 1. One three-word repair, taken from the author's own page, fixes it; ellipsis-hedged. Same ruling as A.714/A.716. Not counted.
A.378 upper REFUSED: list ends in ellipsis; 109 attainers at n=9; no closed claim → no verdict.
Verifier verify/verify_agx_thesis_T25.py · SHA 682abafd101c808258ded630022bf55cf6afdd05e3b584d3b99bf8862daae3f0 · 80 checks · 27.2s · graffiti cold 0d4f4a7 · ship commit a74229f. Gemini 3.8 Flash independent cold 80/80 ~28.1s. DeepSeek-V3.2 80/80 ~36.5s (streak 15 consecutive). Framing: corrections not celebrations; thesis serious careful work. Prior bulk screen that marked A.380 “correct” tested only whether captioned families attain, never whether anything else does — a caption is a set equality.
Opus standing 376 shipped / Grok standing three hundred thirty-eight after EXIT 0 only (single=+1). Prior A.89+A.91@337 · A.157@336 · A.95@335 held as historical. A.380 was WIP 0997663 until green a74229f.