Авторский контракт композиции «Millennium Prize Problems» Arxo

ru · unofficial · sha256:c042be2a0cecdb4cd4764938f7419655923b1c7bfada7944f1aa1b64f13b7041

Авторский контракт композиции «Millennium Prize Problems» Arxo, версия 0.1.0. Пакет arxo.millennium — седьмой, завершающий шаг программы DECISION-0280: общая композиция, связывающая все шесть предметных пакетов программы (arxo.p_vs_np, arxo.bsd, arxo.navier_stokes, arxo.hodge, arxo.poincare, arxo.yang_mills) и уже существующий вне программы пакет arxo.riemann_hypothesis через общий словарь arxo.math_claims и через собственные, независимо объявленные в каждом из семи cmi.<problem> пакетов отношения classified_as_millennium_problem. Пакет НЕ добавляет новой математической семантики. Все относящиеся к композиции отношения — институциональные соединители (kind institutional), собирающие уже установленные шестью предметными пакетами и cmi.millennium_rules факты в общие сводные таблицы этой композиции: millennium_problem (все семь claim), status established_by_source/established_under_assumption по каждому claim, conditional_path_for/unconditional_path_for, missing_premise_for, computational_evidence_summary. Ни одно правило этого пакета не изобретает математическую импликацию МЕЖДУ разными Millennium-проблемами: known_result_for соединяет claim постановки конкретной проблемы с claim конкретного результата ВНУТРИ той же проблемы, ровно как это уже сделано предметным пакетом. cmi.millennium_rules не изменяется и не импортируется этим пакетом: он остаётся замороженным на зависимости от cmi.riemann_hypothesis по DECISION-0280 §3. Подключение RH к этой композиции идёт исключительно через arxo.riemann_hypothesis и через прямой импорт cmi.riemann_hypothesis, чтение уже установленных фактов, без единой правки шести arxo.<problem> пакетов, arxo.riemann_hypothesis или cmi.millennium_rules. Одноимённые отношения classified_as_millennium_problem семи cmi.<problem> пакетов — семь РАЗНЫХ отношений с одинаковой сигнатурой (claim: arxo.math_claims::Claim), объявленных независимо в разных пространствах имён; общий сборщик millennium_problem(claim) в этом пакете читает все семь по отдельности и не предполагает, что совпадение имени объединяет их автоматически. Симметрично: похожие по названию понятия из разных проблем (например «ранг» — algebraic_rank/ analytic_rank эллиптической кривой в arxo.elliptic_curves и понятие ранга матрицы предъявленного разложения в вычислителе calc.cycle_class_decomposition, который не подключён к корпусу как зависимость ни одного из семи пакетов) не создают общего алиаса ни в одном отношении этого пакета. «Безусловный» claim означает отсутствие соответствующих гипотетических допущений в ПОЛНОМ представленном основании этого корпуса — не автоматический вывод из отсутствия записи о зависимости где-либо ещё. Отношение unconditional_path_for в этом пакете отражает именно это ограничение и не формулируется как отрицание условности вообще.

Ссылаются нормы: CollectConditionalPath, CollectKnownResultBsd, CollectKnownResultHodge, CollectKnownResultNavierStokes, CollectKnownResultPoincare, CollectKnownResultPvsNp, CollectMillenniumBsd, CollectMillenniumHodge, CollectMillenniumNavierStokes, CollectMillenniumPoincare, CollectMillenniumPvsNp, CollectMillenniumRiemannHypothesis, CollectMillenniumYangMills, CollectPoincareEstablished, CollectUnconditionalPath, bsd-neither-snapshot, computational_evidence_summary, conditional_path_for, evidence-bsd, evidence-hodge, evidence-ns, evidence-poincare, evidence-pvsnp, evidence-rh, evidence-yang-mills, hodge-neither-snapshot, known_result_for, millennium_problem, missing-general-case-from-degree2, missing-global-smooth-existence-r3, missing-kolyvagin-rank-2, missing-proof-for-rh, missing-quantum-theory-exists, missing-source-proves-pvsnp, missing_premise_for, ns-neither-snapshot, problem_status_established, problem_status_neither, pvsnp-neither-snapshot, rh-neither-snapshot, unconditional_path_for, yang-mills-neither-snapshot