2026-09-10 14:42:17 +00:00
# Agent Computer progress (V3)
2026-09-11 02:47:43 +00:00
> **2026-09-10 第三輪狀態修正：全案仍為 PARTIAL。** 請以 [逐項稽核](agent-computer-audit-2026-09-10.md) 的 O01– – ，
2026-09-10 14:42:17 +00:00
基準 commit（ ） ：
本機開始 HEAD：
未覆蓋使用者未提交修改（`docs/plan/` 仍未追蹤）。
驗證（ ， ： ， ）
sqlx 測試用拋棄式 `pgvector/pgvector:pg16` 於 `127.0.0.1:5434` （ `lazyboy-postgres-1` 。
真實 OAuth／ ／ ：
sample MCP 在真實 Computer 容器 `lb-team-space-*` 內 `python3 echo_server.py` JSON-RPC 回 `from-computer` 。外掛 UI 已 typecheck；
---
## PR-00 / PR-01
狀態： （ ）
---
## PR-02：
狀態： （ ＋ ＋ ； ）
- `computers.generation` ； `generation + 1` （舊 job 不可裝活）。
- Team 多 bot 同 `computer_id` ：
- **沒有**對 `bots.computer_id` 加 UNIQUE。
- `AdapterContext.computer_generation` / `control_epoch` 。
- Pause scopes：
- idle reaper 把 `computer_jobs` running 算進活性。
回滾：
---
## PR-03：
狀態： （
- `dispatch` ： `begin` ； `JOURNAL_UNAVAILABLE` ，不開做。
- 同 `operationId` + payload hash replay 已存結果；不同 hash → `PAYLOAD_MISMATCH` 。
- `operationId` 不進入 payload hash。
- `finish` 寫 `computer_operations` + `operation_outbox` ； `flush_outbox` 只補尚未出現在 `run_activity` 的 `operationId` 。
- 結果與 outbox payload 經過 `redact_text` / `redact_json` 。
---
## PR-04：
狀態： （ ；
- `JobSupervisor` ： ；
- `exec` ： `jobId` 。
- `write_file.expectedHash` → `CONFLICT` ，不覆蓋。
- 測試：`/bin/true` 真 exit；
- API 重啟：`computer_jobs` running/accepted → `interrupted` （不假裝收回 Docker PID）
- `LAZYBOY_NATIVE_JOB_CONCURRENCY` （預設 2） `QUOTA_EXCEEDED` 。
- Artifact： `computer_artifacts` ； `read_file` 串回， `CONFLICT` 。
O04 PTY `terminal.*` ： （ ） ： ，
---
## PR-05：
狀態： （ ； ； ）
- Manifest：
- 安裝≠Ready（
- `scripts/sample-mcp/echo_server.py` + `manifest.yaml` （本機範例，不是虛構 npm）
- REST：
- 安裝把 echo 寫進 Computer： `tools/...` ， `shared/tools/...` ；
- Agent 工具 `computer_mcp` 走同一條路徑；未 bind → `NOT_BOUND` 。
- 外掛頁「Computer 套件」可安裝／呼叫／撤銷 echo；
- MCP `call_for` 先複製 client 再 await；
未做： **不再** `spawn` 子行程，只存 metadata 並指向 Computer Tool Manager。HTTP/SSE 仍為遠端 client。真實 Microsoft/Google OAuth：
---
## PR-06：
狀態： （ ）
- `choose_route` ：有授權 API 不走 browser；
- `CompletionLayer` ： ；
- policy：
- `wait_until` 有 deadline；
- system prompt：
---
## PR-07：
狀態： （ ； ）
- `run_form_macro` 失敗即停、逐步 evidence。
- Display writer lease 原本就有；
- Agent 工具 `form_fill` ：用最新 snapshot locator／ ； `submit` click。
---
## PR-08A Gmail fixture
狀態： （ ， ）
- batchModify 同 delta 分組、1000 cap。
- undo 只撤本 plan 的 delta。
- 真實帳號：`BLOCKED_EXTERNAL`。
---
## PR-08B Outlook
狀態： （ ， ）
- `$batch` 最多 20；
- categories merge，
- `Mail.ReadWrite` 不自動允許寄信。
- 真實 Graph OAuth：
---
## PR-09 TigerVNC 候選
狀態： （ ， ）
- `DisplayBackend` ； `:1` / 5900 / 6080（ ）
- `lazyboy-screen` 讀 `LAZYBOY_DISPLAY_BACKEND=tigervnc_xvnc` 。
- Dockerfile 加入 `tigervnc-standalone-server` ，失敗則 script fallback Xvfb。
- Cua/中文/a11y GUI 對照：`BLOCKED_EXTERNAL`，
---
## PR-10 設定 / 文件
狀態：
`.env.example` ：
`migrations/022_agent_computer.sql` 。
---
## O01–
| ID | 狀態 |
|---|---|
| O01 | IMPLEMENTED |
| O02 | IMPLEMENTED（ ） ；
| O03 | IMPLEMENTED + CAS |
| O04 | PARTIAL（ ； `terminal.*` DEFERRED）
| O05 | IMPLEMENTED（ `form_fill` 工具） |
| O06 | IMPLEMENTED（ ； ； ）
| O07 | DEFERRED（
| O08 | IMPLEMENTED（ ； ）
| O09 | IMPLEMENTED（ ）
| O10 | IMPLEMENTED（ ； ）
| O11 | 保留現況 |
| O12 | IMPLEMENTED |
| O13 | DEFERRED |
| O14 | IMPLEMENTED（ ）
| O15 | 保留現況（既有 profile bind）
| O16 | PARTIAL（
| O17 | 實驗／
| O18 | DEFERRED |
| O19 | 保留現況 |
| O20 | 保留現況 |
| O21 | 保留現況 |
| O22–
| O25 | IMPLEMENTED／
| O26 | PARTIAL（ ）
| O27 | IMPLEMENTED（
| O28 | PARTIAL（ ； ，
| O29 | IMPLEMENTED（
| O30 | IMPLEMENTED（ ； ， ）
| O31 | DEFERRED |
| O32 | DEFERRED（ ： `-ac` 直到 Xauthority 接到 Cua/AT-SPI； ）
| O33 | IMPLEMENTED（ ）
| O34 | IMPLEMENTED（ ／ ／
| O35 | IMPLEMENTED（ ；
| O36 | PARTIAL（ ；
| O37 | IMPLEMENTED（ ／ ）
| O38 | BLOCKED_EXTERNAL |
| O39– ；
| O41 | IMPLEMENTED（ ；
| O42 | IMPLEMENTED（ ）
| O43 | IMPLEMENTED（ ）
| O44 | PARTIAL（
| O45 | IMPLEMENTED（ ）
| O46 | IMPLEMENTED（ ： ／ ／ ／ ／ ）
| O47 | DEFERRED |
| O48 | DEFERRED（ ； ）
---
## T01–
| ID | 狀態 | 證據／理由 |
|---|---|---|
| T01 | IMPLEMENTED | `should_deliver_observation_image` |
| T02 | IMPLEMENTED | 換模型／
| T03 | IMPLEMENTED | `pixel_actions_need_vision` ；
| T04 | IMPLEMENTED | `typed_browser_errors` |
| T05 | IMPLEMENTED | Team/Dedicated path + echo 路徑測試 |
| T06 | PARTIAL | generation 拒絕舊 job；
| T07 | 保留現況 | task 無 Docker socket；
| T08 | IMPLEMENTED | zip-slip／
| T09 | IMPLEMENTED | invalid UTF-8 binary payload |
| T10 | PARTIAL | 工具錯誤非空成功；磁碟滿未測 |
| T11 | IMPLEMENTED | `stale_hash` CAS CONFLICT |
| T12 | IMPLEMENTED | Supervisor `/exec` 回完整 `CommandResult` ； `exit` 檔，`false`/缺檔為 Failed/1 |
| T13 | IMPLEMENTED | Computer-side job_op cancel 走 `computer_cancel_script` （ ， ； ） ； ，
| T14 | DEFERRED | API 重啟標 interrupted，
| T15 | IMPLEMENTED | generation interrupt |
| T16 | IMPLEMENTED | operation_id hash／ ； ： `UNKNOWN_EFFECT` 、傳輸失敗不存成 succeeded（ `ledger_is_per_bot_and_does_not_rerun_in_flight_work` ）
| T17 | IMPLEMENTED | outbox flush 補送且不重複（ `outbox_flush_does_not_duplicate_recorded_operations` ； `SELECT 1` 解碼 bug）
| T18 | IMPLEMENTED | `journal_failure` 拒 mutation |
| T19 | IMPLEMENTED | actor-scoped MCP；
| T20 | PARTIAL | NOT_BOUND／ ；
| T21 | IMPLEMENTED | `canary_is_stripped` ； ： ／ `redact_secret_patterns` （之前傳空 canary 等於沒脫敏） |
| T22 | 保留現況 | 既有 prompt 邊界；無新 injection corpus |
| T23 | PARTIAL | 同 display lease 既有；
| T24 | PARTIAL | pause/takeover；
| T25 | IMPLEMENTED | wait 不算 milestone |
| T26 | IMPLEMENTED | Gmail batchModify fixture |
| T27 | IMPLEMENTED | fixture 429/partial；
| T28 | IMPLEMENTED | undo 只撤本 plan |
| T29 | IMPLEMENTED | 無強制拆 Team；
| T30 | IMPLEMENTED | `boot_for(need_gui=false)` 不 `ensure_screen` ； ；
| T31 | PARTIAL | job 配額；無壓力 bench |
| T32 | DEFERRED | 無郵件分類品質集 |
| T33 | PARTIAL | broker 不進 generic env；
| T34 | IMPLEMENTED | artifact 從 Computer 下載 |
| T35 | PARTIAL | CAS／ ；
| T36 | PARTIAL | mutating tools 走 ledger；
| T37 | IMPLEMENTED | `team_computers_share` ；
| T38 | IMPLEMENTED | Team `bots/<id>/` 路徑 |
| T39 | IMPLEMENTED | shared/ + CAS |
| T40 | PARTIAL | 多 slot 契約；無雙 writer GUI fixture |
| T41 | PARTIAL | display writer lease 既有 |
| T42 | IMPLEMENTED | pause scope 停 A 不 bump B |
| T43 | PARTIAL | idle 看 jobs；
| T44 | 保留現況 | 既有 ensure-screen single-flight |
| T45 | IMPLEMENTED | Dedicated 刪 bot；
| T46 | IMPLEMENTED | echo 安裝／呼叫 `executionLocation=assigned_computer` |
| T47 | IMPLEMENTED | binding per bot；
| T48 | IMPLEMENTED | digest／ ／
| T49 | IMPLEMENTED | `plan_version_switch` job pin |
| T50 | IMPLEMENTED | revoke／ ；
| T51 | IMPLEMENTED | Outlook fixture；
| T52 | IMPLEMENTED | Graph 子項 429/401 |
| T53 | PARTIAL | fixture 分頁語意；真實 delta BLOCKED_EXTERNAL |
| T54 | IMPLEMENTED | categories merge 不盲覆蓋 |
| T55 | BLOCKED_EXTERNAL | 無 Cua/中文/a11y GUI |
| T56 | PARTIAL | generation bump；
| T57 | IMPLEMENTED | slot 0 = :1/5900/6080 |
| T58 | 保留現況 | 既有 noVNC；
| T59 | DEFERRED | 保留 `-ac` ； ；
| T60 | IMPLEMENTED | 同 T30： ； `lazyboy-screen ensure` |
| T61 | IMPLEMENTED | 未審查 env token／
| T62 | 保留現況 | 同 UID 不宣稱強隔離 |
| T63 | PARTIAL | job 配額；
| T64 | PARTIAL | 套件路徑可重建；舊 job 不裝活 |
## 2026-09-10 複查：
本輪先跑計劃第 16 節的完整 gate， ；
驗證命令與結果（本機，拋棄式 Postgres `pgvector/pgvector:pg16` 於 `127.0.0.1:5434` ） ：
- `cargo fmt --all -- --check` ：原本有 diff（ `cargo fmt --all` ，現在 exit 0。
- `cargo clippy --workspace --all-targets -- -D warnings` ：
- `DATABASE_URL=… cargo test --workspace` ： （ ； ； ； ； ； ） ； （ ／ ／ ／ ）
- `make test-agent-computer` ：
- `apps/web` ： （ ）
修正：
1. ** `lazyboy-api` 測試 binary 結束時 SIGABRT**（ `Mutex poisoned` → `release_env_on_exit` 二次 panic） ： `catch_unwind` 包住 `TextEmbedding::try_new` ，但 `ort` 找不到 `libonnxruntime.so` 時是在持有全域鎖的情況下 `expect` panic， `.fini_array` hook 再 panic → abort。正式環境沒設 `ORT_DYLIB_PATH` 時， ： `preload_onnx_runtime()` ，先走 `ort::init_from(path)` （回 `Result` ）預載 dylib， `Unavailable` 不再進 fastembed； `ort ="=2.0.0-rc.13"` （ ） `database_enforces_agent_scope_and_queries_do_not_leak` 改成顯式 `ModelState::Unavailable` ，不再靠環境缺 ONNX 來觸發；新增 `a_missing_onnx_runtime_is_an_error_not_a_panic` 。反向驗證：`ORT_DYLIB_PATH=/nonexistent cargo test -- --ignored memory_model_recovers_after_cache_failure` 只因無模型 fail，
2. **Computer 內 background job 的 pid 是錯的（ 。`computer_background_launch` 原本是 `mkdir -p … && setsid nohup sh … & echo $!` ， & ` 作用在整個 `a && b` list， ， `setsid` 後的 session leader。後果： ） ； ， `sh` →子程序變孤兒繼續跑，之後 `status` 讀不到 exit 檔還會誤報 `failed` 。修法：`mkdir` 獨立一行； `printf %s "$$" > …/pid` ， `computer_cancel_script(pid)` ： `kill -KILL -- -pgid` → 再驗證； `cancelled` （否則維持 `running` ，不假稱取消）。測試：`computer_cancel_script_kills_the_whole_process_tree`（本機真起 `sh -c 'sleep 300; sleep 300'` ，用 `pgrep -g` 驗證子 `sleep` 一起死）；另在真實 Team 容器 `lb-team-space-c7bace…` 內手動跑 launcher＋ ： ，
3. **supervisor `job_follow_up` 沒檢查 job 屬於哪個容器** ：拿到別的 Computer 的 jobId 時會在自己容器對同號 pid 送 `kill` 。現在 `job.computer_id != container` 一律回 `unknown job` 。
4. ** `Makefile` `help` 目標壞掉**：新增的 `test-agent-computer` 說明被塞進同一個 `@echo "…` 造成跨行未閉合字串，`make help` 回 `Unterminated quoted string` Error 2。已拆成兩行 `@echo` 。
5. **idle reaper 的「有工作就不暫停」守門一直是死的（ ） ： `SELECT 1` （ ） `(i64,)` ， `ColumnDecode mismatched types` ，被 `matches!(Ok(Some(_)))` 吞成 false → 只要 `computers.updated_at` 十分鐘沒動，正在跑 run 的 Computer 也會被 suspend。改成 `sqlx::query(...).fetch_optional` 只看有沒有列。sqlx 測試 `idle_reaper_reconciles_unpolled_jobs_with_the_computer` 同時覆蓋 run 與 job 兩種活性。
6. ** `flush_outbox` 去重失效（ `SELECT 1` →`i64` 解碼錯誤讓 `exists` 永遠 None， `run_activity` ， `outbox_flush_does_not_duplicate_recorded_operations` 。
7. **背景 job 配額會永久卡死** ： `exec status` 時更新；兩個跑完但沒人 poll 的 job 會讓該 Computer 之後永遠 `QUOTA_EXCEEDED` ， `refresh_running_jobs` （向 Computer 問最舊 16 筆 running 的真實狀態； `unknown job` 標 `interrupted` ）再重算；`computer.rs` 的 `pause_idle_computers` 在判斷活性前做同樣的 reconcile（
未修、已知：
- host 端 `JobSupervisor::start` （ `read_to_end` ；輸出超過 pipe buffer（ ） （
- supervisor 的 `ComputerJobTable` 在記憶體； `unknown job` （ `computer_jobs` 標 interrupted， ， ）
回滾：還原 `crates/api/src/memory.rs` 、`crates/api/Cargo.toml`（ （ ）
## 2026-09-10 複查（第二輪）：三路平行 code review 後的修正
三個獨立 review（ ； ； ； ： （ ／ ／ ）
**Ledger（ – ，
1. **operationId 全域命名空間 → 跨 bot replay／ ： `{bot_id}:{operation_id}` ，查詢加 `bot_id` 條件。Bot B 選到 Bot A 用過的 id， `PAYLOAD_MISMATCH` 擋。
2. **記憶體 `LEDGER` 拆掉** ：與 DB 兩份狀態不一致（一邊 accepted 一邊沒列）、無上限增長（連非 mutating tool 都建列）
3. ** `bot_computer_id` 查詢失敗被當「沒有 Computer → Proceed」**：現在 DB 錯誤 = `JOURNAL_UNAVAILABLE` ；不需要 Computer 的 mutation（ ／ ） `computer_id = NULL` 入帳（ ）
4. **同 id 同 payload 的 `accepted` 列直接 Proceed → 崩潰後重試會做第二次** ：新增 `Begin::InProgress` → 工具回 `UNKNOWN_EFFECT` ，要求先讀回狀態、換新 id 重試。
5. ** `finish` 對非 mutating tool 也寫 DB／ （
6. ** `"xxx failed: …"` 的傳輸失敗被存成 `succeeded` 並永遠 replay**：
7. **replay 丟掉 `pause`** ： `pause` 。
8. **outbox 寫 `run_activity` 失敗仍標 delivered** ：新增 `monitor::try_record_pool` ，只有成功才標；且只處理 `created_at` 早於 2 秒的列，避免與 `runs.rs` 的直接寫入賽跑而重複。
9. ** `redact_text(&text, &[])` 是 no-op**：新增 `redact_secret_patterns` （ ／ ／ ／ ／ ／ ） ， `regex` 直接依賴（
10. retention 新增 `operation_outbox` （ ， `computer_operations` （非 accepted，
**Jobs（ ／ ）
11. **runner-only 容器 PID 1 是 `sleep infinity`，不收屍** ： ， `running` 。修：`HostConfig.init = true`（ `computer_alive_script` （看 `/proc/*/status` State， `computer_alive_script_treats_a_zombie_as_dead` 本機造真 zombie 驗證。
12. **launcher 沒吐出 pid 時仍登記 job（ ） ：現在直接回錯誤，不登記幽靈 job。
13. ** `exec status/cancel` 不看歸屬與世代**：新增 `job_ownership` ：別的 bot 的 job → `UNKNOWN_JOB` ； `interrupted` → 直接回 interrupted， ； `interrupted` 蓋回 `running` 。
14. ** `pin_running_jobs` 把同 Computer 上其他 bot 的 job 也 pin 了**：加 `bot_id` 條件。
**Tool Manager（ – ）
15. **revoke 後重裝撞 `UNIQUE(package_row_id, bot_id)` → 500** ： `switch_binding` （同 tx 內先清掉同 (package_row, bot) 的非 ready 殘留）。
16. **rollback 會把 `revoked` binding 復活** ：非 `ready` → 409。
17. **執行前不驗 digest** ： `sha256sum -c` 通過才 `exec python3` ；不符 exit 97 → `PACKAGE_TAMPERED` 。測試 `tampered_package_is_refused_before_it_runs` 真改檔驗證。
18. ** `validate_manifest` 只檢查非空**：現要求 64 hex；
19. `InstallBody` 只吃 `package_id` 、前端送 `packageId` ： `rename` + `alias` 兩者皆收。
20. `refuse_unpinned_npx` 把 `@scope/pkg` 的 `@` 當版本 pin：
**其他**
21. ** `form_fill` 靜默截斷**： ／ `INVALID_ARGUMENT` ，不再填半張表回報成功。
22. ** `looks_like_css` 誤判 `v1.2 Release` ／ ： ／ `SELECTOR_UNSUPPORTED` ／ ／
23. ** `computers.display_backend` 從未寫入**： `DisplayBackend::from_env()` ；
24. ** `delete_bot` 不清 `tool_bindings` ／ ／ ／ （
25. ** `wait` 在 `PROGRESS_WHEN_REPEATED` 內， `wait` 只更新 `last_heartbeat_turn` （不會被當 loop halt） ，
26. **Gmail fixture 沒有真的 undo** ：新增 `undo_plan(before, batches)` ，只還原本次計畫實際改動的 label（ ） ，
27. 前端：`RunActivityEntry.operationId` 補型別；`runs.rs` 從工具回傳 JSON 抽 `jobId` 寫進 activity， `entry.jobId` 顯示終於有值；並顯示 `op <短 id>` 。
**Migration**：新增 `migrations/023_agent_computer_fixes.sql` （ `computer_operations_id_hash` 、outbox pending 部分索引、`computer_operations(bot_id, created_at)` 索引）。不改 022（ ）
**review 提到但本輪不動、記錄在此**：
- Pause scopes／ ／ ； （ – ， ）
- `write_file` 走 `bash -lc` 字串插值路徑（
- supervisor `ComputerJobTable` 仍在記憶體（
回滾：還原本節列出的檔案，並 `DELETE FROM _sqlx_migrations WHERE version=23` 後 `ALTER TABLE computer_operations ALTER COLUMN computer_id SET NOT NULL` （若已無 NULL 列）。
## 誠實未完成
P0/P1 可在本環境落地的已接上。下面不是「做完」：
1. 真實 Gmail/Outlook OAuth／ ：
2. TigerVNC 當預設 + Cua/中文/a11y GUI：
3. Postgres sqlx 整合測試此環境未連。
4. **O04 PTY `terminal.*`： — 非互動走 `exec` +jobs+process-tree cancel； `shell` 。不假裝有 PTY。
5. 跨重啟回收容器內仍在跑的 PID： ，
6. 任意第三方套件商店、完整 OAuth broker：
7. O48 無未測速度倍數。
8. 外掛 UI 未在瀏覽器點過（無瀏覽器工具）；已 `tsc --noEmit` 。
雙模式： `bots.computer_id` 。stdio MCP **不是** API 子行程。
回滾：還原本輪 crate / migration 022 / lazyboy-screen `-ac` 註解 / sample-mcp / 前端 plugins+i18n。不要 force push。
2026-09-11 02:47:43 +00:00
## 2026-09-10 第三輪：完整計劃核對與實際修復
起始 HEAD `80fe9a8` ，工作目錄乾淨；未部署、未操作真實信箱、未刪除既有 Team 資料。
逐項狀態：[O01– –
### 實際 diff
1. `crates/control/src/jobs.rs` ： ； ， ，
2. 同檔 `posix_shell_join` 保留空參數；含中文、換行、單引號、`$()`、反引號的真實 shell round-trip 測試。取消拒絕 PID 0/1， ； ，
3. `tools.rs` ： ， ，
4. `tools.rs` ： `accepted` reservation 同 transaction 執行配額判定，兩 agent/API worker 搶最後一格只有一個成功。DB admission 失敗時不開始命令； ， `UNKNOWN_EFFECT` 並保留 reservation。
5. `runs.rs` ：移除 worker 啟動時把全 DB running/accepted jobs 一律改 interrupted 的 UPDATE；
6. `computer_files.py` （ ） ： ， `O_NOFOLLOW` /`O_NONBLOCK`、regular-file 判斷，拒絕 symlink/FIFO/路徑逃逸與超過 8 MiB 的內容； ，
7. `SandboxProvider::write_file_checked` → Docker transport → Supervisor → helper： ；
8. `path.rs` ： `bots/<id>` 或 `shared/` ，拒絕其他 bot、相似前綴 bot ID 及 virtual-root 旁路。這不是同 UID arbitrary shell 的 OS 隔離。
9. `supervisor/docker.rs::exec_raw` ： ；
10. `operations.rs` ：傳輸失敗保留 accepted/unknown 去重紀錄，不能刪 intent 讓相同操作重做。結果與 outbox 同 transaction， ， `UNKNOWN_EFFECT` ，不宣稱已可靠記錄成功。
11. 同檔：外部 `mcp_*` 與 `connection_check` 也需副作用前 journal； ，
12. `tool_install.rs` ： ， ； `-I` ，拒絕 symlink/non-regular/超限內容。binding 查詢核對當前 Computer； ，
13. `tests/frontend.test.mjs` ：更新一個已過時的描述文字比對，仍驗證 observe boolean/default false 與實際 opt-in 條件；未刪除測試。
14. 新增 `tests/computer-files.test.py` 、真實 Rust→Docker opt-in regression、`make bench-agent-computer` 與原生雙模式 benchmark JSON。所有測試容器皆新建、無持久 volume、無公開 ports；
### 本輪驗證
- `cargo fmt --all -- --check` ：通過。
- `cargo clippy --workspace --all-targets -- -D warnings` ：通過。
- `DATABASE_URL=postgres://lazyboy:lazyboy@127.0.0.1:5434/lazyboy cargo test --workspace` ： ； ，
- `make test-agent-computer` ：通過（另含 Python filesystem gate）
- `node --test tests/frontend.test.mjs` ：
- `cd apps/web && npm run build` ：通過；既有 lottie eval/chunk-size warning，
- `python3 tests/computer-files.test.py` ： ；
- `LAZYBOY_PLAN_TEST_CONTAINER=lazyboy-plan-files-fixture cargo test -p lazyboy-supervisor real_computer_files_cas_and_bidirectional_exec -- --ignored --nocapture` ：在新建 `lazyboy/computer:local` 、UID 1000、無網路、無 desktop 容器通過；驗證真實 Docker transport、特殊路徑、binary、CAS、1 MiB 雙向 IO、background job 非零退出/完整輸出/取消/terminal job 重複取消。
- `python3 scripts/bench-agent-computer.py` ： ； ， ，
### 尚未完成與 checkpoint
核心未完成：受保護且持久的 Computer Runner/PTY/job cursor； ； ； ； ； ； ； ；
實際缺程式的項目標 PARTIAL/NOT_STARTED， ； ，
回滾：還原上述本輪 diff 與新增 helper/測試/benchmark 檔即可；本輪無 migration。`write_file_checked` 涉及 API、control trait、兩個 sandbox provider 與 Supervisor， ，
## 範圍追加： –
使用者明確要求 P0～
## Runner 與中央事件同步 checkpoint（ ， ）
此節更新前一節尚缺項目，不表示 P0–
- 新增 Computer 內 root 保護的 SQLite job registry、outbox、每工作獨立 worker/socket/output。實際命令降權至 UID/GID 1000、清空繼承環境，
- 新增真正 PTY start/interact/resize、精確 binary output cursor、pause/resume/cancel、runtime deadline、4 MiB/stream 上限；完成需等待程序樹與 pipe EOF。重複取消不延後 KILL，
- 修完成時 socket 關閉被覆寫 unknown 的競爭。終態不因 Computer reboot 改為 interrupted；
- API 每 5 秒獨立同步 root outbox， ； ， ；
- 新增 `make test-runner-jobs` ：自動建立無 network、無資料 volume 的 disposable Computer，
- 已通過： （ ） ；
仍需完成： （ ） ，
## Runner 回收與輸出保留 checkpoint（ ）
- 終態輸出保留 24 小時；達 64 筆保留上限時提前回收最舊、已中央 ack 的終態輸出。未送達事件、執行中工作、unknown 不會被回收。先 commit output_expired tombstone 才刪輸出，重送 start 不重執行；
- worker crash 後用受保護 PID/starttime + pidfd 驗證與凍結程序群，回收後標 interrupted，
- worker 本身也記錄 starttime，
- `make test-runner-jobs` ： ；
- 仍未完成：脫離 process group（ ） –
## Agent takeover barrier checkpoint（ ）
- Runner 新增 root SQLite agent barrier； ， ；
- API takeover 在授予 user lease 前要求 Runner barrier 成功。migration 025 新增中央 agent_mutation_barriers， ；
- takeover/release 另以 per-agent advisory lock 防止互相交錯； ，
- FakeSandbox 也模擬相同 agent job admission/status barrier，
- 驗證： ；
- 未完成：
## HTTP MCP client 搬入 Computer checkpoint（ ）
- API `McpHub` 只保留授權目錄/config/schema， ； `lazyboy-controld --mcp-call` 。模型呼叫使用當前 bot 的 Computer/generation；
- `mcp_*` 需要 Computer readiness， ； ，
- 配置/headers 只從 stdin 傳給 root client，
- 檢查 rmcp 3.2.0 原始碼發現預設 expired-session 會重送 POST， `reinit_on_expired_session` ； ，
- 修正 `npx` pin policy： ；
- 驗證： ， ； ；
- `make test-runner-jobs` 現在自動透過 image 的 controld build stage 取得相容 binary。可設定 `LAZYBOY_TEST_MCP_IMAGE` 使用已建置的該 stage；
- 仍未完成： –
## 通用 archive／ （ ）
- 新增 `/api/bots/{id}/tools/install` ，從 Computer 內既有 workspace archive 讀取、驗證 digest、解包與探索 MCP schema。migration 026 保存 manifest， ， ；
- 新增 `computer_mcp` list/discover/call， ，
- 安裝器拒絕 symlink/hardlink/特殊檔/路徑逃逸、錯 digest、超限展開、未知 manifest 權限/hook 欄位；不可把同版本換成另一 manifest。套件檔案/權限在每次執行前重新驗證。
- 每個 binding 配獨立 UID/GID、私人 HOME/state，
- 每呼叫結束清理該 UID 的程序，包含 setsid 與 non-dumpable 子程序。使用 `/proc/status` 的真實 effective UID， `/proc` inode owner；
- Root package revoke 與既有 revoke/remove API 接線；先關 admission，
- 補安裝配額在寫檔前檢查、獨立安裝鎖、同 manifest/binding 遺留 staging 清理與 failed DB commit 後的 hash/permission 驗證恢復。UID 先 durable reserve 再配置檔案 owner，
- 驗證： ； ；
- API contract 與目前限制見 [tool-packages.md ](tool-packages.md )。仍缺完整 V1 manifest／ ／ –
## 通用套件管理表單 checkpoint（ ）
- Tool Manager 新增 Computer workspace archive 路徑與 JSON manifest 安裝表單，顯示安裝回傳 schemas／ ， ，
- 套件清單只顯示當前 Computer 的 bindings， ／ ，
- revoked／
- 驗證：前端 56 測試與 production build 通過；新增 SQLx 測試涵蓋 runtime kind、revoked readiness、擁有者與 peer bot 隔離、Computer 切換。
- 尚未完成： ；
## 套件探索與手動操作 checkpoint（ ）
- Tool Manager 支援已安裝 archive binding 的 schema 重新探索， ／ ；
- 手動呼叫經由共用 operations journal、agent barrier 與 outbox， ； ， ，
- 分頁 sessionStorage 僅保存最近操作 ID 與 SHA-256 請求雜湊，不保存工具參數。相同請求重用 ID；
- SQLx 管理入口回歸涵蓋 owner／ ， ／
- 本輪驗證：擴充的 SQLx 管理入口測試通過（含 stopped Computer 留有 provider_ref 的拒絕案例） ； –
## 套件重新授權 checkpoint（ ）
- migration 027 改為 package/bot 的 live binding partial unique index； ／
- Archive install 支援明確 `reauthorize: true` ， ， ； ／
- package advisory lock 加 binding row lock， ； ／ ，
- Root 對不存在的 binding 撤銷改成冪等成功，適用重新建立的 Computer；
- SQLx 覆蓋未明確重新授權拒絕、新 intent 與舊 revoked row 同時保留、重試不增加第三個 binding。容器 suite 驗證新 UID／
- 本輪未完成通用 rollback、帳戶 grant/broker、長期 revoked binding／ ； –
- 驗證： （ ） ； ，
## Runner 版本切換 checkpoint（ ）
- 新增 root `package_switch` ：只切換同 package 的已安裝且完整 manifest/hash 相符目標。切換前重驗 cache、entrypoint 與檔案權限，維持原 binding UID／
- 與 install 共用 binding lock、與執行中 MCP call 共用 UID lock； ， ＋ ，
- `package_switches` 在 binding 版本變更的同一 SQLite transaction 記錄 transition ID／ ／ ；
- 修正原 install 最終 unconditional ready 寫入：現在檢查 package key 與目前狀態，不能把並行撤銷的 binding 復活。
- 容器測試新增真實 stdio 延遲呼叫／ ，
- 中央 durable transition intent、API/UI rollback、schema registry 原子更新尚未接線；此 checkpoint 只證明 Runner 切換，不代表全套版本管理完成。
- 驗證： ， ， ；
## 中央版本切換／回滾 checkpoint（ ）
- migration 028 新增 durable package_transitions、schemas 與 pending/cancelling 排他性； ，
- `/api/bots/{bot}/tools/{binding}/switch` 與 UI 支援指定已安裝目標版本、沿用 operation ID 恢復 pending。轉換前關閉參與 bindings 的中央 admission；
- 最終 transaction 同時更新 source binding 的 package pointer、ready、目標旧 binding revoked 與 schemas/completed receipt。重放已完成的升級請求不會覆蓋後來的回滾。
- 撤銷／移除任一參與 binding 會關閉全體 admission 並取消 transition； ， ，
- 新 transition 使用 agent-barrier advisory lock； ，
- SQLx 測试覆蓋 reservation/retry、peer bot 不受影響、generation mismatch rollback、ready/schema atomic completion、舊 receipt 重放、取消與 takeover 邊界。完成 boundary 以已驗證 runtime result 驅動；真實 runtime 由獨立 Docker gate 驗證，仍不是完整 HTTP API→Supervisor→Computer E2E。
- 跨 generation 的 pending transition 目前需明確撤銷清理後重建；完整 account/schema grant registry、常駐 pool、長期 transition/state GC 仍待補。P0–
- 驗證： ； ， ；
## 版本切換跨 generation readback（ ）
- 新增 root 唯讀 package_transition_status， ，
- API 遇到同 Computer 新 generation 時先 read back； ／
- 舊 receipt 不代表目前仍在該版本：後來已回滾的 binding 會被拒絕恢復舊升級。無 root binding、bytes/receipt 不符、無法聯絡 Runner 都不更新 generation。
- Docker suite 實測 root readback 未完成／已完成／已被回滾取代三態，跨 identity generation 讀取仍保留原 receipt 驗證。SQLx 驗證讀回失敗不更新 generation；
- 此輪沒有宣稱實際 container restart＋ ； ／ ，
- 本輪驗證： ； ，
## 實際 Computer restart gate（ ）
- `make test-runner-jobs` 現在建立私人套件、切換版本與私人 state， `docker restart` ，再從新程序／新 identity generation 驗證 root receipt、當前 code/digest、同 UID 與原 state 計數。
- 重啟後驗證 completed 與尚未派送的 transition readback， ， ；
- 驗證：既有 21 項容器測試加 1 個兩階段實際 restart scenario 全部通過； ，
- 下一個已確認缺口：`DockerHost::provision` 目前只有 home bind mount； ／ ／ ； ，
## 新 Computer 的 runtime 持久儲存（ ）
- provision 新增 DATA_DIR/runtime/{homeKey} 下四個 root-owned bind mounts： （ ） ，
- 目錄建立拒絕 symlink、非 root owner、group/world writable 路徑；再次 provision 保留既有內容。沒有 HOST_DATA_DIR 時使用絕對 bind source，
- 自動替換既有 Computer 前比對全部 runtime mount 的 source/destination； ， ，
- gate 使用獨立 temporary bind sources， ， ／
- 驗證： ＋ ＋ ；
## 舊 writable-layer runtime 遷移（ ）
- 舊容器替換／ ， ， ／ ／ ；
- 驗證拒絕 traversal、重複成員、未宣告父目錄、特殊檔、非 root-owned/writable root； ／ ， ， ； ，
- 發布後核對完整快照，重試也不僅信任 marker。來源在 snapshot 後重新運行、目標被更改、mount/home source 不一致時拒絕移除來源。遷移中的舊容器不能被另一 wake/provision 繞過 lifecycle lock 重新啟動。
- 修正 create-name-conflict 原本無條件刪除同名容器、destroy 忽略移除失敗。未管理的容器拒絕刪除；公開 destroy 也會先保留 legacy runtime，
- 真實 gate 從沒有 runtime mounts 的舊容器開始，先驗證目的地 sentinel 不被覆寫，完成 migration， ； ／ ， ，
- 此處驗證的是 Supervisor migration 與真實 Docker archives， ， ／ –
- 驗證： （ ／ ／ `lazyboy/supervisor:plan-test` distroless image 建置通過。所有 fixture 容器與暫存資料均清除，候選映像未部署。
## Computer generation 與移除失敗處理（ ）
- Docker Sandbox 的 DELETE 現在檢查 HTTP status； ／ ，
- API restart／ ／ ；
- 交易鎖住 Computer row 並比對原 provider／ ， ； ，
- boot／ ；
- SQLx 測試覆蓋失敗保留、成功中斷、terminal／ ／ ； –
## 閒置回收與工作 admission（ ）
- 修正 busy query 失敗時誤認閒置的 fail-open； ／
- pause／ ， ，
- job admission 使用同一 row lock，
- 新 SQLx＋ ； ；
## Operation／ （ ）
- Operation intent 交易現在更新 Computer 活躍時間，取得與 parking 相同的 row lock， ；
- 新 package transition 在 agent barrier 後鎖定 Computer， ／ ／ ， ；
- SQLx 測試實際持 parking row lock， ； ， ，
- 驗證： ； ；
## API 中斷後的 boot attempt 恢復（ ）
- migration 029 新增 boot_attempt／
- Runner reconciliation loop 回收超過 3 分鐘的 boot attempt（ ＋ ，
- boot success 與 mark_boot_error 都比對 attempt； ， ／ ／ ；
- SQLx 測試驗證未逾期不回收、逾期保留 provider/generation/unknown job、新 attempt 拒絕舊結果，以及成功後清除 metadata。API suite 175 passed、3 ignored； ，
## 原生 stat_file（ ）
- 新增 agent-facing stat_file schema／ ， ／ ， ， `/computers/{id}/files/stat` 。
- metadata 在 Computer 內的 descriptor-relative helper 讀取；不讀取內容、不追蹤最終 symlink， ，
- Python fixture 覆蓋 1 TiB sparse file、FIFO 不阻塞、symlink、父目錄 symlink 越界、traversal、缺檔與 root directory； ／ ／
- workspace 387 passed、5 ignored； ／ ，
- 最終 Docker gate 通過：既有 Runner／ ／ ／ ／ ， ／ ；
## 原生 patch_file（ ）
- 新增 patch_file schema／ ／ ， `/computers/{id}/files/patch` 在 Computer 內修改， ／ ， ，
- 支援 offset／ ／ ， ； ， ， ／ ／ ， ； ／ ／
- helper 拒絕未知 request fields、負數／ ； ／
- 尚未實作 move/search、byte cursor／ ， ；
- 最終驗證： ； （ ／ ／ ／ ／ ／ ）
## 原生 move_file（ ）
- 新增 move_file schema／ ／ ， ／ `/computers/{id}/files/move` 執行；
- 必填 source expectedHash 與 expectedDestinationHash（ ） ， ， ； ， ／
- 保留 inode／ ／ ， ／ ， ； ／ ／
- 10 項 Python file fixture 通過，包含雙端 conflict 原檔保留、權限、反向跨目錄無死鎖、同一目的地僅一成功； ／ ／
- 最終驗證： ；
## 原生 search_files（ ）
- 新增 search_files schema／ ／ ， `/computers/{id}/files/search` 在 Computer 執行 UTF-8 literal search。API 不下載整棵檔案樹，無 shell、regex 或 GUI 依賴。
- descriptor-relative DFS、O_NOFOLLOW、不追蹤 symlink， ／ ／ ／ ； ／ ／
- 每個 match 提供 path、byteOffset、previewOffset、可讀 preview 與 byte-safe previewBase64； ，
- 13 項檔案 fixture 通過，包括 Unicode byte offsets、regex 符號當字面值、binary/symlink/FIFO/oversize 略過、entry/byte/result/output limits，
- workspace 387 passed、5 ignored， ／
- 最終 Docker gate 通過（ ／ ／ ／ ／ ／ ／ ）
## byte range／ （ ）
- 新增 read_file_bytes， ： ／ ／ ， ； ，
- Computer 使用 O_NOFOLLOW／ ； ， ／ ， ， ／ ／
- Supervisor `/computers/{id}/files/read-range` 與 Docker Sandbox 保留 FILE_NOT_FOUND、PERMISSION_DENIED、INVALID_ARGUMENT、CONFLICT、SIZE_LIMIT 等錯誤類別；
- 15 項原生檔案 fixture 通過， ／ ／ ／ ／ ／ ／ ／
- workspace 387 passed、5 ignored，
- 額外 localhost HTTP regression 驗證 400／ ／ ／ ／ ／
## 舊 list_files 容量與錯誤修正（ ）
- 移除無上限 os.listdir＋ ； ，
- symlink、FIFO／ ／ ／ ， ；
- 18 項原生檔案 fixture、Sandbox 10 項測試（含 localhost HTTP limit/conflict regression） ／ ；
## Directory continuation（ ）
- 既有 list_files 加入 limit（ – ） ／ ， ／ `/computers/{id}/files/list-page` 取得有界頁面；未指定分頁時保留既有 bounded/sorted list 行為。
- Computer helper 使用經本機 Linux dirent64 header 核對的 64-bit Linux readdir64／ ／ ， ； ／ ；
- 版本綁定路徑、device/inode、目錄 mtime/ctime， ／ ； ， ，
- 21 項原生檔案 fixture 通過： ／ ／ ； ／ ／ ／ ／ ，
- Workspace 首輪發現既有 zombie fixture 偶發前提失敗： ／
- Directory continuation 不取代大型 upload/download/attachment 全串流與 Computer 本地 file journal； –
- 最終重跑： ；
## 唯讀檔案 typed errors 與假成功修正（ ）
- 修正 legacy read_file／ ； ， ／ ／ ／ ／ ／ ／
- Computer helper 對 read/stat/list/search/read-range/list-page 分類已知唯讀錯誤，保留現有 conflict/directory-limit 標記。Supervisor 唯讀 endpoints 共用 status mapper， ；
- 未把此分類直接套用到可能已產生副作用的 write/patch/move， ／
- 23 項 helper fixture 通過， ， ；
- 最終 workspace 390 passed、5 ignored； ， ； ／ –
## 寫入回應未知與 fsync 失敗邊界（ ）
- Docker write_file_checked 對 request response loss／ ； ， ／ ／ ， ，
- 新 helper 故障注入測試在 temporary-file fsync 與 rename 後 directory fsync 分別注入 ENOSPC： ， ，
- localhost HTTP fixture 覆蓋 204、400、409、413、500 及直接關閉連線， ／
- 驗證： ／ ； ／ ／ –
## Computer root file journal backend（ ）
- 新增 runner_files.py， ／
- ledger 保存 action/path/precondition/desired-or-replacement hashes、payload digest 與有界 receipt， ／ ； ； ／ ／
- file_mutate 與 root agent barrier admission 同 SQLite transaction 序列化； ，
- write 現在也在 fsync/rename 後讀回 hash， ， ；
- 六項真實容器 root journal 測試： ／ ， ／ （ ）
- 歷史 root receipt 在實際 restart、legacy runtime migration、remove/recreate 後仍可按原 scope 查得。這是持久資料驗證，不冒充新 generation 的 API recovery/readback。
- 驗證： ；
- **仍未完成**：正式 API write/patch/move 路徑尚未切換到 root journal； ／
## Agent file journal HTTP 接線與 operation ID 並行修正（ ）
- Agent `write_file` ／ ／ `/files/mutate` → Computer root file journal； ， ／
- API central intent 仍先於 HTTP 持久提交； ， ／ ／ ，
- 修正共用 `last_operation_id` 的競爭： ， ，
- 真實 Docker gate 已包含 SDK → 同一 Supervisor HTTP handler/middleware → root Runner： ／ ／ ／ ／ ／ ／ ，
- API→mock Supervisor contract 與上述真實 transport gate 是兩段證據，尚不列為完整 API HTTP→Computer E2E。其他 legacy 寫入／ ／ ／ ／ –
- 最終驗證： ／ （ ） ；
## Computer file outbox（ ）
- 新增 root SQLite `file_outbox` ： ， ，
- Runner `file_events` 支援未確認事件重送，每批至多 100 筆／ ； ，
- 新增兩項真實 Computer 測試涵蓋 redelivery、scope isolation、ack 去重、receipt replay， ： ； ／
- **仍待完成**： ／ ／ ／ ／ ， ； `file_status` 補查。
- 驗證：完整 Docker gate 通過（ ／ ／ ／ ／ ） ； ，
## 中央 file dispatch identity mapping（ ）
- Migration 030 新增 `computer_file_dispatches` ：以中央 operation FK 保存 Computer／ ／ ／ ／ ／ ／ ／
- Agent file mutation 在 HTTP 前先提交 mapping。交易鎖定 Computer 與 bot， ； ／
- Mapping DB error／ ， ；
- SQLx API integration fixture 在 HTTP handler 內查驗 mapping 已持久提交、hash/size/path 對應且不含內容；追加 stale generation 與 DB INSERT trigger fault，
- 中央 file event 消費、dedup/ack、receipt reconcile 與 unknown readback 尚未接線；此 mapping 是恢復所需持久資訊，不能單獨宣稱斷線恢復完整完成。
- 驗證： ／ ； ； （ ） ，
## 中央 file event 同步與 receipt reconcile（ ）
- Migration 031 新增 scoped `computer_file_events` 去重表；背景 Runner loop 依持久 dispatch mapping 輪詢 `file_events` ，中央 transaction commit 後才送 `ack_file_events` ，不重送檔案 mutation。
- 每筆事件核對 Computer/provider/generation/bot/root operation identity， ／ ／ ／ ； ， ，
- Event、accepted/unknown→receipt 狀態及通知 outbox 同 transaction； ／
- 修正活動紀錄去重： ，
- SQLx 測試涵蓋並行重送、亂序／ ，
- 驗證： ／ ， （ ） ／
- **仍待完成**： –
## 真實 API dispatcher→Supervisor→Computer file recovery gate（ ）
- 新增 opt-in SQLx integration： ， ， `dispatch` 與 `sync_events` 。
- write、patch、move 均先在真實 Computer 完成， ， ； ，
- 確認 3 個操作共 6 個事件提交中央並從 root outbox ack 清除。fixture Supervisor 由 guard 在成功或 panic 後 kill/wait， `lazyboy-plan-runner-test-` 容器，不觸碰正式 runtime。
- `make test-runner-jobs` 納入此 gate 並要求明確設定 disposable PostgreSQL `DATABASE_URL` ；新增前置檢查與使用說明，缺少 DB 設定時在建立容器前停止。
- 驗證：完整 Docker gate 通過，含 Runner 10／ ／ ／ ／ ／ ／ ／ ／ ， ； ／
- 此處入口是正式 API dispatcher， ； –
## File receipt artifact 補登與 direct/recovery race（ ）
- 移除原本只處理 write、忽略 DB error 的 artifact 寫入； ／ ／ ， ，
- 背景 receipt reconcile 在事件／結果／通知同一 transaction 補登 artifact。operation row lock 序列化正常回應與 recovery；
- 修正 recovery 先完成時，稍後正常成功回應被判成 unknown：
- SQLx 新增 artifact INSERT 故障後不完成事件／不 ack、通知故障連 artifact 一起 rollback、正常回應與背景 recovery 並行只登錄一筆，及較晚 direct success 沿用已持久結果／通知。
- 真實 dispatcher→Supervisor→Computer 失聯 gate 擴充： ／ ／ ／ ／ ， ，
- artifact immutable snapshot／ ／ –
- 驗證： ／ ； （ ） ， （ ） ／
## File event 錯誤隔離（ ）
- 修正單一 bot 的 event／
- 同一批資料逐事件處理； ／ ， ，
- 擴充 HTTP fixture： ／ ； ，
- 驗證： （ ） ； ／
## 持久 file poll 排程與 timeout 進度（ ）
- Migration 032 新增每 computer/provider/generation/bot 的 poll scope、輪詢時間與租約。dispatch INSERT trigger 同交易建立 scope， ；
- SQL `FOR UPDATE SKIP LOCKED` 原子取得最久未輪詢 scope， ，
- 每累積 16 個中央已提交事件就送 ack， ； ，
- 新增 SQLx： ／ ／ ；
- 驗證： ／ （ ） ／
- 此輪完成檔案回執輪詢的持久順序與有界等待；過期 scope retention、滿頁壞事件 quarantine、全系統工作／ ／ ／ –
## Root unknown file readback 證據（ ）
- `file_status` 新增嚴格 boolean `readback` ；只能按既有 identity＋ ，
- 新增 UID 1000 fingerprint helper： ， ／ ／ ，
- Root `file_observations` 每 operation 保留最近一次 metadata-only 觀察； ， `execution_proven=false` ，操作保持 unknown， ，
- 真實 root receipt UPDATE trigger fault 後驗證 readback match、不同 bot/generation 拒絕、root 持久觀察、後續人類修改 mismatch、重送仍不改寫檔案。helper 新增 binary/特殊路徑、內容不外洩、symlink 拒絕、1 GiB sparse file 有界拒絕測試。
- 驗證： （ ） ；
- **仍待完成**： ／ ， ； –
## 授權 file receipt/readback API（ ）
- 新增 `POST /api/bots/{id}/file-operation` ， `{ "operationId": "原操作 ID", "readback": true }` ；沿用既有登入／路由授權，拒絕未知欄位與空 ID。readback 省略時只取 durable receipt。
- 從中央 dispatch mapping 取得 root operation ID， ， ， `file_status` ，不派發 mutation。
- helper 回來後重查 lifecycle／ ／ ； ，
- 回傳 root status 與 evidence， ， ／
- 驗證： ＋ ； （ ） ／
## Agent file_operation_status 工具（ ）
- 新增 `file_operation_status` schema／ ， `targetOperationId` 、可選 boolean `readback` ；目標 operation ID 與這次查詢 ID 分開，不重新 reserve mutation intent。
- API handler 與 agent 共用 file_status lookup 的 owner/binding/provider/generation 核對與 timeout。列入 native sandbox readiness， ／ ； ，
- write／ ／ ， ；
- 擴充 SQLx HTTP fixture， ； ／
- UI 顯示、明確恢復決策與 unknown→verified 狀態語義、patch 完整目標 fingerprint、跨 generation 恢復及其餘 P0–
- 驗證：完整 API 187 passed／ ； （ ） ／
## 活動紀錄 File Evidence UI（ ）
- run activity payload 補上經 owner 查詢取得的 botId， ／ ／
- 按鈕只呼叫既有 `POST /api/bots/{botId}/file-operation` 並帶 readback=true， ／ ； ／ ／
- 顯示 receipt 或觀察的檔案路徑； ，
- 前端測試新增狀態文案真值表與按鈕 API／ ／ ／ ； ， ）
- 尚未做瀏覽器視覺／登入→真實 Computer 點擊 E2E； –
## Patch pre-effect 完整目標 fingerprint（ ）
- Computer helper 新增內部 `patch-plan` ，沿用相同 byte range／ ／ ／ ，
- Root 先提交 accepted intent， ； ， ，
- 真正 patch 再次驗證原檔 hash； ， ，
- 新 patch 的 unknown readback 現在可核對完整目標 hash； ，
- helper 測試驗證 plan 唯讀、完整 binary 結果 hash/size、計算後人類修改被 CAS 拒絕；真實 root 測試注入 plan metadata commit fault 與 final receipt commit fault，
- 驗證： （ ） （ ， ） ；
- 明確恢復決策仍需 child quiescence／ ， ／ –
## File child handoff 與 quiescence 證據（ ）
- 每個新 file intent 保存 controller PID/start/boot 與 handoff_required； ， ，
- Helper 在開啟父目錄／建立路徑／修改 bytes 前，要求完整 handoff、payload byte length 與 SHA-256；
- child identity commit failure 會 kill/wait 尚未獲准的 helper， ； ／
- Unknown readback 新增 helper_quiescent： ， ／ ／ ；
- 真實測試新增 child identity commit fault 不建立任何目錄；實際 kill controller、child 等待目錄鎖仍判存活，釋放鎖後完成但 receipt 遺失， ／ ／
- 驗證： ／ （ ）
- 此處只證明可信 file mutation helper 是否仍可繼續寫入，不宣稱全 task process tree 隔離；明確的 unknown 恢復決策、跨 generation 舊容器退役證據、全系統配額及其他 P0–
## Readback metadata／ （ ）
- 覆查發現： ， ； ，
- 新增 SQLite 回歸測試，在 status 已讀取 metadata 後、程序身分觀察時提交 child identity， ； ，
- API readback 的第二次 lifecycle 檢查補上 running state； ， ／
- 驗證： （ ， ／ ／ ／ ／ ／ ） ； （ ， ）
- 對應 O03／ ／ ／ ， ；
- 下一步仍須完成明確 unknown 恢復決策、跨 generation 退役證據與 outbox 全頁異常事件的公平補送； –
## File outbox 有界掃描與公平續送（ ）
- 修正整頁 retained failure 永遠遮住後續有效 receipt 的問題。新增 migration 033， ／ ； ， ，
- Root file_events 支援嚴格整數 cursor， ／ ＋ ， ； ，
- API 驗證 cursor、嚴格遞增 event ID 與固定 snapshot 上限；在每筆處理前持久 checkpoint， ／ ，
- 只有中央 event／ ／ ／ ；
- 新增 root SQLite 測試： ／ ／ ／ ／
- 新增 API SQLx＋ ； ， ；
- 驗證： ／ （ ） ； （ ）
- 對應 O03／ ／ ／ ／ ／ ／ ／
- 下一步：明確 unknown 恢復決策、跨 generation 舊 runtime 退役證據、outbox／ –
- 最終補充： （ ／ ／ ） ， ；
## 同 generation 檔案 unknown 明確恢復（ ）
- `file_status` 新增顯式 resolve=true（ ） ， ／ ／ ／ ，
- 恢復會重新讀取並 fsync 檔案與父目錄； ，
- Root 以單一 SQLite transaction 更新 receipt／ ； ， ， ；
- API owner／ ／ ／ ／ ／ ， ／
- UI 在 unknown、目前符合且兩個程序均停止時提供「重新核驗並完成恢復」； ， ／
- 真實 root 測試涵蓋 write／ ／ ；
- 實際 API dispatcher→Supervisor→Computer gate 新增原 root receipt 提交失敗，再透過 status/readback/resolve 工具恢復、中央 outbox 登錄 artifact、原操作 replay 保留 proof basis 且不改人工內容；這仍不是登入／模型／瀏覽器 UI 的全程 E2E。
- 驗證： ／ （ ） （ ）
- 對應 O03／ ／ ／ ／ ／ ／ ， ／ ／ ，
- 下一步仍有跨 generation 的舊 runtime 退役證據、舊 intent 恢復、其他檔案寫入路徑 journal、immutable artifact 與串流、完整隔離／ ／ ／ ／ ，
## 退役證據與 artifact 核驗來源持久化（ ）
- 新增 migration 034： ／ ／ ／ ／ ／ ／ ／
- SQLx 故障驗證涵蓋 destroy 失敗不留證據； ； ； ／ ，
- Artifact 新增 verification_basis， ； ，
- Catalog API 傳回 verificationBasis， ／
- Artifact 回歸測試驗證舊 ID 保留、可信 postcondition 來源補登，以及來源衝突時不提交 event； ／ ／ ，
- 驗證：完整 API 193 passed／ ； ／ ／ （ ， ）
- 對應 O28／ ／ ／ ／ ／ ；
- 下一步：安全地將退役 acknowledgement 與舊 root journal／ ／ ， ／ ； –
## Artifact 授權 fence 與 Computer 內 verified read（ ）
- 修正下載只查 artifact 擁有者、卻不查 bot 目前綁定的缺口。讀取前要求同 owner/space、current Computer binding、running/provider； ／ ， ；
- 讀取完成後重查 artifact 仍存在且 path/hash/size 未換、owner/binding/provider/generation/state/scope/home_key 仍相符， ， ； ，
- 下載標頭改為 UTF-8 percent-encoded filename*， ；
- 新增 SandboxProvider::read_file_verified、Supervisor /read-verified 與 Computer helper read-verified。helper 在 Computer 持目錄 SH lock， ， ／ ；
- SDK 核對 verified/path/hash/size/base64 及解碼長度，拒絕缺 receipt、錯 path/hash、截斷、UTF-8 fallback、過大回覆； ＋ ／
- PostgreSQL＋ ；
- helper 新增 1 MiB binary verified read、hash/size/type 拒絕、symlink、空檔與後續人工修改不洩 bytes；
- 驗證： ） ／ （ ， ） ； ／
- 對應 O03／ ／ ／ ／ ／ ／ ／ ； ， ， ；
- 下一步仍有 immutable artifact 快照／ –
## Computer 內不可變 file artifact 快照（ ）
- 新的 journaled write/patch/move： ／ ， ， ／ ； ／
- 快照以 SHA-256 命名、root-owned 0600／ ； ，
- 原操作結果未知而明確做 postcondition recovery 時，先再次由 Computer read-verified 讀取符合 hash/size 的 bytes， ／ ； ， ，
- 每個 store 暫以 256 MiB／ ； ／ ； ，
- 新 file_artifact 管理操作必須以同 bot 的原 Computer identity/generation/operation 找到 succeeded receipt， ； ，
- migration 035 保存 snapshot_ref； ／ ； ，
- Root 測試覆蓋普通及 recovered snapshot、原檔後續人工修改、錯 bot 拒絕、歷史 generation read、UID 1000 直接讀取拒絕、receipt/outbox 不含 base64 payload； ，
- 實際 lifecycle gate 新增 restart／ ／ ； ＋ ，
- 驗證： ／ （ ） （ ， ） ； ；
- 對應 O03／ ／ ／ ／ ／ ／ ／ ／ ； ；
- 尚缺：完整 per-agent quota/retention/GC、全工具輸出 artifact、真正大型檔案／ –
## 快照發布程序死亡後的暫存檔回收（ ）
- 修正 root 快照 publisher 被強制終止後，遺留 `.pending-<32 lowercase hex>` 永久占用容量的問題。新 publisher 先取得同一 artifact-store.lock， ；
- 不刪除已發布 SHA-256 名稱或其他未知名稱； ， ／
- 6 項 protected artifact tests 通過，新增實際子程序在 file fsync／ ，
- 完整真實 Docker gate 通過：含 13 root file tests、Runner／ ／ ／ ／ ； ， （ ）
- 對應 O43／ ／ ； ／ ； –
## File journal 准入容量與歷史 receipt 保留（ ）
- 修正所有 file_operations（ ／ ） ／ ／ ；
- 新准入在原 BEGIN IMMEDIATE 中執行： ／ ， − ，
- 既有操作的 digest／ ； ／ ／ ／ ，
- 3 項新 SQLite 測試通過： ＋ ； ／ ， ；
- 真實 root file gate 改為先以 1024 accepted fixtures 驗證拒絕，再保留同 1024 rows 改成終態，驗證新 file mutation 成功；人類改檔後重播原 receipt 不再覆寫。完整 Docker gate 通過，含 13 root file tests、6 protected artifact tests、Runner／ ／ ／ ／ ； ，
- Supervisor all-targets Clippy（ ） ； ，
- 對應 O03／ ／ ； ， ， – ／
## 每個 bot 的 file journal 未完成額度（ ）
- 在既有全機 1024 個 unresolved 名額與 SQLite 使用頁面准入預算之外，加入每 bot 256 個 accepted／ ／
- 計數與 intent INSERT 共用原 BEGIN IMMEDIATE；
- 新真實 root file 測試建立跨兩個 origin identities 的 256 筆 accepted／ ，
- SQLite 並行最後名額測試擴充為全機與每 bot 兩組， （ ／ ／ ／ ／ ／ ／ ／ ／ ）
- 對應 O30／ ／ ／ ； ，
- 未部署、沒有新 schema。回退需保留所有原 receipts／ ； – ／
## File status／ （ ）
- 檢查跨 generation 恢復入口時發現 file_status 只核對 bot owner 與 provider/generation， ，
- 傳輸後除原 running／ ／ ， ，
- SQLx＋ （ ） ， ；
- 驗證：完整 API 197 passed／ （ ） （ ／ ／ ）
- 對應 O41／ ／
- 其餘 P0–
## 重建後的唯讀 file receipt 歷史查詢（ ）
- 新 Computer root file_history： ／ ／ ， ， ， ＋ ／ ／
- 歷史成功／失敗 receipt 有界讀取並回傳； ／ ／ ／ ，
- API file-operation lookup 現在允許同一 current Computer binding 下較早 generation／ ， ； ／ ， ／
- 更新 file_operation_status 的模型工具描述，說明歷史 unknown 不會被 readback 或 resolve。歷史查詢不會把舊 outbox 自動 ack， ；
- 新 root test 驗證原檔被人類修改後取得歷史 receipt、錯 bot／ ／ ， ／ ／ ／ ／ ／
- API HTTP＋
- 驗證： ／ （ ） ；
- 對應 O03／ ／ ／ ／ ； ； –
## 查詢歷史終態 receipt 時回填中央狀態（ ）
- API 歷史 receipt 查詢現在於傳輸後開交易，重新驗證並鎖住目前 Computer／ ／ ， ／ ；
- migration 036 的 computer_file_history_receipts 保存原 dispatch provider/generation/Runner/operation 與核驗後 outcome。這是歷史 receipt 觀察紀錄，不是本地 outbox 事件；不編造 local_id， ，
- 重用既有 action/path/hash/size/provenance parser 與 artifact registration； ／ ， ／ ；
- SQLx fault test 在最後 Activity INSERT 注入故障，證明前面已寫入的 artifact／ ／ ／ ／ ；
- API HTTP fixture 以 replacement provider 歷史成功回覆驗證中央 unknown→succeeded、artifact 登錄及重複查詢去重；所有原 owner/storage/origin fence 測試持續通過。
- 真實 API→Supervisor→Computer gate 新增：保留 root postcondition receipt、模擬中央 completion/artifact 遺失、將 fixture generation 更新後做兩次歷史查詢；中央恢復 succeeded， ，
- 驗證：完整 API 198 passed／ （ ／ ／ ）
- 對應 O41／ ／ ／ ／ ， ； ／ ， –
## 歷史 receipt 與事件送達的終態一致性（ ）
- 補強兩條恢復途徑原本各自去重、未交叉核對的邊界。歷史回填先核對已送達的最新終態 payload； ／ ／ ／ ， ／ ，
- accepted／ ， ； ， ／ ，
- 新增兩項 SQLx 測試： ／ ／ ， ，
- 驗證：完整 API 200 passed／ （ ） ／ ／ ／ ，
- 對應 O41／ ／ ， ； –
## Computer 歷史 outbox 的分頁與 ack 入口（ ）
- 新 root file_history_events／ ， ／ ／ ； ， ／
- 轉接既有 file_events 有界 fixed-snapshot scan 與 identity＋ ／ ， ； ／ ／ ／
- 新 SQLite 測試驗證 100 筆壞事件後可讀到有效歷史事件； ／ ， ／
- 真實 root test 驗證較新 identity 的 scan 與原 outbox 完全相同、錯 bot ack 不刪資料、正確 ack 只刪指定前綴； ／ ／ ，
- 驗證： （ ／ ） （ ）
- 對應 O41／ ／ ， ； ， –
## 背景 file poll 選取前的 bot 授權檢查（ ）
- 檢查歷史 scope 接線時發現 claim_poll_scope 未連接目前 bot assignment： ／
- 無權 scope 保留原 metadata， ；
- 新 SQLx 測試覆蓋 detached、foreign owner、foreign space 不被選取，原合法 bot 正常取得 lease； ，
- 驗證：完整 API 201 passed／ （ ） ，
- 對應 O30／ ／ ； ， –
## 中央歷史 file outbox 背景續送（ ）
- claim_poll_scope 現在選取目前 Computer 下不晚於目前 generation 的合法 bot scopes，
- 每次 claim 後取出原 scope provider/generation/cursor； ， ／ ，
- persist_event 分開處理目前授權／儲存快照與原事件 identity： ， ／ ／ ；
- 只有 PostgreSQL 提交成功的 IDs 進入 ack list。歷史 scope 使用 ack_file_history_events， ；
- 新 HTTP/PostgreSQL 測試驗證 replacement provider＋ ；
- 實際 API→Supervisor→Computer gate 新增未 ack 的 journaled write， ； ，
- 驗證：最終完整 API 202 passed／ （ ／ ／ ）
- 對應 O30／ ／ ／ ； –
- 回退需保留舊 poll scopes／ ／ ； ，
## 多 worker 跨 generation 的 bot poll lease 互斥（ ）
- 修正歷史 scope 接入後，同一 bot 的不同 generation 可以被不同 worker 同時取得有效 lease 的缺口。claim 改用短交易鎖住 stable bot row 與候選 scope； ，
- 明確 SET TRANSACTION ISOLATION LEVEL READ COMMITTED， ／ ；
- 新 SQLx 並行測試建立同 bot 兩個 generation， ； ，
- 原逾時續送測試揭露新的合理排程差異： ， ，
- 最終完整 API 203 passed／ ， （ ） ／ ／ ；
- 對應 O30／ ／ ／ ； ／ ／ –
## 已讀空歷史 scope 的輪詢延後（ ）
- migration 038 新增 next_poll_after， ＋
- claim SQL 過濾未到期的歷史 scope；
- SQLx 測試驗證歷史空 scope 讓出輪詢機會、目前 scope 即使 future timestamp 仍可選取、歷史延後到期後重返輪替，以及釋放後的 stale lease 不能修改 delay；
- 真實 API→Supervisor→Computer gate 在完成歷史背景恢復與 ack 後，再次讀取真正空 outbox， ／ ／
- 驗證：最終完整 API 204 passed／
- 對應 O30／ ／ ／
- 回退可保留新欄位，舊 API 會恢復較頻繁輪詢而不是刪掉資料。跨 generation unknown 恢復的可信退役證據鏈、完整 retention/streaming 與其餘 P0–
## 背景事件的執行後端種類 fence（ ）
- 背景 file poll 的 require_poll_scope 與 event commit 原先核對 owner/space、home_key/scope、provider/generation， ， ， ／
- 新 SQLx 測試保持 provider/generation 不變、只變更 kind， ， ／ ／ ， ；
- 驗證：完整 API 205 passed／ （ ）
- 對應 O41／ ／ –
## 跨 generation 退役證據的驗證與私有管理通道（ ）
- 新 root file_retirement_proof 驗證 HMAC-SHA256 envelope， ； ／ ，
- Supervisor 使用獨立 lazyboy-file-retirement-v1 用途標記，從 master＋ ； ／
- Root 驗證探針回傳 proof_valid／ ／ ， ， ， ， ；
- 3 項 Python 協定測試涵蓋有效證據、錯 key/home/current context、MAC 篡改、簽章有效但 claims 非法、重複欄位、無界／壞 envelope。Rust credential 測試驗證用途及 home 分離；
- 真實 Supervisor HTTP→Computer fixture 以測試 authority 簽章，驗證 Rust 簽章／ ，
- 驗證： （ ；
- 對應 O41／ ／ ／ ／ ， –
## 簽章退役證據的 root 明確恢復與中央來源核對（ ）
- Root 新增 file_retirement_recover，
- 恢復 receipt 保留 postcondition、executionProven=false， ／ （ ／ ） ／ ； ，
- 新真實 root 測試以 fixture authority 及舊 boot metadata 模擬跨 generation： ， ； ，
- 第 4 項 proof 測試使用真實 SQLite transaction、模擬已完成的檔案核驗邊界， ／ ／
- 中央 parser 嚴格核對 proof ID 格式及 postcondition／ ；
- 驗證：最終完整 API 206 passed／ ； （ ） ， ；
- 對應 O41／ ／ –
## 中央退役查證與專用簽章恢復通道（ ）
- 新 FileRetirementRequest 與 SandboxProvider::recover_retired_file 管理介面，拒絕額外欄位、錯／空 identity、非較早 generation 與空 home； ， ，
- Supervisor 入口要求 master token、bot 與 generation， ； ， ， ／ ／ ，
- API 歷史 resolve 不再一律拒絕。先用原 captured identity 鎖住目前 Computer/bot/dispatch， ， ，
- 新 SQLx＋ ／ ／ ／ ； ， ； ／ ／
- Supervisor HTTP fixture 覆蓋 SDK 專用入口、home mismatch、錯 token／ ／ ， ， ，
- 最終驗證：完整 API 207 passed／ ； ； （ ） ； （ ）
- 對應 O41／ ／ ， ； –
## 實際 provider 退役與重建後恢復 gate（ ）
- 擴充既有 API→Supervisor→Computer 整合 gate， ，
- 真實 root SQLite result UPDATE 故障讓 write helper 寫入成功而 receipt 缺失；移除故障後呼叫原 production replace_computer_generation（
- 以相同持久 mounts 建立不同 Docker ID， ；
- 經 API tool dispatcher 明確 resolve： ； ， ， ；
- 初次執行在新增 fixture 的 file_events 初始化缺少 JSON 游標時失敗，尚未進入退役流程；已補上必要的 {}，保留所有 outcome/assertions 重跑。最終完整 Docker gate 通過（ ） ， ； ，
- 對應 O41／ ／ ／ ／ ； ， ／ ， ／ –
## 歷史 unknown 的明確恢復 UI（ ）
- API file-operation 回覆新增 retirementRecoveryAvailable。只有歷史 unknown 在目前 owner/binding/storage/dispatch locks 內，經相同 retirement_authorization helper 核對中央 provider_destroy_ack、原 identity、目前 home、所有受影響路徑後才為 true。普通查詢仍使用 file_history、不讀 live path、不簽發 envelope， ／
- 真正 resolve 每次重新查證，不接受 UI 提示作為授權。抽出共用 helper 後， ／ ／ ；
- Run Monitor 對歷史 unknown 僅在中央 boolean 提示為 true 時顯示既有「重新核驗並完成恢復」按鈕；新增中英文提示，說明舊 Computer 已退役且可嘗試核驗。渲染不呼叫 API， ＋ ；
- SQLx/HTTP 回歸擴充 hint： ／ ； ， ／ ／ ，
- 驗證：前端 59 tests 通過、TypeScript/Vite production build 通過（既有 bundle size warning） ／ ；
- 對應 O41／ ／ ／ ／ ； ， ／ –
## 退役恢復 receipt 回覆遺失驗證（ ）
- 擴充實際 Dedicated destroy／ ／ ， ， ，
- API 必須回報 FILE_STATUS_UNAVAILABLE， ，
- 回覆遺失後先讓人類修改檔案，再經正常 API 明確恢復請求取回原 receipt。回傳 evidence 必須與代理先前讀到的實際 receipt 完全相同，保留原中央 proof ID／ ／ ；
- API all-targets Clippy（ ） ／ ／ ， ／ ，
- 對應 O41／ ／ ／ ， ； ／ ／ –
## boot 健康探測不明時保留原 Computer（ ）
- 核對公開 boot 路徑時發現 guest_has_screens 把 ContainerProbe::Unknown 壓成 false， ； ，
- probe 對固定 test -x 的 exit 0 視為 Alive、exit 1 視為 Missing； （ ／ ／ ） ，
- 新 SQLx＋ ／ ／ ／ ／ ， ；
- 最終完整 API 208 passed／ （ ） ／ –
## 退役後透過正式 boot_for 重建（ ）
- Dedicated 退役恢復 gate 移除 fixture 的 Docker recreate／ ， ／ ，
- 原先故障 guest 仍由 fixture 建立；銷毀、退役紀錄、重新 provision、就緒檢查、中央發布、未知效果恢復與回覆遺失重送均走實際程式。測試 Supervisor 固定 512 MiB／ ／ ，
- 此版本完整 Docker gate 已通過，整合段 22.96 秒； ／ ，
- 對應 O08／ ／ ／ ／ ／ ／ –
## 修正未設定 HOST_DATA_DIR 的全新 home ownership（ ）
- 新 Team cold boot gate 揭露真實啟動失敗： ， ； ，
- DockerHost::provision 在驗證 managed home canonical path 後，對所有 Unix 部署統一將 home 根目錄設為 1000:1000， ／ ／ ；
- Team cold boot fixture 不預建 home／ ， ，
- 診斷階段保留了 provision 失敗的 Supervisor／ ， ； ／ ／ ， ／ ／ ／
- 對應 O03／ ／ ／ ／ ／ ／ –
## health 證據、授權與探測期限（ ）
- 發現 component_health 把設定中的 display backend 一律當 ok=true， ； ／ ／ ， ； ／
- jobs count 與 display backend DB 讀取失敗明確拒絕回覆， ／ ； ，
- health 開始前核對 Computer owner/space 與 actor； ，
- probe_computer_container 的 HTTP future 原先無總期限，現在在原 guest 5 秒 command timeout 外加入 6 秒 transport deadline。逾時是 Unknown，
- 新 SQLx＋ ， ／ （ ） ／ ／ ；
- 對應 O08／ ／ ／ ／ ， ； ／ ／ –
## Computer-local 唯讀 runtime probes 與 Runner 程式傳送修正（ ）
- 新 runtime_health root 管理動作先核對 identity／ ， ／ ／ ， ／ ，
- 未指派 slot 時 desktop/browser/viewer 均為 null， ； – ， ／ ： ； ； ／ ／ ， ／
- 6 個 Python tests 覆蓋 discovery 壞資料／ ／ ／ ， ／ ／ ／ ／ ， ； ／ ， ／ ／
- 新真實 root 容器測試確認 UID 1000 runner、有 slot 但未啟動 GUI 的結果、非法 body 拒絕，以及 jobs／ ／ ； ；
- 第一輪容器 gate 揭露既有 Runner bootstrap 把整份 Python source 放在單一 argv， ， ＋ （ ） ， ， ； ／ ／ ／ ， ／
- 3 個真實 pipe/exec tests 驗證超過 128 KiB 的 UTF-8 程式、4093-byte 分段傳送、request 原 bytes 保留、request canary 不進程式檔、非法／截斷 frame 不替換旧程式，以及不受保護目錄拒絕。這些 tests 與 runtime probes 均註冊到 Docker gate。
- 6 probe tests、3 bootstrap tests、workspace all-targets Clippy 與 diff check 通過；修正後完整 Docker gate 通過（ ／ ） ， ／ ／ ／ ／ ， –
## health API 接入分項 runtime 證據（ ）
- control 增加嚴格 RuntimeReadinessObservation： ／ ； ， ，
- component_health 只讀取目前 bot 自己的 ScreenRow， ， ； ／
- 沿用 Computer owner/storage/provider/generation/assignment 前後檢查，並核對 screen identity、slot、display/view_port、profile mode/path、execution fence。探測中從無畫面變成有畫面、刪除、換 profile 或 fence 變更皆拒絕舊結果。這是 assignment 一致性，尚不表示已證明 Chromium 實際 process 的 profile 身分。
- 4 個 control readiness tests 與 SQLx＋ ／ ／ ／ ， ／ ； ／ ， ； （ ） ； ，
- 對應 O08／ ／ ／ ／ –
## 真實 GUI readiness 與服務重啟驗證（ ）
- 新增 `make test-runtime-gui` ／ ， ； ／ ／ ， ，
- 使用真實 Xvfb :8、XFWM、持續 session D-Bus、Chromium about:blank（ ） （ ） （ ） ， ／ ， ， ／ ／ ／ ／
- 首次真實驗證找到產品 bug： ， ／ ， ， ， ， ；
- 第二輪 WM 重啟 fixture 失敗原因為終止該 process group 一併終止其自動啟動的 session bus， ； ／ ／ ， ／
- 包含 root Runner source embedding 的完整 Docker gate 通過， ； ／ ， –
## 正式 ensure_screen 的桌面服務修復（ ）
- 找到 lazyboy-screen 兩個會略過修復的判斷： ／ ／ ； ， ／ ； ／ ／ ， ，
- alive_pidfile 僅接受正整數 PID， ／ ， ； ／
- 部分服務重啟重用既存 per-screen D-Bus address， ； ， ／ ／
- 新 make test-screen-recovery 使用同一 networkless disposable Computer harness， ， ／ ／ ／ ／ ／ ，
- bash syntax、diff check、9 個 control screen tests、59 個前端 regression 通過。此次修改 image 腳本並以現行 image 加掛工作樹腳本驗證，尚未重建／部署 production image； ／ ／ ： ／ ／ ／ –
## 兩畫面正式修復與 Cua 截圖驗收（ ）
- 擴充 test-screen-recovery， ／ （ ／ ） ， ／ （ ） ， ／ ／ ／ ／
- 對 slot 7 依序終止 WM、panel、desktop、Cua、Xvfb、D-Bus、Chromium， ， ； ／ ，
- 每次復原都實際執行 cua-driver call start_session 與 get_desktop_state， ， ／ ； ，
- 最終真實兩畫面七種故障＋ ＋ ） ， ／ ／ ／
- 這補上 O08／ ／ ， –
## API screen startup 授權與回覆驗證（ ）
- ensure_bot_screen 開始時在 transaction 鎖定目前 Computer／ ， ；
- capabilities 失敗不再默認 multi_screen=true， ； ， ； ／ ／ ／ ，
- SDK 原先缺 slot/display/viewPort 時使用 request slot／ ／ ， ／ ／ ／
- 新 SQLx＋ ： ； ； ／ （ ） ；
- 本次是中央授權與結果 fence， ； ， –
## 其他 bot 畫面恢復的授權與指派核對（ ）
- 抽出 validate_screen_assignment， ， ／ ／ ／
- restore_computer_screens 不再把 get_bot 的 None 當空名稱繼續啟動。每個恢復先驗證目前授權與指派，送出 captured generation 及原 ScreenRow profile， ， ，
- 擴充 SQLx＋ ： ； ／ ／ （ ）
- 此次補上中央恢復路徑，仍不宣告 guest 已阻止所有在途 stale epoch 副作用；真正 guest 層 lease/epoch admission／ ／ ， ； –
## GUI context 傳遞鏈與結構檢查（ ）
- 查出 AdapterContext 雖有 screen_id／ ／ ， ， ， ；
- Supervisor screens route 在 master token 驗證後核對必要 context： ／ ／ ／ ，
- SDK 的 header builder 改回傳 Result， ；
- 最終完整 API 210 passed／ （ ） ； ， –
## Runner GUI durable fence 基礎（ ，
- 新 runner_gui_fences.py 提供 root-only SQLite/WAL/FULL 狀態，保留 provider/generation 與各 slot 的 screen/bot/epoch/lease/expiry/paused； ； ， ，
- generation publication 使用全域 exclusive flock； ， ／ ， ，
- 不能把 kernel lock 在 process crash 後自動釋放當成 quiescence： ， ； ， ， ／ ，
- 11 個 root fixture tests 通過： ／ ／ ／ ； ／ ， ／
- **此模組尚未由 Runner bundle／ ， ） ； ； ； ／ ， ；
- 對應 O27／ ／ ； –
## 中央 display epoch 跨指派單調性（ ）
- migration 039 新增每 Computer/slot 的 computer_display_epochs 高水位及 ScreenRow.display_epoch BIGINT； ， ／ ，
- trigger 在 profile、identity/mapping、control holder/lease、execution run/fence、lease 縮短／清除及顯式 bump 時配置新 epoch； ，
- API adapter context 改送 display_epoch； ／
- 兩個新增 SQLx tests 通過：真實舊 schema 資料 backfill（ ， ） ； ； ，
- 最終完整 API 212 passed／ （ ） ， ，
- 高水位是配置器，不是已送达 Runner 的 barrier receipt： –
## Root GUI 簽章發布接收與 profile 綁定（ ）
- runner_gui_fences 已嵌入正式 root Runner bundle， ／ ； ， ， ／
- claim 與 durable screen/active intent 加入 profile。相同邏輯 profile 跨 slot 的 active effect 互斥；不同 profile／ ／
- 14 個 host fence tests 通過，涵蓋原真實 process kill／ ， ／ ／ ／ ／ ， ， ，
- 最終完整 Runner gate 通過（/tmp/lazyboy-gui-publication-gate-verified.log， ） ， ） ／ ／
- 目前完成的是受簽章保護的接收端；正式管理 issuer／ ／ ／ ， ， ， –
## 正式 GUI 管理簽發與回執核對（ ）
- 新 GuiFenceClaim／ ／ ／
- 新 master-authenticated POST /computers/{id}/gui/publish， ， ， ，
- Supervisor 與 SDK 均核對 strict typed receipt、完整 claim／ ／ ， ； ，
- 159 個 control tests、15 個 SDK tests 與 affected all-targets Clippy -D warnings 通過。新增 SDK 真實 HTTP fixture 驗證有效 receipt，
- 真實 disposable Computer 的 SDK→正式 Supervisor signer→root receiver 驗證發布、重送相同 receipt、較新 epoch pause， （
- 尚未接中央 API durable publication intent／ ／ ， ， –
- 最終完整 Runner gate 通過（/tmp/lazyboy-gui-issuer-gate.log， ／
## Agent 暫停狀態與 display epoch 同交易更新（ ）
- 檢查中央 GUI publication 前置條件時發現： ， ，
- migration 040 新增 agent barrier 的 INSERT／ ／ ， ， ／
- 新 SQLx regression 覆蓋正式 set_agent_barrier helper、直接 SQL、重複狀態、交易內新值／
- 最終完整 API 213 passed／ （ ， ） ， ， ，
- 這是中央 epoch 原子性修復，仍不是 root 已確認停止／ ； ／ ／ –
## 中央 GUI 發布意圖與啟動畫面接線（ ）
- migration 041 新增 gui_publications， ／ ： ， ；
- 發布 claim 使用 captured generation/display epoch/profile/execution run，
- provider 回覆後重新鎖定並核對目前指派，等待 DB lock 後再次檢查 expiry；
- SQLx＋ ： ； ； ； ； ， ／ ， ／
- 最終完整 API 214 passed／ （ ， ） ，
- 此次是 startup／ ； ／ ／ –
- 真實跨程序完整 Runner gate 亦通過（/tmp/lazyboy-gui-central-gate.log， ， ， ， ／ ， ， ／
## GUI publication 背景重試與原始 actor 綁定（ ）
- API startup 新增 retry_loop， ， ， ； ， ／ ，
- foreground 與 background 共用 deliver， ； ，
- migration 042 另保存原 owner_user_id／ ， ，
- SQLx HTTP regression 改由背景批次完成 lost response 與 DB ack fault 後的原 request 重試；驗證舊 epoch 不發 RPC、過期／ ／ ，
- 完整 API 215 passed／ （ ， ） ／ ， ） ： ， ； ／
- 後續仍需改善大量同 scope 舊 pending 的 current-intent 優先序與掃描成本（目前依 due/created 排序，不能把小型六 bot 測試當作大 backlog 無飢餓證明）；過期／缺 proof pending 的可信收斂與 acknowledged retention 尚缺。中央 pause/takeover 等待 root acknowledgement、GUI executor guard／ ／ – ，
## GUI retry 排除過時 backlog 與 Computer 授權快照（ ）
- 修正背景候選只按 due/created 排序的缺口：同 scope 大量尚未到期但已過時 epoch， ， ， ，
- 同時補上原 request 尚未保存的 Computer 授權狀態： （ ） ， ， ／ ，
- SQLx 六 bot fixture 加入 900 筆較早、仍未到期的舊 epoch 與 100 筆過期 intent； ；
- HTTP fixture 另驗證缺 Computer snapshot、Computer execution_fence 變更、browser_profile_mode 變更均不發 RPC； ／ ／ ／ ／
- 完整 API 215 passed／ （ ， ） ／ ， ； ， ／ ／
- 大規模全域吞吐／ ／ ／ ， ／ ／ – ，
## GUI transport target 綁定修復（ ）
- 接 GUI executor guard 前查出 routing 缺口： ， ／ ， ， ； ／
- Supervisor 及 controld 的 act/browser/recording start/stop/collect 均先呼叫 strict header wrapper， （ ） ， ； ／
- 160 control tests、15 SDK tests、兩個服務的 header regression 與 affected all-targets Clippy -D warnings 通過； ／
- 新 disposable tests/gui-targets.test.py 啟動本轮重新編譯的實際 controld， ， ， ；
- 此次沒有將普通 HTTP 成功當作 quiescence， ， ／ ； ， –
- 最終完整 Runner gate 通過（/tmp/lazyboy-gui-target-gate.log， ／
## Cua 未明呼叫不再自動重開 session 放行（ ）
- 查出 CuaClient 在 mutation timeout 後，下一次 mutation 會 remove suspect marker 並嘗試 start_session； ／
- 新 CuaClient 本地 MutationGuard 共用八個 per-display mutex， ， ／ ； ，
- Read path 若遇到 session ended、需要 start_session， ， ／ ，
- 164 個 control tests、2 個 controld tests 與 affected all-targets Clippy -D warnings／ ） ； ， ／ ，
- 完整 Runner gate 通過（/tmp/lazyboy-cua-unresolved-gate.log， ， ／ ／ ／
- **這是目前 controller instance 內的防護，不是 root durable GUI executor guard。** marker 仍在記憶體，跨 controller instance／ ／ – ，
## GUI 觀察與健康路由的 target 驗證（ ）
- 延續 O26／ ／ ／ ； ／
- 擴充 disposable controld HTTP fixture： ／ ； ，
- 兩個服務共 3 個 header／ ） ： ／
- 回滾可還原這三個讀取路由的 target 選取及新增 fixture； ／ –
## Cua 游標設定未明即停與使用量暫停交接（ ）
- 修正 configure_cursor_motion 的 500 ms timeout／ ／ ， ， ， ； ／
- 真實 fake CLI fixture 驗證 timeout、malformed、structured timeout 三種失敗只收到 set_agent_cursor_motion， ； ，
- 最終 165 control tests＋ ） ； ， ， ） ； ／
- 使用者表示剩約 10% 使用量，要求列已做／未做並收尾等待。已新增 [暫停交接文件 ](agent-computer-handoff-2026-09-11.md )，逐項保留 O01～
- 收尾完整 Runner gate 已通過（/tmp/lazyboy-cua-motion-gate.log， ／
