perf: scale independent geometry checks for dense inputs

Принятое решение по актуальности — 20.09.2026

Сохранить индексы валидатора. Обновить правила отбора препятствий и независимые проверки; повторно проверить память, координатные и операционные ограничения.

Основание: APP-2026-09-19, аудит исходной версии 1ced15c05906db75dcf56251f21f84655205f3f7 относительно main 43e20364f00101c7d61642dbcfa349c8f0b14ba4. Рекомендации приняты владельцем проекта; фиксация разрешена командой «Фиксируем».

Связанные задачи общего Beads trasser:

• trasser-qa02b — [QA02b] Независимо проверить геометрию и ограничения; исполнитель rylengim.
• trasser-ops02 — [OPS02] Проверить безопасное обращение с файлами и ресурсами; исполнитель rylengim.

Полный реестр: trasser-data01, trasser-plan-20260920. Перенос выполнять в рамках существующих критериев задач; сохранять ссылку на исходную версию и прикладывать проверки нового кандидата. После подтверждённого переноса старые MR можно закрывать как заменённые. Для !32 (closed) уже опубликован нормативный пакет через !33 (merged); остатки старой реализации/CI рассматриваются отдельно.

Проверка актуальности была статической, с чтением существующего CI; новых испытаний приложения не было. Принятие рекомендаций не является приёмкой кода. Исторические описания и результаты ниже сохранены; их PASS не подтверждает новый baseline. Фиксация не меняет ветки, состояние MR, назначения или личные решения проверяющих.

На плотных входах независимый проверяющий исчерпывал 10 млн геометрических операций либо повторно учитывал освобождённый JSON препятствий в бюджете 64 МиБ. Добавлен собственный индекс сегментов с прежними точными предикатами и стабильным выбором ближайших точек; бюджет удерживаемого JSON отделён от ограниченных массивов координат. Повторы на 4096 целях и 942 721 / 1 860 225 координатах завершили полный HTTP-цикл и экспорт checks. Все записи измерений, GeoJSON, стоимость и completion сопоставимых завершённых случаев сохранены; изменились только документированные счётчики работы. Проверки: 203 Java-теста, 145 самопроверок CI, 736 проверок документов; автономный модуль проверяющего — 46 тестов из общего набора. Новые операции индекса ограничены и контролируются CI. Нормативные ответы и реальные городские 2–3 ГБ остаются открытыми, product_accepted=false. Целевая ветка — codex/r1-polygon-boundary (MR !27 (closed)). Протокол: docs/runtime-contracts/r1-checker-index.md. Интеграционные тесты manifest/checks сравнивают фактический HTTP JSON с экспортом, исключая зависимость от внутренних IntNode/LongNode без ослабления проверок.