More like soundness and completeness. We're comparing two different systems, the executable examples versus the ground truth. Soundness and completeness are statements of comparison between two systems. Whereas consistency means that the system doesn't derive contradictions.