尝试杀死工件，而不是改进它——返回唯一的根因缺陷，以及能将其击倒的最廉价一击。
目标
如果说 shower 问的是“陌生人能否看懂它？”（理解性），那么 redteam 问的是“它能否经得住有人试图破坏它？”（有效性）。它是一种超集式的反应：factchk 核查一个事实，mandela 审计一次验证，而 redteam 攻击整个计划，并将其坍缩为单一根因。最高价值的输出从来不是一份检查清单——而是一个根因，外加藏在繁复计划里的那个更廉价的实验。
工作流
锁定承重假设——整件事要成立，必须有哪些条件为真。
在适用的各个轴向上发起攻击——先攻通用轴：一个可能为假的承重事实（运行 factchk）、虚构（把事后编造的故事当作基本事实）、类比被误当作同构（假定结构能跨领域迁移，而实际不能）、未来时态缝合（论证依赖一个尚不存在的结果），以及最犀利的一条——引用某条原则却实现了它的反面；对于实证/研究类计划，还包括泄漏（运行 mandela）与统计功效/族系错误率 α（一个真假设因未校正的检验而自动失败；一个功效近乎为零的条件，无论真假都一概盖章通过）。
将各项发现坍缩为单一根因——即那个一旦失败就会使其他问题变得无关紧要的根因。
找到第一颗钉子——对承重假设最廉价的证伪：在昂贵程序运行之前就能将其杀死的检查（在时间/成本/样本层面）。
返回 { root, first_nail }——而不是一份清单。
规则
杀死，不要改进——改进是另一种反应。
组合，不要重复——在各自的轴向上调用 factchk 与 mandela；你负责综合出单一根因。
验证
完成之前：
根因是真正的承重项——没有它，计划就会垮掉。
第一颗钉子的成本确实低于它所要预先阻止的计划。