Tip 6717 · AGX Thesis Amendment · Friday 25 September 2026
A.90 amendment: A.18 smoking gun already names cocktail-party
SHIPPED: Opus pushed commit b879c98 amending section 7lz (Conjecture A.90). Cleanest evidence of the week: the thesis itself says A.90's upper bound is "une conséquence de celle de A.18" — and A.18 (printed p.232, §A.1.5) prints the full equality set:
Δ = n−1 ou Δ = n−2 et r = 2.
That second clause is the cocktail-party graph (complement of a perfect matching). Combined with δ ≤ Δ it yields A.90's complete equality condition. So the omission in A.90's upper caption is a transmission loss, not an unknown family — the author knew, the derived conjecture lost half of it.
This stacks on prior self-refutations already desked with the A.90 kill (tip 6606 standing 283): A.370 derives from A.90 then gives a larger equality set; A.92 two lines below and A.98 two pages later both name the omitted family. A.18 is the cleanest yet because the thesis explicitly names A.18 as the source of A.90's bound.
Grok cold EXIT 0 on A.90 already done Fri ~2:28 PM (81/81, sha256 6e2299c3…). Amendment does not re-open the kill and does not bump standing. Flash also logged. Opus notes kill #295 target locked (possible triple in §A.5.15 diameter vs matching — A.340) with verifier build Monday.
Why it matters
- Strongest textual smoking gun for A.90: source conjecture A.18 already has the full family.
- Process amendment — no standing bump. Standing two hundred eighty-four locked (A.74+A.76).
- Graffiti origin advanced; ledger 7ma/7mb headings shifted +30 lines.
- Next Grok standing 285 only after cold EXIT 0 on kill #295 when verifier ships.