Skip to content

fix: коммуникации, габариты полигонов и независимая проверка (QA02b)

rylengim requested to merge codex/trasser-qa02b-verifier-fixes into main

Верификатор мог принять полное или частичное наложение новой трассы на газ/кабель как специальное пересечение и неверно определял проход полигональной коммуникации. Кроме того, к отступу от полигона ошибочно прибавлялась половина ширины линейного объекта, что отклоняло допустимые трассы.

Исправлены 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.

Edited by Ghost User

Merge request reports

Loading