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

## Archive Evidence Snapshot

- Task: `agent-task/m-stream-evidence-gate-core/03+01_event_contract_unit_tests`
- Prior plan: `agent-task/m-stream-evidence-gate-core/03+01_event_contract_unit_tests/plan_local_G04_0.log`
- Prior review: `agent-task/m-stream-evidence-gate-core/03+01_event_contract_unit_tests/code_review_local_G05_0.log`
- Verdict: `FAIL`
- Findings: Required 3, Suggested 0, Nit 0
- Required:
  - response-start 생성자와 테스트가 hop-by-hop/`Content-Length` 거부 계약을 구현·실행하지 않는다.
  - `EvidenceBatch` defensive-copy 테스트가 실제 element/nested payload를 변조하지 않는다.
  - cause-chain 테스트가 latest-four 순서, 원본 불변성, stage/code/id token 경계를 증명하지 않는다.
- Affected files: `packages/go/streamgate/event.go`, `packages/go/streamgate/event_test.go`, `packages/go/streamgate/filter_contract_test.go`, `packages/go/streamgate/terminal_test.go`
- Verification evidence: `make proto`, fresh streamgate/transport tests, `gofmt -d`, scoped `git diff --check`는 PASS했지만 누락된 assertion 때문에 계약 evidence로는 불충분했다.
- Roadmap carryover: 승인된 SDD S09/S21의 `event-contract` evidence를 보강하지만 이 subtask 단독 PASS로 Milestone Task 완료를 체크하지 않는다.

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-local-G05.md` → `code_review_local_G05_1.log`, `PLAN-local-G05.md` → `plan_local_G05_1.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/03+01_event_contract_unit_tests/`로 이동한다. 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 response-start unsafe header validation | [x] |
| REVIEW_API-2 EvidenceBatch recursive defensive-copy proof | [x] |
| REVIEW_API-3 FailureCause boundary and immutability proof | [x] |

## 구현 체크리스트

- [x] `REVIEW_API-1` response-start header validation을 두 공개 생성자와 value validation 경로에 공통 적용하고 정상/금지 header focused test를 fresh 실행한다.
- [x] `REVIEW_API-2` `EvidenceBatch` input/accessor/staged-start 테스트를 실제 element와 nested header 변조로 바꾸고 focused test를 fresh 실행한다.
- [x] `REVIEW_API-3` distinct latest-four cause, constructor/Append/accessor 불변성, stage/code/id invalid token table을 작성하고 focused test를 fresh 실행한다.
- [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_G05_1.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G05_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/03+01_event_contract_unit_tests/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/03+01_event_contract_unit_tests/`로 이동하고 최종 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-G03.md`와 `CODE_REVIEW-local-G05.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로 이동한다.

## 계획 대비 변경 사항

- REVIEW_API-1: 계획대로 `validateResponseStartHeaders` helper를 `event.go`에 추가하고, `NewResponseStart`, `NewResponseStartEvent`, `ResponseStart.Validate`, response-start `NormalizedEvent.Validate`에 적용했다. 테스트는 계획대로 forbidden header table, mixed-case, normal header 보존, direct Validate 경계 테스트를 추가했다.
- REVIEW_API-2: 계획의 "After" 예시(`inputEvents[0].headers["x-custom"] = "mutated"`)는 `NormalizedEvent`의 private 필드 접근이 불가능하므로, 대신 distinct payload event(`otherEv`, text "world")로 slice index를 교체하고 `AsTextDelta()`로 원본 content를 검증하는 방식으로 대체했다. response-start event의 nested header 변조는 `AsResponseStart()` → `Headers()` accessor 경로를 통해 검증했다. `filter_contract.go`와 `terminal.go`는 수정하지 않았다.
- REVIEW_API-3: 계획대로 distinct code0..code4로 5개 cause를 생성하고 latest-four retention 순서를 assert했다. `mustCause` helper를 추가하지 않고 `NewFailureCause` 직접 호출로 대체했다. `TestTerminalResultValidation`의 `causes4`를 distinct code0..code3로 변경하여 accessor element mutation 검증이 의미 있게 동작하도록 했다. `terminal.go`는 수정하지 않았다.
- `event_test.go`에 `"strings"` import를 추가하지 않았다. forbidden header table은 문자열 리터럴 리스트로 처리하여 import 없이 구현했다.

## 주요 설계 결정

- forbidden header 검증은 case-insensitive 매칭을 위해 `strings.ToLower`를 사용하며, 오류 메시지에는 header value를 포함하지 않고 lowercased header name만 포함한다. 이는 transport metadata가 Core 계약에 유출되지 않도록 SDD S09을 준수한다.
- `EvidenceBatch` 테스트는 `NormalizedEvent`의 private 필드 제약으로 인해 직접적인 nested mutation 대신, distinct payload event로 element 교체와 `AsResponseStart()`/`Headers()` accessor를 통한 deep copy 검증을 사용했다. 이는 실제로 stored snapshot이 보존되는지를 검증한다.
- `FailureCauseChain` 테스트는 distinct code로 최신 4개 retention 순서를 검증하고, constructor input/Append 반환 chain/All/Copy/TerminalResult.FailureCauses의 element 교체로 원본 불변성을 검증한다. invalid token table은 required stage/code의 empty/invalid와 optional consumer/filter/rule id의 invalid를 모두 포함한다.

## 사용자 리뷰 요청

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

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

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

- forbidden header 이름을 case-insensitive하게 거부하고 정상 end-to-end/extension header는 값 그대로 보존하는지 확인한다.
- 두 공개 생성자뿐 아니라 직접 조립된 `ResponseStart`와 response-start `NormalizedEvent`의 `Validate`도 같은 경계를 적용하는지 확인한다.
- evidence 테스트가 서로 다른 event와 nested header/status를 직접 바꿔 constructor input 및 accessor deep copy를 실제로 검출하는지 확인한다.
- cause 테스트가 distinct latest-four 순서, original-vs-returned chain isolation, 모든 stage/code/id token 경계를 검출하는지 확인한다.
- `filter_contract.go`, `terminal.go`, proto/config/codec/host/contract/roadmap으로 범위를 확장하지 않았는지 확인한다.
- SDD S09/S21 evidence와 fresh package/transport 출력이 일치하는지 확인한다.

## 검증 결과

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

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

```text
ok  	iop/packages/go/streamgate	0.002s
EXIT: 0
```

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

```text
ok  	iop/packages/go/streamgate	0.002s
EXIT: 0
```

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

```text
ok  	iop/packages/go/streamgate	0.002s
EXIT: 0
```

### `gofmt -d packages/go/streamgate/event.go packages/go/streamgate/event_test.go packages/go/streamgate/filter_contract_test.go packages/go/streamgate/terminal_test.go`

```text
(no output)
EXIT: 0
```

### `make proto`

```text
	--proto_path=. \
	proto/iop/runtime.proto \
	proto/iop/node.proto \
	proto/iop/control.proto \
	proto/iop/job.proto
EXIT: 0
```

### `go test -count=1 ./packages/go/streamgate -run '^Test(ResponseStartRejectsUnsafeHeaders|EvidenceBatchDefensivelyCopiesInputsAndAccessors|FailureCauseChainCapsAtFour|TerminalResultValidation|ReleaseSinkContractCompiles)$'`

```text
--- PASS: TestReleaseSinkContractCompiles (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.002s
EXIT: 0
```

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

```text
ok  	iop/packages/go/streamgate	0.003s
EXIT: 0
```

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

```text
(no output)
EXIT: 0
```

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

```text
ok  	iop/apps/edge/internal/transport	4.746s
ok  	iop/apps/node/internal/transport	5.553s
EXIT: 0
```

### `rg --sort path -n -i 'content-length|transfer-encoding|connection' packages/go/streamgate/event.go packages/go/streamgate/event_test.go`

```text
packages/go/streamgate/event.go:116:	"connection":          {},
packages/go/streamgate/event.go:120:	"proxy-connection":    {},
packages/go/streamgate/event.go:123:	"transfer-encoding":   {},
packages/go/streamgate/event.go:125:	"content-length":      {},
packages/go/streamgate/event_test.go:319:		"Connection",
packages/go/streamgate/event_test.go:323:		"Proxy-Connection",
packages/go/streamgate/event_test.go:326:	"Transfer-Encoding",
packages/go/streamgate/event_test.go:328:	"Content-Length",
packages/go/streamgate/event_test.go:346:		headers := map[string]string{"CONTENT-LENGTH": "value", "Transfer-Encoding": "value"}
packages/go/streamgate/event_test.go:375:			headers:   map[string]string{"Content-Length": "value"},
packages/go/streamgate/event_test.go:391:			headers:     map[string]string{"Transfer-Encoding": "value"}
EXIT: 0
```

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

```text
(no output)
EXIT: 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 | Fail | 두 defensive-copy 테스트가 실제 alias 가능 지점이 아니라 추가 accessor copy를 변조해 결함을 검출하지 못한다. |
| completeness | Fail | 계획이 요구한 `NormalizedEvent` nested header와 Append/Copy/TerminalResult 반환 chain의 직접 element 변조 증거가 완료되지 않았다. |
| test coverage | Fail | focused/full 테스트는 통과하지만 잘못된 mutation target 때문에 recursive copy와 chain isolation 회귀를 고정하지 못한다. |
| API contract | Fail | SDD S09/S21의 typed event snapshot과 bounded cause-chain 불변성에 필요한 신뢰 가능한 테스트 evidence가 부족하다. |
| code quality | Pass | 범위 안 production 구현과 테스트에는 debug 출력, dead code, TODO, 포맷 오류가 없다. |
| implementation deviation | Fail | same-package 테스트에서 private field 접근이 가능하지만 불가능하다고 판단해 계획의 direct mutation을 간접 accessor mutation으로 대체했다. |
| verification trust | Fail | Go 1.24.12의 fresh 명령은 모두 통과했으나 해당 assertion들이 의도한 alias 결함을 실행하지 않아 성공 증거로 충분하지 않다. |
| spec conformance | Fail | 승인된 SDD S09/S21 Evidence Map의 immutable batch/cause-chain proof를 아직 충족하지 못한다. |

### 발견된 문제

- Required — `packages/go/streamgate/filter_contract_test.go:320`: response-start event 검증은 `Events()`로 받은 event의 `headers`가 아니라 `AsResponseStart()`와 `Headers()`가 각각 만든 추가 복사본만 변조한다. 이 테스트는 `cloneNormalizedEvent`가 nested header map을 공유해도 통과하며 constructor input event의 nested header 변조도 없다. 같은 package에서 constructor 뒤 입력 event의 `headers`와 `Events()`가 반환한 `events[0].headers`를 직접 바꾼 뒤 batch를 재조회해 원래 status/header가 유지되는지 검증한다.
- Required — `packages/go/streamgate/terminal_test.go:83`, `packages/go/streamgate/terminal_test.go:145`, `packages/go/streamgate/terminal_test.go:234`, `packages/go/streamgate/terminal_test.go:499`: constructor 격리 테스트는 latest-four에서 버려지는 `input[0]`만 교체하고, Append/Copy/`TerminalResult.FailureCauses` 테스트는 각 반환 chain의 `causes`가 아니라 `All()`이 만든 추가 복사본만 교체한다. retained input element와 Append/Copy/FailureCauses 반환 chain의 `causes[0]`을 직접 교체하고 원본 chain/result의 code 순서가 유지되는지 검증한다. 기존 `All()` 반환 slice 변조 검증은 별도로 유지한다.

Required 2개, Suggested 0개, Nit 0개.

### 다음 단계

`plan` 스킬의 `prepare-follow-up`과 독립 재라우팅으로 두 잘못된 mutation target을 같은 test-only subtask 범위에서 교정한다.
