C3.8L–M
Proof Observatory
The dependency graph shows which mathematical obligation blocks which physical conclusion. It is an editorial crosswalk, not a scale of truth.
PO-8
Dimensional consistency · a main physical blocker.
PO-6
Operational measurement model and hidden b.
PO-1 / PO-3
Concrete R⋆R and a computable nonzero associator.
PO-10
Hilbert-space bridge to PN.1 and operator domains.
PO-9 factorization no-go
P(eL)=P(eR), T(eL)≠T(eR) ⇒ ∄H: T=H∘P
Consequence: no T-compatible functorial section σ with P∘σ=Id and T∘σ∘P=T exists. PO-9 is closed at the abstract categorical level following C3.8M.