Resolve nested policy conflicts by proving semantic supersets
General lesson: when two merge-conflict sides evolve the same side-effect policy, do not preserve both implementations merely to keep both texts. Prove whether one side is a semantic superset: it must retain every prior outcome, centralize the authoritative predicate, and preserv…