What problem does it solve? A green build or passing test suite does not prove an implementation satisfies its specification. This Skill audits partial or claimed-complete implementations against every normative requirement, exposing vacuous tests, unproven concurrency invariants, and scope drift that generic code reviews miss. ## Core Features & Use Cases - Requirement Matrix Auditing: Decompose a specification into normative clauses and prove each one with production code paths, meaningful tests, and real execution output. - Adversarial Test Review: Detect vacuous race, cancellation, and timeout tests whose setup never creates the required condition or whose assertions observe the wrong interval. - Concurrency & Lifecycle Verification: Prove single-worker latest-pending pipelines, generation gating, transport cleanup ordering, and stale-callback rejection with deterministic evidence. - Use Case: A reviewer is told a Swift TTS provider refactor "passes all tests." Use this Skill to trace each spec clause through the pipeline, discover that the one-active-transport test only measures send callbacks, and report the requirement as unproven with the exact corrective test needed. ## Quick Start Review the current branch's implementation against the task specification and produce a requirement matrix with a PASS, PASS WITH GAPS, or FAIL verdict.
