4. 数据校验规则引擎设计

数据校验规则引擎是税务申报系统的核心决策组件，负责将税法合规要求、财务逻辑约束与跨系统数据一致性检查转化为可执行、可维护的规则集。本章从架构分层、规则分类、优先级与冲突处理三个维度展开设计。

4.1 规则引擎架构

规则引擎采用“三层两通道”架构，将规则定义、执行调度与结果反馈解耦，支持热加载与动态编排。

4.2 规则分类

根据校验对象与验证逻辑的差异，规则分为三大类：格式校验、逻辑校验、跨表校验。每类规则在引擎中拥有独立的执行器与错误码前缀。

4.2.1 格式校验细则

格式校验是规则引擎的第一道防线，通常采用正则表达式与固定值列表实现。所有格式校验规则必须满足“零误杀”要求——即格式通过的数据必须能被下游系统正确解析。

4.2.2 逻辑校验细则

逻辑校验关注申报数据内部的数学与业务一致性。规则引擎内置表达式引擎（如 Aviator、MVEL），支持四则运算、比较、字符串拼接与集合判断。

// 逻辑校验规则示例（伪代码）
rule "进项税额转出上限校验"
when
  $s : 增值税申报表(进项税额转出 > 进项税额)
then
  addError("LOG-1021", "进项税额转出不能大于进项税额");
end

rule "减免税额合理性校验"
when
  $s : 增值税申报表(减免税额 > 应纳税额)
then
  addWarning("LOG-1023", "减免税额超过应纳税额，请确认是否享受叠加优惠");
end

4.2.3 跨表校验细则

跨表校验是税务数据穿透查询的核心能力，要求引擎能够同时加载多张申报表与财务报表，并建立字段映射关系。跨表校验通常采用“源表-目标表-映射表达式”三元组定义。

4.3 规则优先级与冲突处理

当多条规则作用于同一数据字段时，必须定义明确的优先级策略与冲突仲裁机制，避免校验结果出现二义性。

4.3.1 优先级定义策略

规则优先级采用“三级权重 + 动态调整”模型：

4.3.2 冲突类型与仲裁机制

规则冲突分为三类，引擎内置对应的仲裁处理器：

• 结果冲突：规则 A 判定“通过”，规则 B 判定“阻断”。
  仲裁策略：取高优先级规则的结果；若优先级相同，取“阻断”结果（安全优先）。
• 动作冲突：规则 A 要求“拦截提交”，规则 B 要求“仅标记”。
  仲裁策略：动作冲突时取最严格动作（拦截 > 警告 > 提示）。
• 依赖冲突：规则 C 依赖规则 A 的结果，但规则 A 被规则 B 跳过。
  仲裁策略：依赖链检测器自动识别，若发现循环依赖或断链，则挂起规则 C 并告警。

function arbitrate(ruleResultA, ruleResultB):
    if ruleA.priority != ruleB.priority:
        return higherPriorityResult
    else:
        // 优先级相同，安全优先
        if ruleResultA == BLOCK or ruleResultB == BLOCK:
            return BLOCK
        if ruleResultA == WARN or ruleResultB == WARN:
            return WARN
        return PASS

4.3.3 规则冲突检测与可视化

规则引擎在部署前会执行静态冲突检测，生成冲突报告。下表展示一个典型的冲突检测结果：