finite-policy-difference

A symbolic comparison library for finite categorical first-match rule tables, producing exact outcome-region counts and a replayable input witness when two tables differ.