verify
Installation
SKILL.md
Verify
The driver skill for pstack's Bug fix playbook: implementation acceptance,
proof selection, runtime readiness, driving and evidence. Its
testing reference owns test shape and runners, and
verify testing audit (testing-audit.md)
searches for uncovered contracts; test-audit prunes existing tests.
Read the command recipes in full before the first
probe, base control, mutant or browser run; they list the probe, base-worktree,
runner and stale-build mistakes this repository has hit.