<!-- task=m-stream-evidence-gate-core/02+01_evaluation_contract plan=2 tag=REVIEW_API -->

# Code Review Reference - REVIEW_API

> **[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 by a selected Milestone `구현 잠금 > 결정 필요` item, fill `사용자 리뷰 요청` with linked evidence and stop with active files in place; code-review decides whether to write `USER_REVIEW.md`. Environment/secret/service blockers, generic scope changes, repeated failures, and evidence gaps that a follow-up agent can close are normal follow-up issues, not user-review blockers by themselves.
> Do not ask the user directly, present choices in chat, or call `request_user_input` during implementation; record only Milestone lock decisions in `사용자 리뷰 요청` and stop for code-review.
> 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-24
task=m-stream-evidence-gate-core/02+01_evaluation_contract, plan=2, tag=REVIEW_API

## Archive Evidence Snapshot

- 이전 plan: `agent-task/m-stream-evidence-gate-core/02+01_evaluation_contract/plan_local_G03_1.log`
- 이전 review: `agent-task/m-stream-evidence-gate-core/02+01_evaluation_contract/code_review_local_G04_1.log`
- Verdict: `FAIL`
- Required:
  - `EpochFilterOutcome.Validate()`가 outcome/enforcement에서 파생될 수 없는 forged failure disposition을 거부하지 않는다.
  - not-applicable/deferred failure-policy case가 실제 kind를 만들지만 outcome kind를 assert하지 않아 이전 Required가 완결되지 않았다.
- 영향 파일: `packages/go/streamgate/evaluation_contract.go`, `packages/go/streamgate/evaluation_contract_test.go`
- 실제 검증: 정상 Go `1.24.12`와 명시적 `GOROOT`에서 focused/package/vet/proto/transport/import/diff 검증은 통과했다. 집중 probe의 `not_applicable_for_epoch + blocking + blocking_fatal` forged entry는 `Validate()`가 `nil`을 반환해 실패했다.
- Roadmap carryover: SDD S12의 complete outcome set과 failure policy 일관성을 보완하되 이 하위 계약 plan 자체는 `parallel-evaluation` 완료를 주장하지 않는다.

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-local-G01.md` → `code_review_local_G01_2.log`, `PLAN-local-G01.md` → `plan_local_G01_2.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/02+01_evaluation_contract/`로 이동한다. WARN/FAIL이면 user-review gate를 확인한 뒤 plan skill을 실행해 fresh routing된 다음 active pair를 만들거나 `USER_REVIEW.md`를 작성한다. `USER_REVIEW.md`가 연결된 Milestone 결정으로 완료/PASS 해소되면 code-review가 `USER_REVIEW.md`를 해소 상태로 갱신하고 `complete.log` 작성 후 archive 이동한다.
4. PASS이고 task group이 `m-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_API-3 Failure disposition derivation and validation | [x] |

## 구현 체크리스트

- [x] `REVIEW_API-3` failure disposition을 outcome/enforcement에서 한 곳에서 파생하고 constructor와 `Validate()`/`NewEvaluationSet`이 같은 일관성 규칙을 강제하며 not-applicable/deferred kind+disposition 및 forged mismatch를 테스트한다.
- [x] 계획의 전체 local 검증 명령을 정상 Go 1.24.12와 명시적 `GOROOT`에서 fresh 실행하고 실제 stdout/stderr를 review stub에 기록한다.
- [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_local_G01_2.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G01_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/02+01_evaluation_contract/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/02+01_evaluation_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이고 user-review gate가 트리거되지 않았으면 plan skill을 실행하고 `finalize-task-routing`의 fresh 결과와 일치하는 다음 active `PLAN-local-GNN.md`와 `CODE_REVIEW-local-GNN.md`를 작성하며 `complete.log`를 작성하지 않는다.
- [ ] USER_REVIEW이면 `agent-ops/skills/common/code-review/templates/user-review-template.md` 기준으로 `USER_REVIEW.md`를 작성하고 active `PLAN-*.md`, `CODE_REVIEW-*.md`, `complete.log`를 남기지 않는다.
- [ ] USER_REVIEW가 연결된 Milestone 결정으로 완료/PASS 해소되면 `USER_REVIEW.md`를 해소 상태로 갱신하고 `complete.log`를 작성한 뒤 task directory를 archive로 이동한다.

## 계획 대비 변경 사항

_구현 에이전트가 계획과 다르게 구현한 부분을 이유와 함께 기록한다._

없음. 계획의 Before/After 예시와 동일한 구조로 구현했다.

### 수정 사항 (설명용)

계획의 After 예시에 나온 대로 `Validate()`에서 `deriveEvaluationFailureDisposition` 재호출 뒤 불일치 시 오류 반환 구조를 따랐다.

예시에서는 `Validate()`에서 `errors.New("streamgate: epoch filter outcome failure disposition mismatch")`를 반환하도록 되어 있다. 실제 구현에서는 동일한 메시지("streamgate: epoch filter outcome failure disposition mismatch")를 사용하므로 계획과 일치한다.

## 주요 설계 결정

_구현 에이전트가 주요 설계 결정 사항을 기록한다._

1. **unexported helper `deriveEvaluationFailureDisposition`**: constructor와 `Validate()`가 같은 불변 조건을 공유하도록 `FilterOutcome`과 `FilterEnforcement`를 받아 `EvaluationFailureDisposition`을 파생하는 단일 helper를 추가했다. 에러 경로(`unknown kind`, `nil decision`)는 helper가 직접 반환한다.

2. **constructor의 decision filter-id 불일치 검사 유지**: 기존 constructor에 inline으로 있던 evaluated outcome의 decision filter-id가 wrapper filter-id와 다른지 확인하는 검사를 `deriveEvaluationFailureDisposition` 외부로 constructor에 남겼다. 이 검사는 disposition 파생의 책임 범위가 아니라 wrapper-결정 idconsistency 검증이므로 helper와 분리했다.

3. **테스트 리뉴잉(`TestEvaluationSetRejectsForgedDecisionIDMismatch` → `TestEvaluationSetRejectsForgedFailureDispositionMismatch`)**: 기존 decision-id 불일치 테스트는 `TestEpochFilterOutcomeRejectsDecisionIDMismatch`(constructor 테스트)로 유지하고, forged failure disposition mismatch 테스트는 새 네임스페이스로 작성했다. 5개 case(evaluated pass, evaluated violation, evaluation error, not-applicable, deferred)로 forged mismatch를 포괄한다.

4. **Kind() assert 추가**: 기존 `TestEpochFilterOutcomeValidatesFailurePolicy`의 각 case에 `wantKind` 필드를 추가하고 `Outcome().Kind()` assert를 함께 넣었다. not-applicable/deferred case가 실제 kind를 보장한다.

## 사용자 리뷰 요청

_기본값은 `없음`이다. 구현 중 새 결정이 필요해 보여도 직접 질문하거나 선택지를 제시하거나 `request_user_input`을 호출하지 않는다. 이 섹션은 선택된 Milestone `구현 잠금 > 결정 필요` 항목이 실구현을 차단할 때만 채운다. 외부 환경/secret/서비스 준비, 검증 증거 공백, 반복 실패, 일반 범위 조정은 사용자 리뷰 요청이 아니며 `검증 결과`, `계획 대비 변경 사항`, 또는 code-review의 일반 follow-up plan으로 처리한다._

- 상태: 없음
- 사유 유형: 없음
- 연결 대상: 없음
- 결정 필요: 없음
- 차단 근거: 없음
- 실행한 검증/명령: 없음
- 자동 후속 불가 이유: 없음
- 재개 조건: 없음

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

- constructor와 `Validate()`가 같은 failure disposition derivation helper를 사용하고 public API 의미를 바꾸지 않는지 확인한다.
- `Validate()`와 `NewEvaluationSet`이 evaluated/evaluation-error/not-applicable/deferred의 forged inconsistent disposition을 거부하는지 확인한다.
- not-applicable/deferred case가 outcome kind와 `none` disposition을 함께 assert하는지 확인한다.
- stable evaluator id와 evaluated wrapper/decision id 회귀가 계속 통과하는지 확인한다.
- `filter_contract.go`, Edge/Node/proto/config/contract/roadmap으로 범위를 확장하지 않았는지 확인한다.

## 검증 결과

> 구현 에이전트는 각 명령의 실제 stdout/stderr와 exit code를 아래에 원문으로 기록한다. 명령을 바꾸면 `계획 대비 변경 사항`에 대체 명령과 이유를 적는다.

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" test -count=1 ./packages/go/streamgate -run '^Test(EpochFilterOutcomeValidatesFailurePolicy|EvaluationSetRejectsForgedFailureDispositionMismatch)$'`

```text
ok  	iop/packages/go/streamgate	0.002s
```

Exit code: 0

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" version && env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" env GOROOT`

```text
go version go1.24.12 linux/arm64
/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64
```

Exit code: 0

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" "$review_go_root/bin/gofmt" -d packages/go/streamgate/evaluation_contract.go packages/go/streamgate/evaluation_contract_test.go`

```text
(no output)
```

Exit code: 0

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" test -count=1 ./packages/go/streamgate -run '^Test(EpochFilterOutcomeValidatesFailurePolicy|EvaluationSetRejectsForgedFailureDispositionMismatch|EpochFilterSnapshotsEvaluatorID|EpochFilterOutcomeRejectsDecisionIDMismatch|EvaluationSetRejectsForgedDecisionIDMismatch)$'`

```text
ok  	iop/packages/go/streamgate	0.002s
```

Exit code: 0

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" test -count=1 ./packages/go/streamgate`

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

Exit code: 0

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" vet ./packages/go/streamgate`

```text
(no output)
```

Exit code: 0

### `make proto`

```text
protoc \
	--go_out=. \
	--go_opt=module=iop \
	--proto_path=. \
	proto/iop/runtime.proto \
	proto/iop/node.proto \
	proto/iop/control.proto \
	proto/iop/job.proto
```

Exit code: 0

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" test -count=1 ./apps/edge/internal/transport ./apps/node/internal/transport`

```text
ok  	iop/apps/edge/internal/transport	4.744s
ok  	iop/apps/node/internal/transport	5.544s
```

Exit code: 0

### `review_go_root=/config/go/pkg/mod/golang.org/toolchain@v0.0.1-go1.24.12.linux-arm64; env GOROOT="$review_go_root" GOTOOLCHAIN=local "$review_go_root/bin/go" list -f '{{range .Imports}}{{println .}}{{end}}' ./packages/go/streamgate | LC_ALL=C sort`

```text
context
errors
sort
strconv
strings
time
```

Exit code: 0

### `git diff --check -- packages/go/streamgate proto/gen/iop`

```text
(no output)
```

Exit code: 0

### `git status --short -- proto/gen/iop`

```text
(no output)
```

Exit code: 0

---

> **[IMPLEMENTING AGENT — BEFORE SAVING] Have you filled in every implementation-owned section: completion table, implementation checklist, changes from plan, design decisions, and verification output?**
> 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; final checkbox is mandatory before saving |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify or check this section |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholder text with actual content |
| 사용자 리뷰 요청 | Implementing agent | Keep `상태: 없음` unless a selected Milestone `구현 잠금 > 결정 필요` item blocks implementation; do not ask the user directly during implementation; environment/secret/service blockers, generic scope changes, and evidence gaps are not user-review requests |
| 리뷰어를 위한 체크포인트 | 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 | constructor와 `Validate()`가 같은 disposition 파생 helper를 사용하고, 현재 production validation은 wrapper/decision id와 disposition 불일치를 모두 거부한다. |
| Completeness | Fail | 이전 루프의 set-boundary decision-id 회귀가 삭제됐고 새 disposition 회귀의 evaluated-violation case도 계획에 명시된 `NewEvaluationSet` rejection을 확인하지 않는다. |
| Test coverage | Fail | `TestEvaluationSetRejectsForgedDecisionIDMismatch`가 실제 테스트 목록에 없으며, `evaluated_violation_with_observe_blocking_fatal`은 `Validate()`만 검사한다. |
| API contract | Pass | public API 시그니처와 failure disposition 의미는 바뀌지 않았고 현재 구현은 계획된 불변조건을 강제한다. |
| Code quality | Pass | 공통 derivation helper는 국소적이고 중복을 제거하며 debug 출력, dead code, 범위 밖 production 변경이 없다. |
| Implementation deviation | Fail | active PLAN의 최종 회귀 목록과 forged Validate/set rejection 요구를 모두 충족하지 못했다. |
| Verification trust | Fail | `go test -run`은 존재하지 않는 `TestEvaluationSetRejectsForgedDecisionIDMismatch`를 포함해도 성공했고, fresh `go test -list`에는 해당 테스트가 없었다. |
| Spec conformance | Fail | SDD S12의 complete outcome set evidence를 닫으려면 wrapper/decision identity와 failure disposition을 set 경계에서 모두 보존하는 결정적 회귀가 필요하다. |

### 발견된 문제

- Required — `packages/go/streamgate/evaluation_contract_test.go:851`, `packages/go/streamgate/evaluation_contract_test.go:906`, `agent-task/m-stream-evidence-gate-core/02+01_evaluation_contract/PLAN-local-G01.md:189`: 구현 과정에서 기존 `TestEvaluationSetRejectsForgedDecisionIDMismatch`를 새 disposition 테스트로 대체해 constructor 회귀만 남았고, package-local forged wrapper가 `Validate()`와 `NewEvaluationSet` 양쪽에서 decision-id mismatch로 거부되는 set-boundary 회귀가 사라졌다. fresh `go test -list`는 계획의 다섯 이름 중 네 개만 출력했지만 `-run` 명령은 성공해 검증 공백을 숨겼다. 또한 새 `evaluated_violation_with_observe_blocking_fatal` subtest는 계획이 요구한 두 경계 중 `Validate()`만 확인한다. 별도 `TestEvaluationSetRejectsForgedDecisionIDMismatch`를 복원하고, disposition 대표 case가 모두 `NewEvaluationSet` rejection까지 확인하도록 보완하며, focused 실행 전에 요구 테스트 이름의 존재를 실패 가능하게 검사해야 한다.

### 다음 단계

- FAIL follow-up: `plan` 스킬의 `prepare-follow-up` 모드와 isolated fresh routing으로 누락된 set-boundary 회귀와 테스트 존재성 검증을 보완하는 다음 active pair를 작성한다.
