exact-coding
Predictive Test-Driven Development with a complete up-front test list, falsifiable predictions before deterministic checks, one-test Red-Green-Refactor cycles, domain-responsibility review, and config
SKILL.mdsite/.claude/skills/exact-coding/SKILL.md
GitHubEXACT Coding — Predictive TDD v1
This is the consumer form of the universal EXACT Coding Predictive-TDD line. It runs in one shared context: Test List once, then one-test Red-Green-Refactor cycles. Refactoring uses the Four Rules of Simple Design inline. Refactoring also applies a domain-responsibility review and a mandatory concrete boundary trial whenever it finds a credible semantic seam. This line deliberately has no APP calculation, metric-driven end pass, or refactor subagent.
Preparation
- Read
.claude/skills/test-list/SKILL.md. - Read
.claude/skills/predictive-tdd/SKILL.md. - Determine the project's language and test framework. Read the matching file
under
.claude/skills/predictive-tdd/stacks/before changing code. - Read the complete specification and establish the applicable baseline gates.
Do not assume TypeScript or Vitest from this orchestration file. Concrete inactive-test syntax, examples, paths, commands, compiler behavior, and quality tools belong only to the selected stack profile.
Sequence
- Create the complete ordered test list with every future behavior inactive, then predict and verify that the inactive list leaves the full suite green.
- Apply the Test-List checkpoint from
.claude/skills/exact-coding-shared/human-in-the-loop.md. - For exactly one behavior at a time, follow the Predictive TDD skill:
- activate one behavior and reach behavioral Red,
- state falsifiable predictions before deterministic checks and compare them explicitly with reality,
- apply the Red checkpoint,
- reach Green with the smallest production change,
- review and refactor inline under the Four Rules,
- perform the mandatory domain-boundary trial and retain or narrowly undo it based on semantic and test evidence,
- apply the Refactor checkpoint.
- Continue until every listed behavior is executable and all applicable gates from the active stack profile pass.
A test already satisfied by an earlier generalization is legitimate evidence. Confirm it and do not manufacture a failure or production change.
Method boundary
This is Predictive TDD, not TCR. Do not create phase commits or use a hard reset as a phase mechanism. Preserve successful work in the working tree. If a refactoring trial fails a check or does not improve intent, undo only that trial before continuing.
Human-in-the-loop
.claude/skills/exact-coding-shared/human-in-the-loop.md is the single source of truth for checkpoints. Its default
full-hitl level stops after Test List, Red, and Refactor, and whenever a
prediction is wrong. Green has no default stop.
Provenance
Exported from the promoted exact-ptdd-v1-pi workflow. The methodology was validated
on GPT-5.6 SOL with pi. Other harness trees are
mechanical ports of the same files, not claims of cross-harness validation.