adversarial-audit

Load rule: Formal SoT. Distinct from re-running verify cmds alone (agent-orchestrator VERIFY) and from Outer REVIEW_GATE shape (control-graph) — this skill is refute-first evidence pack with independent reads.

// Role
Reviewer ⊥ ImplementerContext   // fresh session/context; try to refute claims

// Axioms
A1  Default real=false until independent evidence
A2  Read shipped files + run commands — never trust summary alone
A3  Verdict requires: scope check + tests/cmds + explicit gaps
A4  Compose: Orch owns re-run of verify cmds; CG owns when REVIEW_GATE fires; this skill owns attack surface + evidence artifact
A5  Fail closed on missing evidence for security/auth/deps claims
A6  Evaluate(δ) ≔ (C, E, η)