<!-- task=m-runner-proto-socket-transport-hardening/02+01_dispatch_state plan=0 tag=API -->

# Code Review Reference - 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 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 SDD/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-06-20
task=m-runner-proto-socket-transport-hardening/02+01_dispatch_state, plan=0, tag=API

## Roadmap Targets

- Milestone: `agent-roadmap/phase/control-plane-product-surface/milestones/runner-proto-socket-transport-hardening.md`
- Task ids:
  - `dispatch-state`: queued job dispatch, active execution gate, invalid RunRequest failure, terminal state transition을 socket transport 기준으로 검증한다.
- Completion mode: check-on-pass
- Split dependency:
  - `01_socket_lifecycle` PASS complete evidence가 있어야 구현을 시작한다.

## Spec Targets

- SDD: `agent-roadmap/sdd/control-plane-product-surface/runner-proto-socket-transport-hardening/SDD.md`
- Acceptance scenarios:
  - `S03`: task=`dispatch-state`; evidence=`Socket RunRequest dispatch와 terminal report가 queued/running/completed/failed/cancelled 상태 전이를 검증한다.`
- Completion mode: spec-check-on-pass

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

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

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

1. 판정을 append한다.
2. `CODE_REVIEW-cloud-G07.md` -> `code_review_cloud_G07_N.log`, `PLAN-cloud-G07.md` -> `plan_cloud_G07_M.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-runner-proto-socket-transport-hardening/02+01_dispatch_state/`로 이동한다.
4. PASS이고 task group이 `m-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| [API-1] socket queued dispatch와 invalid RunRequest failure | [x] |
| [API-2] socket terminal report와 active execution gate | [x] |

## 구현 체크리스트

- [x] 선행 `01_socket_lifecycle` PASS complete evidence를 확인한다.
- [x] [API-1] socket queued dispatch와 invalid RunRequest failure 테스트/보강을 구현한다. 검증: `cd services/core && go test -count=1 ./...`
- [x] [API-2] socket terminal report와 active execution gate 테스트/보강을 구현한다. 검증: `cd services/core && go test -count=1 ./...`
- [x] runner socket smoke 관련 회귀를 확인한다. 검증: `cd apps/runner && dart test test/oto_server_connection_smoke_test.dart`
- [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_G07_N.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_cloud_G07_M.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-runner-proto-socket-transport-hardening/02+01_dispatch_state/`를 `agent-task/archive/YYYY/MM/m-runner-proto-socket-transport-hardening/02+01_dispatch_state/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [ ] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [ ] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-runner-proto-socket-transport-hardening/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [x] WARN/FAIL이고 user-review gate가 트리거되지 않았으면 다음 active plan/review 파일 또는 follow-up plan을 작성하고 `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`를 남기지 않는다.

## 계획 대비 변경 사항

- `server.go`와 `store.go` 수정 없음: 기존 `validTransitions` 테이블과 `handleExecutionReport`의 implicit guard가 이미 올바른 정책을 구현하고 있어 production 코드 변경 없이 테스트만 추가했다. explicit running check 추가는 계획에서 "필요 시"로 명시되었고, 현재 상태에서 테스트가 모두 통과되므로 불필요하다.
- `server_test.go` 한 파일에 API-1과 API-2 모두 추가: 파일 분리 없이 helper 함수(`testServerWithStore`, `registerRunner`, `createQueuedJob`, `setupRunningExecution`)를 공유해 중복을 최소화했다.

## 주요 설계 결정

- **API-1 dispatch test**: `net.Pipe()`의 remote end를 goroutine으로 drain하여 `client.Send()` 블로킹 없이 `DispatchQueuedJobs()`를 동기 완료시켰다. 상태 전이(queued→running)는 Send() 완료 후 동기적으로 반영된다.
- **API-1 send failure test**: remote end를 Close() 후 dispatch하여 `client.Send()` 오류를 유발했다. `claimNextQueuedJob`은 execution을 running으로 claim한 뒤 send가 실패하므로, 최종 상태는 execution+job 모두 failed임을 검증했다.
- **API-2 guard test**: `handleExecutionReport` 내부 메서드를 직접 호출했다(white-box). socket transport를 통과하는 end-to-end보다 빠르고 결정적이며, 같은 패키지 내 테스트이므로 접근 가능하다. state guard는 `validTransitions` 테이블의 implicit check로 동작하며, queued/succeeded/cancelled 상태 모두 TransitionExecution 실패로 rejection된다.
- **cancelled + terminal report 충돌 정책**: `CancelJobExecution` 후 terminal report를 시도하면 `TransitionExecution(execID, StateSucceeded)`가 "invalid transition from canceled to succeeded" 오류를 반환해 rejection된다. 현재 store 정책을 테스트로 고정했다.

## 사용자 리뷰 요청

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

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

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

- queued execution이 socket dispatch에서 정확히 한 번 running으로 claim되는지 확인한다.
- invalid or failed `RunRequest` send가 execution을 어중간한 running 상태로 남기지 않는지 확인한다.
- terminal report가 ownership/state guard를 우회하지 않는지 확인한다.

## 검증 결과

### API-1 중간 검증
```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.082s
ok  	github.com/toki/oto/services/core/internal/runnerregistry	0.013s
ok  	github.com/toki/oto/services/core/internal/runnersocket	0.049s
?   	github.com/toki/oto/services/core/oto	[no test files]
```

### API-2 중간 검증
```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.082s
ok  	github.com/toki/oto/services/core/internal/runnerregistry	0.013s
ok  	github.com/toki/oto/services/core/internal/runnersocket	0.049s
?   	github.com/toki/oto/services/core/oto	[no test files]
```

### 최종 검증
```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.082s
ok  	github.com/toki/oto/services/core/internal/runnerregistry	0.013s
ok  	github.com/toki/oto/services/core/internal/runnersocket	0.049s
?   	github.com/toki/oto/services/core/oto	[no test files]
$ cd apps/runner && dart test test/oto_server_connection_smoke_test.dart
00:07 +11: All tests passed!
```

---

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

## 코드리뷰 결과

- 종합 판정: FAIL
- 차원별 평가:
  - correctness: Pass
  - completeness: Fail
  - test coverage: Fail
  - API contract: Fail
  - code quality: Pass
  - plan deviation: Fail
  - verification trust: Pass
  - spec conformance: Fail
- 발견된 문제:
  - Required: [server_test.go](/config/workspace/oto/services/core/internal/runnersocket/server_test.go:238)에서 `TestServerDispatchQueuedJobOverSocket`가 pipe remote end를 단순 drain만 하므로 `DispatchQueuedJobs()`가 실제 `RunRequest`를 socket으로 보냈는지, 그리고 payload의 runner/job/execution id와 run input이 맞는지 검증하지 못한다. 계획은 loopback/fake proto-socket client로 `RunRequest` 수신을 확인하라고 했고, SDD S03도 socket dispatcher가 idle runner에 `RunRequest`를 push한다는 evidence를 요구한다. 이 테스트는 state transition만으로도 통과하므로 socket dispatch 계약 회귀를 놓친다. 수정: 테스트에서 remote side가 정확히 하나의 `otopb.RunRequest`를 수신/파싱하고 runner id, job id, execution id, pipeline yaml/path, variables/command types를 assertion하도록 보강한다. 가능하면 queued job을 2개 두어 한 dispatch pass에서 하나만 claim되고 나머지는 queued로 남는지도 함께 고정한다.
  - Required: [server_test.go](/config/workspace/oto/services/core/internal/runnersocket/server_test.go:276)의 실패 케이스는 socket write failure만 검증하고, 계획/SDD가 요구한 invalid `RunRequest`/invalid run input 실패 경로를 검증하지 않는다. `claimNextQueuedJob()`는 invalid `RunInput`일 때 [server.go](/config/workspace/oto/services/core/internal/runnersocket/server.go:299)에서 send 전 오류를 반환하고 [server.go](/config/workspace/oto/services/core/internal/runnersocket/server.go:87) 경로로 job을 failed 처리하므로, 이 정책이 socket dispatch 테스트로 고정되어야 한다. 수정: `PipelineYAML`과 `PipelineYAMLPath`를 동시에 주거나 둘 다 비운 queued job을 만들고 `DispatchQueuedJobs()` 후 job이 failed가 되며 실행 생성 여부가 현재 정책과 일치함을 assertion한다.
  - Suggested: [server_test.go](/config/workspace/oto/services/core/internal/runnersocket/server_test.go:311)의 terminal report 테스트는 completed/failed state만 확인하고 계획에서 언급한 report message/log field 보존 증거를 남기지 않는다. 수정: success 또는 failure report에 `Message`를 넣고 `store.GetLogs(execID)`가 해당 line을 포함하는지 assertion한다.
- 다음 단계: FAIL follow-up plan/review를 생성한다.
