Struct AdaptiveVerifier 

pub struct AdaptiveVerifier { /* private fields */ }

Adaptive verifier that selects optimal strategy per platform

Implementations

impl AdaptiveVerifier

pub async fn new() -> Result<Self, AdaptiveVerificationError>

Create adaptive verifier with automatic platform detection

pub async fn with_config( level: AdaptiveVerificationLevel, budget: Duration, ) -> Result<Self, AdaptiveVerificationError>

Create adaptive verifier with explicit configuration

pub async fn verified_geometric_product<const P: usize, const Q: usize, const R: usize>( &mut self, a: &VerifiedMultivector<P, Q, R>, b: &VerifiedMultivector<P, Q, R>, ) -> Result<VerifiedMultivector<P, Q, R>, AdaptiveVerificationError>

Perform verified operation with platform-appropriate strategy

pub async fn verified_batch_geometric_product<const P: usize, const Q: usize, const R: usize>( &mut self, a_batch: &[VerifiedMultivector<P, Q, R>], b_batch: &[VerifiedMultivector<P, Q, R>], ) -> Result<Vec<VerifiedMultivector<P, Q, R>>, AdaptiveVerificationError>

Perform verified batch operation with optimal GPU/CPU dispatch

pub fn platform(&self) -> &VerificationPlatform

Get platform information

pub fn verification_level(&self) -> &AdaptiveVerificationLevel

Get current verification level

pub fn performance_budget(&self) -> Duration

Get performance budget

pub fn should_use_gpu(&self, batch_size: usize) -> bool

Check if GPU acceleration should be used for given batch size

pub fn set_verification_level(&mut self, level: AdaptiveVerificationLevel)

Update verification level dynamically