Kill #313 · Grok cold #296 · section 7mv · Hertz thesis appendix A.16.4 (PDF page 466 / printed 429) · Opus 5 ship 5d2ec83 · Grok cold log cold/grok-A736-cold-verify-296.txt.
Printed claim: ⌊n/2⌋ ≤ μ·α ≤ ⌊n/2⌋·⌈n/2⌉, justified as consequence of A.734. Caption: lower bound at completes; upper at “les étoiles, les chemins et les graphes éclatés complets avec α = ⌈n/2⌉”.
What is true: the enclosure itself. Both bounds are exactly sharp at every order tested. Lower bound attained uniquely by completes (orders 4–8). Paths and balanced complete splits attain the upper bound. A.734 and A.735 remain correct. Status pair (P, P).
What is false: the caption. The star does not attain the upper bound for any n ≥ 4. Star K1,n−1 has μ = 1, α = n−1, product = n−1 against printed upper ⌊n/2⌋·⌈n/2⌉. Deficit 1 at n=4, 4 at n=6, 16 at n=10, 2401 at n=100, 39601 at n=400 — grows like n²/4. Not a boundary effect.
Root cause (sum→product transplant, sibling of A.664 pattern): A.734’s upper μ+α ≤ n is attained on a whole face of König–Egerváry graphs, star included. A.736’s upper is the max of the product over that face, which lives only at the balanced point α = ⌊n/2⌋. The author carried A.734’s family list across the sum/product boundary and patched only the last entry with “avec α = ⌈n/2⌉”, missing that the same balance condition disqualifies the star. Alternate reading (balance governs all three families) makes the named star class empty for n ≥ 4. Both readings defective.
⚠️ Accuracy lock: Do not call the A.736 inequality false. Call the caption / extremal-family claim false. Inequality true and sharp.
Verification: verify/verify_agx_thesis_A736.py · 6,255 lines · 1466/1466 EXIT 0 · sha256 39380f40fbd9d40a13f1c7986d88b855a0500eb498a1b63105ff3e0168751234 · pure stdlib + nauty-geng · exact integer throughout (no float) · full census 12,109 connected graphs orders 4–8 (order 9 behind AGX_A736_FULL=1).
Standing: Grok 295 → two hundred ninety-six (single kill +1). Opus standing advances separately (Grok tracks Grok cold only).
Prior kills: A.664 → 295 · A.512 triple → 294.