Struct ExecutionOrchestrator 

pub struct ExecutionOrchestrator { /* private fields */ }

Orchestrator for coordinating multiple executions

Implementations

impl ExecutionOrchestrator

pub fn new(specs: Vec<MutationSpec>) -> Self

pub fn with_strategy(self, strategy: OrchestrationStrategy) -> Self

pub fn run(&self, ctx: &mut AnalysisContext) -> OrchestratedResult

Run the orchestrator with the configured strategy

pub fn run_speculative_verified( &self, ctx: &mut AnalysisContext, pipeline: &VerificationPipeline, ) -> Result<VerifiedOrchestratedResult, ToSynError>

Run speculative execution with verification pipeline.

This method:

1. Saves the original file state
2. Runs the orchestrated execution
3. If successful, runs verification pipeline (pre-check + post-check)
4. Returns combined result with verification status

Arguments

• ctx: The analysis context (will be modified on success)
• pipeline: The verification pipeline to use

Returns

A VerifiedOrchestratedResult containing both orchestration and verification results.