docs(openspec): решения исполнителей, рулинги R-4…R-8 и открытые вопросы части А (I-1)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01BJKMLHdxMwSUeYcdkwqX4W

openspec/changes/unified-normalization-core-a/design.md

@@ -46,5 +46,90 @@ Goals и Non-goals — см. `proposal.md`.
 | 2026-10-18 | **R-1.** Порядок исполнения части А: A0–A4, затем A6–A13; A5 (контракт 2.0, `recognition_exchange.py`) — последней, после слияния плана 0 (в `origin/main` нет `api/tests/contract_identity.py`) | A5 зависит от теста идентичности плана 0, остальные задачи его результат не потребляют | возможные конфликты слияния в `documents.py` / `recognition_exchange.py` при A5 в конце |
 | 2026-10-18 | **R-2.** Исполнители задач и их ревьюеры — sonnet; финальное ревью ветки — opus | план даёт прозу, а не готовый код; ревью ветки ловит сквозные расхождения | более слабая модель на задаче — лишние итерации ревью |
 | 2026-10-18 | **R-3.** Тесты с БД идут на scratch-БД `armcore_pytest_*` compose-Postgres :5432 (устройство conftest); контейнеры не останавливаются и не пересоздаются | общий стенд разработки не должен падать из-за прогонов | недоступный Postgres — задача BLOCKED, а не пропуск тестов |
+| 2026-10-18 | **R-4.** A0 (только артефакты OpenSpec) без отдельного ревью сабагентом: достаточно `openspec validate --strict` | кода в задаче нет | неточность формулировок дельт; поймало финальное ревью |
+| 2026-10-18 | **R-5.** Ревью A1 и A2 объединено в один пакет после A2 | downgrade-тесты A1 проверяемы только с A2 | находки по A1 пришли на один раунд позже |
+| 2026-10-18 | **R-6.** Ревью малых задач объединялось парами (A3+A4, A8+A9, A10+A11, A12+A13) | экономия раундов ревью | находки по первой задаче пары приходят на шаг позже |
+| 2026-10-18 | **R-7.** Change `unified-normalization-core-a` архивируется только вместе с `unified-normalization-core-b`; тексты поведения части Б в дельтах А остаются | разбор дельт на два change дороже и не нужен до выкладки обеих частей | если А заархивировать отдельно, `openspec/specs` опишет нереализованное |
+| 2026-10-18 | **R-8.** Одна волна правок по итогам финального ревью (sonnet), затем один scoped re-review; M-6, M-8, M-13 не правятся (deferred / rejected) | замечания малы; M-13 (advisory-блокировки purge пофайлово) — окно обслуживания | M-6 (отдельный SUM для `code_amount`) и M-8 остаются техдолгом |
+| 2026-10-18 | **A1-1.** `result_mapping.map_file` до A5/A9 присваивает `file_ordinal` порядковым номером создания документов | иначе `uq_document_stored_file_id_file_ordinal` ломает файл с 2+ документами | номера не равны индексу в `documents[]`; заменено в A9/A5 |
+| 2026-10-18 | **A1-2.** `organization_name_modified` — nullable boolean (как в DBML); миграция пишет `false` | соответствие DBML v5.19 | нет |
+| 2026-10-18 | **A1-3.** Тест-фабрика `tests/factories.py` и `tests/test_models_part_04_06._document` нумеруют `file_ordinal` | уникальность `(stored_file_id, file_ordinal)` | нет |
+| 2026-10-18 | **A1-4.** Старый тест «две BALANCE с NULL -> IntegrityError» переписан под DISCLOSURE | по v5.19 для форм это больше не нарушение | нет |
+| 2026-10-18 | **A1-5.** Имена FK/PK новых объектов (`fk_financial_statement_value_confirmed_by_app_user`, `fk_document_issue_*`, `pk_document_issue`) — по NAMING_CONVENTION | совпадают с `create_all`, тест схемы зелёный | нет |
+| 2026-10-18 | **A2-1.** `line_status` считается потерянным при `<> 'ok'` (колонка NOT NULL default 'ok') | `IS NOT NULL` всегда истинно | шум в журнале отката |
+| 2026-10-18 | **A2-2.** Булевы счётчики и `organization_name_modified` считаются как `IS TRUE`; причина отказа «наименование правилось» — `organization_name_modified IS TRUE` | NULL не считается правкой | нет |
+| 2026-10-18 | **A2-3.** Причина «строки формы без кода» — по `line_code IS NULL` (любые), «повтор» — только по ненулевым кодам | точность причин отказа отката | нет |
+| 2026-10-18 | **A2-4.** Сообщение журнала склеивает счётчики через `; ` | читаемость | нет |
+| 2026-10-18 | **A3-1.** Только PATCH, меняющий `crm_id`, пишет `GROUP_CHANGE` (`before/after` всех изменённых полей запроса); PATCH только имени/даты остаётся `MEMBERSHIP_CHANGE`; создание — `MEMBERSHIP_CHANGE` с `crm_id` в payload | P3-18 / Р-41 про смену `crm_id`; минимум изменения поведения | фильтр аудита по действию для правок групп расходится; правка в одну строку |
+| 2026-10-18 | **A3-2.** Предпроверка уникальности `crm_id` не учитывает видимость (глобальная уникальность), как для ГК | единый подход | `crm_id` невидимой группы раскрывает существование через 409 (как ГК/ЮЛ) |
+| 2026-10-18 | **A3-3.** Before-payload удаления группы включает `crm_id` | полнота аудита | нет |
+| 2026-10-18 | **A4-1.** `run` принимает подменяемую фабрику транзакции (по умолчанию `session_transaction`) | тесты идут на `db_session` | нет (боевой путь — по умолчанию) |
+| 2026-10-18 | **A4-2.** `PurgePlan` несёт `include_mixed`; `BlockingVersion` по `ex_snapshot_item` имеет статус `EX_SNAPSHOT_ITEM` и `version_id = ex_snapshot.source_version_id` | сигнатура `apply_purge` без флага | нет |
+| 2026-10-18 | **A4-3.** Проверка блокировки покрывает ВСЕ документы удаляемых целиком файлов (в том числе OSV/DISCLOSURE; OSV смешанных файлов с `--include-mixed`) | иначе удаление сломало бы FK/заморозку | лишний отказ, если OSV удаляемого файла в верифицированной версии (корректно: она заморожена) |
+| 2026-10-18 | **A4-4.** `apply_purge` блокирует все файлы плана (jobs -> file -> documents, по id файла), перепланирует под блокировками и отказывает до первой мутации (`PurgeRefusedError`); версии блокируются позже (file -> doc -> version) | защита от гонки с загрузкой | окно между проверкой и блокировкой версий (T4.3, rejected) |
+| 2026-10-18 | **A4-5.** Dry-run с блокировкой печатает блок отказа, но выходит с 0; `--apply` с блокировкой: отчёт в stdout, сообщение в stderr, код 1 | P3-13: 0 = отчёт | нет |
+| 2026-10-18 | **A4-6.** `FILE_DELETE.after_value`: для целого файла `{unbound_version_ids}`, для смешанного `{deleted_documents, unbound_version_ids}` | трассируемость очистки | нет |
+| 2026-10-18 | **A4-7.** `superseded_with_osv` — файлы, у которых `superseded_by_file_id` указывает на удаляемый файл и которые содержат OSV | сохранение замещения ОСВ | нет |
+| 2026-10-18 | **A6-1.** `section_number` возвращает строчные буквы (работает по нормализованному тексту) | внутренний формат | нет |
+| 2026-10-18 | **A6-2.** `names()` — имена без повторов в порядке редакций и появления; `edition_codes` — по всем записям | стабильность подсказки | нет |
+| 2026-10-18 | **A6-3.** Если «итого по разделу» только у одного из имён, номер у другого `None` — сравнение только по равенству строк | спека | нет |
+| 2026-10-18 | **A6-4.** Пустые справочные имена пропускаются | шум | нет |
+| 2026-10-18 | **A6-5.** Старые тесты API обновлены под код 1105 в `fsbu4` (yaml дополнен 1105/1130/1140/1530/2460 и вторыми именами) | данные docs | для ГСК-кода 1105 на 66н с датой `fsbu4` появляется пустая строка «Гудвил» (O-2 A6) |
+| 2026-10-18 | **A7-1.** `FailedCheck.codes` — поле с default `()`, участвует в сравнении | P3-14 | низкая |
+| 2026-10-18 | **A7-2.** `insert_statement` до маппера 2.0 пишет `row_index` = порядковый номер строки черновика | иначе все строки источника стали бы `origin = template` | заменено в A9/части Б |
+| 2026-10-18 | **A7-3.** `checks_input` принимает объекты-колонки (id, column_index) — протокол, без импорта моделей в домен | чистый домен | нет |
+| 2026-10-18 | **A7-4.** `code_amount`: колонка — первая по `column_index`, затем SUM по ней; нет колонки или непустых — `None` | определённость суммы | M-6: отдельный SUM, deferred в часть Б |
+| 2026-10-18 | **A7-5.** В API `checks.failed[].codes` и `line_ids` не выведены в A7 (только домен) | не в брифе A7 | закрыто в A8 |
+| 2026-10-18 | **A7-6.** Порядок строк ответа в A7 не менялся | P3-17 — задача A8 | нет |
+| 2026-10-18 | **A8-1.** `insert_statement` временно пишет `period_kind` (`absolute` при дате, иначе `none`) | иначе тест брифа на 1.x не проходит до A9 | заменено в A9; совпадает с backfill миграции |
+| 2026-10-18 | **A8-2.** `FailedCheckOut.line_ids` — объединение `line_ids` агрегата по `codes` правила; у межформенной проверки — строки только читаемой формы | кода второй формы в агрегате нет | фронт не подсветит строку другой формы |
+| 2026-10-18 | **A8-3.** `header.source`: запись с `text: null` отдаётся как есть, нечисловая уверенность -> `null`, не-dict записи пропускаются | T1.1: «нет подсказки» | нет |
+| 2026-10-18 | **A8-4.** `order_lines`: `detail` с неизвестным родителем ведёт себя как `detail` без родителя; вложения по `row_index`; равные ключи — порядок входа (по `id`) | P3-17 | нет |
+| 2026-10-18 | **A8-5.** `IssueCounts` — dataclass репозитория, сервис переводит в `IssueCountsOut` | слои | нет |
+| 2026-10-18 | **A9-1.** `ColumnDraft` вместо кортежа в `StatementDraft.columns` (несёт `period_kind` / `label_confidence`) | нужны поля колонки | правка 4 утверждений в тестах |
+| 2026-10-18 | **A9-2.** `header_source.*.confidence` в БД — число как пришло из 1.x (float), не Decimal | JSONB; P3-20 | нет |
+| 2026-10-18 | **A9-3.** Повтор формы определяется только при известных годе и квартале у обеих; текст issue без префикса locator, в `metrics.mapping_warnings` — с префиксом | P3-4 | нет |
+| 2026-10-18 | **A9-4.** Пустая ячейка (нет значения) -> `needs_review = false` (`value_clean(None, None)` истинно) | формула приёма 1.x | нет |
+| 2026-10-18 | **A9-5.** У листа ОСВ issue пишутся и для предупреждения о повторе счёта (относится к первому листу) | P3-5 | нет |
+| 2026-10-18 | **A10-1.** Контрагент `UNKNOWN` трактуется как `None`, блокирует только `MISMATCH` | спека: `counterparty_check != MISMATCH` | низкая |
+| 2026-10-18 | **A10-2.** `name_mismatches`: строка `ok` с `line_code_confidence = None` считается уверенной (не проверяется); `line_status` сравнивается со `StatementLineStatus.ok` (StrEnum) | спека: «confidence < 100» (T10.1: покрыто комментарием и тестом) | строка без уверенности не даёт `NAME_MISMATCH` |
+| 2026-10-18 | **A10-3.** `has_error_warning`: строго `severity == "error"` (регистр важен), не список -> `False` | строгий контракт | нет |
+| 2026-10-18 | **A10-4.** `noqa PLR0913` на `form_status_v2` и тестовом хелпере | сигнатура задана планом | нет |
+| 2026-10-18 | **A11-1.** Тест `test_disclosure_is_confirmable` удалён: `form_blocker` принимает meta, у расшифровки её нет; не-форма проверяется вызывающими (FORM_TYPES) — **тест возвращён в волне правок (T11.1)** на уровне сервиса | покрытие подтверждения DISCLOSURE/OTHER | нет |
+| 2026-10-18 | **A11-2.** `confirmed_twin` при пустом периоде возвращает `None` (`PERIOD_REQUIRED` сработает раньше); первым выбирается близнец с меньшим `file_ordinal` | детерминизм | нет |
+| 2026-10-18 | **A11-3.** Дубль ищется только среди `CONFIRMED`; второй `NEEDS_CHECK`-близнец не блокирует | бриф | нет |
+| 2026-10-18 | **A11-4.** `line_id` в `extra` — строка (`str(uuid)`), как `document_id` | единообразие | нет |
+| 2026-10-18 | **A12-1.** Новый код 422 `DUPLICATE_COLUMN` (колонка дважды в `columns[]`) | в брифе не было | низкая |
+| 2026-10-18 | **A12-2.** Подтверждение даты отчёта требует непустого `report_date` (null == null не подтверждение) | смысл подтверждения | низкая |
+| 2026-10-18 | **A12-3.** Равное текущему `organization_name` — no-op | подтверждать нечего | нет |
+| 2026-10-18 | **A12-4.** Снятие подтверждения ячейки и возврат суммы к исходной: `needs_review` = не(правлена | подтверждена | строка detail | value_clean) — формула приёма 1.x | для 2.0 точное значение даст часть Б | ячейка 2.0 с иным сомнением (знак) может показаться чистой до Б |
+| 2026-10-18 | **A12-5.** `recompute` дополнительно сбрасывает `needs_review` у правленых/подтверждённых значений и значений строк `detail` (`settle_edited_values`) | согласованность флагов | T13.3: флаг навсегда `false` у значений detail (часть Б) |
+| 2026-10-18 | **A12-6.** Подтверждение ячейки без записи значения в БД — 422 `UNKNOWN_CELL` до записей; колонка не этой формы в `values[]` — `UNKNOWN_CELL`, `UNKNOWN_COLUMN` — только для `columns[]` | существующий тест | нет |
+| 2026-10-18 | **A12-7.** `is_current` пересчитывается только при смене дат колонок (самая поздняя дата, меньший `column_index`) | как при приёме | нет |
+| 2026-10-18 | **A12-8.** Ключи аудита подтверждений: `value:<id>:confirmed`, `column:<id>:date_confirmed`, `needs_review_fields`; смена даты колонки — `column:<id>` | единый формат | нет |
+| 2026-10-18 | **A12-9.** Смена `report_date` убирает `report_date` из `needs_review_fields` без отдельного ключа аудита | минимум шума | нет |
+| 2026-10-18 | **A12-10.** `lines[]` в `StatementPatch` нет в A12 (добавлено в A13) | разбиение задач | нет |
+| 2026-10-18 | **A13-1.** Тесты используют код 1215 вместо 1250 из брифа | 1250 есть в источнике ББ Межениновской, а нужен «только шаблонный» код | нет |
+| 2026-10-18 | **A13-2.** `tests/test_api_statements.py::insert_line` кладёт `StatementLineStatus`, а не строку | identity map сервиса | нет |
+| 2026-10-18 | **A13-3.** Пометка шаблонной строки (`row_index IS NULL`) как `detail` — 422 `INVALID_LINE_PATCH`; подтверждение кода у строки не `ok` — тоже | спека такого перехода не перечисляет; у `detail` нужен `row_index` для родителя | низкая, фронт такого не шлёт |
+| 2026-10-18 | **A13-4.** Назначение того же кода строке `ok` с этим кодом — no-op; `detail -> detail` — no-op | нечего менять, аудита нет | T13.1: no-op элемент может дать ложный 409 — недостижимо |
+| 2026-10-18 | **A13-5.** Порядок проверок по элементам: действие, повтор, `UNKNOWN_LINE`, `LINE_CODE_REQUIRED`, `INVALID_LINE_CODE`, допустимость; затем отдельным проходом `LINE_CODE_TAKEN` (409 после всех 422) | предсказуемость | нет |
+| 2026-10-18 | **A13-6.** `needs_review` при снятии подтверждения: `ok` и не `line_code_modified` и уверенность < 100 | правило приёма 1.x; для 2.0 уточнит часть Б | нет |
+| 2026-10-18 | **A13-7.** Назначение кода: `confidence = Decimal("100.00")` (ответ отдаёт объект сессии) | без перечитывания | нет |
+| 2026-10-18 | **A13-8.** Удаление пустой шаблонной строки пропускается, если она сама — цель элемента запроса | избежать удаления цели | нет |
+| 2026-10-18 | **A13-9.** **Отступление от P3-10:** 422 в `values` / `columns` после применённых `lines` откатывает всю транзакцию запроса; отдельной предпроверки адресации `values` для `lines` нет. `UNKNOWN_CELL` по `line_code` видит назначения `lines` этого запроса (они применены и flush-нуты раньше); 409 приоритетнее такого 422 | эквивалентное наблюдаемое поведение при меньшем коде (T13.5) | при ошибке в откате частичная запись — тест M-10 фиксирует отсутствие записей и аудита |
+| 2026-10-18 | **A13-10.** `user_id` в `apply_line_edits` принят по интерфейсу, не используется; аудит строк — ключ `line:<id>` с `{line_code, line_status, parent_row_index, is_confirmed}`, в него попадают и `detail` со сменой только родителя | у строки нет автора правки | нет |
+| 2026-10-18 | **A13-11.** Пометка шаблонной строки как `detail` = 422 `INVALID_LINE_PATCH` | см. A13-3 | низкая |
 
-Открытые вопросы плана (`O-n`) — в `.superpowers/sdd/2026-10-18-plan-3-arm-core/p3-decisions.md` (ledger, в git не попадает); закрытые владельцем: O-2 (Р-34), O-3 (Р-40), O-5 (Р-35), O-6 (Р-41). Решения исполнителей по ходу задач A1–A13 дописываются сюда контроллером.
+## Open questions
+
+Вопросы владельцу (O-n из плана 3, не закрытые решениями Р-34 / Р-35 / Р-40 / Р-41; нумерация плана).
+
+- **O-1.** Р-10 для `1.x` (P3-4): вторая форма того же типа хранится и при `1.x` (план) или пропускается, как раньше?
+- **O-3 (закрыт Р-40 для четырёхзначных).** `CODE_NOT_IN_DICTIONARY` / `CODE_NOT_IN_EDITION` — только для четырёхзначных кодов; пятизначные подстроки Excel `info` не дают. Подтвердить, что сценарий спеки «Нестандартный код Excel» приведён к этому.
+- **O-4.** Пересчёт проверок ядра уровня `info` после правки (P3-8) спека не описывает; после смены кода они не пересчитываются в части А (T13.4), пересчёт — в части Б.
+- **O-6 (закрыт Р-41).** Смена `crm_id` ГСК/ГСЗ — `GROUP_CHANGE`.
+- **O-7.** Конверт с неизвестным MAJOR (`3.0`) inbox отбрасывает с предупреждением в лог (задание закроется по сроку); сценарий «файл получает `ERROR` с `mapping_error`» выполняется для файла результата. Оставить?
+- **O-9.** Выкладка: PR части А в `main` без снимка контура до части Б; встроенный фронт `arm-core/web` получает новые типы только через `sync-web` после плана 6.
+- **O-10.** Метрики `fields_*` ядро не считает по строкам формы (копирует из конверта, `recognition_exchange.FIELD_COUNTERS`). Подтвердить, что спека («метрики `fields_*`») не требует нового расчёта.
+- **Наблюдение.** Хранимая вторая ББ теперь входит в ключи автозамещения: файл с ББ на 30.09.2025 и ББ на 31.12.2024 может заместить более старый файл; его ОФР при этом выпадает с предупреждением OQ-154.

openspec/changes/unified-normalization-core-a/proposal.md

@@ -20,6 +20,8 @@
 - **`crm_id` ГСК/ГСЗ** (A3): `directories-api`.
 - **Приём конвертов обоих MAJOR, предупреждения файла структурами** (A5): `recognition-job-exchange`, `documents-api` (`JobBrief.warnings`).
 
+**Архивация (R-7).** Change заархивировать только вместе с `unified-normalization-core-b`; дельты содержат поведение части Б.
+
 ## Остаётся части Б (change `unified-normalization-core-b`)
 
 Мапперы результата `2.0` (B4, B5), переход на пакет `arm_statements` (пересчёт и §7 через точку входа пакета, `document_issue` видов `relation` / `soft` с `core`, относительные даты, удаление копии словаря §7, B1–B3, B6), `CHECKS_NOT_PASSED` из `document_issue`. До части Б §7 считается ядром на лету (P3-14); код временного пересчёта удаляется в B6. Требования спеки формулируются здесь целиком по docs; пункты, помеченные в таблице покрытия как часть Б, этот change не реализует.