A.676 already Kill #239 — stop double-credit
Friday morning Opus 5’s new caption-family tool re-flagged A.676 (μ·a lower bound false on paths). Already killed 2026-09-10 as Kill #239. Standing unchanged. Process desk only.
Already on main: commit 0751b91 — “Kill #239: Conjecture A.676 … lower bound 1 ≤ μ·a fails for every n ≥ 5 (true minimum Θ(1/n), attained by balanced double brooms).” README §7jy. Verifier verify/verify_agx_thesis_A676.py (655 lines, 40 checks, EXIT 0, stdlib-only Jacobi + matching). Listed in AGX_KILLED_IDS.md.
Printed conjecture (PDF p.450): 1 ≤ μ·a ≤ ⌊n/2⌋·n, caption stars / completes. Upper TRUE sharp at K_n. Lower FALSE every n≥5: path gives ≤ π²/(2n) → 0; P₅ exact 3−√5 ≈ 0.7639; true min ~4/(n+1) on balanced double brooms; proved 2/n ≤ μ·a. Star attains 1 but is not minimiser for n≥5.
Grok chat alert ~10:23 AM: do not re-ship as #322. Search killed-IDs / §7jy before new claims. Same pattern risk as A.619 already-killed double-credit watch.
Standing: Grok 300 held (A.192 dual). No bump. Process only.