Авторский контракт композиции «Yang-Mills existence and mass gap» Arxo

ru · unofficial · sha256:e01014192f00017dc5e5f1291ca33441774f4bbbb5c514a0a32d73dc0fbe3a8e

Авторский контракт композиции «Yang-Mills existence and mass gap» Arxo, версия 0.1.0. Пакет связывает записи разных владельцев (cmi.yang_mills, wightman.axioms_1956, osterwalder_schrader.reconstruction_1973, wilson.lattice_1974) через общий словарь arxo.gauge_theory/arxo.math_claims, не создавая собственных фактов взамен чужих. yang_mills_existence_established_for(g, s) и yang_mills_mass_gap_established_for(g, s) -- ДВА НЕЗАВИСИМЫХ институциональных отношения композиции: ни одно не подразумевает другое. yang_mills_problem_solved_for(g, s) вычисляется ТОЛЬКО когда ОБА установлены разом для одной и той же пары (группа, пространство-время) -- отсутствие любого одного не даёт этого заключения. Existence требует ВСЕХ раздельных условий постановки CMI разом: простая компактная группа, размерность 4 (R^4), континуальный предел ВЗЯТ, бесконечный объём ВЗЯТ, и присоединённая теория удовлетворяет arxo.gauge_theory::satisfies_qft_axioms -- ни конечная решётка Wilson сама по себе, ни один из этих фактов порознь этого не даёт. satisfies_qft_axioms достижимо ДВУМЯ независимыми путями: прямой список из шести фактов (arxo.gauge_theory) или условный мост Osterwalder-Schrader (osterwalder_schrader.reconstruction_1973), применяемый ТОЛЬКО когда его собственный чек-лист держится для предъявленной теории. Задача остаётся ОТКРЫТОЙ во всём наборе: established_by_source(cmi.yang_mills:: YangMillsExistenceAndMassGapStatement) не выводится ни одним правилом этого набора -- композиция демонстрирует механику существования/щели для ПРЕДЪЯВЛЕННЫХ тестовых экземпляров (group, spacetime, theory), а не устанавливает буквальную формулировку CMI "для любой простой компактной группы" саму по себе. Положительная щель КОНЕЧНОГО оператора (arxo.gauge_theory::finite_operator_gap_established, на SpectralOperator) НИКОГДА не связана с positive_mass_gap любого TheoryCandidate -- главный запрет программы, подтверждённый явным отрицательным тестом.

Ссылаются нормы: CollectYangMillsFormulation, YangMillsExistenceEstablished, YangMillsMassGapEstablished, YangMillsProblemSolved, yang_mills_existence_established_for, yang_mills_formulation_from, yang_mills_mass_gap_established_for, yang_mills_problem_solved_for