# RUN-038 / ARBD51: гармоническая формула и строгие ошибки

Автор: Иван Борисович Курпишев. 22.09.2026.

Это отдельное математическое дополнение к T6-CHEM-PREREG-OH-ALK-001-RU-v1.0.
Исходный протокол не заменяется. Химическое испытание не выполнено.
SCIENCE=ABSTAIN; truth_layer_promotion=0; EXT_RUN=NOT_RUN.

## Воспроизведение

Из корня ZIP при Node.js >=22:

```
node --test tests/arbd51.test.mjs
node scripts/harmonic-cli.mjs public/arbd/harmonic-data/demo-stable.json
node scripts/build-harmonic-dossier.mjs
```

Зависимостей npm для этих команд нет. Математический текст находится в
scripts/harmonic-report-text.json. HTML и TeX создаются
`python3 scripts/report-run038.py`. PDF компилируется XeLaTeX, шрифты
DejaVu Serif / Sans и Latin Modern Math. Исходный текст включает доказательства.

## Схема и гарантии

Вход содержит только три видимые координаты (value, error), общий интервал
сдвига, mode=SYNTHETIC и uncertainty_semantics=HARD_BOUNDS.
Точная рациональная арифметика; 80 цифр в каждой части входа,
2048 цифр в нормализованных промежуточных числах. Десятичный ввод точен
как объявленная рациональная координата, но не как логарифм реального k.

Знаменатель должен удовлетворять |d|>=1/20 во всём множестве условий.
Полюс или недостаточный запас снимают интервальный результат H.
Пересекающиеся интервалы снимают сертификат невырожденности, сохраняя
корректный образ рациональной формулы, если знаменатель устойчив.
Общий сдвиг не расширяет знаменатель, но расширяет образ.

Радиус относится к образу объявленной формулы; не к ошибке относительно
химического hidden D. Никаких скрытых исходов, поиска источников или reveal
данная программа не выполняет. Встроенные примеры полностью синтетические.

## Доступный протокол и недостающие основания

Полный текст досье предрегистрации прочитан (16 страниц). Побайтовый аудит
его прежнего программного ZIP не выполнен. Подтверждения регистрации,
назначения независимого хранителя и готового корпуса отсутствуют
в проверенном комплекте; это не утверждение об отсутствии других материалов.
Подробности — prereg-audit.json и measurement-contract.md.

Сверка фактического сохранения, публикации, точка отката и продолжение
находятся в отдельном паспорте KLT_M2_CONTINUE_RUN038.md полного комплекта.