Compiler 054a0414

---
name: compiler-054a0414
description: >-
  支配树 / 编译-支配树 / 支配树——必经节点集合 / 入口可达必经节点。用户提到这些词时使用本技能。
  场景：对照：支配树——必经节点集合（迭代数据流）。
  【不适用】Not for 以下场景：preds 为空/非法时
license: MIT
compatibility: >-
  set.intersection 可用
allowed-tools: Read Write Bash
metadata:
  version: "1.0"
  skill-author: 灵枢（AEIS）
  last-reviewed: "2026-08-29"
  kccs:
    trigger_words: ["支配树", "编译-支配树", "支配树——必经节点集合", "入口可达必经节点"]
    when: "set.intersection 可用"
    sub: ["① 调用 list；② 调用 set"]
    execute: "循环迭代；顺序调用"
    not_applicable: ["preds 为空/非法时"]
  calibration: "对照：支配树——必经节点集合（迭代数据流）"
---

# 编译-支配树（compiler-054a0414）

## When to use

任务「支配树」；对照：支配树——必经节点集合（迭代数据流）。

## 克制条款（不适用条件）

preds 为空/非法时

## How to execute

循环迭代；顺序调用

## Verification

- 单元样例 3 条（cases 断言）
- 物理基底：按 calibration 对照（编译/运行/断言裁决）

## References

- 单元库：compiler_code_units.py「编译-支配树」