多个治理策略冲突时如何处理？

简化版

多个治理策略不能依赖代码注册顺序碰运气，应先定义固定的执行阶段，再在同阶段用“作用域具体度、显式优先级、版本”做确定性裁决。冲突发布前要静态检测，运行时记录最终命中的规则和决策链；安全边界通常取更严格结果，但路由、降级等不同类型策略不能简单统一取最小值。

详细版

先把规则分为身份/标签、路由、限流、并发隔离、熔断、降级等阶段，明确哪些可组合、哪些互斥。租户+接口规则通常覆盖服务级默认规则；同作用域再比较业务优先级，仍相同则拒绝发布，而不是随机选择。

例如全局限流 1000 QPS 与租户 A 限流 100 QPS 可同时生效，A 的请求受两层约束；“路由到 v2”与“路由到 v1”则必须裁决出唯一目标。系统要提供 dry-run、冲突报告、灰度、回滚和 explain API，说明一次请求为何被拒绝、路由或降级。

完整版教学

一、先区分组合与真正冲突

两条规则同时命中不一定冲突。全局 1000 QPS 与租户 100 QPS 是分层配额，两个桶都通过才放行；而同一请求既要求只进 v1 又要求只进 v2，交集为空，才是路由冲突。设计前必须为每种规则定义组合代数，不能把所有多命中都交给一个 priority 数字。

心法：先问结果能否同时满足；能满足就组合，不能满足才裁决或拒绝发布。

二、固定执行阶段消除顺序歧义

解析身份与标签
  -> 路由候选集
  -> 准入/限流
  -> 并发隔离
  -> 熔断判断
  -> 调用
  -> fallback/降级

阶段顺序是协议的一部分。例如先路由才能选择目标实例对应的熔断器；降级发生在调用不可进行或失败之后。随框架注册顺序变化会导致同一组规则在不同实例得到不同结果。

三、同类型规则的裁决键

可使用 (作用域具体度, 显式优先级, 版本) 排序：接口+租户比接口级具体，接口级比服务级具体；同一作用域再比较 priority。版本只用于新旧规则并存，不应让一次普通更新无意覆盖更高业务优先级。

条件	scope	priority	结果
全服务路由 v1	1	10	默认候选
`/pay` 路由 v2	2	10	覆盖默认
租户 A `/pay` 禁用 v2	3	20	最具体，路由 v1

若两个规则三元组完全相同却结果不同，应在发布时拒绝并要求人工修正。

四、不同规则类型怎样组合

限额通常取分层约束的交集，超时通常受调用 deadline 上限约束，路由用集合求交，降级结果按业务定义选唯一方案。不能机械地“取最严格”：两个路由集合取严格结果可能为空，两个 fallback 同时执行可能返回结构冲突。

globalBucket.allow && tenantBucket.allow && endpointBucket.allow
routeCandidates = globalSet ∩ graySet ∩ zoneSet
if routeCandidates is empty -> 发布失败或明确的安全回退

五、发布前静态检测和模拟

规则平台可把条件转成规范形式，检查重叠作用域、互斥动作、循环 fallback 和空路由集合。对于复杂表达式，再用最近流量样本做 dry-run，统计多少请求将改变结果。若 100 万样本中有 18 万从 v1 转向 v2，而变更单声称只灰度 1%，应阻止发布。

模拟必须使用脱敏、有限保留的标签，并报告未覆盖条件；“样本没有冲突”不代表所有可能输入都安全。

六、运行时解释与一致性

每次决策记录 ruleId、version、stage、matched、finalAction 和简短原因，可采样写日志并汇总指标。explain 接口输入一组标签，返回完整决策树，帮助判断为何请求被路由或拒绝。敏感规则和用户标签需要权限控制，不能在前端直接暴露。

配置分批到达时，新旧实例可能短暂使用不同版本。规则包应原子发布并带总版本，实例只在整包校验成功后切换；看板按版本展示结果，异常时可一键回到上一完整版本。

七、常见误区与追问

误区：统一设置一个 priority 就能解决所有冲突。 不同规则类型的组合语义不同。
误区：后发布的规则天然应该覆盖旧规则。 发布时间不代表业务优先级，会让更新产生隐式行为。
误区：安全策略永远简单取更严格值。 路由交集可能为空，必须定义失败行为。
误区：只在运行时发现冲突。 可静态识别的矛盾应在发布前阻断。
追问：灰度规则与地域路由冲突怎么办？ 先求候选实例交集；为空时按预设策略退出灰度或拒绝，不能随机跨地域。
追问：如何排查某请求为何被限流？ 用决策日志或 explain 返回命中的各层桶及失败阶段。
追问：规则更新如何避免半包？ 版本化整包、校验后原子切换，并保留上一版本。

八、加强记忆

策略冲突处理可记为“分阶段、先组合、再裁决、拒歧义、能解释”：固定治理链顺序，为每类规则定义组合语义，真正互斥时按具体度与显式优先级裁决，相同裁决键仍矛盾就拒绝发布，运行时保留版本与决策链。这样结果才确定、可测试、可回滚。

简化版

详细版