KLT-MATDES / ARBD · CP2B-B3.3 · 20 сентября 2026
Курпишев Иван Борисович / Ivan Borisovich Kurpishev
Получены тела всех девяти ответов JARVIS OPTIMADE, контрольные суммы которых сохранены в исходном снимке. Их SHA-256 совпали с сохранёнными значениями. Все 49 записей совпали со снимком при сравнении точных десятичных чисел и типов. Несогласованные поля состава уже присутствуют в этих ответах; проверяемый экспорт не является источником этих расхождений.
| Проверка | Результат |
| Ответы, совпавшие по SHA-256 | 9 из 9 |
| Записи, совпавшие со снимком | 49 из 49 |
| Каналы пилота, сопоставленные с XML | 3 из 3 |
| Исходные файлы расчёта, полученные и проверенные | 0 |
| Тесты нового модуля | 28 пройдены |
| Исторические блокеры / снято | 37 / 0 |
B3.1 выявил несогласованный состав. B3.2 закрепил экспортёр и проверил его механику, но не располагал телами исходных ответов. B3.3 восполняет этот пробел по сохранённым хешам и добавляет опубликованный XML именно JVASP-114724. Запись JVASP-13829 не подставлялась вместо пилота.
При обычном предположении о стойкости SHA-256 найдено содержимое, связанное с ранее сохранённым хешем. Скачивание выполнено 20 сентября; историческая дата, происхождение самого хеш-обязательства и исполнявшаяся тогда ревизия не получили независимого удостоверения. Внутренняя причина ошибки на стороне поставщика не локализована.
Исходный снимок и полный архив B3.2 сохранены без изменения байтов. Новая производная отделена от них и имеет статус QUARANTINED_NOT_ADMITTED. Полная сертификация API на соответствие OPTIMADE не проводилась. [S1, S2]
Область определения ограничена записями с полностью занятыми одноэлементными узлами, известными химическими символами, согласованными species_at_sites, nsites и формулой. Смешанная занятость, неизвестный вид узла или конфликт формулы приводят к отказу. Корректность исходной геометрии физически не доказывается.
E = sort(unique(sites)); c(e) = number of sites labelled e; n = sum c(e).
N(x): elements := E; nelements := |E|; elements_ratios := [c(e)/n for e in E].
Остальные поля копируются. В JSON доли представлены числами с плавающей точкой; точные рациональные значения c(e)/n сохранены в журнале. Следовательно, речь идёт об исправлении метаданных относительно принятого описания узлов, а не о получении нового химического знания.
N(N(x)) = N(x). Преобразование не меняет список узлов. Поэтому при втором применении E, c и n совпадают с первым применением. Порядок элементов и правило перевода рациональных чисел в JSON детерминированы; три присвоения дают тот же результат.
Для A = {elements, nelements, elements_ratios} проекция вне A удовлетворяет P(not A)(N(x)) = P(not A)(x). Журнал J(x) хранит старые и новые значения A и контрольные суммы записей. После проверки этих сумм восстановление R(N(x), J(x)) = x точно для разобранной JSON-записи. Побайтовый оригинал сохраняется отдельно: восстановление форматирования из JSON не заявляется.
N само по себе необратимо: два описания с одинаковыми узлами и разными ошибочными метаданными могут перейти в один результат. Журнал устраняет эту потерю только для закреплённой пары входа и выхода. Это условное программное утверждение, не доказательство истинности модели KLT.
| Изменено поле | Число записей |
| elements | 49 |
| nelements | 49 |
| elements_ratios | 43 |
| Всего замен полей | 141 |
Во всех 49 исходных записях обнаружены три вида несогласованности. У шести записей массив долей уже совпадал с итоговым массивом: после исправления первых двух полей его повторная замена не требовалась. Производная прошла ограниченную проверку состава, повторное применение и восстановление; обучение остаётся закрытым.
Получен XML поставщика для той же записи и фазовой метки. Три значения сопоставлены раздельно, по точным путям. Совпадение опубликованных значений связывает каналы с записью поставщика; оно не подтверждает полный расчётный контекст. Значения свойств и координаты в публичное досье не включены. [S3]
/basic_info/main_relax_info/scf_indir_gap_jarvis_optb88vdw_bandgap
/basic_info/main_optics_mbj/main_optics_mbj_info/opto_indir_gap_jarvis_mbj_bandgap
/basic_info/main_elastic/main_elastic_info/voigt_bulk_modulus_jarvis_bulk_modulus_kv
Вложенное текстовое поле CONTCAR содержит ячейку и пять узлов. При единичном масштабе и декартовых координатах ячейка и мультимножество пар «элемент — позиция» совпали в точной десятичной арифметике. Допущены перестановки одноимённых узлов и равенство −0 = 0. Поиск симметрий и произвольных преобразований ячейки не выполнялся. [S5]
Извлечённый текст помечен как представление из XML. Он не удостоверен как исходный файл расчёта и не является независимо полученной структурой KLT. Метки элементов не заменяют проверку использованных псевдопотенциалов.
XML содержит 11 точек ряда по k-параметру и 6 точек по энергетическому обрезанию, а также заявленные поставщиком параметры сходимости. Проверена форма рядов. Критерий сходимости, связь рядов с каждым из трёх каналов и полные протоколы не подтверждены. Расчёты DFT не запускались.
Новый сборщик сохраняет HTTP-тела до разбора, включая полные ответы об ошибке. Квитанция фиксирует URL, статус, размер, SHA-256, локальное время и хеш сборщика. Это полезная нагрузка HTTP, полученная с Accept-Encoding: identity, а не запись TLS-трафика или независимая отметка времени.
28 тестов нового модуля: 20 синтетических и 8 на закреплённом исследовательском входе. Проверены подмена байтов, дубли JSON, точность чисел и типов, неполная выдача, запрет посторонних изменений, восстановление, идемпотентность, раздельные XML-каналы и запрет повышения статуса. В публичном комплекте 8 проверок закрытых входов явно пропускаются. Старые 120 тестов ядра в этой точке заново не запускались; ядро сохранено в родительском архиве.
Страница Terms of Use получена, но применимый идентификатор лицензии для закреплённого снимка не установлен. Это не утверждение об отсутствии прав у поставщика. Публичный комплект содержит код, синтетические примеры и метаданные аудита; тела ответов, координаты, значения свойств и производная доступны только в исследовательском комплекте. [S4]
1. По каждому каналу — исходный протокол расчёта, INCAR, KPOINTS, идентификаторы или контрольные суммы псевдопотенциалов, OUTCAR/vasprun либо эквивалентное проверяемое свидетельство. 2. Применимые условия использования конкретных данных. 3. Независимое построение структуры KLT и проверяемое соответствие структуре вещества. 4. Только после этого — повторная оценка допуска; обучение и реальные прогнозы пока не запускаются.
Сохранены 37 исторических блокеров, снято 0. Новых соответствий KLT: 0; исходных мутаций: 0. science=ABSTAIN; DHC_chem=OPEN-NOT-CONFIRMED; EXT-RUN=NOT_RUN; truth_layer_promotion=0; T6-RA5=NOT_ISSUED; axiom_promotion=DISABLED. physical_reachability=NOT_ESTABLISHED; parameter_identification=NOT_PERFORMED.
S1 · JARVIS OPTIMADE · structures
S2 · OPTIMADE 1.1.0 · specification