<!-- task=m-provider-resource-admission-ownership-alignment/02+01_lease_lifecycle plan=1 tag=REVIEW_REFACTOR -->

# Code Review Reference - REVIEW_REFACTOR

> **[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/02+01_lease_lifecycle, plan=1, tag=REVIEW_REFACTOR

## Roadmap Targets

- Milestone: `agent-roadmap/phase/operational-observability-provider-management/milestones/provider-resource-admission-ownership-alignment.md`
- Milestone link: [Milestone 문서](agent-roadmap/phase/operational-observability-provider-management/milestones/provider-resource-admission-ownership-alignment.md)
- Task ids:
  - `lease-lifecycle`: 고유 provider lease와 exactly-once terminal 반환
- Completion mode: check-on-pass

## Archive Evidence Snapshot

- Prior task: `agent-task/m-provider-resource-admission-ownership-alignment/02+01_lease_lifecycle`
- Archived plan: `agent-task/m-provider-resource-admission-ownership-alignment/02+01_lease_lifecycle/plan_cloud_G07_0.log`
- Archived review: `agent-task/m-provider-resource-admission-ownership-alignment/02+01_lease_lifecycle/code_review_cloud_G07_0.log`
- Verdict: `FAIL`
- Required:
  - `apps/edge/internal/service/queue_reservation_test.go:232`의 32-goroutine release race에 `releaseNode`가 없고, `apps/edge/internal/transport/integration_test.go:685`는 callback 순서만 검증해 node disconnect와 terminal/send/Close 경쟁 시 일반·long lease/counter exactly-once evidence가 없다.
- Suggested: 없음
- Nit: 없음
- Affected files:
  - `apps/edge/internal/service/queue_reservation_test.go`
  - 테스트가 결함을 재현할 때만 `apps/edge/internal/service/model_queue_release.go`
- Verification evidence:
  - `gofmt -d ... && git diff --check`: PASS, 출력 없음.
  - `GOCACHE=/tmp/iop-go-cache go test -count=1 ./apps/edge/...`: PASS.
  - 기존 REFACTOR-1/REFACTOR-2/final targeted `-race -count=1`: PASS.
  - `GOCACHE=/tmp/iop-go-cache go test -race -count=1 ./apps/edge/internal/service ./apps/edge/internal/transport ./apps/edge/internal/bootstrap`: PASS.
- Roadmap carryover: `lease-lifecycle`은 SDD S02의 node-disconnect race evidence가 추가된 뒤에만 PASS 후보다.
- Narrow reread allowed: 위 archived plan/review 두 파일만 필요 시 읽는다. `agent-task/archive/**`를 탐색하지 않는다.

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

> **[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/02+01_lease_lifecycle/`로 이동한다. 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-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| [REVIEW_REFACTOR-1] Node disconnect와 terminal release 경쟁 회귀 | [x] |

## 구현 체크리스트

- [x] 일반·long provider lease에서 current-owner node disconnect와 run/tunnel/send release를 같은 barrier로 경쟁시키고, counter·lease·run index 정리와 stale release의 새 lease 격리를 검증한다. 테스트가 실패할 때만 release 구현을 최소 수정한다.
- [x] focused `-race -count=10`, lifecycle regression race, fresh Edge 전체 테스트를 실행한다.
- [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_{review_lane}_GNN_N.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_{build_lane}_GNN_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/{task_name}/`를 `agent-task/archive/YYYY/MM/{task_name}/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [x] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [x] PASS split 작업이면 이동 후 빈 active parent `agent-task/{task_group}/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [ ] WARN/FAIL이고 user-review gate가 트리거되지 않았으면 다음 active `PLAN-{build_lane}-GNN.md`와 `CODE_REVIEW-{review_lane}-GNN.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로 이동한다.

## 계획 대비 변경 사항

- `model_queue_release.go` 수정 없음. 테스트가 현재 구현의 결함을 재현하지 않았다. `releaseNode`가 `dropLeasesForNodeLocked`로 lease를 삭제한 뒤 resource counters를 0으로 초기화하므로, 같은 barrier에서 `releaseLease`/`releaseRun`이 호출되면 lease가 이미 absent하여 no-op이 된다. 이는 SDD S02가 요구하는 exactly-once 동작과 일치한다.
- `leaseDisconnectFixture` 헬퍼를 새로 추가했다. 기존 `leaseRaceFixture`가 단일 node만 다루므로, disconnect가 다른 node의 lease에 영향을 주지 않는지를 검증하려면 두 node가 필요하다.
- 테스트 이름은 `TestProviderLeaseNodeDisconnectRaceExactlyOnce`로 고정했다 (PLAN 일치).

## 주요 설계 결정

- barrier racer을 32개로 설정했다. 기존 `TestProviderLeaseConcurrentReleaseExactlyOnce`와 동일한 강도이며, `-race -count=10`에서 0 failure로 안정 통과한다.
- racer을 `releaseNode`/`releaseRun`/`releaseLease` 3-way로 분배했다 (PLAN의 `switch i % 3`). 기존 test가 4-way였던 것은 send-error/tunnel-END/complete/cancel였으나, 이번 테스트의 핵심은 node disconnect가 다른 terminal cause와 경쟁하는 것이므로 3-way로 축소한다.
- re-admission 후 old identity late release를 검증하는 부분을 추가했다. PLAN의 "stale release가 새 lease를 감소시키지 않는 evidence" 요구를 직접 충족한다.

## 사용자 리뷰 요청

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

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

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

- node disconnect와 run/tunnel/send release가 같은 old lease identity를 경쟁해도 disconnected resource와 run index가 한 번만 정리되는지 확인한다.
- 일반·long case 모두 다른 resource control lease와 disconnect 뒤 재-admission lease가 stale old release에 영향받지 않는지 확인한다.
- production source 변경이 있다면 새 race test가 실제로 재현한 최소 결함만 수정했는지 확인한다.

## 검증 결과

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

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

### REVIEW_REFACTOR-1 중간 검증

```text
$ GOCACHE=/tmp/iop-go-cache go test -race -count=10 ./apps/edge/internal/service -run '^TestProviderLease(NodeDisconnectRaceExactlyOnce|ConcurrentReleaseExactlyOnce|TrackAndSendFailureRace)$'
ok  \tiop/apps/edge/internal/service\t1.078s
```

### 최종 검증

```text
$ gofmt -d apps/edge/internal/service/queue_reservation_test.go apps/edge/internal/service/model_queue_release.go
(output)
$ git diff --check
(output)
$ GOCACHE=/tmp/iop-go-cache go test -race -count=10 ./apps/edge/internal/service -run '^TestProviderLease(NodeDisconnectRaceExactlyOnce|ConcurrentReleaseExactlyOnce|TrackAndSendFailureRace)$'
ok  \tiop/apps/edge/internal/service\t1.078s
$ GOCACHE=/tmp/iop-go-cache go test -race -count=1 ./apps/edge/internal/service ./apps/edge/internal/transport ./apps/edge/internal/bootstrap -run 'Test(ProviderLease|RunTerminal|CurrentOwnerDisconnect|StaleDisconnect|ProviderTunnelRelease|RuntimeWiresTransportHandlers)'
ok  \tiop/apps/edge/internal/service\t1.115s
ok  \tiop/apps/edge/internal/transport\t1.327s
ok  \tiop/apps/edge/internal/bootstrap\t1.159s
$ GOCACHE=/tmp/iop-go-cache go test -count=1 ./apps/edge/...
ok  \tiop/apps/edge/cmd/edge\t0.332s
ok  \tiop/apps/edge/internal/bootstrap\t0.583s
ok  \tiop/apps/edge/internal/configrefresh\t0.157s
ok  \tiop/apps/edge/internal/controlplane\t4.749s
ok  \tiop/apps/edge/internal/edgecmd\t0.259s
ok  \tiop/apps/edge/internal/edgevalidate\t0.197s
ok  \tiop/apps/edge/internal/events\t0.040s
ok  \tiop/apps/edge/internal/input\t0.007s
ok  \tiop/apps/edge/internal/input/a2a\t0.015s
ok  \tiop/apps/edge/internal/node\t0.023s
ok  \tiop/apps/edge/internal/openai\t7.208s
ok  \tiop/apps/edge/internal/opsconsole\t0.010s
ok  \tiop/apps/edge/internal/service\t2.989s
ok  \tiop/apps/edge/internal/transport\t2.335s
```

---

> **[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, 개요, Roadmap Targets, Archive Evidence Snapshot, 리뷰 지시 | Fixed | 구현 에이전트는 수정하거나 실행하지 않는다. |
| 구현 항목별 완료 여부 | Implementing agent | 항목명은 고정하고 `[ ]`만 `[x]`로 바꾼다. |
| 구현 체크리스트 | Implementing agent | 문구/순서는 고정하고 체크만 한다. |
| 코드리뷰 전용 체크리스트 | Review agent | 구현 에이전트는 수정하거나 체크하지 않는다. |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | 실제 내용을 기록한다. |
| 사용자 리뷰 요청 | Implementing agent | Milestone lock 결정 차단일 때만 채운다. |
| 리뷰어를 위한 체크포인트 | Fixed | 구현 에이전트는 수정하지 않는다. |
| 검증 결과 | Implementing agent | 명령은 고정하고 실제 출력만 채운다. |

## 코드리뷰 결과

- 종합 판정: PASS
- 차원별 평가:
  - Correctness: Pass
  - Completeness: Pass
  - Test coverage: Pass
  - API contract: Pass
  - Code quality: Pass
  - Implementation deviation: Pass
  - Verification trust: Pass
  - Spec conformance: Pass
- 발견된 문제: 없음
- 다음 단계: PASS — active plan/review를 로그로 전환하고 `complete.log` 작성 후 월별 task archive로 이동한다.
