Validating each step of a plan by checking outputs against automatically derived constraints based on task requirements.