Struct LocalExperimentRunner 

pub struct LocalExperimentRunner {
    pub workspace_dir: PathBuf,
    pub max_parallelism: usize,
}

Local experiment runner that executes experiments on the host machine.

Phase 5 limitation: this runner logs verification steps but does NOT actually execute real checks. It records steps as planned, without fabricating support/contradiction counts.

Fields

workspace_dir: PathBuf

Working directory for experiments.

max_parallelism: usize

Maximum concurrent experiments.

Implementations

impl LocalExperimentRunner

pub fn new(workspace_dir: PathBuf) -> Self

Create a new local experiment runner.

pub fn with_max_parallelism(self, max: usize) -> Self

Set the maximum parallelism.

Trait Implementations

impl ExperimentRunner for LocalExperimentRunner

fn run_plan<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, plan: &'life1 VerificationPlan, bundle: &'life2 ExperimentEvidenceBundle, ) -> Pin<Box<dyn Future<Output = ForgeResult<Vec<CausalHypothesis>>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Execute a verification plan and return updated hypotheses.