M4: доказательства по дизайнам и контроли реальных HTTP-экспортов

M4 пока не связывал плановые дизайны с сохранёнными HTTP-ответами. Добавлены 52 явные связи с конкретными утверждениями и 42 контроля валидатора: 40 намеренных ошибок в копиях реальных экспортов должны быть отвергнуты с объявленной диагностикой, два допустимых изменения — приняты.

Контроли выполняются после трёх HTTP-наборов в delivery:smoke и на офлайн-экземпляре. Упаковщик воспроизводит мутации и отчёт, проверяет commit/pipeline/JAR, хеши исходных/изменённых ответов и блокирует отсутствующие/устаревшие доказательства. Каталог из 97 дизайнов остаётся INCOMPLETE; человеческая приёмка и спорные NQ-случаи не объявляются пройденными.

Проверено локально: 14 тестов нового контура, 21 тест упаковки, 7 тестов офлайн-доказательств, 16 тестов документации, 1054 проверки документов; 42 контроля на сохранённых реальных ответах pipeline 9882 (LOCAL_PROBE). Linux CI должен подтвердить текущий commit.

Beads недоступен по техническому ключу arkadiy/codex; карточки не изменялись. Связанный этап — M4, назначение/закрытие задач и личное review не подменяются.