SKIP: Live page status “OPEN” with “0 claimed proofs” and no current worker, but its live discussion contains Przemek Chojecki’s explicit 12 Apr 2026 claim of a proof of the first statement; the mandatory claimed-proof non-duplication rule applies.