Module derive 

Turn one computed target state into the operations that reach it.

What a release lands into a target is one computation, in the installer. Deriving it a second time here would be two places for one rule to drift, so the planner takes the installer’s answer and says what kind of write each destination is.

Functions

debt_operation

The debt file the operator asked the landing to record.

operations_for

Every write one target state implies, and the bytes each one lands.

Type Aliases

Derived

Every write one target state implies, with the bytes each one lands.