1 changed files with 44 additions and 0 deletions
@@ -0,0 +1,44 @@
+# 【里程碑】Direct 合同与租约机制重构
+
+| 字段 | 值 |
+| --- | --- |
+| Version | 0.1 |
+| Status | draft（已确认租约简化方向；合同方案与实现计划待细化，未实现） |
+| Date | 2026-10-03 |
+| Parent Spec | [AI 游戏创作智能体 App 实施计划](../../technical/【技术方案】AI游戏创作智能体App实施计划-2026-06-24.md#宿主验收与执行许可合同)（现行实现依据，重构前须同步更新） |
+| 关联问题 | #518、#529 |
+
+## 本次交付与范围
+
+建立合同与租约重构分支及草稿 PR，记录已确认方向，供后续规范和实现使用。本次仅提交工作范围文档，不修改运行时行为，不代表现行主规范已经变更或问题已修复。
+
+优先顺序：必须项为明确操作失败与回合控制的边界；风险项为取消、并发、旧回合归属及远端结果不确定；可选项为诊断呈现，按实现需要再决定。第一个检查点是完成主规范和单里程碑实现计划，当前不进入业务代码实现。
+
+## 问题与已确认方向
+
+- #518：交付合同存在性被作为写入、执行与付费操作的统一前置门禁；新 Web 项目又由宿主提前要求交付，普通探索可能被迫登记合同或进入验收反馈循环。
+- #529：付费或执行操作失败使整轮进入 Draining；任意其他在途租约都会拦住新的副作用，挂起的原生命令因此阻断无关代码编辑。
+- 操作跟踪不需要同时承担持久化租约、全局排空和交付准入。宿主应在调用开始前检查回合是否仍活动、时间是否剩余、并发槽是否可用，并继续执行既有权限与资源自身的约束。
+- 已受理操作完成、失败或取消后释放并发槽，将真实结果交给 Agent，由 Agent 决定下一步。普通工具失败不触发整轮 Draining、不消耗宿主定义的返修批次，也不要求先满足交付合同才能继续无关工作。
+- 回合结束或时间耗尽后拒绝新调用，取消宿主拥有的在途工作；不能把清除跟踪记录当成进程已停止的证明。旧回合迟到结果不能借用新回合权限继续写入。
+- 远端付费任务的 operation ID、幂等和结果核对继续由资源操作自身的生命周期负责；客户端停止不证明远端任务取消，不因新回合自动重复提交不确定请求。这些约束不构成阻断整轮无关工作的理由。
+- 不通过增加租约诊断、自动到期或“释放租约”工具来保留当前全局门禁模型。
+
+## 尚未确定的合同边界
+
+已识别 artifact/command 验收与 Agent 自身读取、执行结果判断的重叠，但是否保留某些产品场景的强制交付检查、何时触发，以及如何调整相关工具与提示词，尚未最终确定。此前讨论过可选合同方向，不将其记为已经确认的完整方案。
+
+当前 maxRuns 同时关联执行批次和交付复核次数；移除返修批次约束后如何处理交付复核、既有配置及持久化账本，须在实现前明确。时间预算的具体数值与计时方式本次不改。
+
+## 后续验收目标（待主规范细化）
+
+- [ ] 图片生成失败后，Agent 收到真实错误；无关文件编辑和命令不因全局排空被拒绝。
+- [ ] 一条长命令与失败图片请求同时存在时，不复现 #529 的全局拦写；长命令仍受并发容量、取消和时间控制。
+- [ ] 并发超过上限时保持有界；成功、失败、取消及异常路径正确释放槽位。
+- [ ] 回合结束或时间耗尽后零新增调用，已拥有的本地进程正确回收；迟到操作不越过原回合写入边界。
+- [ ] 新用户消息可以在旧执行器正确退出后开启新回合；旧的不确定远端操作不被盲目重放。
+- [ ] 合同的创建、验收与普通操作准入的最终关系先写入主规范，再按定向回归及真实执行器夹具验证。
+
+## 后续工作入口
+
+主规范更新后再形成单里程碑实现计划。重点核对 Direct 执行状态、原生审批适配、工具桥、验证与交付、付费提交和原回合写入许可的真实调用链；已有数据与配置仅按实际恢复需求设计最小兼容。实现完成后把稳定结论融合回主规范与共享记忆并清理本临时文件。