Published package / CLIR
arxo.poincare
v0.1.0Композиция набора «Poincare conjecture»: poincare_conjecture_established из ЧЕТЫРЁХ оснований разом (Hamilton + три работы Перельмана), применение теоремы к предъявленному многообразию, proof_assistant_verified объявлено и никогда не устанавливается
Imports
| Package | Version | contentHash of the edge | |
|---|---|---|---|
| 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… |
An edge is pinned by contentHash, not by a version name: the world of a program is closed by the lock. The mark “diverged from the bytes” means the dependency hash recorded in the package did not match its current bytes — the arrow is there, but it has gone stale.