Опубликованный пакет / CLIR
arxo.millennium
v0.1.0Композиция 7/7 программы Millennium Prize Problems (DECISION-0280): свод всех семи проблем (шесть предметных пакетов + существующий RH) через общий словарь arxo.math_claims, без изменения ни одного из семи пакетов и без обобщения cmi.millennium_rules
Импортирует
| Пакет | Версия | contentHash связи | |
|---|---|---|---|
| arxo.bsd | 0.1.0 | sha256:2fc1c3f70fa6… | |
| arxo.hodge | 0.1.0 | sha256:b374ef74288b… | |
| arxo.math_claims | 0.1.0 | sha256:eed0c55386d2… | |
| arxo.navier_stokes | 0.1.0 | sha256:fa7d70ba1201… | |
| arxo.p_vs_np | 0.1.0 | sha256:bdbcf2bdeaec… | |
| arxo.poincare | 0.1.0 | sha256:25d01c52a282… | |
| arxo.riemann_hypothesis | 0.1.0 | sha256:e245f13ec5a5… | |
| arxo.yang_mills | 0.1.0 | sha256:d291a1b6339a… | |
| cmi.bsd | 0.1.0 | sha256:42e92a1d906e… | |
| cmi.hodge | 0.1.0 | sha256:bbe66694fd76… | |
| cmi.navier_stokes | 0.1.0 | sha256:59f1a8d29a8c… | |
| cmi.p_vs_np | 0.1.0 | sha256:da011cd08cc8… | |
| cmi.poincare | 0.1.0 | sha256:63f7f30fdce9… | |
| cmi.riemann_hypothesis | 0.1.0 | sha256:d61bd92f6b26… | |
| cmi.yang_mills | 0.1.0 | sha256:7e94d6f614cd… | |
| 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… | |
| razborov_rudich.natural_proofs_1994 | 0.1.0 | sha256:1ea959a4bc91… | |
| tunnell.congruent_numbers_1983 | 0.1.0 | sha256:323b2eb78ef3… |
Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.
Импортируют этот пакет
Никто.