Struct ConsistencyRequirementRecord 

pub struct ConsistencyRequirementRecord { /* private fields */ }

Immutable v1 original-plan-bound requested guarantee, separate from fresh observations.

Implementations

impl ConsistencyRequirementRecord

pub fn new( plan: &OperationPlanRecord, guarantee: ConsistencyGuaranteeRecord, ) -> Self

Declare a guarantee for the full original plan; does not establish consistency.

pub fn plan_intent(&self) -> &str

Read canonical original full plan intent, including selection and original budgets.

pub const fn guarantee(&self) -> ConsistencyGuaranteeRecord

Read the immutable requested guarantee.

pub fn validate_plan( &self, plan: &OperationPlanRecord, ) -> Result<(), ConsistencyRequirementError>

Match the exact original plan; declarations never upgrade a guarantee on recovery.

Errors

Rejects a different full plan intent.

pub fn digest(&self) -> ArtifactChecksumRecord

Hash NUL-terminated v1 ASCII domain, 64 ASCII original-intent bytes and guarantee tag.

Tags are per_canister=0 and application_coordinated=1. No current evidence, timestamps or editable derived hashes are included or retained in this record.

Trait Implementations

impl Clone for ConsistencyRequirementRecord

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 ConsistencyRequirementRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConsistencyRequirementRecord

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ConsistencyRequirementRecord

impl PartialEq for ConsistencyRequirementRecord

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ConsistencyRequirementRecord

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 ConsistencyRequirementRecord