<!-- task=m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger plan=4 tag=REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER -->

# Code Review Reference - REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER

> **[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, record the exact blocker, attempted commands/output, and resume condition only in implementation-owned evidence fields.
> Do not ask the user directly, present choices, call user-input tools, create control-plane stop files, or classify the next state.
> 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-26
task=m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger, plan=4, tag=REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER

## Archive Evidence Snapshot

- 이전 task: `agent-task/m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger`
- 현재 닫은 pair:
  - Plan: `agent-task/m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger/plan_local_G06_3.log`
  - Review: `agent-task/m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger/code_review_cloud_G06_3.log`
- Verdict: `FAIL`
- Findings: Required 3, Suggested 0, Nit 0
- 영향 파일: `packages/go/streamgate/ingress_snapshot.go`, `packages/go/streamgate/ingress_snapshot_test.go`
- 실제 검증:
  - 네 focused 회귀, `go test -count=1 ./packages/go/streamgate`, `go test -race -count=1 ./packages/go/streamgate`는 PASS했다.
  - `make proto`, proto 생성물 diff, deterministic symbol search, `git diff --check`는 PASS했다.
  - 통과한 suite가 no-canonical 거부, 발급 mutation의 stable error, pre/post backing pointer identity를 assertion하지 못했다.
- Roadmap carryover: 승인된 Stream Evidence Gate Core SDD의 S15/S22와 `request-rebuilder` 경계를 유지하되, 이 하위 작업 PASS만으로 Milestone Task 완료를 주장하지 않는다.
- 상세 재열람이 필요할 때만 위 plan/review log 두 파일을 읽는다.

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-cloud-G06.md` → `code_review_cloud_G06_4.log`, `PLAN-local-G06.md` → `plan_local_G06_4.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger/`로 이동한다. WARN/FAIL이면 code-review skill이 요구하는 다음 filesystem state를 완전히 작성한다.
4. PASS이고 task group이 `m-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER-1 canonical snapshot | [x] |
| REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER-2 terminal mutation errors | [x] |
| REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER-3 transfer evidence | [x] |

## 구현 체크리스트

- [x] REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER-1 canonical 미설정 Build를 stable error로 거부하고 zero-length canonical은 유지한다.
- [x] REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER-2 backing 발급 mutation에 explicit error channel을 제공하고 overflow/closed/built error precedence를 보존한다.
- [x] REVIEW_REVIEW_REVIEW_INGRESS_SNAPSHOT_LEDGER-3 성공 transfer와 terminal release 뒤 builder state를 nil/zero로 만들고 실제 backing identity/single-copy 회귀를 추가해 fresh 검증을 수행한다.
- [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_cloud_G06_4.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G06_4.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/15+12_ingress_snapshot_ledger/`를 `agent-task/archive/2026/07/m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [x] PASS이고 task group이 `m-stream-evidence-gate-core`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [x] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-stream-evidence-gate-core/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [ ] WARN/FAIL이면 code-review skill의 판정에 맞는 다음 filesystem state를 작성하고 `complete.log`를 작성하지 않는다.

## 계획 대비 변경 사항

계획에서 명시한 범위 내에서만 구현했다. 별도 변경 없음.

- `IssueBackingHandle` signature를 `BackingHandle`에서 `(BackingHandle, error)`로 변경했다. 외부 call site는 `ingress_snapshot_test.go`뿐이므로 같은 패키지 내 갱신으로 닫혔다.
- `Build()`에 canonical 존재 precondition을 추가했다. 미설정 시 `ErrIngressSnapshotNilCanonical`을 반환하고 builder는 open 상태로 유지된다.
- dead `accounted` map 필드를 구조체와 `NewIngressSnapshotBuilder` 초기화에서 제거했다.
- `Build()`, `Close()`, `failLocked()` 의 정리 로직을 일치시켰다: `backings=nil`, `typedViews=nil`, `typedNames=nil`, `canonicalHdl=BackingHandle{}`, `retainedBytes=0`.

## 주요 설계 결정

1. **`ErrIngressSnapshotNilCanonical` 새 sentinel 추가**: canonical 미설정 Build를 stable error로 거부한다. builder는 수정 가능한 open 상태를 유지하므로 이후 canonical 설정 후 재Build가 가능하다.
2. **`IssueBackingHandle` 반환값 변경**: `(BackingHandle, error)`로 변경하여 overflow/closed/built 상태를 caller가 명시적으로 검사할 수 있다. 같은 패키지 내부 call site만 갱신하면 되므로 blast radius가 제한적이다.
3. **dead `accounted` map 제거**: `retainedBytes`가 unique backing 합계를 이미 정확히 추적하므로 `accounted` map은 불필요한 상태 복제가 된다. 제거 후 Build/Close/failLocked의 zero-state 정리가 일관된다.
4. **zero-state 일치**: Build/Close/failLocked 모두 `backings`, `typedViews`, `typedNames`, `canonicalHdl`, `retainedBytes`를 nil/zero로 초기화한다. snapshot은 동일한 backing pointer를 소유하므로 single-copy 전이가 유지된다.

## 검증 결과

### Host Go

`command -v go && readlink -f "$(command -v go)" && go version && go env GOROOT`

_실제 출력:_

```
/config/.local/bin/go
/config/opt/go/bin/go
go version go1.26.2 linux/arm64
/config/opt/go
```

### Focused canonical contract

`go test -count=1 ./packages/go/streamgate -run 'TestIngressSnapshot_(BuildRequiresCanonical|ZeroLengthCanonical)$' -v`

_실제 출력:_

```
=== RUN   TestIngressSnapshot_ZeroLengthCanonical
--- PASS: TestIngressSnapshot_ZeroLengthCanonical (0.00s)
=== RUN   TestIngressSnapshot_BuildRequiresCanonical
--- PASS: TestIngressSnapshot_BuildRequiresCanonical (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.004s
```

### Focused mutation errors

`go test -count=1 ./packages/go/streamgate -run 'TestIngressSnapshot_(IssueBackingStateErrors|OverflowPoisonsBuilderAndReleases)$' -v`

_실제 출력:_

```
=== RUN   TestIngressSnapshot_OverflowPoisonsBuilderAndReleases
--- PASS: TestIngressSnapshot_OverflowPoisonsBuilderAndReleases (0.00s)
=== RUN   TestIngressSnapshot_IssueBackingStateErrors
--- PASS: TestIngressSnapshot_IssueBackingStateErrors (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.004s
```

### Focused transfer identity

`go test -count=1 ./packages/go/streamgate -run 'TestIngressSnapshot_(BuildTransfersBackingOwnership|OverflowPoisonsBuilderAndReleases|CloseBuilderReleasesMemory)$' -v`

_실제 출력:_

```
=== RUN   TestIngressSnapshot_OverflowPoisonsBuilderAndReleases
--- PASS: TestIngressSnapshot_OverflowPoisonsBuilderAndReleases (0.00s)
=== RUN   TestIngressSnapshot_BuildTransfersBackingOwnership
--- PASS: TestIngressSnapshot_BuildTransfersBackingOwnership (0.00s)
=== RUN   TestIngressSnapshot_CloseBuilderReleasesMemory
--- PASS: TestIngressSnapshot_CloseBuilderReleasesMemory (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.003s
```

### Focused contract closure

`go test -count=1 ./packages/go/streamgate -run 'TestIngressSnapshot_(BuildRequiresCanonical|IssueBackingStateErrors|OverflowPoisonsBuilderAndReleases|BuildTransfersBackingOwnership)$' -v`

_실제 출력:_

```
=== RUN   TestIngressSnapshot_OverflowPoisonsBuilderAndReleases
--- PASS: TestIngressSnapshot_OverflowPoisonsBuilderAndReleases (0.00s)
=== RUN   TestIngressSnapshot_BuildTransfersBackingOwnership
--- PASS: TestIngressSnapshot_BuildTransfersBackingOwnership (0.00s)
=== RUN   TestIngressSnapshot_BuildRequiresCanonical
--- PASS: TestIngressSnapshot_BuildRequiresCanonical (0.00s)
=== RUN   TestIngressSnapshot_IssueBackingStateErrors
--- PASS: TestIngressSnapshot_IssueBackingStateErrors (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.004s
```

### Proto stability

`make proto && git diff --exit-code -- proto/gen`

_실제 출력:_

```
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).

### Unit

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

_실제 출력:_

```
ok  	iop/packages/go/streamgate	0.830s
```

### Race

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

_실제 출력:_

```
ok  	iop/packages/go/streamgate	1.867s
```

### Symbol references

`rg --sort path -n 'NewIngressSnapshotBuilder|IssueBackingHandle|SetCanonicalWithHandle|AddTypedView|IngressSnapshot' packages/go --glob '*.go'`

_실제 출력:_

모든 same-package API 참조가 `packages/go/streamgate/ingress_snapshot.go`와 `packages/go/streamgate/ingress_snapshot_test.go`에 닫혀 있다. config 패키지의 `MaxIngressSnapshotBytes`는 설정 필드명일 뿐 Go API 참조가 아니다.

### Diff

`git diff --check`

_실제 출력:_

```
(whitespace error 없음)
```

---

> **[IMPLEMENTING AGENT — BEFORE SAVING] Have you filled in every implementation-owned section?**
> 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 |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify or check this section |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholder text with actual content |
| 리뷰어를 위한 체크포인트 | 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 |

## 코드리뷰 결과

### 종합 판정

PASS

### 차원별 평가

| 차원 | 평가 | 근거 |
|------|------|------|
| Correctness | Pass | canonical 미설정 Build는 stable sentinel로 거부되고 builder는 open 상태를 유지하며, zero-length canonical과 terminal error precedence가 보존된다. |
| Completeness | Pass | 직전 Required 3건인 canonical precondition, mutation error channel, transfer/release zero-state와 backing identity 증거가 모두 구현됐다. |
| Test coverage | Pass | focused 6개 회귀가 실제 실행됐고 package unit/race가 fresh PASS했으며 각 회귀가 요구한 상태와 포인터 동일성을 직접 assertion한다. |
| API contract | Pass | `IssueBackingHandle`의 `(BackingHandle, error)` 계약이 모든 same-package caller에 반영됐고 `RequestRebuilder`의 `*IngressSnapshot` 소비 경계는 변하지 않았다. |
| Code quality | Pass | dead `accounted` state가 제거됐고 Build/Close/failLocked의 builder-owned 상태 정리가 일관되며 debug/TODO/formatting 잔여가 없다. |
| Implementation deviation | Pass | 변경은 계획의 두 source/test 파일과 세 Required closure에 한정됐고 별도 동작 변경이나 범위 이탈이 없다. |
| Verification trust | Pass | 기록된 host Go, focused/unit/race/proto 결과를 현재 checkout에서 재현했고 deterministic symbol search와 `git diff --check`도 통과했다. |

### 발견된 문제

없음

### 다음 단계

- PASS: active plan/review pair를 아카이브하고 `complete.log` 작성 후 task artifact를 월별 archive로 이동한다.
