Подтвердить геометрические основания четырёх отказов

Цели 2, 5, 10 и 16 остаются неподключёнными после восстановления 13-го подключения. Одна диагностика поиска не объясняла, можно ли обойти отказы коротким подходом.

Независимая проверка исходной геометрии подтверждает основания отказов при действующих правилах. Для 2/5/10 непрерывная верхняя граница расстояния в зазоре до повторного входа в ОКС составляет 1.839876 / 2.068541 / 3.494564 м при требуемых 5.255 / 5.300 / 5.300 м. Существующей сети в зазоре и других целей в том же компоненте нет. Для 16 обязательный внутренний отрезок имеет 4.031831 м до соседнего компонента при требуемых 5.44 м. Правило других компонентов относится к действующим режимам; внешнее подтверждение NQ-03 этим MR не подменяется.

11 регрессий включают положительные контрпримеры короткой врезки, широкого зазора и точного отступа, узкий двор, неоднозначность, ещё одну цель, повороты и перестановки. Ожидаемые доказательства не используют терминалы/буферы маршрутизатора, Catalog или экспортный verifier; декодирование входа и JTS общие. Недостаточность условий даёт NOT_PROVEN.

Рабочий код сервиса и поиск не изменены. Maven/Gradle публикуют target/own-approach-refusals.json с SHA-256 входа и commit CI; содержимое отчётов обеих сборок совпало. Добавлены документация и связи N08/N10/N14/N15 в каталоге.

Проверки на commit 7116e22e:

• CI #10102: все 8 jobs PASS, включая java:inspect, current:coverage и delivery:smoke.
• Maven и Gradle: по 262 теста, 0 ошибок/пропусков. Городская регрессия сохранила 13 подключений.
• Документация: 1129/1129 проверок; 16 документационных тестов; каталог 209 регрессий.
• Linux CI self-test: 257/257. Локальный запуск в Windows дал 254/257 из-за запуска трёх shell-контролей; полный штатный Linux-набор прошёл.
• Локальная Java 11 Maven clean verify: 262/262. SHA-256 JAR fbf120efd03b4c528c773fcd379df37f1dae5f707665bb622c705a0a3664a4be — побайтно совпадает с предыдущей проверенной сборкой MR !57 (merged).

Зависит от !57 (merged); этот MR направлен в его ветку. Полная M4, инженерная приёмка и оптимальность стоимости не заявляются, productAccepted=false. В main изменения ещё не внесены. Beads недоступен: отсутствует настроенный SSH-ключ, карточка не изменялась.

Обновление 24.09.2026: для слияния в main интегрирован актуальный main, коммит 908f0b61. Конфликт каталога разрешён объединением без потерь: 211 регрессий. Локально 16 тестов каталога PASS. Target теперь main; обязательный CI объединённой версии #10286: https://git.digital08.ru/arkadiy/trasser/-/pipelines/10286 . Включено автоматическое слияние после CI. Исторические измерения и SHA-256 JAR выше относятся к исходному 7116e22e; не заявляются измерением новой объединённой версии.