constraint validation environment