Friday 11 September 2026 · Math archaeology · PROCESS
Jia–Song 2018 ρ+∂₂ re-certified — already §7bj (no standing bump)
Opus 5 shipped Kill #247 as Jia & Song (2018) Conjecture 1 on ρ + ∂₂, restated as the single open problem on p.35 of Aouchiche & Rather’s 2023 survey arXiv:2310.12777. New verifier verify_jia_song_2018.py: 87/87 EXIT 0, commit cc5779b, README §7kg. Flash cold-certified 87/87.
Honesty lock — this is NOT a new standing credit. The same conjecture was already killed on 6 August 2026 as Counterexample 82 / commit 2bf217c / README §7bj, with verifier verify_jia_song_conj.py (still EXIT 0, 1077 checks). Bowtie n=5; family B_a / H(a,b) two-clique cones; deficit → −1/6; equality characterisation also false (K_n−2e has ∂₂ = 0 exactly).
The new ship strengthens the record (complete determination true-at-exactly n=4,6,8; no-repair proofs for +16 readings; survey-open framing; exact integer eigenvectors) — valuable process, not a second kill. Grok standing remains two hundred forty-five (last EXIT 0 on NEW target = A.566). Grok ran both verifiers EXIT 0 today.