Авторский контракт композиции «Navier-Stokes» Arxo

ru · unofficial · sha256:47a8be864ffa71926f006a1b6d25f3e157400076bfe41008b8fc7d0f74175377

Авторский контракт композиции «Navier-Stokes» Arxo, версия 0.1.0. Пакет связывает записи разных владельцев (cmi.navier_stokes, leray.weak_solutions_1934, serrin.regularity_criterion_1962, ckn.partial_regularity_1982, ladyzhenskaya.two_dimensional_1969) через общий словарь arxo.incompressible_flows/arxo.math_claims, не создавая собственных фактов взамен чужих. ns_formulation_from(c, src, letter) -- производное соединение уже заявленных identifies_navier_stokes_problem и source_asserts, не новый факт от имени источника. established_results_summary (claim, label) -- соединение established_by_source набора в единый обзор. ns_weak_solution_overview(problem, label) и ns_regularity_overview(problem, label) -- обзорные соединения по конкретной задаче, различающие ИСТОЧНИК и ПОЛНОТУ результата: Leray даёт weak+global (не smooth); Serrin даёт ПОЛНУЮ регулярность, но только при выполненном условии на показатели; CKN даёт ТОЛЬКО частичную регулярность (метка "ckn-1982-partial" никогда не путается с "serrin-1962-full"). Ни established_by_source, ни established_under_assumption для самих формулировок Navier-Stokes (cmi.navier_stokes::NsStatementA/B/C/D) не появляются нигде в наборе: ни один пакет не заявляет source_proves ни для одной из четырёх -- задача остаётся открытой для всех четырёх разом. ladyzhenskaya.two_dimensional_1969 работает строго при dimension_value=2 и структурно не соединяется ни с одним из четырёх claim CMI (которые сформулированы строго для n=3) -- 2D результат не закрывает 3D постановку.

Ссылаются нормы: CollectCknOverview, CollectEstablishedResult, CollectLerayOverview, CollectNsFormulation, CollectSerrinOverview, established_results_summary, ns_formulation_from, ns_regularity_overview, ns_weak_solution_overview