Опубликованный пакет / CLIR

arxo.navier_stokes

v0.1.0

Композиция набора «Navier-Stokes»: совместная карточка четырёх постановок CMI, обзор weak/regularity, ни одного established_* для A/B/C/D

Импортирует

ПакетВерсияcontentHash связи
arxo.incompressible_flows0.1.0sha256:1893e286a33e…
arxo.math_claims0.1.0sha256:eed0c55386d2…
ckn.partial_regularity_19820.1.0sha256:a9b47ddfc4dd…
cmi.navier_stokes0.1.0sha256:59f1a8d29a8c…
ladyzhenskaya.two_dimensional_19690.1.0sha256:b10785eb3ae5…
leray.weak_solutions_19340.1.0sha256:92aa6f13e977…
serrin.regularity_criterion_19620.1.0sha256:e632e0abd0f6…

Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.

Импортируют этот пакет