pub fn progress(
request: &ExecutionProgressRequest<'_>,
) -> Result<ExecutionProgressView, ExecutionProgressError>Expand description
Admit exact complete journal coverage and project causal retained local progress.
Missing journals are errors, never fresh zero-consumption declarations. Any attempted operation requires Applied evidence for every declared prerequisite. This validates retained causality, not cross-journal dispatch chronology: no remote observations, authority probes, writes or scheduling occur.
ยงErrors
Rejects excessive, duplicate, unknown, missing or mismatched journals, premature attempts and accounting overflow. Unresolved/exhausted states remain visible.