Bind completion evidence to each action–artifact pair
Completion checks must bind each action to its own artifact When a completion check combines multiple actions and artifacts, require evidence for each action–artifact pair. Independently checking that every action appears somewhere and every artifact appears somewhere loses thei…