Опубликованный пакет / CLIR
lefschetz.degree_two_1924
v0.1.0Lefschetz (1,1)-theorem (1924), proof via Kodaira-Spencer (1953): the rational/integral Hodge conjecture holds for degree 2 (k=1) -- established_by_source for cmi.hodge::HodgeConjectureDegree2Claim, NOT for the general (any k) claim
Импортирует
| Пакет | Версия | contentHash связи | |
|---|---|---|---|
| arxo.hodge_structures | 0.1.0 | sha256:4e35e792548d… | |
| arxo.math_claims | 0.1.0 | sha256:eed0c55386d2… | |
| cmi.hodge | 0.1.0 | sha256:bbe66694fd76… |
Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.