autoany_core 0.1.0

EGRI microkernel — Evaluator-Governed Recursive Improvement runtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

use crate::error::Result;
use crate::types::ExecutionResult;

/// Checks hard constraints on execution results.
///
/// Constraint violations cause immediate rejection — these are not tradeoffs.
pub trait ConstraintChecker {
    /// Check all constraints. Returns list of violations (empty = all passed).
    fn check(&self, execution: &ExecutionResult) -> Result<Vec<String>>;
}

/// Default constraint checker that enforces runtime budget and exit code.
pub struct RuntimeConstraint {
    pub max_duration_secs: f64,
}

impl ConstraintChecker for RuntimeConstraint {
    fn check(&self, execution: &ExecutionResult) -> Result<Vec<String>> {
        let mut violations = Vec::new();
        if execution.duration_secs > self.max_duration_secs {
            violations.push(format!(
                "runtime {:.2}s exceeds limit {:.2}s",
                execution.duration_secs, self.max_duration_secs
            ));
        }
        if execution.exit_code != 0 {
            violations.push(format!("non-zero exit code: {}", execution.exit_code));
        }
        Ok(violations)
    }
}