用途：在生成或修改 Excel 报表后做校验，捕捉“文件存在、工作表存在、公式存在”这类基础检查发现不了的静默缺陷，尤其适用于财务报表、运营汇总、分组导出等含小计/合计公式的工作表。
主要能力：保存后从磁盘重新打开工作簿审计；逐行枚举输出区域内有内容的行，打印行号、标签、数值、原始公式、是否隐藏及分组层级；显式定位小计/合计行；独立于被检查公式推导该节应包含的可见明细行；解析小计公式引用范围并比对，发现起始过晚、结束过早、漏首行或末行、误含空行、跨节引用、复制公式未更新范围等缺陷；不匹配即判定失败并输出工作表名、行号、标签、公式、期望行与实际行。
使用方式：按工作流执行——保存并重新打开工作簿，选定目标工作表，用公式视图而非仅计算值；枚举有内容的行并打印审计日志；识别小计行；独立推导期望明细行；解析公式引用并比对；不匹配则报错；保留审计输出到日志。实现可用任意支持读取单元格值、原始公式、隐藏行和逐行遍历的 Excel 库，先支持 =SUM(B8:B12)、=SUBTOTAL(9,B8:B12) 等常见模式再扩展。
适用场景：程序化生成含小计、合计或汇总公式的工作簿；分节中可能含空行、隐藏行、筛选行或明细长度不一；公式范围错误会产出看似合理但错误的表格。
限制与注意：期望明细集必须独立于被检查公式推导，否则只是重复原错误；需明确报表语义是汇总全部行还是仅可见行；复杂公式、多小计列、嵌套合计、非连续引用、合并标签或大纲分组需自行调整；资料未提供具体安装命令、依赖版本、收费与平台信息。