用途：验证解析器输出的对账单是否内部一致。核心恒等式为 closing_balance_cents = opening_balance_cents + Σ transactions.amount_cents，在容差范围内成立即通过。
输入：account_id、period_start、period_end、opening_balance_cents、closing_balance_cents、transactions（{id, date, amount_cents, description_raw} 数组）、tolerance_cents（默认 100，即 $1.00）、account_type。
符号约定：checking/savings 与 credit_card 采用家庭账本视角，流出为负、流入为正；若解析器对信用卡使用发卡行余额视角，需先翻转符号。brokerage/401k/HSA 等持仓类对账单不适用，应跳过。
流程：确认 account_type 属于 {checking, savings, credit_card, mortgage}；求带符号金额之和；计算 computed_closing 与 diff；若 |diff| ≤ tolerance 返回 ok: true，否则依次运行诊断：A 符号翻转（|diff|/2 与某笔交易绝对值在 $0.50 内匹配）、B 漏交易（|diff| 与 Fees/Interest 汇总行匹配）、C 重复计数（同一 date/amount/description 出现两次且 |diff| 匹配）、D 费用遗漏（diff ≤ $50 且符合常见费用）、E 舍入累积、F 期间不匹配。均不命中则返回 ok: false 且 diagnostic 为 unknown，交由记账人员升级处理。
输出：包含 account_id、期间、期初/期末余额、交易合计、计算期末、diff_cents、tolerance_cents、ok、diagnostic 与 suggestions 的 JSON 报告。
限制：不得静默放宽容差；核对失败必须失败，不得提交未对平的对账单，失败应生成 reports/alerts/ 条目而非静默丢弃；对同一输入重复调用结果一致（幂等）。diff_cents 为负表示计算期末高于报告值，通常意味着漏记流入或流出符号错误。