revolver

Revolver

每个角度都经得起论证。每项发现都在下一项之前得到解决。

方法

1. 冻结目标状态。
2. 根据需求、信任边界、数据和控制流、变更面、故障模式、用户及运行条件，推导出完整且实质上各不相同的立场集合。覆盖所有暴露出的实质风险。排除重复项和凑数内容。遵守明确的人为约束；否则自行选择立场集合，不要询问。不要设定固定的下限或上限。
3. 为每个立场提出一个证伪问题并确定目标证据。按后果和不确定性对立场集合排序。为本轮审查冻结该集合。
4. 每次只派遣一名新的审查者，使用成本最低且足够的模型。向其提供当前目标、一个立场，不提供先前审查者的文字。 如果无法派遣新的审查者，就停止。自行审查不算新的审查。
5. 根据直接证据核实每项发现。在进入下一个立场前解决每项发现：
   • 有依据：当权威信息已确定修复方案时，应用修复并验证；否则停止，交由人工决策；
   • 已证伪：用决定性证据驳回；
   • 需要人工决策：将实质性歧义明确提交人工选择；暂停，直至完成选择；
   • 未验证或受阻：指出缺失的证据或能力并停止。
6. 为下一个立场冻结已处理的目标。
7. 完成整个立场集合。完成一轮有成果的审查后，针对当前目标重新构建立场集合。只能在两轮之间添加或移除立场。
8. 在一轮无发现的审查后停止，或在完成三轮后停止。

一轮指完整遍历立场集合。出现有依据的发现，且该发现已修复并验证，即为有成果。有行动价值的发现均未通过验证，即为无发现。

输出

返回实质性修复及其验证结果、重要的证伪结论，以及尚未解决的人工决策。 对于每次决定性运行，只需提供一次命令、工作目录、状态标识符、数值退出码，以及未经改动且足以作出判断的最小输出摘录。

边界

审查者应针对主张、调用方及配套界面进行审查。仅返回有行动价值的发现：位置、后果、证据和最小修复方案。由协调者实施修复；审查者保持独立。