C3.8L–M
Proof Observatory
Граф зависимостей показывает, какое математическое обязательство блокирует какой физический вывод. Это редакционный crosswalk, а не шкала истинности.
PO-8
Размерностная согласованность · главный физический bottleneck.
PO-6
Операциональная измерительная модель и скрытость b.
PO-1 / PO-3
Конкретная R⋆R и вычислимый ненулевой ассоциатор.
PO-10
Hilbert-space bridge к ПН.1 и операторные домены.
PO-9 factorization no-go
P(eL)=P(eR), T(eL)≠T(eR) ⇒ ∄H: T=H∘P
Следствие: нет T-совместимой функториальной секции σ с P∘σ=Id и T∘σ∘P=T. PO-9 закрыт на абстрактном категориальном уровне после C3.8M.