agent_core/core/

config.rs

use std::collections::BTreeMap;
use std::path::PathBuf;
use std::sync::OnceLock;

static PROFILE_NAME: OnceLock<Option<String>> = OnceLock::new();
static PROVIDER_KEYS: OnceLock<BTreeMap<String, String>> = OnceLock::new();
static IDENTITY: OnceLock<String> = OnceLock::new();

pub const DEFAULT_IDENTITY: &str =
    "You are an AI assistant running in SynapsCLI, an open-source agent runtime.";

thread_local! {
    /// [`with_identity_for_tests`]'s pin; `None` everywhere else.
    static IDENTITY_OVERRIDE: std::cell::RefCell<Option<String>> = const { std::cell::RefCell::new(None) };
}

/// Returns the configured identity string for the system prompt preamble.
/// Falls back to `DEFAULT_IDENTITY` (the SynapsCLI identity above) if not set
/// in config. Initialized by `load_config()` — safe to call anytime after boot.
pub fn get_identity() -> String {
    if let Some(pinned) = IDENTITY_OVERRIDE.with(|o| o.borrow().clone()) {
        return pinned;
    }
    IDENTITY
        .get()
        .cloned()
        .unwrap_or_else(|| DEFAULT_IDENTITY.to_string())
}

/// Run `f` with [`get_identity`] pinned to `identity` on this thread.
///
/// `IDENTITY` is a process-wide `OnceLock` latched by whichever test first
/// calls `load_config()`, against whatever config is ambient then (on a
/// developer machine, the real `~/.synaps-cli/config`). A test that asserts
/// on the identity pins it here instead, so the result does not depend on
/// test order or on HOME. Thread-scoped, so concurrent tests don't see each
/// other's pin; code `f` hands to another thread does not see it either.
/// Restored on unwind.
#[doc(hidden)]
pub fn with_identity_for_tests<R>(identity: &str, f: impl FnOnce() -> R) -> R {
    struct Restore(Option<String>);
    impl Drop for Restore {
        fn drop(&mut self) {
            let prev = self.0.take();
            IDENTITY_OVERRIDE.with(|o| *o.borrow_mut() = prev);
        }
    }
    let prev = IDENTITY_OVERRIDE.with(|o| o.borrow_mut().replace(identity.to_string()));
    let _restore = Restore(prev);
    f()
}

/// Provider API keys parsed from `provider.<name> = ...` lines in config.
/// Empty if `load_config()` hasn't been called. The registry falls back to
/// env vars, so e.g. `GROQ_API_KEY` works even with an empty map.
pub fn get_provider_keys() -> BTreeMap<String, String> {
    PROVIDER_KEYS.get().cloned().unwrap_or_default()
}

/// Returns the active profile name, if any.
/// Reads from `SYNAPS_PROFILE` environment variable if not already set programmatically.
pub fn get_profile() -> Option<String> {
    PROFILE_NAME
        .get_or_init(|| std::env::var("SYNAPS_PROFILE").ok())
        .clone()
}

/// Sets the active profile name. Must be called before any `get_profile()` call
/// (i.e., before config resolution begins). Uses OnceLock — first write wins,
/// subsequent calls are no-ops. No env var mutation (unsafe under tokio).
pub fn set_profile(name: Option<String>) {
    let _ = PROFILE_NAME.set(name);
}

pub fn base_dir() -> PathBuf {
    if let Ok(path) = std::env::var("SYNAPS_BASE_DIR") {
        return PathBuf::from(path);
    }
    let home = std::env::var("HOME")
        .or_else(|_| std::env::var("USERPROFILE"))
        .unwrap_or_else(|_| ".".to_string());
    PathBuf::from(home).join(".synaps-cli")
}

/// Overrides the Synaps base directory. Intended for tests and embedded harnesses.
#[doc(hidden)]
pub fn set_base_dir_for_tests(path: PathBuf) {
    std::env::set_var("SYNAPS_BASE_DIR", path);
}

/// Resolves a path for reading. Checks the profile folder first, then falls back to the default folder.
pub fn resolve_read_path(filename: &str) -> PathBuf {
    let base = base_dir();

    if let Some(profile) = get_profile() {
        let profile_path = base.join(&profile).join(filename);
        if profile_path.exists() {
            return profile_path;
        }
    }

    base.join(filename)
}

/// Resolves a path for reading with an extended arbitrary path tree.
pub fn resolve_read_path_extended(path: &str) -> PathBuf {
    let base = base_dir();

    if let Some(profile) = get_profile() {
        let profile_path = base.join(&profile).join(path);
        if profile_path.exists() {
            return profile_path;
        }
    }

    base.join(path)
}

/// Resolves a path for writing. Unconditionally writes to the profile folder if a profile is active.
pub fn resolve_write_path(filename: &str) -> PathBuf {
    let mut base = base_dir();

    if let Some(profile) = get_profile() {
        base.push(profile);
    }

    let _ = std::fs::create_dir_all(&base);
    base.join(filename)
}

/// Gets the absolute directory for the current profile (or root if default).
pub fn get_active_config_dir() -> PathBuf {
    let mut base = base_dir();
    if let Some(profile) = get_profile() {
        base.push(profile);
    }
    base
}

/// Automatic context management is opt-in; independent of compaction disclosure.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum ContextManagementMode {
    #[default]
    Off,
    Auto,
}

impl ContextManagementMode {
    pub fn parse(value: &str) -> Option<Self> {
        match value.trim().to_ascii_lowercase().as_str() {
            "off" => Some(Self::Off),
            "auto" => Some(Self::Auto),
            _ => None,
        }
    }

    pub fn as_str(self) -> &'static str {
        match self {
            Self::Off => "off",
            Self::Auto => "auto",
        }
    }
}

/// Task-aware soft context bands, parsed from `context_management.*` keys.
///
/// Missing thresholds use window-aware defaults (200k: 140k/180k;
/// 1m: 250k/400k). A single override adjusts the other default as necessary
/// to keep pressure below rollover. These settings never override the host's
/// hard capacity or authorize tools, disclosure, or a session transition.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct ContextManagementConfig {
    pub mode: ContextManagementMode,
    /// Optional absolute token threshold; `auto` in config clears the override.
    pub pressure_tokens: Option<u64>,
    /// Optional absolute token threshold; `auto` in config clears the override.
    pub rollover_tokens: Option<u64>,
    /// Minimum remaining headroom before any model round. Default: 16,000.
    pub reserve_tokens: u64,
    /// Maximum extra Plan/WrapUp rounds after rollover becomes due. Default: 2.
    /// Zero disables extensions; phase reports cannot renew this allowance.
    pub finish_rounds: u32,
    /// Footprint a rollover successor aims for (system prompt + tool schemas +
    /// retained messages). `None`/`auto` = min(100,000, 2/3 of pressure).
    /// An explicit value must be positive and below the pressure threshold.
    pub target_tokens: Option<u64>,
}

impl Default for ContextManagementConfig {
    fn default() -> Self {
        Self {
            mode: ContextManagementMode::Off,
            pressure_tokens: None,
            rollover_tokens: None,
            reserve_tokens: 16_000,
            finish_rounds: 2,
            target_tokens: None,
        }
    }
}

impl ContextManagementConfig {
    pub const MAX_FINISH_ROUNDS: u32 = 8;
    pub const MAX_RESERVE_TOKENS: u64 = 1_000_000;

    /// Validate independently of a model selection. Also call
    /// `validate_for_window` when the effective context window is known.
    pub fn validate(&self) -> Result<(), &'static str> {
        if self.pressure_tokens == Some(0) {
            return Err("pressure_tokens must be positive");
        }
        if self.rollover_tokens.is_some_and(|v| v < 2) {
            return Err("rollover_tokens must be at least 2");
        }
        if let (Some(pressure), Some(rollover)) = (self.pressure_tokens, self.rollover_tokens) {
            if pressure >= rollover {
                return Err("pressure_tokens must be below rollover_tokens");
            }
        }
        if self.target_tokens == Some(0) {
            return Err("target_tokens must be positive");
        }
        if let (Some(target), Some(pressure)) = (self.target_tokens, self.pressure_tokens) {
            if target >= pressure {
                return Err("target_tokens must be below pressure_tokens");
            }
        }
        if !(1..=Self::MAX_RESERVE_TOKENS).contains(&self.reserve_tokens) {
            return Err("reserve_tokens must be between 1 and 1000000");
        }
        if self.finish_rounds > Self::MAX_FINISH_ROUNDS {
            return Err("finish_rounds must be between 0 and 8");
        }
        Ok(())
    }

    /// Threshold overrides must fit the effective window. The hard budget
    /// remains authoritative even when an override fits this validation.
    pub fn validate_for_window(&self, context_window_tokens: u64) -> Result<(), &'static str> {
        self.validate()?;
        if context_window_tokens < 2 {
            return Err("context window must contain at least two tokens");
        }
        if self
            .pressure_tokens
            .is_some_and(|v| v >= context_window_tokens)
        {
            return Err("pressure_tokens must be below the context window");
        }
        if self
            .rollover_tokens
            .is_some_and(|v| v > context_window_tokens)
        {
            return Err("rollover_tokens must not exceed the context window");
        }
        if let Some(target) = self.target_tokens {
            let (pressure, _) =
                crate::core::context_policy::ContextThresholds::bands(self, context_window_tokens);
            if target >= pressure {
                return Err("target_tokens must be below pressure_tokens");
            }
        }
        Ok(())
    }
}

/// Parse fields first; validate the complete policy after all lines so threshold
/// ordering and an explicit context window do not depend on config key order.
fn parse_context_management_config_key(
    config: &mut ContextManagementConfig,
    key: &str,
    value: &str,
) -> Result<(), &'static str> {
    match key {
        "context_management.mode" => {
            config.mode = ContextManagementMode::parse(value).ok_or("expected off or auto")?;
        }
        "context_management.pressure_tokens"
        | "context_management.rollover_tokens"
        | "context_management.target_tokens" => {
            let tokens = if value.eq_ignore_ascii_case("auto") {
                None
            } else {
                Some(
                    value
                        .parse::<u64>()
                        .map_err(|_| "expected auto or an unsigned token count")?,
                )
            };
            match key {
                "context_management.pressure_tokens" => config.pressure_tokens = tokens,
                "context_management.rollover_tokens" => config.rollover_tokens = tokens,
                _ => config.target_tokens = tokens,
            }
        }
        "context_management.reserve_tokens" => {
            config.reserve_tokens = value
                .parse()
                .map_err(|_| "expected an unsigned token count")?;
        }
        "context_management.finish_rounds" => {
            config.finish_rounds = value
                .parse()
                .map_err(|_| "expected an unsigned round count")?;
        }
        _ => return Err("unknown context management key"),
    }
    Ok(())
}

/// Startup / first-turn behaviour (`startup.*` keys). Boot-time only — these
/// take effect at the next launch, never mid-session.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct StartupConfig {
    /// Create the session without waiting for extensions. When true the
    /// attach path sets `await_extensions=false`: the session (and the TUI)
    /// comes up at once, and `on_session_start` runs in the background. The
    /// first turn starts at once too, but its model request waits until the
    /// hook has run: for extension discovery (up to
    /// `extensions_ready_timeout_secs`, default 30 s), then for the hook
    /// (each handler up to 5 s). Clients are told while it waits. Default: true.
    pub quick_start: bool,
    /// Max seconds to wait for extension discovery before a session's
    /// `on_session_start`: at create when Quick Start is off, before the
    /// first turn's request when it is on. Default: 30. It does not bound
    /// the `on_session_start` call itself, which then waits its turn at the
    /// host's one-at-a-time gate.
    pub extensions_ready_timeout_secs: u64,
}

impl Default for StartupConfig {
    fn default() -> Self {
        Self {
            quick_start: true,
            extensions_ready_timeout_secs: 30,
        }
    }
}

/// Daemon lifetime knobs (`daemon.*` keys). Config-file fallbacks; the matching
/// `SYNAPS_DAEMON_*` env vars still WIN over these when set.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct DaemonConfig {
    /// Seconds an auto-spawned daemon stays alive after the last client
    /// disconnects. `0` = never idle-exit. Env `SYNAPS_DAEMON_IDLE_EXIT_SECS`
    /// overrides. Default: 10.
    pub idle_exit_secs: u64,
    /// Seconds a pending host confirmation on a detached session survives
    /// before it is fail-closed answered `None`. `0` = disabled (survives
    /// forever). Env `SYNAPS_DAEMON_PROMPT_ABANDON_SECS` overrides. Default: 3600.
    pub prompt_abandon_secs: u64,
    /// Seconds a PARKED session row lingers before eviction. `0` = keep
    /// forever. Env `SYNAPS_DAEMON_PARKED_EVICT_SECS` overrides. Default: 3600.
    pub parked_evict_secs: u64,
}

impl Default for DaemonConfig {
    fn default() -> Self {
        Self {
            idle_exit_secs: 10,
            prompt_abandon_secs: 3600,
            parked_evict_secs: 3600,
        }
    }
}

/// Subagent fan-out limits (`subagent.*` keys). They apply to the whole
/// delegation tree of one session: workers started by workers count against
/// the same limits as workers started by the foreground. A prompt manifest
/// with an explicit delegation policy sets its own concurrency and total
/// limits; `max_depth` applies either way.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct SubagentLimits {
    /// Workers running at the same time. Default: 16.
    pub max_concurrent: usize,
    /// Workers dispatched and not yet collected with `reconciled=true`
    /// (running, finished, or collected without reconciling). Default: 64.
    pub max_total: usize,
    /// How deep workers may nest: 1 = only the foreground delegates,
    /// 2 = its workers may delegate once more, and so on. Default: 4.
    pub max_depth: u16,
}

impl Default for SubagentLimits {
    fn default() -> Self {
        Self {
            max_concurrent: 16,
            max_total: 64,
            max_depth: 4,
        }
    }
}

/// Parse `subagent.*` keys. Unknown keys and invalid values return an error
/// (caller warns and keeps the default).
fn parse_subagent_config_key(
    config: &mut SubagentLimits,
    key: &str,
    value: &str,
) -> Result<(), &'static str> {
    let positive = || match value.trim().parse::<usize>() {
        Ok(n) if n > 0 => Ok(n),
        _ => Err("expected a whole number of at least 1"),
    };
    match key {
        "subagent.max_concurrent" => config.max_concurrent = positive()?,
        "subagent.max_total" => config.max_total = positive()?,
        "subagent.max_depth" => {
            config.max_depth =
                u16::try_from(positive()?).map_err(|_| "expected a whole number from 1 to 65535")?
        }
        _ => return Err("unknown subagent key"),
    }
    Ok(())
}

/// Parse `startup.*` keys. Unknown keys return an error (caller warns).
fn parse_startup_config_key(
    config: &mut StartupConfig,
    key: &str,
    value: &str,
) -> Result<(), &'static str> {
    match key {
        "startup.quick_start" => {
            config.quick_start = match value.trim() {
                "true" | "1" | "on" | "yes" => true,
                "false" | "0" | "off" | "no" => false,
                _ => return Err("expected on or off"),
            };
        }
        "startup.extensions_ready_timeout_secs" => {
            config.extensions_ready_timeout_secs =
                value.trim().parse().map_err(|_| "expected an unsigned second count")?;
        }
        _ => return Err("unknown startup key"),
    }
    Ok(())
}

/// Parse `daemon.*` keys. Unknown keys return an error (caller warns).
fn parse_daemon_config_key(
    config: &mut DaemonConfig,
    key: &str,
    value: &str,
) -> Result<(), &'static str> {
    let secs = || value.trim().parse::<u64>().map_err(|_| "expected an unsigned second count");
    match key {
        "daemon.idle_exit_secs" => config.idle_exit_secs = secs()?,
        "daemon.prompt_abandon_secs" => config.prompt_abandon_secs = secs()?,
        "daemon.parked_evict_secs" => config.parked_evict_secs = secs()?,
        _ => return Err("unknown daemon key"),
    }
    Ok(())
}

/// Configuration parsed from `server.*` keys. The family outlived the
/// removed `synaps server`: only `auto_approve_confirms` is read.
#[derive(Debug, Clone, Default)]
pub struct ServerConfig {
    /// When true, `HookResult::Confirm` is auto-approved without prompting (useful for headless clients).
    pub auto_approve_confirms: bool,
}

/// Keys only `synaps server` read. Ignored with one warning so an old
/// config still loads.
const REMOVED_SERVER_KEYS: [&str; 3] =
    ["server.allowed_origins", "server.token", "server.max_message_size"];
fn removed_server_warning() -> String {
    format!(
        "server.allowed_origins, server.token and server.max_message_size are ignored: they \
         configured `synaps server`, removed in {}. Remove these lines",
        crate::REMOVED_IN
    )
}

/// Auth configuration parsed from `auth.*` keys. Controls whether this client
/// resolves provider tokens from the local `auth.json` (default) or from a
/// remote credential broker. See task #157 / `auth::credential_source`.
#[derive(Debug, Clone, Default)]
pub struct AuthConfig {
    /// Broker base URL. When set (here, or via `SYNAPS_AUTH_ENDPOINT`), the
    /// client fetches short-lived access tokens from the broker instead of
    /// reading/refreshing the local `auth.json`.
    pub remote_endpoint: Option<String>,
    /// Per-machine bearer presented to the broker (or `SYNAPS_MACHINE_TOKEN`).
    /// This is the machine's own identity, never the provider credential.
    pub machine_token: Option<String>,
    /// Selected OAuth account per provider from `auth.account.<provider> =
    /// <label|default|auto>`. Keys are the raw provider ids as written;
    /// validation (and fail-closed handling of bad labels) happens in
    /// [`AccountPolicy::from_config_map`](crate::core::auth::AccountPolicy::from_config_map).
    pub accounts: BTreeMap<String, String>,
    /// Raw automatic chooser settings, relative to auth.auto.
    pub auto: BTreeMap<String, String>,
}

impl AuthConfig {
    /// Account policy from config only (no env overlay). Invalid entries fail
    /// closed for their provider; see `AccountPolicy::from_config_map`.
    pub fn account_policy(&self) -> crate::core::auth::AccountPolicy {
        crate::core::auth::AccountPolicy::from_config_map(&self.accounts).0
    }

    /// Effective selector for one provider (env > config > default).
    pub fn account_selector(
        &self,
        provider: crate::core::auth::OAuthProviderId,
    ) -> crate::core::auth::AccountSelector {
        self.account_policy().with_env_overlay().selector(provider)
    }

    /// Resolve the credential source. Environment variables take precedence over
    /// config-file values: `SYNAPS_AUTH_ENDPOINT` / `SYNAPS_MACHINE_TOKEN`.
    /// Returns `Remote` iff an endpoint is set (env or config), else `Local`.
    ///
    /// The machine token here is only ever the EXPLICIT one (env or config).
    /// When none is configured it stays empty, and that emptiness is the
    /// provenance record: the broker client ([`crate::core::auth::MachineToken`])
    /// then uses — and may re-read after a 401 — the local broker's
    /// auto-generated `<base_dir>/auth-broker.token`, but only for a loopback
    /// endpoint (#147 C1, prA N1). An explicit token is never replaced by,
    /// or sent alongside, the file token.
    pub fn credential_source(&self) -> crate::core::auth::CredentialSource {
        let endpoint = std::env::var("SYNAPS_AUTH_ENDPOINT")
            .ok()
            .filter(|s| !s.trim().is_empty())
            .or_else(|| self.remote_endpoint.clone());
        let machine_token = std::env::var("SYNAPS_MACHINE_TOKEN")
            .ok()
            .filter(|s| !s.trim().is_empty())
            .or_else(|| self.machine_token.clone().filter(|s| !s.trim().is_empty()));
        crate::core::auth::CredentialSource::from_parts(endpoint, machine_token)
    }
}

/// Upper bound for the `<N>h` form of `cache_keepwarm`. The ski-rental bound
/// already caps an abandoned session's spend at about one prefix rewrite; the
/// hour cap is an extra, user-chosen wall on top of it.
pub const MAX_CACHE_KEEPWARM_HOURS: u32 = 48;

/// Default for `cache_keepwarm_auto_max_hours`: the longest an `auto` idle
/// period may run. Without it the ski-rental bound alone lets a 0.05×
/// cache-read model (Opus 5.5, Sonnet 5.5) ping ~39 times over ~36h and a
/// 0.025× model (Fable 5.1 / 5.2, Mythos 5.1 / 5.2) ~79 times over ~72h under a 1h TTL,
/// keeping an abandoned session unparked for days. 24h: a user who steps
/// away for a working day or overnight still comes back to a warm cache; a
/// session left over a weekend parks. (Owner decision, task #444.)
pub const DEFAULT_CACHE_KEEPWARM_AUTO_MAX_HOURS: u32 = 24;

/// Default for `subagent_cold_resume_compact_tokens`. Below ~100k tokens a
/// cold full replay costs well under $1 on the priciest model and keeps every
/// detail; above it (measured resumes reached 250k–715k tokens, up to ~$3.50
/// each) the compact context is the cheaper trade.
pub const DEFAULT_SUBAGENT_COLD_RESUME_COMPACT_TOKENS: u64 = 100_000;

/// Default for `subagent_rollover_tokens`: the footprint at which a worker's
/// context rolls over (to a successor of about 100k on a 1m window). Workers
/// are long 5-minute-TTL loops with no human pauses, so every round re-reads
/// the whole context; a 100k -> 200k cycle repays the ~100k successor write
/// (about 17 rounds on Opus 5.5) well before the next rollover.
pub const DEFAULT_SUBAGENT_ROLLOVER_TOKENS: u64 = 200_000;

/// Smallest accepted `subagent_rollover_tokens`. Below it the derived
/// successor target is smaller than a typical brief plus last round, so
/// rollovers could not shrink the context and would only churn the cache.
pub const MIN_SUBAGENT_ROLLOVER_TOKENS: u64 = 20_000;

/// Prompt-cache keep-warm policy (`cache_keepwarm`, task #444). See
/// docs/specs/cache-ttl-spec.md §7.
///
/// - `Off` (default): never ping.
/// - `Auto`: ping while the measured ping spend of the current idle period
///   stays below the cost of the cache rewrite it prevents (ski-rental rule:
///   at most 2× the optimal spend, at most ~one rewrite on an abandoned
///   session), and for at most `cache_keepwarm_auto_max_hours` (default
///   [`DEFAULT_CACHE_KEEPWARM_AUTO_MAX_HOURS`]) after the session went idle.
/// - `Hours(n)`: the same bound, and additionally stop `n` hours after the
///   session went idle — whichever comes first.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum CacheKeepWarm {
    #[default]
    Off,
    Auto,
    Hours(u32),
}

impl CacheKeepWarm {
    /// Parse `off` | `auto` | `<N>h` (case-insensitive; `0h` = off).
    /// `None` for anything else, including hours above
    /// [`MAX_CACHE_KEEPWARM_HOURS`].
    pub fn parse(val: &str) -> Option<CacheKeepWarm> {
        let v = val.trim().to_ascii_lowercase();
        match v.as_str() {
            "off" | "false" | "no" | "0" => return Some(CacheKeepWarm::Off),
            "auto" | "on" => return Some(CacheKeepWarm::Auto),
            _ => {}
        }
        let digits = v.strip_suffix('h')?;
        match digits.parse::<u32>().ok()? {
            0 => Some(CacheKeepWarm::Off),
            h if h <= MAX_CACHE_KEEPWARM_HOURS => Some(CacheKeepWarm::Hours(h)),
            _ => None,
        }
    }

    pub fn is_off(self) -> bool {
        self == CacheKeepWarm::Off
    }
}

impl std::fmt::Display for CacheKeepWarm {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            CacheKeepWarm::Off => f.write_str("off"),
            CacheKeepWarm::Auto => f.write_str("auto"),
            CacheKeepWarm::Hours(h) => write!(f, "{h}h"),
        }
    }
}

/// Who may drive a daemon session with several clients attached
/// (`client_input`; spec `multi-client-sessions.md` §6). Every client is
/// the daemon's own user.
///
/// - `Shared` (default): every drive client (not `--observe`) may send
///   input; the one that did last is the *active* client.
/// - `Exclusive`: only the input owner may; the others are read-only until
///   they `/takeover` (the behaviour before `client_input`).
///
/// On the wire a missing value means `Exclusive`: an older daemon enforces
/// the owner.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default, serde::Serialize, serde::Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum ClientInput {
    #[default]
    Shared,
    Exclusive,
}

impl ClientInput {
    /// `shared` | `exclusive` (case-insensitive).
    pub fn parse(val: &str) -> Option<ClientInput> {
        match val.trim().to_ascii_lowercase().as_str() {
            "shared" => Some(ClientInput::Shared),
            "exclusive" => Some(ClientInput::Exclusive),
            _ => None,
        }
    }

    /// The wire's default: what a snapshot from an older daemon means.
    pub fn wire_default() -> ClientInput {
        ClientInput::Exclusive
    }
}

/// What an Anthropic thinking block carries back (`thinking_display`), sent
/// as the request's `thinking.display` on the foreground session's requests.
///
/// - `Summarized` (default): the model's thinking summary streams into the
///   block. The API holds the answer back until that summary is written,
///   then flushes the text it generated meanwhile in one burst.
/// - `Omitted`: the block's `thinking` text is empty; its `signature` still
///   carries the full reasoning, so history round-trips it unchanged. The
///   answer starts streaming sooner and evenly (measured on Opus 5.5:
///   first text 1.8–2.1 s vs 2.9–4.8 s at `high`, 7.9–9.0 s vs 11–12 s at
///   `xhigh`), and the TUI shows only a timed `thought` header.
///
/// Workers and internal requests (compaction) always send `Summarized`.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum ThinkingDisplay {
    #[default]
    Summarized,
    Omitted,
}

impl ThinkingDisplay {
    /// `summarized` | `omitted` (case-insensitive).
    pub fn parse(val: &str) -> Option<ThinkingDisplay> {
        match val.trim().to_ascii_lowercase().as_str() {
            "summarized" => Some(ThinkingDisplay::Summarized),
            "omitted" => Some(ThinkingDisplay::Omitted),
            _ => None,
        }
    }

    /// The wire value of `thinking.display`.
    pub fn as_str(self) -> &'static str {
        match self {
            ThinkingDisplay::Summarized => "summarized",
            ThinkingDisplay::Omitted => "omitted",
        }
    }
}

impl std::fmt::Display for ThinkingDisplay {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(self.as_str())
    }
}

impl std::fmt::Display for ClientInput {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            ClientInput::Shared => "shared",
            ClientInput::Exclusive => "exclusive",
        })
    }
}

/// Prompt-cache TTL strategy for Anthropic requests.
///
/// Controls the `cache_control` value emitted at every cache marker site:
/// - `FiveMinutes` (default): bare `{"type": "ephemeral"}` — byte-identical
///   to historical payloads; the default path can never invalidate existing
///   cached prefixes.
/// - `OneHour`: `{"type": "ephemeral", "ttl": "1h"}` on all markers.
/// - `Hybrid`: 1h on the stable prefix (tools + system, written rarely),
///   bare 5m on the message-tail marker (written every turn).
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum CacheTtl {
    #[default]
    FiveMinutes,
    OneHour,
    Hybrid,
}

impl CacheTtl {
    /// Parse a config value (case-insensitive). Returns `None` for unknown
    /// values so the caller can warn and fall back to the default.
    pub fn parse(val: &str) -> Option<CacheTtl> {
        match val.to_ascii_lowercase().as_str() {
            "5m" | "5min" | "default" => Some(CacheTtl::FiveMinutes),
            "1h" | "60m" | "1hr" => Some(CacheTtl::OneHour),
            "hybrid" => Some(CacheTtl::Hybrid),
            _ => None,
        }
    }

    /// Canonical config spelling (`5m` | `1h` | `hybrid`).
    pub fn as_str(self) -> &'static str {
        match self {
            CacheTtl::FiveMinutes => "5m",
            CacheTtl::OneHour => "1h",
            CacheTtl::Hybrid => "hybrid",
        }
    }
}

impl std::fmt::Display for CacheTtl {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(self.as_str())
    }
}

/// The `cache_ttl` config value: either a fixed [`CacheTtl`] or `auto`.
///
/// `Auto` (default) resolves per credential *kind* at request time:
/// - Anthropic OAuth / subscription credentials → [`CacheTtl::OneHour`]
///   (what Claude Code uses on subscriptions; a subscription pays no
///   per-token premium for 1h writes, and idle gaps over five minutes
///   otherwise lose the conversation cache every turn).
/// - Anthropic API key → [`CacheTtl::FiveMinutes`] (1h writes bill at 2×
///   input versus 1.25× for 5m, so API-key users keep the cheaper write).
/// - Other providers ignore `cache_ttl` entirely.
///
/// Resolution depends only on the credential kind, never on which account
/// or token is in use, so account failover between two subscription seats
/// can never flip the TTL (a TTL change rewrites the cache).
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum CacheTtlSetting {
    #[default]
    Auto,
    Fixed(CacheTtl),
}

impl CacheTtlSetting {
    /// `auto` or any [`CacheTtl::parse`] spelling (case-insensitive).
    /// `None` for unknown values.
    pub fn parse(val: &str) -> Option<CacheTtlSetting> {
        let v = val.trim();
        if v.eq_ignore_ascii_case("auto") {
            return Some(CacheTtlSetting::Auto);
        }
        CacheTtl::parse(v).map(CacheTtlSetting::Fixed)
    }

    /// Canonical config spelling (`auto` | `5m` | `1h` | `hybrid`).
    pub fn as_str(self) -> &'static str {
        match self {
            CacheTtlSetting::Auto => "auto",
            CacheTtlSetting::Fixed(ttl) => ttl.as_str(),
        }
    }

    /// The wire policy for a request carried on Anthropic credentials of
    /// the given kind (`oauth` = subscription / OAuth access token, else an
    /// API key). Explicit values always win.
    pub fn resolve(self, oauth: bool) -> CacheTtl {
        match self {
            CacheTtlSetting::Fixed(ttl) => ttl,
            CacheTtlSetting::Auto if oauth => CacheTtl::OneHour,
            CacheTtlSetting::Auto => CacheTtl::FiveMinutes,
        }
    }

    /// [`Self::resolve`] keyed by the runtime's `auth_type` string. Only the
    /// exact `"oauth"` kind counts as a subscription credential.
    pub fn resolve_for_auth_type(self, auth_type: &str) -> CacheTtl {
        self.resolve(auth_type == "oauth")
    }
}

impl From<CacheTtl> for CacheTtlSetting {
    fn from(ttl: CacheTtl) -> Self {
        CacheTtlSetting::Fixed(ttl)
    }
}

impl std::fmt::Display for CacheTtlSetting {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(self.as_str())
    }
}

/// gzip `Content-Encoding` for Anthropic request bodies
/// (`request_compression`). Every request re-uploads the whole
/// conversation, and the JSON compresses about 2x.
/// - `Auto` (default): bodies of 16 KiB or more sent straight to
///   api.anthropic.com; skipped behind an HTTPS proxy, with a custom CA
///   bundle or a custom base URL, where a middlebox or gateway may not
///   handle a compressed body.
/// - `On`: those too, for a proxy or gateway known to pass gzip request
///   bodies. A refused body is still resent uncompressed.
/// - `Off`: never.
///
/// `SYNAPS_GZIP_REQUEST_BODIES=0` turns it off whatever this says.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum RequestCompressionMode {
    #[default]
    Auto,
    On,
    Off,
}

impl RequestCompressionMode {
    /// `auto` | `on` | `off` (case-insensitive).
    pub fn parse(val: &str) -> Option<RequestCompressionMode> {
        match val.trim().to_ascii_lowercase().as_str() {
            "auto" => Some(RequestCompressionMode::Auto),
            "on" => Some(RequestCompressionMode::On),
            "off" => Some(RequestCompressionMode::Off),
            _ => None,
        }
    }
}

impl std::fmt::Display for RequestCompressionMode {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            RequestCompressionMode::Auto => "auto",
            RequestCompressionMode::On => "on",
            RequestCompressionMode::Off => "off",
        })
    }
}

/// Default gzip level for request bodies (`request_compression_level`):
/// fast enough to pay off up to roughly gigabit uplinks.
pub const DEFAULT_REQUEST_COMPRESSION_LEVEL: u32 = 1;
/// Highest gzip level. Levels 3-6 pay off on slow uplinks, where the extra
/// CPU time is tens of milliseconds and the upload saved is seconds; above
/// 6 the body barely shrinks further.
pub const MAX_REQUEST_COMPRESSION_LEVEL: u32 = 9;

/// Default for `tool_output_spill_bytes`: a tool result bigger than this is
/// stored whole in a spill file and model history gets a head + tail
/// preview pointing at it. 12 KiB is about 3k tokens. Below it the preview
/// (head + tail + pointer, ~7.3 KiB) saves too little to be worth a second
/// look when the model does need the middle; above it every result saves at
/// least ~4.5 KiB on every later request, and the 22-26 KB results that
/// were re-read hundreds of times shrink by ~70%.
pub const DEFAULT_TOOL_OUTPUT_SPILL_BYTES: usize = 12 * 1024;
/// Default for `tool_output_spill_head_bytes`: the start of a virtualised
/// result kept in history (the command echo, headers, the first errors).
pub const DEFAULT_TOOL_OUTPUT_SPILL_HEAD_BYTES: usize = 4 * 1024;
/// Default for `tool_output_spill_tail_bytes`: the end of a virtualised
/// result kept in history (exit status, summaries, the last errors).
pub const DEFAULT_TOOL_OUTPUT_SPILL_TAIL_BYTES: usize = 3 * 1024;

/// `tools.activation_confirm` — host policy for model-initiated
/// `activate_tools` (progressive tool disclosure).
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
pub enum ActivationConfirm {
    /// Authorize model-initiated activation without prompting (default).
    #[default]
    Auto,
    /// Ask the host: the y/n "Confirm tool activation" dialog; only an
    /// explicit y/yes authorizes (fail-closed).
    Prompt,
    /// Never authorize model-initiated activation; no prompt is raised.
    Deny,
}

impl ActivationConfirm {
    pub fn parse(val: &str) -> Option<Self> {
        match val.trim().to_ascii_lowercase().as_str() {
            "auto" => Some(Self::Auto),
            "prompt" => Some(Self::Prompt),
            "deny" => Some(Self::Deny),
            _ => None,
        }
    }

    pub fn as_str(self) -> &'static str {
        match self {
            Self::Auto => "auto",
            Self::Prompt => "prompt",
            Self::Deny => "deny",
        }
    }
}

/// Animated theme-transition mode, parsed from `theme_transition`:
/// - `"on"` (default): cross-fade theme changes over the default 350 ms.
/// - `"off"`: instant snap — accessibility, and mercy on tmux-over-ssh.
/// - integer milliseconds: cross-fade over that duration (clamped to
///   0–2000 ms; `0` behaves like `off`).
///
/// Purely a TUI presentation knob: it changes *how* a new palette is
/// applied, never *which* palette wins.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub enum ThemeTransitionMode {
    #[default]
    On,
    Off,
    Ms(u64),
}

impl ThemeTransitionMode {
    /// Default cross-fade duration for `On` (and the fallback when a live
    /// palette update carries no advisory duration of its own).
    pub const DEFAULT_MS: u64 = 350;
    /// Duration ceiling — both this knob and MXC wire `fade_ms` clamp here.
    pub const MAX_MS: u64 = 2000;

    /// Parse a config value (case-insensitive). Returns `None` for unknown
    /// values so the caller can warn and fall back to the default.
    pub fn parse(val: &str) -> Option<ThemeTransitionMode> {
        match val.to_ascii_lowercase().as_str() {
            "on" | "true" | "yes" => Some(ThemeTransitionMode::On),
            "off" | "false" | "no" => Some(ThemeTransitionMode::Off),
            other => other
                .parse::<u64>()
                .ok()
                .map(|ms| ThemeTransitionMode::Ms(ms.min(Self::MAX_MS))),
        }
    }

    /// Effective default duration in milliseconds; `0` means "snap".
    pub fn duration_ms(self) -> u64 {
        match self {
            ThemeTransitionMode::On => Self::DEFAULT_MS,
            ThemeTransitionMode::Off => 0,
            ThemeTransitionMode::Ms(ms) => ms.min(Self::MAX_MS),
        }
    }
}

/// Runtime event routing configuration parsed from `events.*` keys.
///
/// Controls how runtime events (from the `EventQueue`) are delivered in
/// server and RPC modes.
#[derive(Debug, Clone)]
pub struct EventsConfig {
    /// When `true` (default), the server/RPC/daemon session automatically
    /// triggers a model turn when runtime events arrive while idle.  Set
    /// `events.auto_turn = false` (or `0` / `no` / `off`) to opt out.
    /// Unrecognised values fail safe to `false` with a warning.
    /// The consecutive-turn cap (`auto_turn_cap`) still applies regardless.
    pub auto_turn: bool,
    /// Maximum number of consecutive auto-triggered model turns before the
    /// engine parks and waits for real user input.  Set via
    /// `events.auto_turn_cap = N`.  Default **5**.
    ///
    /// `0` (or `unlimited` / `inf` / `infinite`) disables the cap entirely —
    /// "to infinity and beyond".  Unparseable values warn and keep the default.
    pub auto_turn_cap: u32,
}

/// Default for `events.auto_turn_cap` — mirrors `engine::reactor::AUTO_TURN_CAP`.
pub const DEFAULT_AUTO_TURN_CAP: u32 = 5;

impl Default for EventsConfig {
    fn default() -> Self {
        Self {
            auto_turn: true,
            auto_turn_cap: DEFAULT_AUTO_TURN_CAP,
        }
    }
}

/// Parse a `events.auto_turn_cap` value.  Returns `None` on garbage.
///
/// Accepts a non-negative integer (`0` = unlimited) or one of the aliases
/// `unlimited` / `inf` / `infinite` / `infinity` / `none` (all → `0`).
pub fn parse_auto_turn_cap(val: &str) -> Option<u32> {
    let normalised = val.trim().to_lowercase();
    match normalised.as_str() {
        "unlimited" | "inf" | "infinite" | "infinity" | "none" => Some(0),
        n => n.parse::<u32>().ok(),
    }
}

/// Parse `events.*` configuration keys. `Err` carries the diagnostic the
/// caller prints (stderr, unchanged); the value side effects are the same
/// either way (an unrecognised `auto_turn` still fails safe to `false`).
fn parse_events_config_key(cfg: &mut EventsConfig, key: &str, val: &str) -> Result<(), String> {
    if key == "events.auto_turn" {
        let normalised = val.trim().to_lowercase();
        match normalised.as_str() {
            // Explicit true values.
            "true" | "1" | "yes" | "on" => cfg.auto_turn = true,
            // Explicit false values.
            "false" | "0" | "no" | "off" => cfg.auto_turn = false,
            // Unrecognised: fail safe to false and warn so the user knows.
            other => {
                cfg.auto_turn = false;
                return Err(format!(
                    "warning: config: unrecognised value for events.auto_turn = {:?}; \
                     expected true/false/yes/no/on/off/1/0 — defaulting to false",
                    other
                ));
            }
        }
    } else if key == "events.auto_turn_cap" {
        match parse_auto_turn_cap(val) {
            Some(cap) => cfg.auto_turn_cap = cap,
            None => {
                return Err(format!(
                    "warning: config: unrecognised value for events.auto_turn_cap = {:?}; \
                     expected a non-negative integer or unlimited/inf/infinite (0 = unlimited) \
                     — keeping default {}",
                    val.trim(),
                    DEFAULT_AUTO_TURN_CAP
                ));
            }
        }
    } // unknown events.* keys ignored
    Ok(())
}

/// A configured per-turn count limit: a number, or `unlimited`.
///
/// Used for `turn_budget.<role>.max_provider_rounds`, `max_tool_calls` and
/// `max_accumulated_tool_result_bytes`. `Max(0)` means "none allowed" (the
/// 0.10.2 meaning of `0`); the parser still accepts `0` for one release, with
/// a deprecation warning, and will reject it later.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum TurnLimit<T> {
    Max(T),
    Unlimited,
}

impl<T> TurnLimit<T> {
    /// The limit, or `None` for no limit.
    pub fn limit(self) -> Option<T> {
        match self {
            TurnLimit::Max(v) => Some(v),
            TurnLimit::Unlimited => None,
        }
    }

    /// Convert the limit value, keeping `Unlimited`.
    pub fn map<U>(self, f: impl FnOnce(T) -> U) -> TurnLimit<U> {
        match self {
            TurnLimit::Max(v) => TurnLimit::Max(f(v)),
            TurnLimit::Unlimited => TurnLimit::Unlimited,
        }
    }
}

/// Typed per-role turn-budget overrides (Task 23, spec §8.1). Every field
/// is optional: unset fields keep the role's compiled default. Values are
/// parsed from `turn_budget.<role>.<field>` config keys.
#[derive(Debug, Clone, Default, PartialEq)]
pub struct TurnBudgetOverrides {
    /// Provider rounds per turn: N or `unlimited`. Unset = the role default
    /// (foreground unlimited, event 24, worker 64 per allowance). `0` =
    /// none allowed (deprecated).
    pub max_provider_rounds: Option<TurnLimit<u32>>,
    /// Tool calls per turn: N or `unlimited`. Unset = the role default
    /// (event 96, otherwise unlimited). `0` = none allowed (deprecated).
    pub max_tool_calls: Option<TurnLimit<u32>>,
    /// Wall-clock limit for one turn, in seconds. Unset = no limit (the
    /// default for every role); `0` also means no limit.
    pub max_elapsed_secs: Option<u64>,
    /// Accumulated tool-result bytes per turn: N or `unlimited`. Unset = the
    /// role default (event 8 MiB, otherwise unlimited). `0` = none
    /// allowed (deprecated).
    pub max_accumulated_tool_result_bytes: Option<TurnLimit<usize>>,
    pub max_context_tokens: Option<u64>,
    pub max_cost_usd: Option<f64>,
    /// Bounded auto-renewals of the provider-round allowance after it is
    /// exhausted mid-turn (spec §8.1). Each renewal resets the round counter;
    /// round renewals never reset wall-clock (durable context successors do). `0`
    /// disables graceful continuation (hard stop at the first exhaustion).
    pub max_round_renewals: Option<u32>,
}

/// Per-role turn budgets (foreground, event, worker).
#[derive(Debug, Clone, Default, PartialEq)]
pub struct TurnBudgetsConfig {
    pub foreground: TurnBudgetOverrides,
    /// Turns a session starts by itself because events arrived.
    pub event: TurnBudgetOverrides,
    pub worker: TurnBudgetOverrides,
}

/// The one warning for any number of `turn_budget.autonomous.*` lines.
fn removed_autonomous_budget_warning() -> String {
    format!(
        "turn_budget.autonomous.* is ignored: `synaps agent` was removed in {}. Remove these \
         lines (turns started by events use turn_budget.event.*)",
        crate::REMOVED_IN
    )
}

/// Watcher-only keys (heartbeat mirroring to the bridge daemon). Ignored
/// with one warning so an old config still loads.
const REMOVED_BRIDGE_KEYS: [&str; 3] =
    ["bridge.uds_path", "bridge.heartbeat_mirror", "bridge.heartbeat_timeout_ms"];
fn removed_bridge_warning() -> String {
    format!(
        "bridge.uds_path, bridge.heartbeat_mirror and bridge.heartbeat_timeout_ms are ignored: \
         they configured `synaps watcher`, removed in {}. Remove these lines",
        crate::REMOVED_IN
    )
}

/// Parse `turn_budget.<role>.<field>` keys. Invalid values warn and keep
/// the default. `Err` carries the stderr
/// diagnostic. `Ok(Some(warning))`: applied, with a deprecation warning for
/// `config.warnings` (shown at TUI startup and on stderr for headless
/// hosts).
fn parse_turn_budget_config_key(
    budgets: &mut TurnBudgetsConfig,
    key: &str,
    val: &str,
) -> Result<Option<String>, String> {
    let Some(rest) = key.strip_prefix("turn_budget.") else {
        return Ok(None);
    };
    let Some((role, field)) = rest.split_once('.') else {
        return Err(format!(
            "Warning: invalid turn_budget key '{key}' (expected turn_budget.<role>.<field>)"
        ));
    };
    let overrides = match role {
        "foreground" => &mut budgets.foreground,
        // Only `synaps agent` read it: an old config still loads.
        "autonomous" => return Ok(Some(removed_autonomous_budget_warning())),
        "event" => &mut budgets.event,
        "worker" => &mut budgets.worker,
        other => {
            return Err(format!(
                "Warning: unknown turn_budget role '{other}' (expected foreground|event|worker)"
            ));
        }
    };
    macro_rules! set {
        ($slot:expr, $ty:ty) => {
            match val.parse::<$ty>() {
                Ok(parsed) => $slot = Some(parsed),
                Err(_) => {
                    return Err(format!(
                        "Warning: invalid value for {key}: '{val}', using default"
                    ))
                }
            }
        };
    }
    // Count limits: a number or `unlimited`. `0` keeps its 0.10.2 meaning
    // ("none allowed") for one release, with a deprecation warning.
    let mut deprecation = None;
    macro_rules! set_limit {
        ($slot:expr, $ty:ty) => {
            if val.trim_matches('"').eq_ignore_ascii_case("unlimited") {
                $slot = Some(TurnLimit::Unlimited);
            } else {
                match val.parse::<$ty>() {
                    Ok(0) => {
                        $slot = Some(TurnLimit::Max(0));
                        deprecation = Some(format!(
                            "{key} = 0 means \"none allowed\". `0` will be rejected in a \
                             future release; use `unlimited` for no limit, or a positive number"
                        ));
                    }
                    Ok(parsed) => $slot = Some(TurnLimit::Max(parsed)),
                    Err(_) => {
                        return Err(format!(
                            "Warning: invalid value for {key}: '{val}' (expected a positive \
                             number or unlimited), using default"
                        ))
                    }
                }
            }
        };
    }
    match field {
        "max_provider_rounds" => set_limit!(overrides.max_provider_rounds, u32),
        "max_tool_calls" => set_limit!(overrides.max_tool_calls, u32),
        "max_elapsed_secs" => set!(overrides.max_elapsed_secs, u64),
        "max_accumulated_tool_result_bytes" => {
            set_limit!(overrides.max_accumulated_tool_result_bytes, usize)
        }
        "max_context_tokens" => set!(overrides.max_context_tokens, u64),
        "max_cost_usd" => set!(overrides.max_cost_usd, f64),
        "max_round_renewals" => set!(overrides.max_round_renewals, u32),
        other => {
            return Err(format!("Warning: unknown turn_budget field '{other}'"))
        }
    }
    Ok(deprecation)
}

/// The eleven keys of built-in automatic memory (capture and recall), which
/// left core for an extension. Read, never validated, never able to fail
/// anything: whatever their values, the family is reported with one warning
/// so an old config still loads.
const REMOVED_AUTOMATIC_MEMORY_KEYS: [&str; 11] = [
    "memory.default_mode",
    "memory.default_mode_confirmed",
    "memory.recall_max_records",
    "memory.recall_max_tokens",
    "memory.recall_timeout_ms",
    "memory.capture_tools",
    "memory.capture_assistant",
    "memory.capture_user",
    "memory.auto_consolidate",
    "memory.local_embeddings",
    "memory.gliner",
];
fn removed_automatic_memory_warning() -> String {
    format!(
        "memory.default_mode, memory.recall_* and memory.capture_* (and memory.auto_consolidate, \
         memory.local_embeddings, memory.gliner) are ignored: built-in automatic memory was \
         removed in {}; an extension provides capture and recall through hooks. Remove these lines",
        crate::AXEL_BACKEND_REMOVED_IN
    )
}

/// The warning for a config that selected or configured the removed Axel
/// memory backend: `memory.backend = axel`, or any of `memory.user_scope`,
/// `memory.axel.executable`, `memory.axel.brain` with any value. There is
/// one store now, plain files, so these keys are read, never validated and
/// never able to fail anything: the config loads, on plain files.
fn removed_axel_backend_warning() -> String {
    format!(
        "The Axel memory backend (memory.backend = axel, memory.user_scope, memory.axel.*) is no \
         longer supported: since {v} Synaps keeps context archives and notes in plain files under \
         its base directory, always, and Axel is an extension. This session uses plain files. \
         Archives and notes saved to the Axel brain are not read any more: move them once with \
         \"axel synaps-export\" (Axel 0.1.0) and \"synaps memory import-archives\" / \
         \"import-notes\", install the Axel extension for recall and the forum, then remove the \
         memory.backend, memory.user_scope and memory.axel.* lines. See \
         https://github.com/HaseebKhalid1507/SynapsCLI/blob/dev/docs/upgrading/{v}.md",
        v = crate::AXEL_BACKEND_REMOVED_IN
    )
}
/// The warning for a config whose only such line is `memory.backend` with
/// another value (`legacy`, or anything else).
fn removed_memory_backend_warning() -> String {
    format!(
        "memory.backend is ignored: plain files are the only memory storage since {}. Remove \
         this line",
        crate::AXEL_BACKEND_REMOVED_IN
    )
}

/// The warning for a config that still sets `sidecar_toggle_key`. The
/// sidecar system is gone; the key is read and ignored.
fn removed_sidecar_toggle_key_warning() -> String {
    format!(
        "sidecar_toggle_key is ignored: the plugin sidecar system was removed in {}, so core \
         binds no toggle key any more. Plugin keybinds and the keybinds setting still work. \
         Remove this line",
        crate::SIDECAR_REMOVED_IN
    )
}

/// Parsed configuration from the config file.
#[derive(Debug, Clone)]
pub struct SynapsConfig {
    pub model: Option<String>,
    pub thinking_budget: Option<u32>,
    /// Named reasoning level, parsed from the same `thinking = …` key.
    /// When `Some`, this is the authoritative level. When `None`, fall back
    /// to `thinking_budget` for legacy numeric-only values.
    pub thinking_level: Option<crate::core::reasoning::ReasoningLevel>,
    pub context_window: Option<u64>, // override auto-detected context window (tokens)
    pub context_management: ContextManagementConfig,
    /// First-turn / cold-start behaviour (`startup.*`).
    pub startup: StartupConfig,
    /// Daemon lifetime knobs (`daemon.*`); env vars still win.
    pub daemon: DaemonConfig,
    /// Subagent fan-out limits (`subagent.*`).
    pub subagent: SubagentLimits,
    pub compaction_model: Option<String>, // model used for /compact (default: claude-sonnet-4-6)
    /// Where compaction summarization runs (spec §9.4): remote provider or
    /// local-only (zero network construction).
    pub compaction_mode: crate::core::compaction::CompactionMode,
    /// Content classes excluded from remote compaction disclosure.
    pub compaction_exclude: Vec<crate::core::compaction::ContentClass>,
    pub max_tool_output: usize,  // default 30000
    /// Tool output virtualisation: a text tool result bigger than this many
    /// bytes is stored whole in a spill file (`<base>/spill/<session>/`) and
    /// model history gets a head + tail preview with a pointer to it. `0`
    /// turns it off: results go into history exactly as before (cut at
    /// `max_tool_output`). (`tool_output_spill_bytes`, default
    /// [`DEFAULT_TOOL_OUTPUT_SPILL_BYTES`].)
    pub tool_output_spill_bytes: usize,
    /// Bytes from the start of a virtualised result kept in history
    /// (`tool_output_spill_head_bytes`, default
    /// [`DEFAULT_TOOL_OUTPUT_SPILL_HEAD_BYTES`]).
    pub tool_output_spill_head_bytes: usize,
    /// Bytes from the end of a virtualised result kept in history
    /// (`tool_output_spill_tail_bytes`, default
    /// [`DEFAULT_TOOL_OUTPUT_SPILL_TAIL_BYTES`]).
    pub tool_output_spill_tail_bytes: usize,
    /// Read dedupe: a `read` whose result would be byte-identical to an
    /// earlier `read` of the same file/range still in history is replaced by
    /// a short stub naming that earlier call, and `write`/`edit` results say
    /// there is no need to re-read to verify. Off = legacy tool-result bytes.
    /// (`read_dedupe`, default on).
    pub read_dedupe: bool,
    pub bash_timeout: u64,       // default 30
    pub bash_max_timeout: u64,   // default 300
    pub subagent_timeout: u64,   // default 300
    /// `subagent_resume` of a worker whose prompt cache has expired replays
    /// a compact context instead of its whole transcript once the history is
    /// at least this many (estimated) tokens: a cold replay rewrites every
    /// token at the cache-write price. `0` disables compaction
    /// (`subagent_cold_resume_compact_tokens`, default
    /// [`DEFAULT_SUBAGENT_COLD_RESUME_COMPACT_TOKENS`]).
    pub subagent_cold_resume_compact_tokens: u64,
    /// Automatic context rollover for subagent workers
    /// (`subagent_context_management = auto | off`, default `auto`). Workers
    /// evict older rounds into their archive directory instead of growing
    /// until the window is full. Independent of the foreground
    /// `context_management.mode`.
    pub subagent_context_management: ContextManagementMode,
    /// Estimated footprint (tokens) at which a worker's context rolls over
    /// (`subagent_rollover_tokens`, at least [`MIN_SUBAGENT_ROLLOVER_TOKENS`],
    /// default [`DEFAULT_SUBAGENT_ROLLOVER_TOKENS`]). The window's own
    /// rollover band wins when it is lower; the successor target is derived
    /// like the foreground's (min(100k, 2/3 of pressure)).
    pub subagent_rollover_tokens: u64,
    /// Subagent workers run the host's `after_tool_call` output transforms
    /// (extensions holding `tools.transform_output`: compression,
    /// redaction) on their own tool results, as the foreground does. Off =
    /// worker tool results reach history untransformed, as before.
    /// (`subagent_transform_hooks`, default on).
    pub subagent_transform_hooks: bool,
    /// Worker default, independent of foreground `thinking`; per-call overrides win.
    pub subagent_thinking: crate::core::reasoning::ReasoningLevel,
    pub api_retries: u32,        // default 3
    pub refusal_retries: u32,    // default 2 — retries on stop_reason=refusal
    pub telemetry: String,       // off | basic | full (default off)
    /// Rotated generations kept for `api-log.jsonl` and
    /// `request-trace.jsonl` (`telemetry_log_generations`, 1–
    /// [`MAX_TELEMETRY_LOG_GENERATIONS`], default 1: just `<log>.1`).
    pub telemetry_log_generations: u32,
    pub cache_diagnostics: bool, // opt into cache-diagnosis beta (default false)
    /// Prompt-cache TTL strategy: "auto" (default: 1h on Anthropic OAuth /
    /// subscription credentials, 5m on an API key) | "5m" | "1h" | "hybrid".
    pub cache_ttl: CacheTtlSetting,
    /// Prompt-cache keep-warm while idle (`cache_keepwarm`): `off` (default)
    /// | `auto` | `<N>h`. See [`CacheKeepWarm`] and
    /// docs/specs/cache-ttl-spec.md §7.
    pub cache_keepwarm: CacheKeepWarm,
    /// Longest an `auto` keep-warm idle period may run, in hours
    /// (`cache_keepwarm_auto_max_hours`, 1–48, default
    /// [`DEFAULT_CACHE_KEEPWARM_AUTO_MAX_HOURS`]). An explicit `<N>h` mode
    /// is its own window and ignores this.
    pub cache_keepwarm_auto_max_hours: u32,
    /// Let keep-warm run for daemon sessions driven only by non-interactive
    /// clients (`cache_keepwarm_headless`, default `false`): `synaps chat`,
    /// rpc/server clients over the daemon, piped `synaps attach`. Off, only a
    /// session a TUI or interactive `attach` has seen qualifies.
    pub cache_keepwarm_headless: bool,
    /// Keep the prompt cache warm while a provider round runs
    /// (`cache_keepwarm_tools`, default `true`): once a round has run for
    /// the TTL minus a safety margin (4.5 min on 5m, 55 min on 1h) — its
    /// response still streaming, or its tools still running —
    /// re-send that round's request with a minimal output cap so the next
    /// request reads the prefix instead of rewriting it. Foreground and
    /// workers alike; independent of the idle `cache_keepwarm`.
    pub cache_keepwarm_tools: bool,
    /// gzip for Anthropic request bodies (`request_compression`): `auto`
    /// (default) | `on` | `off`. See [`RequestCompressionMode`].
    pub request_compression: RequestCompressionMode,
    /// gzip level 1–9 (`request_compression_level`, default
    /// [`DEFAULT_REQUEST_COMPRESSION_LEVEL`]). Higher shrinks more and costs
    /// more CPU: raise it on a slow uplink.
    pub request_compression_level: u32,
    /// Who may drive a daemon session with several clients attached
    /// (`client_input`): `shared` (default) | `exclusive`. The daemon reads
    /// it at start, for every session it creates or restores. See
    /// [`ClientInput`].
    pub client_input: ClientInput,
    /// `thinking_display`: `summarized` (default) | `omitted`. The
    /// foreground session's `thinking.display`; see [`ThinkingDisplay`].
    pub thinking_display: ThinkingDisplay,
    /// Max TUI redraw rate in frames/sec — caps streaming redraws (e.g. 60,
    /// 144, 240). User input always redraws immediately regardless. Default
    /// 60. Range 1–1000. The frame budget is `1000 / max_fps` ms.
    pub max_fps: u32,
    /// Lines to scroll per mouse-wheel event. Different terminal emulators
    /// emit 1–9+ scroll events per physical notch; set this to compensate.
    /// Default: 3. Range 1–20.
    pub scroll_lines: Option<u16>,
    pub theme: Option<String>,
    /// Animated theme transitions: `"on"` (350 ms cross-fade, default),
    /// `"off"` (instant snap), or integer milliseconds (0–2000).
    pub theme_transition: ThemeTransitionMode,
    /// Whether the TUI paints its own opaque background. `false` preserves the terminal background.
    pub tui_background_opaque: bool,
    /// Whether the prompt shows a glow sweeping across it while a turn streams. Default off.
    pub tui_streaming_glow: bool,
    /// Whether the TUI reveals a burst of streamed text (a provider flushing
    /// a backlog at once) over a few frames instead of in one. Default on.
    pub tui_smooth_streaming: bool,
    /// Run the daemon, bash tool commands and PTY shells each in their own
    /// systemd scope (Linux, when a systemd user manager is reachable), so the
    /// out-of-memory killer can stop one runaway command instead of the whole
    /// terminal scope with the daemon in it. `process_scopes = off` disables;
    /// env `SYNAPS_PROCESS_SCOPES` overrides. Default on.
    pub process_scopes: bool,
    /// The systemd slice for every scope Synaps makes for a tool command
    /// (bash tool commands, PTY shells): `tool_scope_slice = synaps_tools.slice`
    /// passes `--slice=synaps_tools.slice` to `systemd-run`, so an operator
    /// can cap tool work on that slice apart from the desktop's
    /// `app.slice`. Unset or empty (the default) leaves systemd's placement
    /// as it is. Read with the config each spawn loads. Synaps sets no limits
    /// itself. Use a top-level (dash-free) name: `CPUWeight` only weighs a
    /// slice against its siblings (`docs/daemon-mode.md`).
    pub tool_scope_slice: Option<String>,
    /// The systemd slice for the daemon's own scope, applied when the daemon
    /// starts (a reload re-execs in the same scope). Separate from
    /// [`Self::tool_scope_slice`], so tools can be capped without the daemon.
    /// Unset or empty: no `--slice`.
    pub daemon_scope_slice: Option<String>,
    pub agent_name: Option<String>,
    pub identity: Option<String>,
    pub disabled_plugins: Vec<String>,
    pub favorite_models: Vec<String>,
    pub disabled_skills: Vec<String>,
    /// Opt-in progressive tool disclosure (Task 18). When false, providers
    /// receive the existing full tool schema byte-for-byte. When true, each
    /// stream starts with the small essential local core plus discovery and
    /// authorization gateways; exact activations are added per session.
    pub progressive_tool_disclosure: bool,
    /// Host confirmation policy for MODEL-INITIATED `activate_tools`
    /// (`tools.activation_confirm`). `Auto` (default) authorizes without
    /// prompting; `Prompt` asks the host (y/n confirm dialog); `Deny` never
    /// authorizes (locked-down hosts). `server.auto_approve_confirms = true`
    /// still authorizes regardless of this key.
    pub tools_activation_confirm: ActivationConfirm,
    /// `tools.deferred_loading` (default on). With progressive disclosure on
    /// the native Anthropic transport, every activatable tool is sent from the
    /// first request with `defer_loading: true` and `activate_tools` answers
    /// with `tool_reference` blocks, so an activation never changes the cached
    /// prompt prefix. `off` restores the per-activation tools-array change.
    pub tools_deferred_loading: bool,
    /// `tools.always_loaded`: canonical tool ids (`ext.axel:search`,
    /// `builtin:subagent`, as `activate_tools` takes them) that join the
    /// session core under progressive disclosure, so they are loaded from the
    /// first request instead of waiting for `activate_tools`. Only ids in the
    /// catalog with a verified source are admitted (the activation trust
    /// rule); absent ones are skipped. No effect without disclosure.
    pub tools_always_loaded: Vec<crate::orchestration::capability::ToolId>,
    /// Opt-in session persistence strategy (Task 35, spec §9.8). `Json`
    /// (default) is the unchanged legacy full-rewrite path; `Journal` adds
    /// an append-only delta journal with periodic atomic snapshots. See
    /// docs/decisions/T35-session-journal-opt-in.md.
    pub session_persistence: crate::core::session_journal::SessionPersistence,
    /// Built-in tools to disable by runtime name (e.g. "bash", "ls"). Removed
    /// from the registry at boot so they're never offered to the model.
    pub disabled_tools: Vec<String>,
    pub server: ServerConfig,
    pub auth: AuthConfig,
    pub events: EventsConfig,
    pub provider_keys: BTreeMap<String, String>,
    pub keybinds: std::collections::HashMap<String, String>,
    /// Typed per-role turn budgets (Task 23, spec §8.1).
    pub turn_budgets: TurnBudgetsConfig,
    /// Non-fatal problems found while parsing the config file (unknown keys,
    /// unparseable values). Surfaced once at startup — never block boot.
    pub warnings: Vec<String>,
}

impl Default for SynapsConfig {
    fn default() -> Self {
        Self {
            model: None,
            thinking_budget: None,
            thinking_level: None,
            context_window: None,
            context_management: ContextManagementConfig::default(),
            startup: StartupConfig::default(),
            daemon: DaemonConfig::default(),
            subagent: SubagentLimits::default(),
            compaction_model: None,
            compaction_mode: crate::core::compaction::CompactionMode::default(),
            compaction_exclude: Vec::new(),
            max_tool_output: 30000,
            tool_output_spill_bytes: DEFAULT_TOOL_OUTPUT_SPILL_BYTES,
            tool_output_spill_head_bytes: DEFAULT_TOOL_OUTPUT_SPILL_HEAD_BYTES,
            tool_output_spill_tail_bytes: DEFAULT_TOOL_OUTPUT_SPILL_TAIL_BYTES,
            read_dedupe: true,
            bash_timeout: 30,
            bash_max_timeout: 300,
            subagent_timeout: 300,
            subagent_cold_resume_compact_tokens: DEFAULT_SUBAGENT_COLD_RESUME_COMPACT_TOKENS,
            subagent_context_management: ContextManagementMode::Auto,
            subagent_rollover_tokens: DEFAULT_SUBAGENT_ROLLOVER_TOKENS,
            subagent_transform_hooks: true,
            subagent_thinking: crate::core::reasoning::ReasoningLevel::XHigh,
            api_retries: 3,
            refusal_retries: 2,
            telemetry: "off".to_string(),
            telemetry_log_generations: 1,
            cache_diagnostics: false,
            cache_ttl: CacheTtlSetting::default(),
            cache_keepwarm: CacheKeepWarm::Off,
            cache_keepwarm_auto_max_hours: DEFAULT_CACHE_KEEPWARM_AUTO_MAX_HOURS,
            cache_keepwarm_headless: false,
            cache_keepwarm_tools: true,
            request_compression: RequestCompressionMode::Auto,
            request_compression_level: DEFAULT_REQUEST_COMPRESSION_LEVEL,
            client_input: ClientInput::Shared,
            thinking_display: ThinkingDisplay::Summarized,
            max_fps: 60,
            scroll_lines: None,
            theme: None,
            theme_transition: ThemeTransitionMode::default(),
            tui_background_opaque: true,
            tui_streaming_glow: false,
            tui_smooth_streaming: true,
            process_scopes: true,
            tool_scope_slice: None,
            daemon_scope_slice: None,
            agent_name: None,
            identity: None,
            disabled_plugins: Vec::new(),
            favorite_models: Vec::new(),
            disabled_skills: Vec::new(),
            progressive_tool_disclosure: false,
            tools_activation_confirm: ActivationConfirm::default(),
            tools_deferred_loading: true,
            tools_always_loaded: Vec::new(),
            session_persistence: crate::core::session_journal::SessionPersistence::default(),
            disabled_tools: Vec::new(),
            server: ServerConfig::default(),
            auth: AuthConfig::default(),
            events: EventsConfig::default(),
            provider_keys: BTreeMap::new(),
            keybinds: std::collections::HashMap::new(),
            turn_budgets: TurnBudgetsConfig::default(),
            warnings: Vec::new(),
        }
    }
}

/// Why `name` can't be a `tool_scope_slice` / `daemon_scope_slice` value, or
/// `None` if it can. A slice unit name: at most 255 bytes, ending in
/// `.slice`, only `[A-Za-z0-9:_.-]` (so no `/`), not starting with `-` and
/// not the root slice `-.slice`; as in systemd's own check, the part before
/// `.slice` is not empty, has no `--` and doesn't end in `-` (a `-` separates
/// the parent slices: `synaps-tools.slice` nests under `synaps.slice`). The
/// config file is not TOML, so a quoted value keeps its quotes and gets its
/// own hint. An empty value never reaches this check: the parser takes it
/// as "unset".
pub fn scope_slice_problem(name: &str) -> Option<&'static str> {
    if name.len() > 255 {
        return Some("longer than 255 bytes");
    }
    if name.starts_with(['"', '\'']) || name.ends_with(['"', '\'']) {
        return Some("write the name without quotes (the config file is not TOML)");
    }
    if !name.ends_with(".slice") {
        return Some("expected a slice unit name ending in .slice");
    }
    if !name.bytes().all(|b| b.is_ascii_alphanumeric() || matches!(b, b':' | b'_' | b'.' | b'-')) {
        return Some("only letters, digits, ':', '_', '.' and '-' are allowed");
    }
    if name == "-.slice" {
        return Some("the root slice -.slice is not allowed");
    }
    if name.starts_with('-') {
        return Some("must not start with '-'");
    }
    let stem = &name[..name.len() - ".slice".len()];
    if stem.is_empty() {
        return Some("needs a name before .slice");
    }
    if stem.contains("--") || stem.ends_with('-') {
        return Some("'-' separates parent slices: no '--' and no trailing '-'");
    }
    None
}

/// Upper bound for `telemetry_log_generations` (each generation of each log
/// is up to 50 MB).
pub const MAX_TELEMETRY_LOG_GENERATIONS: u32 = 100;

/// Known top-level config keys — used for unknown-key warnings + did-you-mean.
/// Public so the /settings coverage test can require a settings row (or an
/// explicit exclusion) for every key here.
pub const KNOWN_CONFIG_KEYS: &[&str] = &[
    "model",
    "thinking",
    "compaction_model",
    "compaction_mode",
    "compaction_exclude",
    "context_window",
    "context_management.mode",
    "context_management.pressure_tokens",
    "context_management.rollover_tokens",
    "context_management.reserve_tokens",
    "context_management.finish_rounds",
    "context_management.target_tokens",
    "startup.quick_start",
    "startup.extensions_ready_timeout_secs",
    "daemon.idle_exit_secs",
    "daemon.prompt_abandon_secs",
    "daemon.parked_evict_secs",
    "max_tool_output",
    "tool_output_spill_bytes",
    "tool_output_spill_head_bytes",
    "tool_output_spill_tail_bytes",
    "read_dedupe",
    "bash_timeout",
    "bash_max_timeout",
    "subagent_timeout",
    "subagent_cold_resume_compact_tokens",
    "subagent_context_management",
    "subagent_rollover_tokens",
    "subagent_transform_hooks",
    "subagent_thinking",
    "subagent.max_concurrent",
    "subagent.max_total",
    "subagent.max_depth",
    // Legacy flat spellings of `subagent.max_concurrent` / `subagent.max_total`.
    "subagent_max_concurrent",
    "subagent_max_total",
    "api_retries",
    "refusal_retries",
    "telemetry",
    "telemetry_log_generations",
    "cache_diagnostics",
    "cache_ttl",
    "cache_keepwarm",
    "cache_keepwarm_auto_max_hours",
    "cache_keepwarm_headless",
    "cache_keepwarm_tools",
    "request_compression",
    "request_compression_level",
    "client_input",
    "thinking_display",
    "max_fps",
    "scroll_lines",
    "theme",
    "theme_transition",
    "tui_background_opaque",
    "tui_streaming_glow",
    "tui_smooth_streaming",
    "process_scopes",
    "tool_scope_slice",
    "daemon_scope_slice",
    "agent_name",
    "identity",
    "disabled_plugins",
    "favorite_models",
    "disabled_skills",
    "disabled_tools",
    "progressive_tool_disclosure",
    "tools.activation_confirm",
    "tools.deferred_loading",
    "tools.always_loaded",
    "session_persistence",
];

/// Every key accepted by the namespaced family parsers that is NOT in
/// [`KNOWN_CONFIG_KEYS`] (`events.*`, `turn_budget.*`,
/// `server.*`, `auth.*`). Open-ended families whose
/// suffix is user-chosen are listed as `prefix.*`. Keep this in sync when a
/// parser learns a key: the /settings coverage test requires each entry to
/// have a settings row or an explicit exclusion.
pub const FAMILY_CONFIG_KEYS: &[&str] = &[
    // parse_events_config_key
    "events.auto_turn",
    "events.auto_turn_cap",
    // parse_turn_budget_config_key: turn_budget.<role>.<field>
    "turn_budget.foreground.max_provider_rounds",
    "turn_budget.foreground.max_tool_calls",
    "turn_budget.foreground.max_elapsed_secs",
    "turn_budget.foreground.max_accumulated_tool_result_bytes",
    "turn_budget.foreground.max_context_tokens",
    "turn_budget.foreground.max_cost_usd",
    "turn_budget.foreground.max_round_renewals",
    "turn_budget.event.max_provider_rounds",
    "turn_budget.event.max_tool_calls",
    "turn_budget.event.max_elapsed_secs",
    "turn_budget.event.max_accumulated_tool_result_bytes",
    "turn_budget.event.max_context_tokens",
    "turn_budget.event.max_cost_usd",
    "turn_budget.event.max_round_renewals",
    "turn_budget.worker.max_provider_rounds",
    "turn_budget.worker.max_tool_calls",
    "turn_budget.worker.max_elapsed_secs",
    "turn_budget.worker.max_accumulated_tool_result_bytes",
    "turn_budget.worker.max_context_tokens",
    "turn_budget.worker.max_cost_usd",
    "turn_budget.worker.max_round_renewals",
    // parse_server_config_key
    "server.auto_approve_confirms",
    // parse_auth_config_key
    "auth.remote_endpoint",
    "auth.machine_token",
    // open-ended families
    "provider.*",
    "keybind.*",
];

/// Simple Levenshtein distance for did-you-mean suggestions.
fn levenshtein(a: &str, b: &str) -> usize {
    let a: Vec<char> = a.chars().collect();
    let b: Vec<char> = b.chars().collect();
    let mut prev: Vec<usize> = (0..=b.len()).collect();
    let mut cur = vec![0; b.len() + 1];
    for (i, ca) in a.iter().enumerate() {
        cur[0] = i + 1;
        for (j, cb) in b.iter().enumerate() {
            let cost = if ca == cb { 0 } else { 1 };
            cur[j + 1] = (prev[j + 1] + 1).min(cur[j] + 1).min(prev[j] + cost);
        }
        std::mem::swap(&mut prev, &mut cur);
    }
    prev[b.len()]
}

/// Closest known key within edit distance 2, for typo suggestions.
fn did_you_mean(key: &str) -> Option<&'static str> {
    KNOWN_CONFIG_KEYS
        .iter()
        .map(|k| (*k, levenshtein(key, k)))
        .filter(|(_, d)| *d <= 2)
        .min_by_key(|(_, d)| *d)
        .map(|(k, _)| k)
}

// parse_thinking_budget replaced by ThinkingSpec::parse in apply_config_content.

fn parse_comma_list(val: &str) -> Vec<String> {
    val.split(',')
        .map(|s| s.trim().to_string())
        .filter(|s| !s.is_empty())
        .collect()
}

/// `tools.always_loaded`: comma-separated canonical tool ids. Returns the
/// parsed ids (deduplicated, in order) and the raw spellings that failed
/// [`ToolId::parse`](crate::orchestration::capability::ToolId::parse).
fn parse_tool_id_list(val: &str) -> (Vec<crate::orchestration::capability::ToolId>, Vec<String>) {
    let mut ids = Vec::new();
    let mut bad = Vec::new();
    for raw in parse_comma_list(val) {
        match crate::orchestration::capability::ToolId::parse(&raw) {
            Ok(id) if !ids.contains(&id) => ids.push(id),
            Ok(_) => {}
            Err(_) => bad.push(raw),
        }
    }
    (ids, bad)
}

fn write_comma_list_locked(key: &str, values: &[String]) -> std::io::Result<()> {
    write_config_value_locked(key, &values.join(", "))
}

/// The `shell.*` keys removed in 0.12.0. They were parsed but read by
/// nothing (the shell tool always used its defaults). A config that still
/// sets them loads, ignores them and gets one warning naming the keys set.
pub const REMOVED_SHELL_KEYS: &[&str] = &[
    "shell.max_sessions",
    "shell.idle_timeout",
    "shell.readiness_timeout_ms",
    "shell.max_readiness_timeout_ms",
    "shell.default_rows",
    "shell.default_cols",
    "shell.readiness_strategy",
    "shell.max_output",
];

/// The one warning for the removed `shell.*` keys a config sets, named in
/// [`REMOVED_SHELL_KEYS`] order, each once.
fn removed_shell_keys_warning(set: &[&str]) -> String {
    format!(
        "{} no longer {} anything (removed in {}; {} never read): delete {}",
        set.join(", "),
        if set.len() == 1 { "does" } else { "do" },
        crate::REMOVED_IN,
        if set.len() == 1 { "it was" } else { "they were" },
        if set.len() == 1 { "this line" } else { "these lines" },
    )
}

/// Parse server.* configuration keys and update the ServerConfig.
/// `Some(warning)`: a key of the removed `synaps server`, ignored; the
/// caller must surface it (once) in `config.warnings`.
#[must_use]
fn parse_server_config_key(
    server_config: &mut ServerConfig,
    key: &str,
    val: &str,
) -> Option<String> {
    if REMOVED_SERVER_KEYS.contains(&key) {
        return Some(removed_server_warning());
    }
    if key == "server.auto_approve_confirms" {
        server_config.auto_approve_confirms = matches!(val, "true" | "1" | "yes");
    }
    // Unknown server.* keys preserved (not rejected)
    None
}

/// Warning for an `auth.*` key no parser reads (a typo would otherwise
/// silently leave traffic on the default account), with a did-you-mean.
fn unknown_auth_key_warning(key: &str) -> Option<String> {
    const EXACT: [&str; 2] = ["auth.remote_endpoint", "auth.machine_token"];
    const FAMILIES: [&str; 2] = ["auth.account", "auth.auto"];
    const PLACEHOLDERS: [&str; 2] = ["<provider>", "<key>"];
    if EXACT.contains(&key) {
        return None;
    }
    for (family, placeholder) in FAMILIES.iter().zip(PLACEHOLDERS) {
        match key.strip_prefix(family) {
            // `auth.account` or `auth.account.` (no provider): name the shape.
            Some("") | Some(".") => {
                return Some(format!(
                    "unknown key '{key}' (did you mean '{family}.{placeholder}'?)"
                ))
            }
            Some(rest) if rest.starts_with('.') && !rest[1..].trim().is_empty() => return None,
            _ => {}
        }
    }
    // A family typo keeps its suffix: `auth.acount.x` → `auth.account.x`.
    let (head, rest) = match key.match_indices('.').nth(1) {
        Some((i, _)) => key.split_at(i),
        None => (key, ""),
    };
    let suggestion = EXACT
        .iter()
        .map(|k| (levenshtein(key, k), k.to_string()))
        .chain(
            FAMILIES
                .iter()
                .filter(|_| !rest.is_empty())
                .map(|f| (levenshtein(head, f), format!("{f}{rest}"))),
        )
        .filter(|(d, _)| *d <= 2)
        .min_by_key(|(d, _)| *d)
        .map(|(_, k)| k);
    Some(match suggestion {
        Some(s) => format!("unknown key '{key}' (did you mean '{s}'?)"),
        None => format!("unknown key '{key}' — ignored"),
    })
}

/// Parse auth.* configuration keys and update the AuthConfig.
fn parse_auth_config_key(auth_config: &mut AuthConfig, key: &str, val: &str) {
    let v = val.trim();
    match key {
        "auth.remote_endpoint" => {
            auth_config.remote_endpoint = if v.is_empty() {
                None
            } else {
                Some(v.to_string())
            };
        }
        "auth.machine_token" => {
            auth_config.machine_token = if v.is_empty() {
                None
            } else {
                Some(v.to_string())
            };
        }
        _ => {
            if let Some(provider) = key.strip_prefix("auth.account.") {
                let provider = provider.trim();
                if !provider.is_empty() {
                    // Raw value; validated (fail closed) by AccountPolicy.
                    auth_config
                        .accounts
                        .insert(provider.to_string(), v.to_string());
                }
            }
            if let Some(key) = key.strip_prefix("auth.auto.").filter(|k| !k.trim().is_empty()) {
                auth_config.auto.insert(key.to_string(), v.to_string());
            }
            // Other unknown auth.* keys preserved (not rejected)
        }
    }
}

/// Parse config from a raw string — useful for tests and embedded harnesses.
/// Does NOT write to `PROVIDER_KEYS` or `IDENTITY` OnceLocks.
pub fn load_config_from_str(content: &str) -> SynapsConfig {
    let mut config = SynapsConfig::default();
    apply_config_content(&mut config, content);
    config
}

/// Every problem the parser reports for `content`: the `warnings` surfaced
/// at startup plus the stderr-only diagnostics of the `events.*`,
/// `turn_budget.*` and `memory.*` families. Pure — prints nothing and
/// touches no process state.
pub fn config_content_problems(content: &str) -> Vec<String> {
    let mut config = SynapsConfig::default();
    let mut problems = Vec::new();
    apply_config_content_with(&mut config, content, &mut |diagnostic: String| problems.push(diagnostic));
    problems.extend(config.warnings);
    problems
}

/// Check a `key = value` edit before it is written (the /settings modal).
///
/// Runs the real parser over the config file as it would look after
/// [`write_config_value`] and returns `Err` with the parser's own messages
/// for any problem the edit introduces — invalid values, and cross-key
/// rules such as `context_management` threshold ordering or `subagent`
/// concurrency vs total. A removed key is refused with its removal warning.
/// Problems already present before the edit are not blamed on it.
pub fn validate_config_edit(key: &str, value: &str) -> Result<(), String> {
    if key.contains(['=', '\n', '\r'])
        || value.contains(['\n', '\r'])
    {
        return Err("value must be a single line".to_string());
    }
    // The file the edit lands in (profile-aware, like `write_config_value`),
    // computed without `resolve_write_path`'s directory creation.
    let target = get_active_config_dir().join("config");
    let existing = std::fs::read_to_string(&target).unwrap_or_default();
    let before = config_content_problems(&existing);
    let after = config_content_problems(&replace_config_line(&existing, key, value));
    let introduced: Vec<String> = after.into_iter().filter(|p| !before.contains(p)).collect();
    if introduced.is_empty() {
        Ok(())
    } else {
        Err(introduced.join("; "))
    }
}

/// Parse the config file at ~/.synaps-cli/config (or profile variant).
/// Returns default config if file doesn't exist or can't be read.
pub fn load_config() -> SynapsConfig {
    let path = resolve_read_path("config");
    let mut config = SynapsConfig::default();

    let Ok(content) = std::fs::read_to_string(&path) else {
        return config;
    };

    apply_config_content(&mut config, &content);

    // Publish provider keys to the process-wide cache for the API router.
    // First writer wins (OnceLock) — subsequent load_config calls are no-ops.
    let _ = PROVIDER_KEYS.set(config.provider_keys.clone());

    // Publish identity to the process-wide cache for API system prompt preamble.
    let identity_val = config
        .identity
        .clone()
        .unwrap_or_else(|| DEFAULT_IDENTITY.to_string());
    let _ = IDENTITY.set(identity_val);

    config
}

/// Apply key=value config lines from `content` into `config`.
/// Shared by `load_config` (file path) and `load_config_from_str` (test helper).
fn apply_config_content(config: &mut SynapsConfig, content: &str) {
    // The events/turn_budget families and an unknown `memory.*` key
    // report to stderr (not `config.warnings`) — unchanged behaviour.
    apply_config_content_with(config, content, &mut |diagnostic: String| eprintln!("{diagnostic}"));
}

/// [`apply_config_content`] with the stderr-only family diagnostics routed
/// to `family_diagnostic` instead, so [`config_content_problems`] can see
/// every value the parser rejects.
fn apply_config_content_with(
    config: &mut SynapsConfig,
    content: &str,
    family_diagnostic: &mut dyn FnMut(String),
) {
    let mut invalid_context_management = false;
    // The removed memory backend keys: which of their two warnings is due.
    let (mut removed_axel_backend, mut removed_other_backend) = (false, false);
    let mut removed_sidecar_toggle_key = false;
    let mut removed_shell_keys = [false; REMOVED_SHELL_KEYS.len()];
    for line in content.lines() {
        let line = line.trim();
        if line.is_empty() || line.starts_with('#') {
            continue;
        }
        let Some((key, val)) = line.split_once('=') else {
            continue;
        };
        let key = key.trim();
        let val = val.trim();
        match key {
            "model" => config.model = Some(val.to_string()),
            "thinking" => {
                use crate::core::reasoning::ThinkingSpec;
                match ThinkingSpec::parse(val) {
                    Some(ThinkingSpec::Named(level)) => {
                        config.thinking_level = Some(level);
                        config.thinking_budget = level.to_legacy_budget();
                    }
                    Some(ThinkingSpec::Budget(budget)) => {
                        // Preserve exact legacy budgets; do not make the derived
                        // bucket authoritative over the user's token count.
                        config.thinking_level = None;
                        config.thinking_budget = Some(budget);
                    }
                    None => {
                        config.warnings.push(format!("thinking = {val} — expected off|adaptive|low|medium|high|xhigh|max|ultra|ultracode or a token count; thinking disabled"));
                    }
                }
            }
            "compaction_model" => config.compaction_model = Some(val.to_string()),
            "compaction_mode" => match val {
                "remote" => {
                    config.compaction_mode = crate::core::compaction::CompactionMode::Remote
                }
                "local" | "local_only" | "local-only" => {
                    config.compaction_mode = crate::core::compaction::CompactionMode::LocalOnly
                }
                _ => {
                    config.warnings.push(format!(
                        "compaction_mode = {val} — expected remote or local; ignored"
                    ));
                }
            },
            "compaction_exclude" => {
                let mut classes = Vec::new();
                for part in val.split(',').map(str::trim).filter(|p| !p.is_empty()) {
                    match crate::core::compaction::ContentClass::parse(part) {
                        Some(class) => {
                            if !classes.contains(&class) {
                                classes.push(class);
                            }
                        }
                        None => config.warnings.push(format!(
                            "compaction_exclude — unknown content class '{part}'; \
                             expected one of: user_text, assistant_text, thinking, \
                             tool_calls, tool_results, file_paths, event_data"
                        )),
                    }
                }
                config.compaction_exclude = classes;
            }
            // `auto` = model default (what /settings and `/context auto`
            // write): clears any override, no warning.
            "context_window" if val.eq_ignore_ascii_case("auto") => config.context_window = None,
            "context_window" => {
                let parsed = match val {
                    "200k" | "200K" => Some(200_000),
                    "1m" | "1M" => Some(1_000_000),
                    _ => val.parse::<u64>().ok(),
                };
                if parsed.is_none() {
                    config.warnings.push(format!(
                        "context_window = {val} — expected 200k, 1m, auto, or a token count; ignored"
                    ));
                }
                config.context_window = parsed;
            }
            "max_tool_output" => match val.parse::<usize>() {
                Ok(size) => config.max_tool_output = size,
                Err(_) => config.warnings.push(format!(
                    "max_tool_output = {val} — not a number; using {}",
                    config.max_tool_output
                )),
            },
            "tool_output_spill_bytes" => match val.parse::<usize>() {
                Ok(bytes) => config.tool_output_spill_bytes = bytes,
                Err(_) => config.warnings.push(format!(
                    "tool_output_spill_bytes = {val} — expected a byte count (0 turns virtualisation off); using {DEFAULT_TOOL_OUTPUT_SPILL_BYTES}"
                )),
            },
            "tool_output_spill_head_bytes" => match val.parse::<usize>() {
                Ok(bytes) => config.tool_output_spill_head_bytes = bytes,
                Err(_) => config.warnings.push(format!(
                    "tool_output_spill_head_bytes = {val} — expected a byte count; using {DEFAULT_TOOL_OUTPUT_SPILL_HEAD_BYTES}"
                )),
            },
            "tool_output_spill_tail_bytes" => match val.parse::<usize>() {
                Ok(bytes) => config.tool_output_spill_tail_bytes = bytes,
                Err(_) => config.warnings.push(format!(
                    "tool_output_spill_tail_bytes = {val} — expected a byte count; using {DEFAULT_TOOL_OUTPUT_SPILL_TAIL_BYTES}"
                )),
            },
            "bash_timeout" => match val.parse::<u64>() {
                Ok(t) if t >= 1 => config.bash_timeout = t,
                Ok(_) => config.warnings.push(format!(
                    "bash_timeout = {val} — below minimum (1s); using {}",
                    config.bash_timeout
                )),
                Err(_) => config.warnings.push(format!(
                    "bash_timeout = {val} — not a number; using {}",
                    config.bash_timeout
                )),
            },
            "bash_max_timeout" => {
                if let Ok(timeout) = val.parse::<u64>() {
                    config.bash_max_timeout = timeout;
                }
            }
            "subagent_thinking" => {
                match crate::core::reasoning::parse_subagent_thinking(val) {
                    Some(level) => config.subagent_thinking = level,
                    None => config.warnings.push(format!(
                        "subagent_thinking = {val} — expected low|medium|high|xhigh|max; keeping {}",
                        config.subagent_thinking
                    )),
                }
            }
            "subagent_timeout" => {
                if let Ok(timeout) = val.parse::<u64>() {
                    config.subagent_timeout = timeout;
                }
            }
            "subagent_cold_resume_compact_tokens" => match val.parse::<u64>() {
                Ok(tokens) => config.subagent_cold_resume_compact_tokens = tokens,
                Err(_) => config.warnings.push(format!(
                    "subagent_cold_resume_compact_tokens = {val} — expected a token count (0 disables); using {DEFAULT_SUBAGENT_COLD_RESUME_COMPACT_TOKENS}"
                )),
            },
            "subagent_context_management" => match ContextManagementMode::parse(val) {
                Some(mode) => config.subagent_context_management = mode,
                None => config.warnings.push(format!(
                    "subagent_context_management = {val} — expected auto or off; using auto"
                )),
            },
            "subagent_rollover_tokens" => match val.parse::<u64>() {
                Ok(tokens) if tokens >= MIN_SUBAGENT_ROLLOVER_TOKENS => {
                    config.subagent_rollover_tokens = tokens
                }
                _ => config.warnings.push(format!(
                    "subagent_rollover_tokens = {val} — expected a token count of at least {MIN_SUBAGENT_ROLLOVER_TOKENS}; using {DEFAULT_SUBAGENT_ROLLOVER_TOKENS}"
                )),
            },
            "subagent_transform_hooks" => match val {
                "true" | "1" | "on" | "yes" => config.subagent_transform_hooks = true,
                "false" | "0" | "off" | "no" => config.subagent_transform_hooks = false,
                _ => config.warnings.push(format!(
                    "subagent_transform_hooks = {val} — expected on or off; using on"
                )),
            },
            // Legacy flat spellings (pre-`subagent.*`): same parser, same limits.
            "subagent_max_concurrent" | "subagent_max_total" => {
                let dotted = key.replacen("subagent_", "subagent.", 1);
                if let Err(reason) =
                    parse_subagent_config_key(&mut config.subagent, &dotted, val)
                {
                    config.warnings.push(format!("{key} — {reason}"));
                }
            }
            "api_retries" => {
                if let Ok(retries) = val.parse::<u32>() {
                    config.api_retries = retries;
                }
            }
            "refusal_retries" => {
                if let Ok(retries) = val.parse::<u32>() {
                    config.refusal_retries = retries;
                }
            }
            "telemetry" => config.telemetry = val.to_string(),
            "telemetry_log_generations" => match val.parse::<u32>() {
                Ok(n) if (1..=MAX_TELEMETRY_LOG_GENERATIONS).contains(&n) => {
                    config.telemetry_log_generations = n;
                }
                _ => config.warnings.push(format!(
                    "telemetry_log_generations = {val} — expected 1–{MAX_TELEMETRY_LOG_GENERATIONS}; line ignored"
                )),
            },
            "cache_diagnostics" => {
                config.cache_diagnostics = matches!(val, "true" | "1" | "on" | "yes");
            }
            "cache_ttl" => match CacheTtlSetting::parse(val) {
                Some(ttl) => config.cache_ttl = ttl,
                None => config.warnings.push(format!(
                    "cache_ttl = {val} — expected auto, 5m, 1h, or hybrid; using auto"
                )),
            },
            "cache_keepwarm" => match CacheKeepWarm::parse(val) {
                Some(mode) => config.cache_keepwarm = mode,
                None => config.warnings.push(format!(
                    "cache_keepwarm = {val} — expected off, auto, or 1h–{MAX_CACHE_KEEPWARM_HOURS}h; keep-warm stays off"
                )),
            },
            "thinking_display" => match ThinkingDisplay::parse(val) {
                Some(display) => config.thinking_display = display,
                None => config.warnings.push(format!(
                    "thinking_display = {val} — expected summarized or omitted; using summarized"
                )),
            },
            "client_input" => match ClientInput::parse(val) {
                Some(mode) => config.client_input = mode,
                None => config.warnings.push(format!(
                    "client_input = {val} — expected shared or exclusive; using shared"
                )),
            },
            "cache_keepwarm_auto_max_hours" => {
                match val.trim().trim_end_matches(['h', 'H']).parse::<u32>() {
                    Ok(h) if (1..=MAX_CACHE_KEEPWARM_HOURS).contains(&h) => {
                        config.cache_keepwarm_auto_max_hours = h
                    }
                    _ => config.warnings.push(format!(
                        "cache_keepwarm_auto_max_hours = {val} — expected 1–{MAX_CACHE_KEEPWARM_HOURS}; using {DEFAULT_CACHE_KEEPWARM_AUTO_MAX_HOURS}"
                    )),
                }
            }
            "cache_keepwarm_headless" => match val.trim().to_ascii_lowercase().as_str() {
                "true" | "1" | "on" | "yes" => config.cache_keepwarm_headless = true,
                "false" | "0" | "off" | "no" => config.cache_keepwarm_headless = false,
                _ => config.warnings.push(format!(
                    "cache_keepwarm_headless = {val} — expected true or false; keeping false"
                )),
            },
            "cache_keepwarm_tools" => match val.trim().to_ascii_lowercase().as_str() {
                "true" | "1" | "on" | "yes" => config.cache_keepwarm_tools = true,
                "false" | "0" | "off" | "no" => config.cache_keepwarm_tools = false,
                _ => config.warnings.push(format!(
                    "cache_keepwarm_tools = {val} — expected on or off; keeping on"
                )),
            },
            "request_compression" => match RequestCompressionMode::parse(val) {
                Some(mode) => config.request_compression = mode,
                None => config.warnings.push(format!(
                    "request_compression = {val} — expected auto, on, or off; using auto"
                )),
            },
            "request_compression_level" => match val.trim().parse::<u32>() {
                Ok(n) if (1..=MAX_REQUEST_COMPRESSION_LEVEL).contains(&n) => {
                    config.request_compression_level = n
                }
                _ => config.warnings.push(format!(
                    "request_compression_level = {val} — expected 1–{MAX_REQUEST_COMPRESSION_LEVEL}; using {DEFAULT_REQUEST_COMPRESSION_LEVEL}"
                )),
            },
            "max_fps" => match val.parse::<u32>() {
                Ok(fps) if (1..=1000).contains(&fps) => config.max_fps = fps,
                Ok(_) => config.warnings.push(format!(
                    "max_fps = {val} — expected 1–1000; using {}",
                    config.max_fps
                )),
                Err(_) => config.warnings.push(format!(
                    "max_fps = {val} — not a number; using {}",
                    config.max_fps
                )),
            },
            "scroll_lines" => match val.parse::<u16>() {
                Ok(n) if (1..=20).contains(&n) => config.scroll_lines = Some(n),
                Ok(_) => config
                    .warnings
                    .push(format!("scroll_lines = {val} — expected 1–20; ignoring")),
                Err(_) => config
                    .warnings
                    .push(format!("scroll_lines = {val} — not a number; ignoring")),
            },
            "theme" => config.theme = Some(val.to_string()),
            "theme_transition" => match ThemeTransitionMode::parse(val) {
                Some(mode) => config.theme_transition = mode,
                None => config.warnings.push(format!(
                    "theme_transition = {val} — expected on, off, or milliseconds (0–2000); using on"
                )),
            },
            "tui_background_opaque" => match val {
                "true" | "1" | "on" | "yes" | "opaque" => config.tui_background_opaque = true,
                "false" | "0" | "off" | "no" | "invisible" => config.tui_background_opaque = false,
                _ => config.warnings.push(format!(
                    "tui_background_opaque = {val} — expected opaque or invisible; using {}",
                    if config.tui_background_opaque {
                        "opaque"
                    } else {
                        "invisible"
                    }
                )),
            },
            "read_dedupe" => match val {
                "true" | "1" | "on" | "yes" => config.read_dedupe = true,
                "false" | "0" | "off" | "no" => config.read_dedupe = false,
                _ => config.warnings.push(format!(
                    "read_dedupe = {val} — expected on or off; using on"
                )),
            },
            "tui_streaming_glow" => match val {
                "true" | "1" | "on" | "yes" => config.tui_streaming_glow = true,
                "false" | "0" | "off" | "no" => config.tui_streaming_glow = false,
                _ => config.warnings.push(format!(
                    "tui_streaming_glow = {val} — expected on or off; using off"
                )),
            },
            "tui_smooth_streaming" => match val {
                "true" | "1" | "on" | "yes" => config.tui_smooth_streaming = true,
                "false" | "0" | "off" | "no" => config.tui_smooth_streaming = false,
                _ => config.warnings.push(format!(
                    "tui_smooth_streaming = {val} — expected on or off; using on"
                )),
            },
            "process_scopes" => match val {
                "true" | "1" | "on" | "yes" | "auto" => config.process_scopes = true,
                "false" | "0" | "off" | "no" => config.process_scopes = false,
                _ => config.warnings.push(format!(
                    "process_scopes = {val} — expected auto or off; keeping the previous value (default auto)"
                )),
            },
            "tool_scope_slice" | "daemon_scope_slice" => {
                let field = if key == "tool_scope_slice" {
                    &mut config.tool_scope_slice
                } else {
                    &mut config.daemon_scope_slice
                };
                // `key =` with nothing after it unsets the key (no warning),
                // so a later line can undo an earlier one.
                if val.is_empty() {
                    *field = None;
                } else if let Some(why) = scope_slice_problem(val) {
                    config.warnings.push(format!(
                        "{key} = {val} — {why}; keeping the previous value (default: no slice, systemd's default placement)"
                    ));
                } else {
                    *field = Some(val.to_string());
                }
            }
            // Removed with the sidecar system: read, never applied, and
            // reported once after the loop.
            "sidecar_toggle_key" => removed_sidecar_toggle_key = true,
            "agent_name" => config.agent_name = Some(val.to_string()),
            "identity" => config.identity = Some(val.to_string()),
            "disabled_plugins" => {
                config.disabled_plugins = parse_comma_list(val);
            }
            "favorite_models" => {
                config.favorite_models = parse_comma_list(val);
            }
            "disabled_skills" => {
                config.disabled_skills = parse_comma_list(val);
            }
            "progressive_tool_disclosure" => {
                config.progressive_tool_disclosure = matches!(val, "true" | "1" | "on" | "yes");
            }
            "tools.deferred_loading" => match val {
                "on" | "true" | "1" | "yes" => config.tools_deferred_loading = true,
                "off" | "false" | "0" | "no" => config.tools_deferred_loading = false,
                _ => config.warnings.push(format!(
                    "tools.deferred_loading = {val} — expected on or off; keeping the default (on)"
                )),
            },
            "tools.activation_confirm" => match ActivationConfirm::parse(val) {
                Some(mode) => config.tools_activation_confirm = mode,
                None => config.warnings.push(format!(
                    "tools.activation_confirm = {val} — expected auto, prompt or deny; \
                     keeping the default (auto)"
                )),
            },
            "tools.always_loaded" => {
                let (ids, bad) = parse_tool_id_list(val);
                config.tools_always_loaded = ids;
                if !bad.is_empty() {
                    config.warnings.push(format!(
                        "tools.always_loaded: ignoring malformed tool id(s) {} — expected \
                         namespace:name, e.g. ext.axel:search or builtin:subagent",
                        bad.join(", ")
                    ));
                }
            }
            "session_persistence" => {
                match crate::core::session_journal::SessionPersistence::parse(val) {
                    Some(mode) => config.session_persistence = mode,
                    None => config.warnings.push(format!(
                        "session_persistence = {val} — expected json or journal; \
                         keeping the default (json)"
                    )),
                }
            }
            "disabled_tools" => {
                config.disabled_tools = parse_comma_list(val);
            }
            // The removed memory backend keys. Read, never validated:
            // whatever the values, the family is reported once, after the
            // loop, and nothing else changes.
            "memory.backend" if val != "axel" => removed_other_backend = true,
            "memory.backend" | "memory.user_scope" | "memory.axel.executable"
            | "memory.axel.brain" => removed_axel_backend = true,
            // Removed in 0.12.0: ignored, reported once after the loop.
            key if REMOVED_SHELL_KEYS.contains(&key) => {
                if let Some(i) = REMOVED_SHELL_KEYS.iter().position(|k| *k == key) {
                    removed_shell_keys[i] = true;
                }
            }
            _ => {
                // Handle namespaced keys
                if key.starts_with("server.") {
                    if let Some(warning) = parse_server_config_key(&mut config.server, key, val) {
                        if !config.warnings.contains(&warning) {
                            config.warnings.push(warning);
                        }
                    }
                } else if REMOVED_BRIDGE_KEYS.contains(&key) {
                    let warning = removed_bridge_warning();
                    if !config.warnings.contains(&warning) {
                        config.warnings.push(warning);
                    }
                } else if key.starts_with("auth.") {
                    parse_auth_config_key(&mut config.auth, key, val);
                    if let Some(key) = key.strip_prefix("auth.auto.").filter(|k| !k.trim().is_empty()) {
                        let (_, warnings) = crate::auth::AutoSelectionPolicy::from_config_map(
                            &BTreeMap::from([(key.to_string(), val.trim().to_string())]));
                        config.warnings.extend(warnings);
                    }
                    if let Some(provider) =
                        key.strip_prefix("auth.account.").filter(|p| !p.trim().is_empty())
                    {
                        let mut one = BTreeMap::new();
                        one.insert(provider.trim().to_string(), val.trim().to_string());
                        let (_, warnings) =
                            crate::core::auth::AccountPolicy::from_config_map(&one);
                        config.warnings.extend(warnings);
                    }
                    if let Some(warning) = unknown_auth_key_warning(key) {
                        config.warnings.push(warning);
                    }
                } else if key.starts_with("events.") {
                    if let Err(diagnostic) = parse_events_config_key(&mut config.events, key, val)
                    {
                        family_diagnostic(diagnostic);
                    }
                } else if key.starts_with("turn_budget.") {
                    match parse_turn_budget_config_key(&mut config.turn_budgets, key, val) {
                        Ok(None) => {}
                        Ok(Some(warning)) => {
                            if !config.warnings.contains(&warning) {
                                config.warnings.push(warning);
                            }
                        }
                        Err(diagnostic) => family_diagnostic(diagnostic),
                    }
                } else if REMOVED_AUTOMATIC_MEMORY_KEYS.contains(&key) {
                    // One warning for the family, whatever the values.
                    let warning = removed_automatic_memory_warning();
                    if !config.warnings.contains(&warning) {
                        config.warnings.push(warning);
                    }
                } else if let Some(field) = key.strip_prefix("memory.") {
                    family_diagnostic(format!("Warning: unknown memory field '{field}'"));
                } else if key.starts_with("startup.") {
                    if let Err(reason) =
                        parse_startup_config_key(&mut config.startup, key, val)
                    {
                        config.warnings.push(format!("{key} — {reason}"));
                    }
                } else if key.starts_with("daemon.") {
                    if let Err(reason) =
                        parse_daemon_config_key(&mut config.daemon, key, val)
                    {
                        config.warnings.push(format!("{key} — {reason}"));
                    }
                } else if key.starts_with("subagent.") {
                    if let Err(reason) =
                        parse_subagent_config_key(&mut config.subagent, key, val)
                    {
                        config.warnings.push(format!("{key} — {reason}"));
                    }
                } else if key.starts_with("context_management.") {
                    if let Err(reason) = parse_context_management_config_key(
                        &mut config.context_management, key, val,
                    ) {
                        invalid_context_management = true;
                        config.warnings.push(format!("{key} — {reason}"));
                    }
                } else if let Some(provider_key) = key.strip_prefix("provider.") {
                    config
                        .provider_keys
                        .insert(provider_key.to_string(), val.to_string());
                } else if let Some(keybind_key) = key.strip_prefix("keybind.") {
                    config
                        .keybinds
                        .insert(keybind_key.to_string(), val.to_string());
                } else if key.contains('.') {
                    // Dotted keys are namespaced (plugin/extension config, e.g.
                    // `knowledge.jawz_notes`). Plugins define their own keys —
                    // not ours to police. Silently preserved.
                } else {
                    // Unknown top-level key — warn with a did-you-mean if close.
                    match did_you_mean(key) {
                        Some(suggestion) => config.warnings.push(format!(
                            "unknown key '{key}' (did you mean '{suggestion}'?)"
                        )),
                        None => config
                            .warnings
                            .push(format!("unknown key '{key}' — ignored")),
                    }
                }
            }
        }
    }

    // Never leave a partially parsed automatic policy enabled. Syntax errors
    // invalidate this whole parse pass, even if a later duplicate is valid.
    let context_validation = match config.context_window {
        Some(window) => config.context_management.validate_for_window(window),
        None => config.context_management.validate(),
    };
    if let Err(reason) = context_validation {
        invalid_context_management = true;
        config
            .warnings
            .push(format!("context_management — {reason}"));
    }
    // The delegation policy refuses concurrent > total, which would take
    // subagents away entirely. Keep the stricter number for both. Checked
    // after the loop so key order never matters.
    if config.subagent.max_concurrent > config.subagent.max_total {
        config.warnings.push(format!(
            "subagent.max_concurrent ({}) is above subagent.max_total ({}); using {} for both",
            config.subagent.max_concurrent, config.subagent.max_total, config.subagent.max_total
        ));
        config.subagent.max_concurrent = config.subagent.max_total;
    }
    if invalid_context_management {
        config.context_management = ContextManagementConfig::default();
        config.warnings.push(
            "invalid context_management configuration — using defaults (mode off)".to_string(),
        );
    }

    // One line for the removed memory backend keys, however many there are
    // and in whatever order: the Axel one when the config selected or
    // configured Axel, else the one for a bare `memory.backend`.
    if removed_axel_backend {
        config.warnings.push(removed_axel_backend_warning());
    } else if removed_other_backend {
        config.warnings.push(removed_memory_backend_warning());
    }
    if removed_sidecar_toggle_key {
        config.warnings.push(removed_sidecar_toggle_key_warning());
    }
    let set_shell_keys: Vec<&str> = REMOVED_SHELL_KEYS
        .iter()
        .zip(removed_shell_keys)
        .filter_map(|(k, set)| set.then_some(*k))
        .collect();
    if !set_shell_keys.is_empty() {
        config.warnings.push(removed_shell_keys_warning(&set_shell_keys));
    }
}

/// Read a single config value by exact key from the active config file.
pub fn read_config_value(key: &str) -> Option<String> {
    let path = resolve_read_path("config");
    let content = std::fs::read_to_string(&path).ok()?;
    for line in content.lines() {
        let line = line.trim();
        if line.is_empty() || line.starts_with('#') {
            continue;
        }
        let Some((k, v)) = line.split_once('=') else {
            continue;
        };
        if k.trim() == key.trim() {
            return Some(v.trim().to_string());
        }
    }
    None
}

/// Exclusive advisory lock on `<config>.lock`, held around every
/// read-modify-write of the config file (same pattern as `auth.json`).
/// Two writers (`/settings` in two processes, a `/model` favorite toggle
/// racing a settings edit) no longer lose each other's updates.
///
/// Held for the RMW only (< 1 ms); readers (`load_config`) never take it —
/// they already tolerate the atomic rename. `SYNAPS_CONFIG_LOCK=0` bypasses.
///
/// NOT reentrant: flock on a fresh fd of the same file from the same process
/// conflicts on Linux. Callers that already hold the guard must use the
/// `_locked` inner fns.
struct ConfigLock {
    _file: Option<std::fs::File>,
}

impl ConfigLock {
    fn acquire() -> std::io::Result<Self> {
        if std::env::var("SYNAPS_CONFIG_LOCK").as_deref() == Ok("0") {
            return Ok(Self { _file: None });
        }
        use fs4::fs_std::FileExt;
        let lock_path = resolve_write_path("config").with_extension("lock");
        if let Some(parent) = lock_path.parent() {
            std::fs::create_dir_all(parent)?;
        }
        let mut open = std::fs::OpenOptions::new();
        open.create(true).write(true).truncate(false);
        #[cfg(unix)]
        {
            use std::os::unix::fs::OpenOptionsExt;
            open.mode(0o600);
        }
        let file = open.open(&lock_path)?;
        FileExt::lock_exclusive(&file)?;
        Ok(Self { _file: Some(file) })
    }
}

/// Write a single `key = value` pair to `~/.synaps-cli/config` (or profile config).
/// Replaces the first existing line that matches the key, or appends if absent.
/// Preserves comments and unknown keys. Writes atomically via temp file + rename.
pub fn write_config_value(key: &str, value: &str) -> std::io::Result<()> {
    let _guard = ConfigLock::acquire()?;
    write_config_value_locked(key, value)
}

/// The RMW body; caller holds [`ConfigLock`].
fn write_config_value_locked(key: &str, value: &str) -> std::io::Result<()> {
    let path = resolve_write_path("config");
    let existing = std::fs::read_to_string(&path).unwrap_or_default();
    let out = replace_config_line(&existing, key, value);

    let tmp = path.with_extension("tmp");
    std::fs::write(&tmp, out)?;
    // Config may contain API keys — restrict to owner-only
    #[cfg(unix)]
    {
        use std::os::unix::fs::PermissionsExt;
        std::fs::set_permissions(&tmp, std::fs::Permissions::from_mode(0o600))?;
    }
    std::fs::rename(&tmp, &path)?;
    Ok(())
}

/// `existing` with the first `key = …` line replaced by `key = value` (or
/// the pair appended), comments and unknown keys preserved — exactly what
/// [`write_config_value`] writes.
fn replace_config_line(existing: &str, key: &str, value: &str) -> String {
    let key_trimmed = key.trim();
    let replacement = format!("{} = {}", key_trimmed, value);

    let mut found = false;
    let mut new_lines: Vec<String> = existing
        .lines()
        .map(|line| {
            if found {
                return line.to_string();
            }
            let t = line.trim_start();
            if t.starts_with('#') || t.is_empty() {
                return line.to_string();
            }
            if let Some((k, _)) = t.split_once('=') {
                if k.trim() == key_trimmed {
                    found = true;
                    return replacement.clone();
                }
            }
            line.to_string()
        })
        .collect();

    if !found {
        new_lines.push(replacement);
    }

    let mut out = new_lines.join("\n");
    if !out.ends_with('\n') {
        out.push('\n');
    }
    out
}

/// Add a favorite model id (`provider/model`) to config, preserving sort/dedup.
pub fn add_favorite_model(id: &str) -> std::io::Result<()> {
    let trimmed = id.trim();
    if trimmed.is_empty() {
        return Ok(());
    }
    let _guard = ConfigLock::acquire()?;
    let mut values = load_config().favorite_models;
    if !values.iter().any(|v| v == trimmed) {
        values.push(trimmed.to_string());
        values.sort();
    }
    write_comma_list_locked("favorite_models", &values)
}

/// Remove a favorite model id (`provider/model`) from config.
pub fn remove_favorite_model(id: &str) -> std::io::Result<()> {
    let _guard = ConfigLock::acquire()?;
    let mut values = load_config().favorite_models;
    values.retain(|v| v != id.trim());
    write_comma_list_locked("favorite_models", &values)
}

/// Return whether a model id is marked as favorite.
pub fn is_favorite_model(id: &str) -> bool {
    load_config().favorite_models.iter().any(|v| v == id.trim())
}

/// Whether a key matches the secret denylist (case-insensitive).
/// Used by the journal save path to ensure secret values never reach disk,
/// and by the client env capture to strip secrets before `Hello`.
pub fn is_secret_key(key: &str) -> bool {
    let upper = key.to_ascii_uppercase();
    upper.ends_with("_KEY")
        || upper.ends_with("_TOKEN")
        || upper.ends_with("_CREDENTIALS")
        || upper.ends_with("_API_KEY")
        || upper.contains("SECRET")
        || upper.contains("PASSWORD")
        || upper.contains("PASSWD")
        || upper.ends_with("_PAT")
        || upper.ends_with("_DSN")
}

/// Whether an env VALUE carries a credential regardless of its key name:
/// any URL with userinfo (`scheme://user:pass@host`, `scheme://key@host`),
/// anywhere in the value — `DATABASE_URL`, `HTTPS_PROXY`, a Sentry DSN or a
/// JDBC option string all qualify. The key-name denylist alone missed these,
/// so their credentials reached the daemon and the session files on disk.
/// A username-only URL (`ssh://git@host/…`) is treated as a secret too:
/// rare in an environment, and failing safe beats a guess.
pub fn is_secret_env_value(value: &str) -> bool {
    let mut rest = value;
    while let Some(i) = rest.find("://") {
        let scheme_ok = rest[..i]
            .chars()
            .next_back()
            .is_some_and(|c| c.is_ascii_alphanumeric());
        let after = &rest[i + 3..];
        // The authority ends at the path, query or fragment, or at a list /
        // option separator when several URLs share one value.
        let end = after
            .find(|c: char| {
                matches!(c, '/' | '?' | '#' | ',' | ';' | '"' | '\'') || c.is_whitespace()
            })
            .unwrap_or(after.len());
        if scheme_ok && after[..end].rfind('@').is_some_and(|at| at > 0) {
            return true;
        }
        rest = after;
    }
    false
}

/// Whether an env pair must never reach the daemon or disk: a secret key
/// name OR a value carrying credentials (see [`is_secret_env_value`]).
pub fn is_secret_env(key: &str, value: &str) -> bool {
    is_secret_key(key) || is_secret_env_value(value)
}

/// Working-habit steering shared by both stock prompts. It keeps output,
/// re-reads and file sizes down; those tokens otherwise ride along on every
/// later request. Phrased without hard tool names: any tool can be disabled.
macro_rules! default_prompt_steering {
    ($output_filters:literal) => {
        concat!(
            " Change existing files with targeted edits rather than rewriting them whole. \
            A file you just read or wrote is current in your context; re-read it only if it may have changed. \
            Keep files, docs and comments as lean as the task allows. \
            Keep command output small (quiet flags, ",
            $output_filters,
            ") and read large outputs selectively."
        )
    };
}

/// Stock system prompt on Windows, used only when no `--system` value and no
/// `system.md` exist. Custom prompts never include it.
pub const DEFAULT_PROMPT_WINDOWS: &str = concat!(
    "You are a helpful AI agent running in a terminal on Windows. \
    You have access to powershell, bash, read, and write tools. \
    Prefer the powershell tool for system commands and filesystem operations — it is native \
    to Windows and avoids quoting/path translation issues. \
    Use bash only when the task specifically requires WSL or a Unix environment. \
    Be concise and direct. Use tools when the user asks you to interact with the filesystem or run commands.",
    default_prompt_steering!("`Select-Object -Last N`, `Select-String`")
);

/// Stock system prompt on every other platform; see [`DEFAULT_PROMPT_WINDOWS`].
pub const DEFAULT_PROMPT_UNIX: &str = concat!(
    "You are a helpful AI agent running in a terminal. \
    You have access to bash, read, and write tools. \
    Be concise and direct. Use tools when the user asks you to interact with the filesystem or run commands.",
    default_prompt_steering!("`| tail -n`, `grep`, `head`")
);

/// The stock system prompt for this platform.
#[cfg(windows)]
pub const DEFAULT_PROMPT: &str = DEFAULT_PROMPT_WINDOWS;
/// The stock system prompt for this platform.
#[cfg(not(windows))]
pub const DEFAULT_PROMPT: &str = DEFAULT_PROMPT_UNIX;

/// Resolve the system prompt from CLI flag, config file, or default.
/// Priority: explicit value > ~/.synaps-cli/system.md > built-in default.
pub fn resolve_system_prompt(explicit: Option<&str>) -> String {
    if let Some(val) = explicit {
        let path = std::path::Path::new(val);
        if path.exists() && path.is_file() {
            return std::fs::read_to_string(path).unwrap_or_else(|_| val.to_string());
        }
        return val.to_string();
    }

    let system_path = resolve_read_path("system.md");
    if system_path.exists() {
        return std::fs::read_to_string(&system_path).unwrap_or_default();
    }

    DEFAULT_PROMPT.to_string()
}

#[cfg(test)]
mod tests {
    #[test]
    fn tools_deferred_loading_defaults_on_and_parses() {
        assert!(super::load_config_from_str("").tools_deferred_loading);
        assert!(
            !super::load_config_from_str("tools.deferred_loading = off\n").tools_deferred_loading
        );
        let bad = super::load_config_from_str("tools.deferred_loading = maybe\n");
        assert!(
            bad.tools_deferred_loading,
            "invalid value keeps the default"
        );
        assert!(bad
            .warnings
            .iter()
            .any(|w| w.contains("tools.deferred_loading")));
    }

    #[test]
    fn tools_always_loaded_parses_ids_and_warns_on_malformed() {
        use crate::orchestration::capability::ToolId;
        assert!(super::load_config_from_str("").tools_always_loaded.is_empty());
        let good = super::load_config_from_str(
            "tools.always_loaded =  ext.axel:search ,builtin:subagent,, ext.axel:search \n",
        );
        assert_eq!(
            good.tools_always_loaded,
            vec![
                ToolId::parse("ext.axel:search").unwrap(),
                ToolId::parse("builtin:subagent").unwrap(),
            ]
        );
        assert!(good.warnings.is_empty(), "{:?}", good.warnings);

        let bad = super::load_config_from_str(
            "tools.always_loaded = ext.axel:search, Axel Search, subagent\n",
        );
        assert_eq!(
            bad.tools_always_loaded,
            vec![ToolId::parse("ext.axel:search").unwrap()],
            "a malformed id is dropped, the good ones are kept"
        );
        let warning = bad
            .warnings
            .iter()
            .find(|w| w.contains("tools.always_loaded"))
            .expect("malformed ids warn");
        assert!(warning.contains("Axel Search") && warning.contains("subagent"), "{warning}");
    }

    #[test]
    fn secret_env_value_detects_credential_urls() {
        use super::is_secret_env_value as v;
        // user:password in the authority
        assert!(v("postgres://app:hunter2@db.internal:5432/prod"));
        assert!(v("redis://:pw@cache:6379/0"));
        assert!(v("http://user:pass@proxy.corp:3128"));
        assert!(v(
            "mongodb+srv://u:p@cluster0.example.net/db?retryWrites=true"
        ));
        // a key as the username, no password (Sentry DSN)
        assert!(v("https://abc123def456@o1.ingest.sentry.io/42"));
        // anywhere in the value, not only at the start; lists
        assert!(v("-Dspring.datasource.url=jdbc:postgresql://u:p@h/db"));
        assert!(v("redis://h1:6379,redis://u:p@h2:6379"));
        // no userinfo → not a secret
        assert!(!v("https://api.example.com/v1/items?q=a@b"));
        assert!(!v("http://host/path/with@sign"));
        assert!(!v("https://@host/empty-userinfo"));
        assert!(!v("git@github.com:org/repo.git"));
        assert!(!v("mailto:someone@example.com"));
        assert!(!v("someone@example.com"));
        assert!(!v("/usr/local/bin:/usr/bin"));
        assert!(!v(""));
    }

    #[test]
    fn secret_key_covers_pat_and_dsn() {
        assert!(super::is_secret_key("GITHUB_PAT"));
        assert!(super::is_secret_key("gh_pat"));
        assert!(super::is_secret_key("SENTRY_DSN"));
        assert!(!super::is_secret_key("PATH"));
        assert!(!super::is_secret_key("PATTERN_DIR"));
    }

    #[test]
    fn secret_env_is_key_or_value() {
        assert!(super::is_secret_env(
            "DATABASE_URL",
            "postgres://app:hunter2@db/prod"
        ));
        assert!(super::is_secret_env("GH_TOKEN", "anything"));
        assert!(!super::is_secret_env("DATABASE_URL", "postgres://db/prod"));
        assert!(!super::is_secret_env("HOME", "/home/u"));
    }
    #[test]
    fn startup_and_daemon_defaults() {
        let c = super::load_config_from_str("");
        assert!(c.startup.quick_start, "quick_start defaults ON");
        assert_eq!(c.startup.extensions_ready_timeout_secs, 30);
        assert_eq!(c.daemon.idle_exit_secs, 10);
        assert_eq!(c.daemon.prompt_abandon_secs, 3600);
        assert_eq!(c.daemon.parked_evict_secs, 3600);
        // No warnings for the absent keys.
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
    }

    #[test]
    fn startup_and_daemon_parse_all_keys() {
        let c = super::load_config_from_str(concat!(
            "startup.quick_start = off\n",
            "startup.extensions_ready_timeout_secs = 45\n",
            "daemon.idle_exit_secs = 20\n",
            "daemon.prompt_abandon_secs = 0\n",
            "daemon.parked_evict_secs = 120\n",
        ));
        assert!(!c.startup.quick_start);
        assert_eq!(c.startup.extensions_ready_timeout_secs, 45);
        assert_eq!(c.daemon.idle_exit_secs, 20);
        assert_eq!(c.daemon.prompt_abandon_secs, 0);
        assert_eq!(c.daemon.parked_evict_secs, 120);
        assert!(
            !c.warnings.iter().any(|w| w.contains("unknown")),
            "no unknown-key warning: {:?}",
            c.warnings
        );
    }

    #[test]
    fn subagent_limits_default_to_16_64_4() {
        let c = super::load_config_from_str("");
        assert_eq!(c.subagent, super::SubagentLimits::default());
        assert_eq!(c.subagent.max_concurrent, 16);
        assert_eq!(c.subagent.max_total, 64);
        assert_eq!(c.subagent.max_depth, 4);
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
    }

    #[test]
    fn subagent_limits_parse_and_are_known_keys() {
        let c = super::load_config_from_str(concat!(
            "subagent.max_concurrent = 24\n",
            "subagent.max_total = 100\n",
            "subagent.max_depth = 2\n",
            "subagent_timeout = 600\n",
        ));
        assert_eq!(c.subagent.max_concurrent, 24);
        assert_eq!(c.subagent.max_total, 100);
        assert_eq!(c.subagent.max_depth, 2);
        assert_eq!(c.subagent_timeout, 600, "the old flat key is unaffected");
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
        for k in [
            "subagent.max_concurrent",
            "subagent.max_total",
            "subagent.max_depth",
        ] {
            assert!(
                super::KNOWN_CONFIG_KEYS.contains(&k),
                "{k} not in KNOWN_CONFIG_KEYS"
            );
        }
    }

    #[test]
    fn subagent_cold_resume_compact_tokens_parses_defaults_and_warns() {
        let c = super::load_config_from_str("");
        assert_eq!(c.subagent_cold_resume_compact_tokens, 100_000);
        assert_eq!(
            super::SynapsConfig::default().subagent_cold_resume_compact_tokens,
            super::DEFAULT_SUBAGENT_COLD_RESUME_COMPACT_TOKENS
        );
        let c = super::load_config_from_str("subagent_cold_resume_compact_tokens = 250000\n");
        assert_eq!(c.subagent_cold_resume_compact_tokens, 250_000);
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
        let c = super::load_config_from_str("subagent_cold_resume_compact_tokens = 0\n");
        assert_eq!(c.subagent_cold_resume_compact_tokens, 0, "0 disables");
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
        let c = super::load_config_from_str("subagent_cold_resume_compact_tokens = lots\n");
        assert_eq!(c.subagent_cold_resume_compact_tokens, 100_000);
        assert!(
            c.warnings
                .iter()
                .any(|w| w.contains("subagent_cold_resume_compact_tokens")),
            "warnings: {:?}",
            c.warnings
        );
        assert!(super::KNOWN_CONFIG_KEYS.contains(&"subagent_cold_resume_compact_tokens"));
    }

    #[test]
    fn subagent_transform_hooks_key_parses_defaults_on_and_warns() {
        assert!(super::load_config_from_str("").subagent_transform_hooks, "default on");
        assert!(super::SynapsConfig::default().subagent_transform_hooks);
        for (line, want) in [
            ("subagent_transform_hooks = off\n", false),
            ("subagent_transform_hooks = false\n", false),
            ("subagent_transform_hooks = on\n", true),
            ("subagent_transform_hooks = true\n", true),
        ] {
            let c = super::load_config_from_str(line);
            assert_eq!(c.subagent_transform_hooks, want, "{line}");
            assert!(c.warnings.is_empty(), "{line}: {:?}", c.warnings);
        }
        let c = super::load_config_from_str("subagent_transform_hooks = maybe\n");
        assert!(c.subagent_transform_hooks, "bad value keeps the default");
        assert!(c.warnings.iter().any(|w| w.contains("subagent_transform_hooks")));
    }

    #[test]
    fn subagent_rollover_keys_parse_default_and_warn() {
        use super::ContextManagementMode;
        let c = super::load_config_from_str("");
        assert_eq!(c.subagent_context_management, ContextManagementMode::Auto);
        assert_eq!(c.subagent_rollover_tokens, 200_000);
        let d = super::SynapsConfig::default();
        assert_eq!(d.subagent_context_management, ContextManagementMode::Auto);
        assert_eq!(d.subagent_rollover_tokens, super::DEFAULT_SUBAGENT_ROLLOVER_TOKENS);

        let c = super::load_config_from_str(
            "subagent_context_management = OFF\nsubagent_rollover_tokens = 150000\n",
        );
        assert_eq!(c.subagent_context_management, ContextManagementMode::Off);
        assert_eq!(c.subagent_rollover_tokens, 150_000);
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
        let c = super::load_config_from_str("subagent_rollover_tokens = 20000\n");
        assert_eq!(c.subagent_rollover_tokens, 20_000, "the floor itself is accepted");
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);

        for (line, key) in [
            ("subagent_context_management = sometimes", "subagent_context_management"),
            ("subagent_rollover_tokens = lots", "subagent_rollover_tokens"),
            ("subagent_rollover_tokens = 19999", "subagent_rollover_tokens"),
            ("subagent_rollover_tokens = 0", "subagent_rollover_tokens"),
        ] {
            let c = super::load_config_from_str(line);
            assert_eq!(c.subagent_context_management, ContextManagementMode::Auto, "{line}");
            assert_eq!(c.subagent_rollover_tokens, 200_000, "{line}");
            assert!(
                c.warnings.iter().any(|w| w.contains(key)),
                "{line}: warnings {:?}",
                c.warnings
            );
        }
        for key in ["subagent_context_management", "subagent_rollover_tokens"] {
            assert!(super::KNOWN_CONFIG_KEYS.contains(&key), "{key}");
        }
    }

    #[test]
    fn legacy_flat_subagent_limit_keys_alias_the_dotted_keys() {
        let c = super::load_config_from_str(concat!(
            "subagent_max_concurrent = 256\n",
            "subagent_max_total = 1024\n",
        ));
        assert_eq!(c.subagent.max_concurrent, 256);
        assert_eq!(c.subagent.max_total, 1024);
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
        let c = super::load_config_from_str("subagent_max_concurrent = 0\n");
        assert_eq!(c.subagent, super::SubagentLimits::default());
        assert!(c.warnings.iter().any(|w| w.starts_with("subagent_max_concurrent")));
    }

    #[test]
    fn subagent_limits_reject_zero_and_junk_and_keep_defaults() {
        let c = super::load_config_from_str(concat!(
            "subagent.max_concurrent = 0\n",
            "subagent.max_total = lots\n",
            "subagent.max_depth = 70000\n",
            "subagent.max_children = 4\n",
        ));
        assert_eq!(c.subagent, super::SubagentLimits::default());
        for key in [
            "subagent.max_concurrent",
            "subagent.max_total",
            "subagent.max_depth",
            "subagent.max_children",
        ] {
            assert!(
                c.warnings.iter().any(|w| w.starts_with(key)),
                "expected a warning for {key}: {:?}",
                c.warnings
            );
        }
    }

    #[test]
    fn subagent_concurrency_above_total_uses_the_stricter_number() {
        // Either key order: the check runs after the whole file is parsed.
        for text in [
            "subagent.max_total = 10\nsubagent.max_concurrent = 32\n",
            "subagent.max_concurrent = 32\nsubagent.max_total = 10\n",
        ] {
            let c = super::load_config_from_str(text);
            assert_eq!(c.subagent.max_concurrent, 10);
            assert_eq!(c.subagent.max_total, 10);
            assert!(
                c.warnings
                    .iter()
                    .any(|w| w.contains("subagent.max_concurrent (32)")),
                "{:?}",
                c.warnings
            );
        }
        // Lowering only the total below the default concurrency also clamps.
        let c = super::load_config_from_str("subagent.max_total = 5\n");
        assert_eq!(c.subagent.max_concurrent, 5);
    }

    #[test]
    fn process_scopes_defaults_on_and_parses_auto_and_off() {
        assert!(super::load_config_from_str("").process_scopes);
        assert!(super::load_config_from_str("process_scopes = auto\n").process_scopes);
        let off = super::load_config_from_str("process_scopes = off\n");
        assert!(!off.process_scopes);
        assert!(off.warnings.is_empty(), "{:?}", off.warnings);
        let bad = super::load_config_from_str("process_scopes = sometimes\n");
        assert!(bad.process_scopes, "an invalid value keeps the default");
        assert!(bad.warnings.iter().any(|w| w.starts_with("process_scopes")));
        assert!(super::KNOWN_CONFIG_KEYS.contains(&"process_scopes"));
    }

    #[test]
    fn an_invalid_repeated_process_scopes_keeps_the_previous_value() {
        let c = super::load_config_from_str("process_scopes = off\nprocess_scopes = sometimes\n");
        assert!(
            c.warnings.iter().any(|w| w.starts_with("process_scopes = sometimes") && w.contains("keeping the previous value")),
            "{:?}",
            c.warnings
        );
        assert!(!c.process_scopes, "the earlier valid value is kept");
    }

    #[test]
    fn an_invalid_repeated_scope_slice_keeps_the_previous_value() {
        for key in ["tool_scope_slice", "daemon_scope_slice"] {
            let c = super::load_config_from_str(&format!("{key} = a.slice\n{key} = worker\n"));
            assert!(
                c.warnings.iter().any(|w| w.starts_with(&format!("{key} = worker")) && w.contains("keeping the previous value")),
                "{key}: {:?}",
                c.warnings
            );
            let kept = if key == "tool_scope_slice" { &c.tool_scope_slice } else { &c.daemon_scope_slice };
            assert_eq!(kept.as_deref(), Some("a.slice"), "{key}: the earlier valid value is kept");
        }
    }

    #[test]
    fn scope_slices_default_unset_and_parse_valid_names() {
        let c = super::load_config_from_str("");
        assert_eq!((c.tool_scope_slice, c.daemon_scope_slice), (None, None));
        let c = super::load_config_from_str(
            "tool_scope_slice = synaps_tools.slice\ndaemon_scope_slice = synaps:daemon_1.slice\n",
        );
        assert!(c.warnings.is_empty(), "{:?}", c.warnings);
        assert_eq!(c.tool_scope_slice.as_deref(), Some("synaps_tools.slice"));
        assert_eq!(c.daemon_scope_slice.as_deref(), Some("synaps:daemon_1.slice"));
        // A nested name is valid too (the docs say why a flat one is better).
        let c = super::load_config_from_str("tool_scope_slice = synaps-tools.slice\n");
        assert_eq!((c.warnings.len(), c.tool_scope_slice.as_deref()), (0, Some("synaps-tools.slice")));
        // Each key sets only its own field.
        let c = super::load_config_from_str("tool_scope_slice = a.slice\n");
        assert_eq!((c.tool_scope_slice.as_deref(), c.daemon_scope_slice.as_deref()), (Some("a.slice"), None));
        let c = super::load_config_from_str("daemon_scope_slice = d.slice\n");
        assert_eq!((c.tool_scope_slice.as_deref(), c.daemon_scope_slice.as_deref()), (None, Some("d.slice")));
        let longest = format!("{}.slice", "a".repeat(255 - ".slice".len()));
        assert_eq!(super::scope_slice_problem(&longest), None);
        for k in ["tool_scope_slice", "daemon_scope_slice"] {
            assert!(super::KNOWN_CONFIG_KEYS.contains(&k), "{k} not in KNOWN_CONFIG_KEYS");
        }
    }

    #[test]
    fn an_invalid_scope_slice_warns_and_keeps_the_default() {
        let too_long = format!("{}.slice", "a".repeat(256 - ".slice".len()));
        // Every invalid value the function or the parser lets through.
        let mut accepted: Vec<String> = Vec::new();
        for bad in [
            "worker",            // no .slice suffix
            "worker.service",    // another unit type
            "a/b.slice",         // a path
            "work er.slice",     // a space
            "work@er.slice",     // outside [A-Za-z0-9:_.-]
            "-.slice",           // the root slice
            "-worker.slice",     // a leading '-'
            "--worker.slice",
            ".slice",            // no name
            "worker--agent.slice",
            "worker-.slice",
            too_long.as_str(),   // 256 bytes
            "wörker.slice",      // non-ASCII
            "worker\0.slice",    // NUL
            "\"worker-agent.slice\"", // quoted: the file is not TOML
            "'worker-agent.slice'",
            "5",                 // other types: a number, a boolean
            "true",
        ] {
            if super::scope_slice_problem(bad).is_none() {
                accepted.push(bad.to_string());
            }
            for key in ["tool_scope_slice", "daemon_scope_slice"] {
                let c = super::load_config_from_str(&format!("{key} = {bad}\n"));
                let unset = (c.tool_scope_slice.as_deref(), c.daemon_scope_slice.as_deref()) == (None, None);
                if !unset || !c.warnings.iter().any(|w| w.starts_with(&format!("{key} = "))) {
                    accepted.push(format!("{key} = {bad}"));
                }
            }
        }
        assert!(accepted.is_empty(), "accepted: {accepted:?}");
    }

    #[test]
    fn an_empty_scope_slice_unsets_the_key_without_a_warning() {
        for key in ["tool_scope_slice", "daemon_scope_slice"] {
            for empty in [format!("{key} ="), format!("{key} =   "), format!("  {key}=")] {
                // Alone: unset, silently.
                let c = super::load_config_from_str(&format!("{empty}\n"));
                assert!(c.warnings.is_empty(), "{empty:?}: {:?}", c.warnings);
                assert_eq!((c.tool_scope_slice.as_deref(), c.daemon_scope_slice.as_deref()), (None, None), "{empty:?}");
                // After a valid line: that line is undone, the other key kept.
                let c = super::load_config_from_str(&format!(
                    "tool_scope_slice = synaps_tools.slice\ndaemon_scope_slice = synaps_daemon.slice\n{empty}\n"
                ));
                assert!(c.warnings.is_empty(), "{empty:?}: {:?}", c.warnings);
                let (unset, kept) = if key == "tool_scope_slice" {
                    (&c.tool_scope_slice, c.daemon_scope_slice.as_deref())
                } else {
                    (&c.daemon_scope_slice, c.tool_scope_slice.as_deref())
                };
                assert_eq!(unset, &None, "{empty:?}");
                assert!(kept.is_some_and(|k| k.starts_with("synaps_")), "{empty:?}: {kept:?}");
            }
        }
    }

    #[test]
    fn a_quoted_scope_slice_says_to_drop_the_quotes() {
        for quoted in ["\"worker-agent.slice\"", "'worker-agent.slice'", "\"worker-agent.slice", "worker-agent.slice'"] {
            let why = super::scope_slice_problem(quoted);
            assert!(why.is_some_and(|w| w.contains("without quotes")), "{quoted}: {why:?}");
        }
    }

    #[test]
    fn startup_quick_start_accepts_on() {
        let c = super::load_config_from_str("startup.quick_start = on\n");
        assert!(c.startup.quick_start);
    }

    #[test]
    fn startup_and_daemon_keys_are_known() {
        for k in [
            "startup.quick_start",
            "startup.extensions_ready_timeout_secs",
            "daemon.idle_exit_secs",
            "daemon.prompt_abandon_secs",
            "daemon.parked_evict_secs",
        ] {
            assert!(super::KNOWN_CONFIG_KEYS.contains(&k), "{k} not in KNOWN_CONFIG_KEYS");
        }
    }

    #[test]
    fn startup_daemon_bad_values_warn_and_keep_defaults() {
        let c = super::load_config_from_str(concat!(
            "startup.quick_start = maybe\n",
            "daemon.idle_exit_secs = soon\n",
        ));
        assert!(c.startup.quick_start, "invalid bool keeps default");
        assert_eq!(c.daemon.idle_exit_secs, 10, "invalid u64 keeps default");
        assert!(c.warnings.iter().any(|w| w.contains("startup.quick_start")));
        assert!(c.warnings.iter().any(|w| w.contains("daemon.idle_exit_secs")));
    }

    #[test]
    fn context_management_defaults_off_and_parses_all_keys() {
        use super::{ContextManagementConfig, ContextManagementMode};
        assert_eq!(
            super::load_config_from_str("").context_management,
            ContextManagementConfig::default()
        );
        let parsed = super::load_config_from_str(
            "context_management.mode = AUTO\n\
             context_management.pressure_tokens = 250000\n\
             context_management.rollover_tokens = 400000\n\
             context_management.reserve_tokens = 24000\n\
             context_management.finish_rounds = 3\n\
             context_window = 1m\n",
        );
        assert_eq!(
            parsed.context_management,
            ContextManagementConfig {
                mode: ContextManagementMode::Auto,
                pressure_tokens: Some(250_000),
                rollover_tokens: Some(400_000),
                reserve_tokens: 24_000,
                finish_rounds: 3,
                target_tokens: None,
            }
        );
        assert!(parsed.warnings.is_empty(), "{:?}", parsed.warnings);
        assert!(parsed.provider_keys.is_empty());
        assert!(super::load_config_from_str("context_management.mode = off")
            .warnings
            .is_empty());
    }

    #[test]
    fn context_management_auto_clears_overrides_and_allows_bounded_extremes() {
        for rounds in [0, super::ContextManagementConfig::MAX_FINISH_ROUNDS] {
            let parsed = super::load_config_from_str(&format!(
                "context_management.mode = auto\n\
                 context_management.pressure_tokens = 300000\n\
                 context_management.rollover_tokens = 450000\n\
                 context_management.pressure_tokens = auto\n\
                 context_management.rollover_tokens = AUTO\n\
                 context_management.finish_rounds = {rounds}\n"
            ));
            assert_eq!(parsed.context_management.pressure_tokens, None);
            assert_eq!(parsed.context_management.rollover_tokens, None);
            assert_eq!(parsed.context_management.finish_rounds, rounds);
            assert!(parsed.warnings.is_empty());
        }
    }

    #[test]
    fn context_management_invalid_values_reset_entire_policy() {
        for (key, value) in [
            ("mode", "on"),
            ("pressure_tokens", "0"),
            ("pressure_tokens", "-1"),
            ("pressure_tokens", "250k"),
            ("pressure_tokens", "18446744073709551616"),
            ("rollover_tokens", "1"),
            ("rollover_tokens", "nope"),
            ("reserve_tokens", "0"),
            ("reserve_tokens", "1000001"),
            ("reserve_tokens", "auto"),
            ("finish_rounds", "9"),
            ("finish_rounds", "-1"),
            ("finish_rounds", "4294967296"),
            ("finish_rounds", ""),
            ("mod", "auto"),
        ] {
            let parsed = super::load_config_from_str(&format!(
                "context_management.mode = auto\ncontext_management.{key} = {value}\n"
            ));
            assert_eq!(
                parsed.context_management,
                super::ContextManagementConfig::default(),
                "{key}={value}"
            );
            assert!(!parsed.warnings.is_empty(), "{key}={value}");
            assert!(parsed.provider_keys.is_empty());
        }
        let duplicate = super::load_config_from_str(
            "context_management.mode = auto\ncontext_management.finish_rounds = bad\ncontext_management.finish_rounds = 2"
        );
        assert_eq!(
            duplicate.context_management,
            super::ContextManagementConfig::default()
        );
    }

    #[test]
    fn context_management_target_tokens_parses_and_validates() {
        assert_eq!(
            super::load_config_from_str("")
                .context_management
                .target_tokens,
            None
        );
        let parsed = super::load_config_from_str(
            "context_management.mode = auto\ncontext_management.target_tokens = 120000\ncontext_window = 1m\n",
        );
        assert!(parsed.warnings.is_empty(), "{:?}", parsed.warnings);
        assert_eq!(parsed.context_management.target_tokens, Some(120_000));
        let auto = super::load_config_from_str(
            "context_management.target_tokens = 5000\ncontext_management.target_tokens = auto\n",
        );
        assert_eq!(auto.context_management.target_tokens, None);
        for fields in [
            "target_tokens = 0",
            "target_tokens = nope",
            "target_tokens = 250000",
            "pressure_tokens = 200000\ncontext_management.target_tokens = 200000",
        ] {
            let parsed = super::load_config_from_str(&format!(
                "context_management.mode = auto\ncontext_management.{fields}\ncontext_window = 1m\n"
            ));
            assert_eq!(
                parsed.context_management,
                super::ContextManagementConfig::default(),
                "{fields}"
            );
            assert!(!parsed.warnings.is_empty(), "{fields}");
        }
    }

    #[test]
    fn context_management_validates_final_threshold_order_and_window() {
        for fields in [
            "pressure_tokens = 400000\ncontext_management.rollover_tokens = 400000",
            "pressure_tokens = 500000\ncontext_management.rollover_tokens = 400000",
            "pressure_tokens = 1000000",
            "rollover_tokens = 1000001",
        ] {
            for window_first in [false, true] {
                let policy =
                    format!("context_management.mode = auto\ncontext_management.{fields}\n");
                let content = if window_first {
                    format!("context_window = 1m\n{policy}")
                } else {
                    format!("{policy}context_window = 1m\n")
                };
                let parsed = super::load_config_from_str(&content);
                assert_eq!(
                    parsed.context_management,
                    super::ContextManagementConfig::default()
                );
                assert!(!parsed.warnings.is_empty());
            }
        }
        // Temporarily reversed overrides are valid once the whole file is parsed.
        let parsed = super::load_config_from_str(
            "context_management.mode = auto\n\
             context_management.rollover_tokens = 100000\n\
             context_management.pressure_tokens = 300000\n\
             context_management.rollover_tokens = 450000\ncontext_window = 1m",
        );
        assert!(parsed.warnings.is_empty());
        assert_eq!(parsed.context_management.rollover_tokens, Some(450_000));
    }

    #[test]
    fn context_management_parsed_finish_override_bounds_rollover_extension() {
        use crate::core::context_policy::{
            assess_context, ContextAction, ContextBudget, ContextState, WorkPhase,
        };
        let config = super::load_config_from_str(
            "context_management.mode = auto\n\
             context_management.finish_rounds = 1\ncontext_window = 1m",
        );
        let budget = ContextBudget {
            context_window_tokens: 1_000_000,
            used_tokens: 400_000,
            hard_remaining_tokens: 600_000,
            required_next_round_tokens: 8_000,
        };
        let mut state = ContextState::default();
        state.report_phase(WorkPhase::Plan);
        let first = assess_context(&config.context_management, &state, budget);
        assert_eq!(
            first.action,
            ContextAction::FinishBounded {
                rounds_remaining: 0
            }
        );
        state = first.next_state;
        state.report_phase(WorkPhase::WrapUp);
        assert_eq!(
            assess_context(&config.context_management, &state, budget).action,
            ContextAction::Rollover
        );
    }

    #[test]
    fn context_management_keys_are_known_for_suggestions() {
        for key in [
            "mode",
            "pressure_tokens",
            "rollover_tokens",
            "reserve_tokens",
            "finish_rounds",
        ] {
            let full = format!("context_management.{key}");
            assert!(super::KNOWN_CONFIG_KEYS.contains(&full.as_str()));
            assert_eq!(
                super::did_you_mean(&format!("{full}x")),
                Some(full.as_str())
            );
        }
    }

    #[test]
    fn context_management_parsed_policy_rolls_over_before_executing_350k_plan() {
        use crate::core::context_policy::{
            assess_context, ContextAction, ContextBudget, ContextState, WorkPhase,
        };
        let config =
            super::load_config_from_str("context_management.mode = auto\ncontext_window = 1m");
        let budget = ContextBudget {
            context_window_tokens: config.context_window.unwrap(),
            used_tokens: 350_000,
            hard_remaining_tokens: 650_000,
            required_next_round_tokens: 8_000,
        };
        let mut state = ContextState::default();
        state.report_phase(WorkPhase::Plan);
        let plan = assess_context(&config.context_management, &state, budget);
        assert_eq!(plan.action, ContextAction::Advisory);
        state = plan.next_state;
        state.report_phase(WorkPhase::Execute);
        assert_eq!(
            assess_context(&config.context_management, &state, budget).action,
            ContextAction::Rollover
        );
    }

    #[test]
    fn thinking_display_defaults_summarized_and_parses() {
        use super::ThinkingDisplay;
        assert_eq!(super::load_config_from_str("").thinking_display, ThinkingDisplay::Summarized);
        assert_eq!(
            super::load_config_from_str("thinking_display = omitted\n").thinking_display,
            ThinkingDisplay::Omitted
        );
        assert_eq!(
            super::load_config_from_str("thinking_display = Summarized\n").thinking_display,
            ThinkingDisplay::Summarized
        );
        let invalid = super::load_config_from_str("thinking_display = raw\n");
        assert_eq!(invalid.thinking_display, ThinkingDisplay::Summarized, "invalid keeps the default");
        assert!(invalid.warnings.iter().any(|w| w.contains("thinking_display")));
        assert_eq!(ThinkingDisplay::Omitted.as_str(), "omitted");
    }

    #[test]
    fn tui_smooth_streaming_defaults_on_and_parses() {
        assert!(super::load_config_from_str("").tui_smooth_streaming);
        assert!(!super::load_config_from_str("tui_smooth_streaming = off\n").tui_smooth_streaming);
        assert!(super::load_config_from_str("tui_smooth_streaming = on\n").tui_smooth_streaming);
        let invalid = super::load_config_from_str("tui_smooth_streaming = jerky\n");
        assert!(invalid.tui_smooth_streaming, "invalid keeps the default (on)");
        assert!(invalid
            .warnings
            .iter()
            .any(|w| w.contains("tui_smooth_streaming")));
    }

    #[test]
    fn tui_streaming_glow_defaults_off_and_parses() {
        assert!(!super::load_config_from_str("").tui_streaming_glow);
        assert!(super::load_config_from_str("tui_streaming_glow = on\n").tui_streaming_glow);
        assert!(!super::load_config_from_str("tui_streaming_glow = off\n").tui_streaming_glow);
        let invalid = super::load_config_from_str("tui_streaming_glow = sparkly\n");
        assert!(
            !invalid.tui_streaming_glow,
            "invalid keeps the default (off)"
        );
        assert!(invalid
            .warnings
            .iter()
            .any(|w| w.contains("tui_streaming_glow")));
    }

    #[test]
    fn tui_background_opaque_defaults_and_parses_supported_values() {
        assert!(super::load_config_from_str("").tui_background_opaque);
        assert!(
            super::load_config_from_str("tui_background_opaque = opaque\n").tui_background_opaque
        );
        assert!(
            !super::load_config_from_str("tui_background_opaque = invisible\n")
                .tui_background_opaque
        );
        let invalid = super::load_config_from_str("tui_background_opaque = translucent\n");
        assert!(invalid.tui_background_opaque);
        assert!(invalid
            .warnings
            .iter()
            .any(|w| w.contains("tui_background_opaque")));
    }

    #[test]
    fn turn_budget_keys_parse_typed_per_role() {
        let config = super::load_config_from_str(
            "turn_budget.worker.max_provider_rounds = 3\n\
             turn_budget.worker.max_cost_usd = 0.25\n\
             turn_budget.foreground.max_tool_calls = 7\n\
             turn_budget.foreground.max_round_renewals = 12\n\
             turn_budget.worker.max_provider_rounds_bogus = 1\n\
             turn_budget.nosuchrole.max_tool_calls = 1\n",
        );
        assert_eq!(
            config.turn_budgets.worker.max_provider_rounds,
            Some(super::TurnLimit::Max(3))
        );
        assert_eq!(config.turn_budgets.worker.max_cost_usd, Some(0.25));
        assert_eq!(
            config.turn_budgets.foreground.max_tool_calls,
            Some(super::TurnLimit::Max(7))
        );
        assert_eq!(config.turn_budgets.foreground.max_round_renewals, Some(12));
        // Unknown fields/roles warn and change nothing.
        assert_eq!(config.turn_budgets.worker.max_tool_calls, None);
        // Invalid values keep the default (None).
        let bad = super::load_config_from_str("turn_budget.worker.max_provider_rounds = nope\n");
        assert_eq!(bad.turn_budgets.worker.max_provider_rounds, None);
    }

    #[test]
    fn removed_autonomous_turn_budget_role_still_loads_with_one_warning() {
        let content = "turn_budget.autonomous.max_tool_calls = 5\n\
                       turn_budget.autonomous.max_elapsed_secs = 90\n\
                       turn_budget.worker.max_tool_calls = 7\n";
        let config = super::load_config_from_str(content);
        assert_eq!(config.warnings, [super::removed_autonomous_budget_warning()]);
        assert_eq!(
            config.turn_budgets.worker.max_tool_calls,
            Some(super::TurnLimit::Max(7))
        );
        assert_eq!(
            super::config_content_problems(content),
            [super::removed_autonomous_budget_warning()]
        );
    }

    #[test]
    fn turn_budget_count_limits_accept_unlimited() {
        let config = super::load_config_from_str(
            "turn_budget.event.max_provider_rounds = unlimited\n\
             turn_budget.event.max_tool_calls = \"unlimited\"\n\
             turn_budget.worker.max_accumulated_tool_result_bytes = Unlimited\n",
        );
        assert!(config.warnings.is_empty(), "{:?}", config.warnings);
        let unlimited = Some(super::TurnLimit::Unlimited);
        assert_eq!(config.turn_budgets.event.max_provider_rounds, unlimited);
        assert_eq!(config.turn_budgets.event.max_tool_calls, unlimited);
        assert_eq!(
            config.turn_budgets.worker.max_accumulated_tool_result_bytes,
            Some(super::TurnLimit::Unlimited)
        );
        let bad = super::load_config_from_str("turn_budget.worker.max_tool_calls = lots\n");
        assert_eq!(bad.turn_budgets.worker.max_tool_calls, None);
    }

    #[test]
    fn turn_budget_zero_count_limits_keep_none_allowed_with_a_deprecation_warning() {
        // 0.10.2 read `0` as "none allowed". For one release it keeps that
        // meaning in every role (also where the default is unlimited), and
        // says it will be rejected later.
        for role in ["foreground", "event", "worker"] {
            for field in [
                "max_provider_rounds",
                "max_tool_calls",
                "max_accumulated_tool_result_bytes",
            ] {
                let key = format!("turn_budget.{role}.{field}");
                let content = format!("{key} = 0\n");
                let config = super::load_config_from_str(&content);
                let overrides = match role {
                    "foreground" => &config.turn_budgets.foreground,
                    "event" => &config.turn_budgets.event,
                    _ => &config.turn_budgets.worker,
                };
                let parsed = match field {
                    "max_provider_rounds" => overrides.max_provider_rounds.map(|l| l.map(|v| v as usize)),
                    "max_tool_calls" => overrides.max_tool_calls.map(|l| l.map(|v| v as usize)),
                    _ => overrides.max_accumulated_tool_result_bytes,
                };
                assert_eq!(parsed, Some(super::TurnLimit::Max(0)), "{key}");
                assert!(
                    config.warnings.iter().any(|w| w.contains(&key)
                        && w.contains("none allowed")
                        && w.contains(
                            "`0` will be rejected in a future release; use `unlimited` for no limit, or a positive number"
                        )),
                    "{key}: {:?}",
                    config.warnings
                );
                assert!(!super::config_content_problems(&content).is_empty());
            }
        }
    }

    /// An old config with every automatic-memory key still loads: one
    /// warning for the family, with the exact text, and no key changes
    /// anything. Garbage values are not validated, so they cannot add a
    /// second warning or a diagnostic.
    #[test]
    fn removed_automatic_memory_keys_still_load_with_one_warning() {
        let expected = format!(
            "memory.default_mode, memory.recall_* and memory.capture_* (and \
             memory.auto_consolidate, memory.local_embeddings, memory.gliner) are ignored: \
             built-in automatic memory was removed in {}; an extension provides capture and \
             recall through hooks. Remove these lines",
            crate::AXEL_BACKEND_REMOVED_IN
        );
        assert_eq!(super::removed_automatic_memory_warning(), expected);
        let valid = "memory.default_mode = capture_and_recall\n\
             memory.default_mode_confirmed = true\n\
             memory.recall_max_records = 12\n\
             memory.recall_max_tokens = 2048\n\
             memory.recall_timeout_ms = 250\n\
             memory.capture_tools = off\n\
             memory.capture_assistant = false\n\
             memory.capture_user = false\n\
             memory.auto_consolidate = on\n\
             memory.local_embeddings = on\n\
             memory.gliner = on\n\
             model = claude-sonnet-4-6\n";
        let garbage = "memory.default_mode = recall_everything_forever\n\
             memory.default_mode_confirmed = definitely\n\
             memory.recall_max_records = lots\n\
             memory.recall_max_tokens = -5\n\
             memory.recall_timeout_ms = fast\n\
             memory.capture_tools = full\n\
             memory.capture_assistant = maybe\n\
             memory.capture_user = sometimes\n\
             memory.auto_consolidate = aggressive\n\
             memory.local_embeddings = auto\n\
             memory.gliner = download\n\
             model = claude-sonnet-4-6\n";
        assert_eq!(valid.lines().filter(|l| l.contains("memory.")).count(), 11);
        let plain = super::load_config_from_str("model = claude-sonnet-4-6\n");
        for content in [valid, garbage] {
            let config = super::load_config_from_str(content);
            assert_eq!(config.warnings, std::slice::from_ref(&expected), "{:?}", config.warnings);
            // The family reaches nothing else: the next key still parses.
            assert_eq!(config.model.as_deref(), Some("claude-sonnet-4-6"));
            assert_eq!(config.context_management, plain.context_management);
            // No stderr diagnostic either: the warning is all there is.
            assert_eq!(super::config_content_problems(content), std::slice::from_ref(&expected));
        }
        // Each key alone gives the same one warning.
        for key in super::REMOVED_AUTOMATIC_MEMORY_KEYS {
            let config = super::load_config_from_str(&format!("{key} = on\n"));
            assert_eq!(config.warnings, std::slice::from_ref(&expected), "{key}");
        }
        // The old consent warning is gone: an unconfirmed mode says only that
        // the key is ignored.
        let unconfirmed = super::load_config_from_str("memory.default_mode = recall_each_prompt\n");
        assert_eq!(unconfirmed.warnings, std::slice::from_ref(&expected));
        // A `memory.*` key that never existed is still reported as unknown,
        // not as removed.
        assert_eq!(
            super::config_content_problems("memory.nosuchfield = 1\n"),
            ["Warning: unknown memory field 'nosuchfield'".to_string()]
        );
    }

    /// The first warning of the removed memory backend keys, as written.
    fn axel_backend_warning() -> String {
        let v = crate::AXEL_BACKEND_REMOVED_IN;
        let expected = format!(
            "The Axel memory backend (memory.backend = axel, memory.user_scope, \
             memory.axel.*) is no longer supported: since {v} Synaps keeps context archives and \
             notes in plain files under its base directory, always, and Axel is an extension. \
             This session uses plain files. Archives and notes saved to the Axel brain are not \
             read any more: move them once with \"axel synaps-export\" (Axel 0.1.0) and \
             \"synaps memory import-archives\" / \"import-notes\", install the Axel extension \
             for recall and the forum, then remove the memory.backend, memory.user_scope and \
             memory.axel.* lines. See \
             https://github.com/HaseebKhalid1507/SynapsCLI/blob/dev/docs/upgrading/{v}.md"
        );
        assert_eq!(super::removed_axel_backend_warning(), expected);
        expected
    }

    /// The second: a `memory.backend` line that is not `axel`, alone.
    fn other_backend_warning() -> String {
        let expected = format!(
            "memory.backend is ignored: plain files are the only memory storage since {}. \
             Remove this line",
            crate::AXEL_BACKEND_REMOVED_IN
        );
        assert_eq!(super::removed_memory_backend_warning(), expected);
        expected
    }

    /// T-B1. A config that selected or configured the Axel backend still
    /// loads: one warning with the exact text, whatever the values, their
    /// order or how often a key appears, and nothing else is reported or
    /// changed. What used to make the backend "unavailable" (a relative
    /// brain, a helper that is not there, a bad `user_scope`) is among them.
    #[test]
    fn a_config_with_the_axel_backend_keys_loads_with_one_warning() {
        let expected = axel_backend_warning();
        for content in [
            "memory.backend = axel\n",
            "memory.backend = axel\nmemory.backend = axel\nmemory.backend = axel\n",
            "memory.backend = axel\nmemory.axel.brain = relative/brain.r8\n",
            "memory.backend = axel\nmemory.axel.brain = ~/brain\n",
            "memory.backend = axel\nmemory.axel.executable = /nonexistent/synaps-axel-memory-service\n",
            "memory.backend = axel\nmemory.axel.executable = \nmemory.axel.brain = \n",
            "memory.backend = axel\nmemory.user_scope = true\n",
            "memory.user_scope = yes\nmemory.backend = axel\n",
            "memory.backend = axel\nmemory.user_scope = true\n\
             memory.axel.executable = /opt/axel/service\nmemory.axel.brain = /opt/axel/brain.r8\n",
            // Any of the other three alone, with any value.
            "memory.user_scope = false\n",
            "memory.user_scope = \n",
            "memory.axel.executable = /opt/axel/service\n",
            "memory.axel.brain = relative\n",
            "memory.axel.brain = /a\nmemory.axel.brain = /b\nmemory.axel.brain = /c\n",
            // With another selector beside them, in either order.
            "memory.backend = legacy\nmemory.axel.brain = /opt/axel/brain.r8\n",
            "memory.backend = axel\nmemory.backend = legacy\n",
            "memory.backend = sqlite\nmemory.backend = axel\n",
        ] {
            let content = format!("{content}model = claude-sonnet-4-6\n");
            let config = super::load_config_from_str(&content);
            assert_eq!(config.warnings, std::slice::from_ref(&expected), "{content}");
            // No stderr diagnostic either, and the next key still parses.
            assert_eq!(super::config_content_problems(&content), std::slice::from_ref(&expected));
            assert_eq!(config.model.as_deref(), Some("claude-sonnet-4-6"), "{content}");
        }
    }

    /// T-B1. `memory.backend` with any other value, and no other backend
    /// key: the short warning, once. `sqlite`, a typo and an empty value
    /// are no different from `legacy`.
    #[test]
    fn a_config_with_another_memory_backend_loads_with_the_short_warning() {
        let expected = other_backend_warning();
        for content in [
            "memory.backend = legacy\n",
            "memory.backend = sqlite\n",
            "memory.backend = typo\n",
            "memory.backend = unavailable\n",
            "memory.backend = \n",
            "memory.backend = AXEL\n",
            "memory.backend = legacy\nmemory.backend = sqlite\nmemory.backend = legacy\n",
        ] {
            let config = super::load_config_from_str(content);
            assert_eq!(config.warnings, std::slice::from_ref(&expected), "{content}");
            assert_eq!(super::config_content_problems(content), std::slice::from_ref(&expected));
        }
        // No such line, no warning.
        assert!(super::load_config_from_str("model = claude-sonnet-4-6\n").warnings.is_empty());
    }

    /// T-B1. The removed families are independent and say nothing about each
    /// other; `context_management.mode = auto` beside them is on and has no
    /// warning of its own (it seals to plain files).
    #[test]
    fn removed_memory_keys_do_not_touch_context_management_or_each_other() {
        let content = "memory.backend = axel\n\
             memory.user_scope = true\n\
             memory.axel.executable = /nonexistent/service\n\
             memory.axel.brain = relative/brain.r8\n\
             memory.default_mode = capture_and_recall\n\
             memory.gliner = on\n\
             context_management.mode = auto\n";
        let config = super::load_config_from_str(content);
        assert_eq!(
            config.warnings,
            [super::removed_automatic_memory_warning(), axel_backend_warning()],
        );
        assert_eq!(config.context_management.mode, ContextManagementMode::Auto);
        let plain = super::load_config_from_str("context_management.mode = auto\n");
        assert!(plain.warnings.is_empty(), "{:?}", plain.warnings);
        assert_eq!(config.context_management, plain.context_management);

        let legacy = super::load_config_from_str(
            "context_management.mode = auto\nmemory.backend = legacy\n",
        );
        assert_eq!(legacy.warnings, [other_backend_warning()]);
        assert_eq!(legacy.context_management, plain.context_management);
    }

    use super::*;
    use serial_test::serial;

    #[test]
    fn test_levenshtein_basics() {
        assert_eq!(levenshtein("model", "model"), 0);
        assert_eq!(levenshtein("modle", "model"), 2);
        assert_eq!(levenshtein("them", "theme"), 1);
    }

    #[test]
    fn test_did_you_mean_close_typos() {
        assert_eq!(did_you_mean("modle"), Some("model"));
        assert_eq!(did_you_mean("them"), Some("theme"));
        assert_eq!(did_you_mean("thinkng"), Some("thinking"));
        assert_eq!(did_you_mean("completely_unrelated_key"), None);
    }

    #[test]
    #[serial]
    fn test_config_warnings_unknown_key_and_bad_values() {
        let home = std::env::temp_dir().join(format!("synaps-warn-test-{}", std::process::id()));
        let dir = home.join(".synaps-cli");
        std::fs::create_dir_all(&dir).unwrap();
        std::fs::write(dir.join("config"), "modle = claude-opus-4-6\nthinking = hgih\nbash_timeout = 0\nknowledge.jawz_notes = ~/Jawz/notes\ncustom.plugin.key = 42\n").unwrap();

        with_home(&home, || {
            let config = load_config();
            // Dotted (namespaced) keys must NOT warn — plugins own those.
            assert_eq!(config.warnings.len(), 3, "warnings: {:?}", config.warnings);
            assert!(
                !config.warnings.iter().any(|w| w.contains("knowledge")),
                "{:?}",
                config.warnings
            );
            assert!(
                config
                    .warnings
                    .iter()
                    .any(|w| w.contains("did you mean 'model'")),
                "{:?}",
                config.warnings
            );
            assert!(
                config.warnings.iter().any(|w| w.contains("thinking")),
                "{:?}",
                config.warnings
            );
            assert!(
                config.warnings.iter().any(|w| w.contains("below minimum")),
                "{:?}",
                config.warnings
            );
            // Bad values fall back to defaults
            assert_eq!(config.bash_timeout, 30);
            assert_eq!(config.thinking_budget, None);
        });
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    fn test_client_input_is_shared_by_default_and_parses() {
        assert_eq!(SynapsConfig::default().client_input, ClientInput::Shared);
        assert_eq!(load_config_from_str("").client_input, ClientInput::Shared);
        assert_eq!(load_config_from_str("client_input = exclusive\n").client_input, ClientInput::Exclusive);
        assert_eq!(load_config_from_str("client_input = Shared\n").client_input, ClientInput::Shared);
        let c = load_config_from_str("client_input = mine\n");
        assert_eq!(c.client_input, ClientInput::Shared);
        assert!(c.warnings.iter().any(|w| w.contains("client_input")), "{:?}", c.warnings);
        assert_eq!(ClientInput::wire_default(), ClientInput::Exclusive, "an older daemon enforces the owner");
    }

    // ── cache_keepwarm (task #444) ──

    #[test]
    fn test_cache_keepwarm_is_off_by_default() {
        assert_eq!(SynapsConfig::default().cache_keepwarm, CacheKeepWarm::Off);
        assert_eq!(load_config_from_str("").cache_keepwarm, CacheKeepWarm::Off);
    }

    #[test]
    fn test_cache_keepwarm_parse_table() {
        for (raw, want) in [
            ("off", Some(CacheKeepWarm::Off)),
            ("OFF", Some(CacheKeepWarm::Off)),
            ("0h", Some(CacheKeepWarm::Off)),
            ("auto", Some(CacheKeepWarm::Auto)),
            (" Auto ", Some(CacheKeepWarm::Auto)),
            ("1h", Some(CacheKeepWarm::Hours(1))),
            ("12H", Some(CacheKeepWarm::Hours(12))),
            ("48h", Some(CacheKeepWarm::Hours(MAX_CACHE_KEEPWARM_HOURS))),
            ("49h", None),
            ("12", None),
            ("h", None),
            ("-1h", None),
            ("lots", None),
        ] {
            assert_eq!(CacheKeepWarm::parse(raw), want, "{raw:?}");
        }
        for mode in [CacheKeepWarm::Off, CacheKeepWarm::Auto, CacheKeepWarm::Hours(6)] {
            assert_eq!(CacheKeepWarm::parse(&mode.to_string()), Some(mode));
        }
    }

    #[test]
    fn test_telemetry_log_generations_config_key() {
        let c = load_config_from_str("telemetry = basic\n");
        assert_eq!(c.telemetry_log_generations, 1, "default: one generation");

        let c = load_config_from_str("telemetry_log_generations = 7\n");
        assert_eq!(c.telemetry_log_generations, 7);
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);

        for bad in ["0", "101", "-1", "lots"] {
            let c = load_config_from_str(&format!("telemetry_log_generations = {bad}\n"));
            assert_eq!(c.telemetry_log_generations, 1, "{bad}");
            assert!(
                c.warnings
                    .iter()
                    .any(|w| w.contains("telemetry_log_generations")),
                "{bad}: {:?}",
                c.warnings
            );
        }
    }

    #[test]
    fn test_cache_keepwarm_headless_key() {
        assert!(!SynapsConfig::default().cache_keepwarm_headless, "default off");
        assert!(!load_config_from_str("").cache_keepwarm_headless);
        for on in ["true", "1", "on", "yes", "TRUE"] {
            let c = load_config_from_str(&format!("cache_keepwarm_headless = {on}\n"));
            assert!(c.cache_keepwarm_headless, "{on}");
            assert!(c.warnings.is_empty(), "{on}: {:?}", c.warnings);
        }
        for off in ["false", "0", "off", "no"] {
            let c = load_config_from_str(&format!("cache_keepwarm_headless = {off}\n"));
            assert!(!c.cache_keepwarm_headless, "{off}");
        }
        let c = load_config_from_str("cache_keepwarm_headless = maybe\n");
        assert!(!c.cache_keepwarm_headless, "garbage keeps it off");
        assert!(c.warnings.iter().any(|w| w.contains("cache_keepwarm_headless")));
    }

    #[test]
    fn test_cache_keepwarm_tools_key() {
        assert!(SynapsConfig::default().cache_keepwarm_tools, "default on");
        assert!(load_config_from_str("").cache_keepwarm_tools);
        for off in ["false", "0", "off", "no", "OFF"] {
            let c = load_config_from_str(&format!("cache_keepwarm_tools = {off}\n"));
            assert!(!c.cache_keepwarm_tools, "{off}");
            assert!(c.warnings.is_empty(), "{off}: {:?}", c.warnings);
        }
        for on in ["true", "1", "on", "yes"] {
            assert!(load_config_from_str(&format!("cache_keepwarm_tools = {on}\n")).cache_keepwarm_tools);
        }
        let c = load_config_from_str("cache_keepwarm_tools = maybe\n");
        assert!(c.cache_keepwarm_tools, "garbage keeps it on");
        assert!(c.warnings.iter().any(|w| w.contains("cache_keepwarm_tools")));
    }

    #[test]
    fn test_cache_keepwarm_config_key() {
        let c = load_config_from_str("cache_keepwarm = auto\ncache_ttl = 5m\n");
        assert_eq!(c.cache_keepwarm, CacheKeepWarm::Auto);
        assert_eq!(c.cache_ttl, CacheTtlSetting::Fixed(CacheTtl::FiveMinutes));
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);

        let c = load_config_from_str("cache_keepwarm = 6h\n");
        assert_eq!(c.cache_keepwarm, CacheKeepWarm::Hours(6));

        assert_eq!(c.cache_keepwarm_auto_max_hours, 24, "default auto cap");

        let c = load_config_from_str("cache_keepwarm_auto_max_hours = 8\n");
        assert_eq!(c.cache_keepwarm_auto_max_hours, 8);
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);
        let c = load_config_from_str("cache_keepwarm_auto_max_hours = 12h\n");
        assert_eq!(c.cache_keepwarm_auto_max_hours, 12);
        for bad in ["0", "49", "lots"] {
            let c = load_config_from_str(&format!("cache_keepwarm_auto_max_hours = {bad}\n"));
            assert_eq!(c.cache_keepwarm_auto_max_hours, 24, "{bad}");
            assert!(
                c.warnings.iter().any(|w| w.contains("auto_max_hours")),
                "{bad}"
            );
        }

        let c = load_config_from_str("cache_keepwarm = forever\n");
        assert_eq!(c.cache_keepwarm, CacheKeepWarm::Off, "garbage keeps keep-warm off");
        assert!(c.warnings.iter().any(|w| w.contains("cache_keepwarm")));
    }

    #[test]
    fn request_compression_keys_parse_and_warn() {
        let c = load_config_from_str("");
        assert_eq!(c.request_compression, RequestCompressionMode::Auto);
        assert_eq!(c.request_compression_level, DEFAULT_REQUEST_COMPRESSION_LEVEL);

        for (val, want) in [
            ("auto", RequestCompressionMode::Auto),
            ("ON", RequestCompressionMode::On),
            (" off ", RequestCompressionMode::Off),
        ] {
            let c = load_config_from_str(&format!("request_compression = {val}\n"));
            assert_eq!(c.request_compression, want, "{val:?}");
            assert!(c.warnings.is_empty(), "{val:?}: {:?}", c.warnings);
            assert_eq!(RequestCompressionMode::parse(&want.to_string()), Some(want));
        }
        let c = load_config_from_str("request_compression = brotli\n");
        assert_eq!(c.request_compression, RequestCompressionMode::Auto);
        assert!(c.warnings.iter().any(|w| w.contains("request_compression")));

        for level in 1..=MAX_REQUEST_COMPRESSION_LEVEL {
            let c = load_config_from_str(&format!("request_compression_level = {level}\n"));
            assert_eq!(c.request_compression_level, level);
            assert!(c.warnings.is_empty());
        }
        for bad in ["0", "10", "max", "-1"] {
            let c = load_config_from_str(&format!("request_compression_level = {bad}\n"));
            assert_eq!(c.request_compression_level, DEFAULT_REQUEST_COMPRESSION_LEVEL, "{bad}");
            assert!(
                c.warnings.iter().any(|w| w.contains("request_compression_level")),
                "{bad}"
            );
        }
    }

    // ── cache_ttl parse table (spec §3.1) ──

    #[test]
    fn test_cache_ttl_parse_table() {
        // 5m aliases
        assert_eq!(CacheTtl::parse("5m"), Some(CacheTtl::FiveMinutes));
        assert_eq!(CacheTtl::parse("5min"), Some(CacheTtl::FiveMinutes));
        assert_eq!(CacheTtl::parse("default"), Some(CacheTtl::FiveMinutes));
        // 1h aliases
        assert_eq!(CacheTtl::parse("1h"), Some(CacheTtl::OneHour));
        assert_eq!(CacheTtl::parse("60m"), Some(CacheTtl::OneHour));
        assert_eq!(CacheTtl::parse("1hr"), Some(CacheTtl::OneHour));
        // hybrid
        assert_eq!(CacheTtl::parse("hybrid"), Some(CacheTtl::Hybrid));
        // case-insensitive
        assert_eq!(CacheTtl::parse("1H"), Some(CacheTtl::OneHour));
        assert_eq!(CacheTtl::parse("HYBRID"), Some(CacheTtl::Hybrid));
        assert_eq!(CacheTtl::parse("Default"), Some(CacheTtl::FiveMinutes));
        // garbage → None (caller warns + defaults)
        assert_eq!(CacheTtl::parse("2h"), None);
        assert_eq!(CacheTtl::parse(""), None);
        assert_eq!(CacheTtl::parse("forever"), None);
    }

    #[test]
    fn test_cache_ttl_default_is_auto() {
        // The wire policy's own default stays the historical bare 5m marker;
        // the *config* default is `auto` (resolved per credential kind).
        assert_eq!(CacheTtl::default(), CacheTtl::FiveMinutes);
        assert_eq!(CacheTtlSetting::default(), CacheTtlSetting::Auto);
        assert_eq!(SynapsConfig::default().cache_ttl, CacheTtlSetting::Auto);
        // An empty config file leaves it at auto.
        assert_eq!(load_config_from_str("").cache_ttl, CacheTtlSetting::Auto);
    }

    #[test]
    fn test_cache_ttl_setting_parse_and_round_trip() {
        assert_eq!(CacheTtlSetting::parse("auto"), Some(CacheTtlSetting::Auto));
        assert_eq!(CacheTtlSetting::parse(" AUTO "), Some(CacheTtlSetting::Auto));
        assert_eq!(
            CacheTtlSetting::parse("5m"),
            Some(CacheTtlSetting::Fixed(CacheTtl::FiveMinutes))
        );
        assert_eq!(
            CacheTtlSetting::parse("1hr"),
            Some(CacheTtlSetting::Fixed(CacheTtl::OneHour))
        );
        assert_eq!(
            CacheTtlSetting::parse("hybrid"),
            Some(CacheTtlSetting::Fixed(CacheTtl::Hybrid))
        );
        for bad in ["", "2h", "forever", "automatic", "on"] {
            assert_eq!(CacheTtlSetting::parse(bad), None, "{bad:?}");
        }
        // as_str → parse is the identity for every value, and the written
        // config line reloads to the same setting.
        for setting in [
            CacheTtlSetting::Auto,
            CacheTtlSetting::Fixed(CacheTtl::FiveMinutes),
            CacheTtlSetting::Fixed(CacheTtl::OneHour),
            CacheTtlSetting::Fixed(CacheTtl::Hybrid),
        ] {
            assert_eq!(CacheTtlSetting::parse(setting.as_str()), Some(setting));
            assert_eq!(setting.to_string(), setting.as_str());
            let cfg = load_config_from_str(&format!("cache_ttl = {setting}\n"));
            assert_eq!(cfg.cache_ttl, setting);
            assert!(cfg.warnings.is_empty(), "{setting}: {:?}", cfg.warnings);
        }
    }

    #[test]
    fn test_cache_ttl_setting_resolution() {
        // auto: subscription (OAuth) → 1h, API key → 5m.
        assert_eq!(CacheTtlSetting::Auto.resolve(true), CacheTtl::OneHour);
        assert_eq!(CacheTtlSetting::Auto.resolve(false), CacheTtl::FiveMinutes);
        assert_eq!(
            CacheTtlSetting::Auto.resolve_for_auth_type("oauth"),
            CacheTtl::OneHour
        );
        for not_oauth in ["api_key", "none", "", "OAuth"] {
            assert_eq!(
                CacheTtlSetting::Auto.resolve_for_auth_type(not_oauth),
                CacheTtl::FiveMinutes,
                "{not_oauth:?}"
            );
        }
        // Explicit values win over the credential kind, both ways.
        for ttl in [CacheTtl::FiveMinutes, CacheTtl::OneHour, CacheTtl::Hybrid] {
            for oauth in [true, false] {
                assert_eq!(CacheTtlSetting::Fixed(ttl).resolve(oauth), ttl);
            }
        }
    }

    #[test]
    fn test_max_fps_default_is_60() {
        assert_eq!(SynapsConfig::default().max_fps, 60);
    }

    // ── theme_transition parse table (animated theme transitions) ──

    #[test]
    fn test_theme_transition_parse_table() {
        use ThemeTransitionMode as M;
        assert_eq!(M::parse("on"), Some(M::On));
        assert_eq!(M::parse("ON"), Some(M::On));
        assert_eq!(M::parse("off"), Some(M::Off));
        assert_eq!(M::parse("Off"), Some(M::Off));
        // integer ms, clamped to 0..=2000
        assert_eq!(M::parse("500"), Some(M::Ms(500)));
        assert_eq!(M::parse("0"), Some(M::Ms(0)));
        assert_eq!(M::parse("2000"), Some(M::Ms(2000)));
        assert_eq!(M::parse("99999"), Some(M::Ms(2000)), "clamped to MAX_MS");
        // garbage → None (caller warns + keeps default)
        assert_eq!(M::parse("fast"), None);
        assert_eq!(M::parse(""), None);
        assert_eq!(M::parse("-5"), None);
        assert_eq!(M::parse("1.5"), None);
    }

    #[test]
    fn test_theme_transition_duration_ms() {
        use ThemeTransitionMode as M;
        assert_eq!(M::On.duration_ms(), M::DEFAULT_MS);
        assert_eq!(M::DEFAULT_MS, 350);
        assert_eq!(M::Off.duration_ms(), 0);
        assert_eq!(M::Ms(120).duration_ms(), 120);
        assert_eq!(M::Ms(0).duration_ms(), 0, "0 ms behaves like off");
        assert_eq!(M::Ms(u64::MAX).duration_ms(), M::MAX_MS);
    }

    #[test]
    fn test_theme_transition_config_key_parses_and_defaults() {
        use ThemeTransitionMode as M;
        assert_eq!(SynapsConfig::default().theme_transition, M::On);
        assert_eq!(
            super::load_config_from_str("theme_transition = off\n").theme_transition,
            M::Off
        );
        assert_eq!(
            super::load_config_from_str("theme_transition = 750\n").theme_transition,
            M::Ms(750)
        );
        let bad = super::load_config_from_str("theme_transition = warp\n");
        assert_eq!(bad.theme_transition, M::On, "bad value keeps default");
        assert!(
            bad.warnings.iter().any(|w| w.contains("theme_transition")),
            "{:?}",
            bad.warnings
        );
    }

    #[test]
    #[serial]
    fn test_max_fps_config_parse_and_validation() {
        let home = std::env::temp_dir().join(format!("synaps-maxfps-test-{}", std::process::id()));
        let dir = home.join(".synaps-cli");
        std::fs::create_dir_all(&dir).unwrap();

        // Valid high-refresh value parses, no warning.
        std::fs::write(dir.join("config"), "max_fps = 144\n").unwrap();
        with_home(&home, || {
            let config = load_config();
            assert_eq!(config.max_fps, 144);
            assert!(
                config.warnings.is_empty(),
                "warnings: {:?}",
                config.warnings
            );
        });

        // Out-of-range (0) → default 60 + boot warning (never blocks boot).
        std::fs::write(dir.join("config"), "max_fps = 0\n").unwrap();
        with_home(&home, || {
            let config = load_config();
            assert_eq!(config.max_fps, 60);
            assert!(
                config.warnings.iter().any(|w| w.contains("max_fps")),
                "warnings: {:?}",
                config.warnings
            );
        });

        // Non-numeric → default 60 + warning.
        std::fs::write(dir.join("config"), "max_fps = fast\n").unwrap();
        with_home(&home, || {
            let config = load_config();
            assert_eq!(config.max_fps, 60);
            assert!(
                config.warnings.iter().any(|w| w.contains("max_fps")),
                "warnings: {:?}",
                config.warnings
            );
        });

        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn test_cache_ttl_config_parse_and_garbage_warning() {
        let home =
            std::env::temp_dir().join(format!("synaps-cachettl-test-{}", std::process::id()));
        let dir = home.join(".synaps-cli");
        std::fs::create_dir_all(&dir).unwrap();

        // Valid value parses, no warning.
        std::fs::write(dir.join("config"), "cache_ttl = hybrid\n").unwrap();
        with_home(&home, || {
            let config = load_config();
            assert_eq!(config.cache_ttl, CacheTtlSetting::Fixed(CacheTtl::Hybrid));
            assert!(
                config.warnings.is_empty(),
                "warnings: {:?}",
                config.warnings
            );
        });

        // Garbage value → 5m default + boot warning (never blocks boot).
        std::fs::write(dir.join("config"), "cache_ttl = 2h\n").unwrap();
        with_home(&home, || {
            let config = load_config();
            assert_eq!(config.cache_ttl, CacheTtlSetting::Auto);
            assert!(
                config.warnings.iter().any(|w| w.contains("cache_ttl")),
                "warnings: {:?}",
                config.warnings
            );
        });

        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    fn subagent_thinking_config_is_independent_and_validated() {
        use crate::core::reasoning::ReasoningLevel;
        let cfg = load_config_from_str("thinking = low\n");
        assert_eq!(cfg.subagent_thinking, ReasoningLevel::XHigh);
        for value in ["low", "medium", "high", "xhigh", "max"] {
            let cfg = load_config_from_str(&format!("thinking = high\nsubagent_thinking = {value}\n"));
            assert_eq!(cfg.subagent_thinking.as_str(), value);
            assert_eq!(cfg.thinking_level, Some(ReasoningLevel::High));
            assert!(cfg.warnings.is_empty(), "{:?}", cfg.warnings);
        }
        for value in ["typo", "", "32768", "off", "ultra"] {
            let cfg = load_config_from_str(&format!("subagent_thinking = {value}\n"));
            assert_eq!(cfg.subagent_thinking, ReasoningLevel::XHigh);
            assert!(!cfg.warnings.is_empty(), "{value:?}");
        }
    }

    #[test]
    fn test_parse_thinking_budget() {
        use crate::core::reasoning::ThinkingSpec;
        // ThinkingSpec::parse replaced parse_thinking_budget; verify budget values.
        assert_eq!(ThinkingSpec::parse("low").unwrap().to_budget(), Some(2048));
        assert_eq!(
            ThinkingSpec::parse("medium").unwrap().to_budget(),
            Some(4096)
        );
        assert_eq!(
            ThinkingSpec::parse("high").unwrap().to_budget(),
            Some(16384)
        );
        assert_eq!(
            ThinkingSpec::parse("xhigh").unwrap().to_budget(),
            Some(32768)
        );
        assert_eq!(ThinkingSpec::parse("8192").unwrap().to_budget(), Some(8192));
        let config = load_config_from_str("thinking = 8192\n");
        assert_eq!(config.thinking_level, None);
        assert_eq!(config.thinking_budget, Some(8192));
        assert_eq!(ThinkingSpec::parse("invalid"), None);
    }

    #[test]
    fn test_base_dir() {
        let path = base_dir();
        assert!(path.to_string_lossy().ends_with(".synaps-cli"));
    }

    #[test]
    fn test_resolve_system_prompt_explicit() {
        let result = resolve_system_prompt(Some("test prompt"));
        assert_eq!(result, "test prompt");
    }

    #[test]
    #[serial]
    fn test_resolve_system_prompt_none() {
        // Empty base dir: no system.md, so the stock default applies.
        let home = std::env::temp_dir().join(format!("synaps-prompt-none-{}", std::process::id()));
        std::fs::create_dir_all(home.join(".synaps-cli")).unwrap();
        with_home(&home, || {
            assert_eq!(resolve_system_prompt(None), DEFAULT_PROMPT);
        });
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    fn default_prompts_carry_working_habit_steering() {
        for (name, prompt) in [
            ("unix", DEFAULT_PROMPT_UNIX),
            ("windows", DEFAULT_PROMPT_WINDOWS),
        ] {
            for needle in [
                "helpful AI agent running in a terminal",
                "Be concise and direct.",
                "targeted edits rather than rewriting them whole",
                "re-read it only if it may have changed",
                "as lean as the task allows",
                "Keep command output small",
                "read large outputs selectively",
            ] {
                assert!(prompt.contains(needle), "{name} prompt lacks {needle:?}");
            }
            assert!(!prompt.contains("  "), "{name} prompt has a double space");
            assert!(prompt.ends_with("selectively."), "{name}: {prompt}");
        }
        assert!(DEFAULT_PROMPT_UNIX.contains("`| tail -n`"));
        assert!(DEFAULT_PROMPT_WINDOWS.contains("on Windows"));
        assert!(DEFAULT_PROMPT_WINDOWS.contains("`Select-Object -Last N`"));
        assert!(!DEFAULT_PROMPT_WINDOWS.contains("tail -n"));
    }

    /// The stock prompt sits in the cached prefix of every stock request:
    /// keep it from silently ballooning.
    #[test]
    fn default_prompts_stay_small() {
        assert!(DEFAULT_PROMPT_UNIX.len() <= 640, "{}", DEFAULT_PROMPT_UNIX.len());
        assert!(DEFAULT_PROMPT_WINDOWS.len() <= 900, "{}", DEFAULT_PROMPT_WINDOWS.len());
    }

    /// Explicit `--system` text and files are used byte for byte; the stock
    /// steering never leaks into them.
    #[test]
    fn explicit_system_prompt_is_byte_identical() {
        let text = "  Custom prompt.\n\nKeep trailing whitespace.  \n";
        assert_eq!(resolve_system_prompt(Some(text)), text);

        let dir = std::env::temp_dir().join(format!("synaps-prompt-file-{}", std::process::id()));
        std::fs::create_dir_all(&dir).unwrap();
        let file = dir.join("system.txt");
        std::fs::write(&file, text).unwrap();
        assert_eq!(resolve_system_prompt(Some(file.to_str().unwrap())), text);
        let _ = std::fs::remove_dir_all(&dir);
    }

    /// A user `system.md` (base dir or active profile) replaces the stock
    /// default entirely, byte for byte.
    #[test]
    #[serial]
    fn system_md_prompt_is_byte_identical() {
        let text = "You are my agent.\nNo extra steering.\n";
        let home = std::env::temp_dir().join(format!("synaps-prompt-md-{}", std::process::id()));
        let dir = home.join(".synaps-cli");
        std::fs::create_dir_all(&dir).unwrap();
        std::fs::write(dir.join("system.md"), text).unwrap();
        with_home(&home, || {
            assert_eq!(resolve_system_prompt(None), text);
            // An explicit value still wins over system.md.
            assert_eq!(resolve_system_prompt(Some("explicit")), "explicit");
        });
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    fn test_synaps_config_default() {
        let config = SynapsConfig::default();
        assert_eq!(config.model, None);
        assert_eq!(config.thinking_budget, None);
        assert_eq!(config.max_tool_output, 30000);
        assert_eq!(config.bash_timeout, 30);
        assert_eq!(config.bash_max_timeout, 300);
        assert_eq!(config.subagent_timeout, 300);
        assert_eq!(config.api_retries, 3);
        assert_eq!(config.theme, None);
        assert!(config.disabled_plugins.is_empty());
        assert!(config.favorite_models.is_empty());
        assert!(config.disabled_skills.is_empty());
        assert!(!config.progressive_tool_disclosure);
        assert_eq!(config.tools_activation_confirm, ActivationConfirm::Auto);
        // Server config defaults
        assert!(!config.server.auto_approve_confirms);
    }

    #[test]
    fn read_dedupe_key_parses_defaults_on_and_warns() {
        assert!(super::load_config_from_str("").read_dedupe, "default on");
        for (line, want) in [
            ("read_dedupe = off\n", false),
            ("read_dedupe = false\n", false),
            ("read_dedupe = on\n", true),
            ("read_dedupe = true\n", true),
        ] {
            let c = super::load_config_from_str(line);
            assert_eq!(c.read_dedupe, want, "{line}");
            assert!(c.warnings.is_empty(), "{line}: {:?}", c.warnings);
        }
        let c = super::load_config_from_str("read_dedupe = maybe\n");
        assert!(c.read_dedupe, "bad value keeps the default");
        assert!(c.warnings.iter().any(|w| w.contains("read_dedupe")));
    }

    #[test]
    fn tool_output_spill_keys_parse_defaults_and_warn() {
        let c = super::load_config_from_str("");
        assert_eq!(c.tool_output_spill_bytes, 12 * 1024);
        assert_eq!(c.tool_output_spill_head_bytes, 4 * 1024);
        assert_eq!(c.tool_output_spill_tail_bytes, 3 * 1024);
        let d = super::SynapsConfig::default();
        assert_eq!(d.tool_output_spill_bytes, super::DEFAULT_TOOL_OUTPUT_SPILL_BYTES);
        assert_eq!(d.tool_output_spill_head_bytes, super::DEFAULT_TOOL_OUTPUT_SPILL_HEAD_BYTES);
        assert_eq!(d.tool_output_spill_tail_bytes, super::DEFAULT_TOOL_OUTPUT_SPILL_TAIL_BYTES);

        let c = super::load_config_from_str(concat!(
            "tool_output_spill_bytes = 20000\n",
            "tool_output_spill_head_bytes = 6000\n",
            "tool_output_spill_tail_bytes = 0\n",
        ));
        assert_eq!(c.tool_output_spill_bytes, 20_000);
        assert_eq!(c.tool_output_spill_head_bytes, 6_000);
        assert_eq!(c.tool_output_spill_tail_bytes, 0, "a head-only preview is allowed");
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);

        let c = super::load_config_from_str("tool_output_spill_bytes = 0\n");
        assert_eq!(c.tool_output_spill_bytes, 0, "0 turns virtualisation off");
        assert!(c.warnings.is_empty(), "warnings: {:?}", c.warnings);

        for key in [
            "tool_output_spill_bytes",
            "tool_output_spill_head_bytes",
            "tool_output_spill_tail_bytes",
        ] {
            let c = super::load_config_from_str(&format!("{key} = lots\n"));
            assert_eq!(c.tool_output_spill_bytes, super::DEFAULT_TOOL_OUTPUT_SPILL_BYTES);
            assert_eq!(c.tool_output_spill_head_bytes, super::DEFAULT_TOOL_OUTPUT_SPILL_HEAD_BYTES);
            assert_eq!(c.tool_output_spill_tail_bytes, super::DEFAULT_TOOL_OUTPUT_SPILL_TAIL_BYTES);
            assert!(
                c.warnings.iter().any(|w| w.contains(key)),
                "{key}: warnings: {:?}",
                c.warnings
            );
            assert!(super::KNOWN_CONFIG_KEYS.contains(&key));
        }
    }

    #[test]
    #[serial]
    fn test_load_config_tools_activation_confirm_modes() {
        for (raw, expected, warns) in [
            ("prompt", ActivationConfirm::Prompt, false),
            ("deny", ActivationConfirm::Deny, false),
            ("AUTO", ActivationConfirm::Auto, false),
            ("garbage", ActivationConfirm::Auto, true),
        ] {
            let home = make_test_home(&format!("activation-confirm-{raw}"));
            let cfg = home.join(".synaps-cli/config");
            std::fs::write(&cfg, format!("tools.activation_confirm = {raw}\n")).unwrap();
            with_home(&home, || {
                let config = load_config();
                assert_eq!(config.tools_activation_confirm, expected, "{raw}");
                assert_eq!(
                    config.warnings.iter().any(|w| w.contains("tools.activation_confirm")),
                    warns,
                    "{raw}: {:?}",
                    config.warnings
                );
            });
            let _ = std::fs::remove_dir_all(&home);
        }
    }

    #[test]
    #[serial]
    fn test_load_config_progressive_tool_disclosure_is_opt_in() {
        let home = make_test_home("progressive-tool-disclosure");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(&cfg, "progressive_tool_disclosure = true\n").unwrap();

        with_home(&home, || {
            let config = load_config();
            assert!(config.progressive_tool_disclosure);
            assert!(config.warnings.is_empty());
        });

        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    fn removed_watcher_bridge_keys_still_load_with_one_warning() {
        let config = load_config_from_str(
            "bridge.uds_path = /tmp/some/control.sock\n\
             bridge.heartbeat_mirror = true\n\
             bridge.heartbeat_timeout_ms = 750\n\
             bridge.plugin_key = kept\n\
             model = claude-sonnet-4-6\n",
        );
        assert_eq!(config.model.as_deref(), Some("claude-sonnet-4-6"));
        assert_eq!(config.warnings, [removed_bridge_warning()], "{:?}", config.warnings);
    }

    #[test]
    fn compaction_disclosure_keys_parse_with_typed_warnings() {
        let config = load_config_from_str(
            "compaction_mode = local\ncompaction_exclude = thinking, tool_results, bogus\n",
        );
        assert_eq!(
            config.compaction_mode,
            crate::core::compaction::CompactionMode::LocalOnly
        );
        assert_eq!(
            config.compaction_exclude,
            vec![
                crate::core::compaction::ContentClass::Thinking,
                crate::core::compaction::ContentClass::ToolResults,
            ]
        );
        assert!(
            config.warnings.iter().any(|w| w.contains("bogus")),
            "unknown class must warn: {:?}",
            config.warnings
        );

        let defaults = load_config_from_str("");
        assert_eq!(
            defaults.compaction_mode,
            crate::core::compaction::CompactionMode::Remote
        );
        assert!(defaults.compaction_exclude.is_empty());

        let bad_mode = load_config_from_str("compaction_mode = cloud\n");
        assert_eq!(
            bad_mode.compaction_mode,
            crate::core::compaction::CompactionMode::Remote
        );
        assert!(bad_mode
            .warnings
            .iter()
            .any(|w| w.contains("compaction_mode")));
    }

    #[test]
    #[serial]
    fn test_load_config_server_keys() {
        let home = make_test_home("server-keys");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(
            &cfg,
            "\
server.allowed_origins = http://localhost:3000, http://localhost:5193\n\
server.token = my-secret-token\n\
server.auto_approve_confirms = true\n\
server.max_message_size = 65536\n\
context_window = 200k\n\
",
        )
        .unwrap();

        with_home(&home, || {
            // A config written for the removed `synaps server` still loads:
            // its keys are ignored with one deprecation warning for all of
            // them, and every other key (here context_window) still applies.
            let config = load_config();
            assert!(config.server.auto_approve_confirms);
            assert_eq!(config.context_window, Some(200_000));
            assert_eq!(config.warnings, [removed_server_warning()], "{:?}", config.warnings);
            // The warning names keys, never their values (the token is a secret).
            for value in ["my-secret-token", "localhost:3000", "localhost:5193", "65536"] {
                assert!(
                    !config.warnings.iter().any(|w| w.contains(value)),
                    "{value} echoed: {:?}",
                    config.warnings
                );
            }
        });

        let _ = std::fs::remove_dir_all(&home);
    }

    fn make_test_home(subdir: &str) -> std::path::PathBuf {
        let dir = std::path::PathBuf::from(format!("/tmp/synaps-write-test-{}", subdir));
        let _ = std::fs::remove_dir_all(&dir);
        std::fs::create_dir_all(dir.join(".synaps-cli")).unwrap();
        dir
    }

    fn with_home<F: FnOnce()>(home: &std::path::Path, f: F) {
        // `base_dir()` reads SYNAPS_BASE_DIR before HOME: pin it too, or a value
        // another test left set redirects the write away from `home`.
        let original = std::env::var("HOME").ok();
        let original_base = std::env::var("SYNAPS_BASE_DIR").ok();
        std::env::set_var("HOME", home);
        std::env::set_var("SYNAPS_BASE_DIR", home.join(".synaps-cli"));
        f();
        if let Some(h) = original {
            std::env::set_var("HOME", h);
        } else {
            std::env::remove_var("HOME");
        }
        if let Some(b) = original_base {
            std::env::set_var("SYNAPS_BASE_DIR", b);
        } else {
            std::env::remove_var("SYNAPS_BASE_DIR");
        }
    }

    #[test]
    #[serial]
    fn write_config_value_replaces_existing_key() {
        let home = make_test_home("replace");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(&cfg, "model = claude-opus-4-6\nthinking = low\n").unwrap();

        with_home(&home, || {
            write_config_value("model", "claude-sonnet-4-6").unwrap();
        });

        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("model = claude-sonnet-4-6"));
        assert!(contents.contains("thinking = low"));
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn write_config_value_appends_when_missing() {
        let home = make_test_home("append");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(&cfg, "model = claude-opus-4-6\n").unwrap();

        with_home(&home, || {
            write_config_value("theme", "dracula").unwrap();
        });

        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("model = claude-opus-4-6"));
        assert!(contents.contains("theme = dracula"));
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn write_config_value_concurrent_writers_lose_nothing() {
        let home = make_test_home("concurrent");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(&cfg, "# keep\n").unwrap();

        // HOME is process-global; set it for the whole test, not per thread.
        with_home(&home, || {
            let a = std::thread::spawn(|| {
                for i in 0..200 {
                    write_config_value("a_key", &i.to_string()).unwrap();
                }
            });
            let b = std::thread::spawn(|| {
                for i in 0..200 {
                    write_config_value("b_key", &i.to_string()).unwrap();
                }
            });
            a.join().unwrap();
            b.join().unwrap();
        });

        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("# keep"), "{contents}");
        assert!(contents.contains("a_key = 199"), "{contents}");
        assert!(contents.contains("b_key = 199"), "{contents}");
        assert_eq!(contents.matches("a_key").count(), 1);
        assert_eq!(contents.matches("b_key").count(), 1);

        #[cfg(unix)]
        {
            use std::os::unix::fs::PermissionsExt;
            let lock = home.join(".synaps-cli/config.lock");
            let mode = std::fs::metadata(&lock).unwrap().permissions().mode() & 0o777;
            assert_eq!(mode, 0o600);
        }
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn config_lock_kill_switch_still_writes() {
        let home = make_test_home("lock-off");
        let cfg = home.join(".synaps-cli/config");
        std::env::set_var("SYNAPS_CONFIG_LOCK", "0");
        with_home(&home, || {
            write_config_value("model", "claude-sonnet-4-6").unwrap();
        });
        std::env::remove_var("SYNAPS_CONFIG_LOCK");
        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("model = claude-sonnet-4-6"));
        assert!(!home.join(".synaps-cli/config.lock").exists());
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn add_favorite_model_end_to_end_does_not_deadlock() {
        let home = make_test_home("favorite-lock");
        let cfg = home.join(".synaps-cli/config");
        with_home(&home, || {
            add_favorite_model("anthropic/claude-sonnet-4-6").unwrap();
            add_favorite_model("openai/gpt-5").unwrap();
            remove_favorite_model("anthropic/claude-sonnet-4-6").unwrap();
        });
        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("favorite_models = openai/gpt-5"), "{contents}");
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn write_config_value_preserves_comments() {
        let home = make_test_home("comments");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(&cfg, "# user comment\nmodel = claude-opus-4-6\n# another\n").unwrap();

        with_home(&home, || {
            write_config_value("model", "claude-sonnet-4-6").unwrap();
        });

        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("# user comment"));
        assert!(contents.contains("# another"));
        assert!(contents.contains("model = claude-sonnet-4-6"));
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn write_config_value_preserves_unknown_keys() {
        let home = make_test_home("unknown");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(&cfg, "custom_thing = 42\nmodel = claude-opus-4-6\n").unwrap();

        with_home(&home, || {
            write_config_value("model", "claude-sonnet-4-6").unwrap();
        });

        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("custom_thing = 42"));
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn write_config_value_creates_file_if_absent() {
        let home = make_test_home("create");
        let cfg = home.join(".synaps-cli/config");
        assert!(!cfg.exists());

        with_home(&home, || {
            write_config_value("model", "claude-sonnet-4-6").unwrap();
        });

        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("model = claude-sonnet-4-6"));
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn load_config_parses_theme_key() {
        let dir = std::path::PathBuf::from("/tmp/synaps-config-test-theme/.synaps-cli");
        let _ = std::fs::create_dir_all(&dir);
        std::fs::write(dir.join("config"), "theme = dracula\n").unwrap();

        let original_home = std::env::var("HOME").ok();
        std::env::set_var("HOME", "/tmp/synaps-config-test-theme");

        let config = load_config();

        if let Some(home) = original_home {
            std::env::set_var("HOME", home);
        } else {
            std::env::remove_var("HOME");
        }
        let _ = std::fs::remove_dir_all("/tmp/synaps-config-test-theme");

        assert_eq!(config.theme.as_deref(), Some("dracula"));
    }

    #[test]
    #[serial]
    fn test_load_config_disable_lists() {
        let test_dir =
            std::path::PathBuf::from("/tmp/synaps-config-test-disable-lists/.synaps-cli");
        let _ = std::fs::create_dir_all(&test_dir);
        let config_path = test_dir.join("config");

        let config_content = r#"
# Test config with disable lists
favorite_models = claude/claude-opus-4-7, groq/llama-3.3-70b-versatile

disabled_plugins = foo, bar
disabled_skills = baz, plug:qual
"#;
        std::fs::write(&config_path, config_content).unwrap();

        let original_home = std::env::var("HOME").ok();
        std::env::set_var("HOME", "/tmp/synaps-config-test-disable-lists");

        let config = load_config();

        if let Some(home) = original_home {
            std::env::set_var("HOME", home);
        } else {
            std::env::remove_var("HOME");
        }

        let _ = std::fs::remove_dir_all("/tmp/synaps-config-test-disable-lists");

        assert_eq!(
            config.disabled_plugins,
            vec!["foo".to_string(), "bar".to_string()]
        );
        assert_eq!(
            config.favorite_models,
            vec![
                "claude/claude-opus-4-7".to_string(),
                "groq/llama-3.3-70b-versatile".to_string(),
            ]
        );
        assert_eq!(
            config.disabled_skills,
            vec!["baz".to_string(), "plug:qual".to_string()]
        );
    }

    #[test]
    #[serial]
    fn favorite_model_helpers_round_trip_through_config_file() {
        let home = make_test_home("favorite-models");
        let cfg = home.join(".synaps-cli/config");
        std::fs::write(&cfg, "model = claude-opus-4-7\n").unwrap();

        with_home(&home, || {
            add_favorite_model("groq/llama-3.3-70b-versatile").unwrap();
            add_favorite_model("claude/claude-opus-4-7").unwrap();
            add_favorite_model("groq/llama-3.3-70b-versatile").unwrap();
            assert!(is_favorite_model("groq/llama-3.3-70b-versatile"));
            remove_favorite_model("groq/llama-3.3-70b-versatile").unwrap();
            assert!(!is_favorite_model("groq/llama-3.3-70b-versatile"));
            assert!(is_favorite_model("claude/claude-opus-4-7"));
        });

        let contents = std::fs::read_to_string(&cfg).unwrap();
        assert!(contents.contains("model = claude-opus-4-7"));
        assert!(contents.contains("favorite_models = claude/claude-opus-4-7"));
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn test_load_config_new_keys() {
        // Create a temporary config directory with the new keys
        let test_dir = std::path::PathBuf::from("/tmp/synaps-config-test-new-keys/.synaps-cli");
        let _ = std::fs::create_dir_all(&test_dir);
        let config_path = test_dir.join("config");

        let config_content = r#"
# Test config with new keys
model = claude-haiku
thinking = medium
max_tool_output = 50000
bash_timeout = 45
bash_max_timeout = 600
subagent_timeout = 120
api_retries = 5
"#;
        std::fs::write(&config_path, config_content).unwrap();

        // Temporarily override the config path for this test
        let original_home = std::env::var("HOME").ok();
        std::env::set_var("HOME", "/tmp/synaps-config-test-new-keys");

        let config = load_config();

        // Restore original HOME
        if let Some(home) = original_home {
            std::env::set_var("HOME", home);
        } else {
            std::env::remove_var("HOME");
        }

        // Cleanup
        let _ = std::fs::remove_dir_all("/tmp/synaps-config-test-new-keys");

        assert_eq!(config.model, Some("claude-haiku".to_string()));
        assert_eq!(config.thinking_budget, Some(4096)); // medium = 4096
        assert_eq!(config.max_tool_output, 50000);
        assert_eq!(config.bash_timeout, 45);
        assert_eq!(config.bash_max_timeout, 600);
        assert_eq!(config.subagent_timeout, 120);
        assert_eq!(config.api_retries, 5);
    }

    // ── auth.* config + credential source (#157) ──

    // ── events.auto_turn parser ──────────────────────────────────────────────

    #[test]
    fn events_auto_turn_explicit_true_values() {
        for val in &["true", "TRUE", "1", "yes", "YES", "on", "ON"] {
            let cfg = load_config_from_str(&format!("events.auto_turn = {val}"));
            assert!(
                cfg.events.auto_turn,
                "expected true for events.auto_turn = {val}"
            );
        }
    }

    #[test]
    fn events_auto_turn_explicit_false_values() {
        for val in &["false", "FALSE", "0", "no", "NO", "off", "OFF"] {
            let cfg = load_config_from_str(&format!("events.auto_turn = {val}"));
            assert!(
                !cfg.events.auto_turn,
                "expected false for events.auto_turn = {val}"
            );
        }
    }

    #[test]
    fn events_auto_turn_typo_fails_safe_false() {
        // Unrecognised value should fail safe to false (with a warning on stderr).
        let cfg = load_config_from_str("events.auto_turn = fales");
        assert!(
            !cfg.events.auto_turn,
            "typo 'fales' must fail safe to false"
        );
    }

    // ── events.auto_turn_cap parser ──────────────────────────────────────────

    #[test]
    fn events_auto_turn_cap_default_is_five() {
        let cfg = load_config_from_str("");
        assert_eq!(cfg.events.auto_turn_cap, 5);
        assert_eq!(DEFAULT_AUTO_TURN_CAP, 5);
    }

    #[test]
    fn events_auto_turn_cap_zero_is_unlimited() {
        let cfg = load_config_from_str("events.auto_turn_cap = 0");
        assert_eq!(cfg.events.auto_turn_cap, 0);
    }

    #[test]
    fn events_auto_turn_cap_unlimited_aliases() {
        for val in ["unlimited", "inf", "infinite", "Infinity", "UNLIMITED", " inf "] {
            let cfg = load_config_from_str(&format!("events.auto_turn_cap = {val}"));
            assert_eq!(
                cfg.events.auto_turn_cap, 0,
                "expected 0 for events.auto_turn_cap = {val:?}"
            );
        }
    }

    #[test]
    fn events_auto_turn_cap_explicit_number() {
        let cfg = load_config_from_str("events.auto_turn_cap = 12");
        assert_eq!(cfg.events.auto_turn_cap, 12);
    }

    #[test]
    fn events_auto_turn_cap_garbage_keeps_default() {
        for val in ["banana", "-3", "5.5", "", "true"] {
            let cfg = load_config_from_str(&format!("events.auto_turn_cap = {val}"));
            assert_eq!(
                cfg.events.auto_turn_cap, 5,
                "garbage {val:?} must keep default 5"
            );
        }
    }

    #[test]
    fn events_auto_turn_cap_independent_of_auto_turn() {
        let cfg = load_config_from_str("events.auto_turn = false\nevents.auto_turn_cap = 0");
        assert!(!cfg.events.auto_turn);
        assert_eq!(cfg.events.auto_turn_cap, 0);
    }

    #[test]
    fn events_auto_turn_default_is_true() {
        let cfg = load_config_from_str("model = claude-haiku");
        assert!(cfg.events.auto_turn, "default must be true when key absent");
    }

    #[test]
    #[serial]
    fn test_auth_config_parses_endpoint_and_token() {
        let home = std::env::temp_dir().join(format!("synaps-auth-test-{}", std::process::id()));
        let dir = home.join(".synaps-cli");
        std::fs::create_dir_all(&dir).unwrap();
        std::fs::write(
            dir.join("config"),
            "auth.remote_endpoint = https://jade.jade:8181\nauth.machine_token = machine-abc\n",
        )
        .unwrap();
        with_home(&home, || {
            let config = load_config();
            assert_eq!(
                config.auth.remote_endpoint.as_deref(),
                Some("https://jade.jade:8181")
            );
            assert_eq!(config.auth.machine_token.as_deref(), Some("machine-abc"));
            // auth.* are namespaced -> must NOT warn as unknown keys
            assert!(
                !config.warnings.iter().any(|w| w.contains("auth.")),
                "{:?}",
                config.warnings
            );
        });
        let _ = std::fs::remove_dir_all(&home);
    }

    #[test]
    #[serial]
    fn test_credential_source_local_by_default() {
        std::env::remove_var("SYNAPS_AUTH_ENDPOINT");
        std::env::remove_var("SYNAPS_MACHINE_TOKEN");
        assert!(!AuthConfig::default().credential_source().is_remote());
    }

    #[test]
    #[serial]
    fn test_credential_source_remote_from_config() {
        std::env::remove_var("SYNAPS_AUTH_ENDPOINT");
        std::env::remove_var("SYNAPS_MACHINE_TOKEN");
        let auth = AuthConfig {
            remote_endpoint: Some("https://b".into()),
            machine_token: Some("m".into()),
            accounts: BTreeMap::new(),
            auto: BTreeMap::new(),
        };
        assert_eq!(
            auth.credential_source(),
            crate::core::auth::CredentialSource::Remote {
                endpoint: "https://b".into(),
                machine_token: "m".into()
            }
        );
    }

    #[test]
    fn auth_account_keys_parse_and_invalid_fail_closed_with_warning() {
        let config = load_config_from_str(
            "auth.account.openai-codex = astra2\nauth.account.anthropic = auto\nauth.account.kimi-code = Bad Label\nauth.account.groq = x\n",
        );
        assert_eq!(
            config.auth.accounts.get("openai-codex").map(String::as_str),
            Some("astra2")
        );
        assert_eq!(
            config.auth.accounts.get("anthropic").map(String::as_str),
            Some("auto")
        );
        let policy = config.auth.account_policy();
        use crate::core::auth::{AccountSelector, OAuthProviderId};
        assert!(matches!(
            policy.selector(OAuthProviderId::OpenAiCodex),
            AccountSelector::Account(_)
        ));
        assert_eq!(
            policy.selector(OAuthProviderId::Anthropic),
            AccountSelector::Auto
        );
        assert!(
            matches!(
                policy.selector(OAuthProviderId::KimiCode),
                AccountSelector::Invalid { .. }
            ),
            "malformed label must fail closed"
        );
        assert!(
            config
                .warnings
                .iter()
                .any(|w| w.contains("auth.account.kimi-code")),
            "{:?}",
            config.warnings
        );
        assert!(
            config
                .warnings
                .iter()
                .any(|w| w.contains("auth.account.groq")),
            "{:?}",
            config.warnings
        );
        assert!(
            !config
                .warnings
                .iter()
                .any(|w| w.contains("auth.account.openai-codex")),
            "{:?}",
            config.warnings
        );
    }

    #[test]
    #[serial]
    fn test_credential_source_env_overrides_config() {
        let auth = AuthConfig {
            remote_endpoint: Some("https://config-host".into()),
            machine_token: Some("config-tok".into()),
            accounts: BTreeMap::new(),
            auto: BTreeMap::new(),
        };
        std::env::set_var("SYNAPS_AUTH_ENDPOINT", "https://env-host");
        std::env::set_var("SYNAPS_MACHINE_TOKEN", "env-tok");
        let src = auth.credential_source();
        std::env::remove_var("SYNAPS_AUTH_ENDPOINT");
        std::env::remove_var("SYNAPS_MACHINE_TOKEN");
        assert_eq!(
            src,
            crate::core::auth::CredentialSource::Remote {
                endpoint: "https://env-host".into(),
                machine_token: "env-tok".into()
            }
        );
    }
    /// #147 C1 / prA N1: only an explicit token travels in the source; the
    /// local file is resolved by the client, for loopback + none configured.
    #[test]
    #[serial]
    fn test_credential_source_records_token_provenance_and_file_is_resolved_lazily() {
        use crate::core::auth::MachineToken;
        let dir = tempfile::tempdir().unwrap();
        let prev = std::env::var_os("SYNAPS_BASE_DIR");
        std::env::set_var("SYNAPS_BASE_DIR", dir.path());
        std::env::remove_var("SYNAPS_AUTH_ENDPOINT");
        std::env::remove_var("SYNAPS_MACHINE_TOKEN");
        std::fs::write(dir.path().join("auth-broker.token"), "local-file-tok\n").unwrap();
        let source = |endpoint: &str, token: Option<&str>| {
            AuthConfig {
                remote_endpoint: Some(endpoint.into()),
                machine_token: token.map(str::to_string),
                accounts: BTreeMap::new(),
                auto: BTreeMap::new(),
            }
            .credential_source()
        };
        let remote_tok = |s: crate::core::auth::CredentialSource| match s {
            crate::core::auth::CredentialSource::Remote { machine_token, .. } => machine_token,
            other => panic!("{other:?}"),
        };
        // The source carries only the explicit token: empty = "none configured".
        let loopback = remote_tok(source("http://127.0.0.1:8181", None));
        let explicit = remote_tok(source("http://127.0.0.1:8181", Some("cfg-tok")));
        let remote = remote_tok(source("https://jade.jade:8181", None));
        assert_eq!(loopback, "");
        assert_eq!(explicit, "cfg-tok");
        assert_eq!(remote, "");
        // The client resolves the file only for "none configured" + loopback.
        let auto = MachineToken::for_endpoint("http://localhost:8181", &loopback);
        let fixed = MachineToken::for_endpoint("http://127.0.0.1:8181", &explicit);
        let far = MachineToken::for_endpoint("https://jade.jade:8181", &remote);
        match prev {
            Some(v) => std::env::set_var("SYNAPS_BASE_DIR", v),
            None => std::env::remove_var("SYNAPS_BASE_DIR"),
        }
        assert_eq!(auto.get(), "local-file-tok");
        assert_eq!(fixed.get(), "cfg-tok", "explicit token is never replaced");
        assert_eq!(far.get(), "", "never read for a non-loopback broker");
    }

    #[test]
    fn config_parses_ultracode_as_distinct_canonical_level() {
        let cfg = load_config_from_str("thinking = ultracode\n");
        assert_eq!(
            cfg.thinking_level,
            Some(crate::reasoning::ReasoningLevel::UltraCode)
        );
        assert_eq!(cfg.thinking_budget, None);
        for other in [
            crate::reasoning::ReasoningLevel::Ultra,
            crate::reasoning::ReasoningLevel::Max,
            crate::reasoning::ReasoningLevel::XHigh,
        ] {
            assert_ne!(cfg.thinking_level, Some(other));
        }
    }

    // ── /settings coverage support ────────────────────────────────────────

    /// `context_window = auto` is what the /settings cycler and `/context
    /// auto` write: it means "model default" (no override) and must not warn.
    #[test]
    fn context_window_auto_is_model_default_without_warning() {
        for spelling in ["auto", "AUTO", "Auto"] {
            let cfg = load_config_from_str(&format!("context_window = {spelling}\n"));
            assert_eq!(cfg.context_window, None, "{spelling}");
            assert!(cfg.warnings.is_empty(), "{spelling}: {:?}", cfg.warnings);
        }
        // `auto` after an explicit window clears it.
        let cfg = load_config_from_str("context_window = 1m\ncontext_window = auto\n");
        assert_eq!(cfg.context_window, None);
        assert!(cfg.warnings.is_empty(), "{:?}", cfg.warnings);
        // Existing spellings are unchanged; garbage still warns.
        assert_eq!(
            load_config_from_str("context_window = 200k\n").context_window,
            Some(200_000)
        );
        let bad = load_config_from_str("context_window = huge\n");
        assert_eq!(bad.context_window, None);
        assert!(bad.warnings.iter().any(|w| w.contains("context_window")));
    }

    /// The sidecar system is gone: an old `sidecar_toggle_key` line loads,
    /// is ignored, and is reported once however often it appears.
    #[test]
    fn removed_sidecar_toggle_key_loads_and_warns_once() {
        let expected = format!(
            "sidecar_toggle_key is ignored: the plugin sidecar system was removed in {}, so \
             core binds no toggle key any more. Plugin keybinds and the keybinds setting \
             still work. Remove this line",
            crate::SIDECAR_REMOVED_IN
        );
        assert_eq!(super::removed_sidecar_toggle_key_warning(), expected);
        for content in [
            "sidecar_toggle_key = F2\n",
            "sidecar_toggle_key = F8\nmodel = claude-opus-4-7\nsidecar_toggle_key = C-V\n",
            "sidecar_toggle_key = \n",
        ] {
            let cfg = load_config_from_str(content);
            assert_eq!(cfg.warnings, vec![expected.clone()], "{content:?}");
        }
        assert!(!KNOWN_CONFIG_KEYS.contains(&"sidecar_toggle_key"));
        assert!(KNOWN_CONFIG_KEYS.contains(&"compaction_mode"));
        assert!(KNOWN_CONFIG_KEYS.contains(&"compaction_exclude"));
    }

    /// `config_content_problems` sees the stderr-only family diagnostics
    /// (events/turn_budget/memory) as well as `warnings`, and nothing
    /// for valid values.
    #[test]
    fn config_content_problems_covers_family_diagnostics() {
        for bad in [
            "events.auto_turn = maybe",
            "events.auto_turn_cap = many",
            "turn_budget.worker.max_cost_usd = cheap",
            "turn_budget.nobody.max_tool_calls = 3",
            "memory.nosuchfield = 1",
            "cache_ttl = forever",
        ] {
            let problems = config_content_problems(bad);
            assert!(!problems.is_empty(), "{bad} should be reported");
        }
        for good in [
            "events.auto_turn = off",
            "events.auto_turn_cap = unlimited",
            "turn_budget.worker.max_cost_usd = 2.5",
            "cache_ttl = hybrid",
            "cache_ttl = auto",
        ] {
            let problems = config_content_problems(good);
            assert!(problems.is_empty(), "{good}: {problems:?}");
        }
        // The family values still land exactly as before.
        let cfg = load_config_from_str("events.auto_turn = maybe\n");
        assert!(!cfg.events.auto_turn, "unrecognised auto_turn still fails safe to false");
    }

    /// The `shell.*` keys removed in 0.12.0 load, are ignored and get one
    /// warning naming each key set, once, in `REMOVED_SHELL_KEYS` order.
    #[test]
    fn removed_shell_keys_warn_once() {
        assert_eq!(REMOVED_SHELL_KEYS.len(), 8);
        for key in REMOVED_SHELL_KEYS {
            assert!(!KNOWN_CONFIG_KEYS.contains(key) && !FAMILY_CONFIG_KEYS.contains(key));
        }
        let expected = format!(
            "shell.max_sessions, shell.max_output no longer do anything (removed in {}; they \
             were never read): delete these lines",
            crate::REMOVED_IN
        );
        // Two keys, one of them twice, out of order: one warning naming both.
        let content = "shell.max_output = big\nshell.max_sessions = 10\nmodel = m\n\
             shell.max_output = huge\n";
        let cfg = load_config_from_str(content);
        assert_eq!(cfg.warnings, std::slice::from_ref(&expected), "{:?}", cfg.warnings);
        assert_eq!(cfg.model.as_deref(), Some("m"), "the rest of the file still loads");
        assert_eq!(config_content_problems(content), [expected]);
        let one = load_config_from_str("shell.default_rows = 30\n");
        assert_eq!(
            one.warnings,
            [format!(
                "shell.default_rows no longer does anything (removed in {}; it was never read): \
                 delete this line",
                crate::REMOVED_IN
            )]
        );
    }

    #[test]
    fn bare_or_empty_auth_family_keys_warn() {
        let cfg = load_config_from_str(
            "auth.account = work\nauth.account. = work\nauth.auto = on\nauth.auto. = 1\n",
        );
        let w = &cfg.warnings;
        for key in ["auth.account", "auth.account."] {
            assert!(
                w.contains(&format!("unknown key '{key}' (did you mean 'auth.account.<provider>'?)")),
                "{key}: {w:?}"
            );
        }
        for key in ["auth.auto", "auth.auto."] {
            assert!(
                w.contains(&format!("unknown key '{key}' (did you mean 'auth.auto.<key>'?)")),
                "{key}: {w:?}"
            );
        }
        assert!(cfg.auth.accounts.is_empty() && cfg.auth.auto.is_empty());
    }

    #[test]
    fn unknown_auth_keys_warn_with_a_suggestion() {
        let cfg = load_config_from_str(
            "auth.acount.anthropic = work\nauth.remote_endpont = x\nauth.bogus = 1\n\
             auth.account.anthropic = work\nauth.machine_token = t\n",
        );
        let w = &cfg.warnings;
        assert!(
            w.contains(&"unknown key 'auth.acount.anthropic' (did you mean 'auth.account.anthropic'?)".into()),
            "{w:?}"
        );
        assert!(
            w.contains(&"unknown key 'auth.remote_endpont' (did you mean 'auth.remote_endpoint'?)".into()),
            "{w:?}"
        );
        assert!(w.contains(&"unknown key 'auth.bogus' — ignored".into()), "{w:?}");
        assert_eq!(w.iter().filter(|w| w.contains("auth.")).count(), 3, "{w:?}");
        assert_eq!(cfg.auth.accounts.get("anthropic").map(String::as_str), Some("work"));
        assert!(!cfg.auth.accounts.contains_key("acount.anthropic"));
    }

    /// An absolute path on this platform: `/opt/axel` has no drive on Windows.
    #[cfg(windows)]
    const ABSOLUTE_SAMPLE_PATH: &str = r"C:\opt\axel";
    #[cfg(not(windows))]
    const ABSOLUTE_SAMPLE_PATH: &str = "/opt/axel";

    /// Every listed family key is accepted by its parser for some value
    /// (catches a typo in `FAMILY_CONFIG_KEYS`).
    #[test]
    fn family_config_keys_are_real_parser_keys() {
        let sample = |key: &str| -> &'static str {
            match key {
                "events.auto_turn" => "on",
                "server.auto_approve_confirms" => "false",
                "auth.remote_endpoint" | "auth.machine_token" => "x",
                _ => "7",
            }
        };
        for key in FAMILY_CONFIG_KEYS.iter().filter(|k| !k.ends_with(".*")) {
            assert!(!KNOWN_CONFIG_KEYS.contains(key), "{key} is listed twice");
            let content = format!("{key} = {}\n", sample(key));
            let problems = config_content_problems(&content);
            assert!(problems.is_empty(), "{key}: {problems:?}");
        }
    }

    #[test]
    #[serial]
    fn validate_config_edit_uses_the_real_parser_and_whole_file() {
        let home = make_test_home("validate-edit");
        let cfg = home.join(".synaps-cli/config");
        with_home(&home, || {
            // Single-key value checks.
            assert!(validate_config_edit("cache_ttl", "1h").is_ok());
            assert!(validate_config_edit("cache_ttl", "auto").is_ok());
            assert!(validate_config_edit("cache_ttl", "2h").is_err());
            assert!(validate_config_edit("events.auto_turn_cap", "many").is_err());
            assert!(validate_config_edit("model", "a\nb").is_err());

            // Cross-key rules see the rest of the file.
            std::fs::write(&cfg, "context_management.rollover_tokens = 100000\n").unwrap();
            assert!(validate_config_edit("context_management.pressure_tokens", "90000").is_ok());
            assert!(validate_config_edit("context_management.pressure_tokens", "150000").is_err());
            std::fs::write(&cfg, "subagent.max_total = 8\n").unwrap();
            assert!(validate_config_edit("subagent.max_concurrent", "8").is_ok());
            assert!(validate_config_edit("subagent.max_concurrent", "9").is_err());
            // A removed key is refused with its removal warning, whatever
            // the value (the consent rule it once had went with the key).
            std::fs::write(&cfg, "").unwrap();
            for value in ["recall_once", "off"] {
                assert_eq!(
                    validate_config_edit("memory.default_mode", value),
                    Err(removed_automatic_memory_warning())
                );
            }
            for (key, value) in [
                ("memory.backend", "axel"),
                ("memory.user_scope", "true"),
                ("memory.axel.executable", ABSOLUTE_SAMPLE_PATH),
                ("memory.axel.brain", "relative/brain"),
            ] {
                assert_eq!(validate_config_edit(key, value), Err(removed_axel_backend_warning()));
            }
            assert_eq!(
                validate_config_edit("memory.backend", "legacy"),
                Err(removed_memory_backend_warning())
            );

            // A problem already in the file is not blamed on an unrelated edit.
            std::fs::write(&cfg, "cache_ttl = forever\n").unwrap();
            assert!(validate_config_edit("max_fps", "120").is_ok());
            // Validation never writes.
            assert_eq!(std::fs::read_to_string(&cfg).unwrap(), "cache_ttl = forever\n");
        });
        let _ = std::fs::remove_dir_all(&home);
    }
}