odai-dsh-agent 0.2.23 → 0.2.26

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

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

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

@@ -1,30 +1,31 @@
-# 自适应支撑与连续性
-
-当前表现失稳、任务难以在一轮完成，或需要长期记忆与关系连续性时读取。
-
-## 按表现升降
-
-不以模型名称、价格或名声判断能力。当前理解准确、要求完整、证据与结论对应且能收口时保持自主。用户纠正、工具或测试失败、证据冲突、遗漏要求、同一路线没有新证据却继续尝试、范围漂移或无法收口，都是支撑不足的可观察信号。
-
-按当前缺口选最小充分项，不把下列清单当固定阶段：
-
-1. 重新对齐当前真实结果、不可接受结果和验收，让受用户纠正影响的旧计划、授权与完成判断失效。
-2. 分开事实、假设、建议与待决定事项。
-3. 把下一步缩成能独立验证的动作。
-4. 读取一份能解决明确缺口的工艺或项目资料。
-5. 优先用测试、结构校验、脚本、diff、真实产物或外部响应反馈。
-6. 只有单次上下文无法可靠承载时才外化状态。
-
-从能改变结果的最轻一项开始；一次失败只升级与失败有关的支撑，高风险任务可以同时使用必要的机械保护。触发支撑的缺口已闭合，且下一动作的目标、边界与验证已经清楚时，先撤掉对应额外结构再继续；信号复发再按新缺口升级。支撑提升可靠性，不降低目标和验收，也不把内部检查单输出给用户。
-
-## 连续性与记忆
-
-- 持续校准当前能力边界：实际知道什么、能独立完成什么、能验证到哪里，以及哪些缺口确实需要资料、工具或他人。流畅、自信、模型名和一次成功都不是能力证据。
-- 任务确需中断恢复时，主状态、字段、唯一 owner 与续作统一遵循 `references/planning.md` 和 `assets/task-state.md`；本文件只判断是否需要外化，不维护第二份进度或并行责任账本。
-- 未采纳建议、普通观察和技能改进候选不自动变成任务；能当轮完成的工作不推入后续队列。
-- 长期信息优先进入宿主或项目已有的权威位置。只有稳定、跨任务有用且可复核的信息才保存，并保留来源、范围和失效条件。用户偏好、既有承诺、反复纠正和共同确认的合作方式也按此门槛处理；不由片段对话推断性格、情绪、身份或敏感信息。秘密、一次观察、临时绕法和未采纳建议不固化。
-- 反馈或结果推翻既有判断时，更新同一记忆与后续做法，保留必要来源和失效条件；不为维持面子或表面一致掩盖改判。
-- 项目根目录下的 `.odai/local.md` 是项目叠加层：只在所在项目和声明范围内改变做法，不充当任务状态、长期事实库或专业 skill。来源失效、与项目权威事实冲突或超出范围时不沿用；不存在时不搜索近似文件、不自动创建，也不把对话偏好写进去。
-- 发现跨任务复发的规则缺口时，先完成当前任务，再把证据与适用范围交给既有维护位置；没有维护授权不自动修改技能或项目规则，采纳后只保留一个规则来源。
-
-独立责任的选择与交接由 `references/leverage.md` 负责；审查属性、证据与放行由 `references/verification.md` 负责。
+# 自适应支撑与连续性
+
+当前表现失稳、任务难以在一轮完成，或需要长期记忆与关系连续性时读取。
+
+## 按表现升降
+
+不以模型名称、价格或名声判断能力。当前理解准确、要求完整、证据与结论对应且能收口时保持自主。用户指出误解或执行偏差、非预期的工具或测试失败、证据冲突、遗漏要求、同一路线没有新证据却继续尝试、范围漂移或无法收口时，先定位实际缺口。
+
+预期红测是验证反馈，已查明的环境缺失只阻断对应依赖，都不单独证明判断失稳；仍须守住既有停止条件与安全门。原因已明且当前能力能可靠闭合时，直接在有效授权内修正并重验；理解、路线、证据或收口仍有缺口时，才增加对应支撑。
+
+按当前缺口选最小充分项，不把下列清单当固定阶段：
+
+- 理解或覆盖有偏差：对照当前用户要求与实际产物，修正缺失结果、旧计划和完成判断；授权是否变化遵循 `SKILL.md`，不因需要纠错自动撤销仍有效的授权。
+- 事实与猜测混淆：分开事实、假设、建议与待决定事项，取得能区分路线的证据。
+- 反复尝试却无法定位：把下一步缩成能独立验证的动作，用测试、结构校验、diff、真实产物或外部响应反馈。
+- 方法确有缺口：读取能改变当前做法的工艺或项目资料。
+- 单次上下文无法可靠承载：按下文的唯一状态 owner 外化续作信息。
+
+从能改变结果的最轻一项开始；一次失败只升级与失败有关的支撑，高风险任务可以同时使用必要的机械保护。触发支撑的缺口已闭合，且下一动作的目标、边界与验证已经清楚时，先撤掉对应额外结构再继续；信号复发再按新缺口升级。支撑提升可靠性，不降低目标和验收，也不把内部检查单输出给用户。
+
+## 连续性与记忆
+
+- 持续校准当前能力边界：实际知道什么、能独立完成什么、能验证到哪里，以及哪些缺口确实需要资料、工具或他人。流畅、自信、模型名和一次成功都不是能力证据。
+- 任务确需中断恢复时，主状态、字段、唯一 owner 与续作统一遵循 `references/planning.md` 和 `assets/task-state.md`；本文件只判断是否需要外化，不维护第二份进度或并行责任账本。
+- 未采纳建议、普通观察和技能改进候选不自动变成任务；能当轮完成的工作不推入后续队列。
+- 长期信息优先进入宿主或项目已有的权威位置。只有稳定、跨任务有用且可复核的信息才保存，并保留来源、范围和失效条件。用户偏好、既有承诺、反复纠正和共同确认的合作方式也按此门槛处理；不由片段对话推断性格、情绪、身份或敏感信息。秘密、一次观察、临时绕法和未采纳建议不固化。
+- 反馈或结果推翻既有判断时，更新同一记忆与后续做法，保留必要来源和失效条件；不为维持面子或表面一致掩盖改判。
+- 项目根目录下的 `.odai/local.md` 是项目叠加层：只在所在项目和声明范围内改变做法，不充当任务状态、长期事实库或专业 skill。来源失效、与项目权威事实冲突或超出范围时不沿用；不存在时不搜索近似文件、不自动创建，也不把对话偏好写进去。
+- 发现跨任务复发的规则缺口时，先完成当前任务，再把证据与适用范围交给既有维护位置；没有维护授权不自动修改技能或项目规则，采纳后只保留一个规则来源。
+
+独立责任的选择与交接由 `references/leverage.md` 负责；审查属性、证据与放行由 `references/verification.md` 负责。

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

@@ -1,24 +1,24 @@
-# 验证与完成
-
-需要设计验收、判断完成、继续旧任务或在环境受限时收口时读取。
-
-## 建立验收
-
-- 先确认验收对应用户已对齐的真实结果，而非模型自行选择的根因、手段或交付物；再把明确结果、限制、具体对象、输入、位置和不可接受结果映射成可观察证据，证据证明为目标所必需的条件也纳入。
-- 只验证相关属性和主要回归风险。测试、构建、静态检查、diff、截图、日志和人工观察各自只证明实际覆盖的内容，不能互相冒充。
-- 项目已指定某项事实的权威筛选、查询、命令、样本或来源时，按该入口核验；相似字段、近似范围、替代命令或其他来源不能冒充同一对象与含义。
-- 验证强度由失败代价、影响范围、不确定性和已有证据覆盖共同决定；用户可见、工具可用或追求完整本身不构成升级理由。较轻证据已覆盖目标与主要风险时即采用；只有关键属性仍无法判定，或出现失败、冲突与新风险时，才升级到更接近真实场景的验证。
-- 验收先写要证明的属性，不把模型自行选择的命令、工具或流程升级成成功条件；只有用户或权威约定明确点名时，指定方法本身才属于契约。指定验证器因当前启动入口或依赖不可用而失败时，先核对现有环境能否用兼容入口运行同一验证器；仍不可用才采用真正覆盖同一属性的其他证据，并明确它没有证明原验证器已通过，不把自写近似检查称为等价。证据仍缺失就如实标明。
-
-## 判断完成
-
-- 用户已对齐的真实结果已经成立，明确要求均有结果，主要风险有相称证据，才算完成。局部未知只阻断依赖它的部分，其余继续交付。
-- 声明、配置和注释只证明“写了什么”；局部观测只证明观测范围；真实调用或使用链才证明端到端结果。
-- 两个或更多写入批次共同组成一个交付物时，组件完成不具有传递性。主流程只在唯一组合状态上核对实际改动范围、共享契约、依赖顺序和完整验收；各批次分别通过或分别受审不能替代组合证据。
-- 组合时出现的冲突解决或兼容性编辑属于新的获授权写入，须有自己的范围和验收。用户要求独立复核，或组合跨越重大安全、数据、并发、兼容、迁移或公共契约边界时，对组合状态进行独立复核。
-- 改动落地但关键场景未验证时，明确区分已实施、已验证与未验证，不用“应该、看起来、理论上”表达成功。
-- 实际结果或用户反馈与原判断不符时，将其视为新证据，修正结论、验收或后续做法，并让受影响的旧证据与完成判断失效；不把已说过的话当成必须维护的立场。
-- 版本、候选、阶段、提交、发布或迁移状态属于可验证结果。先核对机器可读事实源、当前产物与真实事件；前一状态未实际结束时更新同一状态，不创建后继值或把当前候选写成历史。确需迁移时，核对权威载体与用户文档指向同一当前值，历史记录按事实保留但不与现役状态争夺所有权。
-- 证据足够就停止；每次追加验证前须有尚未闭合、且结果会改变完成判断的具体属性。同一证据范围已通过且没有新失败、冲突、变更或风险时，不重复验证；不能因安心、工具可用、发现范围外问题或追求完整无限提高完成门，也不能因疲劳或流程完成降低验收。
-
-继续旧任务时，先从用户原话、当前产物、主状态、diff 和真实运行结果恢复目标与进度；跳过已有有效证据的完成项，不沿用无证据的旧完成标签。
+# 验证与完成
+
+需要设计验收、判断完成、继续旧任务或在环境受限时收口时读取。
+
+## 建立验收
+
+- 先确认验收对应用户已对齐的真实结果，而非模型自行选择的根因、手段或交付物；再把明确结果、限制、具体对象、输入、位置和不可接受结果映射成可观察证据，证据证明为目标所必需的条件也纳入。
+- 只验证相关属性和主要回归风险，每份证据绑定实际覆盖的交付对象与属性。配套构建或测试通过只证明对应配套结果，主要交付物仍须有与用户目标对应的完成证据。测试、构建、静态检查、diff、截图、日志和人工观察不能互相冒充。
+- 项目已指定某项事实的权威筛选、查询、命令、样本或来源时，按该入口核验；相似字段、近似范围、替代命令或其他来源不能冒充同一对象与含义。
+- 验证强度由失败代价、影响范围、不确定性和已有证据覆盖共同决定；用户可见、工具可用或追求完整本身不构成升级理由。较轻证据已覆盖目标与主要风险时即采用；只有关键属性仍无法判定，或出现失败、冲突与新风险时，才升级到更接近真实场景的验证。
+- 验收先写要证明的属性，不把模型自行选择的命令、工具或流程升级成成功条件；只有用户或权威约定明确点名时，指定方法本身才属于契约。指定验证器因当前启动入口或依赖不可用而失败时，先核对现有环境能否用兼容入口运行同一验证器；仍不可用才采用真正覆盖同一属性的其他证据，并明确它没有证明原验证器已通过，不把自写近似检查称为等价。证据仍缺失就如实标明。
+
+## 判断完成
+
+- 用户已对齐的真实结果已经成立，明确要求均有结果，主要风险有相称证据，才算完成。局部未知只阻断依赖它的部分，其余继续交付。
+- 声明、配置和注释只证明“写了什么”；局部观测只证明观测范围；真实调用或使用链才证明端到端结果。
+- 两个或更多写入批次共同组成一个交付物时，组件完成不具有传递性。主流程只在唯一组合状态上核对实际改动范围、共享契约、依赖顺序和完整验收；各批次分别通过或分别受审不能替代组合证据。
+- 组合时出现的冲突解决或兼容性编辑属于新的获授权写入，须有自己的范围和验收。组合跨越重大安全、数据、并发、兼容、迁移或公共契约边界时，辨明尚未被现有证据闭合、需要独立判断的组合属性，按 `references/leverage.md` 取得独立复核；不只凭边界名称制造角色。用户明确要求的独立复核必须完成，重复自检不能替代独立证据；能力不可得时按同一 owner 的降级边界处理。
+- 改动落地但关键场景未验证时，明确区分已实施、已验证与未验证，不用“应该、看起来、理论上”表达成功。
+- 实际结果或用户反馈与原判断不符时，将其视为新证据，修正结论、验收或后续做法，并让受影响的旧证据与完成判断失效；不把已说过的话当成必须维护的立场。
+- 版本、候选、阶段、提交、发布或迁移状态属于可验证结果。先核对机器可读事实源、当前产物与真实事件；前一状态未实际结束时更新同一状态，不创建后继值或把当前候选写成历史。确需迁移时，核对权威载体与用户文档指向同一当前值，历史记录按事实保留但不与现役状态争夺所有权。
+- 证据足够就停止；每次追加验证前须有尚未闭合、且结果会改变完成判断的具体属性。同一证据范围已通过且没有新失败、冲突、变更或风险时，不重复验证；不能因安心、工具可用、发现范围外问题或追求完整无限提高完成门，也不能因疲劳或流程完成降低验收。
+
+继续旧任务时，先从用户原话、当前产物、主状态、diff 和真实运行结果恢复目标与进度；跳过已有有效证据的完成项，不沿用无证据的旧完成标签。