<!-- task=m-stream-evidence-gate-core/19+18_core_runtime_loop plan=11 tag=REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_CORE_RUNTIME_LOOP -->

# Code Review Reference - REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_CORE_RUNTIME_LOOP

> **[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/19+18_core_runtime_loop, plan=11, tag=REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_CORE_RUNTIME_LOOP

## Archive Evidence Snapshot

- 이전 Plan: `agent-task/m-stream-evidence-gate-core/19+18_core_runtime_loop/plan_cloud_G09_10.log`
- 이전 Review: `agent-task/m-stream-evidence-gate-core/19+18_core_runtime_loop/code_review_cloud_G09_10.log`
- 판정: `FAIL`
- 문제 수: Required 1, Suggested 0, Nit 0
- 문제 요약: `stream_release.go:180-185`가 replacement 대상 epoch/channel 없이 `DiscardPendingForTerminal()`과 `clearCompletedEpochs()`를 호출해 전 채널 pending/epoch bookkeeping을 지우고, replacement sink progress를 tail에 confirm하지 않는다.
- 영향 파일: `packages/go/streamgate/runtime.go`, `packages/go/streamgate/stream_release.go`, `packages/go/streamgate/evidence_tail.go`와 대응 test 3개.
- 실제 검증 evidence:
  - `/config/.local/bin/go` → `/config/opt/go/bin/go`, Go `1.26.2`, `GOROOT=/config/opt/go`였다.
  - `make proto`, package build, focused/package unit·race, gofmt, guard, import boundary, `git diff --check`는 fresh 실행에서 통과했다.
  - 두 rolling channel `a`/`b`에 pending event를 둔 임시 probe는 `b` replacement 뒤 unrelated `a` pending count가 기대값 1이 아니라 0이 되어 실패했다. probe 파일은 제거됐다.
- 필요한 경우 위 두 log만 좁게 읽는다. `agent-task/archive/**`를 탐색하지 않는다.
- Roadmap carryover: 없음. 이 split subtask PASS만으로 Milestone 기능 Task 완료를 주장하지 않으므로 `Roadmap Targets`를 두지 않는다.

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

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

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

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

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_REVIEW_CORE_RUNTIME_LOOP-1 - Epoch-bound replacement settlement | [x] |

## 구현 체크리스트

- [x] replacement prepare/confirm을 대상 epoch sequence/channel에 묶어 original snapshot만 소비하고 unrelated channel pending/token/epoch 및 같은 channel의 post-snapshot event를 보존한다.
- [x] `RequestRuntime`이 epoch identity를 releaser에 전달하고 replacement sink zero/partial/full progress 중 실제 방출 prefix만 committed look-behind/cursor에 반영하며 original event와 전역 completed-epoch clear를 제거한다.
- [x] tail/releaser/runtime 다중 channel regression과 partial sink failure, exact replacement output, response-start/terminal exactly-once assertion을 작성하고 fresh focused/package unit·race를 통과시킨다.
- [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_11.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G08_11.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/19+18_core_runtime_loop/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/19+18_core_runtime_loop/`로 이동하고 최종 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`를 작성하지 않는다.

## 계획 대비 변경 사항

- 계획의 `Ignored-error/debug guard` 명령(`! rg ... evidence_tail_test.go stream_release_test.go ...`)은 이 변경과 무관하게 빈 출력이 될 수 없다. 두 test 파일에는 이번 작업 전부터 fixture용 `ev, _ := NewTextDeltaEvent(...)` 형태가 각각 112줄, 24줄 존재한다. 명령은 계획대로 그대로 실행해 실제 출력을 `검증 결과`에 기록했고, 이번 변경이 새 위반을 추가하지 않았음을 `git diff -U0 -- packages/go/streamgate/ | rg '^\+' | rg '<guard pattern>'` → `출력 없음`으로 별도 확인했다. 기존 100줄 이상의 test fixture 재작성은 plan 범위를 넘으므로 하지 않았다.
- 계획의 `prepare`가 검증하는 "고정 sequence range"를 target range가 비어 있으면 실패하는 조건이 아니라, range가 역전되지 않고 현재 pending prefix와 정확히 일치하는지 검사하는 조건으로 구현했다. 이유는 `packages/go/streamgate/evidence_tail.go`의 terminal/provider-error trigger epoch이 pending이 빌 때 `[firstPendingSequence, nextSequence)`의 빈 range를 정상적으로 만들기 때문이다. 빈 range를 fail-closed로 두면 terminal 시점 replacement가 기존 동작과 달리 요청 전체를 실패시킨다. range mismatch는 `errPreparedSnapshotMismatch`로 기존 `ConfirmRelease`와 같은 오류를 쓴다.
- 계획에 없던 `markCompletedEpoch(epochID)`를 confirm 성공 시에만 추가했다. 전역 `clearCompletedEpochs()`를 제거하면 replacement로 정산된 target epoch이 releaser bookkeeping에서 미완료로 남아, 이후 `ReleaseTerminalEpoch`가 이미 소비된 epoch을 다시 release하려 시도할 수 있다. unrelated epoch의 completed 상태는 그대로 보존된다.

## 주요 설계 결정

- **prepare/confirm 분리와 opaque token**: `EvidenceTail`에 package-private `prepareReplacement`/`confirmReplacement`와 `replacementRecord`를 추가했다. `prepareReplacement`는 epoch 존재/미소비/미무효, channel prepared 중복, sequence range 정합성, payload non-empty·releasable kind·channel 일치를 모두 sink mutation 전에 검사하고 pending/look-behind/cursor를 건드리지 않는다. 따라서 어떤 실패 경로에서도 stream과 tail이 그대로 남는다.
- **token 격리**: replacement token은 `replacement-<epoch>-<n>-<nonce>` prefix를 쓴다. `ConfirmRelease`는 `prepared-` prefix만 받으므로 replacement token으로 일반 release를 confirm할 수 없고, 반대도 성립한다. 두 종류는 `preparedByChannel` 한 슬롯을 공유해 같은 channel에서 동시에 outstanding될 수 없다.
- **zero/partial/full 정산 규칙**: original target range는 progress가 0이어도 전량 소비한다(원본은 이미 대체되어 downstream에 갈 수 없다). 반면 `committedLookBehind`/`committedCursor`에는 sink가 실제로 받은 replacement prefix만 반영한다. 그래서 boundary progress와 tail cursor가 항상 같다.
- **release 실패에도 confirm 실행**: `releaseReplacementEvents`는 `ReleaseSafe` 오류 여부와 무관하게 confirm을 실행하고 `errors.Join(relErr, confirmErr)`로 두 오류를 함께 보존한다. partial 성공이 tail에 반영되지 않아 downstream보다 뒤처지는 상태를 없앤다.
- **격리 범위**: 전역 `DiscardPendingForTerminal()`/`clearCompletedEpochs()` 호출을 replacement 경로에서 제거했다. 무효화는 `invalidateOverlappingEpochs`로 같은 channel에서 소비된 range와 실제로 겹치는 미종결 epoch만 대상으로 한다. unrelated channel의 pending/prepared token/epoch, 같은 channel의 post-snapshot entry, 다른 epoch의 completed bookkeeping은 보존된다.
- **serializer 경계**: prepare → 단일 ordered `ReleaseSafe` → confirm이 하나의 serializer 예약 안에서 실행된다. 새 seam은 package-private이고 public API, transport/consumer 계약, import chain은 바뀌지 않는다(`agent-contract/index.md`, `agent-spec/index.md`에 매칭되는 문서 없음).
- **중복 제거**: `ConfirmRelease`의 fragment 정리 로직을 `channelState.dropFragmentEntriesBelow`로 추출해 release/replacement 두 정산 경로가 같은 절대 sequence 기준을 공유한다. 동작은 동일하다.
- **회귀 실효성 확인**: 새 test 3개가 실제로 이번 결함을 잡는지 확인하려고 `releaseReplacementEvents`에 제거된 `DiscardPendingForTerminal()`/`clearCompletedEpochs()`를 임시로 되살려 실행했고, `TestStreamReleaserReplacementSettlement`(unrelated `b` pending 소실, cursor 0, stale token)와 `TestRequestRuntimeReplacementProposalRelease`(alt pending 소실, stale prepared token) 두 test가 FAIL했다. 확인 후 원상 복구했고 임시 파일은 남기지 않았다.

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

- replacement validation이 sink mutation 전에 epoch 존재/상태, sequence range, non-empty/releasable kind와 proposal channel을 확인하는가.
- release error를 포함한 zero/partial/full 경로 모두 tail confirm을 실행하고 실제 released prefix만 look-behind/cursor에 반영하는가.
- 대상 original range만 소비되고 unrelated channel pending/prepared token/completed epoch와 same-channel post-snapshot entry가 보존되는가.
- 전역 `DiscardPendingForTerminal()`/`clearCompletedEpochs()`가 replacement 경로에서 제거됐는가.
- runtime sink에는 proposal event만 exact order로 보이고 original은 없으며 response-start/terminal은 각각 한 번인가.
- 새 seam이 package-private이고 transport/consumer/public API 범위를 넓히지 않는가.

## 검증 결과

### Environment

- `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 and build

- `make proto && go build ./packages/go/streamgate`

_실제 출력:_

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

`go build`는 출력 없이 exit 0. `proto/gen/iop/*.pb.go`는 직접 수정하지 않았고 재생성 후 `git diff --check` 깨끗함.

### Format

- `gofmt -d packages/go/streamgate/evidence_tail.go packages/go/streamgate/evidence_tail_test.go packages/go/streamgate/stream_release.go packages/go/streamgate/stream_release_test.go packages/go/streamgate/runtime.go packages/go/streamgate/runtime_test.go`

_실제 출력:_

```text
```

출력 없음, exit 0. `gofmt -l packages/go/streamgate/`도 출력 없음.

### Focused regression

- `go test -count=1 -v ./packages/go/streamgate -run '^(TestEvidenceTailReplacementSettlement|TestStreamReleaserReplacementSettlement|TestRequestRuntimeReplacementProposalRelease)$'`

_실제 출력:_

```text
=== RUN   TestEvidenceTailReplacementSettlement
=== RUN   TestEvidenceTailReplacementSettlement/fails_closed_before_any_mutation
=== RUN   TestEvidenceTailReplacementSettlement/zero_progress
=== RUN   TestEvidenceTailReplacementSettlement/partial_progress
=== RUN   TestEvidenceTailReplacementSettlement/full_progress
--- PASS: TestEvidenceTailReplacementSettlement (0.00s)
    --- PASS: TestEvidenceTailReplacementSettlement/fails_closed_before_any_mutation (0.00s)
    --- PASS: TestEvidenceTailReplacementSettlement/zero_progress (0.00s)
    --- PASS: TestEvidenceTailReplacementSettlement/partial_progress (0.00s)
    --- PASS: TestEvidenceTailReplacementSettlement/full_progress (0.00s)
=== RUN   TestRequestRuntimeReplacementProposalRelease
=== RUN   TestRequestRuntimeReplacementProposalRelease/substitutes_ordered_replacement
=== RUN   TestRequestRuntimeReplacementProposalRelease/sink_release_failure_stops_output
--- PASS: TestRequestRuntimeReplacementProposalRelease (0.00s)
    --- PASS: TestRequestRuntimeReplacementProposalRelease/substitutes_ordered_replacement (0.00s)
    --- PASS: TestRequestRuntimeReplacementProposalRelease/sink_release_failure_stops_output (0.00s)
=== RUN   TestStreamReleaserReplacementSettlement
=== RUN   TestStreamReleaserReplacementSettlement/full_sink_progress
=== RUN   TestStreamReleaserReplacementSettlement/partial_sink_progress
=== RUN   TestStreamReleaserReplacementSettlement/zero_sink_progress
=== RUN   TestStreamReleaserReplacementSettlement/foreign_channel_payload_fails_closed
--- PASS: TestStreamReleaserReplacementSettlement (0.00s)
    --- PASS: TestStreamReleaserReplacementSettlement/full_sink_progress (0.00s)
    --- PASS: TestStreamReleaserReplacementSettlement/partial_sink_progress (0.00s)
    --- PASS: TestStreamReleaserReplacementSettlement/zero_sink_progress (0.00s)
    --- PASS: TestStreamReleaserReplacementSettlement/foreign_channel_payload_fails_closed (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.003s
```

### Focused race

- `go test -race -count=1 ./packages/go/streamgate -run '^(TestEvidenceTailReplacementSettlement|TestStreamReleaserReplacementSettlement|TestRequestRuntimeReplacementProposalRelease)$'`

_실제 출력:_

```text
ok  	iop/packages/go/streamgate	1.019s
```

### Existing contract regression

- `go test -count=1 -v ./packages/go/streamgate -run '^(TestEvidenceTailFragmentCompletionPreservesOtherChannels|TestStreamReleaserConfirmsExactlySinkProgress|TestRequestRuntimeReplaceAttemptStagedStartIsolation|TestRequestRuntimeLifecycleMatrix)$'`

_실제 출력:_

```text
--- PASS: TestEvidenceTailFragmentCompletionPreservesOtherChannels (0.00s)
    --- PASS: TestEvidenceTailFragmentCompletionPreservesOtherChannels/fragmentCompletionDoesNotBreakRollingTokenConfirm (0.00s)
    --- PASS: TestEvidenceTailFragmentCompletionPreservesOtherChannels/sameChannelOldTokenRejected (0.00s)
    --- PASS: TestEvidenceTailFragmentCompletionPreservesOtherChannels/interleavedFragmentABExpandsSafePrefixAfterConfirm (0.00s)
--- PASS: TestRequestRuntimeReplaceAttemptStagedStartIsolation (0.00s)
    --- PASS: TestRequestRuntimeReplaceAttemptStagedStartIsolation/new_attempt_without_response_start (0.00s)
    --- PASS: TestRequestRuntimeReplaceAttemptStagedStartIsolation/new_attempt_with_new_response_start (0.00s)
--- PASS: TestRequestRuntimeLifecycleMatrix (0.00s)
    --- PASS: TestRequestRuntimeLifecycleMatrix/recovery_caps_0_1_3 (0.00s)
        --- PASS: TestRequestRuntimeLifecycleMatrix/recovery_caps_0_1_3/cap_0 (0.00s)
        --- PASS: TestRequestRuntimeLifecycleMatrix/recovery_caps_0_1_3/cap_1 (0.00s)
        --- PASS: TestRequestRuntimeLifecycleMatrix/recovery_caps_0_1_3/cap_3 (0.00s)
    --- PASS: TestRequestRuntimeLifecycleMatrix/blocking_evaluation_error (0.00s)
    --- PASS: TestRequestRuntimeLifecycleMatrix/observe_only_evaluation_error (0.00s)
    --- PASS: TestRequestRuntimeLifecycleMatrix/cancellation_during_evaluation (0.00s)
    --- PASS: TestRequestRuntimeLifecycleMatrix/backpressure_blocks_next_ingress (0.00s)
    --- PASS: TestRequestRuntimeLifecycleMatrix/simultaneous_violation_single_winner (0.00s)
--- PASS: TestStreamReleaserConfirmsExactlySinkProgress (0.00s)
    --- PASS: TestStreamReleaserConfirmsExactlySinkProgress/zero_sink_progress (0.00s)
    --- PASS: TestStreamReleaserConfirmsExactlySinkProgress/partial_sink_progress (0.00s)
    --- PASS: TestStreamReleaserConfirmsExactlySinkProgress/partial_sink_progress_two_succeed_then_fail (0.00s)
    --- PASS: TestStreamReleaserConfirmsExactlySinkProgress/full_sink_progress (0.00s)
PASS
ok  	iop/packages/go/streamgate	0.004s
```

### Package unit

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

_실제 출력:_

```text
ok  	iop/packages/go/streamgate	0.880s
```

cache 출력(`(cached)`) 없음.

### Package race

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

_실제 출력:_

```text
ok  	iop/packages/go/streamgate	1.933s
```

### Ignored-error/debug guard

- `! rg -n --sort path 'DEBUG|, _ := New|_ = New|desc, _ :=|cause, _ :=|causes, _ :=' packages/go/streamgate/evidence_tail.go packages/go/streamgate/evidence_tail_test.go packages/go/streamgate/stream_release.go packages/go/streamgate/stream_release_test.go packages/go/streamgate/runtime.go packages/go/streamgate/runtime_test.go`

_실제 출력:_ 빈 출력이 아니라 기존 test fixture 라인이 매칭되어 `!` 반전으로 exit 1이다. 매칭 분포는 다음과 같다.

```text
packages/go/streamgate/evidence_tail_test.go:112
packages/go/streamgate/stream_release_test.go:24
```

`evidence_tail.go`, `stream_release.go`, `runtime.go`, `runtime_test.go`는 0건이다. 남은 매칭이 이번 변경과 무관함을 확인한 보조 명령:

```text
$ git diff -U0 -- packages/go/streamgate/ | rg '^\+' | rg 'DEBUG|, _ := New|_ = New|desc, _ :=|cause, _ :=|causes, _ :='
(출력 없음)
```

즉 이번 변경이 추가한 라인에는 guard 위반이 없다. 상세 근거는 `계획 대비 변경 사항` 첫 항목에 있다.

### Import boundary

- `! rg -n --sort path 'iop/apps/' packages/go/streamgate/evidence_tail.go packages/go/streamgate/stream_release.go packages/go/streamgate/runtime.go`

_실제 출력:_

```text
```

출력 없음, `rg` exit 1 → `!` 반전 exit 0. `packages/go/streamgate`는 여전히 표준 라이브러리만 import한다.

### Diff

- `git diff --check`

_실제 출력:_

```text
```

출력 없음, exit 0.

---

> **[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 | newer overlapping epoch가 원래 구간을 먼저 소비한 뒤에도 stale epoch의 replacement prepare가 성공해 이미 downstream에 반영된 원본을 다시 대체할 수 있다. |
| Completeness | FAIL | epoch에 고정된 non-empty sequence range가 현재 pending prefix와 완전히 동일한지 확인하지 않고, 남아 있는 entry 수가 0이면 검증을 생략한다. |
| Test coverage | FAIL | zero/partial/full sink progress와 다채널 격리는 검증하지만, overlapping release가 stale epoch의 captured range를 먼저 소비한 상태는 회귀 테스트에 없다. |
| API contract | FAIL | epoch-bound replacement settlement가 이미 확정된 원본 구간에 대해 다시 release payload를 허용해 downstream exactly-once 경계를 깨뜨릴 수 있다. |
| Code quality | PASS | replacement token과 channel reservation 구조, 오류 전 mutation 방지 흐름은 국소적이고 읽을 수 있게 구성돼 있다. |
| Implementation deviation | FAIL | 계획이 요구한 fixed sequence range의 exact pending-prefix 일치를 `targetCount > 0` 조건으로 약화해 stale empty remainder를 정상 empty snapshot과 구분하지 못한다. |
| Verification trust | PASS | 선언된 focused/contract/package/race 검증을 fresh 실행해 모두 통과함을 확인했고, 별도 최소 probe로 누락 경로를 재현했다. |

### 발견된 문제

- **Required** — `packages/go/streamgate/evidence_tail.go:2023`과 `packages/go/streamgate/evidence_tail.go:2110`에서 captured range에 현재 남은 entry 수만 세고, 그 값이 0이면 prefix 검증을 생략한다. 먼저 만든 old epoch와 같은 channel/range를 포함하는 newer epoch를 만든 뒤 newer release를 전부 confirm하면 old epoch의 non-empty range는 pending에서 사라지지만 old record는 invalidation되지 않는다. 이 상태에서 `prepareReplacement(oldEpoch, ...)`가 성공한다. 임시 package test probe는 `prepareReplacement accepted an epoch whose captured range was already consumed`로 실패했다. prepare와 confirm 모두 `targetCount == snapEndSeq-snapStartSeq` 및 prefix sequence 일치를 요구해 stale non-empty range를 sink mutation 전에 거부하되, 처음부터 `[n,n)`인 합법적인 empty trigger range는 계속 허용해야 한다. 이 경로와 empty-range 허용을 `TestEvidenceTailReplacementSettlement`에 회귀로 고정해야 한다.

### 다음 단계

- 같은 split task에서 captured range의 exact liveness 검사를 보강하고 stale-consumed/legitimate-empty 조합 회귀를 추가하는 후속 계획으로 이어간다.
