<!-- task=m-stream-evidence-gate-core/01_event_contract_types plan=6 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-23
task=m-stream-evidence-gate-core/01_event_contract_types, plan=6, tag=REVIEW_API

## Archive Evidence Snapshot

- 입력 evidence:
  - `agent-task/m-stream-evidence-gate-core/01_event_contract_types/plan_local_G05_5.log`
  - `agent-task/m-stream-evidence-gate-core/01_event_contract_types/code_review_local_G05_5.log`
- 판정: `FAIL`
- Required:
  - provider-error `NormalizedEvent.Validate`가 `FailureCauseChain` 최대 4개 상한을 재검증하지 않는다.
  - `NewFilterDecision`이 caller-owned `*RecoveryIntent`를 그대로 보관해 반환 값의 immutability를 깨뜨린다.
  - filter/terminal의 오류 반환 public constructor가 완성된 값을 own `Validate`에 통과시키는 단일 gate를 사용하지 않는다.
  - forbidden payload 회귀가 여러 field를 한 case에 넣어 각 field 검사를 독립적으로 보호하지 못하고 정상 public variant coverage도 부족하다.
- 영향 파일:
  - `packages/go/streamgate/event.go`
  - `packages/go/streamgate/filter_contract.go`
  - `packages/go/streamgate/terminal.go`
  - `packages/go/streamgate/validation_regression_test.go`
- 검증 evidence:
  - formatter, proto generation, focused/package/transport tests, vet, import/public-symbol boundary, diff check는 통과했다.
  - public probe는 caller-owned intent 변경이 기존 decision을 무효화함을 재현했다.
  - same-package overlay probe는 valid cause 5개인 provider-error event가 `Validate`를 통과함을 재현했다.
- Roadmap carryover: 이 pair는 `event-contract`의 부분 구현을 닫지만 codec/host fixture까지 완료하지 않으므로 `Roadmap Targets`를 두지 않는다.

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-local-G06.md` → `code_review_local_G06_6.log`, `PLAN-local-G05.md` → `plan_local_G05_6.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/01_event_contract_types/`로 이동한다. 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 Provider-error cause chain 상한 폐쇄 | [x] |
| REVIEW_API-2 Filter value immutability와 constructor 단일 gate | [x] |
| REVIEW_API-3 Terminal constructor 단일 gate와 정상 variant matrix | [x] |

## 구현 체크리스트

- [x] `REVIEW_API-1` provider-error `NormalizedEvent.Validate`에 failure cause 최대 4개 상한을 적용하고 4개 정상/5개 거부 회귀를 작성한다.
- [x] `REVIEW_API-2` `NewFilterDecision`의 `RecoveryIntent` 입력을 defensive copy하고 filter public constructor를 assemble-then-own-`Validate` 단일 gate로 통일하며 pointer isolation·variant 회귀를 작성한다.
- [x] `REVIEW_API-3` terminal public constructor를 assemble-then-own-`Validate` 단일 gate로 통일하고 outcome/directive forbidden field별 독립 회귀와 정상 constructor matrix를 완성한다.
- [x] 계획의 local 최종 검증 명령을 `-count=1` 기준으로 모두 실행하고 실제 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_G06_6.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G05_6.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/01_event_contract_types/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/01_event_contract_types/`로 이동하고 최종 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-G01.md`와 `CODE_REVIEW-local-G01.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 코드 스니펫과 동일한 변경을 적용했다. 추가 사항:
- `NewFilterDecision`에서 plan이 제시한 defensive copy + assemble-then-own-Validate 패턴을 정확히 따랐다.
- filter_contract.go의 나머지 오류 반환 constructor(`NewFilterOutcomeEvaluated`, `NewFilterOutcomeEvaluationError`, `NewRecoveryDirectiveExact`, `NewRecoveryDirectiveContinuation`, `NewRecoveryDirectiveSchema`, `NewRecoveryIntent`, `NewSanitizedEvidence`)에 대해 plan이 지시한 대로 assemble-then-own-Validate 패턴을 모두 적용했다.
- terminal.go의 `NewFailureCause`, `NewExternalDescriptor`에 같은 패턴을 적용했다.
- 테스트 파일에 5개 새 테스트 함수를 추가했고, 기존 테스트는 변경하지 않았다.
- 검증 명령은 계획의 10개 명령을 그대로 사용했다.

## 주요 설계 결정

- `NewFilterDecision`의 `RecoveryIntent` defensive copy는 `cp := *intent`로 value copy 후 포인터를 저장하는 방식으로 구현했다. `RecoveryIntent`가 value type이므로 포인터 대포인터 복사가 아닌 value 복사가 맞다.
- cause chain 상한 검증을 `Len() > 0` 대신 `Len() > MaxFailureCauses`로 변경했다. 기댓값이 4개 허용이므로 `> 4`가 정확하다.
- 모든 constructor에 own Validate를 추가했지만, constructor가 이미 입력 값을 개별 검증하므로 Validate가 새로운 검사를 추가하는 것은 아니다. 일관성(pattern)과 안전망 역할을 한다.
- `NewFilterOutcomeNotApplicableForEpoch`와 `NewFilterOutcomeDeferredByRequirement`는 오류를 반환하지 않으므로 변경하지 않았다.

## 사용자 리뷰 요청

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

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

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

- provider-error `NormalizedEvent.Validate`가 cause 4개를 허용하고 5개를 거부하는지 확인한다.
- caller가 constructor 입력 `RecoveryIntent` 변수를 변경해도 기존 `FilterDecision`/`FilterOutcome`이 변하지 않는지 확인한다.
- 대상 filter/terminal 오류 반환 public constructor가 완성된 값을 own `Validate`에 통과시키는지 확인한다.
- outcome/directive의 forbidden field가 한 case에 하나씩 주입되어 모든 branch를 독립적으로 보호하는지 확인한다.
- public 정상 variant와 기존 empty payload/nested terminal/staged-start 회귀가 모두 통과하는지 확인한다.
- 네 계획 파일 외 제품/테스트 파일이 수정되지 않았는지 확인한다.

## 검증 결과

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

### `go test -count=1 ./packages/go/streamgate -run '^TestNormalizedEventValidationEnforcesCauseBound$'`

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

### `go test -count=1 ./packages/go/streamgate -run 'Test(FilterDecisionConstructorCopiesRecoveryIntent|FilterOutcomeValidationRejectsEachForbiddenField|RecoveryDirectiveValidationRejectsEachForbiddenField)$'`

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

### `go test -count=1 ./packages/go/streamgate -run '^TestFilterAndTerminalConstructorsProduceValidValues$'`

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

### `gofmt -d packages/go/streamgate/event.go packages/go/streamgate/filter_contract.go packages/go/streamgate/terminal.go packages/go/streamgate/validation_regression_test.go`

```text
```

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

### `go test -count=1 ./packages/go/streamgate -run 'Test(NormalizedEventValidationEnforcesCauseBound|FilterDecisionConstructorCopiesRecoveryIntent|FilterOutcomeValidationRejectsEachForbiddenField|RecoveryDirectiveValidationRejectsEachForbiddenField|FilterAndTerminalConstructorsProduceValidValues)$'`

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

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

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

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

```text
ok  	iop/apps/edge/internal/transport	4.745s
ok  	iop/apps/node/internal/transport	5.555s
```

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

```text
```

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

```text
context
errors
strconv
time
```

### forbidden production import search

```bash
if rg -n --sort path '"iop/(apps/|proto/gen/|packages/go/config)"' packages/go/streamgate --glob '!**/*_test.go'; then exit 1; else echo "PASS: no forbidden imports"; fi
```

```text
PASS: no forbidden imports
```

### forbidden public constructor search

```bash
if rg -n --sort path '^func NewRelease(ResponseStart|Terminal)Event|^func NewTerminalResult' packages/go/streamgate; then exit 1; else echo "PASS: forbidden public constructors absent"; fi
```

```text
PASS: forbidden public constructors absent
```

### `git diff --check -- packages/go/streamgate`

```text
```

---

> **[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
  - Completeness: Fail
  - Test coverage: Fail
  - API contract: Pass
  - Code quality: Pass
  - Implementation deviation: Fail
  - Verification trust: Fail
- 발견된 문제:
  - Required — `packages/go/streamgate/validation_regression_test.go:604`: 입력 포인터 격리 회귀가 원본 `RecoveryIntent`의 private field 변경 뒤 `FilterDecision`만 확인하고, 계획이 요구한 public-style 변수 재대입과 이를 미리 담은 evaluated `FilterOutcome`의 보존을 검증하지 않는다. `NewFilterOutcomeEvaluated(decision)`을 원본 intent 변경 전에 만들고 `intent = RecoveryIntent{}` 또는 다른 정상 intent로 재대입한 뒤 decision과 outcome의 nested decision/intent가 원래 값으로 `Validate`를 통과하는지 검증해야 한다.
  - Required — `packages/go/streamgate/validation_regression_test.go:865`: constructor matrix가 계획에 명시된 required/optional 조합과 “각 대상 public constructor의 invalid input 거부”를 완결하지 않는다. `FailureCause`와 `ExternalDescriptor`는 optional field가 모두 채워진 정상 case만 있고 required-only case가 없으며, invalid section은 `NewFilterDecision`, `NewFailureCause`, `NewExternalDescriptor`만 다뤄 outcome/directive/intent/evidence constructor의 오류 경계를 보호하지 않는다. 대상 constructor별 정상 optional 조합과 최소 한 개의 invalid 입력을 독립 subtest로 추가해야 한다.
- 검증 재실행:
  - `gofmt -d packages/go/streamgate/event.go packages/go/streamgate/filter_contract.go packages/go/streamgate/terminal.go packages/go/streamgate/validation_regression_test.go`: PASS, 출력 없음
  - `make proto`: PASS, 생성물 추가 변경 없음
  - 다섯 지정 regression test와 `go test -count=1 ./packages/go/streamgate`: PASS
  - `go test -count=1 ./apps/edge/internal/transport ./apps/node/internal/transport`: PASS
  - `go vet ./packages/go/streamgate`: PASS, 출력 없음
  - import/public-symbol boundary와 `git diff --check -- packages/go/streamgate`: PASS
- 다음 단계: active pair를 archive한 뒤 같은 task path에 누락된 회귀 evidence만 닫는 fresh-routed 후속 PLAN/CODE_REVIEW pair를 작성한다.
