All in Luna
All in Luna 是一个公共入口点。接受以下输入之一:
- 一个想法或一句话目标;
- 一个现有计划;
- 一个活跃的运行或遗留的运行快照;
- 一个研究路线数据包。
将输入编译为类型化的
RunIntent,选择一个已注册的工作流包,并编译其TaskGraph,其中包含合约、依赖项、所有权、完成条件、WorkGraph 模板和资源默认值。然后调用 vNext 运行时/CLI 来持久化该图,发布已就绪的 Lane,接收真实的主机回执,并持续执行直到根结果完成或返回具体的阻塞器。
最高优先级的精确操作中继
逻辑上的 LocalDispatchIntent 值不是主机操作。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 路径、合约/上下文/WorkGraph 引用、工作区、允许的本地能力、禁止的全局能力以及所需的 lane-handoff/v1 响应。子 Lane 必须重新打开同一个存储并自行加载这些对象;其提示绝不仅仅是自然语言的结果。
CoordinatorDriver 是持久化的外层循环:调度精确操作、接收回执、等待/读取顶层线程、接收类型化的 Lane 交接、协调,并立即发布新就绪的任务。LaneDriver 执行匹配的本地 WorkGraph 循环,包括快照、动态本地扩展、工作器交接、同工作器纠正和 Lane 交接合成。波次仅是 UI 分组:依赖就绪的工作会立即发布。
运行时结构
对话
-> 全局协调器
-> 独立的任务 Lane
-> 有边界的递归 WorkUnit
-> 工具 / 技能 / 插件 / MCP
将原始工具输出保留在 Artifact Store 中。向上传递类型化的合约、工件引用、上下文切片、回执和交接。子 WorkUnit 必须缩小其父范围、权限、所有权和资源包络线;跨 Lane 请求将变为提升请求。
输入和包路由
使用 SinglePublicSkillAPI.compile() 或 allinluna start:
- 普通目标 -> 默认为
delivery; - 现有计划 -> 只读遗留导入,然后
delivery; - 活跃运行 -> 只读运行状态导入和恢复导向的编译;
- 研究路线数据包 ->
research-routes-bridge,保留声明、证据、未知项、矛盾、失败机制、HumanDecision 和实验授权边界。
当用户明确请求其工作流时,使用 gsd。其可执行包提供澄清、指定、分解、实现、验证和集成,动态 Lane 本地扩展、有边界的 WorkUnit、合约交接和本地故障恢复。不要将 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 视为活跃回执。
恢复会保留不可变工件,并在租约、收据或上下文快照协调后重新计算就绪操作。
注册表/启动器仅是一种内部可发现机制。普通用户通过此上下文技能及其目标或旅程进入;专家可以检查包矩阵和清单合约。