lean-ctx 3.9.13

Context Runtime for AI Agents with CCP. 71 MCP tools, 10 read modes, 95+ compression patterns, cross-session memory (CCP), persistent AI knowledge with temporal facts + contradiction detection, multi-agent context sharing, LITM-aware positioning, AAAK compact format, adaptive compression with Thompson Sampling bandits. Supports 24+ AI tools. Reduces LLM token consumption by up to 99%.
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

//! Deterministic identifiers and grouping for savings attribution records.

/// Generate a stable, compact identifier for an attribution record.
pub fn generate_attribution_id(
    tool: &str,
    mechanism: &str,
    session_id: &str,
    timestamp: &str,
) -> String {
    let identity = format!("{tool}|{mechanism}|{session_id}|{timestamp}");
    let digest = blake3::hash(identity.as_bytes()).to_hex();
    digest[..16].to_owned()
}

/// Return whether `new_id` has not already been booked.
pub fn check_unique(existing_ids: &[&str], new_id: &str) -> bool {
    !existing_ids.contains(&new_id)
}

/// Map a savings mechanism to its canonical attribution group.
pub fn attribution_group_for_mechanism(mechanism: &str) -> &'static str {
    match mechanism {
        "compression" => "input_optimization",
        "routing" => "model_selection",
        "caching" => "cache_discount",
        _ => "other",
    }
}

#[cfg(test)]
mod tests {
    use super::{attribution_group_for_mechanism, check_unique, generate_attribution_id};

    #[test]
    fn generation_is_deterministic() {
        let first = generate_attribution_id("tool", "compression", "session", "ts");
        let second = generate_attribution_id("tool", "compression", "session", "ts");

        assert_eq!(first, second);
    }

    #[test]
    fn changing_identity_changes_id() {
        let original = generate_attribution_id("tool", "compression", "session", "ts");
        let changed = generate_attribution_id("other-tool", "compression", "session", "ts");

        assert_ne!(original, changed);
    }

    #[test]
    fn uniqueness_rejects_existing_id() {
        assert!(check_unique(&["abc", "def"], "ghi"));
        assert!(!check_unique(&["abc", "def"], "def"));
    }

    #[test]
    fn mechanisms_map_to_expected_groups() {
        assert_eq!(
            attribution_group_for_mechanism("compression"),
            "input_optimization"
        );
        assert_eq!(
            attribution_group_for_mechanism("routing"),
            "model_selection"
        );
        assert_eq!(attribution_group_for_mechanism("caching"), "cache_discount");
        assert_eq!(attribution_group_for_mechanism("other"), "other");
    }

    #[test]
    fn generated_id_is_a_16_character_hex_digest() {
        let id = generate_attribution_id("tool", "routing", "session", "ts");

        assert_eq!(id.len(), 16);
        assert!(id.bytes().all(|byte| byte.is_ascii_hexdigit()));
    }

    #[test]
    fn distinct_records_have_collision_resistant_ids() {
        let first = generate_attribution_id("tool", "routing", "session-a", "ts");
        let second = generate_attribution_id("tool", "routing", "session-b", "ts");
        let third = generate_attribution_id("tool", "routing", "session-a", "ts+1");

        assert_ne!(first, second);
        assert_ne!(first, third);
        assert_ne!(second, third);
    }
}