用途：Complexity Mitigator 是一个只读的路由轨道与分析预检技能，目标是降低既有代码的理解成本，同时保留必要的领域含义。它不负责实现或交付，只做理解性分析并交接。
主要能力：将代码分解为职责、状态、效果、决策与边界；保留关键领域因子；在重构前暴露规格风险因子；移除、合并、重命名、局部化或委托非关键因子；把重复的语义区分或因果审查压力路由到 $review-fold 和 $actuating。
适用场景：难以理解的既有代码、深层嵌套、布尔表达式混乱、解析/校验/决策/效果行为混杂、跨文件跳转、隐藏状态、顺序依赖、含义不明的命名，以及因理解困难导致的审查停滞。
工作流：选择切片（入口、输入、输出、状态、效果、边界）；分解为职责、决策、状态、效果、外部义务与证明面；将每个因子分类为关键、非关键、混合或规格风险；识别重复、被支配、被包含、残留、直通或错位的因子；保留关键因子与未解决的规格风险；按委托、扁平化、重命名、局部化、合并、抽取的顺序筛选；说明重组规则与最小证明信号；返回交接，不实现。
限制：不编辑文件或提交；不选择架构、审查信用、变更或关闭；不把更少行数等同于更低理解成本；不删除关键策略或未解决的外部义务；不在可见一致形态前为假设复用而抽取。若行为不清晰，应请求可执行的学习面，如示例矩阵、契约测试、夹具集或状态表。
交接规则：广泛框架或层级税交给 $reduce；未分类审查证据交给 $review-fold；已分类的归属边界压力交给 $actuating；非法状态或不变量归属交给 $invariant-ace；缺失关键结构形态交给 $universalist；实现交给 $actuating 或所属工作流。
输出格式为复杂度预检，包含整体、主要成本、因子分解、保留、移除/合并/委托、未解决规格风险、重组、证明与交接。