The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline | Dark Hacker News