追踪记录揭示了即使有提示约束仍可能出现的失败模式：来源分配错误、证据覆盖不完整以及不安全假设。