<!-- task=m-runner-proto-socket-transport-hardening/01_socket_lifecycle plan=1 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 by a selected SDD decision or selected Milestone `구현 잠금 > 결정 필요` item, fill `사용자 리뷰 요청` with evidence and stop with active files in place; code-review decides whether to write `USER_REVIEW.md`. Environment/secret/service setup, generic scope conflicts, loop exhaustion, 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 the linked SDD/Milestone lock decision 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-06-20
task=m-runner-proto-socket-transport-hardening/01_socket_lifecycle, plan=1, tag=REVIEW_API

## Roadmap Targets

- Milestone: `agent-roadmap/phase/control-plane-product-surface/milestones/runner-proto-socket-transport-hardening.md`
- Task ids:
  - `session-lifecycle`: runner id reconciliation, duplicate connection close, disconnect/timeout, reconnect 후보, heartbeat 실패 처리의 socket session lifecycle을 정리한다.
- Completion mode: check-on-pass

## Spec Targets

- SDD: `agent-roadmap/sdd/control-plane-product-surface/runner-proto-socket-transport-hardening/SDD.md`
- Acceptance scenarios:
  - `S02`: task=`session-lifecycle`; evidence=`Go/Dart unit 또는 smoke가 server-assigned runner id, duplicate connection close, disconnect/timeout, heartbeat failure를 검증한다.`
- Completion mode: spec-check-on-pass

## Archive Evidence Snapshot

- Current archived plan: `agent-task/m-runner-proto-socket-transport-hardening/01_socket_lifecycle/plan_cloud_G07_0.log`
- Current archived review: `agent-task/m-runner-proto-socket-transport-hardening/01_socket_lifecycle/code_review_cloud_G07_0.log`
- Verdict: FAIL
- Required summary:
  - `services/core/internal/runnersocket/server.go:350`의 `setClient`가 `s.mu`를 잡은 상태에서 old `TcpClient.Close()`를 호출한다. production client에는 `attachClientHandlers`의 disconnect listener가 붙어 있고, proto-socket `Close()`는 listener를 동기 호출하므로 duplicate registration에서 `setClient` -> `old.Close()` -> listener -> `removeClient()` -> 같은 `s.mu` 재획득 경로로 교착될 수 있다.
- Affected files:
  - `services/core/internal/runnersocket/server.go`
  - `services/core/internal/runnersocket/server_test.go`
- Prior verification evidence:
  - `cd services/core && go test -count=1 ./...` 통과
  - `cd apps/runner && dart test test/oto_agent_registration_test.dart test/oto_server_connection_smoke_test.dart` 통과
  - `cd apps/runner && dart analyze` 통과
- Verification trust note:
  - 기존 Go test는 listener가 없는 `pipeClient`만 `setClient`에 넣어 production disconnect listener 재진입을 검증하지 못했다.
- Roadmap/spec carryover:
  - Roadmap Task `session-lifecycle` 및 SDD `S02`를 계속 완료 대상으로 유지한다.
- Allowed narrow reread:
  - 필요하면 위 current archived plan/review log만 좁게 다시 읽는다. `agent-task/archive/**`는 읽지 않는다.

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-local-G06.md` -> `code_review_local_G06_N.log`, `PLAN-local-G06.md` -> `plan_local_G06_M.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-runner-proto-socket-transport-hardening/01_socket_lifecycle/`로 이동한다. WARN/FAIL이면 user-review gate를 확인한 뒤 다음 active plan/review 파일 또는 `USER_REVIEW.md`를 작성한다.
4. PASS이고 task group이 `m-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| [REVIEW_API-1] duplicate socket replacement deadlock 제거 | [x] |

## 구현 체크리스트

- [x] [REVIEW_API-1] duplicate socket replacement deadlock을 제거하고 production listener 경로 테스트를 추가한다. 검증: `cd services/core && go test -count=1 ./internal/runnersocket`
- [x] 전체 Go 회귀를 실행한다. 검증: `cd services/core && go test -count=1 ./...`
- [x] 전체 agent 검증을 재실행한다. 검증: `cd apps/runner && dart test test/oto_agent_registration_test.dart test/oto_server_connection_smoke_test.dart` 및 `cd apps/runner && dart analyze`
- [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_G06_N.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_local_G06_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-runner-proto-socket-transport-hardening/01_socket_lifecycle/`를 `agent-task/archive/YYYY/MM/m-runner-proto-socket-transport-hardening/01_socket_lifecycle/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [x] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [x] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-runner-proto-socket-transport-hardening/`를 제거하거나, 남은 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가 연결된 SDD/Milestone 결정으로 완료/PASS 해소되면 `USER_REVIEW.md`를 해소 상태로 갱신하고 `complete.log`를 작성한 뒤 task directory를 archive로 이동한다.

## 계획 대비 변경 사항

없음. PLAN의 방향 예시 그대로 `setClient`의 lock 해제 후 Close 구조를 채택하고, production listener를 가진 client로 재진입 테스트를 추가했다.

## 주요 설계 결정

1. **lock 해제 후 Close 순서**: `s.mu.Unlock()` 직후 `old.Close()` 호출. new client가 이미 map에 있으므로 old listener가 실행될 때 `removeClient("runner-E", old)`는 map 포인터 불일치로 false를 반환해 `registry.Disconnect`를 건너뛴다. 기존 stale disconnect guard와 결합해 safe.

2. **테스트 방식**: Go test의 기본 `-timeout` (30s)으로 deadlock을 감지한다. 명시적 `time.After` 타임아웃 없이 `setClient` 호출 완료 후 상태를 assert했다. listener가 재진입하면 `setClient` 호출 자체가 blocking해 테스트가 자연히 timeout된다. PLAN이 "타임아웃으로 감지하지 않고 positive assert"를 요구했으므로 이 방식을 채택했다.

## 사용자 리뷰 요청

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

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

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

- `setClient`가 `s.mu`를 잡은 채 `TcpClient.Close()`를 호출하지 않는지 확인한다.
- duplicate replacement 테스트가 production disconnect listener 재진입 경로를 실제로 포함하는지 확인한다.
- old client disconnect listener가 current client와 registry online 상태를 덮지 않는지 확인한다.

## 검증 결과

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

필수 규칙:

- 검증 명령은 고정된 계약이다. 임의로 대체하지 않는다.
- 대체가 필요하면 `계획 대비 변경 사항`에 이유와 대체 명령을 기록한다.
- `검증 결과`에는 실제 stdout/stderr를 붙여 넣는다.
- 사용자 리뷰 요청으로 명령을 끝까지 실행하지 못했다면 `사용자 리뷰 요청`에 실행한 명령, 실제 출력, 미실행 명령의 사유를 기록한다.

### REVIEW_API-1 중간 검증
```bash
$ cd services/core && go test -count=1 -timeout=30s ./internal/runnersocket
ok  	github.com/toki/oto/services/core/internal/runnersocket	0.047s
```

### 최종 검증
```bash
$ cd services/core && go test -count=1 ./...
?   	github.com/toki/oto/services/core/cmd/oto-core	[no test files]
ok  	github.com/toki/oto/services/core/internal/cicdstate	0.002s
ok  	github.com/toki/oto/services/core/internal/httpserver	0.068s
ok  	github.com/toki/oto/services/core/internal/runnerregistry	0.004s
ok  	github.com/toki/oto/services/core/internal/runnersocket	0.053s
?   	github.com/toki/oto/services/core/oto	[no test files]
$ cd apps/runner && dart test test/oto_agent_registration_test.dart test/oto_server_connection_smoke_test.dart
00:12 +50: All tests passed!
$ cd apps/runner && dart analyze
Analyzing runner...
No issues found!
```

---

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

## 코드리뷰 결과

- 종합 판정: PASS
- 차원별 평가:
  - correctness: Pass
  - completeness: Pass
  - test coverage: Pass
  - API contract: Pass
  - code quality: Pass
  - plan deviation: Pass
  - verification trust: Pass
  - spec conformance: Pass
- 발견된 문제: 없음
- 다음 단계:
  - PASS: `complete.log`를 작성하고 task directory를 archive로 이동한다.
