Runs guard against every vector naming it and returns the ones it did not reproduce.
An empty list is conformance. Anything else is a disagreement about what the rule decides, and the vector says which pair.