<!-- task=m-stream-evidence-gate-core/21+14,19_filter_observation_contract plan=1 tag=FILTER_OBSERVATION_CONTRACT -->

# Code Review Reference - FILTER_OBSERVATION_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/21+14,19_filter_observation_contract, plan=1, tag=FILTER_OBSERVATION_CONTRACT




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

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

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

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

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| OBS-CORE-1 envelope/sink | [x] |
| OBS-CORE-4 contract tests | [x] |
| OBS-CORE-5 검증 | [x] |

## 구현 체크리스트

- [x] OBS-CORE-1 immutable FilterObservation/sequence/sink contract와 raw-free validation을 구현한다.
- [x] OBS-CORE-4 bounded cause/evidence, monotonic sequence와 sink-failure fixtures를 추가한다.
- [x] OBS-CORE-5 streamgate unit/race/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_G08_1.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G08_1.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/21+14,19_filter_observation_contract/`를 `agent-task/archive/YYYY/MM/m-stream-evidence-gate-core/21+14,19_filter_observation_contract/`로 이동하고 최종 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`를 작성하지 않는다.

## 계획 대비 변경 사항

- 계획의 파일/항목 범위(`filter_observation.go`, `filter_observation_test.go`)와 최종 검증 명령은 그대로 유지했다.
- `parallel_evaluation.go` / `runtime.go` / `recovery_coordinator.go` lifecycle hook 연결은 계획대로 이 subtask 범위 밖(`22`, `23`)에 남겼고, 기존 파일은 수정하지 않았다.

## 주요 설계 결정

- **raw-free를 field 부재로 강제한다.** envelope에 raw prompt/output/tool args/result/auth/preparer payload를 담을 field 자체를 만들지 않았다. 모든 식별자는 기존 `StableToken`(`[a-z0-9][a-z0-9._:-]*`, 128 byte) 문법을, 모든 상태값은 기존 closed enum(`FilterHoldMode`, `EventKind`, `CommitState`, `FilterOutcomeKind`, `FilterDecisionKind`, `FilterEnforcement`, `EvaluationFailureDisposition`, `RecoveryStrategy`, `RecoveryResumeMode`, `RecoveryPreparationStatus`, `TerminalReason`)을, per-event 증거는 기존 `SanitizedEvidence`(fingerprint/count/offset/descriptor code)를 재사용한다. 새로 만든 enum은 `ObservationKind`와 `ObservationDeadlineOutcome` 둘뿐이며 둘 다 closed set이다.
- **sequence는 caller가 위조할 수 없다.** `FilterObservationInput`에 sequence field를 두지 않고, `newFilterObservation`을 unexported로 두어 `ObservationSequencer.Emit`만 sequence를 부여한다. 부여는 `atomic.AddUint64`로 하여 병렬 filter evaluation이 lock 없이 동시 emit해도 request-local monotonic 유일성이 유지된다. 0은 invalid sequence로 거부한다.
- **sink 실패는 runtime correctness를 바꾸지 않는다.** `ObservationSequencer.Emit`은 sink error를 반환값으로 전파하지 않고 optional `onError` hook으로만 흘린다. 반면 input validation 실패(caller bug)는 그대로 error로 반환하고 sink에 전달하지 않는다. 즉 error 반환 경로는 observability 장애가 아니라 계약 위반만 신호한다. `sink == nil`은 `NoopObservationSink`로 정규화해 host가 backend를 아직 연결하지 않아도 panic하지 않는다.
- **kind별 필수 field를 Validate에 고정했다.** `filter_evaluated`는 attribution+decision policy, `response_staged`는 hold info, recovery 계열은 recovery info, `recovery_prepared`는 recovery+preparer info를 요구한다. `terminal_committed`은 terminal reason(성공)과 cause chain(실패) 중 정확히 하나만 허용해 성공/실패 terminal이 같은 envelope에서 섞이지 않게 했다.
- **nested contract를 상위 계약과 결합했다.** `ObservationRecoveryInfo`는 `continue_stream`이면 shared attempt id를 요구하고 `replace_attempt`이면 금지해 `RecoveryPlan`의 resume-mode 계약과 어긋난 observation을 만들 수 없게 했다. `ObservationDecisionPolicy`는 `evaluated`일 때만 decision kind를 허용한다.
- **cause bound를 envelope 자체 invariant로 다시 검사한다.** `FailureCauseChain`이 생성자에서 자동 capping하더라도 `FilterObservation.Validate()`가 `MaxFailureCauses` 초과를 독립적으로 거부하도록 해, 다른 경로로 조립된 chain도 4단계를 넘지 못한다.
- **모든 pointer accessor는 defensive copy를 반환한다.** `Attribution()`, `Hold()`, `DecisionPolicy()`, `Recovery()`, `Preparer()`, `Evidence()`, `Causes()` 반환값을 호출자가 변형해도 저장된 snapshot은 바뀌지 않는다.
- **구조적 회귀 가드를 테스트로 남겼다.** `TestFilterObservationStructIsRawFree`가 reflect로 envelope와 nested type의 field 이름을 훑어 `raw`/`prompt`/`output`/`auth`/`body`/`arg`/`result`/`stacktrace` 부분 문자열을 거부한다. 후속 `22`/`23` hook 작업에서 raw payload field가 추가되면 컴파일이 아니라 테스트로 잡힌다.

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

- envelope API가 raw prompt/output/tool/auth/preparer payload field를 제공하지 않는가.
- request-local sequence, 최대 4개 cause와 sanitized evidence validation이 immutable contract로 고정됐는가.
- sink failure가 runtime correctness를 바꾸지 않는 best-effort 경계인가.

## 검증 결과

- `command -v go && readlink -f "$(command -v go)" && go version && go env GOROOT`
- `go test -count=1 ./packages/go/streamgate`
- `go test -race -count=1 ./packages/go/streamgate`
- `git diff --check`

_실제 출력:_

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

$ go test -count=1 ./packages/go/streamgate
ok  	iop/packages/go/streamgate	0.868s

$ go test -race -count=1 ./packages/go/streamgate
ok  	iop/packages/go/streamgate	1.947s

$ git diff --check
(출력 없음, exit=0)
```

보조 확인:

```
$ go build ./packages/go/streamgate/...
BUILD_OK

$ go vet ./packages/go/streamgate/...
VET_OK

$ gofmt -l packages/go/streamgate/
(출력 없음)
```

신규 테스트 목록 (`filter_observation_test.go`):

- `TestObservationSequencer_MonotonicSequence` — 1부터 gap/중복 없이 증가
- `TestObservationSequencer_ConcurrentEmitIsRaceFreeAndUnique` — 20 goroutine × 25회 동시 emit, 500개 sequence 유일성/연속성 (`-race`로 통과)
- `TestFilterObservation_SequenceMustBePositive` — sequence 0 거부
- `TestObservationSequencer_SinkFailureIsolation` — sink error가 Emit 반환값으로 새지 않고 sequence 진행도 막지 않으며 onError hook에만 전달
- `TestObservationSequencer_NilSinkDefaultsToNoop` — nil sink no-panic
- `TestObservationSequencer_ConstructionErrorIsNotSwallowed` — input validation 실패는 error로 반환하고 sink 미전달
- `TestFilterObservation_CauseChainAtMaxIsAccepted` / `TestFilterObservation_CauseChainOverMaxIsRejected` — 최대 4 cause 경계
- `TestFilterObservationStructIsRawFree` — envelope/nested type field 이름 raw-free 구조 가드
- `TestFilterObservation_EvidenceIsConsumerProvidedSanitizedOnly` — sanitized evidence만 허용 + defensive copy
- `TestFilterObservation_KindSpecificRequiredFields` — kind별 필수 field 13 케이스
- `TestObservationRecoveryInfo_SharedAttemptCoupledToResumeMode` — resume mode와 shared attempt id 결합
- `TestObservationDecisionPolicy_DecisionKindCoupledToOutcome` — evaluated일 때만 decision kind 허용
- `TestFilterObservation_AccessorsReturnDefensiveCopies` — accessor defensive copy
- `TestFilterObservation_EpochIDZeroMeansUnbound` — epoch unbound 표현
- `TestFilterObservation_UnknownKindIsRejected` — closed kind set

---

> **[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: Fail
  - code quality: Pass
  - implementation deviation: Fail
  - verification trust: Pass
- 발견된 문제:
  - Required — `packages/go/streamgate/filter_observation.go:406`: `arbitration_decided`가 실제 `ArbitrationAction`과 base disposition을 담는 필드 없이도 유효하다. 현재 계약으로는 release/hold/terminal/recover/replacement 결정을 구분할 수 없으므로, raw-free immutable arbitration summary를 추가하고 `arbitration_decided`에 필수로 묶은 뒤 다섯 action과 누락/unknown 경계를 테스트한다.
  - Required — `packages/go/streamgate/filter_observation.go:225`: `failureDisposition`을 derived 값이라고 설명하면서도 호출자 입력을 enum 검사만 해 `not_applicable + blocking_fatal`, `evaluated pass + observe_error` 같은 모순을 허용한다. `NewEpochFilterOutcome`의 canonical truth table로 값을 내부 파생하거나 정확히 대조하고 전체 outcome/decision/enforcement 조합 회귀를 추가한다.
  - Required — `packages/go/streamgate/filter_observation.go:504`: kind별 epoch/commit-state 불변식이 없다. `filter_evaluated`의 epoch 0, `terminal_committed`의 non-terminal commit state, `release_committed`의 uncommitted state가 모두 생성될 수 있으므로 lifecycle별 허용 상태를 검증하고 정상/불가능 조합 테스트를 추가한다.
  - Required — `packages/go/streamgate/filter_observation.go:16`: SDD와 Milestone 검증이 요구하는 병렬 filter 시작/완료 중 완료(`filter_evaluated`)만 표현되고 시작 event가 closed kind set에 없다. 후속 hook이 계약을 다시 깨지 않고 연결되도록 raw-free `filter_evaluation_started` kind와 필수 attribution/epoch 규칙을 먼저 정의한다.
  - Suggested — `packages/go/streamgate/filter_observation_test.go:322`: raw-free 구조 회귀 테스트가 “every nested value type”을 주장하지만 직접 포함된 `SanitizedEvidence`와 `FailureCauseChain`을 검사하지 않는다. 재귀 순회 또는 명시 allowlist로 실제 carrier graph를 검증한다.
- 다음 단계: `plan` 스킬로 위 Required/Suggested를 반영한 후속 pair를 독립 재라우팅해 구현·검증한다.
