[Explero]

解决的问题

• 防止科研任务规划过宽、执行状态缺失和部分完成后提前结束。
• 保持原版 Trellis task/workflow/platform 兼容，不引入数据库运行时或复杂 DAG。

适度工作包策略

• 新任务默认使用一个 Trellis task，并在内部安排 1-4 个结果型 work packages。
• 命令、文件操作和纯验证步骤不会成为独立工作包；5 个以上只提示考虑拆分任务。
• 修复了连续多工作包场景中完成前一包后无法正常启动下一包的问题。

Task Capsule 与 token 优化

• 每轮优先注入最多 1000 字符的 Task Capsule，仅包含当前目标、范围、阶段、工作包、完成条件、下一动作、阻塞和最多 3 个引用。
• 完整 PRD、报告、事件、账本、历史任务和无关规范保留但按需读取。
• Claude Code、Codex 和 OpenCode 使用一致的 capsule 语义。

关闭模式

• Lean：完成定义、工作包处置、基础证据、阻塞和关闭报告。
• Standard：增加运行清单、产物 hash、指标、证据和 claim limitations。
• Publication：增加统计比较、claim disposition、证据引用、STATE/CLAIMS 和人工批准。

Audit 与有限 Repair

• audit 输出紧凑缺口，不自动生成新计划。
• repair 只重新开放审计指出的未完成工作包，不修改已完成工作包或扩大范围。
• Lean 默认 1 轮，Standard/Publication 默认 2 轮；超限进入 blocked。
• 数据集、假设、切分、指标、基线、claim scope 和任务范围变更要求人工批准。

兼容与迁移

• task.json.status 继续只使用 planning、in_progress 和 completed。
• 旧版非 closure task 保持原版启动和归档路径，并显示兼容提示。
• 新任务需要 plan/validate 后启动，audit/close 后才能 archive。
• 迁移清单版本为 0.7.0-beta.0，不自动改写旧任务。

验证结果

• Core：267 tests passed。
• CLI：1392 tests passed。
• Closure 专项：25 tests passed。
• lint、typecheck、build、Hermes preflight、package validation、CLI help、documentation strict build、examples/config validation、sensitive scan 和 git diff check 通过。
• 真实打包安装通过；旧任务兼容归档、失败 close 原子性、未关闭归档拒绝和完整 Lean 闭环均通过。
• format check 的 14 个警告与基准提交完全一致，本次没有新增格式警告。

已知限制

• 自动工作包规划采用确定性规则，复杂科研语义仍需负责人审阅。
• JSONL 不是防篡改数据库；人工审批身份依赖外部流程。
• Repair 不会自动运行实验、伪造证据或批准主张。

真实试跑计划

1. 在小型日常科研脚本任务中使用 Lean 模式，验证上下文开销、连续工作包和关闭门禁。
2. 在固定数据、切分、指标和基线的 AI4Chem 阶段任务中使用 Standard 模式，验证运行清单、产物、指标、证据和限制记录。

v0.7 范围冻结

Knowledge Promotion Gate、Evidence Graph、更多 AI4Chem 模板、审批身份和远程执行服务留到后续版本。