Struct CommitPlan 

pub struct CommitPlan<'a> { /* private fields */ }

Borrowed exact transaction artifact accepted by the trusted committer.

Implementations

impl<'a> CommitPlan<'a>

pub fn new( binding: &TransactionBinding, diff: &'a CanonicalDiff, read_set: &'a BTreeMap<VPath, ReadObservation>, write_set: &'a BTreeMap<VPath, WritePrecondition>, ) -> Result<Self, CommitPlanError>

Validate that diff and dependency digests match the transaction binding.

Errors

Returns an error for digest mismatch, reserved paths, missing write preconditions, or unmaterialized final content.

Panics

Panics only if the compile-time trusted runtime-directory name stops satisfying VPath rules.

pub fn transaction(&self) -> TransactionId

Return the transaction ID derived from the exact binding.

pub const fn base_snapshot(&self) -> SnapshotId

Return the immutable base snapshot identity.

pub const fn binding(&self) -> TransactionBinding

Return the complete identity binding.

pub const fn diff(&self) -> &CanonicalDiff

Return the canonical final diff.

pub const fn read_set(&self) -> &BTreeMap<VPath, ReadObservation>

Return dependencies observed by virtual execution.

pub const fn write_set(&self) -> &BTreeMap<VPath, WritePrecondition>

Return base preconditions for all virtual writes.