Struct ReplayEvidence 

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

Independent evidence needed to rebuild a replay identity. None of these values are accepted from the serialized replay envelope itself.

Implementations

impl<'a> ReplayEvidence<'a>

pub fn new( resolved_plan: &'a ResolvedModelPlan, request_input: &'a [u8], initial_state: &'a [u8], random_seed: u64, request_journal: &'a [ExecutionEvent], active_binding: &'a TrustedActiveSequenceBinding, completed_binding: Option<&'a TrustedCompletedSequenceBinding>, aborted_binding: Option<&'a TrustedAbortedSequenceBinding>, cleanup_requirement: ReplayCleanupRequirement, plan_cleanup: ReplayPlanCleanupEvidence<'a>, operation_completions: &'a [OperationCompletionReceipt], operation_drains: &'a [CompletionDrainReceipt], operation_quarantines: &'a [CompletionQuarantineReceipt], pool_evidence: &'a ResourcePoolEvidence, pool_journal: &'a [ResourcePoolEvent], ) -> Self

pub fn new_no_static( resolved_plan: &'a ResolvedModelPlan, request_input: &'a [u8], initial_state: &'a [u8], random_seed: u64, request_journal: &'a [ExecutionEvent], active_binding: &'a TrustedActiveSequenceBinding, completed_binding: Option<&'a TrustedCompletedSequenceBinding>, aborted_binding: Option<&'a TrustedAbortedSequenceBinding>, cleanup_requirement: ReplayCleanupRequirement, plan_cleanup: ReplayPlanCleanupEvidence<'a>, operation_completions: &'a [OperationCompletionReceipt], operation_drains: &'a [CompletionDrainReceipt], operation_quarantines: &'a [CompletionQuarantineReceipt], ) -> Self

pub fn resolved_plan(&self) -> &ResolvedModelPlan

pub fn request_input(&self) -> &[u8]

pub fn initial_state(&self) -> &[u8]

pub const fn random_seed(&self) -> u64

pub fn request_journal(&self) -> &[ExecutionEvent]

pub fn active_binding(&self) -> &TrustedActiveSequenceBinding

pub fn completed_binding(&self) -> Option<&TrustedCompletedSequenceBinding>

pub fn aborted_binding(&self) -> Option<&TrustedAbortedSequenceBinding>

pub const fn cleanup_requirement(&self) -> ReplayCleanupRequirement

pub const fn plan_cleanup(&self) -> ReplayPlanCleanupEvidence<'a>

pub fn operation_completions(&self) -> &[OperationCompletionReceipt]

pub fn operation_drains(&self) -> &[CompletionDrainReceipt]

pub fn operation_quarantines(&self) -> &[CompletionQuarantineReceipt]

pub fn pool_evidence(&self) -> Option<&ResourcePoolEvidence>

pub fn pool_journal(&self) -> &[ResourcePoolEvent]