Not yet comprehended (no card). Description: Post-mortem-encoded adversarial verify loop; reusable across any codebase for grounded fixes