odai-dsh-agent 0.2.35 → 0.2.36

package/preset/odai/skills/odai/references/planning.md

@@ -1,86 +1,37 @@
 # 工程实施计划
 
-用户明确要求可执行的修复、开发、迁移、重构或专项治理计划，或已授权为跨轮次实施建立持久交接时读取。普通下一步建议、当轮可闭环实现和仅仅“任务复杂”不自动触发计划文档。
+需要正式工程计划或跨轮交接时使用。本文件负责让整体方案达到可执行程度并约束后续实施；具体制作由 `references/craft.md` 负责，完成判断由 `references/verification.md` 负责。普通任务直接想清楚并完成，不为“复杂”自动创建计划文件。
 
-局部判断直接交付点名决定、依据和影响；正式计划只对明确承接的范围按下文完整覆盖。
+## 先解决整体路线
 
-本文件负责把目标、事实、边界、工作包、验收、停止与续作明确为可执行合同；产物如何实现与打磨由 `references/craft.md` 负责。制作中出现会改变目标、范围、公共契约、用户取舍或验收的分支时，重新核对受影响的计划决定。
+计划从用户最终结果、当前差距和不可接受结果出发。先核对适用项目指令、真实入口、受影响的调用与数据关系、既有决定及实际基线，再决定结构与实施顺序；窄任务不扩大成全仓调查。用户提供的根因是待核实输入，历史报告和摘要是线索。
 
-## 适用与授权
+解释各部分如何共同实现结果，尤其是跨文件、接口、安装、运行与发布入口之间的连接；不能以每个模块分别能改或各有测试代替组合可行。没有实质路线分歧时不制造多方案。会决定路线的未知优先查清；需要用户信息、取舍或授权时及时沟通，不要求用户替模型设计方案。
 
-- 先区分计划建议、正式计划文档和计划后实施。用户只要求计划时，只调查和交付计划，不修改生产代码、测试行为、schema、依赖、数据或外部系统；宿主 plan mode 有更严格边界时服从宿主。
-- 聊天中的计划不自动授权写文件。用户指定产物或项目已有计划惯例时更新该位置；确需持久交接且写入已获授权时，才新建计划文件。
-- 计划服务于后续决定和行动，不复述仓库目录或堆满不适用栏目。计划完成只表示路线、边界与验收已达到可执行标准，不表示实现已经完成。
-- 需求、非目标、保留行为和不可接受结果以当前用户意图和有效决定为准；事实查证与共同讨论遵循 `references/dao.md`，不用正式计划的结构替代对目标的理解，也不要求用户先给实施方案。
-- 正式计划记录其依据的用户目标与授权。用户纠正使目标、范围、保留行为、不可接受结果或实施授权变化时，只让受影响的工作包、验收和授权失效；保留仍成立部分，重新对齐后再继续，不用旧计划替用户维持已经改变的目标。
+分清期望、现状、建议和未知。方案需要某种能力不等于项目已具备；未证依赖说明查证方式及缺失时的处理或停止条件，不先写成已有再用实施前确认兜底。材料冲突保留，命令从 CI、manifest 或项目权威入口取得，找不到就标为待查，不凭经验捏造。
 
-## 事实基线
+## 确定方案，约束实施
 
-- 先读适用项目指令，再核对相关工作树状态、目标合同、真实入口、调用方、数据边界、测试和项目权威验证命令。历史报告、旧会话、issue 评论和模型总结只作线索。
-- 调查深度只到足以区分当前行为、目标缺口、可行路线和主要风险。窄改动不做全仓盘点；跨 API、持久化、迁移、恢复或外部依赖时才跟踪相应端到端路径。
-- 分开目标合同与当前实现。文档或用户决定说明期望，当前源码、配置、测试和真实运行说明现状；冲突同时记录，不让一方冒充另一方。方案所需或常见的能力不因此成为项目已有能力；未证依赖保留查证及缺失时的处理或停止条件，不能先写成已有，再以实施前确认兜底。
-- 分清已确认事实、待核实风险与未知，并说明依据；仅在机器接口或项目模板要求时使用固定标签。只有当前 checkout 有触发路径和影响证据时才把缺陷或 blocker 写成已确认；未知项只补会影响后续行动的查证方式与决定条件。
-- 验证命令从 CI、manifest、Makefile、项目文档或已有脚本提取。找不到时写成待发现工作，不凭经验伪造命令。
+计划就绪意味着：用户要求均有落点，整体路线及关键依赖成立，保持项、改动范围、失败处理和完成依据足以指导实施。影响路线的未决项不能假装已解决；它们只阻断依赖部分。只请求计划时交付计划，不修改代码、测试、schema、依赖、数据或外部系统；宿主 plan mode 的更严格边界仍有效。
 
-## 计划缩放
+方案就绪后固定目标、范围、整体结构、关键接口、依赖顺序和完成标准，按已有实施授权执行。普通细节在这些约束内自主处理，不反复规划、报批或提高验收门槛。新证据推翻关键前提时说明事实和影响，只重开受影响决定；涉及用户取舍、范围或授权的变化先沟通，不按失效方案硬做。冻结不产生新授权，也不覆盖后续用户决定。
 
-按后续执行真正需要的结构选择最小层级，稳定后不保留更重结构：
+按能形成可用结果的依赖关系组织工作，不按文件逐个孤立收尾。每个工作包说明它如何补足整体结果、与前后部分怎样衔接、允许改变和必须保持什么，以及怎样确认该部分成立。只有存在真实依赖、风险门、迁移过渡或交接需要时才分阶段；独立部分可并行，共享状态和写域须协调。
 
-- **窄计划**：目标与非目标、当前缺口、必要改动点、必须保持、验证和风险。
-- **跨边界或交接计划**：再加需求覆盖、当前与目标流程、带依赖的工作包、允许与禁止范围、失败行为和验收证据。
-- **跨轮次、高影响或迁移计划**：再加 checkout 基线、唯一执行状态、阶段门、兼容与回退、故障恢复、真实依赖验收、停止条件和恢复顺序。
+要求容易遗漏或需要交接时才建立需求映射，保留原文来源及有效取代关系。精确行为合同按需说明输入、前置状态、操作、成功、禁止结果、失败恢复与证据，不要求固定模板。高影响、兼容或迁移任务补足实际需要的过渡状态、退路和恢复顺序，不堆满无关栏目。
 
-Wave 或阶段只表达真实依赖、风险门或可独立验收结果。独立工作包可以并行；共享状态、同一路径写入或前置证据未成立时才串行。无关边界直接省略，不用大量 `N/A` 伪装完整。
+局部修复先确认它能消除目标问题，而非只消除一条失败输出；现有稳定复现可用于防回归，但不为格式造红测或新测试。整体使用结果与主要风险的证据按 verification reference 选择，计划完成不等于实现完成，工作包全部结束也不自动证明组合结果成立。
 
-## 合同与工作包
+## 跨轮执行与恢复
 
-只有要求容易遗漏或任务确需交接时，才为独立要求设置稳定标识，并保留用户原文位置、当前取代关系与对应产物；普通修改不先建需求表。工作包只拆实现，不替用户缩小目标。阶段通过、局部纠正、状态询问或“继续”不撤销未冲突要求；无法继续的部分保留为未完成，不能从合同中删除。
+只有确需中断恢复时才外化状态。聊天中的计划不自动授权写文件；用户指定位置或已有惯例优先，确需持久交接且写入已授权时才创建。同一任务只保留一个主状态，优先复用已有载体；缺少合适载体时使用 `assets/task-state.md`。计划和状态分开存放时互相指向，不复制进度。
 
-需要精确行为合同时使用：
+持久目标与自动续作只保存待完成结果，不证明计划正确，也不要求用满轮数。每次恢复先核对当前用户要求、实际产物与剩余差距，再决定下一步；不能只找清单中首个未勾项。已经成立的部分不重做，未成立的要求不删除，关联错误反复出现时按 support reference 重判路线。
 
-```text
-Given: 输入、前置状态和配置
-When: 可重复的操作或事件
-Then: 可观察成功结果
-And not: 明确禁止结果
-Failure: 失败状态、持久化与恢复行为
-Evidence: 测试、命令、API、UI、数据或外部结果
-```
+主状态只保留能改变继续方式的信息：目标及授权来源、当前方案、相关 checkout 与 dirty 基线、实际已实现和已验证结果、剩余差距、失效证据、关键未知及下一步。续作读取适用项目指令和唯一主状态，核对相关 diff 与真实结果；同一载体不重复读取，摘要和执行者自报不能替代原件。
 
-每个工作包只承诺一个可独立判断的结果。说明结果与改动边界，其他信息仅在会影响执行或验收时补充，不把下列项目当必填表：
+用户纠正或相关事实变化，只使受影响的计划、授权和证据失效。保留仍有效的部分，修正后继续；对外说明已做出的结果和实际阻碍，不用计划百分比或“基本完成”掩盖未完成项。
 
-- 覆盖的合同与可观察结果；
-- 相关 symbol、路径或系统边界，以及允许变化和必须保持；
-- 前置依赖、失败行为、兼容或回退要求；
-- 定向验证、最终证据和会使本包停止或回到上游决定的条件。
+## 交付计划
 
-已有缺陷具备稳定复现信号且回归价值成立时，计划先定义正确的旧失败和修复后通过条件。无法稳定红测时使用另一种能区分路线的 Oracle 并标明限制；不为了格式强制新增测试，也不把编译失败、fixture 错误或无关失败写成红色证据。
-
-## 验证、状态与续作
-
-- 计划中的验收按 `references/verification.md` 确定要证明的属性与相称证据，并写明取得证据的工作及其依赖。
-- 计划就绪至少要求：明确要求均有落点；当前事实与未知分开；工作包依赖和边界可执行；命令有项目来源；主要失败、恢复和回归风险有相称验收；未获授权动作和停止条件清楚。
-- 只有任务确实需要中断恢复时才外化执行状态。优先复用已有计划、issue、TODO 或账本；没有合适载体时使用 `assets/task-state.md`，同一任务只保留一个主状态。
-- 计划文档承担主状态时不另建独立账本；独立账本承担主状态时，计划只保存账本路径和稳定合同，不复制当前工作包、完成项或下一动作。非主载体不能维护另一份进度。
-- 主状态记录用户目标与授权依据、checkout revision 与相关 dirty 基线、当前工作包、已完成项及证据、失效证据、阻断、下一项可验证动作和停止条件。用户目标、相关源码、合同或基线变化会使受影响状态与证据 stale，重新对齐或重验后才能恢复。
-- 续作时重新读取项目指令、计划及其指向的主状态；两者相同时只读一次。核对 checkout 与相关 diff，定位首个未完成且已解锁的工作包，从唯一下一动作恢复。聊天摘要和执行者自报不能替代主状态或原始证据。
-- 实施状态与计划状态分开。只能根据当前证据标记未开始、实施未验证、已验证、阻断或完成，不使用“基本完成”掩盖未决项。
-
-## 最小交付结构
-
-项目没有既有模板时，按实际需要从下列结构取用：
-
-```markdown
-# <任务>实施计划
-
-> 状态：计划就绪；不表示实现完成。
-
-## 目标、非目标与完成证据
-## 当前事实、缺口与未知
-## 需求覆盖与必须保持
-## 工作包、依赖与允许范围
-## 验证、失败恢复与停止条件
-## 执行状态与续作方式（仅在需要时；非主状态只放主状态指针）
-```
-
-交付前删除无用途的章节和占位符，确认计划没有暗中扩大产品范围、写入授权或完成声明，并让下一执行者无需重新决定目标、边界和验收即可开始首个工作包。
+按项目已有格式给出足以实施的内容；没有模板时用目标与现状、整体方案、必要工作及依赖、完成依据和关键未决项即可。只在需要交接时加入状态位置。删除没有用途的章节和占位符，让实施者无需重新决定整体路线即可开始，同时知道什么新事实会使方案需要调整。

package/preset/odai/skills/odai/references/support.md

@@ -1,29 +1,23 @@
-# 自适应支撑与连续性
+# 恢复判断与连续性
 
-当前表现失稳、任务难以在一轮完成，或需要长期记忆与关系连续性时读取。
+理解或执行偏离、关联错误反复出现、局部通过而整体结果仍不成立，或需要中断恢复时使用。目的在于恢复可靠判断，不是给失败追加更多流程。
 
-## 按表现调整
+## 从实际差距重新判断
 
-当前理解准确、要求完整、证据与结论对应且能收口时保持自主。出现误解、执行偏差、非预期失败、证据冲突、遗漏要求、无新证据却继续尝试、范围漂移或无法收口时，先定位实际缺口。
+先把用户当前要求、整体方案与实际产物放在一起判断：偏差发生在目标理解、事实前提、整体路线、部分之间的连接，还是已知路线上的实施缺陷。不能只沿最近报错的文件寻找补丁，也不能把用户举出的一个例子当成全部问题。
 
-预期红测是验证反馈，已查明的环境缺失只阻断对应依赖，都不单独证明判断失稳。原因已明且能可靠闭合时，在有效授权内修正并重验；仍有缺口才增加相应支撑：
+已定位且不推翻路线的实施缺陷直接修复，按受影响属性重验。预期红测与已查明的环境缺失不单独证明路线错误，局部依赖不可用也不阻断其余工作。若修复后同类或关联问题继续出现，或检查通过而用户结果仍不对，就重新判断共同前提与整体关系；不继续通过拆小任务掩盖根因未明。
 
-- 理解或覆盖有偏差：对照当前用户要求与实际产物，修正缺失结果、旧计划和完成判断；授权是否变化遵循 `SKILL.md`。
-- 事实与猜测混淆：分清事实、假设、建议与待决定事项，取得能区分路线的证据。
-- 反复尝试却无法定位：将下一步缩成可独立验证的动作，用现有检查、diff、实际产物或外部响应取得判别性反馈。
-- 方法有缺口：读取能改变做法的工艺或项目资料。
-- 上下文无法可靠承载：按下文外化续作信息。
+缺事实时取得最能区分候选解释的证据；缺专业方法时使用对应资料或能力；缺用户信息、取舍或授权时及时沟通已有结果、具体未知和建议。不要用反复尝试代替判断，也不要只认错、改计划后结束仍可推进的工作。
 
-选择直接补足缺口的方法，不先走已知不足的办法。缺口闭合后结束已无作用的支撑；仍承担交接或验收的结构保留，信号复发再调整。不降低目标或验收，也不把内部检查单输出给用户。
+按新的判断修正实际产物和受影响的计划、结论与证据。保留仍有效部分，删除已无作用的步骤和支撑；不降低用户目标或用更多结构证明认真。没有可靠下一步时明确说明阻碍，不伪造完成或任由自动续作重复同一路线。
 
-## 连续性与记忆
+## 状态与记忆
 
-- 持续校准实际知道什么、能完成什么、能验证到哪里，以及哪些缺口需要资料、工具或他人。流畅、自信、模型名和一次成功都不是能力证据。
-- 确需中断恢复时，主状态与续作遵循 `references/planning.md` 和 `assets/task-state.md`；本文件只判断是否需要外化。
-- 未采纳建议、普通观察和改进候选不自动变成任务；能当轮完成的工作不推入后续队列。
-- 长期信息进入宿主或项目已有的权威位置。只有稳定、跨任务有用且可复核的信息才保存，并保留来源、范围和失效条件。用户偏好、既有承诺、反复纠正和共同确认的合作方式也按此门槛处理；不由片段对话推断性格、情绪、身份或敏感信息。秘密、一次观察、临时绕法和未采纳建议不固化。
-- 反馈或结果推翻既有判断时，更新同一记忆与后续做法，保留必要来源和失效条件，不掩盖改判。
-- `.odai/local.md` 只补所在项目的事实与约定，不充当任务状态、长期事实库或专业技能。来源失效、与权威事实冲突或超出范围时不沿用；不存在时不搜索近似文件或自动创建，不把对话偏好写进去。
-- 发现跨任务复发的规则缺口时，先完成当前任务，再把证据与适用范围交给既有维护位置；没有维护授权不修改技能或项目规则，采纳后只保留一个规则来源。
+跨轮状态的创建、单一载体和恢复遵循 `references/planning.md` 与 `assets/task-state.md`。外化只补上下文承载缺口，不替代判断；未采纳建议、普通观察和改进候选不自动变成后续任务，能当轮完成的工作不推入队列。
 
-验收属性、证据与放行由 `references/verification.md` 负责。
+长期信息进入已有权威位置，只保存稳定、跨任务有用且可复核的事实或明确偏好，并保留来源、范围和失效条件。不从片段对话推断性格、情绪、身份或敏感信息；秘密、一次观察、临时绕法和未采纳建议不固化。反馈推翻旧判断时更新同一事实与后续做法，不隐藏改判。
+
+`.odai/local.md` 只补项目事实与约定，不充当任务状态、长期记忆或专业技能；不存在时不搜索替代文件，不把对话偏好写进去。跨任务规则缺口先完成当前任务，再将证据交给既有维护位置；没有维护授权不修改技能或项目规则，采纳后保留一个规则来源。
+
+最终结果及证据依 `references/verification.md` 判断。

package/preset/odai/skills/odai/references/verification.md

@@ -1,29 +1,26 @@
 # 验证与完成
 
-当前结果是否成立仍有具体疑问，或需要判断组合交付、恢复与证据失效时读取。知道怎样完成的小改动不因“需要验证”而先读取本文件。
+完成依据、组合交付或证据适用性仍有具体疑问时读取。治理负责目标与授权，本文件负责选择证据和判断放行；普通小改动不必先加载本文件。
 
-验证方式按尚未判明的具体属性选择。普通文案、注释、格式或局部样式修改，检查 diff、目标内容及必要的实际效果通常就够；不要为了验证而默认搭环境、启动浏览器、造截图脚本或运行整套测试。涉及行为、共享接口、权限或数据的改动，才按实际影响补相应检查。项目明确要求的检查仍按其适用范围执行。
+## 选择证据
 
-运行测试前应能说明它要排除哪种具体失败，以及结果会怎样改变交付判断；已有检查或直接观察已覆盖时不追加。新增自动化测试还须覆盖值得长期防回归的行为，且现有测试确有缺口；不为一次性改动、复述实现或固定 Markdown 措辞而新建测试。不把内部判断另写成计划、清单或验证报告，除非用户要求或交接确有需要。
+- 围绕用户结果、明确限制和不可接受结果确定要证明的属性，纳入证据显示为目标所必需的条件；不把假定根因、模型选择的手段或流程当成成功标准。
+- 每份证据绑定实际对象、版本与属性。配套检查只证明所覆盖的部分，主要产物及组合使用仍须有对应证据；测试、构建、静态检查、diff、截图、日志和人工观察不能互相冒充。声明或配置不证明真实执行，端到端结论须有实际调用或使用链。
+- 按失败代价、影响范围、不确定性和已有覆盖选择最轻的充分验证。文案、注释、格式或局部样式通常检查差异及必要效果即可；行为、接口、权限或数据变化则覆盖相关调用方、边界和错误路径。项目规定的检查照其适用范围执行，不把“少跑”当目标，也不默认搭环境、启动浏览器或跑全量。
+- 事实核验使用项目指定的查询、命令、样本和来源，不能用相似字段或近似范围替代。指定验证器不可用时先查兼容入口；仍不可用才用覆盖同一属性的其他证据，并说明原验证器未通过，不称自写近似检查为等价。
+- 运行检查须能说明它要排除的具体失败；已有有效证据覆盖时不追加。新增测试还须有长期回归价值和现有覆盖缺口，不为固定正文措辞、复述实现或一次性改动造测试。内部判断无需另写报告，除非用户要求或交接需要。
 
-## 建立验收
+## 判断结果
 
-- 先确认验收对应用户已对齐的真实结果，而非模型自行选择的根因、手段或交付物；再把明确结果、限制、具体对象、输入、位置和不可接受结果映射成可观察证据，证据证明为目标所必需的条件也纳入。
-- 只验证相关属性和主要回归风险，每份证据绑定实际覆盖的交付对象与属性。配套构建或测试通过只证明对应配套结果，主要交付物仍须有与用户目标对应的完成证据。测试、构建、静态检查、diff、截图、日志和人工观察不能互相冒充。
-- 项目已指定某项事实的权威筛选、查询、命令、样本或来源时，按该入口核验；相似字段、近似范围、替代命令或其他来源不能冒充同一对象与含义。
-- 验证强度由失败代价、影响范围、不确定性和已有证据覆盖共同决定；用户可见、工具可用或追求完整本身不构成升级理由。较轻证据已覆盖目标与主要风险时即采用；只有关键属性仍无法判定，或出现失败、冲突与新风险时，才升级到更接近真实场景的验证。
-- 验收先写要证明的属性，不把模型自行选择的命令、工具或流程升级成成功条件；只有用户或权威约定明确点名时，指定方法本身才属于契约。指定验证器因当前启动入口或依赖不可用而失败时，先核对现有环境能否用兼容入口运行同一验证器；仍不可用才采用真正覆盖同一属性的其他证据，并明确它没有证明原验证器已通过，不把自写近似检查称为等价。证据仍缺失就如实标明。
+- 按当前有效要求判断完整交付。整体整理须检查本体、配套及其连接，分别有据决定保留、合并、修正或退役，未检查不能写成无需改动；局部通过、未发现问题或若干局部审查不证明整体成立。未知只阻断依赖项，其余先交付。
+- 审查限于受托属性、必要依赖和既有验收。缺陷须有触发与影响证据，并对应既有要求或安全边界；偏好、范围外建议和证据不足不能成为已证实失败。真实失败须处理，不为变绿放宽验收。
+- 属性确需独立判断，或用户明确要求独立复核时，取得能检验当前依据与盲点的独立证据；重复自检或复述同一摘要不能替代。无法取得则说明未验证属性及继续条件，只阻断依赖它的放行。
+- 区分已实施、已验证、未验证和建议，不用“应该、看起来、理论上”表达成功。版本、候选、提交、发布和迁移状态核对机器事实源、当前产物与真实事件；未结束原位更新，迁移时同步权威载体与用户文档，历史记录不与当前状态争夺所有权。
 
-## 判断完成
+## 复用与收口
 
-- 用户已对齐的真实结果已经成立，明确要求均有结果，主要风险有相称证据，才算完成。整体整理须核对本体、配套及它们的连接关系，各部分有基于证据的处置结论；保留可以是正确结果，未检查不能写成无需改动。局部未知只阻断依赖它的部分，其余继续交付并保留未完成项。
-- 声明、配置和注释只证明“写了什么”；局部观测只证明观测范围；真实调用或使用链才证明端到端结果。
-- 审查范围限于点名属性、必要依赖与既有验收。问题须对应已确认要求、必要条件或安全边界；偏好、范围外建议和证据不足分别处理，不能冒充已证实失败。采纳与修正依据原始证据；未发现问题或多份局部通过不能代替完整需求覆盖与整体结果，已证实的失败必须处理。
-- 分批改动按最终组合判断结果，复用未受影响的证据；只有组合改变了共享契约、依赖顺序或已有结论的适用条件时，才补查相应属性。修复某个失败项后先重验该项及其受影响依赖，不因又改了文件就重跑全部测试、构建或打包。
-- 冲突解决或兼容性编辑须在有效写入授权内，并有对应范围和验收。组合跨越重大安全、数据、并发、兼容、迁移或公共契约边界时，辨明现有证据尚未覆盖的组合属性，再补足相称验证。属性确需独立判断，或用户明确要求独立复核时，须取得能够检验当前依据与盲点的证据；重复自检、复述同一摘要或增加意见数量不能替代独立性。无法取得时只阻断依赖该证据的放行，说明未验证属性和继续条件。
-- 改动落地但关键场景未验证时，明确区分已实施、已验证与未验证，不用“应该、看起来、理论上”表达成功。
-- 实际结果或用户反馈与原判断不符时，以新证据先纠正当前产物与受影响的完成或放行结论，使相应旧证据失效并修正验收与后续做法；不维护已被推翻的立场。再按教训的适用范围选择局部测试、实现机制或通用规则；推广须有可复现的适用问题与保持项证据，不因一次失误扩大永久流程。
-- 版本、候选、阶段、提交、发布或迁移状态属于可验证结果。先核对机器可读事实源、当前产物与真实事件；前一状态未实际结束时更新同一状态，不创建后继值或把当前候选写成历史。确需迁移时，核对权威载体与用户文档指向同一当前值，历史记录按事实保留但不与现役状态争夺所有权。
-- 证据足够就停止；每次追加验证前须有尚未闭合、且结果会改变完成判断的具体属性。同一证据范围已通过且没有新失败、冲突、变更或风险时，不重复验证；不能因安心、工具可用、发现范围外问题或追求完整无限提高完成门，也不能因疲劳或流程完成降低验收。
+分批改动按最终组合验收，复用未受影响的证据。共享契约、依赖顺序或适用条件改变时补查对应属性，尤其注意安全、数据、并发、兼容和迁移的组合风险；修复失败后先重验该项及受影响依赖，不因又改了文件就重跑全部检查或打包。
 
-继续旧任务时，先从用户原话、当前产物、主状态、diff 和真实运行结果恢复目标与进度；跳过已有有效证据的完成项，不沿用无证据的旧完成标签。
+实际结果或用户反馈推翻旧判断时，先修正产物、受影响的完成结论与证据，再决定是否需要局部测试、实现机制或通用规则；推广须有可复现的问题和保持项依据，不因一次失误扩大永久流程。跨轮恢复由 `references/planning.md` 负责。
+
+目标与主要风险已有充分证据即停止。只有新变更、新失败、冲突或尚未覆盖的必要属性才追加验证；不为安心或范围外建议提高验收门槛，也不因疲劳降低标准。

package/preset/odai/skills/odai-orchestration/references/orchestration.md

@@ -15,8 +15,8 @@
 
 ## 任务包与回交
 
-- 默认使用新鲜独立上下文，提供点名问题、相关用户原文与有效决定、最小取代关系、范围、必要依赖、职责合同、基线、可访问原件、决定性工具结果、未决项及停止条件。注明用户主要语言，不复制完整总控会话，不裁掉会改变判断的要求或安全边界。
-- reviewer 的包加入必要对齐问答与规划、实际 diff 和工具结果，并标明被审版本。固定证据包保留不可变原件；宿主允许补读源码时，只读本次范围内可绑定被审版本的必要内容。所需规则不可访问时不得冒充已提供。
+- 默认使用新鲜独立上下文。给清受托问题、范围、有效用户决定与职责合同；原文及取代关系、基线、依赖、原件、工具结果、未决项和停止条件只带本次判断所需部分。注明用户主要语言，不复制完整总控会话，不裁掉必要要求或安全边界，不把清单当必填表。
+- reviewer 的包标明被审对象与版本，按审查属性提供相关问答、规划、实际 diff 或执行回执；缺项保留未判定，不为凑齐材料额外制造工作。固定证据包保留不可变原件；宿主允许时可补读范围内、能绑定被审版本的源码，但补读不证明执行。所需规则不可访问时不得冒充已提供。
 - 只有无法可靠裁剪的既往交互本身构成决定性证据，宿主可核实继承范围，且收益足以支持额外上下文与延迟时才继承会话；继承范围未知时不使用 fork。
 - 再次交接只补增量、原 finding 与受影响证据，按治理的 verification reference 判断证据是否仍有效；截断先修交接。
 - 回交区分实际产物、已验证结果与建议。总控核实贡献并整合；稳定分工须有重复使用依据，质量或成本改善须有可比证据，不按角色与调用数量衡量价值。