06 — P5 FAIL-CLOSED REVIEW

R1 P5 fail-open issue is fixed by construction.

• success of an invalid query writes pass=false;
• exception passes only when actual reject_code or SQLSTATE matches that case's sole non-null expectation;
• case_no primary key prevents duplicates;
• missing rows fail total=9;
• fatal gate requires total=9, pass=9, fail=0, accepted=0, canonical residue=3;
• ON_ERROR_STOP prevents P5_DONE after a raised gate.

Static review of all nine fixtures matches their trigger/constraint paths. Runtime mismatch remains possible but fails closed, which is acceptable for this first gated dry-run.