168 lines
8.6 KiB
Markdown
168 lines
8.6 KiB
Markdown
---
|
|
title: 'Add ProfileSourceTree virtual filesystem and Decodal profile editor'
|
|
state: 'closed'
|
|
created_at: '2026-07-08T19:18:25Z'
|
|
updated_at: '2026-07-09T09:18:48Z'
|
|
assignee: null
|
|
queued_by: 'workspace-panel'
|
|
queued_at: '2026-07-09T07:56:07Z'
|
|
---
|
|
|
|
## 背景
|
|
|
|
Decodal Profile は import を持つため、Profile source を単一文字列や RDB-like な正規化モデルだけで扱うと破綻する。Backend は Workspace/Profile source の正本を持つが、Browser / Runtime に host absolute path や raw filesystem authority を出してはいけない。
|
|
|
|
そのため、Backend-owned な仮想 filesystem abstraction として `ProfileSourceTree` を導入する。ユーザーや Browser editor は file tree / relative path として Decodal source を扱い、Backend はその tree revision から import closure を解決して `ProfileSourceArchive` を生成する。Runtime は `ProfileSourceArchive` の manifest / virtual path だけを見て Decodal import を解決し、Workspace filesystem は読まない。
|
|
|
|
既存 Ticket `00001KWZ5KERY` は Decodal ProfileSourceArchive migration を扱った。これは closed 済みなので、本 Ticket はその follow-up として virtual FS / source tree layer と Browser editor を追加する。
|
|
|
|
## 実装順序
|
|
|
|
- depends_on: `00001KWZ5KERY` — Decodal ProfileSourceArchive / archive verify / Runtime FSなし resolution の基礎。
|
|
- 本 Ticket: `ProfileSourceTree` virtual filesystem、import resolver / archive builder、Backend/Profile settings file-tree API、Decodal profile editor を実装する。
|
|
- 後続: formatter、advanced editor integrations、runtime-local artifact sync は別 Ticket とする。
|
|
|
|
## 実装目的
|
|
|
|
- Decodal import を Backend authority で決定的に解決できる。
|
|
- Browser editor は host path ではなく virtual relative path の file tree を編集する。
|
|
- Runtime は Workspace filesystem を読まず、archive manifest 内 virtual path だけで import を解決する。
|
|
- `ProfileSourceArchive` は `ProfileSourceTree` revision + selected root + import closure の snapshot として生成される。
|
|
- Workspace settings の Profiles 画面から Decodal source tree を閲覧・編集できる。
|
|
- Decodal editor は `decodal-codemirror` を使い、CodeMirror 6 の highlighting / indentation / folding を提供する。
|
|
- Backend validation が authority であり、Browser editor の diagnostics は補助として扱う。
|
|
|
|
## 実装内容
|
|
|
|
### 1. `ProfileSourceTree` model を追加する
|
|
|
|
Backend-owned Profile source の仮想 filesystem model を定義する。
|
|
|
|
含めるもの:
|
|
|
|
- `source_tree_id`。
|
|
- `revision` / generation。
|
|
- virtual root metadata。
|
|
- files: virtual relative path, content digest, size, content type, editable flag。
|
|
- source provenance: builtin / workspace / project / generated。
|
|
- diagnostics。
|
|
|
|
禁止するもの:
|
|
|
|
- host absolute path。
|
|
- symlink target path。
|
|
- Runtime endpoint / socket / session path。
|
|
- secret values。
|
|
- WorkingDirectory root path。
|
|
|
|
### 2. Virtual path resolver を実装する
|
|
|
|
Decodal import specifier を `current virtual path + specifier` から tree 内 virtual path へ解決する。
|
|
|
|
実装すること:
|
|
|
|
- relative import: `./foo.dcdl`, `../shared/base.dcdl`。
|
|
- explicit namespace import: builtin / workspace / project など、採用する namespace を typed enum として扱う。
|
|
- path normalization。
|
|
- root escape rejection。
|
|
- absolute path / URL / unsupported scheme rejection。
|
|
- extension/content type validation。
|
|
- import depth / file count / total bytes limit。
|
|
|
|
### 3. `ProfileSourceArchive` builder を `ProfileSourceTree` に接続する
|
|
|
|
Archive builder は selected root virtual path から import closure を解決し、closure だけを tar に入れる。
|
|
|
|
実装すること:
|
|
|
|
- selected profile selector -> root virtual path の解決。
|
|
- import closure traversal。
|
|
- manifest に virtual path / source key / digest / size / content type / import map を記録。
|
|
- archive digest は manifest + source contents の canonical identity にする。
|
|
- missing import / ambiguous namespace / duplicate source key / oversized closure を typed diagnostic にする。
|
|
|
|
### 4. Runtime `ArchiveSourceLoader` の virtual path validation を強化する
|
|
|
|
Runtime は archive manifest の virtual path だけを信頼境界として扱う。
|
|
|
|
実装すること:
|
|
|
|
- archive内 source path は manifest に存在するものだけ許可。
|
|
- Decodal `SourceLoader::load(current_key, specifier)` は archive manifest / import map / virtual path resolver を使う。
|
|
- archive tar path と virtual path の対応を検証する。
|
|
- absolute path / `..` / manifest外 import / unsupported namespace を拒否する。
|
|
|
|
### 5. Backend/Profile settings API を file-tree model に寄せる
|
|
|
|
Profile settings API は source list だけではなく、editor が使う file tree operation を提供する。
|
|
|
|
v0 で追加する operation:
|
|
|
|
- list source trees。
|
|
- list files in source tree。
|
|
- read file。
|
|
- write file。
|
|
- create file。
|
|
- delete file。
|
|
- validate tree / validate file。
|
|
- rename/move file は v0 で必要なら追加、不要なら非目標。
|
|
|
|
Browser-facing API は virtual path と safe display path だけを返し、host path を返さない。
|
|
|
|
### 6. Workspace settings に Decodal profile editor を追加する
|
|
|
|
Profiles settings 画面に file tree editor を追加する。
|
|
|
|
実装すること:
|
|
|
|
- `/w/<workspace-id>/settings/profiles` は Available profiles と Profile source tree list を表示する。
|
|
- `/w/<workspace-id>/settings/profiles/trees/<source-tree-id>` で source tree を開く。
|
|
- source tree page は file tree / selected file / diagnostics を表示する。
|
|
- selected file は `decodal-codemirror@0.1.2` の CodeMirror 6 extension で編集する。
|
|
- save は Backend file write API を使う。
|
|
- create/delete file は Backend API を使う。
|
|
- import diagnostics / validation diagnostics を表示する。
|
|
- Browser editor は Backend validation の補助であり、Backend diagnostics を authority として表示する。
|
|
- formatter は実装しない。
|
|
|
|
### 7. Editor dependency / packaging を追加する
|
|
|
|
Frontend に Decodal editor dependency を追加する。
|
|
|
|
実装すること:
|
|
|
|
- `decodal-codemirror@0.1.2` を frontend dependency に追加する。
|
|
- CodeMirror 6 の必要 dependency を追加する。
|
|
- `decodal()` extension を使う。
|
|
- `decodal-wasm` による browser-side evaluation は必要になるまで非目標とし、入れる場合も Backend validation を authority とする。
|
|
- Deno/SvelteKit check/test と Nix packaging に dependency 追加を反映する。
|
|
|
|
## 受け入れ条件
|
|
|
|
- `ProfileSourceTree` typed model が実装されている。
|
|
- Backend が Decodal source files を virtual relative path の tree として list/read/write/create/delete できる。
|
|
- Backend virtual path resolver が relative import と採用 namespace import を解決できる。
|
|
- absolute path、URL、root escape、symlink escape、unsupported scheme、oversized closure は typed diagnostic になる。
|
|
- `ProfileSourceArchive` builder が `ProfileSourceTree` revision から selected root の import closure tar を生成する。
|
|
- Archive manifest に virtual path / digest / import map が含まれる。
|
|
- Runtime `ArchiveSourceLoader` は archive manifest 内 virtual path だけで import を解決し、Workspace filesystem を読まない。
|
|
- Profiles settings 画面に source tree list と file tree editor がある。
|
|
- Decodal file editor は `decodal-codemirror@0.1.2` / CodeMirror 6 を使って highlighting / indentation / folding を提供する。
|
|
- Editor save/create/delete は Backend API を通り、host filesystem path を Browser が扱わない。
|
|
- Browser-facing API に host absolute path、Runtime endpoint、secret value、WorkingDirectory root が露出しない。
|
|
- Focused tests が virtual path normalization、import closure build、archive manifest validation、Runtime archive import resolution、Browser payload redaction、settings file tree API、editor route smoke behavior を確認する。
|
|
- `cargo test -p yoi-workspace-server` が通る。
|
|
- `cargo test -p worker-runtime --features ws-server,fs-store` が通る。
|
|
- `cargo check -p yoi` が通る。
|
|
- `cd web/workspace && deno task check && deno task test` が通る。
|
|
- `yoi ticket doctor` が通る。
|
|
- `nix build .#yoi --no-link` が通る。
|
|
|
|
## 非目標
|
|
|
|
- Decodal formatter / formatter integration。
|
|
- Browser-side Decodal materialization as authority。
|
|
- Profile source を RDB-like form に正規化する編集 UI。
|
|
- Plugin package / MCP executable / sandbox artifact sync。
|
|
- Memory / Ticket / Objective / Workflow の API migration。
|