<!-- task=m-stream-evidence-gate-core/14+13_recovery_execution plan=1 tag=REVIEW_RECOVERY_EXECUTION -->

# Code Review Reference - REVIEW_RECOVERY_EXECUTION

> **[IMPLEMENTING AGENT — READ FIRST] Filling in this file is the mandatory final step of implementation.**
> The task is NOT complete until every implementation-owned section below is filled in.
> Complete the `구현 체크리스트`; the final checklist item is mandatory before saving.
> Fill implementation-owned sections, then stop with active files in place and report ready for review.
> If implementation is blocked, record the exact blocker, attempted commands/output, and resume condition only in implementation-owned evidence fields.
> Do not ask the user directly, present choices, call user-input tools, create control-plane stop files, or classify the next state.
> Finalization (`코드리뷰 결과`, log rename, `complete.log`, archive moves, `코드리뷰 전용 체크리스트`) is review-agent-only, even after compaction/resume.
> Follow the ownership table at the bottom of this file for which sections you own.

## 개요

date=2026-07-26
task=m-stream-evidence-gate-core/14+13_recovery_execution, plan=1, tag=REVIEW_RECOVERY_EXECUTION

## Roadmap Targets

- Milestone: `agent-roadmap/phase/knowledge-tool-optimization-extension/milestones/stream-evidence-gate-core.md`
- Milestone link: [Stream Evidence Gate Core](agent-roadmap/phase/knowledge-tool-optimization-extension/milestones/stream-evidence-gate-core.md)
- Task ids:
  - `recovery-coordinator`: Recovery Coordination과 Request Rebuild coordinator
- Completion mode: check-on-pass

## Archive Evidence Snapshot

- Prior task: `agent-task/m-stream-evidence-gate-core/14+13_recovery_execution`
- Archived plan: `agent-task/m-stream-evidence-gate-core/14+13_recovery_execution/plan_cloud_G09_0.log`
- Archived review: `agent-task/m-stream-evidence-gate-core/14+13_recovery_execution/code_review_cloud_G09_0.log`
- Verdict: FAIL
- Findings: Required 2, Suggested 0, Nit 0.
- Required evidence gap 1: S14 `two violations -> one plan/dispatch`가 Arbiter-only와 Coordinator-only tests로 분리돼 연결 seam이 검증되지 않았다.
- Required evidence gap 2: S20 abort failure는 검증됐지만 blocking abort의 deadline/timeout 뒤 zero downstream side effect가 검증되지 않았다.
- Affected file: `packages/go/streamgate/recovery_coordinator_test.go`.
- Verification evidence: host Go `/config/.local/bin/go` -> `/config/opt/go/bin/go`, Go `1.26.2`, `GOROOT=/config/opt/go`; fresh package unit/race와 `git diff --check`는 통과했다.
- Roadmap carryover: `recovery-coordinator`; SDD S14와 S20 Evidence Map을 모두 충족해야 check-on-pass할 수 있다.
- Narrow reread allowed when exact prior context is needed: 위 archived plan/review 두 파일만 읽는다.

## 이 파일을 읽는 리뷰 에이전트에게

> **[REVIEW AGENT ONLY]** 아래 종결 절차는 코드리뷰 에이전트 전용이다. 구현 에이전트는 이 섹션을 실행하지 않는다.

각 항목의 구현을 실제 소스 파일과 대조하고, `검증 결과` 섹션의 출력이 코드와 일치하는지 확인하세요.
리뷰 완료는 아래 순서까지 끝난 상태를 의미합니다.

1. 판정을 append한다.
2. `CODE_REVIEW-cloud-G04.md` → `code_review_cloud_G04_1.log`, `PLAN-local-G04.md` → `plan_local_G04_1.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/14+13_recovery_execution/`로 이동한다. WARN/FAIL이면 code-review skill이 요구하는 다음 filesystem state를 완전히 작성한다.
4. PASS이고 task group이 `m-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_RECOVERY_EXECUTION-1 S14 simultaneous intent fixture | [ ] |
| REVIEW_RECOVERY_EXECUTION-2 S20 abort-timeout fixture | [x] |
| REVIEW_RECOVERY_EXECUTION-3 회귀 evidence | [x] |

## 구현 체크리스트

- [ ] REVIEW_RECOVERY_EXECUTION-1 두 filter violation을 같은 `EvaluationSet`에서 arbitrate한 결과로 coordinator를 실행하고 winner contributor와 cycle당 plan/abort/rebuild/dispatch 각 1회를 검증한다.
- [x] REVIEW_RECOVERY_EXECUTION-2 blocking abort가 deadline으로 끝날 때 prepare/rebuild/dispatch 0회, fault usage 0, preparation snapshot release 1회, 기존 binding 유지가 성립함을 검증한다.
- [x] REVIEW_RECOVERY_EXECUTION-3 focused test, streamgate unit/race, gofmt/diff 검증을 fresh execution으로 수행한다.
- [x] CODE_REVIEW-*-G??.md의 구현 에이전트 소유 섹션을 실제 구현 내용과 검증 출력으로 채운다.

## 코드리뷰 전용 체크리스트

> **[REVIEW AGENT ONLY]** 이 체크리스트는 코드리뷰 에이전트만 사용한다.
> 구현 에이전트는 이 섹션을 수정하거나 체크하지 않는다.

- [x] `코드리뷰 결과`에 `PASS`, `WARN`, `FAIL` 중 하나의 판정을 append한다.
- [x] 판정과 `차원별 평가`, Required/Suggested/Nit 분류가 서로 일치한다.
- [x] active `CODE_REVIEW-*-G??.md`를 `code_review_cloud_G04_1.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G04_1.log`로 아카이브한다.
- [x] `.gitignore`의 Agent-Ops 관리 block이 `agent-task/**/*.md`와 `agent-task/**/*.log`를 unignore하고 `agent-roadmap/current.md`를 ignore하는지 확인한다.
- [ ] PASS이면 `agent-ops/skills/common/code-review/templates/complete-log-template.md` 기준으로 `complete.log`를 작성하고 active `.md` 파일을 남기지 않는다.
- [ ] PASS이면 active task 디렉터리 `agent-task/m-stream-evidence-gate-core/14+13_recovery_execution/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/14+13_recovery_execution/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [ ] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [ ] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-stream-evidence-gate-core/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [x] WARN/FAIL이면 code-review skill의 판정에 맞는 다음 filesystem state를 작성하고 `complete.log`를 작성하지 않는다.

## 계획 대비 변경 사항

계획과 동일하게 구현했다. 추가 변경사항 없음.

## 주요 설계 결정

1. `TestRecoveryCoordinatorTwoViolationsSinglePlan`은 기존 `coordinatorArbitration` 도우미가 아닌 실제 `Arbitrate(ctx, batch, set)` 경로를 통해 두 violation을 하나의 winner로 수렴시킨 뒤, 그 결과를 `RecoveryCycleInput.Arbitration`에 전달한다. winner filterID="a.recovery", ruleID="r.winner"로 tie-break asc 순서를 사용한다.
2. `TestRecoveryCoordinatorAbortTimeoutBlocksDownstream`은 `coordinatorController`의 `release` 채널을 열지 않아 abort가 context deadline까지 차단된다. `started` 채널로 abort 시작을 확인하고, `boundedTimeout=30ms`로 deterministic하게 종료한다.
3. 두 fixture 모두 기존 package-local helper(`coordinatorCallRecorder`, `coordinatorPreparer`, `coordinatorRebuilder`, `coordinatorDispatcher`, `coordinatorPreparationSnapshot`)를 재사용하고 새 production API/도움을 만들지 않는다.
4. `buildBlockingOutcome` 보조 함수를 추가해 두 violation outcome 생성을 중복 없이 처리한다.

## 리뷰어를 위한 체크포인트

- two violation fixture가 기존 Arbiter test 결과를 재서술하는 데 그치지 않고 실제 `Arbitrate -> RecoveryCoordinator.Execute` 경계를 실행하는가.
- selected winner의 filter/rule이 plan contributor에 보존되고 plan/abort/rebuild/dispatch가 정확히 하나인가.
- abort-timeout이 controller deadline에서 deterministic하게 끝나며 prepare/rebuild/dispatch와 fault usage가 0이고 snapshot release가 정확히 한 번인가.
- abort 미확정 시 기존 binding을 유지해 두 live attempt가 생기지 않는가.
- production source, roadmap, contract/config, task-group `WORK_LOG.md`를 수정하지 않았는가.

## 검증 결과

아래 각 명령의 실제 stdout/stderr를 그대로 기록한다. 명령을 바꾸면 `계획 대비 변경 사항`에 대체 명령과 이유를 먼저 남긴다.

### Environment

- `command -v go && readlink -f "$(command -v go)" && go version && go env GOROOT`

_실제 출력:_
```
/config/.local/bin/go
/config/opt/go/bin/go
go version go1.26.2 linux/arm64
/config/opt/go
```

### Formatting

- `gofmt -l packages/go/streamgate/recovery_coordinator_test.go`

_실제 출력:_(empty)

### Focused fixtures

- `go test -count=1 ./packages/go/streamgate -run 'TestRecoveryCoordinator(TwoViolationsSinglePlan|AbortTimeoutBlocksDownstream)'`

_실제 출력:_
```
ok  	iop/packages/go/streamgate	0.033s
```

### Package unit

- `go test -count=1 ./packages/go/streamgate`

_실제 출력:_
```
ok  	iop/packages/go/streamgate	0.863s
```

### Package race

- `go test -race -count=1 ./packages/go/streamgate`

_실제 출력:_
```
ok  	iop/packages/go/streamgate	1.899s
```

### Fixture inventory

- `rg --sort path -n '^func TestRecoveryCoordinator(TwoViolationsSinglePlan|AbortTimeoutBlocksDownstream)' packages/go/streamgate/recovery_coordinator_test.go`

_실제 출력:_
```
894:func TestRecoveryCoordinatorTwoViolationsSinglePlan(t *testing.T) {
1044:func TestRecoveryCoordinatorAbortTimeoutBlocksDownstream(t *testing.T) {
```

### Diff

- `git diff --check`

_실제 출력:_(empty)

---

> **[IMPLEMENTING AGENT — BEFORE SAVING] Have you filled in every implementation-owned section?**
> If anything is blank, go back and fill it in before saving this file.
> Leave review-agent-only sections unchanged.

## 섹션 소유권

| Section | Owner | Note |
|---------|-------|------|
| Header comment, 개요, 리뷰 에이전트 지시 | Fixed at stub creation | Implementing agent must not modify or execute these (archive, complete.log, and task-directory archive move are review-agent only) |
| Roadmap Targets | Fixed at stub creation from plan when present | Implementing agent must not modify; code-review copies it into `complete.log` as `Roadmap Completion` only on PASS |
| Archive Evidence Snapshot | Fixed at stub creation from plan when present | Implementing agent uses it as default prior-loop context; read only the specific archive files cited there when more detail is required |
| Agent UI Completion | Mixed | Present only for plan-required agent-ui code work; implementing agent fills actual evidence, review agent applies `구현됨` status/evidence update on PASS and copies the section into `complete.log` |
| 구현 항목별 완료 여부 (item names) | Fixed at stub creation | Implementing agent checks `[ ]` → `[x]` only |
| 구현 체크리스트 (item text/order) | Fixed at stub creation from plan | Implementing agent checks `[ ]` → `[x]` only |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify or check this section |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholder text with actual content |
| 리뷰어를 위한 체크포인트 | Fixed at stub creation | Pre-filled from plan |
| 검증 결과 (section headings + commands) | Fixed at stub creation | Implementing agent fills in command output only; command changes require a `계획 대비 변경 사항` entry |
| 코드리뷰 결과 | Review agent appends | Not included in stub |

## 코드리뷰 결과

- 종합 판정: FAIL
- 차원별 평가:
  - correctness: Pass
  - completeness: Fail
  - test coverage: Fail
  - API contract: Pass
  - code quality: Pass
  - implementation deviation: Fail
  - verification trust: Pass
  - spec conformance: Fail
- 발견된 문제:
  - Required — `packages/go/streamgate/recovery_coordinator_test.go:1010`: 계획 REVIEW_RECOVERY_EXECUTION-1은 Arbiter winner의 consumer/filter/rule이 최종 plan contributor에 보존되는 assertion을 필수로 했지만, `TestRecoveryCoordinatorTwoViolationsSinglePlan`의 "Plan belongs to the winning contributor" 블록은 `plan.PlanID()`만 확인한다. 공개 `RecoveryPlan.Contributors()`가 존재하므로 현재 fixture는 coordinator가 잘못된 contributor를 넣어도 통과해 S14의 선택 결과 연결 evidence를 닫지 못한다. 수동 `arbCopy` 재구성 없이 `Arbitration: arbitration`을 직접 전달하고, contributor가 정확히 `c.winner/a.recovery/r.winner` 하나인지 assertion한다.
- 다음 단계: code-review FAIL follow-up으로 S14 winner contributor assertion과 정확한 fresh 검증 evidence만 보완한다.
