<!-- task=m-stream-evidence-gate-core/18+14,16_runtime_contract plan=2 tag=REVIEW_CORE_RUNTIME_CONTRACT -->

# Code Review Reference - REVIEW_CORE_RUNTIME_CONTRACT

> **[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/18+14,16_runtime_contract, plan=2, tag=REVIEW_CORE_RUNTIME_CONTRACT

## Archive Evidence Snapshot

- 이전 pair:
  - Plan: `agent-task/m-stream-evidence-gate-core/18+14,16_runtime_contract/plan_local_G08_1.log`
  - Review: `agent-task/m-stream-evidence-gate-core/18+14,16_runtime_contract/code_review_cloud_G08_1.log`
- Verdict: `FAIL`
- Required:
  - `packages/go/streamgate/runtime.go:58`: `DefaultMaxIngressSnapshotBytes+1`이 `NewRuntimeOptions`를 통과한다.
  - `packages/go/streamgate/runtime.go:154`: request `configGen`과 `FilterRegistrySnapshot.Generation()` 불일치가 `NewRequestRuntimeSnapshot`을 통과한다.
- Suggested/Nit: 없음
- 영향 파일: `packages/go/streamgate/runtime.go`, `packages/go/streamgate/runtime_contract_test.go`
- 검증 evidence:
  - 기존 `go test -count=1 ./packages/go/streamgate`, `go test -race -count=1 ./packages/go/streamgate`, `git diff --check`는 PASS했다.
  - 리뷰 전용 임시 `TestReview*` fixture는 위 두 invalid input이 모두 accepted되어 FAIL했고, 임시 파일은 제거됐다.
- Roadmap carryover: 특정 Milestone Task 완료를 주장하지 않는 하위 contract 보완이므로 `Roadmap Targets` 없음.
- 상세 재읽기가 필요하면 위 두 archive log만 읽는다. `agent-task/archive/**`를 탐색하지 않는다.

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

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

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

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

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| REVIEW_CORE_RUNTIME_CONTRACT-1 ingress absolute cap | [x] |
| REVIEW_CORE_RUNTIME_CONTRACT-2 registry generation match | [x] |

## 구현 체크리스트

- [x] REVIEW_CORE_RUNTIME_CONTRACT-1 `RuntimeOptions`가 ingress snapshot byte limit `1..16 MiB`만 허용하고 limit-1/limit/limit+1 및 direct `Validate` 회귀 테스트를 통과하게 한다.
- [x] REVIEW_CORE_RUNTIME_CONTRACT-2 `RequestRuntimeSnapshot`이 request config generation과 registry generation 일치를 강제하고 match/mismatch 및 direct `Validate` 회귀 테스트를 통과하게 한다.
- [x] 계획의 focused unit, fresh package unit, race, gofmt diff, `git diff --check` 검증을 실행한다.
- [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_2.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G04_2.log`로 아카이브한다.
- [x] `.gitignore`의 Agent-Ops 관리 block이 `agent-task/**/*.md`와 `agent-task/**/*.log`를 unignore하고 `agent-roadmap/current.md`를 ignore하는지 확인한다.
- [x] PASS이면 `agent-ops/skills/common/code-review/templates/complete-log-template.md` 기준으로 `complete.log`를 작성하고 active `.md` 파일을 남기지 않는다.
- [x] PASS이면 active task 디렉터리 `agent-task/m-stream-evidence-gate-core/18+14,16_runtime_contract/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/18+14,16_runtime_contract/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [x] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [x] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-stream-evidence-gate-core/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [ ] WARN/FAIL이면 code-review skill의 판정에 맞는 다음 filesystem state를 작성하고 `complete.log`를 작성하지 않는다.

## 계획 대비 변경 사항

계획과 동일한 범위, 동일한 파일, 동일한 validation invariant를 적용했다. 변경 없음.

## 주요 설계 결정

- `RuntimeOptions.Validate`의 ingress 상한 조건을 constructor(`NewRuntimeOptions`)와 `Validate` 메소드 모두에 일관되게 적용했다. constructor는 `opts.Validate()`를 최종 호출하므로 두 경로가 동일한 invariant를 강제한다.
- `RequestRuntimeSnapshot.Validate`에서 registry generation non-empty 확인 직후 `registryGeneration != r.configGen.String()` 불일치 검사를 추가했다. constructor는 조립 후 `snap.Validate()`를 호출하므로 construction/revalidation이 동일한 invariant를 사용한다.
- 테스트에서 `StableToken.value`는 unexported이나 동일 패키지(`streamgate`)이므로 직접 접근해 `DirectValidateRejectsGenerationMismatch`를 구현했다.

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

- `RuntimeOptions.Validate`가 1 byte와 16 MiB는 허용하고 0과 16 MiB+1은 거부하며 constructor가 동일 validation을 사용하는가.
- `RequestRuntimeSnapshot.Validate`와 constructor가 config/registry generation mismatch를 즉시 거부하고 matching path는 유지하는가.
- public signatures, config/registry/ingress/coordinator 구현, 후속 owner loop를 범위 밖으로 유지했는가.

## 검증 결과

### 환경 확인

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

### REVIEW_CORE_RUNTIME_CONTRACT-1 focused unit

- `go test -count=1 ./packages/go/streamgate -run '^TestRuntimeOptionsValidation$'`

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

### REVIEW_CORE_RUNTIME_CONTRACT-2 focused unit

- `go test -count=1 ./packages/go/streamgate -run '^TestRequestRuntimeSnapshotContract$'`

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

### 최종 검증

- `go test -count=1 ./packages/go/streamgate -run '^(TestRuntimeOptionsValidation|TestRequestRuntimeSnapshotContract)$'`
- `go test -count=1 ./packages/go/streamgate`
- `go test -race -count=1 ./packages/go/streamgate`
- `gofmt -d packages/go/streamgate/runtime.go packages/go/streamgate/runtime_contract_test.go`
- `git diff --check`

_실제 출력:_
```
ok  	iop/packages/go/streamgate	0.006s
ok  	iop/packages/go/streamgate	0.869s
ok  	iop/packages/go/streamgate	1.913s
(no output from gofmt)
(no output from git diff --check)
```

---

> **[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 |

## 코드리뷰 결과

- 종합 판정: PASS
- 차원별 평가:
  - 정확성: Pass — ingress 절대 상한과 config/registry generation 일치 불변조건을 constructor와 direct `Validate` 경로가 모두 강제한다.
  - 완전성: Pass — 이전 리뷰의 두 Required 항목과 계획의 구현·검증 체크리스트가 모두 충족됐다.
  - 테스트 커버리지: Pass — limit-1/limit/limit+1, generation match/mismatch, direct revalidation 회귀 fixture가 존재하고 독립 재실행에 통과했다.
  - API 계약: Pass — public signature를 유지하면서 SDD S11 generation isolation과 S22의 16 MiB 절대 상한을 만족한다.
  - 코드 품질: Pass — validation을 기존 공용 `Validate` 경로에 모았고, debug 출력·dead code·TODO·포맷 편차를 찾지 못했다.
  - 구현 편차: Pass — 계획에 지정된 두 소스 파일과 두 validation invariant 범위 안에서 구현됐다.
  - 검증 신뢰도: Pass — focused unit, fresh package unit, race, gofmt diff, `git diff --check`를 현재 checkout에서 재실행한 결과가 기록과 일치했다.
- 발견된 문제: 없음
- 다음 단계:
  - PASS — `complete.log`를 작성하고 task artifacts를 월별 archive로 이동한다.
