<!-- task=m-remote-run-lifecycle/04+01,02_cancel_status_update 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 user-only decision, user-owned external environment prerequisite, or scope conflict, fill `사용자 리뷰 요청` with evidence and stop with active files in place; code-review decides whether to write `USER_REVIEW.md`.
> Do not ask the user directly, present choices in chat, or call `request_user_input` during implementation; record the needed 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-06
task=m-remote-run-lifecycle/04+01,02_cancel_status_update, plan=0, tag=API

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

> **[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-remote-run-lifecycle/04+01,02_cancel_status_update/`로 이동한다. WARN/FAIL이면 user-review gate를 확인한 뒤 다음 active plan/review 파일 또는 `USER_REVIEW.md`를 작성한다.
4. PASS이고 task group이 `m-remote-run-lifecycle`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## Roadmap Targets

- Milestone: `agent-roadmap/phase/message-based-build-agent/milestones/remote-run-lifecycle.md`
- Task ids:
  - `cancel-status-update`
- Completion mode: check-on-pass

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| [API-1] Cancellable State Transitions | [x] |
| [API-2] HTTP Cancel And Status Endpoints | [x] |
| [API-3] Self-Update Stability Contract | [x] |
| [API-4] Dart Lifecycle Client Helpers | [x] |

## 구현 체크리스트

- [x] `01_run_request_pipeline`과 `02+01_step_log_stream`의 `complete.log`가 존재하는지 확인하고 없으면 구현을 시작하지 않는다.
- [x] running job/execution을 canceled로 전이할 수 있고 terminal state는 변경하지 않는다.
- [x] cancel endpoint는 runner/job/execution id mismatch를 거부하고, 성공 시 job과 execution state를 모두 `canceled`로 맞춘다.
- [x] status endpoint는 runner registry 상태와 현재/마지막 execution 상태를 반환한다.
- [x] self-update endpoint는 active execution 중에는 defer/reject하고, download URL은 HTTPS만 허용한다. 실제 바이너리 교체는 하지 않는다.
- [x] Dart job client가 cancel/status/self-update helper를 제공하고 snake_case/camelCase JSON을 파싱한다.
- [x] Go service와 Dart agent/server smoke 테스트를 갱신한다.
- [x] CODE_REVIEW-*-G??.md의 구현 에이전트 소유 섹션을 실제 구현 내용과 검증 출력으로 채운다. 이 항목이 완료되기 전에는 구현이 완료된 것이 아니다.

## 코드리뷰 전용 체크리스트

> **[REVIEW AGENT ONLY]** 이 체크리스트는 코드리뷰 에이전트만 사용한다.
> 구현 에이전트는 이 섹션을 수정하거나 체크하지 않는다.

- [x] `코드리뷰 결과`에 `PASS`, `WARN`, `FAIL` 중 하나의 판정을 append한다.
- [x] 판정과 `차원별 평가`, Required/Suggested/Nit 분류가 서로 일치한다.
- [x] active `CODE_REVIEW-cloud-G07.md`를 `code_review_cloud_G07_N.log`로 아카이브한다.
- [x] active `PLAN-cloud-G07.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-remote-run-lifecycle/04+01,02_cancel_status_update/`를 `agent-task/archive/YYYY/MM/m-remote-run-lifecycle/04+01,02_cancel_status_update/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [ ] PASS이고 task group이 `m-remote-run-lifecycle`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [ ] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-remote-run-lifecycle/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [x] 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가 사용자 결정으로 완료/PASS 해소되면 `USER_REVIEW.md`를 해소 상태로 갱신하고 `complete.log`를 작성한 뒤 task directory를 archive로 이동한다.

## 계획 대비 변경 사항

- Go `cicdstate.Execution` 구조체에 `RunnerID` 문자열 필드를 추가하고, `Store`에 `SetExecutionRunnerID` 메서드를 추가했습니다. 원본 스키마는 `Execution`에 `RunnerID`가 매핑되지 않아 status 엔드포인트에서 특정 러너의 현재/마지막 실행을 역추적하기 어려웠기 때문입니다. 러너가 작업을 claim할 때 `CreateExecution` 후 바로 `RunnerID`를 매핑하도록 구현했습니다.
- Dart `OtoServerJobClient`에 HTTP GET 요청을 보내는 `_getJson` 헬퍼 메서드를 추가하여 status 엔드포인트를 호출할 수 있도록 했습니다.

## 주요 설계 결정

- `Store`에 `CancelJobExecution` 메서드를 추가하여 트랜잭션 단위로 작업과 실행 상태를 동시에 `canceled`로 안전하게 전이하며, 이미 terminal state인 경우 에러를 반환해 거부하도록 설계했습니다.
- status 엔드포인트는 `Store.SnapshotExecutions()`를 스캔해 해당 러너가 수행한 실행 기록 중 생성 시각이 가장 최근인 것을 찾아서 현재/마지막 실행 상태로 노출시킵니다.

## 사용자 리뷰 요청

_기본값은 `없음`이다. 구현 중 사용자 결정, 사용자 소유 외부 환경/secret/서비스 준비, 또는 계획 범위 변경 없이는 안전하게 진행할 수 없으면 아래 항목을 실제 내용으로 교체하고, 구현을 중단한 뒤 active 파일을 그대로 둔 채 리뷰를 요청한다._

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

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

- predecessor `01`, `02`의 완료 산출물 없이는 구현이 진행되지 않았는지 확인한다.
- running -> canceled 전이는 허용하되 terminal state 변경은 막는지 확인한다.
- self-update endpoint가 실제 바이너리 교체를 수행하지 않고 최소 안정성 규칙만 정의하는지 확인한다.
- Dart smoke가 실제 server endpoint와 같은 JSON 계약을 검증하는지 확인한다.

## 검증 결과

### API-1 중간 검증
```bash
$ go test ./internal/cicdstate
=== RUN   TestStoreCreatesJobAndExecution
--- PASS: TestStoreCreatesJobAndExecution (0.00s)
=== RUN   TestStoreCreatesJobWithRunInputCopy
--- PASS: TestStoreCreatesJobWithRunInputCopy (0.00s)
=== RUN   TestStoreAppendsLogsAndArtifacts
--- PASS: TestStoreAppendsLogsAndArtifacts (0.00s)
=== RUN   TestStoreRejectsUnknownExecution
--- PASS: TestStoreRejectsUnknownExecution (0.00s)
=== RUN   TestStoreJobExecutionNotFound
--- PASS: TestStoreJobExecutionNotFound (0.00s)
=== RUN   TestStoreStateTransitions
--- PASS: TestStoreStateTransitions (0.00s)
=== RUN   TestStoreExecutionStateTransitions
--- PASS: TestStoreExecutionStateTransitions (0.00s)
=== RUN   TestStorePersistedJobTransition
--- PASS: TestStorePersistedJobTransition (0.00s)
=== RUN   TestStorePersistedExecutionTransition
--- PASS: TestStorePersistedExecutionTransition (0.00s)
=== RUN   TestStoreSnapshotReturnsCopies
--- PASS: TestStoreSnapshotReturnsCopies (0.00s)
=== RUN   TestStoreCancelJobExecution
--- PASS: TestStoreCancelJobExecution (0.00s)
PASS
ok      github.com/toki/oto/services/core/internal/cicdstate    0.009s
```

### API-2 중간 검증
```bash
$ go test ./internal/httpserver
=== RUN   TestHandleRunnerCancelExecution
--- PASS: TestHandleRunnerCancelExecution (0.00s)
=== RUN   TestHandleRunnerStatus
--- PASS: TestHandleRunnerStatus (0.00s)
PASS
ok      github.com/toki/oto/services/core/internal/httpserver   0.027s
```

### API-3 중간 검증
```bash
$ go test ./internal/httpserver
=== RUN   TestHandleRunnerSelfUpdate
--- PASS: TestHandleRunnerSelfUpdate (0.00s)
PASS
ok      github.com/toki/oto/services/core/internal/httpserver   0.027s
```

### API-4 중간 검증
```bash
$ dart test test/oto_agent_registration_test.dart test/oto_server_connection_smoke_test.dart
00:11 +44: All tests passed!
```

### 최종 검증
```bash
$ cd services/core && go test ./...
?       github.com/toki/oto/services/core/cmd/oto-core  [no test files]
ok      github.com/toki/oto/services/core/internal/cicdstate    0.009s
ok      github.com/toki/oto/services/core/internal/httpserver   0.027s
ok      github.com/toki/oto/services/core/internal/runnerregistry       (cached)
?       github.com/toki/oto/services/core/oto   [no test files]

$ cd apps/runner && dart analyze
Analyzing runner...
No issues found!

$ cd apps/runner && dart test test/oto_agent_registration_test.dart test/oto_server_connection_smoke_test.dart
00:11 +44: 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.

## Section Ownership

| Section | Owner | Note |
|---------|-------|------|
| Header comment, 개요, 리뷰 에이전트 지시 | Fixed at stub creation | Implementing agent must not modify or execute these |
| Roadmap Targets | Fixed at stub creation from plan | Implementing agent must not modify |
| 구현 항목별 완료 여부 | Implementing agent | Check `[ ]` to `[x]` only |
| 구현 체크리스트 | Implementing agent | Check `[ ]` to `[x]` only |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholder text |
| 사용자 리뷰 요청 | Implementing agent | Keep `상태: 없음` unless user input is required |
| 리뷰어를 위한 체크포인트 | Fixed at stub creation | Review focus |
| 검증 결과 | Implementing agent | Paste actual command output |
| 코드리뷰 결과 | Review agent appends | Not included in stub |

## 코드리뷰 결과

- 종합 판정: FAIL

### 차원별 평가

| 차원 | 평가 | 근거 |
|------|------|------|
| Correctness | Fail | cancel endpoint가 execution의 실제 RunnerID와 path runner를 대조하지 않아 다른 등록 runner가 실행을 취소할 수 있다. |
| Completeness | Fail | 계획의 runner/job/execution mismatch 거부 항목이 runner ownership까지 충족되지 않았다. |
| Test coverage | Fail | cancel 테스트가 body/path mismatch와 terminal rejection만 다루며 cross-runner execution cancel을 검증하지 않는다. |
| API contract | Fail | runner-scoped cancel route의 path runner가 execution owner라는 계약을 보장하지 않는다. |
| Code quality | Pass | 변경 자체는 기존 store/router 구조 안에 들어가며 불필요한 debug 출력은 보이지 않는다. |
| Plan deviation | Pass | 구현 범위는 cancel/status/self-update와 Dart helper 중심으로 유지되었다. |
| Verification trust | Pass | `go test ./...`, `dart analyze`, 지정 Dart smoke, `dart test test/oto_application_test.dart`를 리뷰 중 재실행해 통과를 확인했다. |

### 발견된 문제

- Required: `services/core/internal/httpserver/server.go:1166`의 `normalizeRunnerExecutionRequest()`는 body/path runner id와 runner 등록 여부만 확인하고, 이후 `services/core/internal/httpserver/server.go:1174`에서 읽은 `exec.RunnerID`가 path의 `runnerID`와 같은지 확인하지 않은 채 `services/core/internal/httpserver/server.go:1183`에서 취소를 수행한다. 따라서 `runner-2`가 등록만 되어 있으면 `/api/v1/runners/runner-2/executions/{runner-1-exec}/cancel` 요청으로 runner-1의 실행을 취소할 수 있다. `handleRunnerCancelExecution`에서 `exec.RunnerID != runnerID` 또는 빈 owner를 거부하고, `services/core/internal/httpserver/server_test.go:1185`에 두 runner를 등록한 뒤 다른 runner 소유 execution 취소가 400/403으로 거부되고 job/execution 상태가 running으로 남는 테스트를 추가한다.

### 다음 단계

- FAIL이므로 active PLAN/CODE_REVIEW를 로그로 아카이브하고, user-review gate 없이 runner ownership 검증과 테스트 보강을 위한 후속 `PLAN-cloud-G07.md` / `CODE_REVIEW-cloud-G07.md`를 작성한다.
