lean-ctx 3.9.19

Context Runtime for AI Agents with CCP. 79 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%.
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

//! Aggregate cost-efficiency metrics.

/// Total cost divided by the number of accepted outcomes.
pub fn cost_per_accepted_outcome(costs: &[u64], accepted: &[bool]) -> Option<u64> {
    let accepted_count = accepted.iter().filter(|&&value| value).count() as u128;
    if accepted_count == 0 {
        return None;
    }
    let total_cost: u128 = costs.iter().map(|&cost| cost as u128).sum();
    Some(u64::try_from(total_cost / accepted_count).unwrap_or(u64::MAX))
}

/// Effective tokens per accepted outcome.
pub fn etpao(total_tokens: u64, accepted_count: u64) -> Option<u64> {
    (accepted_count != 0).then(|| total_tokens / accepted_count)
}

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

    #[test]
    fn cpao_basic() {
        assert_eq!(
            cost_per_accepted_outcome(&[100, 200, 300], &[true, false, true]),
            Some(300)
        );
    }

    #[test]
    fn cpao_no_accepted_returns_none() {
        assert_eq!(
            cost_per_accepted_outcome(&[100, 200], &[false, false]),
            None
        );
    }

    #[test]
    fn etpao_basic() {
        assert_eq!(etpao(1_000, 4), Some(250));
    }

    #[test]
    fn etpao_zero_accepted_returns_none() {
        assert_eq!(etpao(1_000, 0), None);
    }
}