# RUN-033 / ARBD45: редактор карт и условие соблюдения нормы

Автор проекта: Курпишев Иван Борисович. Основа: RUN-032 / сайт 35,
commit 42d059cdc49dbf1165117dd5813ad65196cef0a3. Дата: 15.09.2026.
Эта инструкция входит в предпубликационный комплект; окончательные сведения
о публикации и копиях фиксируются отдельно в KLT_M2_CONTINUE.md.

## Как пользоваться

1. Откройте /arbd/editor.html. Выберите A или B. Формы первоначально пусты.
2. Укажите происхождение ответа, собственное обозначение и осведомлённость.
   Имя в файле не удостоверяет личность. Опубликованная модель раскрыта заранее.
3. Для четырёх источниковых проверок и обязательств O1–O6 выберите оценку,
   одну или несколько привязок и напишите пояснение. Неуверенность обозначайте
   UNRESOLVED. Наличие ссылки ещё не доказывает обоснованность оценки.
4. Задайте до 8 типизированных утверждений и до 16 посылок. Поля property,
   domain, subject, time и modality различают свойство, область, субъект,
   время и модальность. Нормативное N и описательное D — разные утверждения.
5. Формулы: ! (не), & (и), | (или), -> (если… то), скобки. Приоритет:
   !, затем &, затем |, затем ->; импликация связывается справа.
   true/false — логические константы, не используйте их как имена переменных.
6. «Скачать черновик» сохраняет даже незавершённую формулу. Черновик имеет
   отдельную схему ARBD-READER-DRAFT-v1; его нельзя выдавать за ответ v2.
7. Отметьте подтверждение и нажмите «Зафиксировать карту». Полнота проверяется,
   время фиксации берётся из текущих часов браузера (не доверенная метка времени).
   Скачайте ответ. Отправки другому человеку, автоматической записи или сервера
   приёма ответов нет. Самодекларация остаётся непроверенной.
8. После фиксации A и B выберите каждое соответствие явно, подтвердите и
   рассчитайте. Требуется полная биекция и совпадение типов/контекста. Смысл
   биекции программа не удостоверяет. Скачайте карту соответствий и результат.
   Любая правка текущей карты отменяет её снимок и прежние соответствия.
9. Для анализа дополнительного правила выберите норму и описательное
   утверждение об одном свойстве в одном контексте. Укажите самостоятельное
   основание. Требование N добавляет N -> D; запрет N добавляет N -> !D.
   Это условная гипотеза соблюдения, не доказанный переход от нормы к факту.
10. Сохраните черновик перед закрытием вкладки. Импорт создаёт редактируемую
    копию; исходный файл не переписывается. Учебные импортированные карты
    сохраняют происхождение SYNTHETIC_DEMO.

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

Из корня репозитория или исследовательского комплекта (Node 22+):

```sh
node --test tests/arbd45.test.mjs
node scripts/editor-cli.mjs compare public/arbd/objection-data/case.json public/arbd/review-data/demo-a.json public/arbd/review-data/demo-b.json public/arbd/editor-data/demo-explicit-pairs.json
node scripts/build-editor-dossier.mjs
```

Последняя команда заново создаёт только новые демонстрационные JSON и manifest.
Полный исследовательский ZIP содержит CLI, зависимости расчёта, тесты,
PDF/TeX/HTML, новые исходниковые страницы и необходимые иллюстрации.
Это не полный автономный клон сайта. Старые навигационные страницы доступны
на https://klt-rbdv6-analyzer.workspace-406992.chatgpt.site/.

## Источники

collation.json: полный абзац Фишера, 14 смысловых единиц DE/RU/EN, координаты,
SHA-256 текстов и изображений. Единицы 06–07 в EN составляют одно предложение.
Русская орфография нормализована; часть слова «Непонятно» в 08 восстановлена
помощником из-за пятна на скане. Это не дипломатическая транскрипция.
EN: титул PDF5, предисловие PDF9, абзац PDF63–64 просмотрены по изображениям.
Предисловие Хоуга явно называет München, Fr. Bassermann, 1883.
Точный оригинал русского перевода Иванцова остаётся NOT_ESTABLISHED.
Переводы — одно семейство для исключения утечки при разделении корпуса.
Полная сверка изданий NOT_RUN. Замороженный case.json RUN-031 не изменён.

SCIENCE=ABSTAIN; truth_layer_promotion=0; independent_review=NOT_RUN;
real_forecast_trial=NOT_RUN; EXT-RUN=NOT_RUN; source_refutation_established=false.
Реальных ответов читателей не получено. Старый пилот RUN-029 не менялся.

## Следующий этап RUN-034

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