bug-audit

Adversarial hunt for reachable correctness, security, concurrency, persistence, and reliability bugs in code or diffs. Use for bug audits, defect hunts, confirmed-bug reports. Not for implementation.