C3.8L–M
证明观测台
依赖图显示哪些数学义务阻碍哪些物理结论。它是编辑整理的对应表，并非真理等级表。
PO-8
量纲一致性 · 主要物理阻碍项。
PO-6
可操作测量模型与隐藏的 b。
PO-1 / PO-3
具体 R⋆R 与可计算的非零结合子。
PO-10
连接 PN.1 的希尔伯特空间桥接与算子定义域。
PO-9 因子分解不可能性
P(eL)=P(eR), T(eL)≠T(eR) ⇒ ∄H: T=H∘P
推论：不存在满足 P∘σ=Id、T∘σ∘P=T 且与 T 相容的函子截面 σ。C3.8M 后 PO-9 在抽象范畴层面闭合。