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

# Code Review Reference - REVIEW_INGRESS_SNAPSHOT_CONCURRENT_OVERFLOW_EVIDENCE

> **[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=3, tag=REVIEW_INGRESS_SNAPSHOT_CONCURRENT_OVERFLOW_EVIDENCE

## 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_2.log`
- 이전 review: `agent-task/m-stream-evidence-gate-core/16+15_ingress_snapshot_allocation/code_review_cloud_G06_2.log`
- 판정: FAIL
- Required 1건: `TestIngressSnapshot_RebuildConcurrentOverflowCloseCancelRace`가 1 MiB 한도에서 500,000-byte commit을 사용하고 두 Commit 결과와 외부 rebuilt pointer를 버려 실제 overflow/winner별 stable error/committed sibling close를 검증하지 않는다.
- Suggested/Nit: 없음.
- 실제 검증: host Go/proto no-drift, deterministic focused, 기존 focused race, package unit/race, symbol count, gofmt, `git diff --check`는 PASS했다. reviewer source audit에서 500,000-byte commit이 retained/reservation과 합쳐도 1 MiB보다 작고 동시 `snap.Close()`가 false positive terminal state를 만드는 것을 확인했다.
- 영향 파일: `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-G04.md` → `code_review_cloud_G04_3.log`, `PLAN-local-G04.md` → `plan_local_G04_3.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_CONCURRENT_OVERFLOW_EVIDENCE-1 Real concurrent overflow fixture | [x] |

## 구현 체크리스트

- [x] REVIEW_INGRESS_SNAPSHOT_CONCURRENT_OVERFLOW_EVIDENCE-1 guard A를 경쟁 전에 commit해 외부 rebuilt pointer를 확보하고, guard B가 실제 post-peak overflow를 시도하도록 고친 뒤 overflow/parent close/reserved cancel winner별 stable state·error, rebuilt close, zero retention/reservation을 검증하며 fresh focused/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_G04_3.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G04_3.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`를 작성하지 않는다.

## 계획 대비 변경 사항

- `guardA.Commit(...)`를 goroutine 내부에서 동기 pre-commit으로 이동: 계획의 `After` 코드 블록에 명시된 대로 `rebuiltA` pointer를 경쟁 시작 전에 확보하여 external rebuilt closure fan-out을 검증한다.
- `guardB.Commit(make([]byte, 500_000))`를 `guardB.Commit(make([]byte, maxBytes))`로 변경: 500,000 bytes는 1 MiB 한도에서 actual overflow가 아니었으므로, `maxBytes` (1,048,576) 으로 교체하여 post-peak overflow를 보장한다.
- `500_000` literal 참조를 제거: 계획의 최종 검증 `if rg -n '500_000' ...` 체크를 통과한다.
- start barrier(channel)와 result channel(overflowResult, cancelResult) 추가: 4개 goroutine 중 3개(overflow commit, cancel, parent close)를 동시에 시작하여 실제 race를 유도한다.
- `DispatchableSnapshot` assertion을 winner-aware하게 수정: guardB는 Overflow 또는 Released 상태이므로 `ErrIngressSnapshotRebuildOverflow` 또는 `ErrIngressSnapshotClosed`를 모두 허용한다. guardC는 Cancelled 또는 Released이므로 `ErrIngressSnapshotRebuildCancelled` 또는 `ErrIngressSnapshotClosed`를 허용한다.
- `overflowErr` 검증을 `ErrIngressSnapshotClosed` 허용으로 확장: parent close가 B의 commit 전에 발생하면 B는 Released 상태가 되어 `Commit`이 `ErrIngressSnapshotClosed`를 반환할 수 있다.
- `rebuiltA.Accessor().IsClosed()` 검증을 추가: parent close 또는 overflow fan-out 후 external rebuilt snapshot이 반드시 closed됨을 검증한다.
- `guardA.Commit`의 반환값 `rebuiltA`를 검증에 사용: nil 체크와 pre-close 체크를 추가한다.

## 주요 설계 결정

1. **Pre-commit 순서**: guardA를 동기적으로 commit하여 `rebuiltA`를 확보한 후 race를 시작한다. 이렇게 하면 committed sibling의 rebuilt snapshot이 overflow fan-out 또는 parent close에 의해 닫히는지를 검증할 수 있다.
2. **Overflow 크기**: `make([]byte, maxBytes)`를 사용하여 retained(100 bytes canonical) + reserved(200 bytes for B+C after A pre-commit) + actual(1,048,576 bytes)가 maxBytes를 명확히 초과하도록 한다.
3. **시작 동시성**: `start` channel로 3개 racing goroutine(overflow commit, cancel, parent close)을 동시에 시작하여 실제 race condition을 유도한다.
4. **Winner-aware assertions**: race 결과에 따라 guardB가 Overflow 또는 Released, guardC가 Cancelled 또는 Released가 될 수 있으므로, 각 상태에 대응하는 허용 error를 모두 검증에 포함한다.
5. **External rebuilt closure 검증**: `rebuiltA.Accessor().IsClosed()`를 추가하여 overflow fan-out이나 parent close 후 external rebuilt snapshot이 닫히는지를 확인한다.

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

- guard A가 concurrency 시작 전에 commit되어 외부 `rebuiltA` pointer가 반드시 존재하는가.
- guard B actual output이 retained/reservation 조합과 무관하게 post-peak overflow가 되는가.
- goroutine 결과를 버리지 않고 overflow/close winner별 허용 error와 stable guard state를 대조하는가.
- parent close 또는 overflow fan-out 뒤 `rebuiltA`가 closed이고 모든 guard reference/reservation/retained bytes가 0인가.
- corrected fixture가 `-race -count=20`과 전체 fresh unit/race에서 반복 안정적인가.

## 검증 결과

> 아래 각 명령을 그대로 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
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
```

### Focused terminal lifecycle

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

_실제 출력:_
```text
=== 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 concurrent race

`go test -race -count=20 ./packages/go/streamgate -run '^TestIngressSnapshot_RebuildConcurrentOverflowCloseCancelRace$'`

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

### Unit

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

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

### Race

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

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

### Fixture references

`if rg -n '500_000' packages/go/streamgate/ingress_snapshot_test.go; then exit 1; fi; rg --sort path -n 'TestIngressSnapshot_RebuildConcurrentOverflowCloseCancelRace|guard[ABC]\.(Commit|Cancel)|DispatchableSnapshot' packages/go/streamgate/ingress_snapshot_test.go`

_실제 출력:_
```text
1287:	if _, err := guard.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotRebuildOverflow) {
1288:		t.Errorf("DispatchableSnapshot after overflow: want ErrIngressSnapshotRebuildOverflow, got %v", err)
1384:	dispSnap, err := guard.DispatchableSnapshot()
1386:		t.Fatalf("DispatchableSnapshot: %v", err)
1389:		t.Error("DispatchableSnapshot should return committed rebuilt snapshot")
1504:			_, _ = guard.DispatchableSnapshot()
1569:	if _, err := guard.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) && !errors.Is(err, ErrIngressSnapshotRebuildInvalidState) {
1570:		t.Errorf("post-release DispatchableSnapshot: want Closed or InvalidState, got %v", err)
1856:	_, err = guardA.Commit(make([]byte, 160))
1868:	if _, err := guardB.Commit([]byte("data")); !errors.Is(err, ErrIngressSnapshotClosed) {
1872:	if _, err := guardB.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) {
1873:		t.Errorf("guardB DispatchableSnapshot after sibling overflow: want Closed, got %v", err)
1876:	// guardB.Commit already called releaseLocked(RebuildStateReleased) internally,
1878:	if err := guardB.Cancel(); err != nil {
1889:	if _, err := guardA.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotRebuildOverflow) {
1890:		t.Errorf("guardA DispatchableSnapshot: want Overflow error, got %v", err)
1964:	// DispatchableSnapshot returns Closed since guard is released
1965:	if _, err := guard.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) {
1966:		t.Errorf("post-close DispatchableSnapshot: want Closed, got %v", err)
2027:	// DispatchableSnapshot returns Overflow error
2028:	if _, err := guard.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotRebuildOverflow) {
2029:		t.Errorf("DispatchableSnapshot: want Overflow, got %v", err)
2121:	rebuiltA, err := guardA.Commit([]byte("rebuilt-output-a-payload-data-xx"))
2136:	_, err = guardB.Commit(make([]byte, 200))
2145:	if _, err := guardA.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) {
2146:		t.Errorf("guardA DispatchableSnapshot: want Closed, got %v", err)
2164:	_, err = guardB.Commit([]byte("retry"))
2168:	if _, err := guardB.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotRebuildOverflow) {
2169:		t.Errorf("guardB DispatchableSnapshot: want Overflow, got %v", err)
2179:	if _, err := guardC.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) {
2180:		t.Errorf("guardC DispatchableSnapshot: want Closed, got %v", err)
2206:// and DispatchableSnapshot also returns the stable overflow error.
2253:	// DispatchableSnapshot returns stable Overflow error
2255:		if _, err := guard.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotRebuildOverflow) {
2256:			t.Errorf("DispatchableSnapshot #%d: want Overflow, got %v", i+1, err)
2301:	rebuiltA, err := guardA.CommitTyped("rebuilt", []byte("rebuilt-output-payload-data-xx"))
2342:	if _, err := guardA.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) {
2343:		t.Errorf("guardA DispatchableSnapshot: want Closed, got %v", err)
2359:	if _, err := guardB.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) {
2360:		t.Errorf("guardB DispatchableSnapshot: want Closed, got %v", err)
2370:// TestIngressSnapshot_RebuildConcurrentOverflowCloseCancelRace verifies concurrent safety
2373:func TestIngressSnapshot_RebuildConcurrentOverflowCloseCancelRace(t *testing.T) {
2413:	rebuiltA, err := guardA.Commit([]byte("rebuilt-output-data-for-guard-a"))
2435:		_, err := guardB.Commit(make([]byte, maxBytes))
2444:		err := guardC.Cancel()
2522:	// Verify no DispatchableSnapshot from released guards.
2524:	if _, err := guardA.DispatchableSnapshot(); !errors.Is(err, ErrIngressSnapshotClosed) {
2525:		t.Errorf("guardA DispatchableSnapshot: want Closed, got %v", err)
2528:	if bSnap, bErr := guardB.DispatchableSnapshot(); bSnap != nil {
2529:		t.Error("guardB DispatchableSnapshot: expected nil snapshot")
2531:		t.Errorf("guardB DispatchableSnapshot: want RebuildOverflow or Closed, got %v", bErr)
2534:	if cSnap, cErr := guardC.DispatchableSnapshot(); cSnap != nil {
2535:		t.Error("guardC DispatchableSnapshot: expected nil snapshot")
2537:		t.Errorf("guardC DispatchableSnapshot: want Cancelled or Closed, got %v", cErr)
```

### Gofmt

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

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

### Diff

`git diff --check`

_실제 출력:_
```text
```

---

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

### 발견된 문제

- Required — `packages/go/streamgate/ingress_snapshot_test.go:2540`, `packages/go/streamgate/ingress_snapshot_test.go:2552`: concurrent fixture가 guard B의 terminal state와 `Commit` 오류를 서로 대응시키지 않고, `overflowErr != nil`일 때만 오류 종류를 검사한다. 따라서 oversized `Commit`이 잘못 `(snapshot, nil)`을 반환해도 concurrent `snap.Close()`가 guard B를 `Released`로 덮고 rebuilt snapshot과 parent를 정리하면 `overflowErr == nil` 분기를 건너뛰어 테스트가 PASS할 수 있다. `wg.Wait()` 뒤 result channel을 직접 수신하고, guard B가 `Overflow`이면 `ErrIngressSnapshotRebuildOverflow`, `Released`이면 `ErrIngressSnapshotClosed`가 반드시 반환됐는지 같은 switch에서 검증해 nil과 state/error 불일치를 모두 거부한다.

### 다음 단계

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