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

# Code Review Reference - REVIEW_INGRESS_SNAPSHOT_TERMINAL_INVALIDATION

> **[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=2, tag=REVIEW_INGRESS_SNAPSHOT_TERMINAL_INVALIDATION

## Archive Evidence Snapshot

- 이전 task: `agent-task/m-stream-evidence-gate-core/16+15_ingress_snapshot_allocation`
- 이전 plan: `agent-task/m-stream-evidence-gate-core/16+15_ingress_snapshot_allocation/plan_local_G06_1.log`
- 이전 review: `agent-task/m-stream-evidence-gate-core/16+15_ingress_snapshot_allocation/code_review_cloud_G06_1.log`
- 판정: FAIL
- Required 1건: post-peak overflow가 이미 commit한 sibling guard/rebuilt snapshot을 무효화하지 않아 dispatch가 가능하고, repeat `Commit`의 오류가 overflow에서 closed로 바뀌며, committed-sibling/concurrent overflow 회귀가 없다.
- Suggested/Nit: 없음. 실제 source와 다른 구현·test-count 서술 및 heading 개행은 리뷰 중 바로잡았다.
- 실제 검증: host Go/proto no-drift, focused 기존 회귀, package unit/race, gofmt, `git diff --check`는 PASS했다. reviewer focused reproducer는 committed sibling `DispatchableSnapshot()`이 열린 snapshot을 반환하고 repeat overflow `Commit`이 `ErrIngressSnapshotClosed`를 반환해 FAIL했다.
- 영향 파일: `packages/go/streamgate/ingress_snapshot.go`, `packages/go/streamgate/ingress_snapshot_test.go`.
- Roadmap carryover: 승인된 SDD S22의 rebuild overflow no-dispatch/request-owned canonical·temporary release를 유지한다. 이 subtask PASS만으로 Milestone Task를 직접 체크하지 않는다.

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

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

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

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

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_INGRESS_SNAPSHOT_TERMINAL_INVALIDATION-1 Terminal active-guard fan-out | [x] |
| REVIEW_INGRESS_SNAPSHOT_TERMINAL_INVALIDATION-2 Concurrent terminal closure | [x] |

## 구현 체크리스트

- [x] REVIEW_INGRESS_SNAPSHOT_TERMINAL_INVALIDATION-1 parent terminal close/post-peak overflow가 모든 active reserved/committed sibling과 request-owned rebuilt snapshot을 exactly-once 무효화·release하고 current overflow error를 stable하게 유지하도록 구현한다.
- [x] REVIEW_INGRESS_SNAPSHOT_TERMINAL_INVALIDATION-2 committed/reserved sibling no-dispatch, rebuilt close, repeat overflow stable error, parent close와 concurrent overflow/close/cancel 회귀를 추가하고 fresh unit/race/proto/gofmt/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_G06_2.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G06_2.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`를 작성하지 않는다.

## 계획 대비 변경 사항

계획의 REVIEW-1 before/after snippet에 명시된 `g.snap.closeLocked()` → `g.snap.closeActiveGuardsLocked(g)` 변경을 그대로 따랐다. `Commit`의 guard state 우선 검사 reorder는 계획의 구현 체크리스트 서술과 일치한다. `closeActiveGuardsLocked`를 `snap.Close()` 경로에도 적용한 것은 계획의 "request-level `Close`와 post-peak overflow가 같은 terminal helper로 모든 active guard를 fan-out release한다" 요구사항을 구현한 것이다. 추가 심볼/의존성 변경 없음.

## 주요 설계 결정

1. **active guard registry**: `IngressSnapshot.activeGuards []*IngressSnapshotRebuildGuard` 필드를 추가하여 parent가 모든 active rebuild guard를 추적하도록 했다. `ReserveRebuild`에서 등록, `releaseLocked`에서 제거한다.
2. **terminal fan-out helper**: `closeActiveGuardsLocked(current)` 메서드를 추가했다. slice copy 후 각 guard에 대해 `g.mu`를 잠그고, committed sibling이면 `rebuiltSnapshot.Close()` 후 `releaseLocked(RebuildStateReleased)`한다. reserved sibling은 `releaseLocked`만 호출한다. current guard는 excluded하여 overflow guard가 `RebuildStateOverflow`를 유지한다.
3. **lock order**: `snap.mu → guard.mu` 기존 순서를 유지한다. `closeActiveGuardsLocked`는 `snap.mu` 아래에서 각 sibling guard의 `mu`를 잠그고, `releaseLocked`는両 lock 소유 상태에서 `g.snap.reservedTempBytes`를 수정한다.
4. **stable overflow error**: `Commit`에서 `g.snap.closed` 검사前先 guard state를 검사하도록 reorder했다. Overflow guard는 `g.released=true, state=Overflow`이므로 첫 번째 check에서 `ErrIngressSnapshotRebuildOverflow`를 반환하고, parent가 닫혀 있어도 stable하게 유지된다.
5. **committed sibling rebuilt snapshot close**: fan-out 시 committed sibling의 `rebuiltSnapshot` 포인터가 가리키는 snapshot을 `Close()`로 실제 닫고, 이어서 `releaseLocked`가 포인터를 nil로 만든다. normal `guard.Close()`는 rebuilt snapshot을 닫지 않는 기존 계약을 유지한다.
6. **activeGuards clear**: `closeLocked`에서 `s.activeGuards = nil`로 정리한다. `closeActiveGuardsLocked` 내부의 slice copy는 guard 제거로 인한 iteration 안전성을 보장한다.

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

- terminal fan-out이 parent → guard lock order를 지키고 committed/reserved sibling을 즉시 stable state로 만드는가.
- sibling의 외부 rebuilt pointer까지 request terminal에서 closed/zero-retained가 되어 provider dispatch가 불가능한가.
- overflow current guard는 repeat `Commit`/dispatch에서 계속 overflow를 반환하고 sibling은 closed로 수렴하는가.
- 정상 committed guard `Close`는 외부 rebuilt ownership을 침범하지 않는 기존 계약을 유지하는가.
- concurrent overflow/parent close/sibling cancel이 reservation을 음수 또는 double-release하지 않고 race/deadlock 없이 끝나는가.

## 검증 결과

> 아래 각 명령을 그대로 fresh 실행하고 실제 stdout/stderr를 기록한다. 명령 변경 시 `계획 대비 변경 사항`에 이유와 대체 명령을 남긴다.

### Host Go

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

_실제 출력:_
```text
/config/.local/bin/go
/config/opt/go/bin/go
go version go1.26.2 linux/arm64
/config/opt/go
```

### Proto no-drift

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

_실제 출력:_
```text
(no drift)
```

### Focused terminal lifecycle

`go test -count=1 ./packages/go/streamgate -run '^TestIngressSnapshot_(RebuildPeakArithmeticOverflow|RebuildOverflowInvalidatesCommittedAndReservedSiblings|RebuildOverflowErrorStableOnRepeat|CloseInvalidatesCommittedGuard|RebuildCommittedCloseDropsGuardReferences)$' -v`

_실제 출력:_
```text
=== RUN   TestIngressSnapshot_RebuildPeakArithmeticOverflow
=== RUN   TestIngressSnapshot_RebuildPeakArithmeticOverflow/math.MaxInt64_reserve_pre_peak
=== RUN   TestIngressSnapshot_RebuildPeakArithmeticOverflow/exact_limit_reserve_pre_peak
=== RUN   TestIngressSnapshot_RebuildPeakArithmeticOverflow/exact_limit_plus_one_reserve_pre_peak
=== RUN   TestIngressSnapshot_RebuildPeakArithmeticOverflow/post_peak_overflow
--- PASS: TestIngressSnapshot_RebuildPeakArithmeticOverflow (0.00s)
    --- PASS: TestIngressSnapshot_RebuildPeakArithmeticOverflow/math.MaxInt64_reserve_pre_peak (0.00s)
    --- PASS: TestIngressSnapshot_RebuildPeakArithmeticOverflow/exact_limit_reserve_pre_peak (0.00s)
    --- PASS: TestIngressSnapshot_RebuildPeakArithmeticOverflow/exact_limit_plus_one_reserve_pre_peak (0.00s)
    --- PASS: TestIngressSnapshot_RebuildPeakArithmeticOverflow/post_peak_overflow (0.00s)
=== RUN   TestIngressSnapshot_RebuildCommittedCloseDropsGuardReferences
--- PASS: TestIngressSnapshot_RebuildCommittedCloseDropsGuardReferences (0.00s)
=== RUN   TestIngressSnapshot_RebuildOverflowInvalidatesCommittedAndReservedSiblings
--- PASS: TestIngressSnapshot_RebuildOverflowInvalidatesCommittedAndReservedSiblings (0.00s)
=== RUN   TestIngressSnapshot_RebuildOverflowErrorStableOnRepeat
--- PASS: TestIngressSnapshot_RebuildOverflowErrorStableOnRepeat (0.00s)
=== RUN   TestIngressSnapshot_CloseInvalidatesCommittedGuard
--- PASS: TestIngressSnapshot_CloseInvalidatesCommittedGuard (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.002s
```

### Focused race

`go test -race -count=1 ./packages/go/streamgate -run '^TestIngressSnapshot_Rebuild(OverflowInvalidatesCommittedAndReservedSiblings|ConcurrentOverflowCloseCancelRace|OverflowErrorStableOnRepeat)$' -v`

_실제 출력:_
```text
=== RUN   TestIngressSnapshot_RebuildOverflowInvalidatesCommittedAndReservedSiblings
--- PASS: TestIngressSnapshot_RebuildOverflowInvalidatesCommittedAndReservedSiblings (0.00s)
=== RUN   TestIngressSnapshot_RebuildOverflowErrorStableOnRepeat
--- PASS: TestIngressSnapshot_RebuildOverflowErrorStableOnRepeat (0.00s)
=== RUN   TestIngressSnapshot_RebuildConcurrentOverflowCloseCancelRace
--- PASS: TestIngressSnapshot_RebuildConcurrentOverflowCloseCancelRace (0.00s)
PASS
ok  	iop/packages/go/streamgate	1.009s
```

### Unit

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

_실제 출력:_
```text
ok  	iop/packages/go/streamgate	0.833s
```

### Race

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

_실제 출력:_
```text
ok  	iop/packages/go/streamgate	1.873s
```

### Symbol references

`rg --sort path -n 'IngressSnapshot|ReserveRebuild|IngressSnapshotRebuildGuard|RebuiltSnapshot' packages/go/streamgate --glob '*.go'`

_실제 출력:_
```text
462 lines in 2 files (ingress_snapshot.go, ingress_snapshot_test.go only)
```

### Gofmt

`gofmt -d packages/go/streamgate/ingress_snapshot.go packages/go/streamgate/ingress_snapshot_test.go`

_실제 출력:_
```text
(no diff)
```

### Diff

`git diff --check`

_실제 출력:_
```text
(clean)
```

---

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

### 발견된 문제

- Required — `packages/go/streamgate/ingress_snapshot_test.go:2373`, `packages/go/streamgate/ingress_snapshot_test.go:2413`, `packages/go/streamgate/ingress_snapshot_test.go:2424`: 계획이 요구한 concurrent overflow 회귀가 실제 overflow를 실행하지 않는다. `maxBytes=1_048_576`에서 guard B의 actual output은 `500_000`바이트이고 parent retained/reservation을 합쳐도 한도보다 작으므로 `guardB.Commit`은 overflow가 아니라 성공할 수 있다. 테스트는 동시에 실행한 `snap.Close()`가 항상 terminal state를 만들기 때문에 이를 숨기며, guard A도 사전 commit하지 않고 두 `Commit` 결과를 버리고 외부 rebuilt pointer를 보존하지 않아 overflow/close winner별 stable error와 committed sibling snapshot close를 검증하지 못한다. guard A를 경쟁 전에 commit해 외부 rebuilt pointer를 확보하고, guard B에는 반드시 post-peak overflow가 되는 크기를 사용하며, overflow commit·reserved sibling cancel·parent close의 결과를 수집해 허용된 stable state/error와 rebuilt pointer closed, zero reservation/retention을 `-race -count=1`에서 검증한다.

### 다음 단계

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