SKIP: Live page status OPEN; it lists 1 claimed proof (a partial proof claimed by Jeffrey Zeng, submitted 2026-07-24 17:13:29) and no current worker, so the mandatory no-duplication rule applies.