KLT-MATDES + ARBD: журнал проверки реперов

Контрольная точка CP2B1. 10 сентября 2026. Автор проекта и исходного корпуса: Курпишев Иван Борисович. Программный модуль и редакционные пометки подготовлены с помощью Codex по поручению автора.

Выполненный шаг плана

Общий расчёт ARBD и KLT-MATDES, реализованный в CP2A, дополнен журналом предложений решений. Редактор может указать, что требует дополнительного основания, предложено принять или предложено отклонить. Каждая запись привязана к точному фрагменту либо к отчёту связи с материалом. Новое решение добавляется в историю и ссылается на предыдущее решение того же задания.

Реализованы 37 заданий: по 12 проверок авторской атрибуции, смысловой области и роли фрагментов, а также одна проверка предметного основания связи с материалом. Это очередь редакционной работы, а не пересчёт 30 текстовых пробелов CP1 или 37 блокеров химического корпуса.

В пилот внесены четыре модельные редакционные записи NEEDS_SOURCE. Они фиксируют уже обнаруженные пробелы: атрибуция, смысловая область и роль фрагмента CHEM-OCC-P1724, а также основание связи CHEM-AR-004 с материалом. Независимых одобрений нет. Остальные 33 задания ожидают рассмотрения.

Как сохраняется история

Очередь связывается с хешами ARBD-отчёта и публичного результата CP2A. Каждое событие содержит задание, решение, основание, указанного редактора, дату с часовым поясом, источник, хеш предыдущего события и ссылку на предыдущее решение этого задания. Исправления не удаляют прежние записи.

SQLite запрещает UPDATE и DELETE записей журнала и его исходных метаданных. Добавление выполняется в транзакции и требует известного вызывающей стороне последнего хеша. Это защищает от записи поверх уже изменившегося журнала. Проверка повторно проходит всю цепочку и сопоставляет её с отдельно сохранённым последним хешем; усечение журнала обнаруживается при наличии этого внешнего контрольного значения.

Локальная цепочка хешей не удостоверяет личность редактора и не заменяет независимое свидетельство. Если одновременно подменены весь журнал и внешнее контрольное значение, эта схема сама по себе подмену не докажет. Следующий этап требует отдельного договора идентификации и независимой проверки.

Границы решений

Допустимы только NEEDS_SOURCE, PROPOSED_ACCEPT и PROPOSED_REJECT. APPROVED и INDEPENDENT_VERIFIED модуль не принимает. Имя, введённое в форму, обозначается HUMAN_UNVERIFIED; программные записи имеют тип MODEL. Все события сохраняют independent_review=NOT_VERIFIED и truth_layer_promotion=0.

Предложение принять формулировку не переводит её в авторскую позицию автоматически. Журнал не изменяет исходный Том VI, атрибуцию ARBD, наблюдения MATDES или таблицу klt_external_mapping. Химическая связь CP2A остаётся NOT_ESTABLISHED, а несоответствие условий наблюдения цели остаётся открытым.

Что добавлено на сайт

В разделе ARBD появился журнал проверки: количества заданий и записей, фильтр по области, таблица текущих предложений и история запросов основания. Форма подготавливает JSON предложения, привязанный к очереди и текущему последнему хешу. Файл скачивается локально; данные формы не отправляются на сервер и опубликованный журнал не меняется.

Для добавления файла используется команда append локального модуля. При устаревшем хеше она откажет и потребует согласовать актуальное состояние. После принятия новых редакционных записей нужен новый экспорт и выпуск сайта. Серверное принятие решений и аутентификация независимых проверяющих пока не реализованы.

Проверка контрольной точки

33 уникальных автоматических теста: 14 исходного текстового адаптера, 8 синхронизации с MATDES и 11 нового журнала. Проверены сохранение истории при исправлении, запреты переписывания и удаления, устаревший хеш, повтор события, подмена источника, неправильное время, изменение очереди, усечение и подмена события с пересчитанным внутренним хешем. Отдельный тест проверяет договор файла из браузерной формы.

Два независимых построения из одних сохранённых предложений дают одинаковые JSON и SQLite. Само содержание модельных предложений не получает от этих тестов независимого подтверждения. Машиночитаемые контрольные значения записаны в VERIFICATION_CP2B1.json.

Следующий шаг

1. Определить договор независимой проверки: идентичность проверяющего, его роль, область проверки, точное основание и версию источника. Не считать второе обращение к той же модели независимым рецензированием.

2. Рассмотреть 12 фрагментов Тома VI и предметное основание первой связи; оформить решения отдельными событиями. Неразрешённые вопросы оставить открытыми.

3. Продолжить прежний CP2B-B3: условия конкретных расчётов, первичные выходные данные и лицензионное основание корпуса.

4. Подготовить StateSpec и EventSpec с явными состояниями, условиями и временем; затем перейти к предиктивной проверке на реальных данных. Полный план CP3–CP6 из выпуска CP2A остаётся действующим.

science=ABSTAIN; DHC_chem=OPEN-NOT-CONFIRMED; EXT-RUN=NOT_RUN; truth_layer_promotion=0; T6-RA5=NOT_ISSUED. Источники: зафиксированный Том VI COMPLETE v1.1, ARBD Build 28, KLT-MATDES v0.11 и отчёты CP1/CP2A; их происхождение приведено в UPSTREAM.json и каталоге восстановления.