Семислойная архитектура
Интерфейс, оркестрация, предметное ядро, модели, синтез, доказательные ворота и версионированные данные связаны единым контрактом.
KLT-MATDESprogram v0.6 / specification v1.1SPEC v1.1 · PROGRAM v0.6ПРОЕКТ «ЛОГИКА КУРПИШЕВА 2» · KLT-RBD
Проективно-реперное
проектирование материалов
Исследовательский программный комплекс для трассируемого перехода от заданных свойств к гипотезе химического состава, структурной диагностике, модельному профилю и проверяемому маршруту — с обязательным исходом certificate или ABSTAIN.
TARGETсвойства · DomREPR · I · U · DλΩλ profileGAPtyped vectorGATEScertificate ∨ abstain
Никакого скрытого повышения статуса
каждый переход оставляет audit trail
каждый переход оставляет audit trail
ЗАКОНЧЕННЫЙ ДОКУМЕНТ ПРОЕКТА · РЕДАКЦИЯ 1.1
Архитектура, алгоритмы и научные границы KLT‑MATDES
Проектная спецификация формализует путь «требуемые свойства → кандидат → путь получения → сертификат», разводит наблюдения и прогнозы и закрепляет обязательный исход PASS, REVIEW, ABSTAIN или BLOCKED.
18страниц15разделов7приложений8научных схем
Контрольная PDF‑версияготова к чтению и публикационному просмотруPDF ↓Редактируемый документDOCX с встроенными научными схемамиDOCX ↓Графический пакет8 схем в SVG и PNG · 16 файловZIP ↓
Двенадцать стадий алгоритма
TargetSpec проходит валидацию, область Ω, ChemGraph, генерацию, hard‑фильтры, прогноз, KLT‑координаты, Pareto и маршруты.
Доказательный firewall
FORMAL, COMPUTED, RETROSPECTIVE, BLIND, EXTERNAL и EXPERIMENTAL не смешиваются; λ‑профиль не объявляется химической истиной.
Граница вывода редакции 1.1
Документ фиксирует архитектуру и протокол научной проверки. Он не утверждает существование нового материала, синтезируемость кандидатов или подтверждённое превосходство KLT до ретроспективного, слепого, внешнего и экспериментального циклов.
РАБОЧАЯ ПОВЕРХНОСТЬ
Механический screening-контур
Введите один состав и наблюдаемые значения. Браузер вычислит типизированный вектор разрывов и λ-профиль, но не присвоит им статус химической истины.
KLT-MATDES / RUN-CONSOLE
mode: USER_INPUT_UNVERIFIED02
Результат и blockersбез truth-layer promotion
λ
Профиль ещё не вычисленВыберите пример или введите собственные значения. Все вычисления выполняются локально в браузере.
λ — диагностическая координата, не вероятностьruntime: browser-localexternal evidence: none
МЕТОД И НАЗНАЧЕНИЕ
От большой химической базы — к проверяемой гипотезе
KLT-MATDES соединяет типизированную химическую запись, реперную геометрию и алгоритмические ворота в одном воспроизводимом контуре.
Target profile
Свойство, единица, метод, состояние, граница, масштаб и Dom задаются до вычисления.
Реперная карта
Запись разделяет R, I, U и достаточное основание D; отсутствие D создаёт blocker.
Gap + λ
Вектор разрывов не скрывается скаляром, а λ вычисляется только на допустимой Ωλ.
Evidence gates
Lineage-safe benchmark, sealed holdout и независимый EXT-RUN остаются разными этапами.
ЗАЯВЛЯЕМАЯ НОВИЗНА ПРОЕКТА
Не единичный предиктор,
а доказательно управляемая система
Новизна KLT-MATDES формулируется как авторская архитектурная гипотеза и предмет последующей независимой экспертизы. Страница не подменяет поиск prior art, рецензирование или эксперимент.
Проективно-реперная нормализация
Свойства рассматриваются не как неразличимые столбцы таблицы, а как типизированные координаты относительно заранее заданных опор и области Ωλ.
Вектор вместо скрытого рейтинга
Разрывы по band gap, упругости, устойчивости, маршруту и доказательности сохраняются раздельно; Парето-анализ не маскирует провал одного канала успехом другого.
Основание D как вычислительный gate
Число без метода, единицы, состояния, источника и области применимости не повышает статус объекта и приводит к blocker/ABSTAIN.
Corpus hash как часть протокола
Версии базы и API, лицензия, запрос, набор полей и SHA-256 raw snapshot входят в acquisition manifest и последующий database hash.
Lineage-safe проверка
Полиморфы, производные записи и близкие структуры не разбрасываются между обучением и тестом только потому, что имеют разные идентификаторы.
Внешний этап без самоаттестации
Identity, prediction submission и reveal разделены. Даже успешный локальный holdout не превращается автоматически в независимый EXT-RUN.
ВЫЧИСЛИТЕЛЬНАЯ АРХИТЕКТУРА
Полный путь объекта
Каждый этап получает типизированный вход, выпускает проверяемый артефакт и оставляет открытый blocker, если основания недостаточны.
ЭтапВходОперацияВыход
01 · CorpusJARVIS / MP / KLT-RBDversion + SHA-256 + source ledgerimmutable snapshot
02 · Targetсвойства · units · Domprelock constraints + anchorstarget_hash
03 · Generateсоставы и правила зарядаABX₃ enumeration + diagnosticshypotheses
04 · Predicttyped descriptorslineage-aware kNN + distance gateprediction profile
05 · Comparegap vectorsλ-profile + Pareto + null controlsranked candidates
06 · Verifysealed identitiessubmit before revealcertificate ∨ ABSTAIN
ЦЕЛИ И ВОЗМОЖНОСТИ
Что делает программный комплекс
РЕАЛИЗОВАНО В v0.6
Обратное проектирование
Заданные диапазоны свойств преобразуются в машинно-проверяемый target profile.
Генерация составов
Перебор формул ABX₃ с формальной проверкой зарядового баланса и явным статусом hypothesis.
Typed surrogate
Отдельная модель на свойство, контролируемые method classes, neighbor trace и extrapolation blocker.
Маршрутный гиперграф
Поиск недоминируемых цепочек реакций с атомным балансом, evidence-, safety- и condition-gaps.
Audit и воспроизводимость
SQLite, source cards, acquisition manifests, database/target/protocol hashes и JSON-receipts.
ОБЯЗАТЕЛЬСТВА ДО НАУЧНОГО CLAIM
Реальный authoritative corpus
Fixture должен быть заменён достаточными source-bound структурами, свойствами и дескрипторами.
KLT ↔ structure/phase
Каждый репер требует рассмотренного соответствия конкретной структуре и фазе; одной формулы недостаточно.
Stability channel
Нужны термодинамические, динамические и фазовые проверки в заявленном Dom.
Независимая custody
Скрытые значения должны храниться внешним custodian до подписанного prediction submission.
DFT / лабораторный EXT-RUN
Новые кандидаты проверяются независимой организацией с raw outputs, uncertainty, hashes и подписью.
ЗАЩИЩЁННЫЙ ВНЕШНИЙ КОНТУР
Seal → submit → reveal
Трёхфазный протокол не позволяет задним числом изменить target, corpus, identity manifest или prediction после доступа к скрытым значениям.
1
seal-externalЗапечатать
Фиксируются target/database/identity hashes и SHA-256 ещё не прочитанного reveal-файла. Проверяются source, snapshot и exact-structure overlaps.
VALUES_UNREAD2
predict-externalПодать прогноз
Модель обучается только на public corpus. Submission содержит прогнозы, baseline, расстояния, соседей и отметку reveal_access=NOT_ACCESSED.
PREDICTIONS_SEALED3
reveal-externalРаскрыть и оценить
После проверки precommitted hash вычисляются MAE/RMSE/R² и сравнение с baseline. Локальный reveal не закрывает EXT-RUN.
NO_PROMOTIONРЕЛИЗНЫЙ ПАКЕТ
KLT-MATDES v0.6
Полная воспроизводимая Python/SQLite-сборка содержит алгоритмы, схему БД, CLI, mechanics fixtures, 29 тестов, формализм, RA5-матрицу и документацию acquisition/external split.
SHA-256
40ab65b60d3b72709ff50004af66aea4cfd6817fde9bc82accdfb3f3f07058d8ОТКРЫТЫЕ НАУЧНЫЕ ИНТЕРФЕЙСЫ
Внешние базы и методы не смешиваются молча
KLT-MATDES использует официальные интерфейсы как будущие source-bound каналы, сохраняя версии, методы и происхождение каждой записи.
АВТОРСКАЯ КАРТОЧКА
Курпишев
Иван Борисович
