flowchart LR
  A["Integrable support action of ψ"]
  B["Integrable support action of ψ̇"]
  C["c ⊗ 1 ≲ c ⊗ ρ ≲ 1 ⊗ ρ ∼ 1"]
  D["ψ̇ ≲ Φ"]
  E["ψ ≲ Φ"]
  F["p(ψ̇) ≤ d"]
  G["Continuous carrier orbit"]
  A <-->|"CI27: tensor / fixed rank-one cut"| B
  B -->|"CI28–37: supported full-support intertwiner"| C
  C -->|"CI38 and CI21–23: balanced row cancellation"| D
  D <-->|"CI24: amplify / first cut"| E
  D <-->|"CI10: exact carrier order"| F
  F -->|"CI4: J intertwines the center actions"| G
  G -->|"CI17–18: rational join and DS dominant uniqueness"| F
  E -->|"CI25–27: dual average, cut and transport"| A