Skip to main content

CandidateMeasurer

perspt_agent::toolloop

Trait CandidateMeasurer 

Source 
pub trait CandidateMeasurer: Send + Sync {
    // Required method
    fn measure<'life0, 'async_trait>(
        &'life0 self,
    ) -> Pin<Box<dyn Future<Output = Result<Measured>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;

    // Provided method
    fn measure_incremental<'life0, 'async_trait>(
        &'life0 self,
    ) -> Pin<Box<dyn Future<Output = Result<Measured>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait { ... }
}
Expand description

Re-reads the candidate overlay and runs the declared verifier suite against it (Paper I Def. 12.2: measurement runs on the realized state).

Required Methods§

Source

fn measure<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<Measured>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Provided Methods§

Source

fn measure_incremental<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<Measured>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Cheapest realized-state boundary available after one mutation. The default is the complete suite, which is conservative; domain drivers may provide an incremental parser without weakening the gate suite.

Implementors§