Target profile
Свойство, единица, метод, состояние, граница, масштаб и Dom задаются до вычисления.
KLT-MATDES / Химия и материалы
Реперный проективно-гармонический метод
От заданных свойств — к гипотезе о материале. Сопоставляйте составы, исследуйте реперы и проверяйте основания расчёта.
SCIENCE · ABSTAINИсследовательский прототип. Прогноз реальных материалов требует независимой проверки.
РАБОЧАЯ ПОВЕРХНОСТЬ · WEB-CP1
От отдельного состава к Парето-набору
Задайте typed target, оцените один состав или сравните набор кандидатов. Браузер вычислит векторы разрывов, λ-профили, хеши и паспорта, но не присвоит им статус химической истины.
KLT-MATDES / TARGET & CANDIDATE LAB
mode: MECHANICS_ONLY · NO_PROMOTION02
Результат и blockersбез truth-layer promotion
λ
Профиль ещё не вычисленВыберите пример или введите собственные значения. Все вычисления выполняются локально в браузере.
λ — диагностическая координата, не вероятностьruntime: browser-localexternal evidence: none
MULTI-CANDIDATE WORKBENCH · WEB-CP1
Парето-набор без скрытого truth-score
Запустите сравнение fixture-кандидатов. Таблица покажет gap-vector, Парето-статус и неизменяемый паспорт каждого объекта.
KLT / KLT-RBD · Автор: Курпишев И. Б.
Один метод. Два исследовательских инструмента.
В основе — реперная пакетная проективная неассоциативная математика KLT и база KLT-RBD. Анализ связывает понятие, область применимости, реализацию и основание с конкретным источником.
В текстах исследуются смысловые связи и разрывы; в химии — свойства, составы и условия расчёта. Общая задача проекта — развивать проверяемый метод предсказания событий и состояний.
Заявленная авторская новизна — пакетное соединение реперной математики, координат U/I/R/D, источниковых оснований и явных границ вывода. Совпадение матриц или спектров не устанавливает тождество доказательных паспортов. Аудит и сшивка · 15.10.2026 →
Подробное описание и границы метода →Материалы
Дайджест 2–9 октября ↗01Прогноз и наблюдениеУчебные расчёты SE2 и журнал SE302Данные и основанияКорпус, протоколы и текущий аудит03Документы и программаСпецификация, PDF, DOCX и ZIP04План и историяЭтапы исследования и выпуски
Подробные разделы ниже раскрываются по выбору.
Метод и архитектураРеперная карта, λ-профиль, возможности и границы
МЕТОД И НАЗНАЧЕНИЕ
От большой химической базы — к проверяемой гипотезе
KLT-MATDES соединяет типизированную химическую запись, реперную геометрию и алгоритмические ворота в одном воспроизводимом контуре.
Реперная карта
Запись разделяет 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.11 CP2B-B2
Обратное проектирование
Заданные диапазоны свойств преобразуются в машинно-проверяемый 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Корпус материаловСоставы, происхождение данных и условия расчётов
CONTEXT REVIEW · WEB-CP2B-B2
Наличие числа ещё не означает
совместимость с целью
ENGINE v0.11 проверяет происхождение условий расчёта для 49 записей JARVIS-DFT. Отдельное досье связывает наблюдения с исходными структурами и первичными источниками. Индекс схемы KLT-MATDES-CORPUS-INDEX-v0.9 проверяется локально в браузере; raw/derived payload не размещён публично до разрешения лицензионного gate.
СТРОГИЙ АУДИТ CP2B-B1 · ПОВТОРЁН В v0.11
NIST-JARVIS DFT / OPTIMADE 1.1.0
Девять exact-formula filters; snapshot SHA-256 164e928251bd…
16 из 18 материалов имеют оба числа. Полностью совместимых с исходными state/Dom — 0. Все записи сохранены, обучение не выполнялось.
ABSTAIN
- 34 наблюдения: state/Dom явно не подтверждены данными
- 2 пропуска bulk modulus: JVASP-2292 и JVASP-88805
- LICENSE_UNRESOLVED: идентификатор лицензии не установлен
Это уточнение аудита v0.9, который проверял только property/unit/method. Отбор ретроспективный — NOT_PREREGISTERED, NOT_BLIND. KLT mapping остаётся открытым.
CP2B-B2 · ДОСЬЕ УСЛОВИЙ РАСЧЁТА
От первичного источника к проверяемому условию
34 наблюдения связаны с точными записями, значениями, методами и структурами снимка. Для них подготовлены 34 аннотации происхождения Dom. Они ещё не применены: общий расчётный протокол не удостоверяет условия каждой записи.
Методика · подтверждённая область
JARVIS описывает релаксацию геометрии перед расчётом свойств. Правило досье ограничено объёмными структурами, тремя периодическими направлениями и каналом OptB88vdW.
Первичная публикация JARVIS ↗Сходимость конкретного расчёта и устойчивость фазы требуют своих оснований.
Два пропуска · без восстановления чисел
У JVASP-2292 и JVASP-88805 в снимке отсутствуют bulk modulus и упругий тензор. Новые значения не создаются. Отбор 16 из 18 полных материалов может вносить смещение; случайность пропусков не установлена.
Методика расчёта упругости ↗Лицензия · вопрос остаётся открытым
Условия JARVIS-Tools относятся к коду и документации. Достаточное основание для повторной публикации нашего снимка ещё не установлено. LICENSE_UNRESOLVED сохранён.
Условия сервиса JARVIS ↗KLT ↔ структура · 18 заданий проверки
Для каждого материала подготовлено задание с внешним ID, хешем структуры, фазой и lineage. Следующий шаг — связать его с конкретной записью и структурой KLT-RBD. Совпадение формулы не подтверждает соответствие.
ABSTAIN · 0 применённых аннотаций Исходные данные и цель сохранены. Досье проверяется повторным вычислением; хеш списка ссылок не удостоверяет внешние страницы.
Локальный индекс корпусаФайл не отправляется на сервер
CP2B-B2
Полный индекс не встроен публично
ABSTAINРеальный snapshot проверен, но raw/derived payload удерживается до разрешения лицензии. Локальный индекс v0.8 или v0.9 можно загрузить вручную; файл не покидает браузер.
ARBD · реперы, прогнозы и проверкиТекстовый пилот, SE1–SE3 и досье CP2B
ARBD-CHEM · ПЕРВЫЙ ПИЛОТ · 10 СЕНТЯБРЯ 2026
Реперы химического текста
От фрагмента Тома VI к проверяемому основанию: найдите репер, раскройте точную цитату и посмотрите, какие проверки ещё предстоят.
Проверено совпадение с 12 абзацами документа «Том VI», редакция 1.1. Это выборка из одного семейства произведения. Заголовки реперов и роли фрагментов — рабочая разметка; авторская атрибуция и смысловая область требуют отдельной проверки. Полный анализ тома не выполнен.
Найдено реперов: 6 из 6
Граница программной и химической проверки
Атрибуция: 0 из 2 фрагментов проверено. Связь со структурой вещества и наблюдением свойства не установлена.
Граница применимости · абзац 13
Редакция v1.1 сохраняет полный корпус v0.10 и добавляет аудит целостности, закрывающие формальные патчи, русский proof/dependency-ledger 92/92 и вычислительную программу KLT-MATDES v0.6. Редакционная, формальная и программная целостность проверяются раздельно от эмпирического статуса. Внутренние mechanics-only fixtures и программные тесты не повышают статус DHC_chem; отсутствие независимого EXT-RUN и реального source-bound корпуса сохраняет ABSTAIN.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: 80108d4741a0ebafa8be872f54c1a930f73a74774e7208aa1b294b9c583e75a5Граница применимости · абзац 14
Статусный замок v1.1: EDITORIAL_INTEGRATION=PASS; software_tests=29/29 PASS; science=ABSTAIN; DHC_chem=OPEN-NOT-CONFIRMED; EXT-RUN=NOT_RUN; truth_layer_promotion=0; T6-RA5=NOT_ISSUED.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: db0fe521c62e0010e10df05919cb5fdb17dd07e45417e8f50b0eeb9e811b2c84Открыто: 5 проверок — атрибуция, смысловая область и повторяемость в независимых произведениях.
Текстовые роли и химический репер
Атрибуция: 0 из 2 фрагментов проверено. Связь со структурой вещества и наблюдением свойства не установлена.
Граница применимости · абзац 1585
Утверждение. Восемь химических строк-реперов v2.1 не утверждаются автоматически как полные Rep_chem.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: fed7982ded52eaaf7db4fc728d8656ce88ebc45ae62777472af32b5ae1539c34Граница применимости · абзац 1586
Доказательство/основание. Они хранятся как legacy_import_rows с каноническим JSON, хешем строки и STAGED_ABSTAIN; из текстовых U/I/R/D не создаются reper_roles.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: a2c21bed1974abb119c8c2d53e7839341eb37925047bf65d577e86e3d3ac016bОткрыто: 5 проверок — атрибуция, смысловая область и повторяемость в независимых произведениях.
Незакрытые ворота и ABSTAIN
Атрибуция: 0 из 2 фрагментов проверено. Связь со структурой вещества и наблюдением свойства не установлена.
Текстовое основание · абзац 1591
Утверждение. Протокол с неразрешённым жёстким gate представление v_protocol_decision возвращает как ABSTAIN.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: 99c7acdef3954d03bd624ade94480332aa26ee1203da3164edfb3c5fc4ab75f6Текстовое основание · абзац 1592
Доказательство/основание. Представление считает жёсткие FAIL, UNKNOWN и NOT_RUN; положительное число выбирает ABSTAIN раньше любой ветви статуса кандидата.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: bf8ada9208357952ecc52a27c4148cfee093bd048cb8d638f85245b71c2d501dОткрыто: 5 проверок — атрибуция, смысловая область и повторяемость в независимых произведениях.
Выбор структуры репера
Атрибуция: 0 из 2 фрагментов проверено. Связь со структурой вещества и наблюдением свойства не установлена.
Граница применимости · абзац 1725
Утверждение. Из одного химического C@C без внешней структуры нельзя единственным образом получить Rep_chem с релевантными I,U,D_rep и Dom.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: 783a4d4481e316269e9c10f77afbe098a3a2be2965f865e00d848af080f31c89Граница применимости · абзац 1726
Доказательство/основание. Фиксированная пара событие@граница допускает разные исследовательские инварианты I, разные классы альтернатив U и разные виды основания D_rep. Ни одна координата C@C не выбирает их единственно. Следовательно, требуется зарегистрированный оператор выбора J.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: 4c0d620e0f7a5dbb8a76f3c5ebb6e41977e2929d702c9eb7277ae17140b4c739Открыто: 5 проверок — атрибуция, смысловая область и повторяемость в независимых произведениях.
Композиция с воздержанием
Атрибуция: 0 из 2 фрагментов проверено. Связь со структурой вещества и наблюдением свойства не установлена.
Текстовое основание · абзац 1745
Утверждение. В конечной композиции Safe-операторов любой промежуточный ABSTAIN исключает финальный Ok.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: f7d7a3a6db09e218ffb57b178ff336ed40c39b4b8e7c493902f249d208805ecbТекстовое основание · абзац 1746
Доказательство/основание. Определим bind так, что ABSTAIN(B) передаётся без вычисления следующего шага, а два набора blockers объединяются. Индукция по длине цепочки показывает: после первого ABSTAIN все последующие результаты остаются ABSTAIN.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: 531839135ddaef8e5c7b14d7e2a70922367b05420832cb7326fa67cfac36d332Открыто: 5 проверок — атрибуция, смысловая область и повторяемость в независимых произведениях.
Независимая внешняя проверка
Атрибуция: 0 из 2 фрагментов проверено. Связь со структурой вещества и наблюдением свойства не установлена.
Граница применимости · абзац 1815
Утверждение. При G_EXT=NOT_RUN статусный морфизм v0.8 возвращает ABSTAIN независимо от величины эффекта fixture.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: 343d9d2eabeea782ae50fa574a8a9e74f10928bf37cf38281523984013526c1aГраница применимости · абзац 1843
Original EN preserved. Title: Current-corpus decision. Statement: The available real chemical corpus remains ABSTAIN at v0.8. Proof: No real source-bound preregistration, homogeneous Evidence-D class, strict matched-null, sealed hidden channel and independent EXT-RUN jointly exist in the frozen inputs. Since the strict gate is conjunctive, no real predictive candidate is constructed.
Источник: T6_RU_INTEGRATED_v1_1.docx. Нумерация прямых абзацев основного текста DOCX с единицы; это не номер страницы.
SHA-256 абзаца: b912d13c1a44aaa6e2143e7f7ac2e83b091703220818663f4033ff24fc4a53efОткрыто: 5 проверок — атрибуция, смысловая область и повторяемость в независимых произведениях.
Происхождение и границы результата
Автор проекта и исходного корпуса: Курпишев Иван Борисович. Программная связь использует неизменённое общее ядро ARBD Build 28. Из RUN023R учтено разделение SUPPORT / SCOPE_BOUNDARY; специальные логические правила анализа Канта сюда не перенесены.
Проверка источника означает точное совпадение текста с зафиксированным DOCX при сборке. Хеш не подтверждает авторскую позицию или химический факт. 30 открытых проверок этого текстового пилота считаются отдельно от 37 блокеров корпуса KLT-MATDES.
В CP1 нет формализованного графа химических противоречий. Отсутствие связей не означает непротиворечивость теории.
SHA-256 DOCX: adecc02cabd08e192aa6e9fc8a8cc6f160a58dae4a44e9ad0cf7062c8f8f46cfХеш отчёта: e24e1773f9c929237d6736c0d0d0df01eaab17ad71c4d6203d1c772e93a4814escience=ABSTAIN · EXT-RUN=NOT_RUN · truth_layer_promotion=0 · T6-RA5=NOT_ISSUED
CP2A · ОБЩИЙ РЕЗУЛЬТАТ ARBD И KLT-MATDES
От текстового репера к записи корпуса
Для репера CHEM-AR-004 сопоставлены 2 фрагмента, 1 запись материала и 1 наблюдение свойства. Программа заново проверила исходный текст, базу и цель, затем применила штатный селектор свойств KLT-MATDES.
Ключи совпали
Проверены материал, структура, фаза, свойство, единица, метод и источник.
PASSТребуется основание
Состояние и область наблюдения не совпали с требованиями цели.
STATE_OR_DOMAIN_MISMATCHABSTAIN
Химическая связь не установлена. Новых наблюдений и записей соответствия: 0.
NOT_ESTABLISHEDЭто предложение связи с методическим ограничением. Точность ссылки не подтверждает смысловую связь репера с веществом.
Шесть незакрытых проверок этой связи
- Атрибуция фрагментов требует проверки
- Смысловая область текста не подтверждена
- Нет проверенного основания связи именно с этим материалом
- Независимая проверка не выполнена
- Условия наблюдения не соответствуют требованиям цели
- Лицензионное основание корпуса не разрешено
Единый контроль происхождения результата
Этот экран читает публичную проекцию того же расчёта. Полный отчёт содержит исследовательские записи; здесь опубликованы только статусы, количества и контрольные значения.
ARBD: e24e1773f9c929237d6736c0d0d0df01eaab17ad71c4d6203d1c772e93a4814eКорпус: 9fb74907de0e69fdbcc79e25a531faa5b17a14efd23eac1594ebd3bbd2855b32Цель: f5688a952a1074275e48c86d91024cb04ae5740e41c22cc201bec73d56931ca6Полный отчёт: cefc1dc09b771e9ce78cdebd3fece3c3684f03ff0bdefdda070ab8e0e430550022 автоматических теста пройдены. Повторный расчёт совпал; изменения исходной базы и научного статуса: 0.
Текущий аудит данных · CP2B-B3.8A
CP2B-B3.8A · 30.09.2026
Источники проверены. Первичные протоколы ожидаются
ABSTAIN · научный допуск закрыт
После сверки новых документов учтены RUN042, химическое дополнение и выпуск Analyzer 1.05.5. Карточка JVASP-114724 заново загружена 30 сентября и совпала со снимком B3.7.
Результат поиска по каналам
SCF · #11
Карточки архивов: 69
67 разобранных диапазонов
Не разобрано заголовков: 2
TBmBJ · #12
Карточки архивов: 33
32 разобранных диапазонов
Не разобрано заголовков: 1
Упругость · #13
Карточки архивов: 32
30 разобранных диапазонов
Не разобрано заголовков: 2
В 129 разобранных диапазонах номер 114724 не найден. Пять заголовков требуют ручной проверки. Содержимое архивов не исследовано: это не доказательство отсутствия первичных файлов.
Химический корпус доступен: 2197 разделов, 35 проверок целостности прошли. 36 тестов RUN042 повторены успешно. Научные условия допуска сохранены.
12 тестов аудитора прошли
B3.8B: получить протоколы каждого канала, подтвердить происхождение и историческую версию расчёта, затем применить приёмщик B3.6. Все 37 исторических блокеров сохраняются.
Архивная точка CP2B-B3.7 · 26 сентября 2026
CP2B-B3.7 · 26.09.2026
Проверить извлечение свойства
Научный допуск закрыт · ABSTAIN
Аудит сохранённой карточки JVASP-114724 сопоставляет подписи краёв зон, округление и тензор упругости. Первичные расчётные протоколы пока не получены.
Подписи не согласуются с зазором
Опубликовано: 3.366 eV
Проверяемое выражение: 3.652 − 7.017 = -3.365 eV
При CBM = 3.652 eV и VBM = 7.017 eV разность отрицательна. Она несовместима с опубликованным положительным зазором. Исходные поля сохранены.
Что объясняет код, а что ещё неизвестно
В закреплённой версии JARVIS перестановка подписей воспроизведена на искусственных массивах в спиновой ветви. Версия ПО и ISPIN пилота неизвестны: историческая причина остаётся неподтверждённой.
Когда округлённые поля совместимы
Линейный образ независимых интервалов — точный интервал между суммами покомпонентных минимумов и максимумов. Пересечение с опубликованным интервалом означает возможность в этой модели. Для неизвестных корреляций это лишь необходимая проверка.
Источник: сохранённый снимок от 24 сентября. Повторное получение 26 сентября недоступно (HTTP 403); свежесть XML не подтверждена.
bc8d103827a6926e74b1fa20279096fecf37f01c9e96731612a6496d04cb40e0JARVIS: 2c2241dbd47c7d3ec5f0f7a78e7231e7705b43f7
B3.8: установить исторические протоколы каналов и проверить первичное извлечение. Нормировка полной энергии на атом не переносится на зонный зазор или модуль упругости.
science=ABSTAIN · DHC_chem=OPEN-NOT-CONFIRMED · EXT-RUN=NOT_RUN · truth_layer_promotion=0
Архивная точка CP2B-B3.6 · 24 сентября 2026
CP2B-B3.6 · 24.09.2026
Связать результат с расчётным протоколом
Научный допуск закрыт · ABSTAIN
Приёмщик сверяет байты файлов, входы и выходы, число атомов, ENCUT и журнал запусков. Согласованность пакета ещё требует независимой проверки его происхождения.
Все восемь пакетов учебные. Их OUTCAR-фрагменты созданы для проверки программы; реальные расчёты не выполнялись.
Согласован · нужна экспертиза
Внутренние проверки пройдены. Происхождение, метод и научные основания требуют отдельной экспертизы.
Проверено файлов: 13 · Сверено точек: 3. Происхождение: не подтверждено.
Когда нормировка неоднозначна
Учебный пример: радиус r = 0.002, допуск ε = 0.001. Для каждого n проверяется r ≤ nε. Набор делителей здесь задан условно.
Решение зависит от делителя: требуется уточнить протокол.
Точное условие определимости
Если два протокола дают одинаковые наблюдаемые сведения, но разные решения, по этим сведениям нельзя однозначно восстановить решение. Нужно уточнить происхождение или сохранить неопределённость.
B3.7: получить исходные пакеты каналов #11, #12 и #13, проверить определения энергии и извлечение каждого свойства. Карточка пилота совпала с прежними байтами; первичных расчётных файлов пока нет.
Границы проверки
Поддержан ограниченный разбор POSCAR, INCAR и последней свободной энергии TOTEN из OUTCAR. Семантика метода, подлинность журнала, успешное завершение расчёта, лицензия и сходимость свойств автоматически не удостоверяются.
ca102abe899defb0a2d37742ed4f6419910491691d03af200b508bd1a7726ba8science=ABSTAIN · DHC_chem=OPEN-NOT-CONFIRMED · EXT-RUN=NOT_RUN · truth_layer_promotion=0
Архивная точка CP2B-B3.5 · аудит процедуры ENCUT
CP2B-B3.5 · 24.09.2026
Сходимость: проверка процедуры расчёта
Научный допуск закрыт · ABSTAIN
Три синтетические трассы закреплённой функции JARVIS показывают, почему одного возвращённого ENCUT недостаточно. Связь этой версии кода с историческим пилотом ещё не подтверждена.
Все значения в таблице учебные; физические расчёты не запускались.
| Шаг | Запрошенный ENCUT | Имя задания | Источник ответа |
|---|---|---|---|
| 1 | 500 | ENCUTSYNTHETIC-500 | Имитация расчёта |
| 2 | 550 | ENCUTSYNTHETIC-500 | Имитация расчёта |
| 3 | 600 | ENCUTSYNTHETIC-600 | Имитация расчёта |
| 4 | 650 | ENCUTSYNTHETIC-650 | Имитация расчёта |
| 5 | 700 | ENCUTSYNTHETIC-700 | Имитация расчёта |
| 6 | 750 | ENCUTSYNTHETIC-750 | Имитация расчёта |
| 7 | 800 | ENCUTSYNTHETIC-800 | Имитация расчёта |
Результат трассы: Функция вернула 550
Возврат после неудачной дополнительной проверки. Разные параметры получили одно имя задания.
Если C = A ∧ B, продолжать нужно при ¬A ∨ ¬B. Условие ¬A ∧ ¬B может завершить цикл, когда прошёл только один этап.
При радиусе конечного хвоста r и числе единиц n проверка имеет вид r ≤ nε. Подмена n при прежнем допуске может изменить решение. Выбор должен опираться на первичный протокол, а не на желаемый PASS.
Химический корпус доступен
Принята авторизованная компиляция от 24 сентября: 2197 разделов, контрольная сумма проверена. Повторный поиск старого TXT для продолжения не требуется. Замороженные тексты сохранены.
SHA-256: 782371776cf8d3dc9ec87cc4c8652614772ab67d4521d8388c5aa18473f23a0cСледующий шаг B3.6: установить версию реального запуска, получить протоколы трёх каналов, проверить нормировку и связь KLT-структуры. 37 исторических блокеров сохраняются.
Закреплённый источник и отчёт
JARVIS-Tools · converg_encut · 2022-05-07
Historical pilot binding: UNVERIFIED
12712eddee3f13a1b3fc28dc9cd0f05138851a4fb4428222058ef14e427c6ef3science=ABSTAIN · DHC_chem=OPEN-NOT-CONFIRMED · EXT-RUN=NOT_RUN · truth_layer_promotion=0
Архивная точка CP2B-B3.4 · паспорта каналов
CP2B-B3.4 · 24 сентября 2026
Расчётные основания каждого свойства
Допуск закрыт · ABSTAIN
JVASP-114724: опубликованное значение связано с источником. Для воспроизводимого расчёта нужны отдельные основания каждого канала.
DFT-OptB88vdW
JVASP-114724 → #11/basic_info/main_relax_info/scf_indir_gap| Необходимое основание | Результат проверки |
|---|---|
| Сходимость именно этого канала | Не получено или не привязано к каналу |
| Сетка k-точек и её построение | Не получено или не привязано к каналу |
| Извлечение именно этого свойства | Не получено или не привязано к каналу |
| Идентификаторы псевдопотенциалов | Не получено или не привязано к каналу |
| Входные параметры и версия программы | Не получено или не привязано к каналу |
| Выходной журнал расчёта | Не получено или не привязано к каналу |
Заполненный паспорт проверяет автономный модуль. Комплектность файлов и совпадение хешей позволяют передать их на проверку, но не открывают научный допуск.
Проверка конечных рядов
Порог аудита: 0,001 в единицах ряда энергии; минимум 3 точки в хвосте. Это наш диагностический критерий. Единицы и исторический критерий конкретного расчёта ещё не удостоверены.
Проверка относится к опубликованному параметру в каждом ряду. Связь рядов с тремя каналами не установлена. Даже устойчивый конечный ряд энергии не даёт границы ошибки band gap или модуля упругости без дополнительной связи.
В проверенном индексе 2020 года нет записи JVASP-114724. Это не доказывает отсутствие файлов во всём хранилище JARVIS. XML, повторно полученный 24 сентября, совпал с закреплёнными байтами.
CC BY 4.0 указана для файла индекса. Её применимость к нашему снимку и расчётам пилота не установлена. Публичный отчёт содержит метаданные проверки.
Следующий шаг B3.5: получить протоколы трёх каналов и объяснение расхождения по ENCUT; проверить условия использования и независимое соответствие KLT-структуры. 37 исторических блокеров сохранены, снято 0.
Источники и контрольная сумма
9fe9688be0ced14df7171d242db3a0d8a38f682e3e821f285946bd95ab3a68d6science=ABSTAIN · DHC_chem=OPEN-NOT-CONFIRMED · EXT-RUN=NOT_RUN · truth_layer_promotion=0
Архивная точка CP2B-B3.3 · 20 сентября 2026
CP2B-B3.3 · 20 сентября 2026
Происхождение ответов подтверждено по хешам
Допуск к обучению и прогнозу закрыт
Несогласованные поля состава уже присутствуют в полученных ответах API. Проверяемый экспорт не является источником этих расхождений. Историческая дата и исполнявшаяся ревизия не получили независимого удостоверения; внутренняя причина ошибки у поставщика не локализована.
DFT-OptB88vdW
Значение совпало по точному пути XML. Полный расчётный контекст канала ещё не подтверждён.
dft_3d_JVASP-114724 → #11/basic_info/main_relax_info/scf_indir_gapOPTIMADE: _jarvis_optb88vdw_bandgapПредставление CONTCAR в XML: ячейка и пять узлов совпали после учёта перестановки одноимённых узлов. Это представление поставщика; исходный файл расчёта и независимая структура KLT не удостоверены.
Опубликованы ряды сходимости: 11 и 6 точек. Критерий и привязка к каждому каналу пока не подтверждены.
Отдельная производная: 49 записей, 141 замена полей
Изменены только elements, nelements и elements_ratios. Доказаны идемпотентность и восстановление разобранных записей по журналу; остальные поля сохранены. Это условная коррекция метаданных относительно списка узлов. Исходный снимок не изменён; производная находится в карантине.
QUARANTINED_NOT_ADMITTED
28 тестов нового модуля пройдены. В публичном комплекте доступны 20 синтетических тестов; ещё 8 требуют исследовательских входов.
Девять ответов и их контрольные суммы
| Формула запроса | Записи | SHA-256 |
|---|---|---|
| BaHfO3 | 3 | 5bef12d44fb2bc9b24c8a586025960e6020e6759a58786485490fc3a7afdbdde |
| BaO3Ti | 12 | 91ab735dba4d86125073d3038df2784d97303f0b5a09fe9f0cc194141396fb98 |
| BaO3Zr | 5 | ab7628a53fcc6594dbaa89f1eb635c6f0074a9601100b773144981d66cc57f46 |
| CaHfO3 | 3 | 5f0567b1f61fda96bf18263d3edafbe79a4f8a3a7e2a7b06c206995ecb1e2c9d |
| CaO3Ti | 6 | 7da8ad5e35d51159762c661b604b1e6831f1c821852635d816c793d687e633f6 |
| CaO3Zr | 2 | aa477342033ea77024e6f165af3092e2b57bdd98a875b6edcabdc6a63441c4c8 |
| HfO3Sr | 8 | f9582633ecd1cabf7e81ab1b1e176665d02f426a6103b8b68df6a1e4f6989a98 |
| O3SrTi | 3 | dd743e026692595d56aca9f3299daa788e5d7a937169584fd0faff434507e72c |
| O3SrZr | 7 | 7e8ddef0e268358adbcc289747d341a84f31928a6f04a731d216c445187b1846 |
Применимая лицензия снимка остаётся неустановленной. Значения свойств, координаты и тела ответов не включены в публичный комплект.
Далее — B3.4: расчётные протоколы по каждому каналу, условия использования данных и независимое построение структуры KLT. Исходных файлов расчёта получено: 0. Исторических блокеров: 37; снято: 0.
Источники и отчёт
Report: 76940fad4fb846fd15c77ece5ced63ffd9069c005728ae01efe894bb0cad2aa0science=ABSTAIN · EXT-RUN=NOT_RUN · truth_layer_promotion=0 · T6-RA5=NOT_ISSUED
Архивная точка CP2B-B3.1 · 18 сентября 2026
Историческое состояние проверки. Источниковое обновление опубликовано выше в CP2B-B3.8A.
CP2B-B3.1 · 18 сентября 2026 · аудит сохранённого снимка
Допуск исходных данных
Допуск к прогнозу закрыт
DFT-OptB88vdW
Идентификатор, структура и значение сверены с замороженным источником. Совпадение хеша не подтверждает корректность данных.
dft_3d_JVASP-114724 → #11 → /data/2/attributes/_jarvis_optb88vdw_bandgapМетод определяется полем свойства. Общая метка функционала записи не заменяет метод конкретного канала; условия и сходимость канала требуют первичных файлов расчёта.
Что препятствует допуску
- Список элементов содержит повторы
- Число долей не совпадает с числом элементов
- Число разных элементов не согласовано
Проверены согласованность состава и привязки. Это ограниченная проверка, не полная сертификация OPTIMADE. Причина расхождения между провайдером и экспортом пока не установлена.
Не получены INCAR, KPOINTS, POSCAR/CONTCAR, OUTCAR/vasprun.xml и их связь с выбранными наблюдениями. В снимке список raw_files пуст; это не доказывает отсутствие файлов у провайдера.
Лицензионное основание снимка открыто
У набора JARVIS DFT Data 2018 года указана MIT, но это изменённый набор для matminer. Применимость к нашему OPTIMADE-снимку не установлена. JARVIS DFT Data · 2018
Источники и границы проверки
Исторический аудит: 37 блокеров; снято 0. Исходный снимок, цель и база не изменены. Новые находки учитываются отдельным слоем.
OPTIMADE 1.1.0 · elements / nelements / elements_ratios
NIST JARVIS · dft_3d / raw_files
SHA-256: c78b537138eeb0a5dbda18027a185b1f625c8413ef8f891838c9aadffbdd4fb5SCIENCE=ABSTAIN · прогноз реального корпуса NOT_RUN · truth_layer_promotion=0. Условия процесса, неопределённость и физическая достижимость не установлены.
Следующий шаг: подтвердить происхождение несогласованных полей, получить файлы расчёта и применимые условия использования; затем выпустить отдельную исправленную производную редакцию.
SE3 · журнал проверки прогнозов
SE3 · ПРОГНОЗ И ПОСЛЕДУЮЩЕЕ НАБЛЮДЕНИЕ
Что показала проверка зафиксированного прогноза?
Учебный журнал: все данные синтетические и заранее известны. Показаны результаты отдельного локального расчёта Python, включая заблокированные и отклонённые попытки. Независимый слепой тест не проводился.
ПЕРВАЯ ПОПЫТКА
Сопоставление выполнено
Заявленное последующее значение: 2.4 eV, граница ±0.01 eV.
Запись №8 сохранена в истории.
ЗАКРЕПЛЁННЫЙ ОСНОВНОЙ РЕЗУЛЬТАТ
Центр вне интервала
Интервалы не пересекаются
Отклонение со знаком: 4,80653E-20 J.
Расстояние между интервалами: 2,64359E-20 J.
Запись №8. Числа здесь округлены для чтения; точные значения доступны в JSON.
Первое сопоставимое наблюдение закрепляет основной результат, включая промах. Повторная проверка сохраняется как отклонённая попытка. После ABSTAIN исправленные данные можно подать отдельно: история предыдущего отказа остаётся.
| № | Операция | Результат | Причина / оценка |
|---|---|---|---|
| 7 | ФиксацияSE3-miss_high | Прогноз зафиксирован | Начальное состояние, модель и горизонт сохранены |
| 8 | ПроверкаSE3-miss_high | Сопоставление выполнено | Центр вне интервала |
| 9 | ПроверкаSE3-miss_high | Попытка отклонена | Основной результат уже закреплён |
Как повторить проверку и что означает целостность
В архиве есть команды создания SQLite-журнала, фиксации, проверки, экспорта и повторного вычисления. Для собственного запуска возьмите commitment_hash из фактического ответа фиксации. Скачанный файл сам по себе ещё не зафиксирован в журнале.
SQLite и хеш-цепь обнаруживают несогласованные изменения и запрещают обычную перезапись. Владелец файлов может пересоздать журнал. Локальные часы и заявления пользователя не доказывают независимость или предварительную регистрацию. Источники наблюдений не аутентифицированы.
Для сравнения должны совпасть материал, структура, фаза, метод, свойство, температура, давление и процессная шкала. Этот договор требует положительного горизонта и точного совпадения времени с нулевыми временными границами.
Попадание центра и отношение интервалов показаны отдельно. Им не приписывается вероятностное покрытие. Физическая осуществимость не установлена, параметры не идентифицированы, прогнозирование реального корпуса остаётся NOT_RUN; science=ABSTAIN.
SE2 · учебный прогноз и горизонт
SE2 · МОДЕЛЬ И ГОРИЗОНТ
Как изменится значение при заданной скорости?
Учебный материал FIXTURE-MATERIAL. Исходный band gap: 2 ± 0.1 eV. Скорость задаётся как предположение, её постоянство и сохранение фазы и условий не подтверждены экспериментом.
Объявленный предел модели: 10 с. Это учебное ограничение, не установленный физический срок применимости. Десятичный разделитель — точка.
РАСЧЁТ В БРАУЗЕРЕ
2.1 eV
Заявленный интервал: [1.975; 2.225] eV
Граница: ±0.125 eV
Условный модельный результатПоследующее измерение отсутствует. Химическое подтверждение и физическая осуществимость не установлены.
q(h) = q₀ + v · hu(h) = u₀ + uᵥ · h
Интервал охватывает все значения при заданных границах начального свойства и постоянной скорости. Он не включает ошибку выбора модели и не имеет заявленного вероятностного покрытия.
Пакет SE3 относится к ретроспективному учебному примеру. Он включает текущий расчёт, модель, горизонт и правила проверки. Последующее наблюдение подаётся отдельной операцией после фиксации.
Предпосылки и проверяемость
Модель относится только к указанным материалу, структуре, фазе, методу, свойству и шкале времени. Температура 300 ± 1 K и давление 100 ± 1 kPa считаются постоянными. Горизонт задан точно; границы — абсолютные, без вероятностной интерпретации.
Сайт вычисляет численное ядро для фиксированного учебного состояния. Входной пакет содержит отдельные хеши состояния и модели. Python-модуль дополнительно проверяет весь договор, привязку и полноту исходных данных. Выход модели имеет отдельный тип PredictedState и не принимается как наблюдение StateSpec.
В реальном корпусе: 0 полных процессных состояний, 0 идентифицированных моделей, 0 прогнозов. Связь с ARBD сохраняется на уровне метода и области применения; science=ABSTAIN.
SE1 · состояния и события
SE1 · СОСТОЯНИЯ И СОБЫТИЯ
При каких условиях описан переход?
StateSpec связывает значение свойства с материалом, структурой, фазой, методом, температурой, давлением и временем процесса. EventSpec связывает два таких состояния и задаёт тип перехода.
Все семь сценариев — MECHANICS_FIXTURE. Значения придуманы для проверки программы и не относятся к реальному веществу. Показаны результаты сохранённого расчёта Python-модуля.
ИСХОДНОЕ СОСТОЯНИЕ
FIXTURE-A
- Фаза
- fixture-phase-a
- Температура
- 300 K · граница ±1
- Давление
- 100 kPa · граница ±1
- Время процесса
- 0 s · граница ±0
- Band gap
- 2 eV · граница ±0.1
- Метод
- FIXTURE
КОНЕЧНОЕ СОСТОЯНИЕ
FIXTURE-B
- Фаза
- fixture-phase-a
- Температура
- 350 K · граница ±1
- Давление
- 100 kPa · граница ±1
- Время процесса
- 10 s · граница ±0
- Band gap
- 2 eV · граница ±0.1
- Метод
- FIXTURE
Изменение условий: описание согласовано
Физическая осуществимость не установлена. Прогноз не выполнялся. Граница ± задаёт заявленный интервал; вероятностное покрытие ему не приписывается.
- Полнота состоянийPASS
- Один материалPASS
- Область, свойство и методPASS
- Единые часы процессаPASS
- Строгий порядок времениPASS
- Соответствие типу переходаPASS
- Указан протоколPASS
Почему смена единиц не создаёт новое событие
26,85 °C и 300 K дают одну каноническую температуру. Модуль сначала приводит величины и границы к общим единицам, затем сравнивает их. Отсутствующее значение остаётся неизвестным.
Порядок времени принимается только при общей шкале процесса и непересекающихся заявленных интервалах: t₀ + u₀ < t₁ − u₁. Дата изменения записи в базе для этого не подходит.
Что удалось описать в текущем корпусе
В закреплённой выгрузке не установлены температура, давление, время процесса и необходимые границы неопределённости этих 113 наблюдений. Это пробел выгрузки для договора SE1, а не утверждение об отсутствии сведений в первичных расчётах. Изменения записей не превращены в химические события.
Связь с ARBD остаётся предложением о методе и области применения. Лицензионные и доказательные обязательства корпуса остаются открытыми; science=ABSTAIN.
ARBD · журнал проверки оснований
CP2B1 · ЖУРНАЛ ПРОВЕРКИ РЕПЕРОВ
Решения с сохранением истории
Каждое предложение связано с точным фрагментом или отчётом о материале. Исправление добавляет новую запись; предыдущее решение остаётся в истории.
В очереди: по 12 проверок атрибуции, области и роли, плюс одна проверка связи с материалом. Это задания редакционного журнала; они считаются отдельно от блокеров химического корпуса.
Показать задания (37)
| Объект | Проверка | Предложение | История |
|---|---|---|---|
CHEM-OCC-P0012 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P0012 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P0012 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P0013 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P0013 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P0013 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1584 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1584 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1584 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1585 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1585 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1585 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1590 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1590 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1590 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1591 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1591 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1591 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1724 | Авторская атрибуция | Нужно основание | 1 |
CHEM-OCC-P1724 | Смысловая область | Нужно основание | 1 |
CHEM-OCC-P1724 | Роль фрагмента | Нужно основание | 1 |
CHEM-OCC-P1725 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1725 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1725 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1744 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1744 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1744 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1745 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1745 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1745 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1814 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1814 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1814 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-OCC-P1842 | Авторская атрибуция | Ожидает рассмотрения | 0 |
CHEM-OCC-P1842 | Смысловая область | Ожидает рассмотрения | 0 |
CHEM-OCC-P1842 | Роль фрагмента | Ожидает рассмотрения | 0 |
CHEM-AR-004 | Связь с материалом | Нужно основание | 1 |
История запросов основания
CP2B1-OPEN-001 · CHEM-OCC-P1724::ATTRIBUTION
В CP1 атрибуция этого точного фрагмента имеет статус UNKNOWN. Независимое решение об авторской позиции отсутствует.
Автор записи: Codex · модельная редакционная пометка · 2026-09-10T07:12:29.385963+00:00. Независимая проверка не подтверждена.CP2B1-OPEN-002 · CHEM-OCC-P1724::DOMAIN
Область CHEMISTRY_METHOD_PROTOCOL пока является предложением разметки. Нужна отдельная смысловая проверка применимости.
Автор записи: Codex · модельная редакционная пометка · 2026-09-10T07:12:29.385983+00:00. Независимая проверка не подтверждена.CP2B1-OPEN-003 · CHEM-OCC-P1724::ROLE
Роль SCOPE_BOUNDARY предложена при разметке. Точное совпадение цитаты не заменяет независимую проверку этой роли.
Автор записи: Codex · модельная редакционная пометка · 2026-09-10T07:12:29.385988+00:00. Независимая проверка не подтверждена.CP2B1-OPEN-004 · CHEM-AR-004::MATERIAL_LINK
CP2A сопоставил ключи корпуса, но не установил предметное основание связи этой методической цитаты с выбранным материалом.
Автор записи: Codex · модельная редакционная пометка · 2026-09-10T07:12:29.385991+00:00. Независимая проверка не подтверждена.Подготовить предложение решения
Форма создаёт файл для добавления в локальный журнал. Она не отправляет данные на сервер. Имя редактора здесь не является подтверждением его личности или независимости.
Проверка истории и границы доверия
Цепочка хешей проверяет последовательность записей относительно отдельно сохранённого последнего хеша. Она не удостоверяет личность редактора и не доказывает правильность решения. Предложения не меняют атрибуцию ARBD, химические соответствия или научный статус.
Очередь: df552a1149146d6a935df94224510682fef035560f838f87ecb1e953de39f442Последняя запись: 3fd8f2bb5e23ec97250f99c5474f923adf707dbbe591a6134ba354a8a9f17b5933 автоматических теста пройдены. Подтверждённых независимых решений: 0. science=ABSTAIN.
ARBD · досье источников
CP2B2 · ДОСЬЕ РЕЦЕНЗИРОВАНИЯ
Кто проверяет, что проверяет и на каком основании
Подготовьте досье для одного задания. Точная цитата, версия источника и сведения о проверяющем сохраняются вместе. Модуль проверяет комплектность и совпадение цитаты с предоставленным текстом.
Опубликованы пустые заготовки для 37 заданий. Заполнение формы создаёт локальный файл с введёнными сведениями и полным загруженным текстом; на сервер он не отправляется.
Подготовить досье рецензента
Область этого досье: Атрибуция. Для другой области оформляется отдельное досье.
Что проверяет программа
Проверка требует совпадения задания и версии журнала, заполненной роли и области компетенции, времени с часовым поясом, решения, обоснования и точного фрагмента источника. Отдельно сверяются SHA-256 текста и диапазон байтов цитаты.
Полное досье получает COMPLETE_FOR_IDENTITY_CHECK: оно готово к проверке личности. Хеш текста не доказывает происхождение источника. Указанный профиль не аутентифицирует человека. Заявление «внешний рецензент» не устанавливает независимость.
Подтверждение личности, конфликта интересов и смыслового решения остаётся отдельной работой. При любом результате science=ABSTAIN; химические свойства и атрибуция ARBD автоматически не меняются.
Описание программы и документыСпецификация v1.1, научные схемы и скачивание
ПРОЕКТ «ЛОГИКА КУРПИШЕВА 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 до ретроспективного, слепого, внешнего и экспериментального циклов.
План, выпуски и научные источникиПрограмма, силлогистика, открытые базы и архив этапов
ПЛАН СОВЕРШЕНСТВОВАНИЯ · ADD-ONLY
ARBD, химическое ядро и сайт
План обновлён 30 сентября 2026. В CP2B-B3.8A сверены новые документы проекта, учтены RUN042 и химическое источниковое дополнение. Свежая карточка JVASP-114724 совпала со снимком B3.7. Проверены 134 карточки расчётных архивов: 129 диапазонов разобраны, 5 заголовков требуют ручной проверки. Первичные протоколы не получены; научная задача B3.8 остаётся открытой. Следующий шаг B3.8B — установить основания каждого канала и провести приёмку оригиналов.
Сохранить прогноз и проверить результат
История 15 учебных сценариев показывает попадания, промахи и причины отказа. Из расчёта SE2 можно подготовить пакет фиксации для SQLite-журнала. Досье CP2B-B3.8A доступно на русском, английском и китайском. Исторические точки сохранены; допуск реальных данных остаётся закрытым.
Target → Pareto → Passport
Typed TargetSpec, hard/soft ограничения, многокандидатный gap-vector, Парето-набор и хешированные receipts.
Условия и происхождение
34 связи с raw проверены, два пропуска разобраны, 18 заданий KLT подготовлены. CP2B-B3.3 установил присутствие несогласованных полей в ответах API по сохранённым хешам. Полные расчётные протоколы, KLT-структура и лицензия остаются необходимыми основаниями.
Модель и устойчивость
Lineage-safe benchmark, calibration, OOD, formation energy и stability gates.
Маршруты получения
Гиперграф стадий, прекурсоры, условия, безопасность, стоимость и human review.
Независимая проверка
Custodian, seal, submission, reveal и независимый DFT/лабораторный EXT-RUN.
Научная платформа
Многоязычность, API/PWA, DOI-ready releases, evidence ledger и связь с KLT-RBD.
РЕЛИЗНЫЙ ПАКЕТ
KLT-MATDES v0.11 CP2B-B2
Публичная Python/SQLite-сборка: досье условий, команды review-context / verify-context, проверка происхождения наблюдений и 65 тестов. Предложения аннотаций сохранены отдельно от исходных данных. Raw/derived records исключены до разрешения лицензии.
SHA-256 · PUBLIC ZIP
7870c8a732875785336c8ca5f526639534777b6bd458e885d35202629437a320Публичная программаZIP · код, тесты, документы↓Контрольная суммаSHA-256 · v0.11 CP2B-B2↓План совершенствованияДосье готово · CP2B-B3 следом↓Досье условий расчёта34 наблюдения · 2 пропуска · 18 заданий KLT↓Отчёт проверки65/65 тестов · integrity ok↓Изменения CP2B-B2ENGINE v0.11 + WEB-CP2B-B2↓Точка откатаZIP · неизменённая v0.10 CP2B-B1↓
ЛОГИКА КУРПИШЕВА 2 · СИЛЛОГИСТИКА
Посылки, заключение и геометрическая схема
Проверьте Barbara, Celarent, Darii и Ferio, измените посылки и изучите контрпример. Научное дополнение доступно на русском, английском и китайском языках.
Проверка устанавливает следование внутри заданной модели. Истинность посылок и предсказательная сила в материаловедении требуют отдельных оснований. SCIENCE=ABSTAIN.
ОТКРЫТЫЕ НАУЧНЫЕ ИНТЕРФЕЙСЫ
Внешние базы и методы не смешиваются молча
KLT-MATDES уже выполнил первый source-bound импорт JARVIS-OPTIMADE, сохранив версии, методы и происхождение записей. До разрешения license gate публично доступны descriptor, hashes и аудит, но не raw/derived payload.
АВТОРСКАЯ КАРТОЧКА
Курпишев
Иван Борисович
