pub fn validate(
plan: &OperationPlanRecord,
journals: &[&AttemptJournalRecord],
settlement: &ExecutionSettlementRecord,
) -> Result<ExecutionProgressView, ExecutionSettlementPolicyError>Expand description
Admit the original complete causal journal set and match every retained history.
The canonical progress owner checks exact coverage/context/operation/limits and retained prerequisite evidence; no missing input means unused allowance. Every operation must be Applied, even when remaining allowances are nonzero. Exact full history includes negative/uncertain receipts and consumed attempts, not just the final progress shape. This performs no IO/serialization/transitions or remote observations. Receipt authentication, dispatch chronology, artifacts, actual application safety and command quiescence remain separately qualified.
ยงErrors
Rejects changed plan, incomplete/invalid/unsettled journals or different exact histories.