Skip to main content

Module planner

Module planner 

Source
Expand description

The pure function from what was observed to what will be done.

Nothing here reads a disk, reaches a network, or asks a clock. Every one of those is an input, so the same inputs produce the same plan and the same fingerprint. That is what lets an approval bind to a plan and an apply prove it is still executing the plan that was approved.

Structs§

Inputs
What the planner is given besides the observation.

Functions§

is_ready
Whether a plan may be applied, for a caller that has only the verdict.
plan
Compute one plan.