arm-ka-docs/openspec/changes/archive/2026-11-06-statement-checks-alternatives/design.md

Context

Решение согласовано владельцем 27.10.2026 (комментарий в AURORA-1864): мягкие соотношения одной цели объединяются в группу альтернатив, знак 2410 не определяется. Реализация — arm_statements/checks.py (checks_from) и загрузчик словаря (loader.py); RSHB/pylib_ai_arm_statements#3.

Decisions

• Группа считается в checks_from по паре (колонка, group) среди уже посчитанных исходов; evaluate_relations и исходы для шага 8 не меняются — поэтому подсветка и Р-21 остаются прежними (каждая альтернатива подтверждает значения сама, как раньше).
• «Сошлась» — расхождение в пределах допуска ±1 (within_tolerance), как для мягкого соотношения без группы.
• Проверки «group только у мягкого» и «у группы одна цель» — в загрузчике: жёсткая группа означала бы, что статус документа зависит от выбора альтернативы, а этого решение не предусматривает.

Decisions made without discussion

Дата	Решение	Обоснование	Цена ошибки
2026-11-06	Имя группы в словаре — net_profit для обоих наборов	Группа — по форме и варианту (relations_for), одно имя не смешивает полный и упрощённый наборы; имя описывает цель 2400	Нулевая: имя только в словаре, наружу не выходит
2026-11-06	Если у всех несошедшихся альтернатив пуста цель или все члены (сравнить не с чем) — выдаётся первая по словарю	Расхождения нет, «ближайшую» выбрать не по чему; порядок словаря детерминирован	Низкая: текст нарушения другой альтернативы, сам факт нарушения тот же
2026-11-06	При равном расхождении выдаётся первая по словарю	Детерминированность	Нулевая
2026-11-06	Тест test_simplified_income_soft (2400 = 500 при 1000 − 600 ± 50) теперь ожидает нарушение новой альтернативы … + 2410 — она ближе к цели (450 против 350)	Прямое следствие правила «ближайшая к цели»	Нулевая: данные теста неверны в обоих вариантах

Risks / Trade-offs

• Новая альтернатива упрощённого набора (… + 2410) при совпадении подтверждает неуверенные значения своих кодов (Р-21), включая положительный 2410 — это и есть желаемое поведение для дохода по налогу.
• Документы, загруженные до выкладки 0.1.4, сохраняют прежние checks до пересчёта (правка аналитика) — ложное предупреждение у них останется; переразбор не планируется.