用途：当真实测试过于罕见、规模过大或不可逆时，用受控反事实推理替代实验。适用于无法低成本触发的故障、规模或策略场景（如区域宕机、100倍负载、单向架构），以及昂贵或不可逆的决策、难以搭建的边缘情况。
主要能力：隔离一个主变量并冻结其余条件作为对照；固定初始状态、负载、配置与参与者；从t0起逐步追踪失败、排队、重试或适配的因果链；提取不变量与首个违反需求的断点；将结论限定在链条可支撑的行动或检查内；为最薄弱环节指定最廉价的真实判别性检查。
使用方式：按步骤执行——陈述问题与隔离变量、固定初始条件、逐步追踪机制、提取不变量与断点、限定推论边界、命名判别性检查后停止。输出记录包含question、isolated_variable、initial_conditions、consequence_chain、invariants、break_points、implication_bound、discriminating_check。
限制：存在廉价真实测试（负载测试、开关、查询、尖峰）时应直接测试；对抗性安全攻击路径应使用红队结构；已知机制只需决策时不必使用；无单一隔离变量的模糊头脑风暴应停止；不得用于可复现的普通调试或替代红队威胁建模。若分析中途出现真实测试机会，应停止思想实验并执行测试。验证要求：多自由变量无对照则无效；每步须有已知组件或策略的因果链；建议不得超出链条范围。