git:20260901.8bc747e to git:20261028.a5e37ce

43 added, 99 removed. Audit A to A.

---
name: test-driven-development
description: |
Explicit `/test-driven-development` reference for a strict test-first workflow.
Use only when the user explicitly requests TDD, "test first", or "테스트 먼저";
do not auto-apply during routine implementation.
---
# Test-Driven Development (TDD)
+ ## Invocation and Resource Paths
+
+ This module is source-only by default and applies when the user explicitly requests
+ TDD or test-first development. Do not assume its slash command is registered.
+ Resolve its exact `SKILL.md` from the project, the current runtime's active skill root,
+ then the matching `SKILLS-CATALOG.md` row. `module_root` is the directory containing
+ that file; read supporting documents relative to it, regardless of the project working directory.
+
## Overview
Write the test first. Watch it fail. Write minimal code to pass.
**Core principle:** If you didn't watch the test fail, you don't know if it tests the right thing.
- **Violating the letter of the rules is violating the spirit of the rules.**
-
- ## Step 0: 테스트 프레임워크 자동 감지
-
- TDD 시작 전 프로젝트의 테스트 환경을 감지합니다:
-
- ```bash
- # 프레임워크 감지
- _TEST_CMD=""
- [ -f "package.json" ] && grep -q "vitest" package.json && _TEST_CMD="npx vitest run"
- [ -f "package.json" ] && grep -q "jest" package.json && _TEST_CMD="npx jest"
- [ -f "pytest.ini" ] || [ -f "pyproject.toml" ] && grep -q "pytest" pyproject.toml 2>/dev/null && _TEST_CMD="pytest"
- [ -f "pom.xml" ] && _TEST_CMD="mvn test"
- [ -f "*.csproj" ] && _TEST_CMD="dotnet test"
- [ -f "go.mod" ] && _TEST_CMD="go test ./..."
-
- echo "TEST_CMD: ${_TEST_CMD:-감지 실패 — 사용자에게 확인}"
- ```
-
- | 감지 패턴 | 프레임워크 | 단일 파일 실행 | 전체 실행 |
- |-----------|-----------|--------------|----------|
- | vitest in package.json | Vitest | `npx vitest run path/to/test.ts` | `npx vitest run` |
- | jest in package.json | Jest | `npx jest path/to/test.ts` | `npx jest` |
- | pytest.ini / pyproject.toml | pytest | `pytest path/to/test.py` | `pytest` |
- | pom.xml | JUnit/Maven | `mvn test -pl module -Dtest=TestClass` | `mvn test` |
- | *.csproj | xUnit/NUnit | `dotnet test --filter ClassName` | `dotnet test` |
- | go.mod | Go testing | `go test ./pkg/...` | `go test ./...` |
- | 없음 | - | 사용자에게 확인 | - |
-
- **파일 위치 컨벤션:**
+ ## Step 0: 프로젝트 테스트 계약 확인
- | 프레임워크 | 테스트 파일 위치 | 네이밍 |
- |-----------|----------------|--------|
- | Vitest/Jest | `src/__tests__/` 또는 `*.test.ts` | `{name}.test.ts` |
- | pytest | `tests/` | `test_{name}.py` |
- | JUnit | `src/test/java/` | `{Name}Test.java` |
- | xUnit | `*.Tests/` | `{Name}Tests.cs` |
- | Go | 같은 디렉토리 | `{name}_test.go` |
+ README·manifest·lockfile·테스트 설정·CI와 인접 테스트에서 실제 실행 명령을 확인한다.
+ 기존 package script나 wrapper를 우선하고, 파일 이름만 보고 runner를 단정하지 않는다.
+ 모노레포의 작업 디렉터리·패키지 선택·단일 테스트 필터와 필수 전체 검사를 구분한다.
+ 테스트 위치·이름도 기존 관례를 따른다. 아래 `npm test` 예시는 확인한 프로젝트 명령으로 바꾼다.
+ 실행 환경이 없으면 `NOT RUN`과 필요한 조건을 기록하고, 쓰기나 정적 확인을 테스트 통과로 보고하지 않는다.
## The Iron Law
```
NO PRODUCTION CODE WITHOUT A FAILING TEST FIRST
```
- Write code before the test? Delete it. Start over.
-
- **No exceptions:**
- - Don't keep it as "reference"
- - Don't "adapt" it while writing tests
- - Don't look at it
- - Delete means delete
-
- Implement fresh from tests. Period.
+ This governs new behavior in the authorized change. Preserve existing production code,
+ user edits, and other workers' changes. If this experiment's implementation was written
+ first, record the missed RED step and restore only its own changes to a known baseline
+ before replaying the cycle. Never reset a file or delete existing work merely to satisfy TDD.
+ For existing behavior, characterization tests may pass immediately; label them as such
+ and separately demonstrate that a regression test detects the defect being fixed.
## Red-Green-Refactor
```dot
digraph tdd_cycle {
rankdir=LR;
red [label="RED\nWrite failing test", shape=box, style=filled, fillcolor="#ffcccc"];
verify_red [label="Verify fails\ncorrectly", shape=diamond];
green [label="GREEN\nMinimal code", shape=box, style=filled, fillcolor="#ccffcc"];
verify_green [label="Verify passes\nAll green", shape=diamond];
refactor [label="REFACTOR\nClean up", shape=box, style=filled, fillcolor="#ccccff"];
next [label="Next", shape=ellipse];
red -> verify_red;
verify_red -> green [label="yes"];
verify_red -> red [label="wrong\nfailure"];
green -> verify_green;
verify_green -> refactor [label="yes"];
verify_green -> green [label="no"];
refactor -> verify_green [label="stay\ngreen"];
verify_green -> next;
next -> red;
}
```
### RED - Write Failing Test
Write one minimal test showing what should happen.
<Good>
```typescript
test('retries failed operations 3 times', async () => {
let attempts = 0;
const operation = () => {
attempts++;
if (attempts < 3) throw new Error('fail');
return 'success';
};
const result = await retryOperation(operation);
expect(result).toBe('success');
expect(attempts).toBe(3);
});
```
Clear name, tests real behavior, one thing
</Good>
<Bad>
```typescript
test('retry works', async () => {
const mock = jest.fn()
.mockRejectedValueOnce(new Error())
.mockRejectedValueOnce(new Error())
.mockResolvedValueOnce('success');
await retryOperation(mock);
expect(mock).toHaveBeenCalledTimes(3);
});
```
Vague name, tests mock not code
</Bad>
**Requirements:**
- One behavior
- Clear name
- Real code (no mocks unless unavoidable)
### Verify RED - Watch It Fail
**MANDATORY. Never skip.**
```bash
npm test path/to/test.test.ts
```
Confirm:
- Test fails (not errors)
- Failure message is expected
- Fails because feature missing (not typos)
- **Test passes?** You're testing existing behavior. Fix test.
+ **Test passes?** Check whether it exercises existing behavior or misses the intended change;
+ do not change an expectation merely to force a failure.
**Test errors?** Fix error, re-run until it fails correctly.
### GREEN - Minimal Code
Write simplest code to pass the test.
<Good>
```typescript
async function retryOperation<T>(fn: () => Promise<T>): Promise<T> {
for (let i = 0; i < 3; i++) {
try {
return await fn();
} catch (e) {
if (i === 2) throw e;
}
}
throw new Error('unreachable');
}
```
Just enough to pass
</Good>
<Bad>
```typescript
async function retryOperation<T>(
fn: () => Promise<T>,
options?: {
maxRetries?: number;
backoff?: 'linear' | 'exponential';
onRetry?: (attempt: number) => void;
}
): Promise<T> {
// YAGNI
}
```
Over-engineered
</Bad>
Don't add features, refactor other code, or "improve" beyond the test.
### Verify GREEN - Watch It Pass
**MANDATORY.**
```bash
npm test path/to/test.test.ts
```
Confirm:
- Test passes
- - Other tests still pass
- - Output pristine (no errors, warnings)
+ - Required project checks and affected regression tests pass
+ - Output and exit codes have been reviewed; relevant warnings and failures are reported
**Test fails?** Fix code, not test.
- **Other tests fail?** Fix now.
+ **Other tests fail?** Check whether the change caused them. Fix regressions within scope
+ and report pre-existing or external failures explicitly. Reuse valid evidence for unchanged
+ code and conditions; repeat checks when changes, failures, or unresolved doubts justify it.
### REFACTOR - Clean Up
After green only:
- Remove duplication
- Improve names
- Extract helpers
Keep tests green. Don't add behavior.
### Repeat
Next failing test for next feature.
## Good Tests
| Quality | Good | Bad |
|---------|------|-----|
| **Minimal** | One thing. "and" in name? Split it. | `test('validates email and domain and whitespace')` |
| **Clear** | Name describes behavior | `test('test1')` |
| **Shows intent** | Demonstrates desired API | Obscures what code should do |
- ## Tests-After vs Tests-First
-
- The most common rationalization: "tests after achieve the same goals."
-
- They don't. Tests-after answer "What does this do?" Tests-first answer "What should this do?"
-
- Tests written after code pass immediately — you never saw them catch the bug. Passing immediately proves the test runs, not that it tests the right thing. Tests-after are biased by your implementation: you test what you built, verify edge cases you remember, miss the ones you forgot.
-
- Tests-first force edge case discovery before implementing. The test that's hard to write signals a design problem. Listen to it.
-
- **On "deleting X hours is wasteful":** The time is already gone. Your choice is between deleting and rewriting with TDD (high confidence) or keeping code and adding tests after (30 min, low confidence, likely bugs). The waste is keeping code you can't trust.
-
- ## Common Rationalizations
-
- | Excuse | Reality |
- |--------|---------|
- | "Too simple to test" | Simple code breaks. Test takes 30 seconds. |
- | "I'll test after" | Tests passing immediately prove nothing. |
- | "Tests after achieve same goals" | Tests-after = "what does this do?" Tests-first = "what should this do?" |
- | "Already manually tested" | Ad-hoc ≠ systematic. No record, can't re-run. |
- | "Deleting X hours is wasteful" | Sunk cost fallacy. Keeping unverified code is technical debt. |
- | "Keep as reference, write tests first" | You'll adapt it. That's testing after. Delete means delete. |
- | "Need to explore first" | Fine. Throw away exploration, start with TDD. |
- | "Test hard = design unclear" | Listen to test. Hard to test = hard to use. |
- | "TDD will slow me down" | TDD faster than debugging. Pragmatic = test-first. |
- | "Manual test faster" | Manual doesn't prove edge cases. You'll re-test every change. |
- | "Existing code has no tests" | You're improving it. Add tests for existing code. |
-
- ## Red Flags - STOP and Start Over
-
- - Code before test
- - Test after implementation
- - Test passes immediately
- - Can't explain why test failed
- - Tests added "later"
- - Rationalizing "just this once"
- - "I already manually tested it"
- - "Tests after achieve the same purpose"
- - "It's about spirit not ritual"
- - "Keep as reference" or "adapt existing code"
- - "Already spent X hours, deleting is wasteful"
- - "TDD is dogmatic, I'm being pragmatic"
- - "This is different because..."
+ ## Evidence Gaps
- **All of these mean: Delete code. Start over with TDD.**
+ - A passing test alone does not prove it would catch the intended defect. Identify the
+ behavior change that should make it fail, then demonstrate RED on the relevant baseline.
+ - An import, setup, or environment error is not the intended RED result. Resolve the
+ prerequisite and verify the behavioral failure before implementation.
+ - Tests that only mirror the implementation or assert on mock calls may miss the user-visible
+ contract. Assert on observable outcomes and meaningful boundaries.
+ - Record deviations from the requested cycle honestly. Do not fabricate a RED run, weaken
+ expectations, or discard unrelated work to make the process appear compliant.
## Example: Bug Fix
**Bug:** Empty email accepted
**RED**
```typescript
test('rejects empty email', async () => {
const result = await submitForm({ email: '' });
expect(result.error).toBe('Email required');
});
```
**Verify RED**
```bash
$ npm test
FAIL: expected 'Email required', got undefined
```
**GREEN**
```typescript
function submitForm(data: FormData) {
if (!data.email?.trim()) {
return { error: 'Email required' };
}
// ...
}
```
**Verify GREEN**
```bash
$ npm test
PASS
```
**REFACTOR**
Extract validation for multiple fields if needed.
## Verification Checklist
Before marking work complete:
- - [ ] Every new function/method has a test
+ - [ ] Each changed behavior has a meaningful test
- [ ] Watched each test fail before implementing
- [ ] Each test failed for expected reason (feature missing, not typo)
- [ ] Wrote minimal code to pass each test
- - [ ] All tests pass
- - [ ] Output pristine (no errors, warnings)
+ - [ ] Required checks pass; failures and unexecuted checks are named
+ - [ ] Commands, code/environment identity, exit codes, and relevant output are recorded
- [ ] Tests use real code (mocks only if unavoidable)
- [ ] Edge cases and errors covered
- Can't check all boxes? You skipped TDD. Start over.
+ Report missing evidence and complete the relevant step; do not claim the full cycle ran
+ or restart unrelated work to satisfy this checklist.
## When Stuck
| Problem | Solution |
|---------|----------|
| Don't know how to test | Write wished-for API. Write assertion first. Ask your human partner. |
| Test too complicated | Design too complicated. Simplify interface. |
| Must mock everything | Code too coupled. Use dependency injection. |
| Test setup huge | Extract helpers. Still complex? Simplify design. |
## Debugging Integration
Bug found? Write failing test reproducing it. Follow TDD cycle. Test proves fix and prevents regression.
Never fix bugs without a test.
## Testing Anti-Patterns
- When adding mocks or test utilities, read @testing-anti-patterns.md to avoid common pitfalls:
+ When adding mocks or test utilities, read [testing-anti-patterns.md](testing-anti-patterns.md)
+ under `module_root` to avoid common pitfalls:
- Testing mock behavior instead of real behavior
- Adding test-only methods to production classes
- Mocking without understanding dependencies
## Final Rule
```
Production code → test exists and failed first
Otherwise → not TDD
```
No exceptions without your human partner's permission.