4. Packet morphisms. В проектной геометрии Курпишева packet morphism понимается не как произвольная стрелка между объектами, а как отображение, сохраняющее структуру события@состояния, Reper-четвёрку и достаточное основание D. Если классическая геометрия обычно интересуется сохранением инцидентности, коллинеарности, cross-ratio или группы преобразований, то KLT-RBD требует дополнительного слоя: источник, домен, достаточное основание и статус должны переноситься вместе с геометрической формой.
Определение. Пусть A и B - два source-bound домена. Packet morphism M: A -> B называется admissible, если для всякого существенного объекта x из A существует объект M(x) в B такой, что сохраняются: R-содержание, I-инвариант, U-поле допустимых обобщений, D-доказательное основание, Dom-дисциплина, unit/uncertainty при числовых данных, а также статусный класс claim-status. В короткой форме:
M(Rep_A(R,I,U;D)) = Rep_B(R',I',U';D')
с условиями source(M), Dom(M), D(M), status(M) = preserved / explicitly transformed / blocked.
Если хотя бы одно из условий не выполнено, M не является proof-preserving morphism. Он может остаться heuristic map, review map, visualization map или analogy map, но не может повышать theorem status. В терминах монографии это означает, что перенос из физики в химию, из белка в ДНК, из сметы в логистику или из графа формул в финансовый проект не является автоматическим. Нужен явный morphism ledger.
5. Projective reductions. Проективная редукция в KLT-RBD не присваивает себе классическую проективную геометрию. Cross-ratio, гармоническое значение -1, projectivization, Fano plane и инцидентность принадлежат prior art. Вклад KLT-RBD состоит в том, что эти элементы используются как контрольные структуры для source-bound formula-chain audit. Это принципиально важно для внешнего рецензента: новизна проекта не в том, что cross-ratio существует, а в том, что cross-ratio включён в граф доказательных оснований, gap-карт, Reper-узлов и статусов.
Projective reduction имеет вид:
source object -> normalized object -> projective shadow -> Reper(R,I,U;D) -> lambda channel -> status ledger.
Если projective shadow даёт λ около -1 или другой «красивый» реперный сигнал, он не становится доказательством без D и Dom. Он попадает в review_seed или theorem_candidate. Это правило защищает проект от подмены: математическая гармония не должна превращаться в рекламную магию.
6. Fano morphism barrier. Плоскость Фано используется как audit barrier. Локальный Fano-like pattern может быть важным сигналом, но он не становится global Fano carrier без compatible identification maps. Для глобализации нужны семь точек, семь линий, incidence preservation, source preservation, D preservation и status preservation. Если хотя бы одно условие не доказано, объект остаётся local carrier / obstruction carrier / review candidate.
Теорема v163-001 (Fano morphism barrier, рабочая форма). Пусть C - локальный граф реперных или формульных отношений, в котором обнаружен Fano-like incidence pattern. Если не предъявлены compatible identification maps, сохраняющие incidence, D, Dom, source и channel semantics, то C не может быть зарегистрирован как global Fano carrier. Его статус не выше local Fano-like carrier или theorem-candidate under morphism gap.
Доказательство. По определению global carrier должен сохранять не только схему инцидентности, но и source-bound доказательную привязку. Локальный pattern может возникнуть как совпадение, как результат проекции, как следствие выбора канала или как artefact of representation. Без compatible maps отсутствует гарантия, что один и тот же объект сохраняется при переходе между слоями. Следовательно, глобальный статус запрещён. QED.
Практический смысл для физики, химии, биологии и ДНК: похожая семиточечная структура в спектрах, реакциях, белковых доменах или геномных участках не может быть объявлена «общим законом» без доказанного морфизма. Да, очень жаль для любителей немедленных сенсаций. Зато это хотя бы похоже на метод, а не на охоту за созвездиями в таблицах.
7. Развёрнутое обоснование packet morphism. Packet morphism необходим потому, что один и тот же видимый объект в разных доменах может иметь разный доказательный смысл. Например, число в смете может быть стоимостью, лимитом, резервом, индексом инфляции или ошибочно продублированной позицией. Формально это означает, что morphism должен переносить не только значение, но и роль значения. В классической математике часто достаточно сохранить структуру. В KLT-RBD этого недостаточно: требуется сохранить роль в проектном графе, источник и достаточное основание. Поэтому packet morphism имеет три слоя: синтаксический, семантический и доказательный.
Синтаксический слой отвечает за совпадение форматов: строки, таблицы, формулы, записи, идентификаторы. Семантический слой отвечает за то, что объект означает внутри своего домена: цена, работа, материал, спектральная линия, реакция, белковый домен, геномная координата. Доказательный слой отвечает за то, почему этот объект можно использовать: договор, акт, норматив, статья, база данных, протокол измерения, ссылка на API, хэш выгрузки. Только их совместное сохранение позволяет говорить о morphism-preserving transfer.
Отсюда следует важный инженерный вывод: KLT-RBD5.10 должна хранить для каждой связи не только edge type, но и edge warrant. Edge type говорит, какая связь указана; edge warrant говорит, почему ей можно доверять. Если edge warrant отсутствует, связь не удаляется, но получает статус gap или blocker. Это делает базу не просто графовой витриной, а машиной доказательной дисциплины.
Projective reductions в этой главе являются способом получить видимую математическую тень сложного объекта. Документ, смета, химическая реакция или белковая последовательность не являются напрямую точками проективной прямой. Но их можно привести к структурной четверке (R,I,U;D), а затем изучать положение этих четырёх оснований как проективно-гармоническую конфигурацию. При этом reduction не уничтожает исходный объект. Он создаёт auditable projection, которую можно проверить, оспорить, заменить или отклонить.
Существенная осторожность: если reduction даёт красивое значение lambda, это ещё не значит, что исходный объект «истинен». Это значит, что в данной нормализации его Reper-конфигурация близка к гармоническому состоянию. Для сметы это может означать согласование факта, нормы, поля допустимых значений и документа. Для физики - согласование канала, источника и числового класса. Для химии - согласование стехиометрии, энергии и кинетического слоя. Для биологии и ДНК - согласование последовательности, аннотации и координатного основания. Но всякий такой вывод остаётся зависимым от D и Dom.
Fano morphism barrier нужен для защиты от сильнейшего соблазна проекта: увидеть семь элементов, семь связей и немедленно назвать это фундаментальной структурой. В KLT-RBD это запрещено. Fano-like pattern является важным сигналом, но он может быть тенью другого графа, результатом выбора проекции или эффектом неполных данных. Поэтому глобальная Fano-структура требует отдельной карты отождествления. Эта карта должна быть не художественным рисунком, а объектом proof-ledger.
Proof-ledger для Fano claim включает: список семи точек, список семи линий, incidence matrix, source anchors для каждой точки и линии, Dom для каждого объекта, D для каждой идентификации, proof-object для глобализации и blocker list. Если какой-то элемент отсутствует, claim переводится в local_fano_like_carrier_without_globalization. Такое понижение статуса не является поражением. Это именно та дисциплина, которая позволяет позднее получить сильное утверждение без статуса-инфляции.
Пример для строительной сметы. Пусть семь узлов соответствуют проектированию, материалам, логистике, монтажу, контролю, резерву и оплате. В графе может возникнуть Fano-like замыкание: каждая тройка связана через финансовый поток. Но если резерв не подтверждён документом D, а логистика имеет другой договорной источник, структура не глобализуется. KLT-RBD фиксирует её как risk carrier, а не как гармонически закрытый проект.
Пример для физики. Семь спектральных классов могут образовать локальную структуру совпадений по lambda channel. Но если direct f_out отсутствует, а часть каналов derived, глобализация невозможна. Объект остаётся review candidate. Это не ломает физическую ветку, а защищает её от преждевременной публикационной претензии.
Пример для ДНК. Семь участков последовательности могут образовать повторяющийся motif graph. Но без genome build, coordinate convention, sequence hash и transcript/protein mapping глобальный биологический вывод запрещён. Именно поэтому v163 формулирует Fano barrier не как украшение, а как рабочий запрет на ложную универсализацию.