Struct ControllerSplitCacheObservabilityTool 

pub struct ControllerSplitCacheObservabilityTool { /* private fields */ }

Typed client for governed split verification with integrity-preserving semantic replay caching and allocator accounting.

Implementations

impl ControllerSplitCacheObservabilityTool

pub fn discover( executable: impl Into<PathBuf>, ) -> Result<Self, PredicateApiError>

pub fn discover_with_policy( executable: impl Into<PathBuf>, policy: ExecutionPolicy, ) -> Result<Self, PredicateApiError>

pub fn discover_observed( executable: impl Into<PathBuf>, policy: ExecutionPolicy, ) -> Result<Observed<Self>, PredicateOperationError>

pub fn capabilities(&self) -> &ControllerSplitCacheObservabilityCapabilities

pub fn execution_policy(&self) -> ExecutionPolicy

pub fn with_execution_policy(self, policy: ExecutionPolicy) -> Self

pub fn verify_set( &self, evidence: &Path, resource_policy: &Path, batches: &[(&Path, &Path)], ) -> Result<ControllerSplitCacheObservedSummary, PredicateApiError>

pub fn verify_set_observed( &self, evidence: &Path, resource_policy: &Path, batches: &[(&Path, &Path)], ) -> Result<Observed<ControllerSplitCacheObservedSummary>, PredicateOperationError>

Trait Implementations

impl Clone for ControllerSplitCacheObservabilityTool

fn clone(&self) -> ControllerSplitCacheObservabilityTool

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControllerSplitCacheObservabilityTool

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

Formats the value using the given formatter.