Public declaration syntax from forge-rs/harness-runtime/src/strategy/mod.rs
Original source SHA-256: 28a067d8729995a46cc22759db8b2b6b2b5befea3f1a60f4438499ab00f9224c
Function bodies and constant values are omitted. This is not the complete implementation.

Source line 18
pub use microdag::{DagError, MicroDag, MicroDagNode, MicroDagStrategy};

Source line 19
pub use react::ReactLoop;

Source line 23
#[derive(Debug)]
pub struct RunPlan {
/// The admitted harness (contract sealed, planes bound, budget

/// reserved).

pub admitted: AdmittedHarness,
/// The task to accomplish.

pub task: String
}

Source line 38
#[async_trait]
pub trait LoopStrategy: Send + Sync {
    /// The registered strategy name (`loop.strategy` in the manifest).
    fn name(&self) -> &'static str;

    /// Drive one run to its terminal state.
    async fn run(&self, plan: RunPlan) -> Result<RunRecord, RuntimeError>;
}

Source line 53
#[derive(Clone, Default)]
pub struct StrategyRegistry {

}

Source line 59
pub fn new() -> Self;

Source line 64
pub fn with_builtins() -> Self;

Source line 71
pub fn register(&mut self, strategy: Arc<dyn LoopStrategy>);

Source line 76
pub fn get(&self, name: &str) -> Option<&Arc<dyn LoopStrategy>>;

Source line 81
pub fn names(&self) -> Vec<&'static str>;