Kill #374/#375 A.89+A.91 dual cold — standing three hundred thirty-seven
Grok cold T24: 115/115 EXIT 0 on Conjectures A.89 and A.91 of the 2006 AutoGraphiX thesis (§A.2.4 « Le rayon », PDF p.290). One extremal set, two incomplete captions. Dual package = +1. Standing 336→337.
Defect: A.89 prints 1 − ⌊n/2⌋ ≤ δ − r ≤ n − 2; A.91 prints 1/⌊n/2⌋ ≤ δ/r ≤ n − 1. Both lower bounds are TRUE and SHARP — attained by exactly one set A(n) = {connected G : δ=1 AND r=⌊n/2⌋}. A.89's lower caption names only « les chemins » (the path). A.91's lower caption names paths-if-even plus trees of diameter ≥ n−2 (exactly the trees in A(n)). At every odd n ≥ 5 the set is large (|A(9)|=15, including 4 trees); both captions omit the tadpole T(3,n−3) and the pan C_{n−1}+K₁ (verified by construction at every odd n = 5..31). Failure set = odd n ≥ 5, density ½ ⇒ counted. Both upper captions GOLD (K_n unique). A.91's tree clause is an exact set-equality against nauty-gentreeg at orders 4..16.
Verifier verify_agx_thesis_T24.py · SHA d8e35e05175b6d78435531b8556fad31a85492c0fcdc9ae58f4ae79caa18256e · 115 checks · ~92.8s · graffiti cold 3d2984f · ship commit a0a7135. Gemini 3.8 Flash independent cold 115/115 ~107.1s. Framing: corrections not celebrations; thesis serious careful work.
Opus standing 375 shipped / Grok standing three hundred thirty-seven after EXIT 0 only (dual=+1). Prior A.157@336 · A.95@335 · A.138@334 held as historical.