<!-- task=m-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config plan=1 tag=REVIEW_PROVIDER_POLICY_CONFIG -->

# Code Review Reference - REVIEW_PROVIDER_POLICY_CONFIG

> **[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 by a selected Milestone `구현 잠금 > 결정 필요` item, fill `사용자 리뷰 요청` with linked evidence and stop with active files in place; code-review decides whether to write `USER_REVIEW.md`. Environment/secret/service blockers, generic scope changes, repeated failures, and evidence gaps that a follow-up agent can close are normal follow-up issues, not user-review blockers by themselves.
> Do not ask the user directly, present choices in chat, or call `request_user_input` during implementation; record only Milestone lock decisions in `사용자 리뷰 요청` and stop for code-review.
> 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-19
task=m-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config, plan=1, tag=REVIEW_PROVIDER_POLICY_CONFIG

## Archive Evidence Snapshot

- Prior task: `agent-task/m-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config`
- Archived plan: `agent-task/m-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config/plan_local_G06_0.log`
- Archived review: `agent-task/m-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config/code_review_local_G06_0.log`
- Verdict: `FAIL`
- Findings: Required 2, Suggested 0, Nit 1(review에서 수정 완료)
- Required summary:
  - `packages/go/config/load.go:193`에서 canonical negative `max_queue`가 기본값으로 덮여 validation을 우회한다.
  - `packages/go/config/load.go:229`에서 legacy partial pair를 raw 값으로 비교·승격해 timeout-only policy가 `max_queue: 0`이 되고 의미가 같은 pair도 충돌할 수 있다.
- Affected files: `packages/go/config/load.go`, `packages/go/config/provider_catalog_config_test.go`
- Verification evidence: fresh targeted tests, `go test -count=1 ./packages/go/...`, `go test -count=1 ./apps/edge/...`, `edge config check`, `gofmt -d`, `git diff --check`는 PASS했다. 별도 CLI reproduction에서 canonical `max_queue: -1`은 `16`/exit 0, legacy timeout-only는 `max_queue: 0`으로 출력되었다.
- Reviewer repair: `configs/edge.yaml` recommended provider-pool 예시의 legacy queue fields를 제거하고 설명을 정리했다.
- Roadmap carryover: SDD S06 / `queue-ownership`의 schema·compatibility 부분 작업이며 이 subtask PASS만으로 Milestone Task 완료를 주장하지 않는다.
- Allowed narrow reread: 위 archived plan/review 두 파일만 필요할 때 다시 읽을 수 있다.

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-local-G04.md` → `code_review_local_G04_N.log`, `PLAN-local-G04.md` → `plan_local_G04_M.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config/`로 이동한다. WARN/FAIL이면 user-review gate를 확인한 뒤 다음 active plan/review 파일 또는 `USER_REVIEW.md`를 작성한다. `USER_REVIEW.md`가 연결된 Milestone 결정으로 완료/PASS 해소되면 code-review가 `USER_REVIEW.md`를 해소 상태로 갱신하고 `complete.log` 작성 후 archive 이동한다.
4. PASS이고 task group이 `m-provider-resource-admission-ownership-alignment`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| [REVIEW_PROVIDER_POLICY_CONFIG-1] Canonical 음수 validation 순서 수정 | [x] |
| [REVIEW_PROVIDER_POLICY_CONFIG-2] Legacy effective pair normalization | [x] |

## 구현 체크리스트

- [x] canonical `provider_pool.max_queue` 음수를 default 적용 전에 거부하고 zero-only default semantics를 canonical negative regression test로 고정한다.
- [x] legacy promotion 후보를 effective pair로 정규화한 뒤 비교·승격하고 timeout-only/effective-equal regression tests를 추가한다.
- [x] fresh targeted, `packages/go/...`, `apps/edge/...`, config 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_local_G04_N.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G04_M.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-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config/`를 `agent-task/archive/YYYY/MM/m-provider-resource-admission-ownership-alignment/04_provider_pool_policy_config/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [x] PASS이고 task group이 `m-provider-resource-admission-ownership-alignment`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [x] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-provider-resource-admission-ownership-alignment/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [ ] WARN/FAIL이고 user-review gate가 트리거되지 않았으면 다음 active `PLAN-local-G04.md`와 `CODE_REVIEW-local-G04.md`를 작성하고 `complete.log`를 작성하지 않는다.
- [ ] USER_REVIEW이면 `agent-ops/skills/common/code-review/templates/user-review-template.md` 기준으로 `USER_REVIEW.md`를 작성하고 active `PLAN-*.md`, `CODE_REVIEW-*.md`, `complete.log`를 남기지 않는다.
- [ ] USER_REVIEW가 연결된 Milestone 결정으로 완료/PASS 해소되면 `USER_REVIEW.md`를 해소 상태로 갱신하고 `complete.log`를 작성한 뒤 task directory를 archive로 이동한다.

## 계획 대비 변경 사항

계획과 동일하게 구현했다. 추가 변경 사항 없음.

## 주요 설계 결정

- canonical path에서 negative validation을 zero default 적용 전에 배치하여, 음수 입력이 기본값으로 덮여 validation을 우회하는 문제를 해결했다.
- legacy path에서 participating pair의 `max_queue==0`을 `DefaultProviderPoolMaxQueue`로 정규화한 뒤 effective pair 비교·승격을 수행한다. `max_queue>0, timeout==0` 조합은 no-timeout semantics를 보존한다.

## 사용자 리뷰 요청

_기본값은 `없음`이다. 구현 중 새 결정이 필요해 보여도 직접 질문하거나 선택지를 제시하거나 `request_user_input`을 호출하지 않는다. 이 섹션은 선택된 Milestone `구현 잠금 > 결정 필요` 항목이 실구현을 차단할 때만 채운다. 외부 환경/secret/서비스 준비, 검증 증거 공백, 반복 실패, 일반 범위 조정은 사용자 리뷰 요청이 아니며 `검증 결과`, `계획 대비 변경 사항`, 또는 code-review의 일반 follow-up plan으로 처리한다._

- 상태: 없음
- 사유 유형: 없음
- 연결 대상: 없음
- 결정 필요: 없음
- 차단 근거: 없음
- 실행한 검증/명령: 없음
- 자동 후속 불가 이유: 없음
- 재개 조건: 없음

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

- canonical negative values가 default 적용보다 먼저 거부되고 `max_queue: 0`만 기본값으로 정규화되는지 확인한다.
- legacy candidate 참여 판정과 effective pair normalization 순서가 timeout-only/default/no-timeout 의미를 모두 보존하는지 확인한다.
- raw 표현이 다른 effective-equal legacy pair가 충돌하지 않고 진짜 다른 effective pair만 거부되는지 확인한다.
- 기존 canonical override, explicit zero timeout, conflict와 refresh 회귀가 유지되는지 확인한다.

## 검증 결과

_구현 에이전트가 각 중간 검증 및 최종 검증 명령 실행 후 출력을 여기에 붙여 넣는다._

필수 규칙:
- 검증 명령은 고정된 계약이다. 임의로 대체하지 않는다.
- 대체가 필요하면 `계획 대비 변경 사항`에 이유와 대체 명령을 기록한다.
- `검증 결과`에는 실제 stdout/stderr를 붙여 넣는다.
- 사용자 리뷰 요청으로 명령을 끝까지 실행하지 못했다면 `사용자 리뷰 요청`에 실행한 명령, 실제 출력, 미실행 명령의 사유를 기록한다.
- mobile/UI hang, timeout, 또는 2분 무진행은 blind retry를 중단하고 focused rerun 명령과 screenshot/window/UI-tree evidence path를 남기며, 불가능하면 정확한 사유를 남긴다.

### REVIEW_PROVIDER_POLICY_CONFIG-1 중간 검증

```text
$ gofmt -d packages/go/config/load.go packages/go/config/provider_catalog_config_test.go
(output)

$ GOCACHE=/tmp/iop-go-cache-provider-policy-followup go test -count=1 ./packages/go/config -run 'TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected'
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/max_queue_negative
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/queue_timeout_ms_negative
--- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/max_queue_negative (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/queue_timeout_ms_negative (0.00s)
PASS
ok  	iop/packages/go/config	0.012s
```

### REVIEW_PROVIDER_POLICY_CONFIG-2 중간 검증

```text
$ gofmt -d packages/go/config/load.go packages/go/config/provider_catalog_config_test.go
(output)

$ GOCACHE=/tmp/iop-go-cache-provider-policy-followup go test -count=1 ./packages/go/config -run 'TestLoadEdge_ProviderPoolPolicy(LegacyPartialFields|LegacyEffectiveEquality)'
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyPartialFields
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/timeout-only_promotes_to_default-max
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/max-only_preserves_no-timeout
--- PASS: TestLoadEdge_ProviderPoolPolicyLegacyPartialFields (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/timeout-only_promotes_to_default-max (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/max-only_preserves_no-timeout (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyEffectiveEquality
--- PASS: TestLoadEdge_ProviderPoolPolicyLegacyEffectiveEquality (0.00s)
PASS
ok  	iop/packages/go/config	0.012s
```

### 최종 검증

```text
$ gofmt -d packages/go/config/load.go packages/go/config/provider_catalog_config_test.go
(no output)

$ git diff --check
(no output)

$ GOCACHE=/tmp/iop-go-cache-provider-policy-followup go test -count=1 ./packages/go/config -run 'TestLoadEdge_ProviderPoolPolicy'
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonical
--- PASS: TestLoadEdge_ProviderPoolPolicyCanonical (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalMaxZeroDefaults
--- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalMaxZeroDefaults (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalExplicitZeroTimeout
--- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalExplicitZeroTimeout (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyIdenticalPromotion
--- PASS: TestLoadEdge_ProviderPoolPolicyLegacyIdenticalPromotion (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyConflict
--- PASS: TestLoadEdge_ProviderPoolPolicyLegacyConflict (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyOrderIndependentConflict
--- PASS: TestLoadEdge_ProviderPoolPolicyOrderIndependentConflict (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyDefaults
--- PASS: TestLoadEdge_ProviderPoolPolicyDefaults (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalOverridesLegacy
--- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalOverridesLegacy (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/max_queue_negative
=== RUN   TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/queue_timeout_ms_negative
--- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/max_queue_negative (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyCanonicalNegativeRejected/queue_timeout_ms_negative (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyPartialFields
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/timeout-only_promotes_to_default-max
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/max-only_preserves_no-timeout
--- PASS: TestLoadEdge_ProviderPoolPolicyLegacyPartialFields (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/timeout-only_promotes_to_default-max (0.00s)
    --- PASS: TestLoadEdge_ProviderPoolPolicyLegacyPartialFields/max-only_preserves_no-timeout (0.00s)
=== RUN   TestLoadEdge_ProviderPoolPolicyLegacyEffectiveEquality
--- PASS: TestLoadEdge_ProviderPoolPolicyLegacyEffectiveEquality (0.00s)
PASS
ok  	iop/packages/go/config	0.012s

$ GOCACHE=/tmp/iop-go-cache-provider-policy-followup go test -count=1 ./packages/go/...
ok  	iop/packages/go/audit	0.006s
?    	iop/packages/go/auth	[no test files]
ok  	iop/packages/go/config	0.348s
?    	iop/packages/go/events	[no test files]
ok  	iop/packages/go/hostsetup	0.008s
?    	iop/packages/go/jobs	[no test files]
?    	iop/packages/go/metadata	[no test files]
ok  	iop/packages/go/observability	0.107s
?    	iop/packages/go/policy	[no test files]
?    	iop/packages/go/version	[no test files]

$ GOCACHE=/tmp/iop-go-cache-provider-policy-followup go test -count=1 ./apps/edge/...
ok  	iop/apps/edge/cmd/edge	0.106s
ok  	iop/apps/edge/internal/bootstrap	0.448s
ok  	iop/apps/edge/internal/configrefresh	0.047s
ok  	iop/apps/edge/internal/controlplane	4.508s
ok  	iop/apps/edge/internal/edgecmd	0.048s
ok  	iop/apps/edge/internal/edgevalidate	0.013s
ok  	iop/apps/edge/internal/events	0.013s
ok  	iop/apps/edge/internal/input	0.028s
ok  	iop/apps/edge/internal/input/a2a	0.009s
ok  	iop/apps/edge/internal/node	0.013s
ok  	iop/apps/edge/internal/openai	7.084s
ok  	iop/apps/edge/internal/opsconsole	0.011s
ok  	iop/apps/edge/internal/service	2.948s
ok  	iop/apps/edge/internal/transport	2.318s

$ GOCACHE=/tmp/iop-go-cache-provider-policy-followup go run ./apps/edge/cmd/edge --config configs/edge.yaml config check
OK configs/edge.yaml
```

---

> **[IMPLEMENTING AGENT — BEFORE SAVING] Have you filled in every implementation-owned section: completion table, implementation checklist, changes from plan, design decisions, and verification output?**
> 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; final checkbox is mandatory before saving |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify or check this section |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholder text with actual content |
| 사용자 리뷰 요청 | Implementing agent | Keep `상태: 없음` unless a selected Milestone `구현 잠금 > 결정 필요` item blocks implementation; do not ask the user directly during implementation; environment/secret/service blockers, generic scope changes, and evidence gaps are not user-review requests |
| 리뷰어를 위한 체크포인트 | 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
- 차원별 평가:
  - correctness: Pass
  - completeness: Pass
  - test coverage: Pass
  - API contract: Pass
  - code quality: Pass
  - implementation deviation: Pass
  - verification trust: Pass
  - spec conformance: Pass
- 발견된 문제:
  - Nit (reviewer-fixed) — `packages/go/config/edge_types.go:1`: default 상수 설명이 package 주석 위치에 있던 것을 상수 선언 바로 위로 옮겼다.
  - Nit (reviewer-fixed) — `packages/go/config/load.go:182`: legacy migration 주석의 missing-value/error 및 `max_queue: 0` 의미를 실제 default normalization과 일치시켰고 사용하지 않는 loop index를 제거했다.
  - Nit (reviewer-fixed) — `apps/edge/internal/configrefresh/classify.go:82`: 더 이상 diff에 사용하지 않는 `providerKey`의 legacy queue 필드와 복사 코드를 제거했다.
- 검증 신뢰 메모:
  - 현재 shared worktree의 `go test -count=1 ./apps/edge/...`는 동시 진행 중인 `07+03_snapshot_source` 변경(`model_queue_snapshot.go`, `status_provider_test.go`)의 서비스 테스트 2건에서 실패했다.
  - HEAD `e4966b0` 격리 worktree에 이 작업의 8개 변경 파일만 적용한 fresh 검증에서는 targeted config, `packages/go/...`, `apps/edge/...`, 실제 `edge config check`가 모두 PASS해 이번 작업의 검증 신뢰를 분리 확인했다.
- 다음 단계: PASS 종결로 `complete.log`를 작성하고 task directory를 월별 archive로 이동한다.
