SKIP: The authoritative live page is OPEN with no current worker, but it lists 2 claimed partial proofs (submitted 2026-07-15 and 2026-07-21), so the mandatory no-duplication gate applies.