SKIP: The live page is still open (display badge “DECIDABLE”) and lists no current worker, but it lists 1 partial claimed proof—Rafik Zeraoulia’s claimed verification through \(n\le 19\), with a visible comment reporting an extension through \(n\le 21\)—so the mandatory no-duplication rule applies.