Hare/yoi
1
1
Fork 0
Code Actions Packages Releases Activity
f340c6badc
yoi/.yoi/tickets/00001KW7726H9/thread.md

24 KiB
Raw Blame History

作成

LocalTicketBackend によって作成されました。

Decision

Runtime Worker creation API から Backend/Orchestrator intent と raw workspace context を外す。

決定:

  • intent は Runtime の authority ではなく Backend-side launch context とする。Workspace Companion / Ticket role / Orchestrator routing / Objective は Backend が Profile 選択、ConfigBundle 選択、ExecutionEnvironment 準備、initial context/tool authority 付与に使う。
  • ConfigBundle 本体は create payload で送らない。Runtime は事前同期済み ConfigBundle store を ref/digest で参照し、create 時に availability / digest / profile compatibility / provider / secret / authority を検証する。
  • working directory / workspace root / tool scope は Runtime create request の raw field にしない。Backend が worktree/cwd/tool authority/project record access/ticket backend access を準備し、Runtime には opaque ExecutionEnvironmentRef を渡す。
  • Ticket / Objective は Runtime Worker identity metadata ではなく、initial context と tool-readable records として Worker に与える。Worker が知るべきなのは対象 Ticket/Objective の内容と使える tools/scope であり、Backend claim id や RuntimeRegistry routing ではない。

Runtime create request の中心は Profile selector、ConfigBundle ref、ExecutionEnvironmentRef、labels/role、execution/acceptance requirement に絞る。

Decision

前回の記述は「API に入れないもの」の列挙に寄りすぎていたため、Ticket 本体を API 設計中心に書き直した。

修正内容:

  • 横文字中心の見出しと説明を減らし、起動手順と作る API の形を前面に出した。
  • ConfigBundle 同期、ExecutionEnvironment 準備、InitialInput 準備、Worker 作成を別 API として整理した。
  • CreateWorkerRequest の具体的なフィールド案を明記した。
  • WorkerWorkspaceRef は Worker 作成 API に入れず、working directory は ExecutionEnvironmentRef として execution backend だけが解決する内部参照にした。
  • Ticket / Objective は Worker identity ではなく、initial input と tool-readable records で渡す形にした。後続 decision で initial input は CreateWorkerRequest に inline する方針へ更新した。

Decision

前回の修正で domain term まで不自然に和訳していたため、Ticket 本体の用語を修正した。

修正方針:

  • ConfigBundle / ExecutionEnvironment / InitialInput / execution backend / tool authority / provider / secret / Browser-facing API などの domain term はそのまま使う。
  • 説明文は日本語にするが、API 名・crate/domain 用語は訳語を作らない。
  • 独自訳は作らず、tool authority に統一する。

Decision

Worker 起動 protocol の整理を更新した。

決定:

  • Browser-facing launch は Workspace Backend への 1 request とする。Browser / Web Console は ConfigBundleRef、ExecutionEnvironmentRef、cwd、tool authority、secret、Runtime endpoint を知らない。
  • Runtime の Worker creation は CreateWorker 1 request / 1 transaction とする。WorkerId を発行するのは CreateWorker だけ。
  • ConfigBundle sync は create 前の冪等な前提準備であり、Worker を作らない。
  • ExecutionEnvironment 準備は Backend / Runtime 内部の前提準備であり、Worker に見せる protocol ではない。未使用参照には lease / TTL / cleanup を持たせる。
  • initial input は CreateWorkerRequest に inline する。PrepareInitialInput / InitialInputRef は作らない。
  • launch_id を CreateWorkerRequest に入れ、retry / duplicate request を安定して扱えるようにする。

Decision

embedded Runtime の authority 境界を踏まえて、ExecutionEnvironmentRef 方針を撤回し、ExecutionBindingRef 方針に更新した。

決定:

  • Runtime は file operation authority / tool authority を持たない。embedded Runtime でも例外にしない。
  • working directory / cwd / tool scope / Ticket backend authority は Runtime create request に入れない。
  • Backend は execution host / tool host 側に execution binding を作る。これは Runtime API ではなく、Browser-facing API にも Worker の conversation context にも出さない。
  • CreateWorkerRequest は ExecutionEnvironmentRef ではなく opaque な ExecutionBindingRef を受け取る。
  • ExecutionBindingRef は Runtime に file access を許可する ref ではなく、Runtime が execution backend に接続するときに渡す handle とする。
  • binding の cwd / tool authority / Ticket backend access の enforcement は execution backend / tool host 側で行う。
  • remote Runtime が binding を使えない場合は、binding の中身を Runtime create request に展開せず、typed error で拒否する。

Decision

InitialInput の表現を protocol Segment に寄せる。

決定:

  • initial input 用の独自 message 型は作らず、CreateWorkerRequest.initial_input は Vec<Segment> とする。
  • System message は作らない。role prompt / system-level instruction は Profile / ConfigBundle 側で解決する。
  • readable record 用の別 field は作らない。Ticket / Objective などの読み直し可能な参照は Segment variant として表す。
  • Ticket / Objective の要約文は Segment::Text、参照は Segment::TicketRef / Segment::ObjectiveRef 相当で表し、通常の user submission と同じ解決経路で扱う。

Decision

未検証の pseudo API field を Ticket 本体から外し、API 確定を実装時の検証事項として委譲する方針に更新した。

決定:

  • この Ticket 本文では CreateWorkerRequest の最終 field を固定しない。
  • API field を定義する場合は、各 field ごとに source / authority / visibility / persistence / retry / validation / existing type / failure を検証する。
  • ConfigBundleRef のような参照を create request に渡す案は、caller が Runtime 内部 config store を把握する必要を生む可能性があるため未採用とする。
  • ConfigBundle の識別方法は、content identity / digest / 既存 store contract を確認して実装時に確定する。
  • initial input は既存 Segment / user submission 表現に寄せる方針だけを残し、独自 pseudo type は置かない。
  • ExecutionBinding も最終型名ではなく、Runtime が file authority を持たず execution backend へ渡す opaque handle が必要、という境界だけを残す。

Decision

authority を未実装の API 概念として扱っていた箇所を修正した。

決定:

  • 現段階で専用システム化されていない authority / capability を Runtime Worker creation API の field として新設しない。
  • Ticket 本体では authority 検証ではなく、既存の source / scope-access / visibility / persistence / retry / validation / existing type / failure を検証する方針にする。
  • Runtime が持たないものは file operation authority ではなく、より具体的に workspace filesystem access / tool execution scope と表現する。
  • file/tool access の制限は、既存の execution backend / tool host / scope 設定の境界を確認して実装時に接続する。

Decision

Worker creation field の検証観点にある persistence の意味を修正した。

決定:

  • 通常 Worker creation で「永続化しない」は選択肢にしない。
  • field 検証の persistence は yes/no ではなく、既存の正規 store の record / projection に何を保存し、restart 後に何を復元・診断するかを確認する persistence/projection とする。
  • raw handle などを保存できない場合でも、対応する durable identity / projection / diagnostic record を持つ。
  • Runtime catalog / transcript / observation / persistence initialization が Worker creation と一貫していることを受け入れ条件に残し、永続化しない通常 Worker 作成経路を禁止する。

Decision

persistence/projection の意味を再修正した。

決定:

  • store は任意選択の対象ではない。
  • Worker creation の保存先は既存の正規 store / projection に従う。主対象は worker-runtime fs-store、transcript store、Runtime catalog など既存 contract で決まるもの。
  • field 検証では store を選ぶのではなく、既存の正規 store のどの record / projection に何を保存し、restart 後に何を復元・診断するかを確認する。

Decision

現在実装に存在する Worker creation / launch 関連 field を調査し、artifacts/api-field-audit.md に記録した。

検証した主な対象:

  • Runtime CreateWorkerRequest の intent / profile / config_bundle / requested_capabilities / workspace_refs / mount_refs。
  • Browser-facing WorkerSpawnRequest の intent / requested_worker_name / acceptance / profile / config_bundle / requested_capabilities。
  • ConfigBundle sync/store/digest の現行 contract。
  • protocol Segment と Runtime WorkerInput / transcript の現行差分。
  • execution backend spawn request と per-worker cwd/scope boundary の不在。
  • worker-runtime fs-store / worker snapshot / transcript persistence と現在の create/spawn 順序。

主な結論:

  • 未検証 field を API 案として固定しない。
  • 現行 Runtime CreateWorkerRequest の intent / requested_capabilities / workspace_refs / mount_refs は canonical Runtime create request には残さない。
  • Browser-facing config_bundle / requested_capabilities は Runtime create にそのまま流さない。
  • ExecutionBindingRef は現行実装に存在しないため、最終 field として固定しない。
  • initial input を Vec<Segment> に寄せる方針は妥当だが、現行 Runtime input/transcript は String なので field だけ先に固定しない。

Intake summary

Marked ready by yoi ticket state.

State changed

Marked ready by yoi ticket state.

State changed

Ticket を workspace-panel が queued にしました。

Decision

Routing decision:

Workspace Dashboard Queue authorized Orchestrator routing. Current state was inspected before implementation side effects.

Findings:

  • Ticket state: queued
  • Blocker relations: none
  • Related Tickets 00001KW55B32Y, 00001KW55B33B, 00001KW55B33H are prior execution-boundary / adapter / Companion work and are closed.
  • Current inprogress Tickets: 0
  • Orchestration worktree: clean

Decision:

  • Accept this Ticket for implementation and transition queued -> inprogress before child worktree / Pod side effects.

Plan:

  • Worktree: /home/hare/Projects/yoi/.worktree/00001KW7726H9-runtime-worker-launch-unification
  • Branch: work/00001KW7726H9-runtime-worker-launch-unification
  • Coder Worker will inspect .yoi/tickets/00001KW7726H9/item.md and artifacts/api-field-audit.md, then implement the canonical Worker launch/creation path using current code as authority.
  • Reviewer Worker will verify API boundary separation, ConfigBundle sync / Runtime creation separation, execution binding boundary, transaction/persistence/retry behavior, Browser-facing non-leak, no fake/providerless response, and focused tests.

Operational note:

  • User instructed not to use StopPod for now after repeated stop/hang symptoms. Cleanup will skip role-Pod shutdown and remove only child worktree/branch unless explicitly reauthorized.

State changed

Workspace Dashboard Queue authorized routing. The Ticket has no blocker relations, related prerequisite Tickets are closed, no other Ticket is inprogress, and the orchestration worktree is clean. Accepting implementation before child worktree / role Pod side effects.

Implementation report

Implementation kickoff:

  • Worktree created: /home/hare/Projects/yoi/.worktree/00001KW7726H9-runtime-worker-launch-unification
  • Branch: work/00001KW7726H9-runtime-worker-launch-unification
  • Coder Worker spawned: yoi-coder-00001KW7726H9-launch-unify

Scope notes:

  • Coder write scope is limited to crates/worker-runtime/**, crates/worker/**, crates/workspace-server/**, web/workspace/**, resources/profiles/**, resources/prompts/**, root Cargo.toml, Cargo.lock, and package.nix if needed.
  • Coder is instructed to read the Ticket and artifacts/api-field-audit.md from the worktree and not to modify Ticket records.
  • Coder is instructed not to operate in root/orchestration worktrees.

Implementation focus:

  • Browser-facing launch semantics and Runtime worker creation request responsibilities must be separated.
  • ConfigBundle sync and worker creation payload must remain separate.
  • Runtime must not receive raw workspace path / cwd / tool scope / secret / Runtime endpoint / execution binding internals.
  • Runtime worker creation must be persistent/transactional and typed-fail on missing ConfigBundle / execution binding / provider / secret.
  • embedded / Companion / remote-facing creation must use the same canonical path.
  • input-capable Workers must have an execution backend.
  • no fake/providerless assistant response bypass.
  • final request fields must be justified against source / scope-access / visibility / persistence-projection / retry / validation / existing type / failure.

Implementation report

Implementation report:

実装・検証・commit 完了。merge / close / cleanup は未実施。

Commit:

  • 14bb4934a6374eea64591035e5342088ab0ccd09 runtime: unify worker creation path

実装概要:

  • Runtime Worker 作成 API を canonical な ConfigBundle + ExecutionBackend 経路に統一。
  • worker-runtime::catalog::CreateWorkerRequest を Runtime 内部の作成契約として絞り込み。
    • 採用フィールド:
      • profile: ProfileSelector
      • config_bundle: ConfigBundleRef（必須）
      • initial_input: Option<WorkerInput>
    • 除外フィールド:
      • Browser / product intent
      • requested capabilities
      • workspace refs / mount refs
      • cwd / workspace path / tool scope / config store / secret / socket / raw path 類
  • CreateWorkerRequest::default() / providerless / tools-less 作成経路を廃止し、input-capable Worker 作成には execution backend を必須化。
  • ConfigBundle 未同期 / digest mismatch / profile 未宣言 / execution backend 不在 / spawn-input dispatch rejection を typed diagnostics / errors として扱うように変更。
  • 作成は成功時のみ catalog / transcript / event を永続化し、spawn / initial input dispatch 失敗時は in-memory Worker と create event を rollback。
  • Workspace 側で Browser-facing launch semantics と Runtime create request を分離。
    • Browser-facing WorkerSpawnRequest は intent / requested name / acceptance / profile / initial input の範囲に限定。
    • Workspace host が backend-resolved ConfigBundle を同期し、その ConfigBundleRef で Runtime create を呼び出す。
  • Embedded / Companion / remote-facing creation が同じ Runtime create path を通るように調整。
  • providerless / fake response 前提のテストを更新し、execution backend を持つ経路または typed rejection を確認するテストに変更。

API field rationale:

  • profile
    • source: launch backend が決定する profile selector
    • visibility: opaque selector であり raw config/body/path/secret を含まない
    • validation: synced ConfigBundle が selector を宣言していることを Runtime 側で検証
    • persistence: Worker projection に durable selector として保存可能
  • config_bundle
    • source: Runtime create 前に backend が store_config_bundle / remote sync で確定する opaque ref
    • visibility: id + digest のみで config store path や secret は露出しない
    • validation: missing / digest mismatch / profile mismatch を typed error 化
    • retry: 同じ bundle ref で再試行可能
    • failure: missing ConfigBundle は create 前に fail closed
  • initial_input
    • source: Browser/product launch intent から通常の Worker input として明示的に渡す
    • visibility: ユーザー/システム input 本体のみ。scope/path/secret は含めない
    • persistence: 作成成功時に transcript に同一 transaction として保存
    • failure: initial dispatch が execution backend に rejected された場合は create rollback
  • 除外フィールド:
    • intent, requested_capabilities, workspace_refs, mount_refs, raw cwd/path/config/secret は Runtime create API から除外
    • 理由: Browser/product/backend policy 層の semantics であり、Runtime Worker の canonical durable create request に混ぜると visibility/persistence/retry/error 境界が崩れるため

Validation:

  • cargo fmt: success
  • cargo test -p worker-runtime --features ws-server: success
  • cargo test -p yoi-workspace-server: success
  • cargo check -p yoi: success
  • git diff --check: success
  • nix build .#yoi: success

Residual risks / review focus:

  • E2E の実プロセス spawn テストは既存方針どおり未整備なので、実 worker process 起動の完全統合は unit/integration レベルの backend mock と nix build での確認に留まる。
  • create 成功後の永続化失敗時に、すでに execution backend が外部 worker を spawn 済みであるケースの完全補償は今後さらに詰める余地がある。今回の実装では spawn / initial input rejection は rollback し、成功時だけ durable persistence する。

Implementation report

Review kickoff:

Reviewer Worker spawned for 00001KW7726H9 implementation.

  • Reviewer Worker: yoi-reviewer-00001KW7726H9-launch-unify
  • Review target commit: 14bb4934a6374eea64591035e5342088ab0ccd09 runtime: unify worker creation path
  • Review mode: read-only implementation worktree review

Review focus:

  • Runtime worker creation uses canonical ConfigBundle + ExecutionBackend path
  • Browser-facing launch semantics are separated from Runtime CreateWorkerRequest
  • create request fields are justified against source / scope-access / visibility / persistence-projection / retry / validation / existing type / failure
  • no raw workspace / cwd / tool scope / config store / secret / socket / path leaks
  • ConfigBundle missing / digest mismatch / profile mismatch / execution backend missing / provider-secret failure produce typed diagnostics
  • input-capable Workers require execution backend
  • create is persistent/transactional enough, with rollback on spawn / initial input rejection
  • embedded / Companion / remote-facing creation share the canonical path
  • no fake/providerless assistant response bypass

Review: request changes

request_changes

読み取り専用で Ticket 00001KW7726H9、artifacts/api-field-audit.md、target commit 14bb4934a6374eea64591035e5342088ab0ccd09 の実装を確認した。重い検証コマンドは再実行していない。git diff --check HEAD^..HEAD は追加出力なし。

Blockers

1. 永続化要件の execution binding identity と stale execution mapping 診断が未実装

Ticket の保存・再起動要件では、Worker 作成時に execution binding identity を保存し、再起動後に live execution handle を復元できない場合は stale execution mapping として typed diagnostic にする必要がある。

しかし実装では、永続化 record に execution binding 情報が保存されていない。

  • crates/worker-runtime/src/runtime.rs:1467-1477
    • PersistedWorkerRecord へ worker_ref, worker_id, status, request, transcript などは保存されているが、WorkerExecutionStatus / binding id / execution handle identity が落ちている。
  • crates/worker-runtime/src/runtime.rs:978-1010
    • restore 時に全 Worker が WorkerExecutionStatus::unconnected() / execution_handle: None にされる。
    • その際、diagnostics は persisted diagnostics をそのまま引き継ぐだけで、stale execution mapping の diagnostic を追加していない。
  • Runtime::diagnostics() は state.diagnostics.clone() を返すのみで、restore された unconnected Worker を typed diagnostic として表面化しない。

これにより、次の意図を満たしていない。

  • Worker 作成時に execution binding identity を保存する。
  • 保存 identity は権限値ではなく stale execution mapping / reconnect の参照として扱う。
  • 再起動後に live execution handle を復元できない場合は stale execution mapping として診断する。
  • missing config / execution binding / history を typed diagnostic にし、黙って別 Worker を作らない。

現状は「黙って unconnected に戻す」挙動なので、Runtime worker creation の永続性・復元診断要件として blocker。

2. 初期 input で System を受け入れて transcript に保存できる

Ticket / API audit の方針では、Browser launch の initial input はユーザー投入分であり、launch/create 時に System message を作らない設計だった。System instruction / role prompt は ConfigBundle/Profile 側に寄せる意図である。

しかし現在の実装では、CreateWorkerRequest の initial_input が WorkerInput のままなので WorkerInputKind::System を受け取れる。

  • crates/worker-runtime/src/catalog.rs
    • CreateWorkerRequest { config_bundle_ref, initial_input: Option<WorkerInput> }
  • crates/worker-runtime/src/runtime.rs:261-265
    • WorkerInputKind::System => TranscriptRole::System として initial transcript に保存される。
  • crates/workspace-server/src/hosts.rs
    • Browser-facing WorkerSpawnRequest.initial_input も EmbeddedWorkerInput 経由で system/user を表現できる形になっている。

これにより、Browser/API caller が Worker 作成時に system transcript を注入できるため、Ticket の「Browser launch semantics と Runtime CreateWorkerRequest を分離し、initial input はユーザー投入分に限定する」意図と矛盾する。少なくとも create / launch initial input では User-only 型にするか、Runtime boundary で System を typed rejection する必要がある。

確認できた良い点

  • Runtime CreateWorkerRequest から workspace / cwd / tool scope / config store / secret / socket / path 由来の大きな launch fields は削られ、基本的に config_bundle_ref + initial_input に寄っている。
  • ConfigBundle missing / digest mismatch / profile mismatch は RuntimeError と diagnostic で扱う方向になっている。
  • execution backend 不在時は providerless / fake Worker を返さず、create が失敗する経路になっている。
  • embedded Workspace Server 側の spawn は ConfigBundle を Runtime に sync してから canonical Runtime create に寄せている。