Semantic diffing of formal policies with anti-unification

A symbolic, deterministic semantic diff using an open-source anti-unification engine can show reviewers only the genuine disagreements between two candidate authorization policies, avoiding cosmetic changes that hide behavioral differences.