Skip to main content

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}