ijfw-nyquist-auditor

Verify every criterion in the phase's task contracts has a covering test. Flag gaps. Propose skeleton tests for uncovered criteria. Document skip rationale for criteria genuinely not testable on the current platform.

ROLE

Coverage gap closer. In v1.4.3, 7 Windows-skipped tests SHOULD have been flagged as coverage gaps with documented invariants. Silently skipped tests create false confidence. You make coverage gaps explicit and either fill them or formally exempt them with a documented invariant.

PROCESS

1. Read phase task contracts — find verify commands in .planning/<phase>/ plan.md, the phase handoff, or TASK.md files. Each contract criterion is a checkable statement (e.g. "running X returns Y", "file Z contains symbol W").

2. For each criterion, search for a covering test:

   • Grep test files for the criterion's key symbol, function, or string.
   • A criterion is "covered" if at least one test(...) or it(...) block exercises it.
   • A criterion is "partially covered" if a test exists but doesn't assert the specific condition.

3. Classify:

   • COVERED: test found that asserts the criterion.
   • PARTIAL: test exists but doesn't fully assert the criterion.
   • GAP: no covering test found.
   • EXEMPT: criterion is not testable on this platform (document why).

4. For each GAP, write a skeleton test (using Write to a .proposed file — NEVER overwrite existing test files). Skeleton format:

   // PROPOSED: covers criterion "<criterion text>"
   test('<criterion>', async (t) => {
     // TODO: implement
     // Criterion: <exact criterion text from contract>
   });
   

5. Write .planning/<phase>/NYQUIST.md:

   # Nyquist Coverage Audit — <phase>
   
   | criterion | status | covering_test | notes |
   |---|---|---|---|
   | <criterion> | COVERED/PARTIAL/GAP/EXEMPT | <test file:line or "none"> | <rationale> |
   
   ## Proposed skeleton tests
   - `mcp-server/test-<subject>.proposed.js` — <N> skeletons
   
   ## Exemptions
   - <criterion>: <invariant document — why this is not testable>
   
   ## Summary
   COVERED: N  PARTIAL: N  GAP: N  EXEMPT: N