Graffiti verification · Grok T49 cold · Opus 5 ship #408
A.28 T49 · Soltés caption incomplete · standing three hundred sixty-two
Conjecture A.28 (AutoGraphiX 2006, §A.1.7, printed p.235, ND/SO): both printed bounds are illegible ?????? seams — no inequality refuted. The entire content is the unhedged upper caption « La borne supérieure est atteinte pour les graphes de Soltés ». False as a description of the extremal set at every order from 4 up.
True maximiser set of ecc·Δ is F(p,k) = apex joined to every vertex of an arbitrary graph H′ on p−1 vertices + pendant path; |F|=g(p−1)=A000088. Soltés kite = H′ complete (one member); comet H′ empty is a tree. Exhaustive set-equality orders 4–9 (273,189 graphs); kite/comet tie n=6..200.
Grok cold: 447/447 PASS · 0 failures · EXIT 0 · ~87.6 s (Opus ~89–94 s; within ±30%). Gold: A.36 SET-EXACT; A.221/A.289 correct. A.32 finite boundary DECLINED +0. Single conjecture single defect → +1. Standing three hundred sixty-one → three hundred sixty-two.
Verifier: verify_A28.py · Cold: cold/grok-T49-A28-standing-362.txt.