A closure condition is a description of a state where specific gaps in the predicate graph are resolved. Goals are named closure conditions.
Closure conditions are not imposed by external stakeholders. They arise from the system’s own unsatisfied closures: when the predicate graph reports axiom violations, those violations generate closure pressure, and the pressure produces closure conditions.
A closure condition is met when its constituent axioms are satisfied with evidence. The satisfaction deficit measures how far the system is from meeting all closure conditions.