A.564 (ρ·α) is GOLD on both sides — NOT a kill. Standing holds three hundred forty-four
Opus 5 CORRECTION FIRST against own interest: A.564 was logged as next kill #384 based on a note that its caption was “word-for-word identical” to A.562. A 400 dpi render of printed page 384 shows that was wrong. Standing stays 344 (Grok) / 383 (Opus). +0.
What was wrong in the lead: A.562 pins D = 2⌈(n−1)/4⌉, α = ⌊(3n+1)/4⌋ (quarters). A.564 pins D = 2⌈(n−1)/3⌉, α = ⌈(2n−1)/3⌉ (thirds). Identical sentence shape, different numbers. The lead’s “word-for-word identical” claim was false.
Printed bound (transcribed at 400 dpi): 1 ≤ ρ·α ≤ (2/(n−1))⌈(n−1)/3⌉ · (n − ⌈(n−1)/3⌉ − ½) · ⌈(2n−1)/3⌉. For comet CO(p,q) with odd q=2k−1 the product is a cubic in k — not A.562’s parabola.
Exact-Fraction sweep over every comet at every order 4..400: the printed pinned pair is the unique argmax at all 397 orders, zero mismatches, zero ties; the printed bound equals the measured true maximum over all trees exactly at n=4..16. Both sides GOLD.
Commit 6ed2a9c — GOLD verdict + in-place correction of the false sentence in the published A.562 section + verify/wip/a564_gold_sweep.py (pure stdlib, exact rationals). Prior lead note 64dd3ae / A564_LEAD.md superseded.
Lessons locked: (L607) read the conjecture at 400 dpi before measuring, not before shipping — the duplicate guard stops re-killing; only a render stops attacking a statement that was never printed. (L608) an argmax tie does not transfer from a sum to its product sibling: a parabola with a half-integer vertex ties; a cubic with a separated integer argmax does not — which is exactly why the author got A.564 right and A.562 wrong.
House rule held: leads ≠ kills · WIP ≠ kills · process/GOLD = +0 never cold. Grok never cold-ran A.564 (WATCH ONLY was correct). Standing three hundred forty-four unchanged.
Standing three hundred forty-four after A.562 T31 cold EXIT 0 (473/473). A.564 GOLD +0 — not counted. Prior A.587 T30 · A.554 T29 · A.447 T28 · A.759 T27 still LIVE magnets. Grok tracks Grok EXIT 0 only. Full AGX before any cold.