A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph | Dark Hacker News