KLT-MATDES + ARBD: SE3 на сайте

Контрольная точка SE3-WEB1. 15 сентября 2026 года. Автор проекта «ЛОГИКА КУРПИШЕВА 2»: Курпишев Иван Борисович. Программная интеграция и подготовка отчёта выполнены с помощью Codex.

Преемственность и результат

Исходная опубликованная точка - SE2 от 12 сентября, сайт KLT-MATDES, версия 15. Найден и принят самостоятельный пакет KLT_MATDES_ARBD_SE3_v1_0 от 14 сентября: исполнимый контракт, SQLite-журнал, 15 синтетических сценариев и досье. Этот пакет ранее не менял сайт. В SE3-WEB1 его ядро перенесено без изменения и проверено вместе с полным исследовательским пакетом SE2.

Сайт теперь показывает все 34 записи сохранённого журнала: 15 фиксаций, 9 сопоставлений, 6 заблокированных и 4 отклонённых попытки. Каждому сценарию сопоставлены первоначальная попытка и основной закреплённый результат. Шесть прогнозов ожидают первого сопоставимого состояния. Это учебный журнал; все значения придуманы и заранее известны.

В расчёт SE2 добавлена подготовка пакета фиксации SE3. Пакет содержит текущие параметры, горизонт, исходное состояние, хеши и правила проверки. Скачивание файла не выполняет фиксацию. Она происходит отдельной операцией локального SQLite-модуля. Последующее наблюдение принимается отдельно с хешем фактической фиксации.

Математический смысл проверки

Пусть I=[l,r] - ранее рассчитанный интервал прогноза, m - его центр; J=[y-u,y+u] - заявленный интервал последующего наблюдения, u ≥ 0. Сопоставление разрешается только после проверки договора контекста и времени.

Вычисляются отклонение d=y-m и |d|, принадлежность центра y интервалу I, отношение J к I, расстояние g=max(0,l-(y+u),(y-u)-r) и интервал разности J-I=[y-u-r,y+u-l].

Отношение CONTAINED означает J ⊆ I; OVERLAP - непустое пересечение при отсутствии включения; DISJOINT - пустое пересечение. Концы интервалов включены: касание даёт g=0 и непустое пересечение. Условие y ∈ I не означает J ⊆ I. Например, наблюдение с центром внутри I и большой границей u может выходить за обе границы прогноза. Эти различия отдельно представлены в сценариях.

Это детерминированная арифметика заявленных множеств допустимых значений. Она не устанавливает вероятностное покрытие, истинность модели или физическую достижимость. Договор SE3 требует положительного горизонта, точного совпадения процессного времени и нулевых временных границ. Расширение на неопределённый момент наблюдения потребует отдельного договора.

Почему история важна

Первое сопоставимое наблюдение закрепляет основной результат, даже если центр находится вне прогнозного интервала. Сценарий miss_high сохраняет промах; последующая удачная попытка получает PRIMARY_RESULT_ALREADY_LOCKED. Она остаётся в истории и не подменяет исходную оценку.

ABSTAIN не является численной оценкой. В сценарии phase_mismatch первая попытка имеет несовместимую фазу; после отдельной подачи исправленного состояния появляется первый сопоставимый результат. Интерфейс показывает обе записи, поэтому устранение ошибки контекста не выглядит как исчезновение первоначального отказа.

В журнале запрещены обычные UPDATE и DELETE; транзакции сериализуют запись, а проверка повторно вычисляет решения и сверяет хеш-цепь. Владелец файлов может пересоздать весь журнал. Поэтому локальная фиксация, местные часы и хеши не доказывают независимую предрегистрацию или слепоту. Хронология примеров помечена как ретроспективная синтетическая.

Техническое основание: SQLite Transactions описывает единственную одновременную транзакцию записи и режим BEGIN IMMEDIATE; SQLite CREATE TRIGGER - реакции на UPDATE/DELETE и механизм RAISE. Проверено 15 сентября 2026 года. Эти механизмы обеспечивают локальные ограничения приложения, без внешнего удостоверения истории.

Работа с сайтом и программой

1. В разделе SE3 выбрать сценарий. Сопоставить первую попытку с закреплённым итогом. При необходимости включить показ всех 34 записей, включая повторные и некорректные обращения.

2. Скачать пакет фиксации, отдельный пакет наблюдения или полный учебный JSON-журнал. Сайт отображает сохранённый результат Python; серверный журнал для пользовательских вычислений не создаётся.

3. В разделе SE2 задать скорость, её границу и горизонт. Кнопка «Подготовить фиксацию SE3» создаёт ретроспективный учебный пакет текущего расчёта. Параметры сохраняются как предположения; файл не становится наблюдением.

4. В локальной программе выполнить init, затем freeze. Из ответа взять commitment_hash. После этого подготовить и подать check с отдельным StateSpec. Экспорт и verify-export позволяют повторить проверку всей истории. Подробные команды приведены в README и исходном досье SE3.

Проверка интеграции

103 теста Python прошли: 64 унаследованных проверки SE1/SE2 и предыдущих слоёв, 38 проверок контракта SE3, одна проверка полноты проекции журнала на сайт. Восемь проверок JavaScript прошли, включая генерацию пакета браузером, его приём отдельными операциями Python/SQLite и сохранение первого промаха. Проверены все 34 записи исходного SQLite-журнала и его JSON-экспорта. Проверки страницы и загрузок выполняются при сборке сайта и фиксируются отдельно в отчёте верификации.

Исходные данные ARBD, корпус и предыдущие математические модули сохранены. Публичные материалы содержат учебные примеры и агрегаты; численные строки реального корпуса в эту публикацию не включены. Из 113 поддержанных наблюдений корпуса по прежнему аудиту нет полных процессных состояний. Новых реальных прогнозов и независимых рецензий не получено.

Следующий этап работы

1. CP2B-B3: восстановить первичные условия и лицензионные основания для конкретной ограниченной группы записей. Каждое значение контекста связывать с документом или исходным расчётом; отсутствие сведений сохранять явно. Критерий завершения - проверяемое досье происхождения и условий.

2. После допуска данных определить идентифицируемый класс динамики, соответствующие наблюдаемые величины и область горизонтов. Репер ARBD остаётся основанием методической гипотезы; он не заменяет закон эволюции или эксперимент.

3. Для серии прогнозов заранее закреплять состав задач и правила агрегирования, сохранять все результаты, сравнивать с baseline и отдельно учитывать смену контекста. Независимая временная фиксация и внешний хранитель данных потребуют собственного подтверждённого протокола.

physical_reachability=NOT_ESTABLISHED; parameter_identification=NOT_PERFORMED; real_corpus_forecast=NOT_RUN; independent_blind_test=NOT_RUN; science=ABSTAIN; DHC_chem=OPEN-NOT-CONFIRMED; EXT-RUN=NOT_RUN; truth_layer_promotion=0; T6-RA5=NOT_ISSUED. Закрытие инженерного этапа не повышает доказательный статус химии.