verification-before-completion

如果可见 `activation_mode = "explicit"` 或 `AEGIS_ACTIVATION_MODE=explicit`， 且请求既未提及 Aegis，也未提及此技能，则返回快速路径 ，不执行检查清单或仪式；否则继续。

执行

在宣称成功之前：对破坏性操作权限进行分类；阅读足够的当前证据，并在证据缺失或已失效时运行新的证伪检查；阅读完整结果和范围；选择 L0/L1/L2。证据不完整、过时、失败或范围较窄时，降低结论等级；绝不可先宣称完整，再进行验证。

此规则包不授予任何 GateDecision、PolicySnapshot、证据充分性、需求验收或完成授权。

停止信号

• 证据不确定、过时、仅来自 Agent，或范围比所作声明更窄；
• 下一步操作是提交、推送、创建 PR、合并、打标签、发布或交接；
• 将任务／切片完成视为已满足需求；
• 治理或退役缺乏修复／退役证据；
• 保留的旧逻辑缺少保留理由和退役触发条件；或
• 复杂性收尾尚未解决。

破坏性／不可逆操作需要明确范围的许可；笼统同意不等于明确范围的许可。

必需的证据项

对于变更界面／交互的声明，组合 ui-ux-governance 验证；将结果和未覆盖的用户标准带到此处，并确保只有一位收尾负责人。

- Evidence action / check performed:
- Result / exit status:
- Covered scope:
- Uncovered scope:
- Residual risk:
- Confidence grade: A | B | C

• A：目标 + 回归；不存在有意义的未知项。
• B：目标证据；剩余风险有明确边界。
• C：仅部分完成；不得宣称全部完成。

对于修复／优化，应区分原因、收尾和已验证结果。 检查交互和已保留的行为；调查会造成重大影响的未知项。

声明需要在触发环节进行目标测试，并提供相关回归证据。 缺少触发环节是架构缺口；受阻的自动化需要可复现的手动步骤。两者都会降低可信度。

对于每项明确的基线／制品／负责人／契约／证据引用，阅读最精简的相关源文件。标记为已保留、已绑定到其规范负责人、因注明原因而退役，或因冲突而拒绝。将未解决的引用留在未覆盖范围内，降低可信度，不要重新推断。 回读不能证明图谱完整、引用完整性或权威溯源。

在授权的转换范围内检查遗漏和无依据的新增内容；复用充分的证据，无需穷尽追踪或单独报告。

让结论与已检查的属性、对象和条件相匹配。解决反例，或对结果作出限定。解析成功既不能证明必需字段齐全，也不能证明语义准确；成功标签不能消除警告。设置不能证明实际生效的行为；条件变化会限制因果比较。以确定性方式检查可衡量的要求。注明观察结果的来源；只声明实际执行过的检查。复用现有审查，不进行新的模型调用，不生成新报告，也不增加验收标准。调查可以以否定性或有限定的发现结束，无需验收所调查的结果。

继承声明收尾

对于被反驳的续接声明，应独立完整阅读当前有效的更正和最终披露：在续接时声明了什么，以及其不准确的原因。当前的成功不能替代这些内容。保留主题、范围和时间；相关声明可以共用一项说明。检查仅作示例、否定、撤回或重新界定范围的文本；引文匹配不能证明已采纳。保留准确的声明。实质性分歧未解决时，标记为 needs-verification，不要强迫审查者达成一致；证据解决分歧后，按常规方式验证。没有差异时，省略此项。

任务 Git 收尾

将修改与 TaskStartSnapshot 进行比较；仅协调者暂存任务路径，绝不暂存预先存在的状态或大范围暂存内容。 完成新鲜验证后，创建一个本地提交；只读／无变更、已授权的 no commit 或验证失败时除外。回读 HEAD、提交消息、文件和差异。提交／钩子失败时保留工作，并禁止声称干净；绝不绕过钩子。

Git 回执：分支；SHA／消息或不提交的原因；Task clean；Repository clean；每个任务创建的分支／工作树是已创建、已移除还是保留，并说明原因。 任务干净绝不意味着仓库干净；它不代表已与外部集成。

对提交范围分类：business、process-only、mixed 或 no-commit。 失败尝试的遥测不是不提交的理由。仅涉及 docs/aegis/ 的流程差异不会重新启动业务验证；业务／测试差异则会。

Aegis 可见性／单一收尾

使用一个完成呈现面：此技能是唯一的完成收尾汇总器。 相邻技能／L2 卡片不得取代它，也不得成为相互竞争的最终报告负责人。 汇总是输出规范要求，不是路由触发条件：不要仅为填充回执而调用额外技能、Trace Digest 或仪式流程。

如果遗漏了入口可见性，应指出并说明决策／证据缺口，而不是列出已用技能或提供 Aegis Contribution Note。

L0 快速路径

对于微小、低风险工作或只读摘要，用一个自然句说明： 检查／结果、未覆盖的范围／风险、置信度。要求具备充分且当前的证据；注明所提供证据的来源；不得虚构执行情况或额外报告。

L1 默认回执

将证据归入 Evidence strength 和 Uncovered risk。

Aegis Impact and Safety Receipt 栏位： Key judgment=负责人／根因／要求／完成边界； Avoided misfix=回退方案／重复项／测试迁就／范围扩大； Boundary held=契约／负责人／基线／非目标／数据／运行时边界； Baseline alignment=一致／Design Defect／Implementation Drift／缺少授权／需要澄清／未触发； Complexity control=完成时间变化／闭合情况； Evidence strength=新鲜检查／结果／范围／置信度； Uncovered risk=剩余缺口／残余风险； Next most valuable verification=价值最高的下一项检查； Aegis path=可选，不属于判断／证据。

使用自然措辞也有效，只要包含可审计的语义栏位（Semantic Slots、Natural Surface、Governance Receipt）。

报告已完成／已验证／存在风险／受阻。不要解释显而易见的权衡；不要列出未采取的操作。

L2 扩展触发条件

符合条件时，读取 expanded-closeout.md 了解详情；此文件负责路由／回执。

触发条件	扩展负责人
发布／合并／公布／就绪／交接	Readiness Summary
审计／调试／发布／长任务审查／追踪请求	Trace Digest
目标／TaskIntentDraft／计划／规范／Slice Card	Goal Closure
项目／领域语义变化	Context Impact
docs/aegis/ 目标已变更或存在工作记录	Workspace Integrity
要求／产品／持久架构	Baseline/ADR
治理／清理／迁移／兼容／退役	Governance/Retirement
事实来源／不可逆删除	destructive-action cards
复杂度压力显著	Expanded Complexity Detail
高风险或用户明确要求扩展收尾	适用的卡片

工作区命令由扩展负责人负责。

完成边界

将计划／规格、TaskIntentDraft 或 Slice Card 与当前授权请求进行核对；过时的计划不能凌驾于当前请求之上。检查对象、请求的操作、条件、交付物及交付是否可用。 相关测试才算数；无关的通过检查／中间输出不算。 明确报告剩余工作及其原因。 一个切片不能关闭整个任务，也不能证明项目级可靠性。

任务／切片完成意味着达到其授权的停止点；这不代表已满足验收要求。 Requirement accepted 需要基线标准或经授权的风险接受；否则使用 needs-verification，或返回需求梳理／规划阶段。目标闭环状态：done | blocked | needs-verification | scope-exceeded。 Execution Readiness View 是输入，不是验证证据。

复杂度降级

对于非简单代码，检查差异；使用 using-aegis/references/complexity-governance.md 以及 docs/current/AEGIS_COMPLEXITY_GOVERNANCE_BASELINE.md；输出一行 Complexity control。

新增的回退／适配器／兼容性／防护／分支逻辑必须有已废弃路径或废弃触发条件。 Complexity Closure: exceeded-unresolved 会阻止完成。 维护中的源代码／测试不能以改动微小为由跳过检查；不会增加复杂度的低风险文本微调可以跳过。

输出与提示词卫生

将章节标题、字段标签和说明性文字本地化；保留命令、路径、标识符、枚举、产品名称及原始证据；避免使用双语标签或混杂语言的说明。

外部输出是证据候选：先编制索引／摘要，再提供摘录；降低无依据的主张。相关时报告 Evidence Used、Not Loaded、Next Evidence。