Struct ExecutionSettlementRecord 

pub struct ExecutionSettlementRecord { /* private fields */ }

Strict v1 immutable exact journal checkpoint, with no copied counters or completion flags.

Structural decoding authenticates no receipts. Current admission requires the full exact original journal set, causal Applied prerequisites and every operation Applied. This is local ledger settlement, not full backup/restore completion, application safety, command quiescence, fresh authority or fence/reference-release permission.

Implementations

impl ExecutionSettlementRecord

pub fn new( plan_intent: ArtifactChecksumRecord, journals: Vec<ExecutionSettlementJournalRecord>, ) -> Result<Self, ExecutionSettlementError>

Declare bounded unique journal fingerprints in canonical sequence order.

Declaration alone proves no journal presence or Applied outcome. Policy and persistence independently admit original retained journals before publication/replay.

Errors

Rejects empty/excessive rows or repeated operation identity, including different hashes.

pub const fn plan_intent(&self) -> &ArtifactChecksumRecord

Read original full plan identity, including all original allowances.

pub fn journals(&self) -> &[ExecutionSettlementJournalRecord]

Read exact canonical fingerprint set; no row is a dispatch/completion receipt.

pub fn digest(&self) -> ArtifactChecksumRecord

Hash NUL-terminated v1 domain, 64 ASCII plan hash, u64 row count and ascending u64 operation identity/64 ASCII history hash pairs, all integers big-endian.

Trait Implementations

impl Clone for ExecutionSettlementRecord

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExecutionSettlementRecord

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionSettlementRecord

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExecutionSettlementRecord

impl PartialEq for ExecutionSettlementRecord

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ExecutionSettlementRecord

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExecutionSettlementRecord