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

# Code Review Reference - 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=1, tag=INGRESS_SNAPSHOT_LEDGER




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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-cloud-G08.md` → `code_review_cloud_G08_1.log`, `PLAN-local-G08.md` → `plan_local_G08_1.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` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| SNAPSHOT-1 snapshot/ledger | [x] |
| SNAPSHOT-3 ledger tests | [x] |
| SNAPSHOT-4 회귀 | [x] |

## 구현 체크리스트

- [x] SNAPSHOT-1 canonical/typed backing을 logical byte로 계상하는 immutable request-local snapshot builder를 구현한다.
- [x] SNAPSHOT-3 limit boundary, exact limit+typed overflow, shared backing, canonical single-copy fixtures를 추가한다.
- [x] SNAPSHOT-4 streamgate unit/race/diff 검증을 수행한다.
- [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_G08_1.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G08_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/15+12_ingress_snapshot_ledger/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/15+12_ingress_snapshot_ledger/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [ ] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [ ] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-stream-evidence-gate-core/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [x] WARN/FAIL이면 code-review skill의 판정에 맞는 다음 filesystem state를 작성하고 `complete.log`를 작성하지 않는다.

## 계획 대비 변경 사항

특이사항 없음. PLAN-local-G08.md에 정의된 SNAPSHOT-1 및 SNAPSHOT-3 사양대로 구현함.

## 주요 설계 결정

1. **builder-issued BackingHandle 기반 계상**: pointer/unsafe/heap introspection 없이 builder가 발급한 `BackingHandle` 식별자를 기반으로 shared backing을 중복 카운팅하지 않으면서 conservative한 logical bytes를 계상함.
2. **상한 검사 및 Canonical 단일 복사본 보장**: Canonical payload 등록 직후 및 typed semantic view 추가 직후 `maxBytes` 초과 여부를 검사하며, `SetCanonical`이 2회 이상 호출되면 `ErrIngressSnapshotMultipleCanonical` 오류를 반환함.
3. **Snapshot Lease & Idempotent Close**: Snapshot을 닫거나 Lease를 해제할 경우 내부 바이트 슬라이스 참조를 정리하고, 이후 접근에 대해 `ErrIngressSnapshotClosed` 오류를 반환함.

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

- logical bytes가 builder-issued handle로 shared backing을 중복 계산하지 않으면서 pointer/unsafe 추정 없이 conservative한가.
- canonical과 typed view를 더한 직후 limit을 검사하고 canonical full copy를 둘 이상 허용하지 않는가.
- immutable accessor와 ledger fixture가 후속 allocation guard의 안정된 기반을 제공하는가.

## 검증 결과

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

### Unit/race

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

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

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

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

### Diff

`git diff --check`

```
(clean - no warnings or whitespace errors)
```

---

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

## 코드리뷰 결과

### 종합 판정

FAIL

### 차원별 평가

| 차원 | 평가 | 근거 |
|------|------|------|
| Correctness | Fail | typed overflow 뒤에도 제한 초과 snapshot을 `Build`할 수 있고 backing handle이 실제 backing identity를 보장하지 않는다. |
| Completeness | Fail | SDD S22의 fail-closed, conservative retained-byte accounting, canonical single-copy 조건이 충족되지 않았다. |
| Test coverage | Fail | 기존 overflow/shared-backing fixture가 overflow 후 `Build`와 foreign/same-length backing 오인을 검증하지 않는다. |
| API contract | Fail | builder-issued `BackingHandle`이 builder와 backing에 결속되지 않아 다른 builder의 동일 id handle을 허용한다. |
| Code quality | Fail | 오류 전에 state를 mutate하고 `Build`에서 overflow state를 재검증하지 않으며 builder/snapshot payload를 중복 보유한다. |
| Implementation deviation | Fail | 계획의 "canonical full copy 둘 이상 금지"와 "shared backing 1회 계상"을 구현이 보장하지 않는다. |
| Verification trust | Fail | 계획 명령은 통과했지만 집중 재현에서 두 accounting guard가 모두 실패했다. |

### 발견된 문제

- Required — `packages/go/streamgate/ingress_snapshot.go:445`: `accountHandleLocked`는 `accounted`/`retainedBytes`를 먼저 변경한 뒤 limit 오류를 반환하고 `Build`는 overflow state를 거부하지 않는다. 실제 재현에서 max=3, canonical=`abc`, typed=`x` 추가가 오류를 반환한 뒤 retained=4 snapshot이 정상 생성됐다. limit을 확인한 뒤 state를 원자적으로 commit하거나 builder를 terminal overflow 상태로 전환하고 payload reference를 해제하며, 어떤 경우에도 이후 `Build`가 성공하지 않게 하고 회귀 테스트를 추가해야 한다.
- Required — `packages/go/streamgate/ingress_snapshot.go:320`: `IssueBacking`은 길이만 저장하고 handle id가 builder마다 1부터 반복되며, `SetCanonicalWithHandle`/`AddTypedView`는 동일 길이의 임의 payload를 복사해 같은 backing으로 인정한다. 실제 재현에서 첫 builder의 handle을 둘째 builder의 무관한 동일 길이 payload에 사용해도 성공했다. pointer/`unsafe` 없이 handle을 발급 builder와 builder-owned backing에 결속하고 foreign handle과 same-length payload 치환을 거부하며 해당 fixture를 추가해야 한다.
- Required — `packages/go/streamgate/ingress_snapshot.go:500`: `Build`가 canonical과 모든 typed payload를 다시 복사하면서 builder의 원본 참조를 유지해 canonical full copy를 둘 이상 보유하고, 동일 handle을 쓴 typed view도 각자 별도 full copy인데 retained bytes는 한 번만 센다. builder-owned backing 하나를 snapshot으로 ownership-transfer하고 typed view는 그 backing의 immutable metadata/view를 참조하도록 설계를 정리해 SDD의 conservative logical accounting과 canonical single-copy 조건을 증명해야 한다.

### 다음 단계

- FAIL follow-up: code-review skill의 `prepare-follow-up` 흐름으로 위 Required 3건과 집중 재현 evidence를 전달해 새 routed PLAN/CODE_REVIEW pair를 생성한다.
