R1: completion, manifest и независимая сверка артефактов

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

Сохранить manifest, переработать полноту результата. Сохранить хеши и версии; убрать ECONOMIC_CHOICE как допустимое основание неподключения и сворачивание независимых целей в ID ОКС.

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

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

• trasser-api04 — [API04] Сделать результаты воспроизводимыми; исполнитель rylengim.
• trasser-core09 — [CORE09] Проверить полноту целей и причины неподключения; исполнитель Kael08.
• trasser-qa02a — [QA02a] Независимо проверить граф, расходы, ДУ и ранги; исполнитель rylengim.

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

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

Расчёт теперь публикует типизированный completion с фактическим покрытием каждой цели и счётчиками лимитов поиска. Неизменяемый manifest связывает job, входной и выходной файлы, правила, параметры, классы и исполняемый JAR; повреждение входа или результата блокирует публикацию. CI независимо сверяет связи и экспортированный граф, проверяет неизменность обоих файлов после перезапуска контейнера; добавлены негативные тесты подмены связей. Проверено локально: 125 Java-тестов, 99 тестов CI, 732 проверки документации, синтетический импорт 3 ГБ и одна расчётная цель на Windows/H2. Ветка основана на MR !17 (closed), целевая ветка codex/r1-job-reliability. Экономическое неподключение, независимые инженерные checks, пагинация, внешний формат и полная городская/офлайн-приёмка остаются открытыми; product_accepted=false. Личная приёмка Андрея не подменяется.