fix: коммуникации, габариты полигонов и независимая проверка (QA02b)
Верификатор мог принять полное или частичное наложение новой трассы на газ/кабель как специальное пересечение и неверно определял проход полигональной коммуникации. Кроме того, к отступу от полигона ошибочно прибавлялась половина ширины линейного объекта, что отклоняло допустимые трассы.
Исправлены F1/F2 review !38 (merged) (Beads trasser-qa02b), дополнены проверки границ:
- Ненулевое линейное совпадение отклоняется; точечное присоединение сохраняется.
- Пересечение полигонального газа/кабеля получает явную диагностику NQ-08. Удалённые полигоны и обычное прохождение рядом допустимы при соблюдении отступа.
- Для Polygon/MultiPolygon расстояние берётся от границы; радиус газа/кабеля учитывается только для LineString/MultiLineString. Для ДУ100: 2.255 м до полигона, 2.455 м до линии газа, 2.355 м до линии кабеля.
- Независимый Python-оракул исправлен по тем же исходным правилам; добавлены восемь HTTP-входов на точных границах отступа и отрицательные подмены.
- Сохранены все изменения main, включая !44 (merged)/!45 (merged). Манифест содержит 158 обязательных регрессий; документация согласована с 153 HTTP-входами (89+16+48). Полная матрица остаётся INCOMPLETE.
Проверки перед CI:
- 45 Java-тестов в двух классах верификатора прошли, в том числе 7 методов / 144 комбинации коммуникаций.
- Дополнительная граничная регрессия воспроизвела 16 ложных отказов до исправления и проходит после него.
- 40 тестов независимого пространственного оракула, 16 тестов coverage; 1049/1049 проверок документации.
- Реальный локальный HTTP-прогон: 48 сцен / 55 вариантов, все PASS; протокол LOCAL_PROBE, не сертификат релиза.
- CI #9860 для
e2a58e500edfd3f7ce75bdeb53b0f17ba2c76680: 8/8 jobs PASS, Maven и Gradle, 211 Java-тестов, 158 обязательных регрессий; все 153 HTTP-входа / 175 вариантов PASS (89/84 + 16/36 + 48/55).
Личное инженерное/продуктовое решение не заменяется этим техническим review. product_accepted=false, full_requirements_verified=[]; NQ-02/03/07/08, независимые от разработки наборы и инженерный просмотр остаются открытыми. Beads сейчас отклоняет сохранённый ключ arkadiy/codex; карточка и личная QA-приёмка не закрыты. Следующая независимая проверка команды — trasser-qa03a.
Слияние завершено: main=fd2cf5608822dbde2b0ccf2f307d1ca81db10fa9, pipeline #9861 — 8/8 PASS. Скачанный комплект заново проверен: 926 файлов манифеста, 903 сырых HTTP-ответа, повторный расчёт трёх независимых оракулов — 153 входа / 175 вариантов PASS. Это по-прежнему DEVELOPMENT_CANDIDATE, product_accepted=false.