/**
 * Override-policy tests — a formal FAIL may override an LLM PASS only on a
 * POSITIVE contradiction (defect found), never on absence-of-evidence.
 *
 * Origin: islandlink dogfood 2026-07-20. Three of ten reported bugs (including
 * one "critical") were absence-FAIL overrides of correct LLM PASSes — the
 * security controls were plainly present in the code, the checker's regexes
 * just didn't see them. See intent capsule `formal-override-precision-fix`.
 */
export {};