Module execution_workflow 

Original stage allocations and exact learned-plan bindings; no second spending ledger.

Structs

ExecutionStageBindingRecord

Strict v1 immutable association of one allocated stage with one exact ordinary plan.

ExecutionStagePredecessorRecord

Exact preceding stage binding, chronological settlement and learned-input commitment.

ExecutionWorkflowRecord

Strict v1 original stage catalog, admitted by the existing plan structural owner.

Enums

ExecutionWorkflowError

Typed rejection without changing original records or spending.

Constants

MAX_EXECUTION_STAGE_BYTES

Maximum raw and canonical learned-stage binding bytes.

MAX_EXECUTION_WORKFLOW_BYTES

Maximum raw and canonical workflow declaration bytes.