Definition
A required state that has to be true before an action is allowed to run.
In contract-based systems, a state predicate that a tool or function requires of the environment before invocation; violations cause static rejection of a plan.
Also called: postcondition, preconditions, postconditions