真实测试太罕见、太大或不可逆时…

当无法低成本真实测试失败、规模或策略影响时，通过隔离单一变量、固定条件并逐步追踪机制链来评估系统行为。

适用场景

解决思路

1. 陈述问题与隔离：明确恰好一个主要变量或反事实变更；冻结所有其他条件作为对照世界；拒绝多变量“还要 also”场景。
2. 固定初始条件：指定系统状态、负载、配置、参与者和什么未被更改；写入足够具体的值，使另一个 agent 能复现该设置。
3. 逐步追踪机制：从 t0 开始，仅使用已知组件和策略，记录接下来什么失败、排队、重试或适应，以及原因；不要含糊说“然后一切崩溃”，每一步都需要因果链。
4. 提取不变量与断点：记录仍成立的内容（invariants），以及系统首次违反某项要求（容量、正确性、安全性、UX）的步骤；标记若为假则推翻整条链的假设。
5. 限定影响范围：只把洞见映射到因果链所证明的行动或检查（限制、守卫、监控、重新设计）；把超出隔离范围的推测性跳跃标为 out of bound。
6. 指定一个有区分度的真实检查，然后停止：针对最弱链接，说明能确认或推翻它的最便宜观察或实验；完成一条受控链且有界影响后停止；如果某链接现在可低成本测试，就退出到该测试，而不是继续想象。
7. 输出一条思想实验记录，包含：question（正在测试什么行为或决策）、isolated_variable（单一变更 vs 对照世界）、initial_conditions（冻结状态和未更改项）、consequence_chain（有序机制步骤）、invariants（仍成立的内容）、break_points（首次要求失败和关键假设）、implication_bound（仅由因果链证明的行动/检查）、discriminating_check（确认或推翻最弱链接的最便宜真实观察）。
8. 隔离检查：如果存在多个自由变量且未声明对照，则无效，重置。
9. 机制检查：任何步骤若与已知组件/策略没有因果链接，则重写或删除。
10. 影响边界检查：推荐若不由因果链蕴含，则超出范围。
11. 经验主义优先：如果分析中途可进行真实测试，停止思想实验并测试。
12. 过度应用防护：不要将本技能用于可复现的普通调试，也不要替代红队威胁建模。
13. 停止：一个隔离反事实 → 完整链 → 有界影响 + 区分性检查；不要场景蔓延。

适用边界 · 注意事项

• 存在低成本真实测试（load test、flag、query、spike）时，直接运行测试，不要用想象替代。
• 对抗性安全攻击路径分析时，使用红队结构，而不是自由形式场景。
• 已知道机制且只需在已知事实下决策，或没有单一隔离变量的模糊“如果一切”头脑风暴时，直接决策或收紧/停止。