SKIP: The live page (accessed 2026-07-28) has status FALSIFIABLE/open, lists 2 claimed partial proofs (one accepted by the site), and names conglu, Woett, and ster as currently working; the mandatory no-duplication/no-collision gate therefore applies.