Авторский контракт композиции «Hodge conjecture» Arxo

ru · unofficial · sha256:85a1ae26f1df6b3e6dcc524d0ba69bdaccb286abef49d89450df9675f2bfb672

Авторский контракт композиции «Hodge conjecture» Arxo, версия 0.1.0. Пакет связывает записи разных владельцев (cmi.hodge, lefschetz.degree_two_1924, atiyah_hirzebruch.integral_counterexample_1962) через общий словарь arxo.hodge_structures/arxo.math_claims, не создавая собственных фактов взамен чужих. hodge_formulation_from(c, src, version) -- производное соединение уже заявленных identifies_hodge_conjecture и source_asserts, не новый факт от имени источника. established_results_summary(claim, label) -- соединение established_by_source набора в единый обзор. established_by_source для cmi.hodge::HodgeConjectureRational (общая формулировка, любое k) НИГДЕ в наборе не появляется -- открытый статус сохранён. established_by_source для cmi.hodge::HodgeConjectureDegree2Claim появляется (lefschetz.degree_two_1924, k=1) -- ЧАСТНЫЙ случай, не закрывает общую формулировку. established_by_source для cmi.hodge::IntegralHodgeFailsClaim появляется (atiyah_hirzebruch.integral_counterexample_1962) -- ЭТО ДРУГОЙ, отдельный claim (наивная целочисленная версия, поле коэффициентов Z вместо Q), полученный ОСЛАБЛЕНИЕМ гипотезы исходной задачи (obtained_by_weakening_hypothesis); ни одно правило набора не подключает его established_by_source к established_* рациональной формулировки -- контрпример к обобщению не опровергает исходную (рациональную) задачу. cmi.hodge::IntegralHodgeRestrictedOpenClaim (классы, убитые всеми дифференциалами спектральной последовательности) остаётся ОТКРЫТЫМ -- ни один пакет не заявляет source_proves ни для него, ни для рациональной формулировки.

Ссылаются нормы: CollectEstablishedResult, CollectHodgeFormulation, established_results_summary, hodge_formulation_from