Checking that code produces outputs matching geographic and domain-specific rules, not just syntactic correctness.