附录 A／B
明确示例与可计算证书
结合情形的零示例
K: 0 · ‖K‖: 0 · ΔS: 0
界：0=0
PASS／无条件正下界的反例Δ_S=0 的非结合示例
K: 2e₂ · ‖K‖: 4 · ΔS: S=‖·‖ 时为 0
PN.2-R: 1=1
PASS／标量退化，全状态界达到等号全局 c-分离
K: 12e₂ · ‖K‖: 24 · ΔS: 24
c=1；两个界均为 6=6
PASS／系数 1/4 为最优满足 ε_-=3 的紧集 Ω
K: (3/2)e₂ · ‖K‖: 3 · ΔS: 3
ε_-=3，κ_Ω=3/4；两个界均为 3/4=3/4
PASS／仅针对 A₂ 的精确紧集下界PN2-PO12-A2-v1.0 · 测试数=11 · 档案 SHA-256 bbcb2715a3e5ab7688dfe1ad317a68f23b163ae10915982216111142ce7da2ad。闭合仅涉及抽象证明包；推广到物理 R⋆R 仍依赖尚未完成的证明义务。