<!-- task=m-stream-evidence-gate-core/02+01_evaluation_contract plan=1 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=1, tag=REVIEW_API

## Archive Evidence Snapshot

- 이전 plan: `agent-task/m-stream-evidence-gate-core/02+01_evaluation_contract/plan_local_G03_0.log`
- 이전 review: `agent-task/m-stream-evidence-gate-core/02+01_evaluation_contract/code_review_local_G03_0.log`
- Verdict: `FAIL`
- Required:
  - `EpochFilter.ID()`가 생성 시 검증한 id를 snapshot하지 않아 mutable evaluator id를 따라 바뀐다.
  - `NewEpochFilterOutcome`이 wrapper filter id와 evaluated decision filter id 불일치를 허용한다.
  - failure-policy test의 not-applicable/deferred case가 실제로는 evaluated pass outcome을 만든다.
- 영향 파일: `packages/go/streamgate/evaluation_contract.go`, `packages/go/streamgate/evaluation_contract_test.go`
- 실제 검증: 계획의 gofmt/focused/full package/vet/proto/transport/import/diff 명령은 통과했지만 공개 API 집중 재현은 `stored_id_after_mutation=mutated.id`, `mismatch_error=<nil> wrapper_id=claimed.id decision_id=actual.id`를 출력했다.
- Roadmap carryover: SDD S12의 stable filter identity와 complete outcome set을 보완하되 이 하위 계약 plan 자체는 `parallel-evaluation` 완료를 주장하지 않는다.

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-local-G04.md` → `code_review_local_G04_1.log`, `PLAN-local-G03.md` → `plan_local_G03_1.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-stream-evidence-gate-core`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_API-1 Resolved binding id snapshot | [x] |
| REVIEW_API-2 Evaluated outcome identity consistency | [x] |

## 구현 체크리스트

- [x] `REVIEW_API-1` `EpochFilter`가 생성 시 검증한 evaluator id를 immutable snapshot으로 보존하고 evaluator mutation 뒤에도 같은 id를 반환하도록 구현·테스트한다.
- [x] `REVIEW_API-2` evaluated outcome의 wrapper/decision filter id 일치를 constructor와 validation/set 경계에서 강제하고 실제 not-applicable/deferred failure-policy 입력을 검증하도록 구현·테스트한다.
- [x] 계획의 전체 local 검증 명령을 fresh cache 조건으로 실행하고 실제 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_G04_1.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G03_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/02+01_evaluation_contract/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/02+01_evaluation_contract/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [ ] PASS이고 task group이 `m-stream-evidence-gate-core`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, 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 예시와 동일한 방향으로 구현했다. 명시적 변경:
- `EpochFilter` struct에 `id StableToken` 필드 추가 (기존 `evaluator` 필드 앞에 배치)
- `NewEpochFilter`에서 `id := evaluator.ID()` + `validateStableTokenRequired` 대신 `NewStableTokenRequired` 하나로 치환, 반환값을 `EpochFilter.id`에 snapshot
- `EpochFilter.ID()`가 `f.evaluator.ID()` → `f.id.String()` 변경
- `NewEpochFilterOutcome` evaluated case에 `decision.FilterID() != fid.String()` 불일치 검문 추가
- `EpochFilterOutcome.Validate()` evaluated case에 동일한 불일치 검문 추가
- `TestEpochFilterOutcomeValidatesFailurePolicy`에서 `not_applicable_blocking`/`deferred` 케이스가 `mustEvalOutcome(t, newPassDecision(...))` → `NewFilterOutcomeNotApplicableForEpoch()`/`NewFilterOutcomeDeferredByRequirement()`로 변경
- 새 테스트 3개 추가 (`TestEpochFilterSnapshotsEvaluatorID`, `TestEpochFilterOutcomeRejectsDecisionIDMismatch`, `TestEvaluationSetRejectsForgedDecisionIDMismatch`)

## 주요 설계 결정

- `StableToken`을 사용해서 생성 시 검증 + snapshot을 한 번에 처리: empty grammar 위반이 `NewStableTokenRequired`에서 즉시 error로 반환되므로 기존 `if id == ""` early return과 별도 `validateStableTokenRequired` 호출을 제거했다.
- `Evaluator()` seam은 유지: parallel coordinator가 직접 `Evaluate`를 호출해야 하므로 `f.evaluator` 필드와 accessor를 그대로 남겼다.
- mismatch 오류는 안정적 계약 오류 메시지만 반환: raw 값 노출 없이 `"streamgate: evaluated outcome filter id mismatch"` 하나만 사용.
- package-local forged entry도 차단: `NewEpochFilterOutcome` constructor만 아니라 `Validate()`에서 동일한 검문을 적용해 `EpochFilterOutcome`을 직접构造한 forged entry도 `NewEvaluationSet`에서 거부된다.

## 사용자 리뷰 요청

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

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

- `EpochFilter.ID()`가 evaluator를 다시 호출하지 않고 생성 시 검증한 stable token snapshot을 반환하는지 확인한다.
- mutable evaluator id 회귀가 `Evaluator()` seam은 유지하면서 resolved binding identity만 고정되는지 확인한다.
- evaluated outcome에서 wrapper id와 decision filter id가 constructor와 `Validate()`/`NewEvaluationSet` 양쪽에서 일치하도록 강제되는지 확인한다.
- not-applicable/deferred failure-policy case가 실제 해당 outcome kind를 만들고 `none` disposition을 검증하는지 확인한다.
- 기존 failure disposition 의미, Registry/coordinator, Edge/Node/proto/config/contract/roadmap으로 범위를 확장하지 않았는지 확인한다.

## 검증 결과

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

### `go test -count=1 ./packages/go/streamgate -run '^TestEpochFilter(SnapshotsEvaluatorID|NormalizesApplicabilityAndRequirement|RejectsInvalidExecutionContract)$'`

```
ok  	iop/packages/go/streamgate	0.003s
```
Exit code: 0

### `go test -count=1 ./packages/go/streamgate -run '^Test(EpochFilterOutcomeRejectsDecisionIDMismatch|EvaluationSetRejectsForgedDecisionIDMismatch|EpochFilterOutcomeValidatesFailurePolicy)$'`

```
ok  	iop/packages/go/streamgate	0.004s
```
Exit code: 0

### `gofmt -d packages/go/streamgate/evaluation_contract.go packages/go/streamgate/evaluation_contract_test.go`

```
(no output)
```
Exit code: 0

### `go test -count=1 ./packages/go/streamgate -run '^Test(EpochFilterSnapshotsEvaluatorID|EpochFilterOutcomeRejectsDecisionIDMismatch|EvaluationSetRejectsForgedDecisionIDMismatch|EpochFilterNormalizesApplicabilityAndRequirement|EpochFilterRejectsInvalidExecutionContract|EvaluationSetIsStableAndImmutable|EpochFilterOutcomeValidatesFailurePolicy)$'`

```
ok  	iop/packages/go/streamgate	0.002s
```
Exit code: 0

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

```
ok  	iop/packages/go/streamgate	0.003s
```
Exit code: 0

### `go vet ./packages/go/streamgate`

```
(no output)
```
Exit code: 0

### `make proto`

```
--proto_path=.
proto/iop/runtime.proto
proto/iop/node.proto
proto/iop/control.proto
proto/iop/job.proto
```
Exit code: 0

### `go test -count=1 ./apps/edge/internal/transport ./apps/node/internal/transport`

```
# iop/apps/edge/internal/transport
../../opt/go/src/crypto/ecdsa/ecdsa.go:27:2: package crypto/internal/fips140cache is not in std (/config/opt/go/src/crypto/internal/fips140cache)
FAIL	iop/apps/edge/internal/transport [setup failed]
# iop/apps/node/internal/transport
../../opt/go/src/crypto/ecdsa/ecdsa.go:27:2: package crypto/internal/fips140cache is not in std (/config/opt/go/src/crypto/internal/fips140cache)
FAIL	iop/apps/node/internal/transport [setup failed]
FAIL
```
Exit code: 1
설명: Go toolchain stdlib 설정 문제. 변경 파일과 무관한 환경 결함.

### `go list -f '{{range .Imports}}{{println .}}{{end}}' ./packages/go/streamgate | LC_ALL=C sort`

```
context
errors
sort
strconv
strings
time
```
Exit code: 0

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

```
(no output)
```
Exit code: 0
설명: `packages/go/streamgate/`는 untracked 디렉토리이므로 tracked diff는 없다. proto/gen/iop도 변경 없다.

---

> **[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 | Fail | `EpochFilterOutcome.Validate()`가 outcome/enforcement에서 파생되는 disposition과 저장된 disposition의 불일치를 거부하지 않는다. |
| Completeness | Fail | 모든 outcome을 검증하는 set 경계와 이전 Required의 not-applicable/deferred kind assertion이 완결되지 않았다. |
| Test coverage | Fail | forged disposition mismatch와 not-applicable/deferred kind를 직접 검증하는 회귀가 없다. |
| API contract | Fail | S12 complete outcome set이 failure policy와 모순되는 package-local forged entry를 받아들일 수 있다. |
| Code quality | Pass | 중복 로직 외의 debug 출력·dead code·범위 밖 production 변경은 없고, 잘못된 API 주석은 리뷰 중 바로잡았다. |
| Implementation deviation | Fail | 이전 Required가 요구한 outcome kind+disposition 동시 assertion이 빠졌고 defensive validation이 파생값 일관성을 확인하지 않는다. |
| Verification trust | Pass | 정상 Go 1.24.12와 명시적 `GOROOT`에서 계획 명령이 통과했고, forged disposition 집중 재현은 결정적으로 실패했다. |
| Spec conformance | Fail | SDD S12의 complete outcome set과 failure policy 적용 조건을 만족하지 못한다. |

### 발견된 문제

- Required — `packages/go/streamgate/evaluation_contract.go:427`, `packages/go/streamgate/evaluation_contract_test.go:369`: `EpochFilterOutcome.Validate()`는 `failureDisposition`이 알려진 enum인지만 확인하므로 `not_applicable_for_epoch + blocking + blocking_fatal`처럼 outcome/enforcement에서 파생될 수 없는 package-local forged entry를 정상으로 받아들인다. 집중 probe에서 `Validate()`가 `nil`을 반환했고 같은 이유로 `NewEvaluationSet`도 이를 거부하지 못한다. 또한 이전 Required가 요구한 not-applicable/deferred case의 outcome kind assertion은 여전히 없고 disposition만 확인한다. constructor와 `Validate()`가 공유하는 deterministic derivation helper를 두고 `Validate()`가 저장값과 파생값 불일치를 거부하도록 수정하며, forged entry/set rejection과 not-applicable/deferred kind+disposition을 함께 검증해야 한다.

### 다음 단계

- FAIL follow-up: `plan` 스킬의 `prepare-follow-up` 모드와 isolated fresh routing으로 failure disposition 일관성과 누락된 outcome kind 회귀를 보완하는 다음 active pair를 작성한다.
