Common-Witness Certificates and Sharp Feature Bounds for Counterfactual Image Auditing
This work formalizes this local-to-global failure using a common witness grade and witness nerve, and predicts the predicted local-global separation, while synthetic experiments test sharp bounds, certificate recovery, and structured computation.