4. 规则冲突检测方法：静态分析与动态分析

规则冲突检测是策略治理的核心防线。根据检测时机与数据来源，主流方法分为静态分析（不执行规则，仅从代码/结构层面推导冲突）与动态分析（在运行时或通过历史日志发现冲突）。两种方法互补，共同构成完整的冲突检测体系。

4.1 静态分析：语法树比对与依赖图分析

静态分析在规则部署前执行，通过解析规则源码或中间表示，在不运行规则的情况下发现潜在冲突。其优势在于低风险、全覆盖，适合集成到CI/CD流水线中。

4.1.1 语法树比对（AST Diff）

将规则解析为抽象语法树（AST），通过树结构比对识别条件重叠、动作矛盾等冲突模式。核心步骤包括：

1. 规则解析：将规则源码（如DRL、JSON、YAML）解析为AST。
2. 节点标准化：统一变量名、常量格式，消除语法糖差异。
3. 子树匹配：使用树编辑距离或哈希算法，找出条件子树的相似度。
4. 冲突模式匹配：识别“相同条件不同动作”“条件包含关系”“动作互斥”等模式。

4.1.2 依赖图分析（Dependency Graph）

将规则间的数据依赖、执行顺序依赖、优先级依赖建模为有向图，通过图算法检测循环依赖、优先级反转、死锁路径等结构性冲突。

依赖图节点为规则或规则集，边表示依赖关系（如“规则A的输出是规则B的输入”）。常用检测算法包括：

• 环检测：使用DFS或Tarjan算法，识别强连通分量。
• 拓扑排序：验证依赖图是否为DAG，若排序失败则存在循环依赖。
• 可达性分析：判断两个互斥规则是否通过依赖链间接关联。

4.2 动态分析：运行时冲突监控与日志回溯

动态分析在规则执行过程中或执行后进行，通过监控运行时状态、捕获冲突实例、回溯日志来发现静态分析无法覆盖的数据依赖冲突、时序冲突和资源竞争冲突。

4.2.1 运行时冲突监控

在规则引擎中嵌入监控探针，实时采集规则触发顺序、条件求值结果、动作执行效果，通过预定义的冲突检测规则进行在线判定。

4.2.2 日志回溯分析

当线上出现策略异常时，通过回溯规则执行日志，重建冲突现场。日志回溯通常包含以下步骤：

1. 日志采集：从规则引擎、应用服务器、数据库审计日志中提取规则执行记录。
2. 时序重建：按时间戳排序，还原规则触发顺序与事实变更序列。
3. 冲突定位：使用回溯算法（如时间窗口滑动、因果链分析）定位冲突发生的规则对。
4. 根因分析：结合上下文数据，判断冲突是逻辑错误、数据异常还是配置失误。

// 日志回溯伪代码示例
function backtrackConflict(logs, windowMs) {
  const sorted = logs.sort((a, b) => a.timestamp - b.timestamp);
  const conflictPairs = [];

  for (let i = 0; i < sorted.length; i++) {
    const windowEnd = sorted[i].timestamp + windowMs;
    for (let j = i + 1; j < sorted.length && sorted[j].timestamp <= windowEnd; j++) {
      if (isMutuallyExclusive(sorted[i].action, sorted[j].action) &&
          hasOverlap(sorted[i].condition, sorted[j].condition)) {
        conflictPairs.push([sorted[i].ruleId, sorted[j].ruleId]);
      }
    }
  }
  return conflictPairs;
}

4.3 静态分析与动态分析的对比