Опубликованный пакет / CLIR
arxo.poincare
v0.1.0Композиция набора «Poincare conjecture»: poincare_conjecture_established из ЧЕТЫРЁХ оснований разом (Hamilton + три работы Перельмана), применение теоремы к предъявленному многообразию, proof_assistant_verified объявлено и никогда не устанавливается
Импортирует
| Пакет | Версия | contentHash связи | |
|---|---|---|---|
| arxo.math_claims | 0.1.0 | sha256:eed0c55386d2… | |
| arxo.three_manifolds | 0.1.0 | sha256:aff990990fc4… | |
| cmi.poincare | 0.1.0 | sha256:63f7f30fdce9… | |
| hamilton.ricci_flow_program | 0.1.0 | sha256:b1ab28a3e582… | |
| perelman.entropy_2002 | 0.1.0 | sha256:82d1f6817b93… | |
| perelman.finite_extinction_2003 | 0.1.0 | sha256:7c1bb8834d57… | |
| perelman.surgery_2003 | 0.1.0 | sha256:981f9161721d… |
Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.