Контрольная точка R4M_SOURCE_BOUND_20261005_v1_0 от 05.10.2026.

Сначала прочитать R4M_REPORT_RU.pdf, R4M_CONTRACT.json,
R4M_CLAIM_LEDGER.json и R4M_BLOCKERS_DELTA.json; выполнить run_checks.py.
Не начинать повторное восстановление графа: в пакете есть исходные байты.

Следующая предлагаемая подточка R4M.1 — рецензируемая спецификация
переноса отдельных утверждений, а не выпуск числовой сигнатуры.
1. Разобрать модальности makes/can/ought, назначение/достижение,
   род/индивид и исторический/прагматический контекст как разные поля.
2. Для каждой пары M-Cxx указать предмет, предикат, временной и модальный
   контекст, допустимое правило вывода и первичный локатор.
3. Подтвердить или отклонить частичное сопоставление. Непереносимые
   компоненты оставить отдельными. Не выдавать отсутствие переноса
   за доказательство принципиальной несводимости.
4. Лишь при новом независимом основании предложить абелеву группу
   коэффициентов и измерительные карты. Тесты не заменяют рецензию.
5. Для каждой предлагаемой 2-клетки нужны нулевое отношение в выбранной
   семантике, точная граница и DB=0. Геометрический цикл недостаточен.
6. Для глобального R4K нужны допущенные значения всех 59 рёбер либо
   явно отдельная локальная задача; не дополнять остальные 57 нулями.

SOURCE_SHA256=03e39e97c379ecaac5c440083c4959746aeb8b19aa043121ef7763ec8e01024f
SCIENCE=ABSTAIN; EXT_RUN=NOT_RUN; truth_layer_promotion=0.
observed_defect_signature=null; R4K semantic run=NOT_RUN.
Изменения вносить только новой версией с явным delta-реестром.
