推荐阅读路径
01 · FOUNDATION
Determinism 是观测基座
先区分 numerical、execution 与 replay determinism，再看为什么“相同输入应产生相同 bit pattern”是强 correctness signal。
02 · ORACLES你拿什么当正确答案
recomputation、peer comparison、deterministic replay 与 two-run alignment 各自覆盖什么，又可能怎样共同失效。
03 · AEGISAlways-on runtime diagnostic
算法传感器、采样重算与低开销 verifier 如何在 live job 中确认 corruption，并保留设备和执行上下文。
04 · SDCHUNTER从症状追到物理 GPU
利用 PP 边界 tensor signature 缩小范围，再通过 deterministic replay 和硬件隔离形成归因证据。
05 · OPGUARD语义算子级 first divergence
bitwise alignment、分层指纹和 traceback 把“两个 run 不一样”收敛成第一个有意义的错误边界。
06 · COMPOSITION覆盖、冗余与共同盲区
按 incident lifecycle 组合三套工具，并审视 reference independence、determinism drift 与 common-mode failure。
证据边界
Slides 是导航和跨论文综合，不是新的证据源。论文 claim、生产数据、作者关系与本阅读材料的推断会明确区分；图的来源和裁剪位置记录在 slides README 中。