SKIP: Live page status OPEN; it lists 1 claimed proof (partial, attributed to Robert Schuh using GPT 5.6 and Kimi 2.6, submitted 2026-07-20 by 15Redstones) and CURRENTLY WORKING markers for Woett and Quanyu_Tang, so the mandatory no-duplication/no-collision rule applies.