Freeze Refund Outcomes, Then Extract One Predicate

Mixed refund gates should stay intact until tests pin every current decision. The smallest safe...