thinking-thought-experiment

思想实验

当经验验证遥不可及时，进行一次严谨的反事实推演：只改变一个变量，固定其他条件，逐步追踪机制，并严格限定推论范围。

适用场景

• 你需要了解无法以低成本触发或测量的故障、规模或策略情境下的行为（区域故障、100 倍负载、单向架构）。
• 某项决策代价高昂或不可逆，提交前进行思维推演可以暴露故障点。
• 搭建边缘情况的成本太高，但仍可通过机制链条发现缺失的控制措施。

不适用场景

• 存在低成本的真实测试（负载测试、开关、查询、快速验证）→ 运行测试；不要用想象代替测试。
• 对抗性安全攻击路径分析 → 使用红队结构，而非自由发挥的场景推演。
• 你已经了解机制，只需基于已知事实做决定 → 直接决策；不要刻意渲染。
• 不设单一变量、泛泛地讨论“如果一切都……” → 收紧范围或停止。

流程

1. 明确问题和隔离条件。 精确指出一个主要变量或反事实变化。将所有其他条件固定为对照世界。拒绝包含多个变量的“而且还……”场景。
2. 固定初始条件。 明确系统状态、负载、配置、参与者，以及哪些内容不变。具体写明各项数值，确保其他 Agent 可以重现该设置。
3. 逐步追踪机制。 从 t0 开始，记录接下来发生的故障、排队、重试或适应行为，以及原因；只使用已知组件和策略。不要含糊地说“然后一切崩溃”；每一步都必须有因果联系。
4. 提取不变量和故障点。 记录仍然成立的内容（不变量），以及系统首次违反要求（容量、正确性、安全性、用户体验）的步骤。标记那些一旦不成立就会使推演链条失效的假设。
5. 限定推论范围。 仅将洞见对应到推演链条所能支持的行动或检查（限制、保护措施、监控、重新设计）。将超出隔离范围的推测性推论标记为越界。
6. 指出一项有区分力的真实检查，然后停止。 针对最薄弱的一环，说明能确认或证伪它的最低成本观察或实验。完成一条受限推论范围的受控链条后就停止；如果现在可以低成本测试某个环节，则退出推演，直接进行测试，而不是继续想象。

输出

输出一份思想实验记录：

• question：要测试的行为或决策
• isolated_variable：相对于对照世界的单一变化
• initial_conditions：固定的状态和不变项
• consequence_chain：按顺序排列的机制步骤
• invariants：仍然成立的内容
• break_points：首次出现的要求失效及关键假设
• implication_bound：仅限推演链条所支持的行动或检查
• discriminating_check：用于确认或证伪薄弱环节的最低成本真实观察

验证

• 隔离检查： 存在多个未固定变量，却未说明对照条件 → 无效；重新设置。
• 机制检查： 任何步骤都未与已知组件或策略建立因果联系 → 重写或删去。
• 推论范围： 推演链条无法推出的建议均不在范围内。
• 经验验证优先： 如果分析过程中出现了真实测试的机会，停止思想实验并进行测试。
• 防止过度应用： 不要将此技能用于可以复现的常规调试，也不要用它代替红队威胁建模。
• 停止： 一个隔离的反事实 → 完整链条 → 有界推论 + 有区分力的检查；不要扩散场景。