Expand description
The readiness policy: what a plan’s preconditions require, what each one was found to be, and the one derivation that turns the two into a verdict.
A gap is honest and is not permission. Every precondition carries a
requirement, and the plan’s readiness is the worst precondition: a
required one not satisfied blocks, a decision-required one not yet
answered asks, and an advisory one never counts. Apply proceeds on
ready alone, and there is no flag that makes a gap into a pass.
Structs§
- Precondition
- One precondition of a plan: a stable id, what it requires, what it was found to be, and the decision that resolves it where one does.
Enums§
- Evaluation
- What one precondition was found to be.
- Readiness
- Whether the plan may be applied.
- Requirement
- What a precondition demands of the plan.
Functions§
- derive
- The one derivation: the worst precondition decides.