# RUN-034 / ARBD46 — основания прогноза и конечные наблюдения

Автор проекта: Курпишев Иван Борисович. 15 сентября 2026 года.
Основа: RUN-033, сайт 36, commit 492fcdd91468f199aa20c5e924fe3ca81f7828a1.
Один сайт: https://klt-rbdv6-analyzer.workspace-406992.chatgpt.site

## Второй случай Фишер — Кант

Новый case.json: FISCHER-KANT-PROGRESS-RUN034. Возражение Фишера о соотношении
вечного блага, будущего продолжения, очищения и воздаяния: DE1883 S.31/PDF47;
RU1889 с.247/PDF261. Изображения просмотрены помощником, независимой проверки нет.
Кант: AA V 122:12–25; 123:5–12,19–20 и сноска к 18; 124:1–3.
Все шесть якорей найдены в сохранённых байтах страниц, SHA-256 зафиксированы.
Историческая адресация этих конкретных строк Фишером остаётся CANDIDATE.
Оба возражения принадлежат одному семейству сочинения. Новая карта не заменяет
замороженный случай RUN-031 и не создаёт независимый тестовый корпус.

Формы A/B пусты. В /arbd/editor.html?case=progress можно их заполнить.
Учебные карты demo-a/demo-b содержат только SYNTHETIC_DEMO. N и D различают
требование продвижения и утверждение о фактическом следующем шаге; свойства
не операционализированы как измерение нравственности.

## Работа с /arbd/basis.html

1. Введите конечное начало из 0/1. Шаги нумеруются с 0. Без законов динамики
   рассматриваются ВСЕ бесконечные двоичные продолжения.
2. STATE_AT — состояние на шаге T; EVENT_BY — наличие 1 среди шагов 0…T;
   EVENTUALLY — наличие 1 когда-либо с начала; LIMIT_ONE — сходимость к 1
   только в пространстве двоичных последовательностей. Это разные вопросы.
3. Разные допустимые ответы сопровождаются явными продолжениями. Хвост
   ALL_ZERO/ALL_ONE означает постоянное бесконечное продолжение. Радиус 1/2
   относится к абсолютной ошибке для булевой цели и не является вероятностью.
4. Числовой пример x_n=1−2^(−n) задан отдельно. Точные дроби вычислены через
   BigInt. Предел 1 не достигается ни при каком конечном n; это доказывается
   формулой, а не перебором первых 256 значений.
5. Выберите один из шести учебных реестров. Все записи и даты вымышлены.
   Существуют три вида основания: SOURCE_INTERPRETATION, MODELING_HYPOTHESIS,
   OBSERVATION_CLAIM. OBSERVATION_CLAIM — заявление, не сертификат наблюдения.
6. Посмотрите выбранную запись, включите/исключите её явно и измените время
   доступности или отсечения. Остальные фиксации не меняются автоматически.
   Порядок: model_frozen_at ≤ rule_frozen_at; knowledge_cutoff_at ≤
   rule_frozen_at ≤ ledger_frozen_at ≤ forecast_issued_at < target_at.
   Для наблюдения observed_at ≤ available_at ≤ recorded_at ≤ ledger_frozen_at.
   Выбранное основание дополнительно требует available_at ≤ knowledge_cutoff_at.
7. TARGET_OUTCOME нельзя использовать как RULE_BASIS собственного прогноза.
   Контекст property/domain/subject/time и хеш конкретного правила должны
   совпасть. Опубликованная в 1883 году книга не делает её интерпретацию
   доступной автоматически до объявленного отсечения знаний.
8. Скачайте исходный комплект и результат. При загрузке собственного JSON
   требуются case, model, contract и ledger; исходный файл не переписывается.
   Файлы обрабатываются локально, передачи ответов другим людям нет.

## Математическая граница

Один конечный префикс может иметь продолжения с разными целями. Любое
детерминированное реперное преобразование этого префикса одинаково на обоих
продолжениях. Поэтому оно само по себе не устраняет неидентифицируемость.
Для двух значений цели с разностью Δ абсолютная минимаксная ошибка ≥ Δ/2.
Уточнение возможно при дополнительных наблюдениях или явно обоснованном
сужении класса динамики. Метрика, вероятность и полнота реального класса
сценариев не добавляются автоматически.

## Автономное воспроизведение (Node 22+)

```sh
node --test tests/arbd46.test.mjs
node scripts/basis-cli.mjs public/arbd/basis-data/demo-late.json
node scripts/build-basis-dossier.mjs
```

Исследовательский ZIP содержит зависимости вычисления, новое досье, сканы,
PDF/TeX/HTML, тесты и эти инструкции; это не полный автономный клон сайта.
Предпубликационные записи в архивах не заменяются после публикации. Итоговая
версия, commit, откат и копии фиксируются в KLT_M2_CONTINUE.md.

22 новых теста. Независимый конечный перебор: 434 случая; 62 проверки
бесконечных свидетелей; точные дроби проверены для n=0…256. Само бесконечное
утверждение обосновано доказательством. Браузерное испытание NOT_RUN.

SCIENCE=ABSTAIN; truth_layer_promotion=0; independent_review=NOT_RUN;
real_forecast_trial=NOT_RUN; EXT-RUN=NOT_RUN; source_refutation_established=false.
Хеши не удостоверяют время, авторство или происхождение. Корректная структура
реестра не подтверждает универсальное правило единичным наблюдением.

## RUN-035: следующая очередь

Задать воспроизводимый класс динамики и типизированную связь от текстового
утверждения к измеримому состоянию. Для условного прогноза показать минимальное
дополнительное наблюдение, разделяющее продолжения; сохранить гипотезы отдельно
от данных. Подготовить новую регистрацию испытания на нераскрытых фрагментах
после выбора пригодной модели и независимого источника ответов. Пока их нет —
оставлять регистрацию DRAFT и реальное испытание NOT_RUN. Старый RUN-029 не менять.
Продолжить проверку исторической адресации возражений и оригинала перевода Иванцова.
