<!-- task=m-stream-evidence-gate-core/07+01,06_commit_boundary plan=2 tag=REVIEW_API -->

# Code Review Reference - REVIEW_API

> **[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-25
task=m-stream-evidence-gate-core/07+01,06_commit_boundary, plan=2, tag=REVIEW_API

## Roadmap Targets

- Milestone: `agent-roadmap/phase/knowledge-tool-optimization-extension/milestones/stream-evidence-gate-core.md`
- Milestone link: [Milestone 문서](agent-roadmap/phase/knowledge-tool-optimization-extension/milestones/stream-evidence-gate-core.md)
- Task ids:
  - `evidence-tail`: predecessor S01/S02 evidence와 S19 overflow cancel/terminal 통합
  - `commit-boundary`: staged response-start, irreversible release state와 single terminal
- Completion mode: check-on-pass

## Archive Evidence Snapshot

- 현재 계획 로그: `agent-task/m-stream-evidence-gate-core/07+01,06_commit_boundary/plan_local_G06_1.log`
- 현재 리뷰 로그: `agent-task/m-stream-evidence-gate-core/07+01,06_commit_boundary/code_review_local_G07_1.log`
- 판정: `FAIL`
- Required:
  - partial sink 성공 뒤 `ConfirmRelease`가 생략되고 release/confirm 오류 뒤에도 success terminal이 commit된다.
  - boundary sink callback 전에 in-flight reservation이 없어 staged start/terminal 중복과 stale generation state 반영이 가능하다.
  - attempt ID 검증이 빠지고 post-open replacement가 허용돼 selected attempt와 commit state 경계가 깨진다.
  - 테스트가 partial cursor/suffix, concurrent exactly-once, 실제 post-open replace, deterministic overflow cancel→terminal을 단언하지 않는다.
- Suggested: 없음
- Nit: 없음
- 영향 파일: `packages/go/streamgate/commit_boundary.go`, `commit_boundary_test.go`, `stream_release.go`, `stream_release_test.go`.
- 실제 검증:
  - `go test -count=1 ./packages/go/streamgate -run '^Test(CommitBoundary|StreamReleaser)'`, fresh package, race, vet는 PASS했다.
  - `go test -count=1 ./apps/edge/internal/transport ./apps/node/internal/transport`는 host `/config/opt/go/src/crypto/internal/fips140cache` 누락으로 setup 전에 실패했다.
  - `make proto`, gofmt, diff hygiene, proto generated status는 PASS했다.
- 선행 완료:
  - `agent-task/archive/2026/07/m-stream-evidence-gate-core/01_event_contract_types/complete.log`
  - `agent-task/archive/2026/07/m-stream-evidence-gate-core/06+01_evidence_tail/complete.log`
- 구현자는 위 특정 로그 외의 `agent-task/archive/**`를 넓게 탐색하지 않는다.

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

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

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

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

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_API-1 Boundary reservation, state와 attempt ownership | [ ] |
| REVIEW_API-2 Progress confirmation과 terminal gate | [ ] |
| REVIEW_API-3 SDD fixture와 verification trust 폐쇄 | [ ] |

## 구현 체크리스트

- [ ] `REVIEW_API-1` attempt-scoped in-flight reservation, sink 반환 state의 검증·단조 반영, response-start/terminal exactly-once와 uncommitted-only atomic replacement를 구현·테스트한다.
- [ ] `REVIEW_API-2` zero/partial/full release를 error 여부와 무관하게 정확히 confirm하고, release/confirm 성공 뒤에만 success terminal을 commit하며 callback 중 serializer lock을 노출하지 않도록 구현·테스트한다.
- [ ] `REVIEW_API-3` cursor/suffix, sink state/error, wrong attempt, concurrent/re-entrant operation, deterministic idle/overflow cancel→terminal을 검증하는 회귀를 작성하고 fresh/race/profile 검증을 실행한다.
- [ ] CODE_REVIEW-*-G??.md의 구현 에이전트 소유 섹션을 실제 구현 내용과 검증 출력으로 채운다.

## 코드리뷰 전용 체크리스트

> **[REVIEW AGENT ONLY]** 이 체크리스트는 코드리뷰 에이전트만 사용한다.
> 구현 에이전트는 이 섹션을 수정하거나 체크하지 않는다.

- [x] `코드리뷰 결과`에 `PASS`, `WARN`, `FAIL` 중 하나의 판정을 append한다.
- [x] 판정과 `차원별 평가`, Required/Suggested/Nit 분류가 서로 일치한다.
- [x] active `CODE_REVIEW-*-G??.md`를 `code_review_local_G08_2.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G07_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/07+01,06_commit_boundary/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/07+01,06_commit_boundary/`로 이동하고 최종 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`를 작성하지 않는다.

## 계획 대비 변경 사항

_구현 에이전트가 계획과 다르게 구현한 부분을 이유와 함께 기록한다._

## 주요 설계 결정

_구현 에이전트가 주요 설계 결정 사항을 기록한다._

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

- wrong/missing attempt가 stage/release/terminal/replace에서 모두 거부되고 replacement가 new attempt ownership을 원자적으로 확정하는지 확인한다.
- response-start 성공 뒤 body 실패와 sink error+forward state에서 boundary가 `stream_open`을 보존하고 unknown/regression state를 stable error로 거부하는지 확인한다.
- concurrent/re-entrant release/terminal/replace 중 sink start/terminal이 정확히 한 번 호출되고 callback 동안 `State()`와 conflict 반환이 deadlock 없이 동작하는지 확인한다.
- zero/partial/full release error 뒤에도 `ConfirmRelease`가 실제 성공 수로 호출되어 cursor와 재prepare suffix가 sink와 일치하는지 확인한다.
- prepare/release/confirm 어느 단계든 실패하면 success terminal이 commit되지 않고 재시도 가능한 suffix/state가 남는지 확인한다.
- idle/overflow가 start/release 0, discard→cancel→terminal 순서, cancel 1회, terminal 1회를 deterministic하게 검증하는지 확인한다.
- test suite에 `t.Skip`이 없고 stress/race test가 실제 concurrency barrier를 통과하는지 확인한다.
- 변경이 네 source/test 파일과 task evidence에 한정되고 기존 event/tail/sink 계약이나 production transport adapter를 바꾸지 않았는지 확인한다.

## 검증 결과

> 구현 에이전트는 각 명령의 실제 stdout/stderr와 exit code를 기록한다. 명령 변경은 `계획 대비 변경 사항`에 사유를 남긴다.

### REVIEW_API-1 중간 검증

명령:
`go test -race -count=20 ./packages/go/streamgate -run '^TestCommitBoundary(PreservesReturnedStateAcrossSinkErrors|RejectsWrongOrMissingAttempt|SerializesConcurrentStartAndTerminal|RejectsPostOpenReplacement)$'`

결과:
_미실행_

### REVIEW_API-2 중간 검증

명령:
`go test -race -count=20 ./packages/go/streamgate -run '^TestStreamReleaser(ConfirmsProgressEvenWhenSinkFails|SuppressesSuccessTerminalUntilConfirmation|RejectsReentrantCallbackWithoutDeadlock|FailPendingOrdersDiscardCancelTerminal)$'`

결과:
_미실행_

### REVIEW_API-3 skip 검사

명령:
`! rg --sort path -n 't\\.Skip\\(' packages/go/streamgate/commit_boundary_test.go packages/go/streamgate/stream_release_test.go`

결과:
_미실행_

### REVIEW_API-3 test inventory

명령:
`go test -count=1 -v ./packages/go/streamgate -run '^Test(CommitBoundary|StreamReleaser)'`

결과:
_미실행_

### 호스트 Go 확인

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

결과:
_미실행_

### 포맷

명령:
`gofmt -d packages/go/streamgate/commit_boundary.go packages/go/streamgate/commit_boundary_test.go packages/go/streamgate/stream_release.go packages/go/streamgate/stream_release_test.go`

결과:
_미실행_

### 최종 concurrency stress

명령:
`go test -race -count=20 ./packages/go/streamgate -run '^Test(CommitBoundary(PreservesReturnedStateAcrossSinkErrors|RejectsWrongOrMissingAttempt|SerializesConcurrentStartAndTerminal|RejectsPostOpenReplacement)|StreamReleaser(ConfirmsProgressEvenWhenSinkFails|SuppressesSuccessTerminalUntilConfirmation|RejectsReentrantCallbackWithoutDeadlock|FailPendingOrdersDiscardCancelTerminal))$'`

결과:
_미실행_

### Focused package

명령:
`go test -count=1 -v ./packages/go/streamgate -run '^Test(CommitBoundary|StreamReleaser)'`

결과:
_미실행_

### Fresh package

명령:
`go test -count=1 ./packages/go/streamgate`

결과:
_미실행_

### Package race

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

결과:
_미실행_

### Vet

명령:
`go vet ./packages/go/streamgate`

결과:
_미실행_

### Proto setup

명령:
`make proto`

결과:
_미실행_

### Platform transport

명령:
`go test -count=1 ./apps/edge/internal/transport ./apps/node/internal/transport`

결과:
_미실행 — 동일 host GOROOT setup failure면 원문/exit code와 `/config/opt/go` 복구 조건 기록_

### 최종 skip 검사

명령:
`! rg --sort path -n 't\\.Skip\\(' packages/go/streamgate/commit_boundary_test.go packages/go/streamgate/stream_release_test.go`

결과:
_미실행_

### Diff hygiene

명령:
`git diff --check -- packages/go/streamgate/commit_boundary.go packages/go/streamgate/commit_boundary_test.go packages/go/streamgate/stream_release.go packages/go/streamgate/stream_release_test.go agent-task/m-stream-evidence-gate-core/07+01,06_commit_boundary proto/gen/iop`

결과:
_미실행_

### Generated status

명령:
`git status --short -- proto/gen/iop`

결과:
_미실행_

---

> **[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 — partial release 오류가 confirmation을 건너뛰고, sink callback 사이에 reservation이 없어 stale·duplicate commit이 가능하며, success terminal이 release/confirm 실패 뒤에도 commit된다.
  - completeness: Fail — 계획된 attempt-scoped reservation, sink state 검증·단조 반영, partial confirmation, success-terminal gate와 atomic replacement가 구현되지 않았고 구현 체크리스트도 전부 미완료다.
  - test coverage: Fail — 계획이 요구한 8개 회귀 테스트가 존재하지 않고 실제 명령은 `no tests to run`으로 종료됐으며 overflow 테스트의 `t.Skip`도 남아 있다.
  - API contract: Fail — `ReleaseSink` 반환 state와 attempt ownership을 검증하지 않아 SDD S03/S04/S05/S17/S19의 no-eager-commit, no-rollback, selected-attempt-only, single-terminal 계약을 보장하지 못한다.
  - code quality: Fail — 선언된 serializer conflict와 attempt 오류가 핵심 mutating path에서 일관되게 사용되지 않고 callback 중 lock/reservation 경계가 문서와 구현에서 어긋난다.
  - implementation deviation: Fail — 계획은 직전 FAIL을 폐쇄하는 source/test 수정과 실제 evidence 기록을 요구했지만 대상 구현은 그대로이고 review stub도 생성 직후 상태다.
  - verification trust: Fail — 구현자가 기록한 stdout/stderr가 없고 리뷰어 재실행에서 핵심 회귀 정규식이 테스트를 하나도 실행하지 않았다.
  - spec conformance: Fail — SDD Evidence Map의 S03/S04/S05/S17/S19 완료 근거가 생성되지 않았다.
- 발견된 문제:
  - Required — `packages/go/streamgate/commit_boundary.go:108`: `StageResponseStart`가 current attempt를 검증하지 않고, `ReleaseSafe`/`CommitTerminal`은 callback 전에 state만 snapshot한 뒤 reservation 없이 lock을 푼다(`128-199`, `208-264`). 동시에 release/terminal/replace가 들어오면 같은 staged start나 terminal을 중복 호출하거나 이전 generation 결과를 새 attempt state에 적용할 수 있다. 모든 mutating operation에서 exact attempt/generation을 검증하고 lock 아래 single in-flight reservation을 획득한 뒤 동일 reservation에만 sink 반환 state를 validate·단조 반영해야 하며, replacement는 `transport_uncommitted`에서 new attempt ownership을 원자적으로 확정해야 한다.
  - Required — `packages/go/streamgate/stream_release.go:70`: `ReleaseEpoch`은 `ReleaseSafe`가 partial progress와 error를 함께 반환하면 `ConfirmRelease` 전에 종료하고, `ReleaseTerminalEpoch`은 prepare/release/confirm 실패 뒤에도 success terminal을 commit한다(`101-126`). 또한 releaser mutex를 sink/canceller callback 동안 유지해 재진입 시 deadlock된다(`70-94`, `101-191`). zero/partial/full progress를 오류 여부와 무관하게 정확히 confirm하고 confirmation까지 성공한 epoch만 success terminal을 허용하며, callback 밖에서는 reservation만 유지하고 mutex를 노출하지 않아야 한다.
  - Required — `packages/go/streamgate/commit_boundary_test.go:66`: 계획된 `PreservesReturnedStateAcrossSinkErrors`, `RejectsWrongOrMissingAttempt`, `SerializesConcurrentStartAndTerminal`, `RejectsPostOpenReplacement` 회귀가 없고 기존 replacement 테스트는 실제 post-open replacement를 호출하지 않는다(`314-371`). `packages/go/streamgate/stream_release_test.go:143`도 partial cursor/suffix와 terminal suppression을 검증하지 않으며 overflow는 `t.Skip`으로 빠질 수 있다(`429-469`). 리뷰어가 계획의 핵심 정규식을 실행한 결과 `testing: warning: no tests to run`이었으므로 deterministic barrier/cursor/order fixture와 명시된 8개 회귀 테스트를 추가해야 한다.
  - Required — `agent-task/m-stream-evidence-gate-core/07+01,06_commit_boundary/CODE_REVIEW-local-G08.md:69`: 구현 항목·체크리스트가 모두 미완료이고 설계 결정/변경 사항은 placeholder이며 모든 검증 결과가 `_미실행_`이다(`69-78`, `96-102`, `119-229`). 구현자는 실제 source/test 변경을 완료한 뒤 명령의 원문 stdout/stderr와 blocker를 구현 소유 섹션에 기록해야 한다.
- 다음 단계: FAIL 후 `plan`의 `prepare-follow-up`과 `finalize-task-routing`의 `isolated-reassessment`를 거쳐 후속 구현 pair를 작성한다.
