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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160

use crate::error::{EgriError, Result};
use crate::types::{Action, Decision, StateId};

/// Manages artifact state promotion and rollback.
pub struct PromotionController<A: Clone> {
    best_artifact: Option<A>,
    best_state_id: Option<StateId>,
    current_artifact: Option<A>,
    current_state_id: Option<StateId>,
}

impl<A: Clone> PromotionController<A> {
    pub fn new() -> Self {
        Self {
            best_artifact: None,
            best_state_id: None,
            current_artifact: None,
            current_state_id: None,
        }
    }

    /// Set the baseline artifact. Must be called before the loop.
    pub fn set_baseline(&mut self, artifact: A) {
        let state_id = StateId::baseline();
        self.best_artifact = Some(artifact.clone());
        self.best_state_id = Some(state_id.clone());
        self.current_artifact = Some(artifact);
        self.current_state_id = Some(state_id);
    }

    /// Apply a decision: promote or discard the candidate.
    pub fn apply_decision(&mut self, decision: &Decision, candidate: A) {
        match decision.action {
            Action::Promoted => {
                let state_id = decision.new_state_id.clone().unwrap_or_default();
                self.best_artifact = Some(candidate.clone());
                self.best_state_id = Some(state_id.clone());
                self.current_artifact = Some(candidate);
                self.current_state_id = Some(state_id);
            }
            Action::Discarded | Action::Escalated => {
                // Restore current to best
                if let Some(best) = &self.best_artifact {
                    self.current_artifact = Some(best.clone());
                    self.current_state_id = self.best_state_id.clone();
                }
            }
            Action::Branched => {
                // Keep current as-is for branching — caller handles branch logic
            }
        }
    }

    /// Rollback to the last promoted state.
    pub fn rollback(&mut self) -> Result<&A> {
        match &self.best_artifact {
            Some(artifact) => {
                self.current_artifact = Some(artifact.clone());
                self.current_state_id = self.best_state_id.clone();
                Ok(self.current_artifact.as_ref().unwrap())
            }
            None => Err(EgriError::RollbackFailed),
        }
    }

    pub fn current(&self) -> Option<&A> {
        self.current_artifact.as_ref()
    }

    pub fn best(&self) -> Option<&A> {
        self.best_artifact.as_ref()
    }

    pub fn current_state_id(&self) -> Option<&StateId> {
        self.current_state_id.as_ref()
    }

    pub fn best_state_id(&self) -> Option<&StateId> {
        self.best_state_id.as_ref()
    }
}

impl<A: Clone> Default for PromotionController<A> {
    fn default() -> Self {
        Self::new()
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::types::StateId;

    #[test]
    fn baseline_sets_both_current_and_best() {
        let mut pc: PromotionController<String> = PromotionController::new();
        assert!(pc.current().is_none());
        assert!(pc.best().is_none());

        pc.set_baseline("v0".into());
        assert_eq!(pc.current(), Some(&"v0".into()));
        assert_eq!(pc.best(), Some(&"v0".into()));
        assert_eq!(pc.current_state_id().unwrap().0, "baseline");
    }

    #[test]
    fn promote_updates_both() {
        let mut pc: PromotionController<String> = PromotionController::new();
        pc.set_baseline("v0".into());

        let decision = Decision {
            action: Action::Promoted,
            reason: "improved".into(),
            new_state_id: Some(StateId("s1".into())),
        };
        pc.apply_decision(&decision, "v1".into());

        assert_eq!(pc.current(), Some(&"v1".into()));
        assert_eq!(pc.best(), Some(&"v1".into()));
        assert_eq!(pc.best_state_id().unwrap().0, "s1");
    }

    #[test]
    fn discard_restores_to_best() {
        let mut pc: PromotionController<String> = PromotionController::new();
        pc.set_baseline("v0".into());

        let decision = Decision {
            action: Action::Discarded,
            reason: "no improvement".into(),
            new_state_id: None,
        };
        pc.apply_decision(&decision, "v_bad".into());

        assert_eq!(pc.current(), Some(&"v0".into()));
        assert_eq!(pc.best(), Some(&"v0".into()));
    }

    #[test]
    fn rollback_returns_best() {
        let mut pc: PromotionController<String> = PromotionController::new();
        pc.set_baseline("v0".into());

        let promote = Decision {
            action: Action::Promoted,
            reason: "better".into(),
            new_state_id: Some(StateId("s1".into())),
        };
        pc.apply_decision(&promote, "v1".into());

        let rolled = pc.rollback().unwrap();
        assert_eq!(rolled, &"v1".to_string());
    }

    #[test]
    fn rollback_without_baseline_fails() {
        let mut pc: PromotionController<String> = PromotionController::new();
        assert!(pc.rollback().is_err());
    }
}