okstra 0.7.0 → 0.9.0

package/docs/superpowers/plans/2026-05-12-ticket-id-in-reports.md

@@ -0,0 +1,638 @@
+# Ticket ID in Reports 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:** Workers, lead, and report-writer 산출물의 모든 항목에 ticket 식별자를 박아 한 run이 여러 ticket을 다룰 때 항목·ticket 매핑을 깨지지 않게 한다.
+
+**Architecture:** 표 형식 섹션에는 `Ticket ID` 컬럼을, bullet/번호 목록·섹션 헤더에는 `[TICKETID: <id>]` 타이틀 태그를 강제한다. 채움 우선순위는 `Issue / Ticket` → `Task ID` → `unknown`이며, 다중 ticket은 콤마 구분이다. 변경은 4개 phase(`requirements-discovery`, `error-analysis`, `implementation-planning`, `implementation`)에 한정한다.
+
+**Tech Stack:** Markdown 템플릿 · SKILL.md (skills/) · agents/workers/*.md
+
+**Spec reference:** `docs/superpowers/specs/2026-05-12-ticket-id-in-reports-design.md`
+
+---
+
+## File Structure
+
+각 파일의 책임:
+
+- `skills/okstra-team-contract/SKILL.md` — Ticket Tagging 규칙의 authoritative source.
+- `skills/okstra-convergence/SKILL.md` — Round 0 파싱이 ticket을 그룹핑 키 일부로 사용.
+- `templates/reports/final-report.template.md` — 상단 Ticket Coverage 표 + 본문 표 전환·컬럼 추가.
+- `templates/reports/{error-analysis,implementation-planning,implementation,quick}-input.template.md` — Identity 가이드 문구.
+- `templates/reports/task-brief.template.md` — Identity 가이드 + Workers 질문.
+- `agents/workers/{claude,codex,gemini}-worker.md` — Worker Output Structure 절에 ticket 표기 한 단락.
+- `agents/workers/report-writer-worker.md` — Authoring Contract에 ticket 보존 의무.
+
+검증 전략: 마크다운 산출물이라 unit test를 새로 만들지 않고, 각 task의 마지막 step에서 `grep`으로 변경이 들어갔는지 확인 후 커밋한다. 정적 validator 추가는 spec 7항에 따라 후속 작업으로 분리한다.
+
+---
+
+## Task 1: team-contract Ticket Tagging 규칙 신설
+
+**Files:**
+- Modify: `skills/okstra-team-contract/SKILL.md` (around lines 197-210, Worker Output Contract section)
+
+- [ ] **Step 1: Edit — Worker Output Contract 직후에 Ticket Tagging 하위 섹션 추가**
+
+`Code evidence must include file paths and line numbers.` 줄(현재 210행) 바로 다음에 빈 줄을 두고 다음 블록을 삽입한다.
+
+```markdown
+### Ticket Tagging (mandatory for sections 1–5)
+
+Every item in sections 1–5 MUST be tagged with the ticket(s) it relates to. This applies whenever the run's task type is `requirements-discovery`, `error-analysis`, `implementation-planning`, or `implementation`.
+
+- **Table-form items**: include a `Ticket ID` column. The column is placed immediately after the row-ID column (e.g. after `F-001`, `M-001`).
+- **Bullet / numbered-list items**: prepend `[TICKETID: <id>]` to the item title, immediately after the row ID and before the body text. Example: `- F-001 [TICKETID: TICKET-123] — <summary> (path:line)`.
+- **Section headers in the final report** (e.g. `### 4.5.3 Recommended Option`): append `[TICKETID: <id>]` to the header when the section is scoped to a specific ticket. Headers that span all tickets in the run omit the tag.
+
+Ticket ID fill rule (in order):
+
+1. Use the `Issue / Ticket` value from the run's input template.
+2. If empty, fall back to the `Task ID` value (no prefix; write `8852` not `task:8852`).
+3. If both are absent, write `unknown`. This is allowed but signals an input-template defect — the worker SHOULD also record a `Missing Information` item noting the absent identifier.
+4. When a single item maps to multiple tickets, separate them with commas: `TICKET-123, TICKET-456`. Ticket IDs containing commas are not supported.
+
+Workers MUST apply these rules to every item in sections 1–5. Lead and report-writer MUST preserve the tagging when carrying worker findings into the final report.
+
+For phases other than the four listed above (e.g. `release-handoff`, `final-verification`), ticket tagging is optional.
+```
+
+- [ ] **Step 2: Verify the section is present**
+
+Run: `grep -n "Ticket Tagging (mandatory for sections 1–5)" skills/okstra-team-contract/SKILL.md`
+Expected: 단일 라인 매치.
+
+Run: `grep -n "TICKETID: <id>" skills/okstra-team-contract/SKILL.md`
+Expected: 최소 2건 매치 (bullet 예시 + section header 예시).
+
+- [ ] **Step 3: Mirror to installed copy**
+
+```bash
+cp skills/okstra-team-contract/SKILL.md /Users/devonshin/.claude/skills/okstra-team-contract/SKILL.md
+```
+
+검증: `diff -q skills/okstra-team-contract/SKILL.md /Users/devonshin/.claude/skills/okstra-team-contract/SKILL.md`
+Expected: 출력 없음.
+
+- [ ] **Step 4: Commit**
+
+```bash
+git add skills/okstra-team-contract/SKILL.md
+git commit -m "feat(team-contract): require ticket tagging in worker sections 1–5"
+```
+
+---
+
+## Task 2: convergence Round 0 ticket 추출 규칙
+
+**Files:**
+- Modify: `skills/okstra-convergence/SKILL.md` (around lines 36-46, Round 0 numbered list)
+
+- [ ] **Step 1: Edit — Round 0 항목 1을 ticket 추출 포함으로 교체**
+
+`skills/okstra-convergence/SKILL.md`의 현재 항목 1 (`In the "Findings" section ...`) 부터 4 (`When grouping is ambiguous ...`)까지를 다음으로 교체한다.
+
+```markdown
+1. In the "Findings" section of each worker's results, identify individual items by number (F-001, F-002, ...) and parse the ticket identifier attached to each item:
+   - For table-form findings, read the `Ticket ID` column.
+   - For bullet/numbered findings, parse `[TICKETID: <id>]` from the item title.
+   - Items with multiple tickets (e.g. `TICKET-123, TICKET-456`) expand to a set of ticket keys.
+   - Items tagged `unknown` keep the literal `unknown` as their ticket key.
+2. For each finding, record the summary, evidence (file path, line number, basis), the worker who identified it, and the parsed ticket set.
+3. Claude Lead groups findings based on semantic similarity AND ticket-set equality:
+  - Same semantics + same ticket set across 2+ workers → immediately reach `full consensus`.
+  - Same semantics but disjoint ticket sets → keep as separate groups (do NOT over-merge across tickets).
+  - Only one worker confirms a finding → `unique`, enter the verification queue.
+4. When grouping is ambiguous, prefer splitting over merging (avoid over-merging).
+5. Persist each finding's ticket set in the convergence state artifact under a `ticketIds` field on the finding record. Re-verification rounds carry the same field forward.
+```
+
+- [ ] **Step 2: Verify**
+
+Run: `grep -n "ticket-set equality" skills/okstra-convergence/SKILL.md`
+Expected: 단일 매치.
+
+Run: `grep -n "ticketIds" skills/okstra-convergence/SKILL.md`
+Expected: 단일 매치.
+
+- [ ] **Step 3: Mirror to installed copy**
+
+```bash
+cp skills/okstra-convergence/SKILL.md /Users/devonshin/.claude/skills/okstra-convergence/SKILL.md
+```
+
+- [ ] **Step 4: Commit**
+
+```bash
+git add skills/okstra-convergence/SKILL.md
+git commit -m "feat(convergence): use ticket set as part of finding-group key"
+```
+
+---
+
+## Task 3: final-report 상단 Ticket Coverage 표 추가
+
+**Files:**
+- Modify: `templates/reports/final-report.template.md` (Summary 섹션 직후, 현재 30행 부근)
+
+- [ ] **Step 1: Edit — `## Summary of the Problem or Verification Target` 블록 뒤에 신규 섹션 삽입**
+
+`## Execution Status by Agent` 라인 바로 앞에 다음을 삽입한다.
+
+```markdown
+## Ticket Coverage
+
+이 run이 다룬 ticket을 한 자리에서 확인하는 인덱스 표입니다. 본 보고서의 본문 항목들은 모두 `Ticket ID` 컬럼 또는 `[TICKETID: <id>]` 태그로 ticket과 묶여 있으며, 이 표는 그 역방향 인덱스입니다.
+
+- 한 run이 단일 ticket만 다루는 경우: 표 대신 다음 한 줄로 대체할 수 있습니다 — `- Single ticket run: <TICKET-or-task-fallback>`
+- 다중 ticket이거나, `Issue / Ticket`이 비어 `Task ID` 폴백을 쓴 항목이 섞여 있는 경우: 표를 채웁니다.
+
+| Ticket ID | 등장 섹션 | 관련 항목 IDs |
+|-----------|-----------|---------------|
+| `<TICKET-123>` | `1.1, 3.1, 4.5.4` | `F-001, F-003, A1` |
+
+규칙:
+
+- `Ticket ID` 컬럼은 본문에서 등장한 ticket 키와 정확히 동일한 문자열을 사용합니다. `Issue / Ticket`이 비어 폴백된 경우 `Task ID` 값을 prefix 없이 그대로 적습니다 (예: `8852`). 어느 쪽으로도 식별 불가한 경우 `unknown`을 사용합니다.
+- `등장 섹션`은 본 보고서의 섹션 번호를 콤마로 구분합니다. 동일 ticket이 여러 섹션에 등장하면 모두 나열합니다.
+- `관련 항목 IDs`는 `F-001`, `M-002`, `A1`, `Q1` 같은 row ID를 콤마로 나열합니다. 섹션 헤더 단위로만 ticket이 표시된 경우(개별 row ID가 없는 경우)에는 헤더 번호 자체를 적습니다 (예: `4.5.3`).
+```
+
+- [ ] **Step 2: Verify**
+
+Run: `grep -n "^## Ticket Coverage" templates/reports/final-report.template.md`
+Expected: 단일 매치, 라인 번호는 `Summary` 다음, `Execution Status` 앞.
+
+---
+
+## Task 4: final-report 1.x / 3.x / 4 섹션을 표로 전환
+
+**Files:**
+- Modify: `templates/reports/final-report.template.md` (lines 47-69, sections 1.1 / 1.2 / 3.1 / 3.2 / 4)
+
+- [ ] **Step 1: Edit — 1.1 Consensus 본문을 표로 교체**
+
+기존:
+
+```markdown
+### 1.1 Consensus
+- Record the conclusions and evidence that multiple workers support.
+```
+
+→ 교체:
+
+```markdown
+### 1.1 Consensus
+
+| ID | Ticket ID | Statement | Supporting workers | Evidence (path:line / log / worker report) |
+|----|-----------|-----------|--------------------|---------------------------------------------|
+| C-001 | `<TICKET-or-fallback>` | <합의된 결론> | claude, codex, gemini | <증거 위치> |
+
+- 합의된 결론을 row마다 기록합니다. `Ticket ID`는 본 보고서 상단 `Ticket Coverage` 규칙을 따릅니다.
+```
+
+- [ ] **Step 2: Edit — 1.2 Differences 본문 교체**
+
+기존:
+
+```markdown
+### 1.2 Differences
+- Record meaningful differences in conclusions, interpretation, or evidence handling.
+- If there is no meaningful difference, state that clearly.
+```
+
+→ 교체:
+
+```markdown
+### 1.2 Differences
+
+| ID | Ticket ID | Disagreement | Workers (position) | Evidence |
+|----|-----------|--------------|--------------------|----------|
+| D-001 | `<TICKET-or-fallback>` | <차이 요약> | claude (A) / codex (B) / gemini (-) | <증거 위치> |
+
+- 유의미한 차이가 없을 경우 표 대신 다음 한 줄을 적습니다 — `- 유의미한 차이 없음. 1.1 Consensus가 그대로 유효합니다.`
+```
+
+- [ ] **Step 3: Edit — 3.1 Primary Evidence 본문 교체**
+
+기존:
+
+```markdown
+### 3.1 Primary Evidence
+- Cite concrete evidence such as file paths, line numbers, brief contents, logs, or worker reports.
+```
+
+→ 교체:
+
+```markdown
+### 3.1 Primary Evidence
+
+| ID | Ticket ID | Evidence | Source (path:line / log / worker report) |
+|----|-----------|----------|------------------------------------------|
+| E-001 | `<TICKET-or-fallback>` | <증거 한 줄 요약> | <출처> |
+```
+
+- [ ] **Step 4: Edit — 3.2 Secondary Evidence 본문 교체**
+
+기존:
+
+```markdown
+### 3.2 Secondary Evidence or Alternate Interpretations
+- Record supporting evidence, alternate hypotheses, or lower-confidence interpretations when relevant.
+```
+
+→ 교체:
+
+```markdown
+### 3.2 Secondary Evidence or Alternate Interpretations
+
+| ID | Ticket ID | Hypothesis or supporting evidence | Source / confidence |
+|----|-----------|-----------------------------------|---------------------|
+| S-001 | `<TICKET-or-fallback>` | <보조 증거 또는 대안 해석> | <출처 + low/mid> |
+
+- 해당 없음 시: `- 보조 증거 또는 대안 해석 없음.`
+```
+
+- [ ] **Step 5: Edit — 4. Missing Information and Risks 본문 교체**
+
+기존:
+
+```markdown
+## 4. Missing Information and Risks
+- Explicitly state any item that requires `I don't know` or `uncertain`.
+- Record the missing information and risks that weaken the current conclusion.
+```
+
+→ 교체:
+
+```markdown
+## 4. Missing Information and Risks
+
+| ID | Ticket ID | Item | Risk if ignored |
+|----|-----------|------|-----------------|
+| R-001 | `<TICKET-or-fallback>` | <누락 정보 또는 불확실 항목> | <무시할 때의 위험> |
+
+- `I don't know` / `uncertain`으로 표기해야 하는 항목은 모두 표 안에 두고 본문 산문 형식으로 흩지 않습니다.
+```
+
+- [ ] **Step 6: Verify**
+
+Run: `grep -nE "^### 1\.(1|2)|^### 3\.(1|2)|^## 4\. Missing" templates/reports/final-report.template.md`
+Expected: 5건 매치.
+
+Run: `grep -nE "\| C-001 \||\| D-001 \||\| E-001 \||\| S-001 \||\| R-001 \|" templates/reports/final-report.template.md`
+Expected: 5건 매치 (각 표의 예시 row).
+
+---
+
+## Task 5: final-report 4.5.x / 5.x 표 컬럼 추가
+
+**Files:**
+- Modify: `templates/reports/final-report.template.md` (4.5.1, 4.5.4, 4.5.6, 5.1, 5.2)
+
+- [ ] **Step 1: Edit — 4.5.1 Option Candidates 안내문 + File Structure 행 컨벤션 갱신**
+
+`### 4.5.1 Option Candidates (옵션 후보)` 블록(현재 76-80행)의 `File Structure` 줄을 교체한다.
+
+기존:
+
+```markdown
+  - **File Structure**: `Create: <path> — <responsibility>` / `Modify: <path>:<line-range> — <change summary>` / `Delete: <path> — <reason>` 형식으로 파일 단위 책임을 한 줄씩 명시합니다.
+```
+
+→ 교체:
+
+```markdown
+  - **File Structure**: 다음 표 형식으로 파일 단위 책임을 한 줄씩 명시합니다. 행마다 `Ticket ID` 컬럼을 채웁니다.
+
+    | ID | Ticket ID | Action | Path (and line-range) | Change summary |
+    |----|-----------|--------|------------------------|----------------|
+    | OF-001 | `<TICKET-or-fallback>` | Create / Modify / Delete | `<path>[:<line-range>]` | <한 줄 요약> |
+```
+
+- [ ] **Step 2: Edit — 4.5.4 Stepwise Execution Order을 표 + 컬럼으로 전환**
+
+`### 4.5.4 Stepwise Execution Order (단계별 실행 순서)`의 번호 목록을 다음으로 교체한다.
+
+```markdown
+### 4.5.4 Stepwise Execution Order (단계별 실행 순서)
+
+| Step | Ticket ID | Action (≤ 5min) | Files | Command / Test | Expected outcome |
+|------|-----------|------------------|-------|----------------|-------------------|
+| 1 | `<TICKET-or-fallback>` | <예: 실패하는 테스트 작성> | `tests/foo_test.py` | `pytest tests/foo_test.py::test_x -v` | FAIL with <reason> |
+
+규칙:
+
+- 한 step은 약 2~5분 안에 완료할 수 있는 작은 작업이어야 합니다(예: "X에 실패하는 테스트 작성", "테스트 실행해 실패 확인", "최소 구현", "테스트 통과 확인", "commit").
+- 모든 step은 정확한 파일 경로와 정확한 명령어를 포함합니다. 코드 단계라면 실제 코드 또는 diff 스케치를 함께 적습니다 (`Action` 셀에 줄바꿈 가능).
+- TDD 순서(failing test → implementation → green → commit)가 가능한 영역이라면 이 순서를 따릅니다.
+- 한 step이 여러 ticket을 동시에 진행한다면 `Ticket ID`에 콤마로 함께 적습니다.
+```
+
+- [ ] **Step 3: Edit — 4.5.6 Validation Checklist를 표 + 컬럼으로 전환**
+
+`### 4.5.6 Validation Checklist (검증 체크리스트)` 본문을 다음으로 교체한다.
+
+```markdown
+### 4.5.6 Validation Checklist (검증 체크리스트)
+
+| Phase | Ticket ID | Check | Command / Observation | Expected outcome |
+|-------|-----------|-------|------------------------|-------------------|
+| pre   | `<TICKET-or-fallback>` | <체크 이름> | `<정확한 명령어 또는 관찰 지점>` | <기대 출력 / 상태> |
+| mid   | `<TICKET-or-fallback>` | <체크 이름> | `<...>` | <...> |
+| post  | `<TICKET-or-fallback>` | <체크 이름> | `<...>` | <...> |
+
+추상적 서술 금지. 모든 row는 명령어 또는 관찰 가능한 결과를 포함해야 합니다.
+```
+
+- [ ] **Step 4: Edit — 5.1 표에 `Ticket ID` 컬럼 삽입**
+
+`### 5.1 추가 자료 요청` 표(현재 187-189행)의 헤더와 예시 row를 교체한다.
+
+기존 헤더:
+
+```markdown
+| 자료 ID | 무엇을 / 왜 필요한지 (문장으로 서술) | 어디에서 가져올 수 있는지 (파일 경로, 시스템 이름, URL 등) | 어디에 두면 되는지 / 어떻게 전달해 주실지 | Status | 사용자가 첨부한 위치 또는 메모 (다음 run 전에 사용자가 채움) |
+|---------|--------------------------------------|------------------------------------------------------------|--------------------------------------------|--------|---------------------------------------------------------------|
+```
+
+→ 교체:
+
+```markdown
+| 자료 ID | Ticket ID | 무엇을 / 왜 필요한지 (문장으로 서술) | 어디에서 가져올 수 있는지 (파일 경로, 시스템 이름, URL 등) | 어디에 두면 되는지 / 어떻게 전달해 주실지 | Status | 사용자가 첨부한 위치 또는 메모 (다음 run 전에 사용자가 채움) |
+|---------|-----------|--------------------------------------|------------------------------------------------------------|--------------------------------------------|--------|---------------------------------------------------------------|
+```
+
+예시 row(`A1 | <어떤 자료를...>`)도 두 번째 셀에 `<TICKET-or-fallback>`을 끼워 넣어 컬럼 수를 맞춘다.
+
+기존:
+
+```markdown
+| A1 | <어떤 자료를 왜 받아야 하는지를 1~2문장으로. 예: ... > | <예: ...> | <예: ...> | open | <빈칸으로 두고 다음 run 전에 사용자가 채움> |
+```
+
+→ 교체:
+
+```markdown
+| A1 | `<TICKET-or-fallback>` | <어떤 자료를 왜 받아야 하는지를 1~2문장으로. 예: ... > | <예: ...> | <예: ...> | open | <빈칸으로 두고 다음 run 전에 사용자가 채움> |
+```
+
+- [ ] **Step 5: Edit — 5.2 표에 `Ticket ID` 컬럼 삽입**
+
+`### 5.2 사용자 확인 질문` 표(현재 201-203행)의 헤더를 교체한다.
+
+기존:
+
+```markdown
+| 질문 ID | 이 답이 필요한 이유 (왜) | 질문 본문 (무엇을 묻는지, 풀어 쓴 문장) | 기대하는 답의 형태 / 보기 | Blocking (예 / 아니오) | Status | 사용자 답변 (다음 run 전에 사용자가 채움) |
+|---------|--------------------------|-----------------------------------------|----------------------------|------------------------|--------|--------------------------------------------|
+```
+
+→ 교체:
+
+```markdown
+| 질문 ID | Ticket ID | 이 답이 필요한 이유 (왜) | 질문 본문 (무엇을 묻는지, 풀어 쓴 문장) | 기대하는 답의 형태 / 보기 | Blocking (예 / 아니오) | Status | 사용자 답변 (다음 run 전에 사용자가 채움) |
+|---------|-----------|--------------------------|-----------------------------------------|----------------------------|------------------------|--------|--------------------------------------------|
+```
+
+예시 row의 두 번째 셀에도 `<TICKET-or-fallback>`을 추가한다.
+
+기존:
+
+```markdown
+| Q1 | <예: "이 결정에 따라 ..."> | <예: "지난 주 ..."> | <예: "다음 중 한 줄로 ..."> | 예 | open | <빈칸으로 두고 다음 run 전에 사용자가 채움> |
+```
+
+→ 교체:
+
+```markdown
+| Q1 | `<TICKET-or-fallback>` | <예: "이 결정에 따라 ..."> | <예: "지난 주 ..."> | <예: "다음 중 한 줄로 ..."> | 예 | open | <빈칸으로 두고 다음 run 전에 사용자가 채움> |
+```
+
+- [ ] **Step 6: Verify**
+
+Run: `grep -cE "\| Ticket ID \|" templates/reports/final-report.template.md`
+Expected: 8 이상 (1.1 / 1.2 / 3.1 / 3.2 / 4 / 4.5.1 OF / 4.5.4 / 4.5.6 / 5.1 / 5.2 — Task 3, 4, 5의 표).
+
+- [ ] **Step 7: Commit (Tasks 3, 4, 5 일괄)**
+
+```bash
+git add templates/reports/final-report.template.md
+git commit -m "feat(final-report): add ticket coverage + ticket id columns"
+```
+
+---
+
+## Task 6: 4개 input 템플릿 — Identity 가이드 한 줄 추가
+
+**Files:**
+- Modify: `templates/reports/error-analysis-input.template.md`
+- Modify: `templates/reports/implementation-planning-input.template.md`
+- Modify: `templates/reports/implementation-input.template.md`
+- Modify: `templates/reports/quick-input.template.md`
+
+- [ ] **Step 1: Edit — 네 파일 모두에서 `- Issue / Ticket:` 줄 바로 다음 줄에 동일한 가이드 추가**
+
+각 파일에서 다음 문자열:
+
+```
+- Issue / Ticket:
+```
+
+을 다음 두 줄로 교체한다.
+
+```
+- Issue / Ticket:
+  - 값이 비면 워커는 `Task ID`로 폴백한다 (prefix 없이 `8852`처럼). 한 run이 여러 ticket을 동시에 다루면 콤마로 구분 (`TICKET-123, TICKET-456`). 어느 쪽으로도 식별 불가하면 `unknown`을 허용한다.
+```
+
+`Edit` tool로 4개 파일에 동일한 교체를 적용한다 (각 파일에서 위 문자열은 1회씩만 등장).
+
+- [ ] **Step 2: Verify**
+
+Run: `grep -c "값이 비면 워커는 \`Task ID\`로 폴백한다" templates/reports/error-analysis-input.template.md templates/reports/implementation-planning-input.template.md templates/reports/implementation-input.template.md templates/reports/quick-input.template.md`
+Expected: 4 파일 각각 `1` (총 4건).
+
+- [ ] **Step 3: Commit**
+
+```bash
+git add templates/reports/error-analysis-input.template.md templates/reports/implementation-planning-input.template.md templates/reports/implementation-input.template.md templates/reports/quick-input.template.md
+git commit -m "feat(input-templates): document ticket fallback and multi-ticket rule"
+```
+
+---
+
+## Task 7: task-brief 템플릿 보강
+
+**Files:**
+- Modify: `templates/reports/task-brief.template.md`
+
+- [ ] **Step 1: Edit — Identity 섹션 가이드 추가**
+
+다음 문자열:
+
+```
+- Issue / Ticket:
+```
+
+을 다음으로 교체한다.
+
+```
+- Issue / Ticket:
+  - 값이 비면 워커는 `Task ID`로 폴백한다 (prefix 없이 `8852`처럼). 한 run이 여러 ticket을 동시에 다루면 콤마로 구분 (`TICKET-123, TICKET-456`). 어느 쪽으로도 식별 불가하면 `unknown`을 허용한다.
+```
+
+- [ ] **Step 2: Edit — Standing Scope-Discipline Questions 블록 위에 ticket 표기 한 줄 추가**
+
+다음 문자열:
+
+```
+### Standing Scope-Discipline Questions (always answered by every worker)
+```
+
+을 다음으로 교체한다.
+
+```
+### Standing Ticket-Tagging Rule (always applied by every worker)
+
+- 모든 항목 및 표 행에 ticket을 명시한다. 표 형식은 `Ticket ID` 컬럼, bullet/번호목록·섹션 헤더는 `[TICKETID: <id>]` 태그를 사용한다. 채움 우선순위·폴백·다중 ticket 규칙은 `okstra-team-contract` SKILL의 Ticket Tagging 절을 따른다.
+
+### Standing Scope-Discipline Questions (always answered by every worker)
+```
+
+- [ ] **Step 3: Verify**
+
+Run: `grep -n "Standing Ticket-Tagging Rule" templates/reports/task-brief.template.md`
+Expected: 단일 매치.
+
+Run: `grep -n "값이 비면 워커는 \`Task ID\`로 폴백한다" templates/reports/task-brief.template.md`
+Expected: 단일 매치.
+
+- [ ] **Step 4: Commit**
+
+```bash
+git add templates/reports/task-brief.template.md
+git commit -m "feat(task-brief): add standing ticket-tagging rule + identity guide"
+```
+
+---
+
+## Task 8: 분석 워커 프롬프트 3종 — Worker Output Structure 보강
+
+**Files:**
+- Modify: `agents/workers/claude-worker.md`
+- Modify: `agents/workers/codex-worker.md`
+- Modify: `agents/workers/gemini-worker.md`
+
+- [ ] **Step 1: Edit — 각 파일의 "This contract mirrors the `okstra-team-contract` skill's Worker Output Contract — that skill is the authoritative source if the two ever diverge." 직전에 한 단락 삽입**
+
+세 파일 모두 동일한 문자열:
+
+```
+This contract mirrors the `okstra-team-contract` skill's Worker Output Contract — that skill is the authoritative source if the two ever diverge.
+```
+
+을 다음으로 교체한다.
+
+```
+**Ticket tagging:** For runs whose task type is `requirements-discovery`, `error-analysis`, `implementation-planning`, or `implementation`, every item in sections 1–5 MUST carry a ticket identifier. Use the `Ticket ID` column in table-form items and the `[TICKETID: <id>]` prefix in bullet/numbered items. Fill priority: `Issue / Ticket` from the input → `Task ID` (no prefix, e.g. `8852`) → `unknown`. Multiple tickets are comma-separated. Full rules live in the `okstra-team-contract` skill's Ticket Tagging section.
+
+This contract mirrors the `okstra-team-contract` skill's Worker Output Contract — that skill is the authoritative source if the two ever diverge.
+```
+
+- [ ] **Step 2: Verify**
+
+Run: `grep -c "Ticket tagging:" agents/workers/claude-worker.md agents/workers/codex-worker.md agents/workers/gemini-worker.md`
+Expected: 3 파일 각각 `1`.
+
+- [ ] **Step 3: Commit**
+
+```bash
+git add agents/workers/claude-worker.md agents/workers/codex-worker.md agents/workers/gemini-worker.md
+git commit -m "feat(workers): require ticket tagging in analysis worker outputs"
+```
+
+---
+
+## Task 9: report-writer-worker — Authoring Contract 보강
+
+**Files:**
+- Modify: `agents/workers/report-writer-worker.md`
+
+- [ ] **Step 1: Edit — Authoring Contract의 Hard rules 마지막 항목 다음에 한 줄 추가**
+
+다음 문자열:
+
+```
+- Cite file paths and line numbers for every code-evidence claim.
+```
+
+을 다음으로 교체한다.
+
+```
+- Cite file paths and line numbers for every code-evidence claim.
+- Preserve every analysis worker's ticket tagging (`Ticket ID` columns and `[TICKETID: <id>]` prefixes) when carrying findings into the final report. Populate the final report's top-level `## Ticket Coverage` table per the rules in `templates/reports/final-report.template.md`. For runs that do not require ticket tagging (e.g. `release-handoff`, `final-verification`), omit the `Ticket Coverage` table and do not invent ticket IDs.
+```
+
+- [ ] **Step 2: Verify**
+
+Run: `grep -n "Preserve every analysis worker's ticket tagging" agents/workers/report-writer-worker.md`
+Expected: 단일 매치.
+
+- [ ] **Step 3: Commit**
+
+```bash
+git add agents/workers/report-writer-worker.md
+git commit -m "feat(report-writer): preserve ticket tagging and populate ticket coverage"
+```
+
+---
+
+## Task 10: 전체 검증 및 spec 링크 추가
+
+**Files:**
+- Modify: `docs/superpowers/specs/2026-05-12-ticket-id-in-reports-design.md` (단순 링크 한 줄 추가)
+
+- [ ] **Step 1: Cross-check that every spec section maps to a delivered change**
+
+Run: `git log --oneline -10`
+Expected: Task 1~9 커밋이 차례로 나열됨.
+
+Run: `grep -nE "Ticket Tagging|Ticket Coverage|Ticket ID|TICKETID" skills/okstra-team-contract/SKILL.md skills/okstra-convergence/SKILL.md templates/reports/final-report.template.md templates/reports/task-brief.template.md templates/reports/error-analysis-input.template.md templates/reports/implementation-planning-input.template.md templates/reports/implementation-input.template.md templates/reports/quick-input.template.md agents/workers/claude-worker.md agents/workers/codex-worker.md agents/workers/gemini-worker.md agents/workers/report-writer-worker.md | wc -l`
+Expected: 최소 12 이상 (각 파일에 최소 1건씩).
+
+- [ ] **Step 2: Append implementation-plan reference to the spec**
+
+`docs/superpowers/specs/2026-05-12-ticket-id-in-reports-design.md`의 첫 헤더 블록(`- Status: Design (pre-implementation)`)을 다음으로 교체한다.
+
+```
+- Status: Implemented
+- Implementation plan: `docs/superpowers/plans/2026-05-12-ticket-id-in-reports.md`
+```
+
+- [ ] **Step 3: Commit**
+
+```bash
+git add docs/superpowers/specs/2026-05-12-ticket-id-in-reports-design.md
+git commit -m "docs(specs): link ticket-id design to implementation plan"
+```
+
+- [ ] **Step 4: Manual smoke check (deferred verification, optional)**
+
+다음 항목은 다음 번 실제 okstra run을 통해 확인한다 (이번 plan의 자동 검증 범위 밖):
+
+1. 신규 `requirements-discovery` / `error-analysis` / `implementation-planning` / `implementation` run에서 워커 출력 bullet 전부에 `[TICKETID: ...]`가 박히는지.
+2. final report 상단에 `## Ticket Coverage`가 비어 있지 않고 본문 항목과 정합한지.
+3. convergence state 아티팩트의 finding 레코드에 `ticketIds`가 함께 기록되는지.
+
+이 항목이 실패하면 spec의 후속 작업(validator 추가)을 우선순위로 올린다.
+
+---
+
+## Self-Review Notes
+
+- 모든 step에 정확한 grep 명령과 기대 결과가 들어가 있다 (markdown 산출물이라 unit test 대신 grep 검증).
+- 4개 input 템플릿의 같은 가이드 문구는 Task 6에서 복사 가능한 형태로 본문에 그대로 포함했다(엔지니어가 task를 out-of-order로 읽어도 문구를 빌려올 필요 없음).
+- 분석 워커 3종의 동일 변경은 Task 8에서 동일 문자열 교체로 처리해 drift 위험을 줄였다.
+- spec의 모든 변경 파일이 Task 1~9에 배정되었고, Task 10이 최종 cross-check를 수행한다.