<!-- task=m-stream-evidence-gate-core/16+15_ingress_snapshot_allocation plan=0 tag=INGRESS_SNAPSHOT_ALLOCATION -->

# Code Review Reference - INGRESS_SNAPSHOT_ALLOCATION

> **[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/16+15_ingress_snapshot_allocation, plan=0, tag=INGRESS_SNAPSHOT_ALLOCATION




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

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

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

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

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| SNAPSHOT-2 allocation guard | [x] |
| SNAPSHOT-3 lifecycle tests | [x] |
| SNAPSHOT-4 회귀 | [x] |

## 구현 체크리스트

- [x] SNAPSHOT-2 rebuild temporary의 pre/post peak guard와 idempotent release/overflow lifecycle을 구현한다.
- [x] SNAPSHOT-3 pre/post rebuild overflow, release reference drop/idempotent state, concurrent close/cancel 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_0.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G08_0.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/16+15_ingress_snapshot_allocation/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/16+15_ingress_snapshot_allocation/`로 이동하고 최종 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`를 작성하지 않는다.

## 계획 대비 변경 사항

계획대로 차질 없이 구현을 완료했습니다.

## 주요 설계 결정

- `IngressSnapshot`에 `maxBytes` 및 `reservedTempBytes`를 유지하고, temporary rebuild output 할당 시 `ReserveRebuild`와 `Commit`/`CommitTyped` 두 단계로 사전/사후 peak 바이트 용량을 수용 및 검사하도록 구현했습니다.
- pre-peak 또는 post-peak 검사 실패 시 `ErrIngressSnapshotRebuildOverflow`를 반환하고, temporary reference -> canonical reference -> typed references 순서로 소유권을 즉시 해제하며 dispatch 가능한 snapshot object를 반환하지 않는 fail-closed 모델을 적용했습니다.
- `IngressSnapshotRebuildGuard`는 cancel/overflow/close에서 단 1회(exactly-once) 부모 snapshot의 temporary reservation 바이트를 해제하며, 해제 후 조작 시 `ErrIngressSnapshotClosed` 또는 `ErrIngressSnapshotRebuildInvalidState` 등 정적 에러를 반환합니다.
- 잠금 순서를 `s.mu` (snapshot lock) -> `g.mu` (guard lock)로 일관되게 정렬하여 교착 상태(deadlock) 및 데이터 경합(data race)을 완전히 예방했습니다.

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

- expected temporary reserve와 실제 output commit 전후의 current peak가 모두 fail-closed인가.
- overflow에서 dispatch 가능한 object를 반환하지 않고 canonical/typed/temp ownership을 정해진 순서로 release하는가.
- cancel/overflow/normal completion의 idempotent release와 concurrent close가 race-free인가.

## 검증 결과

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

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

_실제 출력:_
```
ok  	iop/packages/go/streamgate	0.823s
ok  	iop/packages/go/streamgate	1.860s
```

### Diff

`git diff --check`

_실제 출력:_
```
(Clean, no output)
```

---

> **[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
- completeness: Fail
- test coverage: Fail
- API contract: Fail
- code quality: Pass
- implementation deviation: Fail
- verification trust: Fail

### 발견된 문제

- Required — `packages/go/streamgate/ingress_snapshot.go:405-410`: pre-peak 계산이 `retained + reserved + expected` 덧셈을 먼저 수행해 `int64` wraparound를 허용한다. 실제 재현에서 `maxBytes=10`, retained=1인 snapshot이 `ReserveRebuild(math.MaxInt64)`에 guard를 반환했다. SDD S22의 hard-limit fail-closed 계약을 지키도록 subtraction 기반 capacity 검사 또는 checked-add를 사용하고, 경계/최대 정수 회귀 테스트를 추가한다.
- Required — `packages/go/streamgate/ingress_snapshot.go:463-466`, `packages/go/streamgate/ingress_snapshot.go:547-573`: post-peak overflow가 guard의 handle slice만 비우고 request-owned parent snapshot의 backing ownership은 해제하지 않는다. 실제 재현에서 retained=60, max=100, reserve=20 뒤 50-byte commit overflow 후에도 accessor가 `closed=false`, `RetainedBytes()=60`을 반환했다. 또한 committed guard의 `Close`가 `rebuiltSnapshot` 참조를 비우지 않아 정상 completion의 guard-owned reference release도 끝나지 않는다. SDD S22와 계획의 overflow/normal lifecycle대로 기존 snapshot/temporary/guard ownership을 terminal하게 해제하고, sibling guard까지 일관되게 무효화되는 exactly-once release 회귀를 추가한다.

### 다음 단계

- WARN/FAIL follow-up: 현재 발견 사항을 raw evidence로 `plan` 스킬에 전달해 fresh routing한 후속 PLAN/CODE_REVIEW pair를 작성한다.
