Задача v164 - построить общий язык для четырёх доменов: PHYS, CHEM, BIO, DNA. Эти домены не сводятся друг к другу. У каждого есть собственные источники, единицы измерения, неопределённости, форматы данных, null-модели, blind split, proof-object и критерии воспроизводимости. Поэтому междоменная карта должна быть не метафорой, а строгим реестром morphism gates.
Определение. Evidence-D object в домене X имеет вид:
F_X(o) = (quantity/value/object, unit, uncertainty, channel, Dom, D, source, status).
Для физики F_phys может включать величину, значение, единицу, неопределённость, канал, спектральный класс или loop certificate. Для химии F_chem включает вещество, реакцию, стехиометрию, энергию, кинетический параметр, источник и условия. Для белка F_bio включает accession, organism, taxon_id, sequence hash, length, features, structure id. Для ДНК F_DNA включает accession, coordinate convention, sequence kind, hash, length_nt, gc_content, variant id, источник и статус.
Общий morphism map строится как частичная функция:
M_XY: Evidence-D_X -> Evidence-D_Y,
где X,Y принадлежат {PHYS, CHEM, BIO, DNA}. Морфизм допустим только если закрыты: source preservation, D preservation, Dom compatibility, unit/uncertainty compatibility, channel registry, null family, blind split, status rule. Если перенос идёт между биологией и ДНК, добавляется gene -> transcript -> protein coordinate chain. Если перенос идёт между физикой и химией, добавляется micro/macro interpretation gate. Если перенос идёт между химией и биологией, добавляется molecule -> pathway / material -> biological role gate.
Лемма v164-001 (Cross-domain non-promotion). Сигнал в домене X не повышает статус утверждения в домене Y без admissible Evidence-D morphism M_XY. В частности:
physics review signal != chemistry evidence; chemistry review signal != biology evidence; protein signal != DNA signal; DNA coordinate signal != protein proof; projective analogy != domain proof.
Доказательство. Статус утверждения определяется не только формой найденного паттерна, но и доказательной цепочкой D/Dom. При переходе между доменами меняется семантика объектов, единицы, ошибка, допустимые null-модели и способы внешней проверки. Если M_XY отсутствует, у нас есть максимум analogy/review seed. Следовательно, повышение статуса блокируется. QED.
Для физической ветки это означает, что Hol_D или HolText_D не подтверждают химическое H_DHC_chem^strict. Для химии это означает, что найденный стехиометрический или кинетический паттерн не доказывает биологическую функцию. Для биологии это означает, что белковая структура не доказывает ДНК-вариант без coordinate-preserving цепочки. Для ДНК это означает, что геномный участок не доказывает функциональный белковый вывод без transcript/protein mapping.
Введение такой карты важно для прикладной KLT-RBD5.10: программа должна показывать не только найденные связи, но и запреты. Если пользователь видит «морфизм отсутствует», он понимает, почему система не делает сильный вывод. Это неприятнее рекламной панели с зелёными галочками, но полезнее для гранта, аудита и рецензента, у которого ещё не окончательно испорчены нервы.
Таблица доменных маршрутов v164:
PHYS -> CHEM: spectrum/energy route only through unit, object identity, source and uncertainty gates. CHEM -> BIO: molecule/reaction route only through compound identity, condition, biological pathway and source gates. BIO -> DNA: protein/feature route only through gene/transcript/protein chain and sequence hash gates. DNA -> BIO: coordinate/variant route only through organism, genome build, transcript annotation and protein mapping. ANY -> KLT theorem: only through proof ledger, dependency graph and status ledger.
2. Подробная структура Evidence-D morphism map. Домен PHYS использует измеримые величины, единицы, неопределённости и источники данных. Домен CHEM использует вещества, реакции, условия, стехиометрию, энергию и кинетику. Домен BIO использует организмы, белковые последовательности, функции, структуры и аннотации. Домен DNA использует последовательности, координаты, сборки генома, варианты и transcript/protein mapping. Эти домены не образуют простую лестницу. Между ними есть мосты, но каждый мост должен быть доказан.
PHYS -> CHEM. Физический сигнал может перейти в химию только если существует общий объект или общий измерительный слой. Например, спектральный сигнал может относиться к элементу, иону или молекуле, но химическое утверждение требует идентичности вещества, условий, источника и химического контекста. Без этого физический канал остаётся только внешним признаком. Поэтому физический Hol_D, lambda channel или spectral pattern не подтверждает химическую гипотезу H_DHC_chem^strict.
CHEM -> BIO. Химическое вещество может иметь биологическую роль, но эта роль не следует из формулы вещества сама собой. Нужны источник, экспериментальный или справочный контекст, pathway, организм, условия, доза, концентрация и механизм. В KLT-RBD это превращается в molecule-to-bio morphism gate. Если gate не закрыт, химическая карточка не повышает биологический статус.
BIO -> DNA. Белковый сигнал может указывать на генетическое основание, но требует цепочки gene -> transcript -> protein. Эта цепочка должна сохранять organism, taxon_id, genome build, transcript id, protein accession, sequence hash и coordinate convention. Без неё белковая структура не доказывает ДНК-вариант. Это особенно важно для будущих импорта UniProt/RCSB/NCBI/Ensembl.
DNA -> BIO. ДНК-вариант может иметь биологическое значение, но не каждый вариант приводит к белковому изменению, и не каждое белковое изменение ведёт к функции. Поэтому DNA-to-bio morphism должен включать annotation status, variant consequence, transcript selection, evidence source and functional claim boundary. KLT-RBD фиксирует этот путь как доказательную цепочку, а не как свободный комментарий.
Общий статусный оператор v164 можно записать так:
Status_Y(M_XY(C)) <= min(Status_X(C), MorphismGate_XY, EvidenceGate_Y).
Иными словами, перенос никогда не может быть сильнее самого слабого gate. Если исходный объект review_seed, то результат не может быть theorem. Если morphism gap, то результат не может быть verified. Если целевой Evidence-D gate открыт, то результат остаётся pending. Это простое правило делает KLT-RBD устойчивым против междоменной инфляции.
Важная философская часть: междоменная карта не отрицает единство природы. Она отрицает только ленивый переход от похожести к доказательству. Мир может быть связан глубже, чем наши таблицы, но программа должна фиксировать только те связи, для которых есть источник, домен и достаточное основание. Иначе получится не философия природы, а бухгалтерия совпадений.
Для физики будущий путь состоит в получении numeric Hol_D loop certificates, direct f_out, faithful contraction K_D и внешнего воспроизведения. Для химии - в формировании n>=20 numeric-complete classes с prelock, matched-null, q_FDR и external reproduction. Для биологии - в белковых классах с устойчивыми последовательностями и структурами. Для ДНК - в координатно закрытых sequence classes. Только после этого возможна настоящая междоменная проверка.
В v164 закладывается таблица blocker categories: source blocker, Dom blocker, D blocker, unit blocker, uncertainty blocker, coordinate blocker, null blocker, blind blocker, morphism blocker, proof blocker, reproduction blocker. Каждый blocker является не отказом от исследования, а точкой дальнейшей работы. Хорошая база данных должна уметь хранить не только знания, но и честно оформленные незнания.