mythos-skill 0.1.1

Explicit-state recurrent synthesis: deterministic packet compiler for AI agent runs. Takes subagent output (evidence.jsonl, verifier findings, raw artifacts) and compiles a schema-validated, hash-provenanced next-pass packet that Prime can reason over without consuming raw subagent prose.
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

use crate::schema::PromotionRecord;

#[derive(Debug, Clone, PartialEq)]
pub struct PromotionCandidate {
    pub id: String,
    pub kind: String,
    pub source_ids: Vec<String>,
    pub repeated_utility_count: u32,
    pub verifier_support: bool,
    pub conflict_count: u32,
}

pub fn promotion_record_from_candidate(candidate: &PromotionCandidate) -> PromotionRecord {
    let should_promote = candidate.repeated_utility_count >= 2
        && candidate.verifier_support
        && candidate.conflict_count == 0;
    let decision = if should_promote { "allow" } else { "review" };
    let reason = if should_promote {
        format!(
            "Repeated utility observed {} times with verifier support and no conflicts.",
            candidate.repeated_utility_count
        )
    } else if candidate.conflict_count > 0 {
        format!(
            "Conflicting evidence still exists ({} conflicts); keep this candidate under review.",
            candidate.conflict_count
        )
    } else if !candidate.verifier_support {
        format!(
            "Verifier support is still missing after {} repeated observations; keep this candidate under review.",
            candidate.repeated_utility_count
        )
    } else {
        format!(
            "Needs more repeated utility before promotion (observed {} times).",
            candidate.repeated_utility_count
        )
    };

    PromotionRecord {
        id: candidate.id.clone(),
        kind: candidate.kind.clone(),
        source_ids: candidate.source_ids.clone(),
        decision: decision.to_string(),
        reason,
        expires_after_pass: None,
    }
}

#[cfg(test)]
mod tests {
    use super::{PromotionCandidate, promotion_record_from_candidate};

    #[test]
    fn promotes_only_when_threshold_and_verifier_are_satisfied() {
        let candidate = PromotionCandidate {
            id: "promo-1".to_string(),
            kind: "promoted_directive".to_string(),
            source_ids: vec!["src-1".to_string()],
            repeated_utility_count: 3,
            verifier_support: true,
            conflict_count: 0,
        };

        let record = promotion_record_from_candidate(&candidate);
        assert_eq!(record.decision, "allow");
    }

    #[test]
    fn keeps_conflicted_candidates_under_review() {
        let candidate = PromotionCandidate {
            id: "promo-2".to_string(),
            kind: "promoted_directive".to_string(),
            source_ids: vec!["src-1".to_string()],
            repeated_utility_count: 5,
            verifier_support: true,
            conflict_count: 1,
        };

        let record = promotion_record_from_candidate(&candidate);
        assert_eq!(record.decision, "review");
    }

    #[test]
    fn reports_missing_verifier_support_explicitly() {
        let candidate = PromotionCandidate {
            id: "promo-3".to_string(),
            kind: "promoted_directive".to_string(),
            source_ids: vec!["src-1".to_string()],
            repeated_utility_count: 4,
            verifier_support: false,
            conflict_count: 0,
        };

        let record = promotion_record_from_candidate(&candidate);
        assert!(record.reason.contains("Verifier support is still missing"));
    }
}