pub struct OperationPlanRecord { /* private fields */ }Expand description
Canonical v1 operation plan binding declarations to exact finite attempt authority.
This is not an authenticated backup/restore plan, fresh preflight, qualified request payload, consistency/lifecycle contract or executable dispatch permit.
Implementations§
Source§impl OperationPlanRecord
impl OperationPlanRecord
Sourcepub fn new(request: OperationPlanRequest) -> Result<Self, OperationPlanError>
pub fn new(request: OperationPlanRequest) -> Result<Self, OperationPlanError>
Admit canonical exact graph/table/physical selection and aggregate attempt binding.
§Errors
Rejects invalid selection, operation identity mismatch, unused targets and excessive allowances.
Sourcepub const fn context(&self) -> &PlanContextRecord
pub const fn context(&self) -> &PlanContextRecord
Read immutable declared context.
Sourcepub const fn inventory(&self) -> &InventoryRecord
pub const fn inventory(&self) -> &InventoryRecord
Read the full original declared inventory.
Sourcepub fn selected_targets(&self) -> &[String]
pub fn selected_targets(&self) -> &[String]
Read canonical exact physical selection, without effect-order semantics.
Sourcepub const fn graph(&self) -> &EffectGraphRecord
pub const fn graph(&self) -> &EffectGraphRecord
Read the bound original explicit dependency graph.
Sourcepub fn operations(&self) -> &[PlannedOperationRecord]
pub fn operations(&self) -> &[PlannedOperationRecord]
Read operation bindings in canonical sequence order.
Sourcepub const fn budget(&self) -> &PlanBudgetRecord
pub const fn budget(&self) -> &PlanBudgetRecord
Read original aggregate attempt ceilings.
Sourcepub const fn allocated_attempts(&self) -> AllocatedAttemptsView
pub const fn allocated_attempts(&self) -> AllocatedAttemptsView
Project assigned allowances only; this performs no observations or consumption.
Sourcepub fn operation(
&self,
sequence: u64,
) -> Result<&PlannedOperationRecord, OperationPlanError>
pub fn operation( &self, sequence: u64, ) -> Result<&PlannedOperationRecord, OperationPlanError>
Resolve an exact declared operation binding.
§Errors
Rejects an operation absent from the exact original plan.
Derive exact existing attempt authority under the full original canonical plan digest.
Repeated derivation returns the same declaration and never creates/resets a journal. Fresh authority, actual request bytes and dispatch admission stay caller-owned.
§Errors
Rejects unknown operations or invalid derived identity admission.
Sourcepub fn digest(&self) -> ArtifactChecksumRecord
pub fn digest(&self) -> ArtifactChecksumRecord
Hash the entire canonical declaration using the maintained nonrecursive v1 encoding.
Derived intent/authority, allocated views and local progress are excluded.