What problem does it solve? A green test suite, linter, and CLI run catch almost nothing the build agent has not already caught. This Skill supplies the adversarial checks and review questions a verifier must run to find defects that a passing suite cannot, so branches are not merged on the strength of exit code 0 alone. ## Core Features & Use Cases - Adversarial check catalog: Twelve named attacks such as "Make the new thing fail", "Test a gate in three directions", and "Re-derive one number by hand", each targeting a specific class of defect a green suite misses. - Review questions: Rulings on injectivity of cache keys, Option types at parse boundaries, empty arms, and checks that cannot run, grounded in recorded decision documents. - Verifier self-suspicion protocol: Recorded failure shapes (wrong denominator, stale locks, git-dependent suites over archives) so the verifier suspects its own check before contradicting the build note. - Use Case: Before merging a branch that adds a new lint rule, the verifier injects defects by hand, confirms the rule fires with a message naming the offender, predicts the finding count before running, and re-derives one reported number with an independent script. ## Quick Start Invoke the hw-verification-bar skill before verifying a branch as hw-verify and run the three mandatory checks: make the new thing fail, re-derive one number by hand, and suspect your own check first.
