the obligation model carries a fourth removal channel

Agent-decided. Duties records drops — removals the semantics declared neither a discharge nor a transfer — separately from discharges. The first version folded them together, which made A1 unfalsifiable and let a constitution built to lose an obligation pass. A premise stated over a type that cannot violate it is not a premise, and the channel is what makes the violating instance representable.