Паспорт наблюдений и устойчивость реперного прогноза

Курпишев Иван Борисович · Проект «ЛОГИКА КУРПИШЕВА 2»

МАСТЕР-2 · RUN-025 / ARBD38 · CP6-P1 · 11 сентября 2026 г.

Аннотация

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

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

Результат выпуска

Статус: SCIENCE=ABSTAIN; truth_layer_promotion=0; эмпирическая точность NOT_VALIDATED; EXT-RUN=NOT_RUN. Формальная корректность алгоритма не устанавливает полноту сценариев, достоверность измерений или применимость модели к реальному объекту.

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

1. Носители, наблюдения и временной контракт

Пусть Ω - конечное непустое множество сценариев, yₕ: Ω → ℝ - скалярный целевой исход на фиксированном горизонте h. Каналу j сопоставлено точное значение rⱼ(ω) в сценарии ω и неотрицательная абсолютная граница εⱼ. Допустимые показания канала образуют замкнутый интервал:

Для набора B допустимые показания образуют декартово произведение I_B(ω). Это явно выбранная модель прямоугольных границ ошибки. Если известны корреляционные или функциональные ограничения между ошибками, декартово произведение может быть лишь внешним приближением. Тогда вычисленный радиус является консервативной оценкой относительно более узкого класса, а точным - только для принятой прямоугольной модели.

Для уже полученных показаний zⱼ, j ∈ A, зададим множество совместимых сценариев и точное множество исходов:

Пустое S(E) означает несовместимость данных с моделью и приводит к ABSTAIN_INCONSISTENT_OBSERVATIONS. Из пустого множества не выводится подтверждение любого прогноза. При непустом S(E) интервал [min Pₕ(E), max Pₕ(E)] является оболочкой множества; его внутренние точки не обязательно являются допустимыми исходами.

Время измерения и время доступности

В реализации задаются UTC-начало отсчёта и длительность шага. Время измерения привязано к шагу канала; время доступности не может предшествовать измерению. Для использованной записи требуется t_measure ≤ t_available ≤ t_issue < t_target. Версия модели должна быть зафиксирована не позже t_issue. Даже старое измерение нельзя использовать в прогнозе, если результат стал доступен после его выдачи.

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

2. Минимаксный прогноз после полученных наблюдений

Теорема 1. Радиус и оптимальный центр

Пусть S(E) непусто; a=min Pₕ(E), b=max Pₕ(E). При абсолютной функции потерь и свободном выборе вещественного прогноза d минимально возможная наибольшая ошибка равна (b-a)/2; она достигается в точке (a+b)/2:

Доказательство

Для любого d неравенство треугольника даёт b-a ≤ |b-d|+|d-a| ≤ 2 max(|b-d|,|d-a|). Поэтому наибольшая ошибка не меньше половины размаха. Если d=(a+b)/2, каждая точка Pₕ(E) лежит между a и b и удалена от d не более чем на (b-a)/2. Нижняя и верхняя границы совпали. Конечность множества гарантирует достижение крайних значений. □

Следствие 1. Идентифицируемость

Однозначный исход определяется тогда и только тогда, когда yₕ постоянна на S(E). Это соответствует R*(E)=0. Если пользователь допускает ошибку η>0, условие R*(E)≤η означает достаточную точность внутри модели, но не точечную идентифицируемость.

Следствие 2. Монотонность по согласованной информации

Добавление совместимых наблюдений уменьшает множество сценариев: S(E′)⊆S(E). Следовательно, Pₕ(E′)⊆Pₕ(E), и радиус при том же горизонте не возрастает. Если новые данные дают пустое множество, действует отдельная остановка, а не нулевой радиус. Утверждение ничего не говорит о монотонности по изменяющемуся горизонту h.

Область утверждения

Оптимальный центр может отсутствовать среди возможных исходов. Для категориального решения или обязательного выбора одного из сценариев задача оптимизации и результат могут быть другими. В данном модуле target является числовой величиной с указанной единицей; частоты сценариев не превращаются в вероятности.

Если реальное состояние ω* входит в Ω, соблюдены все принятые границы ошибок и временной контракт, то ω*∈S(E); отсюда следует условная гарантия принадлежности реального исхода Pₕ(E). Ни одно из этих эмпирических условий не доказывается конечным перебором.

3. Равномерный риск до чтения выбранных каналов

Зафиксируем непустое S=S(E), горизонт h и заранее выбранный набор дополнительных каналов B. Для ещё неизвестного вектора показаний z определим S_B(z)={ω∈S: z∈I_B(ω)}. Рассматриваются только z, для которых S_B(z) непусто. Прогноз δ может зависеть от z; значения δ разрешены в ℝ.

Теорема 2. Точная формула через неразличимые пары

Введём отношение совместимости показаний C_B; оно включает диагональ и потому непусто:

Доказательство

Нижняя граница. Любая пара из C_B имеет общее допустимое показание z. После его получения один и тот же прогноз δ(z) должен покрывать оба исхода. По теореме 1 его ошибка хотя бы для одного из них не меньше половины их расстояния. Максимизация по конечному множеству пар даёт нижнюю границу W_B.

Верхняя граница. Для каждого допустимого z возьмём центр оболочки {yₕ(ω):ω∈S_B(z)}. Максимальная ошибка равна половине её диаметра. Сценарии, достигающие минимума и максимума при данном z, имеют это общее показание и входят в C_B. Следовательно, диаметр не превосходит максимального расстояния в правой части формулы. Этот выбор δ обеспечивает верхнюю границу; обе границы равны. □

Для прямоугольной модели пересечение непусто в точности тогда, когда |rⱼ(ω)-rⱼ(ω′)|≤2εⱼ для каждого j∈B. Граница включена: касающиеся интервалы ещё допускают общее показание. Свидетель можно выбрать покоординатно как max(rⱼ(ω),rⱼ(ω′))-εⱼ.

Формула не требует перебора непрерывного пространства показаний или предположения о вероятности ошибок. Для пустого B существует единственное пустое показание, все пары совместимы и W_∅=R*(E).

4. Минимальные наблюдения и нетранзитивность

Следствие 3. Точный критерий заданной точности

Пусть η≥0. Обозначим через Dη множество пар с расстоянием между исходами больше 2η; через J(ω,ω′) - множество доступных каналов, для которых |rⱼ(ω)-rⱼ(ω′)|>2εⱼ. Тогда

Доказательство следует из теоремы 2: нарушение критерия оставляет неразличимую пару с радиусом больше η; его выполнение исключает все такие пары. Для пары задаётся множество разделяющих каналов. Искомый B пересекает каждое такое множество. Пустое множество разделителей даёт проверяемое препятствие для любого B. Минимизация мощности B - конечная задача о пересекающем множестве; алгоритм возвращает все наборы минимальной мощности.

Контрпример к транзитивному замыканию

Рассмотрим три сценария: r_X=1,3,5 и y=0,2,4 при ε_X=1. Интервалы [0,2], [2,4], [4,6] образуют цепь: первая пара и вторая пара пересекаются, крайняя пара не пересекается. Поэтому C_{X} не транзитивно. По теореме 2 W_{X}=1, хотя диаметр исходов всей связной компоненты равен 4. Замена совместимости связными компонентами дала бы лишний множитель 2.

Дополнительный канал Q со значениями 0,10,20 и границей ε_Q=1 разделяет все три сценария. При η=0 минимален набор {Q}; при доступном только X и η=1 минимален {X}. При η=2 не требуется ни одного дополнительного наблюдения.

5. Связь с реперным представлением

Пусть ρ:Ω→Z - реперное представление. В отсутствие ошибки точный прогноз по ρ существует тогда и только тогда, когда y постоянна на каждом слое ρ. В этом случае корректно определяется g на ρ(Ω) по правилу g(ρ(ω))=y(ω), то есть y=g∘ρ. Это критерий RUN-024. При ненулевой погрешности совпадение реперов заменяется пересечением множеств допустимых показаний; такой переход требует новой проверки, поскольку отношение пересечения не является эквивалентностью.

Теорема 3. Условная оценка устойчивости

Пусть координаты ρⱼ имеют фиксированные единицы и неотрицательные коэффициенты Lⱼ удовлетворяют следующему неравенству для всех пар сценариев из текущего S:

Если ошибки координат ограничены εⱼ, то

Доказательство. Для неразличимой пары каждое покоординатное расстояние не больше 2εⱼ. Подстановка в предпосылку ограничивает расстояние исходов величиной 2∑Lⱼεⱼ. Применение теоремы 2 завершает доказательство. □

Предпосылка влечёт факторизацию на конечном множестве представленных реперов: если все ρⱼ совпадают, совпадает и исход. Обратное существование факторизации само по себе не даёт полезной численной оценки Lⱼ в физически принятой области. В данном выпуске Lⱼ не подбираются автоматически; движок вычисляет точное W_B по конечной таблице. Распространение оценки на непрерывную область требует отдельного доказательства.

Единицы, проективные координаты и λ-истинность

Для замены единицы r′ⱼ=aⱼrⱼ+bⱼ, aⱼ≠0, требуется ε′ⱼ=|aⱼ|εⱼ. Тогда условие разделения сохраняется. При изменении единицы цели радиус и допуск масштабируются тем же абсолютным множителем. Одно переименование unit без пересчёта чисел не является преобразованием единиц.

При общем проективном преобразовании глобальная постоянная абсолютной ошибки обычно не сохраняется. Нужны фиксированная аффинная карта, область без полюса и контроль преобразования погрешности. Проективная инвариантность репера или гармоническое условие λ=-1 отдельно не доказывают достаточность для прогноза. Тома I-V, ПН.2 и физические статусы настоящим выпуском не изменяются.

6. Исполнимый паспорт и входной контракт

Пакет содержит passport и query. Паспорт фиксирует семантику модели; запрос связывается с его каноническим SHA-256. Изменение границ ошибки, сценариев, единиц или происхождения после подготовки запроса приводит к остановке. Новый согласованный запрос может быть создан явно; пересчёт хеша не превращает декларацию в подтверждённый источник.

Реализация принимает целые значения в явно выбранных единицах от -10⁶ до 10⁶; радиусы и допуск - неотрицательные целые. Половинные значения минимаксного радиуса и центра вычисляются точно в этом диапазоне. Для дробных физических величин до импорта выбирают подходящую единицу и документируют преобразование. Автоматического округления или преобразования единиц нет.

До 256 сценариев, до 8 каналов и до 8 шагов; один скалярный целевой канал. Формат UTC требует секунд и миллисекунд с окончанием Z. Некорректные даты, поздние данные, пропущенные поля, цель в заявленной цепочке происхождения наблюдения и попытки повышения научного статуса блокируются.

При импорте также отклоняются повторные JSON-ключи, в том числе записанные через Unicode-экранирование, опасные ключи прототипа, избыточная вложенность и файлы больше 2 МБ. Анализ выполняется локально; паспорт не запускает сетевое чтение или исполнение кода.

7. Алгоритм, проверка и преемственность

Конечный алгоритм

После проверки паспорта и запроса выбираются совместимые сценарии. Для каждой пары с различными целевыми значениями вычисляются расстояние исходов и битовая маска строго разделяющих каналов. Для каждого из 2ᵐ наборов каналов находится наибольшее расстояние среди неразделённых пар. Половина этого расстояния есть W_B. Затем выбираются все допустимые наборы минимальной мощности и строится общее показание для пары-препятствия.

Хранение масок требует O(n²), перечня результатов - O(2ᵐm). Это точное ограниченное ядро проверки, а не готовый алгоритм перебора многомиллионной базы. Укрупнение корпуса потребует отдельно проверенной абстракции, индексации или решателя ограничений. Гарантии данной реализации нельзя переносить на такое расширение без нового доказательства.

Данные Канта сохраняют run_id=KANT-RUN-024 и semantic_run024. RUN-025 обозначает новый выпуск программы; новый источниковый слой не создавался. 155/156 - прежнее покрытие, а не прирост этого этапа. Основной анализатор, главная страница, фотография и серверные функции сохранены.

Восстановление выполнено из канонического опубликованного Git-коммита fd9386dcfac736d2b5db3b6d50163e9c520fb9a1. Получить полный сохранённый ZIP RUN-024 в этой сессии не удалось: перенос вернул HTTP 403. Поэтому его исторический 69-файловый комплект здесь не объявляется повторно проверенным. В новую точку отката включены все 10 прежних публичных файлов ARBD из подтверждённого исходника.

Браузерное испытание, физический Android и независимый EXT-RUN не выполнены. Программные тесты не заменяют эти этапы.

8. Кант 038-03 и протокол следующего испытания

Редакторское предложение CP2F-038

Для оставшегося компонента предложен тип отношения INTERPRETS_HISTORY_WITH_CONSTITUTION_AS_TELEOLOGICAL_GOAL: история человеческого рода рассматривается через цель внутренне и внешне совершенного государственного устройства. AA VIII 22:6-21 и 27:2-16 задают предмет и модальность рассмотрения; ограниченность наблюдаемых исторических следов препятствует чтению этого положения как подтверждённого прогноза [3, 4].

Предложение сохранено отдельно и не применено к базе. Оно уже прежнего слова combines и требует решения: является ли это уточнением того же компонента или заменой на иной предмет. Из рассматриваемого отношения запрещено автоматически выводить правомерность по историческому факту или гарантированный будущий успех. Статус 038-03 остаётся CONTEXT_DEPENDENT / OPEN.

Будущее независимое испытание CP6-P2

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

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

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

Для химической ветви можно согласовать интерфейс с ранее выбранной газофазной кинетикой OH + алканы, но химический корпус, согласованный matched-null и скрытый канал здесь не получены и не проверены. Ни химический сертификат, ни DHC_chem настоящим выпуском не закрываются.

Публикация шаблона или вычисление собственного SHA-256 не доказывают ослепление и не создают внешнюю временную отметку. Итог этого этапа - исполнимый контракт и подготовленный план, а не зарегистрированное или проведённое независимое исследование.

9. Источники, границы и точка продолжения

Внешняя литература

[1] JCGM 100:2008. Evaluation of measurement data - Guide to the expression of uncertainty in measurement. Corrected version 2010. §3.3, §4, §6. https://www.bipm.org/documents/20126/2071204/JCGM_100_2008_E.pdf

Назначение [1] в этом выпуске - различить неизвестную ошибку измерения, стандартную неопределённость и интервалы покрытия. Вероятностная характеристика неопределённости не предоставляет автоматически детерминированный абсолютный предел; преобразование требует дополнительных предпосылок. Стандарт не служит доказательством принятых εⱼ.

[2] Aubry C., Desmare R., Jaulin L. Kernel characterization of an interval function. Авторская версия, §1-2. https://webperso.ensta.fr/jaulin/paper_mcs_kernel.pdf

Работа [2] описывает множественный подход и включение неопределённости в интервальную функцию; для прямоугольных оболочек существенна граница между точным образом и внешним приближением. Наш конечный алгоритм не воспроизводит алгоритм интервального разбиения авторов: он использует прямой перебор пар и подмножеств каналов.

Первичные тексты Канта

[3] Kant I. Idee zu einer allgemeinen Geschichte in weltbürgerlicher Absicht. AA VIII 22:6-21. https://www.korpora.org/kant/aa08/022.html

[4] Там же. AA VIII 27:2-16. https://www.korpora.org/kant/aa08/027.html

Обе страницы повторно получены 11.09.2026, HTTP 200; SHA-256 совпали с сохранёнными полными телами страниц RUN-024. Это подтверждает сохранность использованного транскрипта, но не независимую смысловую экспертизу и не наличие полного произведения в новом комплекте.

Внутренние основания

[5] KLT-RBD / RUN-024 / ARBD37. Опубликованный исходник и математическое описание CP6-P0. Точная копия прежнего раздела сохранена в rollback024. [6] Локально доступный klt_rbd_schema_extension_real_data_import_v1_0_fixed.zip: README и назначение слоя импорта артефактов. Импорт реестра созданных файлов не интерпретируется как корпус физических измерений.

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

CP6-P2: выбрать один однородный измерительный корпус; заполнить паспорт без условных реквизитов; подтвердить единицы, происхождение и тип неопределённости; зафиксировать скрытый целевой канал с независимым хранителем. Затем проверить достаточность реперов и заранее определить сравнение с базовым методом. CP2F-038 продолжить отдельным смысловым решением; CP3-CP5 и EXT-RUN остаются незавершёнными.

SCIENCE=ABSTAIN; truth_layer_promotion=0; axiom_promotion=DISABLED; REAL_CORPUS=UNASSIGNED; BLIND_TEST=NOT_RUN.