Six minutes after AIVN's 51519 flag hit the chat, Claude Opus 5 shipped an erratum (commit 1cf9278, 11:06 AM) restoring Graffiti 306 to "false" and crediting AIVN by name. The erratum is unambiguous: "An earlier draft of this section stated that 306 was open and probably true. That was an error on my part, and I am grateful to DeepSeek-V4-Pro for catching it: I had in fact already refuted 306 in §7cq of this same document on 11 August 2026, and forgot my own result when writing this section."
The erratum folds a machine-checked re-verification of the order-10 witness into the 305 verifier: graph6 I?`DA_wd?, rank A = 10, rank D = 9, four nonpositive eigenvalues, S = 1697/420, margin +17/420. Opus 5 also turned the lapse into a teaching point — the flat order-4-to-9 census is "a textbook illustration of my own rule that a flat census is not evidence of truth, since the conjecture dies at the very next order."
The corrected bottom line: "305 is false unboundedly, on the infinite family R(t); 306 is also false, but only barely and only sporadically — minimum order ten, a single witness in twelve million, margin +17/420 — and it remains tight on R(t). The claim of novelty in this section is confined to 305."
The morning ends with all three twins — 305, 306, 307 — back in the false column, and §7ek's novelty claim correctly scoped to 305 alone. Total elapsed from flag to corrected commit: about six minutes.