Struct ProtocolMachineSemanticObjects 

pub struct ProtocolMachineSemanticObjects {

    pub schema_version: String,
    pub operation_instances: Vec<OperationInstance>,
    pub outstanding_effects: Vec<OutstandingEffect>,
    pub semantic_handoffs: Vec<SemanticHandoff>,
    pub transformation_obligations: Vec<TransformationObligation>,
    pub authoritative_reads: Vec<AuthoritativeRead>,
    pub observed_reads: Vec<ObservedRead>,
    pub materialization_proofs: Vec<MaterializationProof>,
    pub canonical_handles: Vec<CanonicalHandle>,
    pub publication_events: Vec<PublicationEvent>,
    pub prestate_bindings: Vec<PrestateBinding>,
    pub agreement_profiles: Vec<AgreementProfile>,
    pub agreement_contracts: Vec<AgreementContract>,
    pub agreement_evidence: Vec<AgreementEvidence>,
    pub agreement_states: Vec<AgreementState>,
    pub regions: Vec<Region>,
    pub progress_contracts: Vec<ProgressContract>,
    pub progress_transitions: Vec<ProgressTransition>,
}

Canonical bundle of semantic objects exported by the protocol machine.

Fields

schema_version: String

operation_instances: Vec<OperationInstance>

outstanding_effects: Vec<OutstandingEffect>

semantic_handoffs: Vec<SemanticHandoff>

transformation_obligations: Vec<TransformationObligation>

authoritative_reads: Vec<AuthoritativeRead>

observed_reads: Vec<ObservedRead>

materialization_proofs: Vec<MaterializationProof>

canonical_handles: Vec<CanonicalHandle>

publication_events: Vec<PublicationEvent>

prestate_bindings: Vec<PrestateBinding>

agreement_profiles: Vec<AgreementProfile>

agreement_contracts: Vec<AgreementContract>

agreement_evidence: Vec<AgreementEvidence>

agreement_states: Vec<AgreementState>

regions: Vec<Region>

progress_contracts: Vec<ProgressContract>

progress_transitions: Vec<ProgressTransition>

Implementations

impl ProtocolMachineSemanticObjects

pub const fn finalization(&self) -> ProtocolMachineFinalization<'_>

Stable derived finalization subsystem for protocol-critical truth transitions.

pub fn require_authoritative_read( &self, read_id: &str, ) -> Result<&AuthoritativeRead, String>

Require one semantic-path read to be authoritative rather than observational.

Errors

Returns a descriptive error when the read is observational or unknown.

pub fn require_canonical_handle( &self, handle_id: &str, ) -> Result<&CanonicalHandle, String>

Require one strong canonical handle on a parity-critical path.

Errors

Returns a descriptive error when the handle is missing.

pub fn parity_critical_operations_have_canonical_handles(&self) -> bool

Whether every parity-critical operation has an explicit canonical handle path.

pub fn parity_critical_operations_have_progress_contracts(&self) -> bool

Whether every parity-critical operation has a matching progress contract.

pub fn named_agreement_profile_available(&self, profile_name: &str) -> bool

Whether one named agreement profile is present in the semantic bundle.

pub fn agreement_contract_for_operation( &self, operation: &OperationInstance, ) -> bool

Whether one operation has a matching agreement contract.

pub fn agreement_state_for_operation( &self, operation: &OperationInstance, ) -> bool

Whether one operation has a matching agreement state.

pub fn prestate_binding_for_operation( &self, operation: &OperationInstance, ) -> bool

Whether one operation has a stable prestate binding.

pub fn agreement_evidence_for_operation( &self, operation: &OperationInstance, ) -> bool

Whether one operation has explicit agreement evidence.

pub fn provisional_agreement_usable( &self, operation: &OperationInstance, ) -> bool

Whether one operation is usable under its current agreement state.

pub fn finalization_backed(&self, operation: &OperationInstance) -> bool

Whether one operation has explicit finalization backing.

Trait Implementations

impl Clone for ProtocolMachineSemanticObjects

fn clone(&self) -> ProtocolMachineSemanticObjects

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProtocolMachineSemanticObjects

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

Formats the value using the given formatter.

impl Default for ProtocolMachineSemanticObjects

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProtocolMachineSemanticObjects

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProtocolMachineSemanticObjects

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ProtocolMachineSemanticObjects

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 ProtocolMachineSemanticObjects