Опубликованный пакет / CLIR
arxo.gauge_theory
v0.1.0Arxo: предметный словарь калибровочных теорий и конечных спектральных операторов для программы Yang-Mills existence and mass gap — GaugeGroup/Spacetime/LatticeSize/Connection/TheoryCandidate/Hamiltonian/SpectralOperator/EnergyLevel, classical_theory_defined раздельно от quantum_theory_exists, finite_lattice/continuum_limit/infinite_volume_limit раздельно, satisfies_qft_axioms из шести фактов, positive_mass_gap раздельно от finite_operator_gap_established
Импортирует
| Пакет | Версия | contentHash связи | |
|---|---|---|---|
| arxo.math_claims | 0.1.0 | sha256:eed0c55386d2… |
Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.