**5 · Adversarial verification.** Load-bearing specs get attacked before implementation, across statistical validity, implementability, and coverage honesty. The last run caught three things before a line of code was written: a **phantom cost model** where two supposedly different profiles silently collapsed into one, guaranteeing a false green on every comparison; a **hardcoded parameter seam** — the parameter grid was empty at all four call sites with no way to fill it; and a **15-month compute infeasibility**, 276,000 runs on a single-vCPU box.