<!-- task=m-stream-evidence-gate-core/03+01_event_contract_unit_tests plan=2 tag=REVIEW_REVIEW_API -->

# Code Review Reference - REVIEW_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=2, tag=REVIEW_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_G05_1.log`
- Prior review: `agent-task/m-stream-evidence-gate-core/03+01_event_contract_unit_tests/code_review_local_G05_1.log`
- Verdict: `FAIL`
- Findings: Required 2, Suggested 0, Nit 0
- Required:
  - `EvidenceBatch` response-start 검증이 constructor/accessor event의 nested header storage가 아니라 추가 accessor copy만 변조한다.
  - cause-chain 검증이 retained constructor input과 Append/Copy/TerminalResult 반환 chain storage가 아니라 버려지는 element 또는 `All()` copy만 변조한다.
- Affected files: `packages/go/streamgate/filter_contract_test.go`, `packages/go/streamgate/terminal_test.go`
- Verification evidence: exact Go 1.24.12에서 focused/full streamgate, vet, Edge/Node transport, gofmt와 scoped diff check가 PASS했지만 잘못된 mutation target 때문에 recursive-copy 증거로는 불충분했다.
- 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_2.log`, `PLAN-local-G03.md` → `plan_local_G03_2.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-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_REVIEW_API-1 EvidenceBatch nested header direct mutation | [x] |
| REVIEW_REVIEW_API-2 FailureCauseChain returned storage direct mutation | [x] |

## 구현 체크리스트

- [x] `REVIEW_REVIEW_API-1` `EvidenceBatch` constructor input과 `Events()` 반환 event의 nested header storage를 직접 변조하고 원본 snapshot 보존을 focused test로 검증한다.
- [x] `REVIEW_REVIEW_API-2` retained constructor input과 Append/Copy/`TerminalResult.FailureCauses` 반환 chain의 `causes` element를 직접 변조하고 원본 순서·값 보존을 focused test로 검증한다.
- [x] exact Go 1.24.12에서 계획의 전체 local 검증 명령을 fresh 실행하고 실제 stdout/stderr를 review stub에 기록한다.
- [x] CODE_REVIEW-*-G??.md의 구현 에이전트 소유 섹션을 실제 구현 내용과 검증 출력으로 채운다. 이 항목이 완료되기 전에는 구현이 완료된 것이 아니다.

## 코드리뷰 전용 체크리스트

> **[REVIEW AGENT ONLY]** 이 체크리스트는 코드리뷰 에이전트만 사용한다.
> 구현 에이전트는 이 섹션을 수정하거나 체크하지 않는다.

- [x] `코드리뷰 결과`에 `PASS`, `WARN`, `FAIL` 중 하나의 판정을 append한다.
- [x] 판정과 `차원별 평가`, Required 0/Suggested 0/Nit 0 분류가 서로 일치한다.
- [x] active `CODE_REVIEW-*-G??.md`를 `code_review_local_G05_2.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G03_2.log`로 아카이브한다.
- [x] `.gitignore`의 Agent-Ops 관리 block이 `agent-task/**/*.md`와 `agent-task/**/*.log`를 unignore하고 `agent-roadmap/current.md`를 ignore하는지 확인한다.
- [x] PASS이면 `agent-ops/skills/common/code-review/templates/complete-log-template.md` 기준으로 `complete.log`를 작성하고 active `.md` 파일을 남기지 않는다.
- [x] PASS이면 active task 디렉터리 `agent-task/m-stream-evidence-gate-core/03+01_event_contract_unit_tests/`를 `agent-task/archive/2026/07/m-stream-evidence-gate-core/03+01_event_contract_unit_tests/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [x] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [x] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-stream-evidence-gate-core/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다. (형제 subtask `02+01_evaluation_contract`, `04+01,03_codec_contract_fixtures`, `05+02_parallel_evaluation_coordinator`가 남아 있어 parent 유지)
- [ ] 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로 이동한다.

## 계획 대비 변경 사항

### 변경 없음. 계획을 기준으로 `filter_contract_test.go`의 last sub-test와 `terminal_test.go`의 4곳을 직접 변조로 교체했다.

## 주요 설계 결정

- `filter_contract_test.go` 마지막 sub-test(`response_start_event`)를 `response_start_event_constructor_input_and_accessor_direct_mutation`으로 rename하고, `rsEvent.headers` 직접 변조 + `got[0].headers` 직접 변조를 추가했다. 기존 `AsResponseStart().Headers()` copy-only 변조는 제거했다.
- `terminal_test.go`에서 4곳의 `All()` copy-only 변조를 `.causes[0]` 직접 변조로 교체했다: `constructor_input_mutation_isolation`(retained element도 변조), `append_returned_chain_mutation_isolation`, `Copy() element replacement`, `FailureCauses accessor element mutation`.
- 기존 public accessor(`All()`, `Headers()`) 반환 slice element mutation 검증은 별도 검증으로 유지했다.

## 사용자 리뷰 요청

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

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

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

- constructor input response-start event의 `headers`를 batch 생성 뒤 직접 바꾸고 stored header/status가 유지되는지 확인한다.
- `Events()` 반환 event의 `headers`를 직접 바꾼 뒤 재조회한 stored event가 유지되는지 확인한다. `AsResponseStart().Headers()` copy만 변조한 증거를 대체물로 인정하지 않는다.
- constructor retained input, Append/Copy/`FailureCauses` 반환 chain의 `causes` element를 직접 바꾸고 원본 distinct code 순서가 유지되는지 확인한다.
- 기존 `All()` 반환 slice 변조, latest-four 순서와 invalid token 경계는 유지되는지 확인한다.
- production source, header behavior, proto/config/contract/roadmap과 sibling 범위로 확장하지 않았는지 확인한다.
- exact Go 1.24.12 fresh package/transport 출력과 deterministic direct-mutation 검색이 일치하는지 확인한다.

## 검증 결과

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

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

```text
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/events_input_element_replacement_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/channel_pending_input_element_replacement_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/committed_lookbehind_input_element_replacement_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/staged_start_input_mutation_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/events_accessor_element_replacement_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/channel_pending_accessor_element_replacement_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/committed_lookbehind_accessor_element_replacement_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/staged_start_accessor_mutation_does_not_affect_stored
=== RUN   TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/response_start_event_constructor_input_and_accessor_direct_mutation
--- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/events_input_element_replacement_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/channel_pending_input_element_replacement_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/committed_lookbehind_input_element_replacement_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/staged_start_input_mutation_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/events_accessor_element_replacement_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/channel_pending_accessor_element_replacement_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/committed_lookbehind_accessor_element_replacement_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/staged_start_accessor_mutation_does_not_affect_stored (0.00s)
    --- PASS: TestEvidenceBatchDefensivelyCopiesInputsAndAccessors/response_start_event_constructor_input_and_accessor_direct_mutation (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.002s
```
exit code: 0

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

```text
=== RUN   TestFailureCauseChainCapsAtFour
=== RUN   TestFailureCauseChainCapsAtFour/constructor_input_mutation_isolation
=== RUN   TestFailureCauseChainCapsAtFour/append_returned_chain_mutation_isolation
=== RUN   TestFailureCauseChainCapsAtFour/invalid_stage_empty
=== RUN   TestFailureCauseChainCapsAtFour/invalid_stage_uppercase
=== RUN   TestFailureCauseChainCapsAtFour/invalid_code_empty
=== RUN   TestFailureCauseChainCapsAtFour/invalid_code_uppercase
=== RUN   TestFailureCauseChainCapsAtFour/invalid_consumer_uppercase
=== RUN   TestFailureCauseChainCapsAtFour/invalid_filter_uppercase
=== RUN   TestFailureCauseChainCapsAtFour/invalid_rule_id_uppercase
--- PASS: TestFailureCauseChainCapsAtFour (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/constructor_input_mutation_isolation (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/append_returned_chain_mutation_isolation (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/invalid_stage_empty (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/invalid_stage_uppercase (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/invalid_code_empty (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/invalid_code_uppercase (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/invalid_consumer_uppercase (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/invalid_filter_uppercase (0.00s)
    --- PASS: TestFailureCauseChainCapsAtFour/invalid_rule_id_uppercase (0.00s)
=== RUN   TestTerminalResultValidation
=== RUN   TestTerminalResultValidation/invalid_stage_empty
=== RUN   TestTerminalResultValidation/invalid_stage_uppercase
=== RUN   TestTerminalResultValidation/invalid_code_empty
=== RUN   TestTerminalResultValidation/invalid_code_uppercase
=== RUN   TestTerminalResultValidation/invalid_consumer_uppercase
=== RUN   TestTerminalResultValidation/invalid_filter_uppercase
=== RUN   TestTerminalResultValidation/invalid_rule_id_uppercase
--- PASS: TestTerminalResultValidation (0.00s)
    --- PASS: TestTerminalResultValidation/invalid_stage_empty (0.00s)
    --- PASS: TestTerminalResultValidation/invalid_stage_uppercase (0.00s)
    --- PASS: TestTerminalResultValidation/invalid_code_empty (0.00s)
    --- PASS: TestTerminalResultValidation/invalid_code_uppercase (0.00s)
    --- PASS: TestTerminalResultValidation/invalid_consumer_uppercase (0.00s)
    --- PASS: TestTerminalResultValidation/invalid_filter_uppercase (0.00s)
    --- PASS: TestTerminalResultValidation/invalid_rule_id_uppercase (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.002s
```
exit code: 0

### `GOTOOLCHAIN=go1.24.12 go version`

```text
go version go1.24.12 linux/arm64
```
exit code: 0

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

```text
```
exit code: 0 (no diff output)

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

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

```text
PASS
ok  	iop/packages/go/streamgate	0.002s
```
exit code: 0

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

```text
PASS
ok  	iop/packages/go/streamgate	0.003s
```
exit code: 0

### `GOTOOLCHAIN=go1.24.12 go vet ./packages/go/streamgate`

```text
```
exit code: 0 (no output)

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

```text
ok  	iop/apps/edge/internal/transport	4.733s
ok  	iop/apps/node/internal/transport	5.546s
```
exit code: 0

### `rg --sort path -n 'inputEvent\.headers|got\[0\]\.headers|\.causes\[0\]' packages/go/streamgate/filter_contract_test.go packages/go/streamgate/terminal_test.go`

```text
packages/go/streamgate/filter_contract_test.go:337:		got[0].headers["x-custom"] = "accessor-mutated"
packages/go/streamgate/filter_contract_test.go:338:		got[0].headers["x-injected"] = "yes"
packages/go/streamgate/terminal_test.go:161:		appended2.causes[0] = mutated
packages/go/streamgate/terminal_test.go:247:		cp2.causes[0] = mutated
packages/go/streamgate/terminal_test.go:515:		fc2.causes[0] = mutated
```
exit code: 0 (direct mutation assertion lines found)

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

```text
```
exit code: 0 (no diff output)

---

> **[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 |

## 코드리뷰 결과

> **[REVIEW AGENT ONLY]** This section is appended by the review agent after Step 4. Do not modify before review.

### 종합 판정

`PASS`

### 차원별 평가

| 차원 | 평가 |
|------|------|
| Correctness | Pass |
| Completeness | Pass |
| Test coverage | Pass |
| API contract | Pass |
| Code quality | Pass |
| Implementation deviation | Pass |
| Verification trust | Pass |

### 발견된 문제

- 없음

### 다음 단계

- `PASS`: complete.log 작성 후 task 디렉터리 아카이브 이동
