Whether program is valid (no validation errors) — drives the native verb's exit code and stream selection.
program
bool validateOk(Program program) { return validationErrors(program).isEmpty; }