Audit a Solidity contract for critical vulnerabilities. Uses 10 bug classes, Foundry PoC template, and pre-dive kill signals.
