<!-- task=m-stream-evidence-gate-core/13+11,12_recovery_plan_contract plan=2 tag=REVIEW_MANAGED_ALLOWANCE_BINDING -->

# Code Review Reference - REVIEW_MANAGED_ALLOWANCE_BINDING

> **[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/13+11,12_recovery_plan_contract, plan=2, tag=REVIEW_MANAGED_ALLOWANCE_BINDING

## Archive Evidence Snapshot

- `agent-task/m-stream-evidence-gate-core/13+11,12_recovery_plan_contract/plan_local_G08_1.log`: recovery-owned snapshot seam과 managed provisional/final plan을 도입한 직전 계획.
- `agent-task/m-stream-evidence-gate-core/13+11,12_recovery_plan_contract/code_review_cloud_G08_1.log`: FAIL. Required 1, Suggested 0, Nit 0.
  - `WithManagedRebuiltRequest`가 allowance를 확정한 뒤에도 dispatcher에는 최종 plan/allowance와 결합되지 않은 기존 `RebuiltRequest`만 전달되어 실제 outbound cap 적용을 보장하지 못한다.
- 첫 리뷰의 sibling `IngressSnapshot`/`ErrIngressSnapshotLimitExceeded` 의존성 Required는 recovery-owned `RecoveryRequestSnapshotRef`/`ErrRecoverySnapshotLimitExceeded`와 격리 checkout package PASS로 해소됐다.
- 영향 파일: `packages/go/streamgate/recovery_plan.go`, `packages/go/streamgate/recovery_plan_test.go`.
- 실제 검증: focused/package/race/gofmt/symbol/diff와 HEAD+contract-only 격리 `GOWORK=off go test -count=1 ./packages/go/streamgate`는 PASS했다. `rg`에서는 `managedAllowance`가 `RecoveryPlan` 내부에만 있고 `AttemptDispatcher.DispatchAttempt`가 `RebuiltRequest` 하나만 받는 것으로 확인됐다.
- 선행 완료: `agent-task/archive/2026/07/m-stream-evidence-gate-core/11+09,10_policy_hook_contract/complete.log`, `agent-task/archive/2026/07/m-stream-evidence-gate-core/12+11_config_policy/complete.log`.

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

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

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

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

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_MANAGED_ALLOWANCE_BINDING-1 two-phase contract | [x] |
| REVIEW_MANAGED_ALLOWANCE_BINDING-2 dispatch regression | [x] |
| REVIEW_MANAGED_ALLOWANCE_BINDING-3 verification | [x] |

## 구현 체크리스트

- [x] REVIEW_MANAGED_ALLOWANCE_BINDING-1 measured rebuilt draft와 allowance-bound dispatchable request를 분리한다.
- [x] REVIEW_MANAGED_ALLOWANCE_BINDING-2 preparation/identity/allowance/exhaustion/dispatcher 회귀를 추가한다.
- [x] REVIEW_MANAGED_ALLOWANCE_BINDING-3 focused/package/race/gofmt/symbol/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_G07_2.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G07_2.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/13+11,12_recovery_plan_contract/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/13+11,12_recovery_plan_contract/`로 이동하고 최종 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`를 작성하지 않는다.

## 계획 대비 변경 사항

없음. 계획에 명시된 대로 two-phase rebuilt request contract, managed allowance binding, dispatch regression fixture 및 전체 검증 절차를 이행함.

## 주요 설계 결정

1. `RebuiltRequestDraft`와 `RebuiltRequest` 타입 분리: `RequestRebuilder`는 unfinalized measured draft (`RebuiltRequestDraft`)만 반환하도록 변경하고, `AttemptDispatcher`는 final allowance-bound `RebuiltRequest`만 수신하도록 타입 수준에서 오용을 차단함.
2. `RecoveryPlan.FinalizeRebuiltRequest(draft)` 단일 팩토리 메서드 도입: existing `WithManagedRebuiltRequest`를 대체하고, Measured draft와 Plan의 preparation readiness 및 identity (`planID`, `idempotencyKey`)를 검증하여 immutable updated `RecoveryPlan`과 `RebuiltRequest`를 동시에 생성/반환함.
3. Managed 및 Fault Strategy 통합 바인딩: Managed Continuation 전략에 대해 측정된 prompt token 기반으로 `ManagedAllowance()`를 계산하여 `RebuiltRequest`에 바인딩하며, Fault Recovery 전략은 `ManagedAllowance() == 0`인 dispatchable `RebuiltRequest`를 반환하도록 일관성을 확보함. Trajectory budget 소진 시 `ErrManagedTrajectoryExhausted`를 반환하며 final request 생성 및 dispatcher 호출이 수행되지 않도록 검증함.

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

- Rebuilder 결과가 dispatchable final request가 아니라 raw-free measured draft이고, second rebuild 없이 Core finalizer가 plan과 request를 함께 확정하는가.
- final `RebuiltRequest`가 plan/idempotency identity와 실제 prompt 기반 `ManagedAllowance()`를 보존하며 dispatcher가 그 값을 직접 관찰하는가.
- preparation 미완료, stale identity, caller/context allowance 0은 final request와 dispatcher 호출을 만들지 않는가.
- fault request는 allowance 0으로 정상 dispatchable이고 managed continuation은 fault ledger를 소비하지 않는가.
- recovery contract가 `IngressSnapshot`/`ErrIngressSnapshotLimitExceeded` sibling 심볼을 다시 참조하지 않는가.

## 검증 결과

### Host Go

`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
```

### Format

`gofmt -l packages/go/streamgate/recovery_plan.go packages/go/streamgate/recovery_plan_test.go`

_실제 출력:_

```

```

### Focused contract

`go test -count=1 ./packages/go/streamgate -run 'Test(ManagedTrajectoryPostRebuildFinalization|RebuiltRequestDraftLifecycleAndIdentity|RecoveryPlanDefensiveCopiesAndPreparationContract|RecoveryRequestSnapshotRefBounds|RecoveryHostSeamsAndRawFreeReferences)'`

_실제 출력:_

```
ok  	iop/packages/go/streamgate	0.003s
```

### Package

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

_실제 출력:_

```
ok  	iop/packages/go/streamgate	0.849s
```

### Race

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

_실제 출력:_

```
ok  	iop/packages/go/streamgate	1.869s
```

### Stale finalizer

`if rg --sort path -n '\bWithManagedRebuiltRequest\b' packages/go/streamgate/recovery_plan.go packages/go/streamgate/recovery_plan_test.go; then exit 1; fi`

_실제 출력:_

```

```

### Dependency isolation

`if rg --sort path -n '\b(IngressSnapshot|ErrIngressSnapshotLimitExceeded)\b' packages/go/streamgate/recovery_plan.go packages/go/streamgate/recovery_plan_test.go; then exit 1; fi`

_실제 출력:_

```

```

### Diff

`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: Fail
  - completeness: Fail
  - test coverage: Fail
  - API contract: Fail
  - code quality: Pass
  - implementation deviation: Fail
  - verification trust: Fail
- 발견된 문제:
  - Required — `packages/go/streamgate/recovery_plan.go:917`, `packages/go/streamgate/recovery_plan.go:927`, `packages/go/streamgate/recovery_plan.go:962`, `packages/go/streamgate/recovery_plan.go:1210`, `packages/go/streamgate/recovery_plan.go:1247`, `packages/go/streamgate/recovery_plan_test.go:375`, `packages/go/streamgate/recovery_plan_test.go:710`: dispatchable `RebuiltRequest`가 여전히 `RecoveryPlan.FinalizeRebuiltRequest`의 plan-bound 결과임을 보장하지 않는다. Exported `NewRebuiltRequest(draft, managedAllowance)`가 임의 allowance를 받아 host/package 외부에서도 finalizer를 우회할 수 있고, finalizer는 plan/idempotency만 비교한 뒤 plan의 `RequiredCapabilities()`와 다른 draft(현재 managed 회귀도 plan에는 두 capability가 있지만 draft에는 `nil`)를 그대로 승인해 dispatcher admission 제약을 누락할 수 있다. 이는 plan의 “one-shot finalizer가 allowance-bound request를 함께 반환하고 required capability를 보존”한다는 기준과 SDD S24/`AttemptDispatcher` required-capability 계약을 깨뜨린다. Final request 생성자를 Core 전용으로 비공개화해 `FinalizeRebuiltRequest`를 유일한 생성 경로로 만들고, finalizer가 plan의 required capabilities를 final request에 직접 bind하거나 draft와 정확히 대조하도록 수정한다. 외부 임의 allowance 생성 경로가 없고 capability 불일치에서는 final request/dispatch가 없으며, 성공 시 dispatcher가 final plan과 동일한 allowance·identity·capabilities를 관찰하는 회귀를 추가한다.
- 다음 단계: `plan` 스킬의 `prepare-follow-up` 결과로 생성되는 새 routed PLAN/CODE_REVIEW pair에서 dispatchable request의 plan-bound 생성 권한과 capability binding을 닫는다.
