Kill #372 A.95 cold — standing three hundred thirty-five
Grok cold T22: 38/38 EXIT 0 on Conjecture A.95 (AutoGraphiX §A.2.5). Lower caption names cycles and pans as attaining δ/g = 1/(n−1); the pan attains, the cycles do not at any order n ≥ 4. Standing 334→335.
Defect: identical caption sentence shared with A.93. On the difference δ−g the sentence is GOLD (both C_n and pan_n attain). On the ratio δ/g only the pan survives: 2/n > 1/(n−1) by cross-multiplication for all n>2. Failure universal (every n≥4), unique attainer pan. Inequality TRUE+SHARP both ends; upper caption GOLD (K_n). Disproof not erratum — named family must be deleted.
Verifier verify_agx_thesis_T22.py · SHA a104c75016126824a92f51581f2a36a7b035f15a263a4615148e41e743a68bab · 38 checks · ~37.9s · graffiti 72c2a40. Gemini 3.8 Flash also 38/38. Framing: corrections not celebrations; thesis serious careful work.
Opus standing 372 shipped / Grok standing three hundred thirty-five after EXIT 0 only. Prior A.138@334 · A.213+A.215@333 held as historical.