bulletproof

万无一失

不要轻信任何内容。凡是可核查的，都要证明。

方法

运行与目标匹配的分支。只有在既要证明声明、又要证明实现已完成时，才运行两个分支。

验证

1. 冻结声明集、目标和状态。
2. 揭示所有关键假设。
3. 在开始搜索前，定义证明与证伪的标准。
4. 检查权威的本地来源。外部事实须使用一手来源。
5. 针对缺失、过时或间接证据，运行安全检查。
6. 让证据解决分歧。

实现证明

在代码或验证工作完成后，保留决定性的命令事实。

输出

对于验证，返回一张渲染后的 Markdown 表格：

ID	评估	证据

每项可识别的声明各占一行：

• Supported：决定性证据证实该声明。
• Unsupported：决定性证据与该声明矛盾。
• Unverified：现有证据既无法证实，也无法证伪。
• Blocked：所需证据确实存在，但无法获取。

对于 Unverified 和 Blocked，明确指出具体缺口。

对于实现证明，在聊天中为每次决定性的运行各返回一次：命令、工作目录、状态标识符、数字退出码，以及未经改动的最精简决定性输出摘录。

边界

冻结验证目标。验收和需求符合性不属于此方法的范围。