From 99114508f7cca55f8894ec066b9d66c9fe2bbf1f Mon Sep 17 00:00:00 2001 From: Andrey Epifancev Date: Tue, 27 Oct 2026 01:18:26 +0400 Subject: [PATCH] =?UTF-8?q?=D0=9E=D0=A1=D0=92:=20=C2=AB=D0=98=D1=82=D0=BE?= =?UTF-8?q?=D0=B3=D0=BE=C2=BB=20=D1=81=D0=B2=D1=91=D1=80=D0=BD=D1=83=D1=82?= =?UTF-8?q?=D0=B0=20=D0=BF=D1=80=D0=B8=20=D1=80=D0=B0=D0=B7=D0=B2=D1=91?= =?UTF-8?q?=D1=80=D0=BD=D1=83=D1=82=D0=BE=D0=BC=20=D0=BA=D0=BE=D1=80=D0=BD?= =?UTF-8?q?=D0=B5=20=D1=81=D0=B2=D0=B5=D1=80=D1=8F=D0=B5=D1=82=D1=81=D1=8F?= =?UTF-8?q?=20=D0=BF=D0=BE=20=D0=BD=D0=B5=D1=82=D1=82=D0=BE=20(AURORA-1708?= =?UTF-8?q?,=20#73)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5.5 --- api/src/parser/checks.py | 46 +++++++++++++++++++++++--- api/tests/unit/parser/test_checks.py | 49 ++++++++++++++++++++++++++++ openspec/specs/osv-parsing/spec.md | 6 +++- 3 files changed, 96 insertions(+), 5 deletions(-) diff --git a/api/src/parser/checks.py b/api/src/parser/checks.py index 88d77a3..a50a55a 100644 --- a/api/src/parser/checks.py +++ b/api/src/parser/checks.py @@ -12,7 +12,8 @@ разными сторонами сальдо); 3. строка «Итого» (TOTAL) = корневая строка ACCOUNT (первая строка уровня 0) либо сумма всех строк уровня 0, если их несколько (лист без строки корневого счёта: верхний уровень — субсчета 58.01, 58.03; OQ-106, OQ-133; сальдо — - по колонкам либо по нетто, если «Итого» свёрнуто, как у родителя в п. 2); корня нет + по колонкам либо по нетто, если «Итого» свёрнуто, как у родителя в п. 2; то же для единственного корня, когда + корень и «Итого развернутое» развёрнуты, а «Итого» свёрнута, AURORA-1708); корня нет (пустая ОСВ, R-13) — «Итого» должна быть пустой или нулевой; «Итого» не найдена (R-20) — сверка невозможна, результат `false`. Строки-показатели (валюта, количество, НУ) в сумму уровня 0 не входят: это другие единицы. @@ -225,14 +226,51 @@ def total_matches_root(rows: Sequence[ClassifiedRow], secondary_totals: Sequence if roots: return _sums_match(_values(total), _sum_of(roots)) return all(abs(value) <= TOLERANCE for value in _values(total)) - if not _differs(_values(total), _values(root)): + if _matches_single_root(rows, total, root, secondary_totals): return True roots = _level_zero(rows) - # Сумма уровня 0 — «ребёнок» итоговой строки: те же допуски, что у родителя и детей (R-21): 1С показывает «Итого» - # свёрнутым сальдо, а субсчета — развёрнутым. Обороты по-прежнему по колонкам. + # Сумма уровня 0 — «ребёнок» итоговой строки: те же допуски (R-21) return len(roots) > 1 and _sums_match(_values(total), _sum_of(roots)) +def _matches_single_root( + rows: Sequence[ClassifiedRow], total: ClassifiedRow, root: ClassifiedRow, secondary: Sequence[Pattern] +) -> bool: + """«Итого» = корень: по колонкам; корень — «ребёнок» итоговой строки, те же допуски, что у родителя и детей + (R-21, AURORA-1708): 1С показывает «Итого» свёрнутым сальдо, а счёт (и «Итого развернутое») — развёрнутым, поэтому + при свёрнутом сальдо «Итого» оно сверяется по нетто. «Итого развернутое» = корню по колонкам — основная «Итого» + сверяется с корнем по нетто сальдо и оборотам по колонкам.""" + if not _differs(_values(total), _values(root)) or _sums_match(_values(total), _values(root)): + return True + expanded = _expanded_total(rows, secondary) + return ( + expanded is not None + and not _differs(_values(expanded), _values(root)) + and _net_matches(_values(total), _values(root)) + ) + + +def _expanded_total(rows: Sequence[ClassifiedRow], secondary: Sequence[Pattern]) -> ClassifiedRow | None: + """Вторая итоговая строка («Итого развернутое»): первая TOTAL не-показатель, чей текст матчит `secondary`.""" + return next( + ( + item + for item in rows + if item.group_type == "TOTAL" and not item.indicator and any(p.search(item.body.text) for p in secondary) + ), + None, + ) + + +def _net_matches(left: Sequence[Decimal], right: Sequence[Decimal]) -> bool: + """Обороты по колонкам, сальдо начала и конца по нетто «дебет − кредит» (±0.01).""" + return ( + abs(_net(left[_OPENING]) - _net(right[_OPENING])) <= TOLERANCE + and not _differs(left[_TURNOVER], right[_TURNOVER]) + and abs(_net(left[_CLOSING]) - _net(right[_CLOSING])) <= TOLERANCE + ) + + def _rows_text(rows: Iterable[int]) -> str: numbers = list(rows) shown = ", ".join(str(number) for number in numbers[:WARNING_ROWS_SHOWN]) diff --git a/api/tests/unit/parser/test_checks.py b/api/tests/unit/parser/test_checks.py index 54d1ef3..79c8c80 100644 --- a/api/tests/unit/parser/test_checks.py +++ b/api/tests/unit/parser/test_checks.py @@ -635,3 +635,52 @@ def test_total_skips_leading_indicator_total() -> None: rows.insert(0, row(2, ("9", None, None, None, "9", None), group_type="TOTAL", data_type="NU", indicator=True)) assert total_matches_root(rows) is True + + +# AURORA-1708 (#73): корень счёта развёрнут (Дт и Кт), основная «Итого» свёрнута, «Итого развернутое» = корню +_EXPANDED_ROOT: Sums = ("10", "4", "100", "70", "50", "20") +_COLLAPSED_TOTAL: Sums = ("6", None, "100", "70", "30", None) +_SECONDARY = [Pattern.compile(r"^итого\s+развернут")] + + +def test_collapsed_total_matches_expanded_root_by_net() -> None: + """(б) Только свёрнутая «Итого»: обороты по колонкам, сальдо по нетто — корень из одной строки тоже сходится.""" + rows = [account(7, _EXPANDED_ROOT), total(8, _COLLAPSED_TOTAL)] + + assert total_matches_root(rows) is True + + +def test_expanded_secondary_total_equal_to_root_with_collapsed_total() -> None: + """(а) «Итого развернутое» = корню по колонкам, основная «Итого» свёрнута: предупреждения нет.""" + rows = [account(7, _EXPANDED_ROOT), total(8, _COLLAPSED_TOTAL), _secondary(9, _EXPANDED_ROOT)] + _, warnings = run_checks(rows, secondary_totals=_SECONDARY) + + assert total_matches_root(rows, _SECONDARY) is True + assert not [w for w in warnings if "Итого" in w.message] + + +def test_expanded_secondary_total_before_collapsed_total() -> None: + """(а) То же в плоской форме: «Итого развернутое» стоит перед «Итого».""" + rows = [account(7, _EXPANDED_ROOT), _secondary(8, _EXPANDED_ROOT), total(9, _COLLAPSED_TOTAL)] + + assert total_matches_root(rows, _SECONDARY) is True + + +def test_collapsed_total_with_real_net_difference_still_fails() -> None: + """(в) Нетто «Итого» не совпало с корнем — расхождение остаётся, даже если «Итого развернутое» = корню.""" + wrong_net: Sums = ("7", None, "100", "70", "30", None) + wrong_turnover: Sums = ("6", None, "101", "70", "30", None) + + assert total_matches_root([account(7, _EXPANDED_ROOT), total(8, wrong_net)]) is False + assert total_matches_root([account(7, _EXPANDED_ROOT), total(8, wrong_turnover)]) is False + rows = [account(7, _EXPANDED_ROOT), total(8, wrong_net), _secondary(9, _EXPANDED_ROOT)] + assert total_matches_root(rows, _SECONDARY) is False + _, warnings = run_checks(rows, secondary_totals=_SECONDARY) + assert any("≠ корневому счёту" in w.message for w in warnings) + + +def test_expanded_total_differing_from_expanded_root_still_fails() -> None: + """Развёрнутая «Итого» (обе стороны) с другим распределением Дт/Кт нетто не спасает: свёрнутость — у «Итого».""" + shifted: Sums = ("16", "10", "100", "70", "50", "20") + + assert total_matches_root([account(7, _EXPANDED_ROOT), total(8, shifted)]) is False diff --git a/openspec/specs/osv-parsing/spec.md b/openspec/specs/osv-parsing/spec.md index 2f5905d..c185cda 100644 --- a/openspec/specs/osv-parsing/spec.md +++ b/openspec/specs/osv-parsing/spec.md @@ -231,7 +231,7 @@ turnover_credit = closing_debit − closing_credit` (±0.01, `null` = 0); по `data_type` (±0.01), причём **обороты** сверяются по колонкам, а **сальдо** (начало, конец) — по колонкам либо, если у родителя сальдо свёрнуто (не больше одной ненулевой стороны), по нетто «дебет − кредит» (R-21: 1С показывает счёт нетто, а субсчета и контрагентов — развёрнуто; остаточные риски перечислены ниже); строки-показатели (требование «Строки-показатели и колонка -«Показатели»») в суммирование не входят и сами родителями не проверяются; строка TOTAL = корневая строка ACCOUNT (первая строка уровня 0) либо сумма строк уровня 0; основная «Итого» — первая строка TOTAL без признака показателя, текст которой не «Итого развернутое» (`total_row_secondary`), в каком бы порядке они ни стояли; итоговая строка-показатель («Итого» с меткой «НУ», «Кол.») в эту сверку не входит. Если корневой ACCOUNT нет, а строки уровня 0 есть (плоский список), «Итого» SHALL сверяться с их суммой (те же допуски R-21); если строк данных нет (пустая ОСВ, R-13), «Итого» SHALL быть пустой или нулевой. Если строка «Итого» не найдена, `total_row_matches_root = false` и в +«Показатели»») в суммирование не входят и сами родителями не проверяются; строка TOTAL = корневая строка ACCOUNT (первая строка уровня 0) либо сумма строк уровня 0; основная «Итого» — первая строка TOTAL без признака показателя, текст которой не «Итого развернутое» (`total_row_secondary`), в каком бы порядке они ни стояли; итоговая строка-показатель («Итого» с меткой «НУ», «Кол.») в эту сверку не входит. Если «Итого» свёрнута (не больше одной ненулевой стороны сальдо), а корневая строка развёрнута (в 1С так бывает у счёта с развёрнутым сальдо; «Итого развернутое» равна корню), «Итого» SHALL сверяться с единственным корнем так же, как с родителем и детьми (R-21): обороты по колонкам, сальдо по нетто «дебет − кредит» (AURORA-1708, #73); расхождение по нетто или оборотам остаётся нарушением. Если корневой ACCOUNT нет, а строки уровня 0 есть (плоский список), «Итого» SHALL сверяться с их суммой (те же допуски R-21); если строк данных нет (пустая ОСВ, R-13), «Итого» SHALL быть пустой или нулевой. Если строка «Итого» не найдена, `total_row_matches_root = false` и в `warnings` — «строка «Итого» не найдена» (R-20). Результат — `checks{total_row_matches_root, balance_identity_violations, parent_sum_violations}`. Результат проверки SHALL записываться в документ листа (контракт v2.0): `status` листа — `done`, когда контрольные суммы §1.4 сошлись (и строки ИНН без нарушений), иначе `needs_check` (прежние условия §1.6, применённые к листу); любое @@ -314,6 +314,10 @@ balance_identity_violations, parent_sum_violations}`. Результат про - **THEN** обе итоговые строки — TOTAL уровня 0 без родителя, «Итого развернутое» не ребёнок «76.Н.1»; `total_row_matches_root = true` (сверка по «Итого»), нарушений нет, `status = done` +#### Scenario: «Итого» свёрнута, корень и «Итого развернутое» развёрнуты +- **WHEN** корневая строка счёта несёт развёрнутое сальдо (Дт и Кт), «Итого» свёрнута, «Итого развернутое» равна корню по колонкам, а обороты и нетто сальдо «Итого» совпадают с корнем (либо «Итого развернутое» нет, «Итого» свёрнута и совпадает с корнем по нетто) +- **THEN** `total_row_matches_root = true`, предупреждения `OSV_TOTAL` нет; при расхождении нетто сальдо или оборотов `total_row_matches_root = false` (AURORA-1708, #73) + #### Scenario: «Итого развернутое» без оборотов - **WHEN** у «Итого развернутое» заполнены только сальдо (обороты пусты), а у основной «Итого» тождество строки выполняется - **THEN** `balance_identity_violations` не содержит «Итого развернутое», `status = done`; при нарушении тождества у основной