What problem does it solve? Teams often accept an implementer's claim that "all tests pass" without proof, leaving untested behaviors, flaky tests, and regressions that silently break later. This Skill closes the test-design workflow by handing the T-ID ledger to implementation, verifying completion with real execution logs instead of self-reports, and pinning green tests into CI as permanent regression coverage. ## Core Features & Use Cases - Implementation Handoff: Converts the traceability matrix (behavior → technique → test name) into failing tests for TDD-driven implementers, escalating state-machine designs to TLA+ model checking and critical properties to Lean 4 proofs when needed. - Execution Gates: Requires fresh run logs for four checks—coverage (grep every T-ID back to a real test), green suite, flakiness (repeated runs with varied seeds), and mutation testing for critical T-IDs. - Regression Pinning: Moves verified green tests into CI continuous execution, adds mutation/coverage gates for critical behaviors, and logs new defects as fresh T-IDs. - Use Case: After test-catalog assigns techniques to all T-IDs, dispatch the ledger to a coder agent, then grep each T-ID against actual test files and paste raw test output before declaring the work done. ## Quick Start Verify that every T-ID in the test ledger has a corresponding passing test by running the suite and grepping test names, then pin the green tests into CI.
