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
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

use serde::{Deserialize, Serialize};

/// Controls how strongly solution-efficiency guidance is applied.
#[derive(Default, Serialize, Deserialize, Clone, Debug)]
#[serde(rename_all = "lowercase")]
pub enum SolutionIntensity {
    #[serde(alias = "Off")]
    Off,
    #[serde(alias = "Minimal")]
    Minimal,
    #[default]
    #[serde(alias = "Balanced")]
    Balanced,
    #[serde(alias = "Aggressive")]
    Aggressive,
}

impl SolutionIntensity {
    pub fn label(&self) -> &'static str {
        match self {
            Self::Off => "off",
            Self::Minimal => "minimal",
            Self::Balanced => "balanced",
            Self::Aggressive => "aggressive",
        }
    }
}

static OFF_INTENSITY: SolutionIntensity = SolutionIntensity::Off;

/// Configuration for solution-efficiency guidance.
#[derive(Serialize, Deserialize, Clone, Debug)]
#[serde(default)]
pub struct SolutionConfig {
    #[serde(default = "default_true")]
    pub enabled: bool,
    pub intensity: SolutionIntensity,
    #[serde(default = "default_true")]
    pub inject_in_instructions: bool,
    #[serde(default = "default_true")]
    pub inject_in_compose: bool,
    #[serde(default = "default_true")]
    pub inject_in_subagents: bool,
    #[serde(default = "default_true")]
    pub track_decisions: bool,
    #[serde(default = "default_true")]
    pub track_loc: bool,
    #[serde(default = "default_true")]
    pub platform_hints: bool,
    pub commercial: crate::core::solution_commercial::SolutionCommercialConfig,
}

const fn default_true() -> bool {
    true
}

impl Default for SolutionConfig {
    fn default() -> Self {
        Self {
            enabled: true,
            intensity: SolutionIntensity::Balanced,
            inject_in_instructions: true,
            inject_in_compose: true,
            inject_in_subagents: true,
            track_decisions: true,
            track_loc: true,
            platform_hints: true,
            commercial: Default::default(),
        }
    }
}

impl SolutionConfig {
    pub fn effective_intensity(&self) -> &SolutionIntensity {
        if self.enabled {
            &self.intensity
        } else {
            &OFF_INTENSITY
        }
    }

    pub fn ladder_text(&self) -> &'static str {
        const BALANCED: &str = "Solution efficiency ladder:\n\
1. YAGNI: is this needed at all?\n\
2. Reuse: does this codebase already provide it?\n\
3. Stdlib: can the standard library handle it?\n\
4. Native: use the platform's built-in capability.\n\
5. Dependency: use an already-installed dependency before adding one.\n\
6. One-line: can the correct solution be one line?\n\
7. Minimum: otherwise implement the minimum working code.\n\
Preserve validation, security, and error-handling.";
        const AGGRESSIVE: &str = "challenge every requirement, prefer deletion.\n\n\
Solution efficiency ladder:\n\
1. YAGNI: is this needed at all?\n\
2. Reuse: does this codebase already provide it?\n\
3. Stdlib: can the standard library handle it?\n\
4. Native: use the platform's built-in capability.\n\
5. Dependency: use an already-installed dependency before adding one.\n\
6. One-line: can the correct solution be one line?\n\
7. Minimum: otherwise implement the minimum working code.\n\
Preserve validation, security, and error-handling.";

        match self.effective_intensity() {
            SolutionIntensity::Off => "",
            SolutionIntensity::Minimal => {
                "Prefer stdlib and native platform alternatives before adding code or dependencies."
            }
            SolutionIntensity::Balanced => BALANCED,
            SolutionIntensity::Aggressive => AGGRESSIVE,
        }
    }
}