SKIP: Live page status is VERIFIABLE and lists “1 claimed proof for this problem” (currently working: None), so the mandatory no-duplication rule applies.