C3.8N
物理桥接形式化
物理桥接以类型化规格给出。物理字段缺失时，不得提升证据状态。
Bphys=(A,⊙,Ω,Φ,B,Y,{Pbu},S,𝔇,U,δ,H0,Σ,V)
A/⊙ — 物理 R⋆R；Φ — 制备→元素；P — 数据通道；U — 单位；δ — 估计量；H0 — 零模型；V — V0…V6。
PO-1/3
物理 R⋆R 与两个可复现协议。
PO-6
数据通道、隐藏的 b、风险与仪器实现。
PO-8
S、𝔇、K、m、κ 的单位与校准。
状态： 桥接形式化不构成对 PN.2 的物理证实。