重建依赖图
先列出每个非平凡方程依赖的约定、定义与中间恒等式。当假设与推论混在一起时，推导很难被审计。
把每一步标为假设、已推导、数值检验或未解决。这些标签比过早的绿色勾选更重要，因为它们保留了仍需人工判断的位置。
从边缘攻击结果
在复现每一行中间步骤前，先检查量纲、符号、对称性与极限情形。这些测试成本低，常能快速定位首个不一致。
当两种表述被声称等价时，应要求变量与调节子的显式字典。单个参数点上的数值一致是证据，无法构成等价证明。
建议引用
Deng, Feiyu. “How to audit a long analytical derivation.” feiyudeng.com, 2026-07-13.