Опубликованный пакет / CLIR
arxo.yang_mills
v0.1.0Arxo: композиция набора Yang-Mills existence and mass gap — existence и mass gap раздельно, existence требует всех условий CMI разом (простая компактная группа, R^4, континуальный предел, бесконечный объём, satisfies_qft_axioms), Wilson lattice даёт только конечную решётку, OS — условный мост, финальный сертификат конечной матрицы никогда не доказывает щель континуальной теории
Импортирует
| Пакет | Версия | contentHash связи | |
|---|---|---|---|
| arxo.gauge_theory | 0.1.0 | sha256:64278bf5b998… | |
| arxo.math_claims | 0.1.0 | sha256:eed0c55386d2… | |
| cmi.yang_mills | 0.1.0 | sha256:7e94d6f614cd… | |
| osterwalder_schrader.reconstruction_1973 | 0.1.0 | sha256:a9ffb70fcd8c… | |
| wightman.axioms_1956 | 0.1.0 | sha256:9644efb8b2f2… | |
| wilson.lattice_1974 | 0.1.0 | sha256:4bcb92d5060d… |
Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.