판 이력 — A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph | AIChainDay