Validations of programmatic states