Module execution_progress 

Pure original-plan progress from exact retained journals; no scheduling or dispatch.

Structs

ExecutionAttemptTotalsView

Sums over original assigned allowances only; unused plan headroom is excluded.

ExecutionProgressRequest

Passive complete journal set supplied by the local evidence-owning caller.

ExecutionProgressView

Read-only projection bound to the complete original declaration and retained journals.

OperationProgressView

Read-only local progress for one exact operation in graph planning order.

Enums

ExecutionProgressError

Typed original-plan journal admission, retained causality or accounting failure.

OperationProgressState

Derived local attempt condition, without fresh permission or backend qualification.

Functions

progress

Admit exact complete journal coverage and project causal retained local progress.