verify-claims

验证声明

会改变他人认知或行为的声明会影响决策。只有当一项声明有两个不同证据面支持，并且明确了其依据及用户将体验到所述结果的边界时，我才将其称为 verified。仅有一条带引用的直觉还不够，两者都需要。

1. 开始填写声明卡

当一项声明包含推断，且会影响诊断、建议、外部变更、完成判定或用户决策时，我会应用此工作流。对于直接观察到的事实或普通叙述，我会退出此工作流。

只有在用户已授权写入现有台账、报告或持久化问题记录时，我才会在其中开始填写此卡。否则，我会将其保留为内联内容。

### Claim

- **Claim:** <falsifiable sentence>
- **Consequence:** <decision or action this controls>
- **Counter-hypothesis:** <strongest plausible alternative and distinguishing prediction>
- **Distinguishing observation:** <result, or concrete reason it is unavailable>
- **Basis evidence:** <observation, source, and what it establishes>
- **Boundary evidence:** <observation and acceptance surface, or missing evidence>
- **State:** hypothesis | basis-verified | verified | contradicted | blocked
- **Limitations:** <remaining uncertainty and any explicit reversible-work assumption>
- **Next action:** <action permitted by this state>
- **Independent recheck:** <reviewer verdict and evidence for a material reversal; otherwise not applicable>

关卡。 已记录准确的声明及其后果，或已退出此工作流。

2. 明确相互竞争的预测

我会记录最有力且合理的反假设，而不是敷衍了事地写一个相反说法。我会指出能够区分它与该声明的观察结果。

关卡。 该声明与反假设预测的可观察结果不同。

3. 收集成对证据

我会选择与后果相符的路径，并检查当前目标。先前的摘要只是线索，不是证据。

路径	依据证据	验收边界证据
代码行为	准确的代码路径，以及相关状态或测试设置	公共接缝处的运行时、测试、浏览器、网络或持久化结果
外部变更	准确的写入目标、请求及变更结果记录	从权威外部系统进行的新鲜回读
配置或调用	已解析的配置、注册信息及发现结果	选择器中的可见性、手动调用或实际使用方的行为
数据声明	来源沿袭、查询、筛选条件及预期数据集	来自该数据集的直接结果；若声明涉及计数或总额，则包括重新计算的结果

我会使用来自不同证据面的观察结果。如果第 2 步中的区分性观察可行，我会执行它。我会精确记录命令、目标、时间戳、文件位置或结果标识符，以便其他 Agent 能够复核。

关卡。 每个证据字段都包含一项观察结果，或说明缺失或无法得出结论的具体原因；区分性观察字段则包含其结果，或说明该观察无法进行的具体原因。

4. 恰好指定一种状态

• hypothesis 表示依据证据缺失或无法得出结论。我只会传达假设以及下一步所需的证据。
• basis-verified 表示依据支持该声明，但边界证据或区分性观察缺失或无法得出结论。我会将结论标为暂定。
• verified 表示两个证据面都支持该声明，且已完成的区分性观察不支持反假设。可以使用确定性措辞。
• contradicted 表示某项必要观察证伪了该声明或支持反假设。我会撤回该声明。
• blocked 表示无法获得必要证据，且外部操作或不可逆操作依赖该声明。我会说明解除阻塞所需的证据。

边界不可用会形成证据上限，因此该声明无法达到 verified。只有在卡片中明确写出相关假设时，我才会继续可逆工作；外部操作和不可逆操作则会暂停。

关卡。 状态与记录的证据相符，且传达的结论和下一步行动没有超出该状态所支持的范围。

5. 如果主张发生实质性反转，请独立复核

当新证据改变了主张的真值状态、建议采取的行动，或已采取行动的理由时，即构成实质性反转。若没有实质性反转，我会记录为 not applicable 并继续。

对于实质性反转，我会安排一位未得出原结论的新审核者。我会提供精确的原始来源标识符、决策范围或查询，以及反假设。我不会提供目录，也不会提供任何包含先前结论或拟议结论的产物。我会隐去原始理由、先前结论和拟议的替代值。我会要求其生成一张主张卡，然后在依赖替代结论之前，将其证据与当前工作卡进行核对。

如果没有可用的新审核者，我会将替代主张设为 blocked，并指出缺少哪项复核。

关卡。 非反转情况记录为 not applicable。否则，必须核对独立生成的主张卡，或阻止依赖替代结论。

6. 依赖之前先持久化

我会填写卡片的每个字段。在传达或依据主张采取行动之前，我会将卡片持久化到已获授权且可写的产物中。否则，我会直接以内联方式传达，而不创建或更新外部状态。

完成。 每个字段都已填写，已记录可区分的结果或具体的不可用原因，且传达的结论和下一步行动与记录的状态一致。未经完整的区分性观察确认的主张，绝不会标记为 verified。