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

25 KiB
Raw Blame History

作成

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

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: implementation_ready

Reason:

  • Ticket は Decodal Profile DSL / ProfileSourceArchive / Backend archive builder / Runtime archive verify-cache / archive-only SourceLoader / Browser-Backend launch 経路からの Runtime-local FS profile discovery 排除について、binding invariants と acceptance criteria を具体的に列挙している。
  • 00001KX0DSMPT はこの Ticket に depends_on している incoming relation であり、この Ticket の blocker ではない。
  • typed outgoing relation blocker は 0 件、OrchestrationPlan record は 0 件。
  • queued notification は human authorized routing であり、今回の routing acceptance 後にのみ implementation side effect へ進める。
  • Decodal API / dependency availability や既存 Lua profile compatibility の細部は bounded implementation investigation に閉じる。不足が設計境界変更に発展する場合は escalation 条件にする。

Evidence checked:

  • Ticket body / thread / artifacts。
  • TicketRelationQuery(00001KWZ5KERY): incoming 00001KX0DSMPT depends_on 00001KWZ5KERY あり。outgoing blocker なし。
  • TicketOrchestrationPlanQuery(00001KWZ5KERY): 0 件。
  • Orchestrator worktree git status: clean on orchestration。
  • queued Ticket 一覧: この Ticket 1件のみ。inprogress は 0 件。
  • visible Pods: previous child Pods が idle で残っているが、StopPod 不使用方針のため停止せず、新規 unique Pod を使う。capacity blocker ではない。
  • TicketDoctor: 0 errors / 既存 diagnostics のみ。
  • Bounded code map: crates/manifest/src/profile.rs, crates/worker/src/entrypoint.rs, crates/worker-runtime/src/{worker_backend.rs,runtime.rs,catalog.rs,config_bundle.rs,fs_store.rs,http_server.rs,main.rs}, crates/workspace-server/src/{hosts.rs,server.rs,companion.rs}, builtin Lua profiles under resources/profiles/*.lua, profile discovery/setup code in crates/tui / crates/worker。

IntentPacket:

Intent:

  • Browser/Workspace Backend Worker launch の通常経路を Lua/runtime-local filesystem profile discovery から切り離し、Backend が Decodal Profile source graph を ProfileSourceArchive tar artifact として構築し、Runtime が archive を verify/cache して archive-contained Decodal sources だけで Worker config を resolve する。

Binding decisions / invariants:

  • Runtime は通常 Browser/Backend launch 経路で Workspace filesystem / WorkingDirectory root / profile_base_dir から .yoi/profiles.toml、Lua file、Lua local module、.yoi/override.local.toml を探索しない。
  • WorkingDirectory は Worker execution root/cwd/scope 計算にのみ使う。
  • Profile source archive と Runtime-local artifact sync は別境界。Plugin/MCP/sandbox/image/package bytes は archive に入れない。
  • Memory / Ticket / Objective / repository contents / Worker catalog は Runtime sync 対象ではない。
  • Browser-facing API は archive content、archive digest、Runtime store path、raw path、Runtime endpoint/token/socket/session path を出さない。
  • ProfileSourceArchive manifest/source paths は relative only。absolute path、..、symlink/path escape、unsupported source、size/count/depth limit excess を拒否する。
  • Decodal import resolution は archive manifest / import map に閉じる。Runtime SourceLoader は filesystem/backend ad-hoc fetch をしない。
  • Lua Profile は compatibility-only path として残す場合も Browser/Backend launch 通常経路では使わない。

Requirements / acceptance criteria:

  • Decodal dependency/schema により Worker launch config が表現できる。
  • builtin role Profiles が Decodal source として利用できる。
  • ProfileSourceArchive tar format と manifest schema が実装される。
  • Backend は profile/role selector から archive を構築し、import closure/digests/archive digest/limits/path safety を検証する。
  • Runtime は ProfileSourceArchiveRef から archive を prefetch / verify / cache / reuse できる。
  • Runtime ArchiveSourceLoader は archive-contained source だけから Decodal imports を解決する。
  • Worker creation は通常経路で archive-resolved config を使い、Runtime-local FS profile discovery を使わない。
  • Worker metadata/audit に archive id/digest/source graph summary が残る。
  • Missing profile / ambiguous selector / invalid Decodal / missing import / outside graph / artifact too large / digest mismatch / unsupported plugin package / missing runtime-local artifact が typed diagnostic になる。
  • Focused tests が Backend archive build、Runtime archive verify/cache、ArchiveSourceLoader、Worker create without Runtime FS discovery、WorkingDirectory launch success、Browser payload redaction、compat fallback isolation を確認する。

Implementation latitude:

  • Decodal source file extension/module layout/schema names、archive manifest field names、cache directory layout、diagnostic enum location、test fixture organization は既存 style に合わせてよい。
  • Existing ConfigBundle machineryを置き換えるか、archive-resolved config の Runtime-side cache/availability boundaryとして再利用するかは、invariant を守る範囲で選んでよい。
  • Compatibility-only Lua path は CLI/debug/test 用に残してよいが、通常 Browser/Backend launch path から分離されていることを tests/comments/diagnostics で明示する。
  • Runtime-local artifact availability は full package manager 実装でなく typed check/sync boundary の分離を示す最小実装でよい。

Escalate if:

  • Decodal crate/API が Worker config materialization に必要な capabilities を持たない、または semantic redesign が必要で Ticket の範囲を超える場合。
  • Browser/Backend launch を raw path/runtime-local profile discovery に戻さないと成立しない場合。
  • Secret synchronization、Plugin package manager/signature policy、multi-tenant auth、Profile editor UI、Runtime-local artifact sync full implementation が必要になる場合。
  • Archive digest/content/runtime store path を Browser-facing API に出す必要が出た場合。

Validation:

  • cargo test -p worker-runtime --features ws-server,fs-store
  • cargo test -p yoi-workspace-server
  • cargo check -p yoi
  • cd web/workspace && deno task check && deno task test
  • git diff --check
  • yoi ticket doctor
  • nix build .#yoi --no-link（Ticket acceptance に含まれるため実行する。実行不能なら理由を implementation report に明記する）

Current code map:

  • Profile discovery/resolution: crates/manifest/src/profile.rs, crates/worker/src/entrypoint.rs (resolve_runtime_profile_manifest)。
  • Runtime Worker launch: crates/worker-runtime/src/worker_backend.rs (ProfileRuntimeWorkerFactory), runtime.rs, catalog.rs, config_bundle.rs, fs_store.rs, http_server.rs, main.rs。
  • Backend/Runtime launch bridge: crates/workspace-server/src/hosts.rs, server.rs, companion.rs。
  • Builtin profiles: resources/profiles/*.lua to migrate/create Decodal equivalents。
  • CLI/profile compatibility surfaces: crates/tui/src/spawn.rs, crates/tui/src/setup_model.rs, crates/worker/src/spawn/tool.rs。

Critical risks / reviewer focus:

  • Runtime Worker creation path must not silently keep reading profile_base_dir / WorkingDirectory / workspace filesystem in Browser/Backend launch。
  • Archive verification must be path-safe, digest-checked, bounded, and deterministic。
  • Decodal import graph must be closed by manifest/import map; no filesystem/backend dynamic import fallback。
  • Browser-facing responses must not leak archive content/digest/runtime store/raw paths/endpoints/secrets。
  • Builtin role Decodal sources must cover existing role behavior enough for Browser/Backend launch。
  • Compatibility Lua fallback must be isolated and not accidentally used by ordinary Browser/Backend launch。
  • Runtime-local artifact availability checks must stay separated from Profile source archive。

State changed

Queued acceptance recorded after Workspace Dashboard Queue notification authorized Orchestrator routing.

Checked context:

  • Ticket body / thread / artifacts。
  • TicketRelationQuery(00001KWZ5KERY): incoming dependent 00001KX0DSMPT depends_on 00001KWZ5KERY あり。this Ticket の blocking outgoing relation は 0 件。
  • TicketOrchestrationPlanQuery(00001KWZ5KERY): prior record 0 件。今回 accepted_plan を記録済み。
  • Orchestrator worktree git status: clean on orchestration。
  • queued Ticket はこの Ticket 1件のみ。inprogress は 0 件。
  • visible Pods / TicketDoctor / bounded code map を確認。

Acceptance basis:

  • concrete missing decision / information は残っていない。
  • Ticket の scope は Decodal Profile DSL / ProfileSourceArchive / Runtime archive-only profile resolution / compatibility fallback isolation に明確化されており、Profile editor UI、secret sync、plugin package manager、runtime-local artifact sync full implementation は非目標として明確。
  • side effect はこの queued -> inprogress acceptance 後に、worktree-workflow に沿って implementation worktree を作成してから開始する。

Implementation report

Implementation routing update:

  • Worktree-workflow に従い implementation worktree を作成した。
    • Worktree: /home/hare/Projects/yoi/.worktree/00001KWZ5KERY-decodal-profile-archive
    • Branch: work/00001KWZ5KERY-decodal-profile-archive
  • Worktree には tracked .yoi project records が見えている。
  • .yoi/memory / .yoi/runtime / .yoi/log / .yoi/logs / .yoi/local / .yoi/*.lock / .yoi/*secret* は作成直後に存在しないことを確認した。
  • Sibling Coder Pod yoi-coder-00001KWZ5KERY-decodal-profile を起動した。
  • Scope policy: runtime workspace root は read-only、implementation worktree は write 可。Coder task では root/original workspace での read/write/validation/git operation を禁止し、この implementation worktree だけを作業対象に指定した。
  • 完了後は diff / validation evidence を Orchestrator が確認し、別 sibling Reviewer Pod に read-only review を依頼する。StopPod は既知の不具合があるため使用しない。

Implementation report

Implementation progress report:

  • Coder Pod completed implementation and committed a823d414 feat: add decodal profile archives on branch work/00001KWZ5KERY-decodal-profile-archive.
  • Worktree status was clean after commit.
  • Changed files include:
    • Cargo.toml, Cargo.lock, package.nix
    • crates/manifest/src/profile.rs
    • crates/worker-runtime/src/{profile_archive.rs,config_bundle.rs,worker_backend.rs,runtime.rs,catalog.rs,http_server.rs,main.rs}
    • crates/worker/src/entrypoint.rs
    • crates/workspace-server/src/{hosts.rs,companion.rs,server.rs}
    • builtin Decodal sources resources/profiles/*.dcdl
  • Implementation summary:
    • Added Decodal-backed ProfileSourceArchive tar format with manifest.json, source graph summary, digest verification, path confinement, limits, unsupported source/symlink/path escape rejection。
    • Added archive-only Decodal ArchiveSourceLoader using manifest import map only。
    • Added builtin Decodal role Profiles。
    • Backend builds profile source archives for normal Workspace/Browser and Companion launches。
    • Runtime config bundle validation verifies/stores archive content and passes verified bundle into Worker execution。
    • ProfileRuntimeWorkerFactory uses archive-resolved Decodal config for normal Runtime launch; Runtime-local Lua/filesystem profile discovery remains compatibility/debug fallback when no archive is supplied。
    • Browser/runtime summaries expose bounded source graph summary only, not archive content/digest/store paths。
    • Nix cargoHash updated for new Rust dependencies。
  • Orchestrator reran validation in the implementation worktree:
    • git diff --check: pass
    • cargo test -p worker-runtime --features ws-server,fs-store: pass（40 lib tests + 5 main tests + doc tests）
    • cargo test -p yoi-workspace-server: pass（67 lib tests + 2 main tests）
    • cargo check -p yoi: pass
    • cd web/workspace && deno task check: pass（0 errors / 0 warnings）
    • cd web/workspace && deno task test: pass（17 tests）
    • yoi ticket doctor: ok
    • nix build .#yoi --no-link: pass
  • External review will be requested via a read-only sibling Reviewer Pod. StopPod は使わない。

Review: request changes

External review result: request_changes

Blockers:

  1. Builtin Decodal profiles が現在の schema で実際には解決できず、normal Browser/Backend launch が archive path で失敗する。

    • Evidence:
      • builtin Decodal files に tool_enabled が含まれる（例: resources/profiles/default.dcdl, coder.dcdl, reviewer.dcdl）。
      • archive resolution は Decodal を JSON に materialize してすぐ ProfileConfig に deserialize する。
      • ProfileConfig は #[serde(deny_unknown_fields)] で、feature, permissions などはあるが tool_enabled field がない。
    • Impact:
      • acceptance criterion「builtin role Profiles が Decodal source として利用できる」を満たしていない。
      • Backend-built archives が normal workspace/Companion launch に使われるなら、unknown-field error で Worker creation 前に失敗する。
    • Required fix:
      • Decodal profile schema で既存 typed fields を使って tool policy を表現するか、tool_enabled 相当を typed mapping/field として受け入れて Worker manifest/config に変換する。
      • embedded builtin .dcdl それぞれを real ProfileSourceArchive + Decodal + ProfileConfig path で resolve する focused test を追加する。

  2. Missing/unknown profile selectors が typed diagnostic にならず、silent default fallback する。

    • Evidence:
      • Runtime archive resolution が requested selector 欠落時に "default" へ fallback している。
      • Backend archive construction が selected label を embedded_profile_path(profile) に入れ、unknown Builtin / Named profile を profiles/default.dcdl に map している。
    • Impact:
      • missing profile / ambiguous selector が typed diagnostic になるという acceptance criterion に違反。
      • invalid/custom profile request が default profile Worker として成功し得るため、Browser/Backend launch の correctness / authority boundary 問題。
    • Required fix:
      • unknown profile selector は archive construction 前または archive resolution 中に typed diagnostic で拒否する。
      • explicit RuntimeDefault/default 以外の default fallback を削除する。
      • unknown Named / unknown Builtin selector の tests を追加する。

Validation / inspection performed:

  • Ticket records と IntentPacket / acceptance criteria を確認。
  • implementation worktree 内で implementation commit/diff targets を read-only inspection。
  • archive format/verification, config bundle storage, Runtime launch, Backend archive construction, Browser-facing summaries, builtin Decodal profiles を確認。
  • broad build/test matrix は Orchestrator-reported validation pass を参照し、Reviewer は変更を行っていない。

Non-blocking follow-ups:

  • blockers 修正後、embedded Decodal profiles を使う actual Browser/Backend default launch bundle path の integration-style unit test を追加するとよい。
  • supported profile registry boundary をより明確にするとよい。現状 Backend archive construction は embedded builtins hardcode で、Ticket は workspace/project/builtin profile registry discovery を記述している。

Implementation report

Review-fix implementation report:

  • Coder Pod completed requested changes and committed follow-up a2833dad fix: reject unknown profile archive selectors on branch work/00001KWZ5KERY-decodal-profile-archive.
  • Worktree status was clean after commit.
  • Fix summary:
    • Embedded Decodal profiles no longer use unsupported tool_enabled; they now use existing typed ProfileConfig fields such as feature plus existing model/session/engine/memory/web fields as applicable。
    • Archive selector fallback to default was removed; missing selector now returns ProfileArchiveError::MissingEntrypoint。
    • Backend embedded archive construction rejects unknown Builtin and unknown Named selectors instead of mapping them to default。
    • Added focused tests proving every embedded builtin .dcdl resolves through real Backend-built ProfileSourceArchive + Decodal + ProfileConfig path。
    • Added tests for unknown Builtin/Named selector rejection and no default fallback for missing selectors。
  • Orchestrator reran validation in the implementation worktree:
    • git diff --check: pass
    • cargo test -p worker-runtime --features ws-server,fs-store: pass（41 lib tests + 5 main tests + doc tests）
    • cargo test -p yoi-workspace-server: pass（69 lib tests + 2 main tests）
    • cargo check -p yoi: pass
    • cd web/workspace && deno task check: pass（0 errors / 0 warnings）
    • cd web/workspace && deno task test: pass（17 tests）
    • yoi ticket doctor: ok
    • nix build .#yoi --no-link: pass
  • Requesting follow-up external review against a823d414..a2833dad and full combined implementation。

Review: approve

External follow-up review result: approve

Result: approve

Review evidence:

  • Prior blocker 1 is fixed:
    • Builtin Decodal profiles now resolve through default_embedded_config_bundle(...) -> ProfileSourceArchive -> verify() -> resolve_profile(...) -> ProfileConfig rather than bypassing archive resolution。
    • resources/profiles/*.dcdl no longer use unsupported tool_enabled; they use supported feature = { ... } fields and are covered by the added embedded-profile resolution test。
  • Prior blocker 2 is fixed:
    • VerifiedProfileSourceArchive::resolve_profile no longer falls back to default for missing selectors。
    • Unknown Builtin and Named selectors are rejected before bundle construction in embedded_profile_path(...), with typed runtime diagnostics from embedded/remote launch paths。
    • Explicit runtime default remains valid via default/builtin-default archive entrypoints。
  • Browser/Backend launch path:
    • Browser only selects Backend-published profile candidates。
    • Workspace Backend builds/syncs a config bundle containing the archive before CreateWorkerRequest。
    • Runtime create_worker passes the stored config bundle into the execution backend; ProfileRuntimeWorkerFactory only uses the Lua/filesystem fallback when no config bundle is present, so ordinary Browser/Backend launch does not read Runtime-local profile discovery。
  • Archive invariants:
    • Archive build/verify enforces relative safe tar paths, source counts/sizes/total bytes, source digests, archive digest, supported source kind, and declared import-map lookup。
    • Undeclared imports are rejected by ArchiveSourceLoader。
  • Browser-facing exposure:
    • Web launch types expose only profile candidates。
    • Config bundle summaries expose source graph summary rather than archive content or archive digest; worker summaries retain only profile selector/config-bundle ref metadata and do not expose runtime store paths/endpoints/secrets。
  • Compatibility:
    • Lua/filesystem fallback remains isolated to direct/debug paths without a config bundle。
    • Dependency/package changes look sound, and the provided validation set includes Rust tests/checks, Deno checks/tests, ticket doctor, and nix build .#yoi --no-link。

No merge blockers found.

State changed

Merge/validation acceptance:

  • Follow-up external review approved the implementation after blocker fix。
  • Implementation branch work/00001KWZ5KERY-decodal-profile-archive was merged into the orchestration branch with merge commit 0334c572 merge: decodal profile archives。
  • Ticket-record conflicts during merge were resolved by preserving Orchestrator-side Ticket thread/item records; product/code/archive changes were merged。
  • Final validation in Orchestrator worktree passed:
    • git diff --check: pass
    • cargo test -p worker-runtime --features ws-server,fs-store: pass（41 lib tests + 5 main tests + doc tests）
    • cargo test -p yoi-workspace-server: pass（69 lib tests + 2 main tests）
    • cargo check -p yoi: pass
    • cd web/workspace && deno task check: pass（0 errors / 0 warnings）
    • cd web/workspace && deno task test: pass（17 tests）
    • yoi ticket doctor: ok
    • nix build .#yoi --no-link: pass

Implementation commits:

  • a823d414 feat: add decodal profile archives
  • a2833dad fix: reject unknown profile archive selectors

No merge-blocking issues remain.

State changed

Ticket を closed にしました。

完了

完了。

実装内容:

  • Decodal dependency/schema を導入し、builtin role Profiles を Decodal sources として追加した。
  • ProfileSourceArchive tar format と manifest.json schema を実装した。
  • Backend が profile/role selector から archive を構築し、import closure / source digest / archive digest / size/count/depth/path safety を検証するようにした。
  • Runtime が ProfileSourceArchiveRef / config bundle から archive を prefetch / verify / cache / reuse できるようにした。
  • Runtime ArchiveSourceLoader は archive-contained Decodal sources のみを解決し、undeclared import / filesystem fallback を拒否するようにした。
  • Worker creation の通常 Browser/Backend path は archive-resolved Decodal config を使い、Runtime-local filesystem profile discovery を使わないようにした。
  • Worker metadata/config bundle summary に archive id / source graph summary を残し、Browser-facing response には archive content / digest / store path / raw path を出さないようにした。
  • Lua filesystem Profile path は compatibility/debug fallback として隔離した。
  • Unknown Builtin / Named selectors と missing entrypoint は default fallback せず typed diagnostics で reject するようにした。
  • Builtin .dcdl は real Backend-built ProfileSourceArchive + Decodal + ProfileConfig path で resolve できるように修正した。
  • Focused worker-runtime / workspace-server tests を追加した。

主な commit / merge:

  • implementation: a823d414 feat: add decodal profile archives
  • review fix: a2833dad fix: reject unknown profile archive selectors
  • merge into orchestration: 0334c572 merge: decodal profile archives

Review:

  • 初回 external review は request_changes。
  • follow-up external review は approve。merge-blocking issue なし。

Final validation in Orchestrator worktree:

  • git diff --check: pass
  • cargo test -p worker-runtime --features ws-server,fs-store: pass（41 lib tests + 5 main tests + doc tests）
  • cargo test -p yoi-workspace-server: pass（69 lib tests + 2 main tests）
  • cargo check -p yoi: pass
  • cd web/workspace && deno task check: pass（0 errors / 0 warnings）
  • cd web/workspace && deno task test: pass（17 tests）
  • yoi ticket doctor: ok
  • nix build .#yoi --no-link: pass

補足:

  • implementation branch merge 時に Ticket record conflict が発生したため、Orchestrator 側の Ticket item/thread を保持して解決した。product/code/archive changes は merge 済み。