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

# Code Review Reference - 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=0, tag=RECOVERY_EXECUTION

## Roadmap Targets

- Milestone: `agent-roadmap/phase/knowledge-tool-optimization-extension/milestones/stream-evidence-gate-core.md`
- Task ids: `recovery-coordinator`
- Completion mode: check-on-pass


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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-cloud-G09.md` → `code_review_cloud_G09_0.log`, `PLAN-cloud-G09.md` → `plan_cloud_G09_0.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` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| RECOVERY-1 coordinator state | [x] |
| RECOVERY-2 serialized host calls | [x] |
| RECOVERY-3 tests | [x] |
| RECOVERY-4 회귀 | [x] |

## 구현 체크리스트

- [x] RECOVERY-1 eligibility·budget·re-entry를 검증하고 immutable plan을 만드는 coordinator를 구현한다.
- [x] RECOVERY-2 abort → optional one-shot prepare → rebuild → pre-dispatch consume → single dispatch 순서를 구현한다.
- [x] RECOVERY-3 cap 교차 소진, ordering, cancel/side-effect, preparer와 multi-cycle fixtures를 추가한다.
- [x] RECOVERY-4 streamgate unit/race/diff 검증을 수행한다.
- [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_G09_0.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_cloud_G09_0.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`를 작성하지 않는다.

## 계획 대비 변경 사항

- `packages/go/streamgate/recovery_coordinator.go`와 전용 test만 추가했다. 계획의 수정 후보였던 `stream_release.go`, `parallel_evaluation.go`는 기존 `ArbitrationResult.RecoveryIntent()`, `RecoveryPlan.ResumeMode()`와 host seam이 coordinator 입력/출력 경계를 이미 제공하므로 조기 조립을 피하고 변경하지 않았다. 실제 gate-cycle 조립은 계획대로 후속 `19` 범위에 남긴다.
- endpoint error 직렬화와 roadmap/finalization은 범위에 포함하지 않았다.

## 주요 설계 결정

- request-local `RecoveryCoordinator`가 immutable policy snapshot, mutable fault usage ledger, current `AttemptBinding`, used-plan/preparer ledger를 소유한다. mutex의 `busy` gate로 동시 cycle을 거부하되 host 호출 중 mutex를 잡지 않아 상태 조회와 경쟁 호출이 교착되지 않는다.
- 한 cycle은 arbiter가 고른 intent 하나로 plan을 만든 뒤 `AbortAttempt → optional bounded one-shot PrepareRecoveryPlan → snapshot release → RebuildRequest/FinalizeRebuiltRequest → UsageAfterDispatch 저장 → DispatchAttempt → binding install` 순서를 고정한다.
- plan은 abort 전에 used ledger에 기록해 abort/prepare/rebuild/dispatch 실패 뒤 동일 plan이 다시 side effect를 만들지 못하게 했다. preparation snapshot은 `Execute`가 소유하며 eligibility/re-entry/abort/prepare/cancel을 포함한 모든 종료 경로에서 최대 한 번 release한다.
- host의 raw 오류를 외부로 전달하지 않고 stable coordinator error와 최대 4단계 `FailureCauseChain` code로 정규화한다. managed continuation은 rebuild가 측정한 prompt token으로 allowance를 finalization하고 0이면 dispatch하지 않으며 fault usage를 소비하지 않는다.
- fault usage는 dispatch 호출 직전에 저장하고 dispatcher 오류/invalid binding에도 되돌리지 않는다. 성공 시 dispatcher가 반환한 actual model/provider/path/event source/controller의 validated binding 하나만 current attempt로 설치한다.

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

- abort 성공 전 prepare/rebuild/dispatch가 절대 호출되지 않는가.
- preparer failure가 budget을 소비하거나 fallback/reinvoke하지 않는가.
- managed allowance가 rebuild 뒤 확정되고 0이면 no-dispatch인가. fault outbound 직전 consume, cycle당 one plan/dispatch와 re-entry guard가 race-safe한가.
- terminal cause가 bounded/sanitized이고 public error가 하나인가.

## 검증 결과

- `command -v go && readlink -f "$(command -v go)" && go version && go env GOROOT`
- `go test -count=1 ./packages/go/streamgate`
- `go test -race -count=1 ./packages/go/streamgate`
- `git diff --check`

_실제 출력:_

```text
/config/.local/bin/go
/config/opt/go/bin/go
go version go1.26.2 linux/arm64
/config/opt/go

gofmt -l packages/go/streamgate/recovery_coordinator.go packages/go/streamgate/recovery_coordinator_test.go
(출력 없음)

ok   iop/packages/go/streamgate  0.835s
ok   iop/packages/go/streamgate  1.874s
git diff --check: 출력 없음
```

---

> **[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: Fail
  - spec conformance: Fail
- 발견된 문제:
  - Required — `packages/go/streamgate/recovery_coordinator_test.go:341`: 계획 RECOVERY-3와 SDD S14/Evidence Map이 요구한 `two violations -> one plan/dispatch` 연결 fixture가 없다. 기존 `TestArbitrationResultMultipleRecoverCandidatesSort`는 Arbiter 선택에서 끝나고 coordinator tests는 미리 만든 단일 `ArbitrationResult`로 시작하므로 두 filter outcome이 실제 `RecoveryCoordinator.Execute`까지 이어져 abort/rebuild/dispatch가 정확히 한 번인지는 검증되지 않는다. 두 violation의 `EvaluationSet`을 `Arbitrate`한 결과로 coordinator를 실행하고 winner contributor, plan 1개, abort/rebuild/dispatch 각 1회를 함께 assertion한다.
  - Required — `packages/go/streamgate/recovery_coordinator_test.go:463`: failure barrier 표는 즉시 반환하는 abort error만 검증하고 SDD S20/Evidence Map의 abort-timeout fixture를 제공하지 않는다. blocking `AbortAttempt`와 deadline context를 사용해 timeout 뒤 prepare/rebuild/dispatch가 0회이고 usage가 미소비이며 preparation snapshot이 정확히 한 번 release되는 회귀 테스트를 추가한다.
- 다음 단계: code-review FAIL follow-up으로 위 두 required fixture만 보완하는 최소 plan을 작성하고 재검증한다.
