lean_ctx/core/config/model.rs
1use serde::{Deserialize, Serialize};
2
3#[allow(clippy::wildcard_imports)]
4use super::*;
5fn default_true() -> bool {
6 true
7}
8
9/// Global lean-ctx configuration loaded from `config.toml`, merged with project-local overrides.
10#[derive(Debug, Clone, Serialize, Deserialize)]
11#[serde(default)]
12pub struct Config {
13 pub ultra_compact: bool,
14 #[serde(default, deserialize_with = "serde_defaults::deserialize_tee_mode")]
15 pub tee_mode: TeeMode,
16 /// Verbosity of the reactive recovery footer on compressed output
17 /// (`off|minimal|full`, default `minimal`). See [`RecoveryHints`].
18 #[serde(default)]
19 pub recovery_hints: RecoveryHints,
20 #[serde(default)]
21 pub output_density: OutputDensity,
22 pub checkpoint_interval: u32,
23 pub excluded_commands: Vec<String>,
24 pub passthrough_urls: Vec<String>,
25 pub custom_aliases: Vec<AliasEntry>,
26 /// Output formats that are already compact/token-oriented and must be
27 /// preserved verbatim instead of being recompressed (#342). Matched against
28 /// the *output shape* (not the command name), so any tool emitting the
29 /// format is covered without enumerating commands in `excluded_commands`.
30 /// Default: `["toon"]`. Set to `[]` to disable and always recompress.
31 #[serde(default = "serde_defaults::default_preserve_compact_formats")]
32 pub preserve_compact_formats: Vec<String>,
33 /// Opt-in: apply the lossless JSON crusher to *verbatim* data commands
34 /// (`gh api`, `jq`, `kubectl get -o json`, `curl` JSON). Off by default, so
35 /// those outputs stay byte-for-byte verbatim. When on, an array-heavy JSON
36 /// payload the crusher can at least halve is reshaped into a compact, fully
37 /// reconstructible form; everything else stays verbatim. See
38 /// [`Config::crush_verbatim_json_enabled`] (#936).
39 #[serde(default)]
40 pub crush_verbatim_json: bool,
41 /// Commands taking longer than this threshold (ms) are recorded in the slow log.
42 /// Set to 0 to disable slow logging.
43 pub slow_command_threshold_ms: u64,
44 #[serde(default = "serde_defaults::default_theme")]
45 pub theme: String,
46 /// Privacy-safe default-on telemetry with explicit and environment opt-outs.
47 #[serde(default)]
48 pub telemetry: TelemetryConfig,
49 /// Legacy `[cloud]` opt-in, migrated on load; never written back.
50 #[serde(default, skip_serializing)]
51 pub cloud: LegacyCloudConfig,
52 /// LeanCTX | Hive connector (`[hive]`).
53 #[serde(default)]
54 pub hive: crate::core::config::hive::HiveConfig,
55 /// Model declaration for measured-vs-estimated cost reporting (MCP-only IDEs).
56 #[serde(default)]
57 pub cost: CostConfig,
58 #[serde(default)]
59 pub decision_loop: DecisionLoopConfig,
60 /// User-controlled never-lossy zones (#1570 P4): protected file globs
61 /// and `<protect>` span handling.
62 #[serde(default)]
63 pub protection: ProtectionConfig,
64 /// Code-health engine: cognitive complexity, naming, coupling, edit-gate.
65 #[serde(default)]
66 pub code_health: CodeHealthConfig,
67 #[serde(default)]
68 pub autonomy: AutonomyConfig,
69 #[serde(default)]
70 pub providers: ProvidersConfig,
71 #[serde(default)]
72 pub knowledge_routing: KnowledgeRoutingConfig,
73 #[serde(default)]
74 pub proxy: ProxyConfig,
75 /// Conversation-history compression (`[conversation]`, opt-in; #1123).
76 #[serde(default)]
77 pub conversation: ConversationConfig,
78 /// Proxy-layer response shaping (`[response_shaping]`, #1125).
79 #[serde(default)]
80 pub response_shaping: ResponseShapingConfig,
81 #[serde(default)]
82 pub ocla: OclaConfig,
83 /// Global-only, explicit consent and independent pins for optional local code.
84 #[serde(default)]
85 pub intelligence_runtime: IntelligenceRuntimeConfig,
86 /// Counterfactual Shadow Mode reporting (`[shadow]`), opt-in.
87 #[serde(default)]
88 pub shadow: ShadowConfig,
89 /// User-only value display (`[value_display]`): status line, recaps,
90 /// prompt segment, milestones. Never reaches the model context.
91 #[serde(default)]
92 pub value_display: ValueDisplayConfig,
93 /// Generalized L1/L2/L3 cache settings (`[cache]`).
94 #[serde(default)]
95 pub cache: CacheConfig,
96 #[serde(default)]
97 pub agents: sections::AgentsConfig,
98 /// Whether the API proxy is enabled. Tri-state:
99 /// - None: undecided (fresh install, will prompt on interactive setup)
100 /// - Some(true): user opted in, proxy managed by lean-ctx
101 /// - Some(false): user opted out, never touch proxy or endpoints
102 #[serde(default)]
103 pub proxy_enabled: Option<bool>,
104 #[serde(default)]
105 pub proxy_port: Option<u16>,
106 /// Proxy reachability timeout in milliseconds. Default: 200.
107 /// Override via LEAN_CTX_PROXY_TIMEOUT_MS env var.
108 #[serde(default)]
109 pub proxy_timeout_ms: Option<u64>,
110 /// Strict proxy auth: when true, authenticate ONLY via the Bearer token
111 /// (`LEAN_CTX_PROXY_TOKEN`) and disable the provider-API-key fallback. Default
112 /// false keeps the loopback-friendly behavior where any local AI tool's own
113 /// provider key authenticates (the proxy never injects upstream credentials —
114 /// it forwards the caller's key verbatim). Enable on shared/multi-user hosts to
115 /// require the token; clients must then send `Authorization: Bearer [REDACTED:Authorization header]
116 #[serde(default)]
117 pub proxy_require_token: bool,
118 /// Skip ALL proxy authentication on loopback-bound listeners (#755).
119 /// When true **and** the proxy binds a loopback address, every request is
120 /// accepted without a Bearer token or provider API key — MCP clients,
121 /// browser dashboards, and CLI tools all work without auth setup.
122 /// Ignored on non-loopback binds (gateway mode always requires auth).
123 /// Env override: `LEAN_CTX_PROXY_LOOPBACK_OPEN`.
124 #[serde(default)]
125 pub proxy_loopback_open: bool,
126 /// Bind address for the proxy listener (gateway mode, enterprise#8).
127 /// Default `None` = `127.0.0.1` — local-safe, nothing changes for existing
128 /// installs. Set `"0.0.0.0"` (or a specific interface IP) to serve a whole
129 /// org from one host; any non-loopback bind hard-disables the provider-key
130 /// auth fallback (Bearer token becomes mandatory) and enables the
131 /// `proxy_allowed_hosts` Host-header allowlist. Env override:
132 /// `LEAN_CTX_PROXY_BIND_HOST`. An unparseable value falls back to loopback,
133 /// never to an open bind.
134 #[serde(default)]
135 pub proxy_bind_host: Option<String>,
136 /// Host-header allowlist for a non-loopback proxy bind (gateway mode):
137 /// DNS-rebinding protection. Entries are hostnames or IPs without port
138 /// (e.g. `"gateway.example.com"`). Loopback names are always allowed.
139 /// Ignored (loopback-only guard, today's behavior) while the bind is
140 /// loopback. Empty + non-loopback bind = only loopback Host headers pass,
141 /// so configure this when exposing the gateway.
142 #[serde(default)]
143 pub proxy_allowed_hosts: Vec<String>,
144 /// Proxy-wide request rate limit in requests/second (token bucket, burst =
145 /// 2x). `None` (default) = unlimited on a loopback bind — today's behavior —
146 /// and 50 rps with burst 100 on a non-loopback bind (gateway mode ships a
147 /// sane floor, enterprise#37). `0` disables the limiter even in gateway
148 /// mode (explicit opt-out).
149 #[serde(default)]
150 pub proxy_max_rps: Option<u32>,
151 /// Require Bearer-token authentication for the dashboard. Default `true`:
152 /// the dashboard generates (or uses the pinned) token and rejects `/api/*`
153 /// and `/metrics` without it. Set to `false` to run the dashboard with **no
154 /// auth token** — useful for a local/Docker setup where managing a token is
155 /// inconvenient. No-auth mode is not unprotected: cross-origin and CSRF
156 /// attacks from a malicious local website are blocked by request-header
157 /// validation instead (`Sec-Fetch-Site`, `Origin`/`Host` same-origin, and a
158 /// `Host` allowlist against DNS rebinding — see `dashboard::no_auth_request_ok`).
159 /// Override per-run via the `--no-auth` / `--auth=<bool>` flag or the
160 /// `LEAN_CTX_DASHBOARD_AUTH` env var.
161 #[serde(default = "serde_defaults::default_true")]
162 pub dashboard_auth: bool,
163 /// Provider prompt-cache hit rate for net-of-injection calculation (#1104).
164 /// Share of turns whose prefix is served from the provider cache; an
165 /// estimate, default 0.75. Prices: `context_overhead::prefix_cost_factor`.
166 #[serde(default)]
167 pub dashboard_cache_hit_rate: Option<f64>,
168 #[serde(default = "serde_defaults::default_buddy_enabled")]
169 pub buddy_enabled: bool,
170 #[serde(default = "serde_defaults::default_true")]
171 pub enable_wakeup_ctx: bool,
172 /// File globs delivered verbatim: native reads skip the hook redirect and
173 /// automatic `ctx_read` modes return them in full (#60).
174 #[serde(default)]
175 pub redirect_exclude: Vec<String>,
176 /// Tools to exclude from the MCP tool list returned by list_tools.
177 /// Accepts exact tool names (e.g. `["ctx_graph", "ctx_agent"]`).
178 /// Empty by default — all tools listed, no behaviour change.
179 #[serde(default)]
180 pub disabled_tools: Vec<String>,
181 /// Prefer the host agent's native editor over lean-ctx edit operations (#454).
182 /// When true, the lean-ctx edit tool(s) (see [`EDIT_TOOL_NAMES`]) are neither
183 /// advertised in `list_tools` nor dispatchable (direct or via `ctx_call`), so
184 /// the agent falls back to the host's built-in editing UI. Reads / search /
185 /// shell / memory tools are unaffected. Override via
186 /// `LEAN_CTX_PREFER_NATIVE_EDITOR=1`.
187 #[serde(default)]
188 pub prefer_native_editor: bool,
189 /// Tool categories to activate by default for dynamic-tool-capable clients.
190 /// Values: "core" (always on), "arch", "debug", "memory", "metrics", "session".
191 /// Example: `default_tool_categories = ["core", "arch", "memory"]`
192 /// Override via LCTX_DEFAULT_CATEGORIES env var (comma-separated).
193 /// Empty = lean-ctx default (`core`). Add `session` explicitly to evaluate
194 /// experimental local collaboration tools.
195 #[serde(default)]
196 pub default_tool_categories: Vec<String>,
197 /// Disable all automatic read-mode degradation (auto_degrade + context_gate pressure).
198 /// When true, lean-ctx never downgrades requested read modes regardless of pressure.
199 /// Override via LCTX_NO_DEGRADE=1 env var.
200 #[serde(default)]
201 pub no_degrade: bool,
202 /// Legacy opt-in delta preference. Concrete per-call full/lines requests
203 /// take precedence and stay fresh; this cannot replace their content with
204 /// a delta. Use mode=auto or mode=diff for reduced re-reads.
205 /// Retained for configuration compatibility. LCTX_DELTA_EXPLICIT=1/0 overrides.
206 #[serde(default)]
207 pub delta_explicit: bool,
208 /// Persistent profile name. Checked after LEAN_CTX_PROFILE env var.
209 /// Set via `lean-ctx config set profile passthrough` or editing config.toml.
210 #[serde(default)]
211 pub profile: Option<String>,
212 /// Active task-specific Context Kit. `LEAN_CTX_KIT` takes precedence.
213 /// Set with `lean-ctx kit load <name>`.
214 #[serde(default)]
215 pub active_kit: Option<String>,
216 /// Named configuration overlay selected from `[profiles.<name>]`.
217 /// `LEAN_CTX_CONFIG_PROFILE` takes precedence over this persisted selector.
218 #[serde(default)]
219 pub config_profile: Option<String>,
220 /// Partial configuration overlays keyed by profile name. Each overlay is
221 /// recursively merged over the base configuration at load time.
222 #[serde(default, skip_serializing_if = "std::collections::BTreeMap::is_empty")]
223 pub profiles: std::collections::BTreeMap<String, toml::Table>,
224 /// Tool visibility profile: "minimal" (5), "standard" (15), or "power" (all).
225 /// Override via LEAN_CTX_TOOL_PROFILE env var.
226 /// Existing installs default to "power" (backward compat).
227 #[serde(default)]
228 pub tool_profile: Option<String>,
229 /// Explicit list of enabled tool names. Used only when no tool_profile is pinned (tool_profile takes precedence); leave tool_profile unset to apply this list.
230 /// The universal invoker `ctx_call` stays advertised so unlisted tools remain
231 /// reachable — add `ctx_call` to `disabled_tools` to make this allowlist authoritative.
232 /// Example: `tools_enabled = ["ctx_read", "ctx_shell", "ctx_search"]`
233 #[serde(default)]
234 pub tools_enabled: Vec<String>,
235 /// Active context persona (`persona-spec-v1`). Selects the domain bundle —
236 /// tool surface, read-mode/compressor/chunker defaults, intent taxonomy,
237 /// sensitivity floor. Override via `LEAN_CTX_PERSONA`. Defaults to `coding`.
238 #[serde(default)]
239 pub persona: Option<String>,
240 #[serde(default)]
241 pub loop_detection: LoopDetectionConfig,
242 /// Controls where lean-ctx installs agent rule files.
243 /// Values: "both" (default), "global" (home-dir only), "project" (repo-local only).
244 /// Override via LEAN_CTX_RULES_SCOPE env var.
245 #[serde(default)]
246 pub rules_scope: Option<String>,
247 /// Controls how rules are injected for shared-instruction-file agents.
248 /// Values: "shared" (default, marker block in CLAUDE.md/CODEBUDDY.md/AGENTS.md/GEMINI.md),
249 /// "dedicated" (never touch those files; use each agent's config-driven
250 /// auto-load: SessionStart hook / instructions[] / context.fileName, #343), or
251 /// "off" (write no rules file at all — for hosts that supply their own
252 /// tool-steering workflow or phase-isolated/non-caching harnesses, #361).
253 /// Override via LEAN_CTX_RULES_INJECTION env var.
254 #[serde(default)]
255 pub rules_injection: Option<String>,
256 /// Mirror the host IDE's tool-permission rules onto lean-ctx's own MCP tools.
257 /// Values: "on" (default, GH #1428) or "off". When "on", lean-ctx reads the active
258 /// IDE's permission config (v1: OpenCode) and applies the equivalent
259 /// deny/ask/allow decision to the matching lean-ctx tool — so `ctx_shell`
260 /// honors your `bash`/`rm *` rules instead of bypassing them.
261 /// Override via LEAN_CTX_PERMISSION_INHERITANCE env var.
262 #[serde(default)]
263 pub permission_inheritance: Option<String>,
264 /// Extra glob patterns to ignore in graph/overview/preload (repo-local).
265 /// Example: `["externals/**", "target/**", "temp/**"]`
266 #[serde(default)]
267 pub extra_ignore_patterns: Vec<String>,
268 /// Controls agent output verbosity via instructions injection.
269 /// Values: "off" (default), "lite", "full", "ultra".
270 /// Override via LEAN_CTX_TERSE_AGENT env var.
271 #[serde(default)]
272 pub terse_agent: TerseAgent,
273 /// Unified compression level (replaces separate terse_agent + output_density).
274 /// Values: "off" (default), "lite", "standard", "max".
275 /// Override via LEAN_CTX_COMPRESSION env var.
276 #[serde(default)]
277 pub compression_level: CompressionLevel,
278 /// Global compression intensity 0.0 (lossless) – 1.0 (max), mapped onto the
279 /// read modes / entropy / IB stages (see `core::aggressiveness`). `None`
280 /// (default) keeps each mode's built-in default. Override via the
281 /// `LEAN_CTX_AGGRESSIVENESS` env var or the `ctx_read` `aggressiveness` arg.
282 #[serde(default)]
283 pub compression_aggressiveness: Option<f64>,
284 /// Archive configuration for zero-loss compression.
285 #[serde(default)]
286 pub archive: ArchiveConfig,
287 /// Memory policy (knowledge/lifecycle budgets & thresholds; the episodic
288 /// and procedural sections are retired and have no effect).
289 #[serde(default)]
290 pub memory: MemoryPolicy,
291 /// Additional paths allowed by PathJail (absolute).
292 /// Useful for multi-project workspaces where the jail root is a parent directory.
293 /// Override via LEAN_CTX_ALLOW_PATH env var (path-list separator).
294 #[serde(default)]
295 pub allow_paths: Vec<String>,
296 /// Allow jailed tool access to home-level IDE config dirs (~/.cursor, VS Code,
297 /// Cline/Roo, JetBrains, …). Tri-state: `None` = not asked yet (setup prompts
298 /// once), `Some(false)` = declined, `Some(true)` = opted in. Those dirs can
299 /// expose other agents' sessions, MCP configs and credentials, so the effective
300 /// default is off. `~/.lean-ctx` (own data dir) is always allowed. The opt-in
301 /// set is registry-derived, covering every supported editor. Override via
302 /// LEAN_CTX_ALLOW_IDE_DIRS=1.
303 #[serde(default)]
304 pub allow_ide_config_dirs: Option<bool>,
305 /// Extra project roots for multi-root workspaces.
306 /// Tools like ctx_tree and ctx_search can scan across all roots in a single call.
307 /// These paths are automatically added to PathJail's allow-list.
308 /// Override via LEAN_CTX_EXTRA_ROOTS env var (path-list separator).
309 #[serde(default)]
310 pub extra_roots: Vec<String>,
311 /// Read-only roots: sibling subtrees the agent may READ but never WRITE.
312 /// Reads resolve as if they were extra_roots; every write tool (edit, refactor,
313 /// handoff/session export, memory compaction) is default-denied inside these
314 /// paths. Useful for reference repos mounted next to the project.
315 /// Override via LEAN_CTX_READ_ONLY_ROOTS env var (path-list separator).
316 #[serde(default)]
317 pub read_only_roots: Vec<String>,
318 /// Extra trusted roots OUTSIDE `$HOME` that lean-ctx may follow when an agent
319 /// config file/dir (`~/.claude.json`, `~/.codex/config.toml`, …) is a symlink
320 /// pointing there (#596). Empty by default → the strict `$HOME`-only boundary
321 /// stays in force (a planted symlink can never redirect a config write out of
322 /// the user's home, preserving the GL#442 symlink-hijack protection). Add a
323 /// parent like `/opt/dotfiles` only for a location you own and trust. Like
324 /// `extra_roots`, security-sensitive: stripped from untrusted project-local
325 /// configs. Override via LEAN_CTX_ALLOW_SYMLINK_ROOTS env var (path-list sep).
326 #[serde(default)]
327 pub allow_symlink_roots: Vec<String>,
328 /// Enable content-defined chunking (Rabin-Karp) for cache-optimal output ordering.
329 /// Stable chunks are emitted first to maximize prompt cache hits.
330 #[serde(default)]
331 pub content_defined_chunking: bool,
332 /// Skip session/knowledge/gotcha blocks in MCP instructions to minimize token overhead.
333 /// Override via LEAN_CTX_MINIMAL env var.
334 ///
335 /// Default `true` (deliberate): initialize-time instructions stay byte-stable
336 /// across sessions, which keeps the provider prompt-cache prefix warm (#498)
337 /// and holds the fixed per-session cost at the `doctor overhead --gate`
338 /// budget. Session continuity is NOT lost — the wakeup briefing (task,
339 /// findings, knowledge) is delivered through the first tool call's
340 /// `--- AUTO CONTEXT ---` block instead, which only bills when the agent
341 /// actually works. Set to `false` to additionally inject the ACTIVE SESSION
342 /// / PROJECT MEMORY blocks directly into the MCP `initialize` instructions.
343 /// #1540: this key never disables the archive/ephemeral firewall — only
344 /// the `LEAN_CTX_MINIMAL` env escape hatch skips that safety net.
345 /// `default_true`, not `default`: a field-level `#[serde(default)]` made
346 /// every config.toml without this key read `false` (bool's default), so
347 /// the documented default `true` only held for users with no config file
348 /// (focus analysis 2026-10-15).
349 #[serde(default = "default_true")]
350 pub minimal_overhead: bool,
351 /// Opt-in: substitute long identifiers with short α-codes (+ a `§MAP` table)
352 /// in `aggressive` reads for projects with >50 source files. Off by default —
353 /// the abbreviated form is confusing for editing/refactoring, where the agent
354 /// needs the real package and symbol names. Enable for max exploration savings.
355 #[serde(default)]
356 pub symbol_map_auto: bool,
357 /// Opt-in: bias `auto` toward structure-first reads (`map`) for medium code
358 /// files on a cold read. Off by default — interactive sessions keep the
359 /// conservative `full` floor that avoids a follow-up body read. Enable for
360 /// phase-isolated harnesses (no warm-session cache payback), where a cold
361 /// `full` read is pure overhead and structure-first reads aid localization.
362 /// Override via the LEAN_CTX_STRUCTURE_FIRST env var.
363 #[serde(default)]
364 pub structure_first: bool,
365 /// Progressive disclosure for first-time reads (LCLM arXiv 2606.09659).
366 /// When true (default), large files default to compact overviews on first read:
367 /// - Below progressive_threshold_lines: full content
368 /// - Below progressive_signatures_max_lines: signatures mode
369 /// - Above: map (manifest) mode
370 /// Models can always bypass with explicit mode= or lines= parameters.
371 /// Override via LEAN_CTX_PROGRESSIVE_DISCLOSURE env var.
372 #[serde(default = "serde_defaults::default_true")]
373 pub progressive_disclosure: bool,
374 /// Files with fewer lines than this threshold are always delivered in full.
375 /// Default: 100 lines.
376 #[serde(default = "serde_defaults::default_progressive_threshold_lines")]
377 pub progressive_threshold_lines: u32,
378 /// Files between threshold and this limit get signatures mode.
379 /// Files above get map (manifest) mode. Default: 500 lines.
380 #[serde(default = "serde_defaults::default_progressive_signatures_max")]
381 pub progressive_signatures_max: u32,
382 /// Retired, no effect (kept so existing configs load; `DEPRECATIONS.toml`).
383 /// The learned `auto` signals it switched on are gone: `auto` is always the
384 /// deterministic capability-guard and size/task cascade (#498). The
385 /// `LEAN_CTX_AUTO_MODE_LEARNING` env var is ignored as well.
386 #[serde(default)]
387 pub auto_mode_learning: bool,
388 /// Team content sharing (strategy 2026-10-14, acceptance T07). When false,
389 /// nothing whose body is content leaves for the hosted Team service: no bus
390 /// post, work-graph write, knowledge entry or artifact publication. Presence,
391 /// leases and reads (metadata) keep working. On by default.
392 #[serde(default = "serde_defaults::default_true")]
393 pub team_share_content: bool,
394 /// Enable human-readable activity journal (~/.lean-ctx/journal.md).
395 #[serde(default)]
396 pub journal_enabled: bool,
397 /// Opt-in: auto-persist interesting findings as knowledge facts.
398 #[serde(default)]
399 pub auto_capture: bool,
400 /// Hybrid search weights (BM25/dense/candidates).
401 #[serde(default)]
402 pub search: crate::core::hybrid_search::HybridConfig,
403 /// Index-time file filters (#735): include/exclude globs + gitignore
404 /// handling, applied by every index builder via `core::index_filter`.
405 #[serde(default)]
406 pub index: IndexConfig,
407 /// Skillify miner settings (#290): codify recurring patterns into rules.
408 #[serde(default)]
409 pub skillify: SkillifyConfig,
410 /// AI session-summary settings (#292): periodic, semantically-recallable summaries.
411 #[serde(default)]
412 pub summaries: SummariesConfig,
413 /// Retired, no effect (kept so existing configs load; `DEPRECATIONS.toml`
414 /// `config-llm`): LeanCTX calls no model itself.
415 #[serde(default)]
416 pub llm: LlmConfig,
417 /// Semantic-embedding engine settings (which local ONNX model to use).
418 #[serde(default)]
419 pub embedding: EmbeddingConfig,
420 /// Disable shell hook injection (the _lc() function that wraps CLI commands).
421 /// Override via LEAN_CTX_NO_HOOK env var.
422 #[serde(default)]
423 pub shell_hook_disabled: bool,
424 /// Shadow mode (default: true): lean-ctx steers agents to ctx_* MCP tools,
425 /// and an explicit `hook_mode = "replace"` may deny native Grep/Glob.
426 /// `shadow_mode = false` caps every agent at Hybrid, so native tools are
427 /// never denied.
428 /// Native Shell/Bash coverage is governed separately by `shell_hook_mode`.
429 #[serde(default = "serde_defaults::default_true")]
430 pub shadow_mode: bool,
431 /// Shell hook mode (#1278): how the PreToolUse shell hook treats native
432 /// Bash/Shell calls.
433 /// - `rewrite` (default): rewrite known read/search/list commands to
434 /// lean-ctx equivalents; anything unrecognized passes through raw.
435 /// - `deny`: block native shell calls outright so every command goes
436 /// through `ctx_shell` (same fail-opens as the deny hook: lean-ctx
437 /// disabled, MCP daemon dead, explicit shadow-only tool surface).
438 /// - `auto`: currently equals `rewrite`; reserved for a future default flip.
439 ///
440 /// Env override: `LEAN_CTX_SHELL_HOOK_MODE`. Lives in config.toml, so the
441 /// choice survives reinstalls and updates.
442 #[serde(default)]
443 pub shell_hook_mode: Option<String>,
444 /// Per-turn tool-routing reinjection (#1288): the UserPromptSubmit hook
445 /// emits a one-line `additionalContext` reminder of the ctx_* routing, so it
446 /// post-dates any session-level harness instruction preferring native Bash.
447 /// `on` | `off` | `auto` (default: auto = off, since the host's rules channel
448 /// already carries the routing once, A3). Env override:
449 /// `LEAN_CTX_PROMPT_REINJECT`. Costs ~45 tokens per turn when active.
450 #[serde(default)]
451 pub prompt_reinject: Option<String>,
452 /// Global hook mode override. When set, overrides the per-agent auto-detection.
453 /// - `replace`: native Grep/Glob (and non-rewritable shell where the host
454 /// supports it) denied, lean-ctx MCP is the only path — opt-in only
455 /// - `hybrid`: MCP + shell hooks; native tools keep working
456 /// - `mcp`: MCP server only, no hooks
457 /// - `auto`/unset: Hybrid for hook-capable agents, else MCP
458 /// (`recommend_hook_mode`)
459 #[serde(default)]
460 pub hook_mode: Option<String>,
461 /// MCP tool surface mode. Controls how many tools `tools/list` advertises.
462 /// - `auto` (default): shadow-only (`ctx_call` only) for hook-covered
463 /// clients, full lazy-core surface for all others.
464 /// - `mcp`: always advertise the full lazy-core/profile surface.
465 /// - `shadow`: always advertise only `ctx_call` (requires installed hooks).
466 #[serde(default)]
467 pub tool_surface: Option<String>,
468 /// Opt-in (#520): write a human-readable debug log of intercepted MCP tool
469 /// calls and hook routing decisions (lean-ctx vs native, with reasons) to
470 /// `<state_dir>/logs/debug.log`. Override via the LEAN_CTX_DEBUG_LOG env var.
471 #[serde(default)]
472 pub debug_log: bool,
473 /// Controls when the shell hook auto-activates aliases.
474 /// - `agents-only`: (Default since #699) Aliases only active when an AI
475 /// agent env var is detected — transparent in plain human terminals.
476 /// - `always`: Aliases active in every interactive shell (pre-#699 default).
477 /// - `off`: Aliases never auto-activate (user must call `lean-ctx-on` manually).
478 ///
479 /// Override via `LEAN_CTX_SHELL_ACTIVATION` env var.
480 #[serde(default)]
481 pub shell_activation: ShellActivation,
482 /// Do not install agent CLI aliases (`claude`, `codex`, `gemini`,
483 /// `codebuddy`) into `~/.zshrc` / `~/.bashrc` during `onboard` / `setup`.
484 /// Existing alias blocks are removed when this is toggled on (#754).
485 /// Does NOT affect the shell compression hook (`_lc()`) — use
486 /// `shell_hook_disabled` for that. Orthogonal to `shell_activation` which
487 /// controls *when* aliases activate, not *whether* they are installed.
488 #[serde(default)]
489 pub skip_agent_aliases: bool,
490 /// Controls the native-Read → `ctx_read` redirect hook (#637).
491 /// - `auto`: (Default) redirect everywhere except hosts with a native
492 /// read-before-write guard (Claude Code / CodeBuddy), where the path-swap
493 /// would break native Write/Edit.
494 /// - `on`: always redirect (legacy behavior).
495 /// - `off`: never redirect native Read.
496 ///
497 /// Override via the `LEAN_CTX_READ_REDIRECT` env var.
498 #[serde(default)]
499 pub read_redirect: ReadRedirect,
500 /// Controls the PostToolUse native-Read re-read dedup (GL #1140).
501 /// - `auto`: (Default) replace only re-reads of unchanged files, and only on
502 /// guard hosts (Claude Code / CodeBuddy) where the PreToolUse redirect is
503 /// disabled — the guard-safe way to win the dedup savings back.
504 /// - `on`: dedup wherever the PostToolUse hook fires.
505 /// - `off`: never replace a Read result.
506 ///
507 /// Override via the `LEAN_CTX_READ_DEDUP` env var.
508 #[serde(default)]
509 pub read_dedup: ReadDedup,
510 /// Ask the user to approve a command the shell allowlist does not name,
511 /// when the MCP client supports elicitation (`ask`, default) or refuse
512 /// it without asking (`off`). Global only. Override via the
513 /// `LEAN_CTX_SHELL_APPROVAL` env var.
514 #[serde(default)]
515 pub shell_approval: ShellApproval,
516 /// Languages `ctx_execute` runs without asking (`python`, `javascript`,
517 /// …): what "Always allow" in its approval prompt writes. Global only.
518 #[serde(default)]
519 pub execute_allowed_languages: Vec<String>,
520 /// Disable the daily version check against
521 /// api.github.com/repos/yvgude/lean-ctx/releases/latest.
522 /// Override via LEAN_CTX_NO_UPDATE_CHECK env var.
523 #[serde(default)]
524 pub update_check_disabled: bool,
525 #[serde(default)]
526 pub updates: UpdatesConfig,
527 /// Fixed-context budget accounting for `doctor overhead` / `gain` (#964).
528 #[serde(default)]
529 pub context: ContextConfig,
530 /// Maximum BM25 cache file size in MB. Indexes exceeding this are quarantined on load
531 /// and refused on save. Override via LEAN_CTX_BM25_MAX_CACHE_MB env var.
532 #[serde(default = "serde_defaults::default_bm25_max_cache_mb")]
533 pub bm25_max_cache_mb: u64,
534 /// Maximum number of files scanned by the lightweight JSON graph index.
535 /// 0 = unlimited (default). Set >0 to cap for constrained systems.
536 #[serde(default = "serde_defaults::default_graph_index_max_files")]
537 pub graph_index_max_files: u64,
538 /// Maximum number of files indexed into the BM25 corpus; the semantic index
539 /// chunks the same corpus (#737), so this bounds semantic coverage too.
540 /// 0 = unlimited. Default 5000 (MAX_BM25_FILES).
541 #[serde(default = "serde_defaults::default_bm25_max_files")]
542 pub bm25_max_files: u64,
543 /// Controls RAM vs feature trade-off. Values: "low", "balanced" (default), "performance".
544 /// Override via LEAN_CTX_MEMORY_PROFILE env var.
545 #[serde(default)]
546 pub memory_profile: MemoryProfile,
547 /// Controls how aggressively memory is freed when idle.
548 /// Values: "shared" (default, 1h TTL), "aggressive" (5 min TTL for low-memory devices).
549 /// Override via LEAN_CTX_MEMORY_CLEANUP env var.
550 #[serde(default)]
551 pub memory_cleanup: MemoryCleanup,
552 /// How the code graph uses local semantic backends (language servers, a
553 /// live JetBrains IDE). Values: "off", "auto" (default: only backends that
554 /// are already running), "eager" (may start language servers).
555 /// Override via LEAN_CTX_SEMANTIC_MODE env var.
556 #[serde(default)]
557 pub semantic_mode: SemanticMode,
558 /// Soft process-RSS target as a percentage of system RAM (default: 5).
559 /// The guardian throttles and evicts above it, but this is not an OS hard cap.
560 /// Use a cgroup/container MemoryMax when strict isolation is required.
561 /// Override via LEAN_CTX_MAX_RAM_PERCENT env var.
562 #[serde(default = "serde_defaults::default_max_ram_percent")]
563 pub max_ram_percent: u8,
564 /// Per-process RSS target (MB) of each stdio MCP server; the guardian uses
565 /// the lower of this and `max_ram_percent` (default 512, 0 = percent only).
566 /// Hosts like the Codex app-server keep one server per loaded thread alive
567 /// for days, so a percentage of a large machine's RAM alone is too loose.
568 /// Override via LEAN_CTX_MCP_MAX_RSS_MB env var.
569 #[serde(default = "serde_defaults::default_mcp_max_rss_mb")]
570 pub mcp_max_rss_mb: u64,
571 /// Process RSS target (MB) of the background daemon; the guardian uses the
572 /// lower of this and `max_ram_percent` (default 2048, 0 = percent only).
573 /// One daemon serves every session and project root on the machine for
574 /// days, so a percentage of a large machine's RAM alone is too loose (#2075).
575 /// Override via LEAN_CTX_DAEMON_MAX_RSS_MB env var.
576 #[serde(default = "serde_defaults::default_daemon_max_rss_mb")]
577 pub daemon_max_rss_mb: u64,
578 /// Exit a stdio MCP server after this many minutes without a tool call
579 /// (0 = never, the default). Off by default because some hosts (Codex)
580 /// do not restart an exited server: the resumed thread then loses
581 /// lean-ctx until the host restarts. Idle servers release their caches
582 /// either way (`memory_cleanup`). Override via LEAN_CTX_MCP_IDLE_EXIT_MINUTES.
583 #[serde(default)]
584 pub mcp_idle_exit_minutes: u64,
585 /// Simplified disk budget (MB). When set and detail values are at defaults,
586 /// distributes proportionally: archive=25%, bm25=10%, remainder for stores.
587 /// 0 = disabled (use individual settings). Override via LEAN_CTX_MAX_DISK_MB.
588 #[serde(default)]
589 pub max_disk_mb: u64,
590 /// Auto-purge data older than this many days. 0 = disabled.
591 /// Flows into archive.max_age_hours and lifecycle idle TTL.
592 #[serde(default)]
593 pub max_staleness_days: u32,
594 /// Retention window for explicit session cleanup. This is independent from
595 /// archive retention and always preserves the newest session per project.
596 /// Override via LEAN_CTX_SESSION_RETENTION_DAYS.
597 #[serde(default = "serde_defaults::default_session_retention_days")]
598 pub session_retention_days: u32,
599 /// Cap on the rayon worker threads used by the CPU-heavy index build
600 /// (call graph etc.). 0 = rayon default (all cores). Set >0 to bound
601 /// per-instance CPU so a fleet of concurrent sessions can't saturate the
602 /// host on startup. Override via LEANCTX_INDEX_THREADS env var.
603 #[serde(default)]
604 pub max_index_threads: usize,
605 /// Controls visibility of token savings footers in tool output.
606 /// Values: "never" (default), "always" (show on every response), "auto" (legacy compatibility).
607 /// Override via LEAN_CTX_SAVINGS_FOOTER or LEAN_CTX_SHOW_SAVINGS=1|0 env var.
608 #[serde(default)]
609 pub savings_footer: SavingsFooter,
610 /// Controls compression annotation style in savings footers.
611 /// Values: "quantized" (default, round to 10% buckets), "full" (exact %), "none" (suppress all).
612 /// Override via LEAN_CTX_COMPRESSION_ANNOTATION env var.
613 #[serde(default)]
614 pub compression_annotation: CompressionAnnotation,
615 /// Minimum savings percentage to emit a footer annotation. Below this threshold,
616 /// annotations are suppressed (the savings are too small to be worth the token cost).
617 /// Default: 5 (suppress annotations for savings below 5%).
618 #[serde(default = "serde_defaults::default_annotation_threshold_pct")]
619 pub annotation_threshold_pct: u8,
620 /// In-band behavior hints (heavy full/raw reads, search→read→search
621 /// chains): "auto" (default, one hint per pattern per session) or "off".
622 /// Detections are always counted for `tools health`, hints or not.
623 /// "off" also drops the OUTPUT-HINT line from a task-filtered
624 /// `ctx_overview`: that line shapes the assistant's answer rather than
625 /// reporting a retrieval result, so it belongs to the same switch (#1763).
626 #[serde(default = "serde_defaults::default_behavior_nudges")]
627 pub behavior_nudges: String,
628 /// Maximum fresh tokens per single tool response (turn budget).
629 /// 0 = unlimited. Default: 4096. Prevents context bloat from oversized responses.
630 /// Override via LEAN_CTX_TURN_FRESH_LIMIT env var.
631 #[serde(default = "serde_defaults::default_turn_fresh_limit")]
632 pub turn_fresh_limit: usize,
633 /// Turn budget for a response the caller explicitly asked to be verbatim
634 /// (`ctx_read` with `raw=true` or `mode="raw"`). 0 = unlimited.
635 /// Default: 32768. Override via LEAN_CTX_TURN_FRESH_LIMIT_VERBATIM.
636 ///
637 /// The ordinary `turn_fresh_limit` is a compression backstop for output the
638 /// agent did not size itself. A verbatim read is the documented recovery
639 /// path out of compression (#1582); capping it at the same 4096 tokens made
640 /// that path unreachable for any file above ~16 KB.
641 #[serde(default = "serde_defaults::default_turn_fresh_limit_verbatim")]
642 pub turn_fresh_limit_verbatim: usize,
643 /// Explicit project root override. When set, lean-ctx uses this instead of auto-detection.
644 /// This prevents accidental home-directory scans when running from $HOME.
645 /// Override via LEAN_CTX_PROJECT_ROOT env var.
646 #[serde(default)]
647 pub project_root: Option<String>,
648 /// LSP server overrides. Map language name to custom binary path.
649 /// Example: `[lsp]\nrust = "/opt/rust-analyzer"\npython = "~/.venvs/main/bin/pylsp"`
650 #[serde(default)]
651 pub lsp: std::collections::HashMap<String, String>,
652 /// Per-IDE allowed paths. Restricts which directories lean-ctx will scan/index for each IDE.
653 /// Example: `[ide_paths]\ncursor = ["/home/user/projects/app1"]\ncodex = ["/home/user/codex"]`
654 /// When set, only these paths are indexed for the matching agent. Global `allow_paths` still applies.
655 #[serde(default)]
656 pub ide_paths: HashMap<String, Vec<String>>,
657 /// Custom model context window overrides.
658 /// Example: `[model_context_windows]\n"my-custom-model" = 500000`
659 #[serde(default)]
660 pub model_context_windows: HashMap<String, usize>,
661 /// Controls how much detail tool responses include.
662 ///
663 /// - `full` (default): complete compressed output
664 /// - `headers_only`: metadata line only (path, mode, token count)
665 ///
666 /// Override via `LEAN_CTX_RESPONSE_VERBOSITY` env var.
667 #[serde(default)]
668 pub response_verbosity: ResponseVerbosity,
669 /// Bypass hint mode. When agents use native Read/Grep instead of lean-ctx tools,
670 /// a hint is appended to the next tool response.
671 /// Values: "on" (default), "off", "aggressive" (hint on every call, no cooldown).
672 /// Override via LEAN_CTX_BYPASS_HINTS env var.
673 #[serde(default)]
674 pub bypass_hints: Option<String>,
675 /// Cache policy for ctx_read. Controls behavior on cache hits.
676 /// Values: "aggressive" (default, 13-tok stubs + compaction-aware reset),
677 /// "safe" (delivers map instead of stub), "off" (no caching, always disk read).
678 /// Override via LEAN_CTX_CACHE_POLICY env var.
679 #[serde(default)]
680 pub cache_policy: Option<String>,
681 /// Token budget for the in-memory `ctx_read` cache. When the cached total
682 /// plus an incoming read would exceed this, lean-ctx evicts the least-valuable
683 /// entries *immediately* (RRF: recency × frequency × size) so the read always
684 /// proceeds — eviction is never deferred to the staleness TTL. `0` uses the
685 /// built-in default (2M). `LEAN_CTX_CACHE_MAX_TOKENS` env var overrides this.
686 #[serde(default)]
687 pub cache_max_tokens: usize,
688 /// Cross-project boundary policy.
689 /// Controls whether cross-project search/import is allowed and whether access is audited.
690 #[serde(default)]
691 pub boundary_policy: crate::core::memory_boundary::BoundaryPolicy,
692 #[serde(default)]
693 pub secret_detection: SecretDetectionConfig,
694 /// Per-item sensitivity model with a uniform policy floor (#212).
695 /// Disabled by default → fully no-op until `sensitivity.enabled = true`.
696 #[serde(default)]
697 pub sensitivity: crate::core::sensitivity::SensitivityConfig,
698 /// Context Gateway admission (`[context_gateway]`): built-in detectors
699 /// that run on every governed source before caching or compression.
700 /// On by default. Global-only: a project-local file cannot weaken it.
701 #[serde(default)]
702 pub context_gateway: crate::core::context_admission::ContextGatewayConfig,
703 /// Set by the loader when the global `config.toml` exists but could not be
704 /// read or parsed, so this snapshot holds built-in defaults instead of the
705 /// operator's settings. It travels with exactly this `Config` value: an
706 /// earlier failed snapshot stays marked after a later successful load.
707 /// Never read from or written to a file.
708 #[serde(skip)]
709 pub load_failure: Option<super::ConfigLoadFailure>,
710 /// Accept A2A handoff bundles and context packages whose signature
711 /// verifies but whose signer key is not anchored in `trusted-signers.toml`
712 /// (GHSA-gvg8-285q-m62g). Off by default: anyone can mint a key, so an
713 /// untrusted signature proves nothing about the sender. Global-only
714 /// (never merged from project-local config).
715 #[serde(default)]
716 pub a2a_accept_untrusted_signers: bool,
717 /// Let MCP tools (`ctx_handoff import`, `ctx_pack import`) import handoff
718 /// bundles and context packages that are unsigned or signed by a key not
719 /// anchored in `trusted-signers.toml` (GHSA-gvg8-285q-m62g). A tool
720 /// argument cannot grant this — the model could set it under prompt
721 /// injection. Off by default; global-only. CLI imports keep their own
722 /// human opt-in (`--allow-unsigned`).
723 #[serde(default)]
724 pub mcp_import_allow_unverified: bool,
725 /// MCP Tool-Catalog Gateway (#210): aggregate + query-route downstream MCP
726 /// servers. Global-only (never merged from project-local config) and a full
727 /// no-op until `gateway.enabled = true`.
728 #[serde(default)]
729 pub gateway: crate::core::mcp_catalog::GatewayConfig,
730 /// Self-hosted org gateway server (`[gateway_server]`, enterprise#20):
731 /// deployment parameters for the usage cockpit — seat count for the
732 /// org-wide projection, display label, and the central admin API the local
733 /// cockpit may read from. All optional; absent = local-only behavior.
734 #[serde(default)]
735 pub gateway_server: GatewayServerConfig,
736 /// Enterprise Suite connection (`[enterprise]`): connects this Runtime to
737 /// a LeanCTX Enterprise Gateway for economics tracking and model routing.
738 #[serde(default)]
739 pub enterprise: EnterpriseConfig,
740 /// Verbatim binary path/expression for generated agent-hook commands
741 /// (#708). Users who sync agent settings (`~/.claude/settings.json`, …)
742 /// across machines with different usernames need an env-based form like
743 /// `$HOME/.local/bin/lean-ctx` — agent hosts run hook commands through a
744 /// shell, which expands it. When set (env `LEAN_CTX_HOOK_BINARY` wins,
745 /// then this key), every hook writer emits the value verbatim instead of
746 /// the machine-absolute exe path, so `init`/`doctor --fix`/`update` stop
747 /// rewriting synced files into sync ping-pong. Autostart plists/services
748 /// and daemon spawns are NOT affected — launchd/systemd do not expand
749 /// shell variables, so those keep the real absolute path. Empty (default)
750 /// = automatic absolute-path resolution (#367).
751 #[serde(default)]
752 pub hook_binary: Option<String>,
753 /// Disable PathJail entirely by setting `path_jail = false` in config.toml.
754 /// Useful in container/Docker environments where the sandbox is the boundary.
755 /// (The former `LEAN_CTX_NO_JAIL=1` env override was removed in v3.7.3.)
756 #[serde(default)]
757 pub path_jail: Option<bool>,
758 /// What the enforced jail admits besides the project + allow-lists:
759 /// `projects` (default — every project below `$HOME` readable, writes only
760 /// in the session's project), `home` (all of `$HOME` read and write, except
761 /// dot entries, `~/Library`, `~/AppData`) or `project`. See `core::pathjail_scope`.
762 #[serde(default)]
763 pub path_jail_scope: Option<String>,
764 /// Sandbox level for code execution (ctx_exec).
765 /// 0 = subprocess only (current), 1 = OS-level restriction (Seatbelt/Landlock).
766 /// Override via LEAN_CTX_SANDBOX_LEVEL env var.
767 #[serde(default)]
768 pub sandbox_level: u8,
769 /// When true, large tool outputs (>4000 chars) are stored as references
770 /// and a short URI is returned instead of the full content.
771 /// Override via LEAN_CTX_REFERENCE_RESULTS env var.
772 #[serde(default)]
773 pub reference_results: bool,
774 /// Default per-agent token budget. 0 means unlimited.
775 /// Override per-agent via ctx_session or programmatically.
776 #[serde(default)]
777 pub agent_token_budget: usize,
778 /// Optional shell command allowlist. When non-empty, only commands whose base binary
779 /// is in this list are permitted by ctx_shell. Empty = disable allowlist (allow all).
780 /// Default includes common dev tools. Set to `[]` to disable.
781 /// Override via LEAN_CTX_SHELL_ALLOWLIST env var (comma-separated).
782 #[serde(default = "default_shell_allowlist")]
783 pub shell_allowlist: Vec<String>,
784
785 /// Extra commands MERGED on top of the effective `shell_allowlist` without replacing
786 /// the defaults. Setting `shell_allowlist` replaces the whole built-in list (a common
787 /// footgun); entries here are purely additive, which is what `lean-ctx allow <cmd>`
788 /// writes. Only applied in restricted mode (when the base allowlist is non-empty).
789 #[serde(default)]
790 pub shell_allowlist_extra: Vec<String>,
791
792 /// When true, block command substitution ($(), backticks) and process substitution
793 /// (<(), >()) in shell arguments. When false (default), only warn via tracing.
794 /// Default false preserves backward compatibility — set true for maximum security.
795 #[serde(default)]
796 pub shell_strict_mode: bool,
797
798 /// GH #1419 follow-up: scope a multi-word `shell_allowlist`/
799 /// `shell_allowlist_extra` entry to the exact subcommand/prefix it names
800 /// (`"git status"` no longer grants the whole `git` binary). Default
801 /// `true` (the secure grammar); set `false` to fall back to the old
802 /// base-binary-only matching as a compat/rollback path. Trust-gated: an
803 /// untrusted workspace cannot weaken this via a local override. Override
804 /// via `LEAN_CTX_SHELL_ALLOWLIST_SUBCOMMAND_SCOPING`.
805 #[serde(default = "serde_defaults::default_true")]
806 pub shell_allowlist_subcommand_scoping: bool,
807
808 /// Shell-security mode for ctx_shell / `lean-ctx -c` command gating (GL #788):
809 /// `enforce` (default, secure), `warn` (run checks, log violations, never
810 /// block) or `off` (skip the allowlist + dangerous-pattern blocks entirely —
811 /// a deliberate opt-out; compression stays active). Override via
812 /// LEAN_CTX_SHELL_SECURITY. `None` resolves to `enforce`.
813 #[serde(default)]
814 pub shell_security: Option<String>,
815
816 /// Default shell-command timeout in seconds for *normal* commands. `None`
817 /// resolves to the built-in 2-minute default; heavy builds/tests use
818 /// [`Config::shell_heavy_timeout_secs`]. Override via
819 /// `LEAN_CTX_SHELL_TIMEOUT_SECS` (`LEAN_CTX_SHELL_TIMEOUT_MS` still wins over
820 /// both, in milliseconds).
821 #[serde(default)]
822 pub shell_timeout_secs: Option<u64>,
823
824 /// Shell-command timeout in seconds for *heavy* commands (cargo build/test,
825 /// make, docker build, git commit/push, …). `None` resolves to the built-in
826 /// 10-minute ceiling. Override via `LEAN_CTX_SHELL_HEAVY_TIMEOUT_SECS`.
827 #[serde(default)]
828 pub shell_heavy_timeout_secs: Option<u64>,
829
830 /// Extra command prefixes that get the heavy timeout ceiling. Merged with
831 /// the built-in list. Useful for project-specific long-running scripts.
832 /// Example: `shell_heavy_prefixes = ["python3 ", "./scripts/"]`
833 #[serde(default)]
834 pub shell_heavy_prefixes: Vec<String>,
835 /// When true, `ctx_shell` accepts shell file-write redirects (`>`, `>>`,
836 /// `tee`, heredoc-to-file, `curl -o`, `wget` default mode). Default false —
837 /// the native Write/Edit tool is preferred. Opt-in for power users who want
838 /// classic shell syntax; the real command gating (allowlist,
839 /// dangerous-pattern and interpreter-eval blocks) still applies. Override
840 /// via `LEAN_CTX_SHELL_ALLOW_WRITES=1`.
841 #[serde(default)]
842 pub shell_allow_writes: bool,
843 /// Absolute paths where shell redirects and `tee` may capture output.
844 /// Empty uses the operating system's temporary directories. Project files
845 /// remain denied even when a configured path overlaps the project root.
846 #[serde(default)]
847 pub write_allow_paths: Vec<String>,
848
849 /// #814: opt-in to allow `python3 -c`, `node -e`, etc. in ctx_shell.
850 /// Default `false` — inline code is blocked because it leaves no auditable
851 /// artifact. Override via `LEAN_CTX_SHELL_ALLOW_INLINE_SCRIPTS=1`.
852 #[serde(default)]
853 pub shell_allow_inline_scripts: bool,
854
855 /// Setup behavior: controls what gets injected during setup and updates.
856 #[serde(default)]
857 pub setup: SetupConfig,
858 #[serde(default)]
859 pub solution: super::solution::SolutionConfig,
860 /// Claude Code governor rule modes (`[governor]`; env overrides win).
861 #[serde(default)]
862 pub governor: super::governor::GovernorConfig,
863 #[serde(default)]
864 pub provenance: super::provenance::ProvenanceConfig,
865 pub cross_agent: super::provenance::CrossAgentConfig,
866}
867
868/// `[llm]`: no effect. Its only consumers, query expansion and observation
869/// synthesis, are retired (DEPRECATIONS.toml `config-llm`); the section stays
870/// accepted so existing configs keep loading.
871#[derive(Debug, Clone, Serialize, Deserialize)]
872#[serde(default)]
873pub struct LlmConfig {
874 pub enabled: bool,
875 pub backend: LlmBackend,
876 pub model: String,
877 pub timeout_secs: u64,
878 pub base_url: Option<String>,
879}
880
881impl Default for LlmConfig {
882 fn default() -> Self {
883 Self {
884 enabled: false,
885 backend: LlmBackend::Ollama,
886 model: "qwen2.5-coder:1.5b".to_string(),
887 timeout_secs: 10,
888 base_url: None,
889 }
890 }
891}
892
893/// The `[llm] backend` values an existing config may still name.
894#[derive(Debug, Clone, Default, Serialize, Deserialize)]
895#[serde(rename_all = "lowercase")]
896pub enum LlmBackend {
897 #[default]
898 Ollama,
899 OpenRouter,
900 Anthropic,
901}