okstra 0.55.0 → 0.56.1

package/docs/superpowers/plans/2026-06-07-stage-conformance-qa-phase4a.md

@@ -0,0 +1,147 @@
+# Stage Conformance QA — Phase 4a (위치 SSOT + 게이트 task-level 전환) Implementation Plan
+
+> **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking.
+
+**Goal:** conformance 산출물의 단일 출처를 task-level `<task_root>/qa/` 로 확정한다 — `paths.py` 에 `TASK_QA_PATH` 토큰을 추가하고, Phase 3 게이트(`_validate_conformance`)가 run-level 대신 task-level `qa/` 를 읽도록 고친다(Phase 3 의 final-verification 잠복 결함 해소).
+
+**Architecture:** 순수 경로/검증 변경. SSOT: [`docs/superpowers/specs/2026-06-07-stage-conformance-qa-design.md`](../specs/2026-06-07-stage-conformance-qa-design.md) §12.1.
+
+**Tech Stack:** Python 3 (stdlib + pytest).
+
+**전제:** Phase 1~3 완료. `validators/validate-run.py` 에 `_validate_conformance` 존재, `tests/test_validate_run_conformance.py` 존재.
+
+**경로 사실(확정):** report_path = `task_root/runs/<task-type>/reports/final-report-*.md`. 따라서 `run_dir = report_path.parent.parent`(=`runs/<task-type>`), `task_root = run_dir.parent.parent`, `qa_dir = task_root / "qa"`. (`report_path.parent.parent.parent` 는 `runs/` 이므로 잘못 — 한 단계 더 올라가야 함.)
+
+---
+
+## Task 1: `paths.py` 에 TASK_QA_PATH 토큰 추가
+
+**Files:**
+- Modify: `scripts/okstra_ctl/paths.py`
+- Test: `tests/test_task_path_ssot.py`
+
+- [ ] **Step 1: 실패 테스트 추가**
+
+`tests/test_task_path_ssot.py` 끝에 추가:
+
+```python
+def test_task_qa_path_under_task_root():
+    root = Path("/tmp/proj")
+    ctx = compute_run_paths(
+        workspace_root=Path("/ws"),
+        project_root=root,
+        project_id="p",
+        task_group="My Group",
+        task_id="Task ID 01",
+        task_type="implementation",
+        run_seq_override=1,
+    )
+    assert ctx["TASK_QA_PATH"] == str(Path(ctx["TASK_ROOT"]) / "qa")
+```
+
+- [ ] **Step 2: 실패 확인**
+
+Run: `python3 -m pytest tests/test_task_path_ssot.py -q`
+Expected: FAIL — `KeyError: 'TASK_QA_PATH'`
+
+- [ ] **Step 3: 구현**
+
+`scripts/okstra_ctl/paths.py` 의 `analysis_packet = instruction_set / "analysis-packet.md"` (line 119 부근) 다음 줄에 추가:
+
+```python
+    task_qa = task_root / "qa"
+```
+
+같은 함수의 `abs_paths` 딕셔너리에서 `"ANALYSIS_PACKET_PATH": str(analysis_packet),` 다음 줄에 추가:
+
+```python
+        "TASK_QA_PATH": str(task_qa),
+```
+
+- [ ] **Step 4: 통과 확인**
+
+Run: `python3 -m pytest tests/test_task_path_ssot.py -q`
+Expected: PASS
+
+- [ ] **Step 5: 커밋**
+
+```bash
+git add scripts/okstra_ctl/paths.py tests/test_task_path_ssot.py
+git commit -m "feat(okstra_ctl/paths): conformance task-level qa 경로 토큰(TASK_QA_PATH)"
+```
+
+## Task 2: 게이트를 task-level `qa/` 로 전환
+
+**Files:**
+- Modify: `validators/validate-run.py`
+- Test: `tests/test_validate_run_conformance.py`
+
+- [ ] **Step 1: 테스트 fixture 를 task-level 로 갱신(먼저 실패 유도)**
+
+`tests/test_validate_run_conformance.py` 의 `_make_run` 에서 qa 디렉터리를 task_root(=`tmp_path`) 아래로 옮긴다. 현재:
+
+```python
+    run_dir = tmp_path / "runs" / "implementation"
+    (run_dir / "reports").mkdir(parents=True)
+    qa = run_dir / "qa"
+    qa.mkdir()
+```
+
+로 바꾼다:
+
+```python
+    run_dir = tmp_path / "runs" / "implementation"
+    (run_dir / "reports").mkdir(parents=True)
+    qa = tmp_path / "qa"   # task-level: <task_root>/qa (task_root = tmp_path)
+    qa.mkdir()
+```
+
+(`test_no_manifest_is_inert` 는 qa 를 만들지 않으므로 그대로 inert — 변경 불필요.)
+
+- [ ] **Step 2: 실패 확인**
+
+Run: `python3 -m pytest tests/test_validate_run_conformance.py -q`
+Expected: FAIL — 게이트가 아직 run-level(`run_dir/qa`)을 읽어 매니페스트를 못 찾고 inert 처리 → `test_missing_result_is_blocking`/`test_failing_result_is_blocking`/`test_malformed_manifest_reported` 가 기대 실패를 못 내고 FAIL.
+
+- [ ] **Step 3: 구현 — 게이트 경로 수정**
+
+`validators/validate-run.py` 의 `_validate_conformance` 에서:
+
+```python
+    qa_dir = report_path.parent.parent / "qa"
+```
+
+를 다음으로 바꾼다:
+
+```python
+    # conformance 산출물은 task-level(<task_root>/qa)에 있어 planning/
+    # implementation/final-verification 가 공유한다. report_path 는
+    # task_root/runs/<task-type>/reports/final-report.md 이므로 task_root 는
+    # run_dir(=report_path.parent.parent)에서 두 단계 위.
+    run_dir = report_path.parent.parent
+    qa_dir = run_dir.parent.parent / "qa"
+```
+
+- [ ] **Step 4: 통과 확인 + 전체 회귀 + workflow validator**
+
+Run: `python3 -m pytest tests/test_validate_run_conformance.py -q` → Expected: PASS (7 passed)
+Run: `python3 -m pytest tests/ -q` → Expected: 전부 통과
+Run: `bash validators/validate-workflow.sh` → Expected: PASS (fixture 에 `<task_root>/qa` 없음 → inert)
+
+- [ ] **Step 5: 커밋**
+
+```bash
+git add validators/validate-run.py tests/test_validate_run_conformance.py
+git commit -m "fix(validators): conformance 게이트를 task-level qa 로 전환(final-verification 공유)"
+```
+
+---
+
+## Phase 4a Self-Review 체크
+
+- [ ] `TASK_QA_PATH == <task_root>/qa` 인가?
+- [ ] 게이트가 task_root/qa 를 읽어 implementation·final-verification 가 같은 위치를 보는가?
+- [ ] inert(매니페스트 부재) 동작 유지 — 기존 run/ workflow validator 무영향?
+- [ ] 전체 pytest + workflow validator 통과?
+
+Phase 4a 완료 후 Phase 4b(`detect_surfaces` + diff-surface 교차검증) 계획을 작성한다.

package/docs/superpowers/plans/2026-06-07-stage-conformance-qa-phase4b.md

@@ -0,0 +1,262 @@
+# Stage Conformance QA — Phase 4b (diff-surface 교차검증) Implementation Plan
+
+> **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking.
+
+**Goal:** implementation 리포트의 변경 파일에서 db/io/http surface 를 감지하고, 그 surface 를 매니페스트가 선언(`requires`)하지 않았으면 BLOCKING 한다 — DEV-9184 의 "diff 가 db 를 건드렸는데 미선언/오면제 → silent pass" 를 자동 차단.
+
+**Architecture:** 두 순수 함수(`detect_surfaces`, `manifest_required_surfaces`)를 `conformance.py` 에 추가(TDD) + validate-run 의 `_validate_conformance` 에 리포트 §5.7.3 Diff Summary 파싱 + 교차검증 추가. **매니페스트 레벨 커버리지**(detected − union(requires))로 판정하므로 리포트→stageKey 매핑이 불필요하다(한 run=한 stage, 매니페스트는 task 전체). exemption 된 stage 의 누락 surface 도 union 에 안 들어가 자동으로 BLOCKING(spec §7.1 false-exemption). SSOT: [`docs/superpowers/specs/2026-06-07-stage-conformance-qa-design.md`](../specs/2026-06-07-stage-conformance-qa-design.md) §12.4.
+
+**Tech Stack:** Python 3 (stdlib `fnmatch`/`re` + pytest).
+
+**전제:** Phase 1~4a 완료. `conformance.py` 에 매니페스트/판정 함수, `validate-run.py` 에 `_validate_conformance`(task-level qa) 존재.
+
+**범위 한정:** diff-surface 교차검증은 **implementation 리포트(§5.7.3 Diff Summary 표 존재)** 에만 적용. final-verification 의 git-stat 기반 감지는 후속(이번 범위 아님). final-verification 의 결과-기반 게이트(Phase 3)는 그대로 작동.
+
+---
+
+## Task 1: surface 감지 순수 함수
+
+**Files:**
+- Modify: `scripts/okstra_ctl/conformance.py`
+- Test: `tests/test_okstra_ctl_conformance.py`
+
+- [ ] **Step 1: 실패 테스트 추가**
+
+```python
+from okstra_ctl.conformance import (  # noqa: E402  (기존 import 에 합쳐도 됨)
+    detect_surfaces,
+    manifest_required_surfaces,
+)
+
+
+def test_detect_surfaces_db_from_repository_and_sql():
+    assert detect_surfaces(["src/foo/license.repository.ts"]) == {"db"}
+    assert detect_surfaces(["db/migrations/001_init.sql"]) == {"db"}
+    assert detect_surfaces(["src/user/user.entity.ts"]) == {"db"}
+
+
+def test_detect_surfaces_http_from_controller():
+    assert detect_surfaces(["src/price/price.controller.ts"]) == {"http"}
+
+
+def test_detect_surfaces_none_for_plain_file():
+    assert detect_surfaces(["src/util/format.ts"]) == set()
+    assert detect_surfaces([]) == set()
+
+
+def test_detect_surfaces_multiple():
+    got = detect_surfaces(["a.repository.ts", "b.controller.ts"])
+    assert got == {"db", "http"}
+
+
+def test_detect_surfaces_custom_patterns_override():
+    got = detect_surfaces(["weird/thing.xyz"], patterns={"external": ("*.xyz",)})
+    assert got == {"external"}
+
+
+def test_manifest_required_surfaces_union():
+    manifest = {"entries": [
+        {"stageKey": "s1", "requires": ["db"]},
+        {"stageKey": "s2", "requires": ["http", "db"]},
+    ]}
+    assert manifest_required_surfaces(manifest) == {"db", "http"}
+
+
+def test_manifest_required_surfaces_empty():
+    assert manifest_required_surfaces({"entries": []}) == set()
+    assert manifest_required_surfaces(None) == set()
+```
+
+- [ ] **Step 2: 실패 확인**
+
+Run: `python3 -m pytest tests/test_okstra_ctl_conformance.py -q`
+Expected: FAIL — `cannot import name 'detect_surfaces'`
+
+- [ ] **Step 3: 구현 추가**
+
+`conformance.py` 상단 import 에 `import fnmatch` 추가(기존 `import re` 옆). 모듈 끝에 추가:
+
+```python
+# 경로 → capability surface 기본 매핑. 프로젝트별 override 는 qaEnv.surfacePatterns
+# (Phase 4e). 'external' 은 경로로 감지하기 어려워 기본 패턴 없음 — 명시 선언 의존.
+_DEFAULT_SURFACE_PATTERNS: dict[str, tuple[str, ...]] = {
+    "db": ("*.sql", "*migration*", "*repository*", "*.entity.*", "*entities*", "*schema.prisma*"),
+    "http": ("*controller*", "*.routes.*", "*router*", "*endpoint*", "*.api.*"),
+    "io": ("*filesystem*", "*storage*", "*.fs.*"),
+}
+
+
+def detect_surfaces(file_paths: object, patterns: object = None) -> set[str]:
+    """변경된 파일 경로들에서 capability surface 집합을 감지(소문자 fnmatch).
+    `patterns` 미지정 시 기본 매핑 사용."""
+    table = patterns if isinstance(patterns, dict) else _DEFAULT_SURFACE_PATTERNS
+    found: set[str] = set()
+    for raw in file_paths or []:
+        if not isinstance(raw, str):
+            continue
+        path = raw.strip().lower()
+        for surface, globs in table.items():
+            if any(fnmatch.fnmatch(path, g) for g in globs):
+                found.add(surface)
+    return found
+
+
+def manifest_required_surfaces(manifest: object) -> set[str]:
+    """매니페스트 전 entry 의 `requires` 합집합 — 선언된 surface 집합."""
+    entries = manifest.get("entries") if isinstance(manifest, dict) else None
+    if not isinstance(entries, list):
+        return set()
+    out: set[str] = set()
+    for entry in entries:
+        if isinstance(entry, dict) and isinstance(entry.get("requires"), list):
+            out.update(c for c in entry["requires"] if isinstance(c, str))
+    return out
+```
+
+- [ ] **Step 4: 통과 확인**
+
+Run: `python3 -m pytest tests/test_okstra_ctl_conformance.py -q`
+Expected: PASS (기존 28 + 신규 7 = 35 passed)
+
+- [ ] **Step 5: 커밋**
+
+```bash
+git add scripts/okstra_ctl/conformance.py tests/test_okstra_ctl_conformance.py
+git commit -m "feat(okstra_ctl/conformance): diff surface 감지(detect_surfaces) + 선언 surface 합집합"
+```
+
+## Task 2: validate-run 에 diff-surface 교차검증 wiring
+
+**Files:**
+- Modify: `validators/validate-run.py`
+- Test: `tests/test_validate_run_conformance.py`
+
+- [ ] **Step 1: 실패 테스트 추가**
+
+`tests/test_validate_run_conformance.py` 에 헬퍼 + 테스트 추가. 리포트 본문에 §5.7.3 Diff Summary 표를 넣어 `_make_run` 을 확장한다(기존 테스트 호환 위해 신규 헬퍼 사용):
+
+```python
+def _make_run_with_diff(tmp_path: Path, entries, results, diff_files):
+    run_dir = tmp_path / "runs" / "implementation"
+    (run_dir / "reports").mkdir(parents=True)
+    qa = tmp_path / "qa"
+    qa.mkdir()
+    (qa / "conformance-manifest.json").write_text(json.dumps({"entries": entries}))
+    for key, overall in results.items():
+        (qa / f"result-{key}.json").write_text(
+            json.dumps({"stageKey": key, "overall": overall, "requirements": {}})
+        )
+    rows = "\n".join(f"| `{f}` | modify | `+1/-0` | step |" for f in diff_files)
+    report = run_dir / "reports" / "final-report-implementation-001.md"
+    report.write_text(
+        "# fixture\n\n### 5.7.3 Diff Summary\n\n"
+        "| File | Action | Lines (+/-) | Plan step |\n"
+        "|------|--------|-------------|-----------|\n"
+        f"{rows}\n\n### 5.7.4 Out-of-plan Edits\n\n- none\n"
+    )
+    return report
+
+
+def test_diff_touches_undeclared_db_surface_is_blocking(tmp_path):
+    v = _load_validator()
+    # stage declares NO requires; diff touches a repository (db) → BLOCKING
+    entry = _entry("t-stage-1", requires=[])
+    report = _make_run_with_diff(tmp_path, [entry], {"t-stage-1": "PASS"},
+                                 ["src/foo/x.repository.ts"])
+    failures: list[str] = []
+    v._validate_conformance(report, failures)
+    assert any("undeclared surface" in f and "db" in f for f in failures)
+
+
+def test_declared_db_surface_no_surface_failure(tmp_path):
+    v = _load_validator()
+    entry = _entry("t-stage-1", requires=["db"])
+    report = _make_run_with_diff(tmp_path, [entry], {"t-stage-1": "PASS"},
+                                 ["src/foo/x.repository.ts"])
+    failures: list[str] = []
+    v._validate_conformance(report, failures)
+    assert not any("undeclared surface" in f for f in failures)
+
+
+def test_plain_diff_no_surface_failure(tmp_path):
+    v = _load_validator()
+    entry = _entry("t-stage-1", requires=[])
+    report = _make_run_with_diff(tmp_path, [entry], {"t-stage-1": "PASS"},
+                                 ["src/util/format.ts"])
+    failures: list[str] = []
+    v._validate_conformance(report, failures)
+    assert failures == []
+```
+
+- [ ] **Step 2: 실패 확인**
+
+Run: `python3 -m pytest tests/test_validate_run_conformance.py -q`
+Expected: FAIL — surface 교차검증 미구현으로 `test_diff_touches_undeclared_db_surface_is_blocking` FAIL
+
+- [ ] **Step 3: 구현 추가**
+
+`validators/validate-run.py` 상단 conformance import 에 두 함수 추가:
+
+```python
+from okstra_ctl.conformance import (  # noqa: E402
+    detect_surfaces,
+    evaluate_conformance,
+    manifest_required_surfaces,
+    qa_result_from_dict,
+    validate_conformance_manifest,
+)
+```
+
+`validate_report` 정의 앞(또는 `_validate_conformance` 근처)에 파서 추가:
+
+```python
+_DIFF_SUMMARY_RE = re.compile(r"^###\s+5\.7\.3\b.*?(?=^###\s|\Z)", re.MULTILINE | re.DOTALL)
+_DIFF_ROW_PATH_RE = re.compile(r"^\|\s*`([^`]+)`\s*\|", re.MULTILINE)
+
+
+def _parse_diff_summary_files(content: str) -> list[str]:
+    """implementation 리포트 §5.7.3 Diff Summary 표의 첫 셀(백틱 경로)들을 추출."""
+    section = _DIFF_SUMMARY_RE.search(content)
+    if section is None:
+        return []
+    return _DIFF_ROW_PATH_RE.findall(section.group(0))
+```
+
+`_validate_conformance` 의 결과-게이트 루프(`for verdict in evaluate_conformance(...)`) **다음**에 추가:
+
+```python
+    changed_files = _parse_diff_summary_files(report_path.read_text(encoding="utf-8"))
+    if changed_files:
+        uncovered = detect_surfaces(changed_files) - manifest_required_surfaces(manifest)
+        if uncovered:
+            failures.append(
+                "conformance gate BLOCKING: implementation diff touches undeclared "
+                f"surface(s) {sorted(uncovered)} — no stage declares `requires` for "
+                "them. Declare a conformance entry (requires=[...]) for the touching "
+                "stage, or an explicit exemption. (silent mock-green 방지 — DEV-9184)"
+            )
+```
+
+- [ ] **Step 4: 통과 + 전체 회귀 + workflow validator**
+
+Run: `python3 -m pytest tests/test_validate_run_conformance.py -q` → Expected: PASS (10 passed)
+Run: `python3 -m pytest tests/ -q` → Expected: 전부 통과
+Run: `bash validators/validate-workflow.sh` → Expected: PASS (fixture 에 §5.7.3 없음 + qa 없음 → 무영향)
+
+- [ ] **Step 5: 커밋**
+
+```bash
+git add validators/validate-run.py tests/test_validate_run_conformance.py
+git commit -m "feat(validators): diff-surface 교차검증 — 미선언 surface BLOCKING"
+```
+
+---
+
+## Phase 4b Self-Review 체크
+
+- [ ] `detect_surfaces` 기본 패턴이 db/http/io 를 합리적으로 잡는가? override 동작?
+- [ ] 미선언 surface → BLOCKING, 선언/plain → 통과가 spec §12.4 와 일치?
+- [ ] §5.7.3 파서가 다른 표를 오인하지 않는가(섹션 스코프 한정)?
+- [ ] 전체 pytest + workflow validator 통과(회귀 없음)?
+
+Phase 4b 완료 후 Phase 4c(planning 생성 + S11 선언 강제) 계획을 작성한다.

package/docs/superpowers/plans/2026-06-07-stage-conformance-qa-phase4c.md

@@ -0,0 +1,184 @@
+# Stage Conformance QA — Phase 4c (planning 선언 강제 S11 + 생성) Implementation Plan
+
+> **For agentic workers:** REQUIRED SUB-SKILL: Use superpowers:subagent-driven-development (recommended) or superpowers:executing-plans to implement this plan task-by-task. Steps use checkbox (`- [ ]`) syntax for tracking.
+
+**Goal:** implementation-planning 의 모든 stage 가 conformance 검증을 선언(`Conformance tests:`)하거나 명시 면제(`Conformance exemption:`)하도록 강제한다(S11, planning boundary). + planning prompt 가 stage 별 스크립트 + `<task_root>/qa/conformance-manifest.json` 을 산출하도록 지시.
+
+**Architecture:** `validators/validate-implementation-plan-stages.py` 에 S11 검사를 S10 과 동형으로 추가(순수 markdown 검사, TDD). + `prompts/profiles/implementation-planning.md` 에 생성 계약 추가(prescriptive). S11 은 plan markdown 만 검사하고, 매니페스트 JSON 구조는 이미 `validate_conformance_manifest`(run.py/validate-run)가 검증하므로 분리. SSOT: [`docs/superpowers/specs/2026-06-07-stage-conformance-qa-design.md`](../specs/2026-06-07-stage-conformance-qa-design.md) §12.2.
+
+**Tech Stack:** Python 3 (pytest), markdown prompt.
+
+**전제:** Phase 1~4b 완료.
+
+**⚠️ Ripple 주의:** S11 은 새 필수 검사다. stage validator 에 통과해야 하는 기존 valid plan fixture(`tests/fixtures/plans/valid_one_stage.md`, `valid_three_stage_parallel.md`, 단위 테스트의 `_one_stage_plan`, 그리고 `test_run_stage_arg.py` / `test_plan_body_verification.py` / `test_okstra_ctl_wizard.py` / `test_okstra_ctl_review_fixes.py` 의 인라인 valid plan)는 stage 마다 `Conformance tests:` 라인을 추가해야 한다. 전체 스위트를 돌려 깨지는 valid-plan 테스트를 찾아 **최소 한 줄만** 보강한다(assertion/logic 변경 금지).
+
+---
+
+## Task 1: S11 검사 + 기존 valid plan fixture 보강
+
+**Files:**
+- Modify: `validators/validate-implementation-plan-stages.py`
+- Modify: `tests/test_validate_implementation_plan_stages.py`
+- Modify: `tests/fixtures/plans/valid_one_stage.md`, `tests/fixtures/plans/valid_three_stage_parallel.md` (+ 전체 스위트가 가리키는 다른 valid plan)
+
+- [ ] **Step 1: S11 검사 구현**
+
+`validate-implementation-plan-stages.py` 의 `TDD_EXEMPTION = re.compile(...)` (line 170 부근) 다음에 추가:
+
+```python
+CONFORMANCE_TESTS = re.compile(r"^\s*Conformance tests\s*:\s*\S", re.M)
+CONFORMANCE_EXEMPTION = re.compile(r"^\s*Conformance exemption\s*:\s*\S", re.M)
+```
+
+`_check_slice_tdd` 함수 정의 다음에 새 함수 추가:
+
+```python
+def _check_conformance_declaration(
+    text: str, stages: List[StageMeta]
+) -> List[ValidationError]:
+    """S11: 각 stage 는 conformance 검증을 선언하거나 명시적으로 면제한다.
+
+    S11 — `Conformance tests:` 라인(Tier3 검증 스크립트 선언) 또는
+          `Conformance exemption:` 라인(테스트 불필요 사유) 중 하나 필수.
+    diff 가 db/io/http surface 를 건드렸는데 아무 선언이 없는 silent-pass(DEV-9184)
+    를 planning boundary 에서 차단한다.
+    """
+    errs: List[ValidationError] = []
+    for s in stages:
+        section = _slice_stage_section(text, s.stage_number)
+        if not (CONFORMANCE_TESTS.search(section) or CONFORMANCE_EXEMPTION.search(section)):
+            errs.append(ValidationError(
+                "S11", s.stage_number,
+                "S11: stage must declare 'Conformance tests:' (Tier3 검증 스크립트) "
+                "or 'Conformance exemption:' (사유) — stage conformance QA design §12.2",
+            ))
+    return errs
+```
+
+aggregator(약 line 292, `errors.extend(_check_slice_tdd(text, stages))` 다음 줄)에 추가:
+
+```python
+        errors.extend(_check_conformance_declaration(text, stages))
+```
+
+docstring 헤더(line 2) `S1–S10` → `S1–S11`, 그리고 `code: str   # S1..S10` (line 43 부근) → `# S1..S11` 로 갱신.
+
+- [ ] **Step 2: 단위 테스트의 fixture 헬퍼 보강 + S11 테스트 추가**
+
+`tests/test_validate_implementation_plan_stages.py` 의 `_one_stage_plan` 시그니처에 기본 conformance 라인을 추가한다:
+
+```python
+def _one_stage_plan(slice_line, accept_line, steps,
+                    conformance_line="Conformance tests: stage-1 — qa/stage-1.ts (requires=[db])"):
+```
+
+그리고 본문에서 `{accept_line}` 다음 줄에 `{conformance_line}` 을 끼운다:
+
+```python
+{slice_line}
+{accept_line}
+{conformance_line}
+```
+
+파일 끝의 S10 섹션 다음에 S11 테스트 추가:
+
+```python
+# --- S11: conformance declaration / exemption ---
+
+def test_conformance_missing_rejected():
+    r = _run_validator(_one_stage_plan(
+        "Slice value: bar 가 동작한다",
+        "Acceptance: pytest -k bar PASS",
+        _RED_GREEN,
+        conformance_line="",
+    ))
+    assert "S11" in r.stderr
+
+
+def test_conformance_exemption_accepted(tmp_path):
+    r = _run_validator(_one_stage_plan(
+        "Slice value: 문서만 갱신",
+        "Acceptance: docs 빌드 통과",
+        _RED_GREEN,
+        conformance_line="Conformance exemption: doc-only stage, no db/io/http surface",
+    ))
+    assert "S11" not in r.stderr
+
+
+def test_conformance_tests_declaration_accepted():
+    r = _run_validator(_one_stage_plan(
+        "Slice value: bar 가 동작한다",
+        "Acceptance: pytest -k bar PASS",
+        _RED_GREEN,
+    ))
+    assert "S11" not in r.stderr
+```
+
+- [ ] **Step 3: valid plan fixture 보강**
+
+`tests/fixtures/plans/valid_one_stage.md` 의 stage 1 섹션(`## 5.5.1 Stage 1:` 본문, Acceptance 라인 부근)에 한 줄 추가:
+
+```
+Conformance tests: stage-1 — qa/stage-1.ts (requires=[db])
+```
+
+`tests/fixtures/plans/valid_three_stage_parallel.md` 의 **각** stage 섹션(`## 5.5.1`/`## 5.5.2`/`## 5.5.3`)에 동일 형식으로 한 줄씩 추가(stageKey/경로만 stage 번호에 맞게).
+
+- [ ] **Step 4: 전체 스위트로 ripple 파악 + 보강**
+
+Run: `python3 -m pytest tests/ -q`
+- 새로 깨지는 테스트는 "valid plan 인데 S11 누락" 류여야 한다. 각 깨진 테스트가 가리키는 valid plan(인라인 문자열 또는 fixture)에 stage 마다 `Conformance tests: ...` 한 줄을 추가한다. **assertion/로직은 건드리지 않는다.** invalid fixture(다른 코드 검사용)는 그대로 둔다(그들의 기대 코드는 여전히 존재).
+- 반복해서 전부 green 이 될 때까지.
+
+Run: `python3 -m pytest tests/test_validate_implementation_plan_stages.py -q` → S11 포함 전부 PASS
+Run: `bash validators/validate-workflow.sh` → PASS
+
+- [ ] **Step 5: 커밋**
+
+```bash
+git add validators/validate-implementation-plan-stages.py tests/test_validate_implementation_plan_stages.py tests/fixtures/plans/
+# (+ ripple 로 수정된 다른 테스트 파일)
+git commit -m "feat(validators): S11 — 모든 stage 의 conformance 선언/면제 강제"
+```
+
+## Task 2: implementation-planning prompt — 생성 계약
+
+**Files:**
+- Modify: `prompts/profiles/implementation-planning.md`
+
+- [ ] **Step 1: stage 산출 계약 추가**
+
+`prompts/profiles/implementation-planning.md` 의 Stage 구조 규칙(기존 `Slice value:` / `Acceptance:` / `### Stepwise Execution Order` / `TDD exemption:` 가 정의된 단락)에, 각 `## 5.5.<i> Stage` 섹션이 다음 중 하나를 포함하도록 추가한다:
+
+- `Conformance tests:` 한 줄 — 이 stage 의 상위 요구사항(brief/requirements-discovery/error-analysis/improvement-discovery → Acceptance) 부합을 실DB·엔드포인트·외부 API 수준에서 검증하는 스크립트 선언. 그리고 planning 은 그 스크립트를 `<task_root>/qa/stage-<N>.<ext>` 에 작성하고 `<task_root>/qa/conformance-manifest.json` 의 entry(stageKey=`<task-id>-stage-<N>`, script, runCommand, requirementIds, requires∈{db,io,http,external}, passContract, exemption=null, waiver=null)를 추가한다. 스크립트 표준 인터페이스: `main → exit 0=PASS/≠0=FAIL`, stdout 마지막에 `QA-RESULT: PASS|FAIL` + `REQ <id>: PASS|FAIL: <근거>`.
+- 또는 `Conformance exemption: <사유>` — db/io/http/external 을 건드리지 않거나 유닛으로 충분한 stage. (단 implementation diff 가 실제로 그 surface 를 건드리면 validate-run 의 diff-surface 교차검증이 BLOCKING — 면제로 숨길 수 없음.)
+
+매니페스트 위치는 task-level `<task_root>/qa/` (planning→implementation→final-verification 공유). 산출물 경로 토큰은 `TASK_QA_PATH`.
+
+- [ ] **Step 2: 강제 연계 명시(선언≠강제, Rule #3)**
+
+같은 단락에 한 줄: "이 선언은 `validators/validate-implementation-plan-stages.py` 의 **S11** 이 stage 마다 강제하며, 매니페스트 JSON 구조는 `validate_conformance_manifest`(run/validate-run)가, 결과 게이트는 verifier Tier3 + validate-run 이 강제한다."
+
+- [ ] **Step 3: 빌드 + workflow validator**
+
+Run: `npm run build` (prompts → runtime sync)
+Run: `bash validators/validate-workflow.sh` → PASS
+Run: `python3 -m pytest tests/ -q` → 회귀 없음
+
+- [ ] **Step 4: 커밋**
+
+```bash
+git add prompts/profiles/implementation-planning.md
+git commit -m "feat(prompts/implementation-planning): stage conformance 스크립트+매니페스트 생성 계약"
+```
+
+---
+
+## Phase 4c Self-Review 체크
+
+- [ ] S11: 모든 stage 가 `Conformance tests:` 또는 `Conformance exemption:` — 누락 시 BLOCKING?
+- [ ] 기존 valid plan/테스트가 전부 green(최소 보강, assertion 불변)?
+- [ ] planning prompt 가 매니페스트 위치(task-level)·스크립트 인터페이스·S11 연계를 명시?
+- [ ] 전체 pytest + workflow validator 통과?
+
+Phase 4c 완료 후 Phase 4d(verifier/final-verification Tier3 실행 prompt) 계획을 작성한다.