Appendix A / B

Явные примеры и вычислимый сертификат

A.1

Ассоциативный нулевой пример

K: 0 · ‖K‖: 0 · ΔS: 0

Границы 0=0

PASS / counterexample to unconditional positive bound

A.2

Неассоциативный пример с Δ_S=0

K: 2e₂ · ‖K‖: 4 · ΔS: 0 для S=‖·‖

PN.2-R: 1=1

PASS / scalar degeneracy, full-state sharp

A.3

Глобальное c-разделение

K: 12e₂ · ‖K‖: 24 · ΔS: 24

c=1; обе границы 6=6

PASS / coefficient 1/4 sharp

A.4

Компактная Ω с ε_-=3

K: (3/2)e₂ · ‖K‖: 3 · ΔS: 3

ε_-=3, κ_Ω=3/4; обе границы 3/4=3/4

PASS / exact compact lower bound for A₂ only

PN2-PO12-A2-v1.0 · tests=11 · archive SHA-256 bbcb2715a3e5ab7688dfe1ad317a68f23b163ae10915982216111142ce7da2ad. Закрытие относится к абстрактному пакету; перенос на физическую R⋆R зависит от открытых PO.