All in Luna
All in Luna 是一個統一的入口點。接受以下其中一種輸入：
- 一個想法或一句話的目標；
- 一個現有的計畫；
- 一個活躍的執行或舊的執行快照；
- 一個研究路線封包。
將輸入編譯成型別化的
RunIntent，選擇一個已註冊的工作流程包，並編譯其TaskGraph，其中包含合約、依賴、所有權、完成條件、WorkGraph 模板和資源預設。然後調用 vNext 運行時/CLI 來持久化圖表，發布準備就緒的通道，攝取真實的主機收據，並持續執行直到根結果完成或返回一個具體的阻塞。
最高優先級的精確行動中繼
邏輯上的 LocalDispatchIntent 值並非 HostActions。HostAdapter 首先將它們解析為 lane-direct-work/v1 計劃或精確的 HostAction.tool 操作碼：
- 使用
HostAction.arguments調用該精確工具。 - 永遠不要翻譯、近似或替代其他功能。
top_level_task永遠不能回退到子代理、當前執行緒或直接執行。- 立即攝取原始收據，然後再次觸發。
- 如果沒有綁定
HostAdapter，則返回ACTION_RELAY_REQUIRED並保留精確的行動。 - 僅在能力發現確認該精確工具不存在後，才返回
HOST_CAPABILITY_BLOCKED。
對於本地工作，native_preferred 使用已公告的原生工作者或真實的 Lane-direct 計劃；native_required 在缺失時阻塞，而 direct_only 永遠不會產生新執行緒。直接收據不等於完成：Lane 必須執行 WorkUnit 並產生經過驗證的 work-handoff/v1。
收據明確提供 action_contract_hash、actual_tool 和 actual_capability。
錯誤的實際工具是 HOST_PROTOCOL_VIOLATION，而不是任務已啟動的證據。
Lane 引導和持久驅動程式
每個公開的 codex_app__create_thread 調度在其持久行動負載和子提示中都嵌入了一個完整的 lane-bootstrap/v1 物件。它包括執行/任務/嘗試身份、TaskEnvelope 摘要、運行時 SQLite 路徑、合約/上下文/工作圖參考、工作空間、允許的本地能力、禁止的全局能力以及所需的 lane-handoff/v1 回應。子 Lane 必須重新打開同一個 Store 並自行載入這些物件；其提示絕不僅僅是自然語言的結果。
CoordinatorDriver 是持久的外層循環：調度精確行動、攝取收據、等待/讀取頂層執行緒、攝取型別化的 Lane 交接、協調，並立即發布新就緒的任務。LaneDriver 執行匹配的本地 WorkGraph 循環，包括快照、動態本地擴展、工作者交接、同工作者修正和 Lane 交接合成。波次僅是 UI 分組：依賴就緒的工作會立即發布。
運行時形狀
對話
-> 全局協調器
-> 獨立的任務 Lane(s)
-> 有界遞迴 WorkUnits
-> 工具 / 技能 / 插件 / MCP
將原始工具輸出保留在 Artifact Store 中。向上傳遞型別化的合約、工件參考、上下文片段、收據和交接。子 WorkUnit 必須縮小其父範圍、權限、所有權和資源封套；跨 Lane 請求將成為升級請求。
輸入和包路由
使用 SinglePublicSkillAPI.compile() 或 allinluna start：
- 純文字目標 -> 預設為
delivery； - 現有計畫 -> 唯讀舊版導入，然後
delivery； - 活躍執行 -> 唯讀執行狀態導入和恢復導向的編譯；
- 研究路線封包 ->
research-routes-bridge，保留 Claims、Evidence、未知、矛盾、失敗模式、HumanDecision 和實驗授權邊界。
當用戶明確要求其工作流程時使用 gsd。其可執行包提供澄清、指定、分解、實施、驗證和整合、動態 Lane 本地擴展、有界 WorkUnits、合約交接和本地故障恢復。不要將 GSD 階段新增到 Core。
資源和權限
資源選擇遵循以下優先順序：明確的用戶請求，然後是任務/WorkUnit 覆蓋、用戶偏好、包能力、部署/主機能力，最後是目前的工作階段/主機預設。Core 是供應商中立的，不會硬編碼提供者或具體模型路線。獨立保留請求、解析和實際值。如果主機無法提供實際的模型收據，則記錄 actual: null 和 actual_state: unresolved；永遠不要宣稱回退或偽造收據。較窄的範圍可以更改計算資源，但不能擴展權限或所有權。
主機資源路由遙測是可選的適配器診斷，不是執行或結果完成的必要條件。主機路由必須在凍結可執行 codex_app__create_thread 行動之前解析所需的 model；未解析的路由會發出非可執行的解析行動。如果沒有明確的模型和推理遙測，記錄 actual: null 和 actual_state: unresolved，同時保留獨立的請求和解析值。持久化的收據暴露了 resource_receipt.requested、resolved、actual 和 actual_state。當實際證據可用時，適配器將請求值與持久化的調度行動進行比較，並要求實際值與報告的解析路由匹配；收據永遠不能建立自己的驗證基準。除非政策另有規定，否則路由不會被硬鎖定；鎖定的路由必須與其收據匹配。
在行動邊界即時請求權限。唯讀編譯不會請求憑據、發布、部署、推送、破壞性工作或即時外部修改。當達到此類行動時，返回帶有 ask、allowed 或 denied 的 PermissionIntent；不要預先載入問卷，也不要靜默執行該行動。
CLI 和恢復
allinluna start --goal "..."
allinluna status RUN_ID
allinluna next-actions RUN_ID
allinluna ingest-receipt RUN_ID RECEIPT.json
allinluna pause RUN_ID
allinluna resume RUN_ID
allinluna retry RUN_ID --task TASK_ID
allinluna cancel RUN_ID --task TASK_ID
allinluna reconcile RUN_ID
allinluna drive RUN_ID
allinluna lane start RUN_ID TASK_ID
allinluna lane status RUN_ID TASK_ID
allinluna lane tick RUN_ID TASK_ID
allinluna lane drive RUN_ID TASK_ID
allinluna lane next-actions RUN_ID TASK_ID
allinluna lane ingest-receipt RUN_ID TASK_ID RECEIPT.json
allinluna lane ingest-direct-result RUN_ID TASK_ID RESULT.json
allinluna lane handoff RUN_ID TASK_ID
運行時 CLI 暴露了 start、status、next-actions、ingest-receipt、pause、resume、retry、cancel、set-policy 和 reconcile。使用公開的相容性 API 進行舊版計劃/執行導入；它們為主機適配器返回主機中立的行動，並且永遠不將待處理的用戶端 ID 視為活躍收據。
恢復會保留不可變工件，並在協調租約、收據或上下文快照後重新計算就緒行動。
註冊表/啟動器僅是內部的可發現機制。普通用戶通過這個上下文技能及其目標或旅程進入；專家可以檢查包矩陣和清單合約。