strop-engine 0.43.1

//! Configuration (0005-lite): real TOML from day one, embedded defaults,
//! never bricks (0005 §2). The full layering/hot-reload/settings-popup
//! arrives with 0005 proper; this is the editor-facing config object.
//!
//! `$XDG_CONFIG_HOME/strop/config.toml` (or ~/.config/strop/config.toml):
//! ```toml
//! tab_size = 4
//! indent_style = "spaces"   # or "tabs"
//! indent_detect = true      # infer a document's indent from its content
//! auto_format = true        # LSP format before :w (helix parity)
//! theme = "light"           # interface palette (default "dark")
//! ```
//!
//! LSP server config is a separate file with its own layering —
//! `languages.toml`, helix-shaped, owned by strop-lsp (0012): project
//! `.strop/languages.toml` > XDG > the embedded registry.

use serde::Deserialize;

/// Supported indent-width range (0051 R08): manual `:tab-size`
/// overrides AND the `tab_size` config value. Zero would make Tab a
/// no-op with a hangover of stale guides; huge values are allocation
/// and layout hazards — both are refused visibly, never clamped
/// silently.
pub const TAB_SIZE_MIN: usize = 1;
pub const TAB_SIZE_MAX: usize = 16;

#[derive(Debug, Clone, Deserialize, serde::Serialize)]
#[serde(default)]
pub struct Config {
    /// Indent unit width in spaces (`>>`, auto-indent, tab display).
    /// A document's detected indent overrides this per buffer when
    /// `indent_detect` is on.
    pub tab_size: usize,
    /// Indent guides (dim │ per level) on/off.
    pub indent_guides: bool,
    /// What auto-indent, `>>` and the Tab key emit.
    pub indent_style: IndentStyle,
    /// Infer an opened document's indent (unit and width) from its
    /// content; the config above is the fallback and the new-file
    /// default.
    pub indent_detect: bool,
    /// Format through the language server before writing (helix's
    /// auto-format). A formatter failure never blocks the write.
    pub auto_format: bool,
    /// Search surfaces show unignored dotfiles/dotfolders by default
    /// (0051 R03). `hidden:include|exclude` in a query overrides.
    pub search_show_hidden: bool,
    /// Search surfaces respect .gitignore/.ignore/.rgignore (0051 R03).
    /// `ignored:include|exclude` in a query overrides.
    pub search_respect_ignore: bool,
    /// Fade the Normal-mode block cursor back in after focus returns,
    /// pane/buffer switches and large jumps (0064 §2). Presentation
    /// only; off leaves the cursor steady with zero behavior change.
    pub cursor_fade: bool,
    /// Code-completion lifecycle and automatic request admission (0059 C06).
    pub completion: CompletionSettings,
    /// The interface palette (0.42.0). `--theme` and `:theme` override
    /// per session; nothing here is hot-reloaded.
    pub theme: strop_core::theme::ThemeId,
    /// Winning-layer record per knob (0056 AR14); populated by `load`.
    /// Crate-visible so struct-update test fixtures keep working.
    #[serde(skip)]
    pub(crate) provenance: Provenance,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Deserialize, serde::Serialize)]
#[serde(default)]
pub struct CompletionSettings {
    pub enabled: bool,
    pub auto_popup: bool,
}

impl Default for CompletionSettings {
    fn default() -> Self {
        Self {
            enabled: true,
            auto_popup: true,
        }
    }
}

/// Which layer won for a knob (0056 AR14): the embedded default or the
/// user config file. Editor knobs have no project layer; project
/// layering exists for `languages.toml` under `:trust`.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ConfigLayer {
    Default,
    User,
}

impl ConfigLayer {
    pub fn label(self) -> &'static str {
        match self {
            ConfigLayer::Default => "default",
            ConfigLayer::User => "user",
        }
    }
}

/// Where each knob's winning value came from. Not part of the file
/// schema: deserializing a bare Config (tests, defaults) yields empty
/// provenance, and every knob reports `Default`.
#[derive(Debug, Default, Clone)]
pub(crate) struct Provenance {
    pub(crate) user_path: Option<std::path::PathBuf>,
    user_keys: std::collections::BTreeSet<String>,
}

/// `indent_style` in config.toml.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Deserialize, serde::Serialize)]
#[serde(rename_all = "lowercase")]
pub enum IndentStyle {
    Spaces,
    Tabs,
}

impl Default for Config {
    fn default() -> Self {
        Self {
            tab_size: 4,
            indent_guides: true,
            indent_style: IndentStyle::Spaces,
            indent_detect: true,
            auto_format: true,
            search_show_hidden: true,
            search_respect_ignore: true,
            cursor_fade: true,
            completion: CompletionSettings::default(),
            theme: strop_core::theme::ThemeId::Dark,
            provenance: Provenance::default(),
        }
    }
}

/// Knob metadata (0005 §6): the settings popup renders from this table;
/// descriptions live here, never in popup code.
pub struct Knob {
    pub key: &'static str,
    pub kind: &'static str, // "bool" | "number"
    pub desc: &'static str,
}

pub const KNOBS: &[Knob] = &[
    Knob {
        key: "tab_size",
        kind: "number",
        desc: "indent width in spaces",
    },
    Knob {
        key: "indent_guides",
        kind: "bool",
        desc: "dim │ guide per indent level",
    },
    Knob {
        key: "indent_style",
        kind: "string",
        desc: "auto-indent unit: spaces or tabs",
    },
    Knob {
        key: "indent_detect",
        kind: "bool",
        desc: "infer each document's indent from its content",
    },
    Knob {
        key: "auto_format",
        kind: "bool",
        desc: "format through the language server before :w",
    },
    Knob {
        key: "search_show_hidden",
        kind: "bool",
        desc: "search shows dotfiles by default",
    },
    Knob {
        key: "search_respect_ignore",
        kind: "bool",
        desc: "search respects ignore files",
    },
    Knob {
        key: "cursor_fade",
        kind: "bool",
        desc: "fade the Normal-mode cursor in after jumps/focus returns",
    },
    Knob {
        key: "completion.enabled",
        kind: "bool",
        desc: "code completion and its source-index lifecycle",
    },
    Knob {
        key: "completion.auto_popup",
        kind: "bool",
        desc: "automatic suggestions while typing; off keeps manual completion",
    },
    Knob {
        key: "theme",
        kind: "string",
        desc: "interface palette: dark or light",
    },
];

impl Config {
    /// The one typed knob→value projection (0051 R10): `print_knobs`,
    /// `:explain` and selectors read real values from this path. A key
    /// absent from KNOBS is `None` — never a fabricated "?" placeholder.
    pub fn knob_value(&self, key: &str) -> Option<String> {
        Some(match key {
            "tab_size" => self.tab_size.to_string(),
            "indent_guides" => self.indent_guides.to_string(),
            "indent_style" => format!("{:?}", self.indent_style).to_lowercase(),
            "indent_detect" => self.indent_detect.to_string(),
            "auto_format" => self.auto_format.to_string(),
            "search_show_hidden" => self.search_show_hidden.to_string(),
            "search_respect_ignore" => self.search_respect_ignore.to_string(),
            "cursor_fade" => self.cursor_fade.to_string(),
            "completion.enabled" => self.completion.enabled.to_string(),
            "completion.auto_popup" => self.completion.auto_popup.to_string(),
            "theme" => self.theme.name().to_string(),
            _ => return None,
        })
    }

    /// `strop config`: the knobs with live values and winning layers
    /// (KNOBS is the data source; this is its first consumer — the
    /// settings popup is next).
    pub fn print_knobs(&self) {
        for k in KNOBS {
            let Some(value) = self.knob_value(k.key) else {
                debug_assert!(false, "declared config knob has no value projection");
                continue;
            };
            println!(
                "  {:<16} {:<7} {:<8} {:<8} {}",
                k.key,
                k.kind,
                value,
                self.knob_layer(k.key).label(),
                k.desc
            );
        }
    }

    /// The winning layer for one knob (0056 AR14): `User` when the user
    /// file actually set the key, `Default` otherwise.
    pub fn knob_layer(&self, key: &str) -> ConfigLayer {
        if self.provenance.user_keys.contains(key) {
            ConfigLayer::User
        } else {
            ConfigLayer::Default
        }
    }

    /// The origin of the user layer, when one was loaded.
    pub fn user_layer_path(&self) -> Option<&std::path::Path> {
        self.provenance.user_path.as_deref()
    }

    /// Load the user config; errors are returned as a message for the
    /// statusline — the editor always starts with defaults (0005 §2).
    pub fn load() -> (Self, Option<String>) {
        let Some(path) = config_path() else {
            return (Self::default(), None);
        };
        Self::load_from(&path)
    }

    /// Load one explicit layer file; absent is defaults, malformed is
    /// defaults plus the message. Provenance records the path and the
    /// keys the layer actually set (0056 AR14).
    pub fn load_from(path: &std::path::Path) -> (Self, Option<String>) {
        let Ok(text) = std::fs::read_to_string(path) else {
            return (Self::default(), None); // absent is fine
        };
        match Self::parse(&text) {
            Ok((mut config, keys)) => {
                config.provenance = Provenance {
                    user_path: Some(path.to_path_buf()),
                    user_keys: keys,
                };
                (config, None)
            }
            Err(e) => (
                Self::default(),
                Some(format!("config {}: {e} — using defaults", path.display())),
            ),
        }
    }
    /// actually set — provenance names a knob's winning layer only when
    /// the layer named the key (0056 AR14).
    fn parse(text: &str) -> Result<(Self, std::collections::BTreeSet<String>), String> {
        let table = toml::from_str::<toml::Table>(text).map_err(|e| e.to_string())?;
        let mut keys: std::collections::BTreeSet<String> = table.keys().cloned().collect();
        if let Some(completion) = table.get("completion").and_then(toml::Value::as_table) {
            for key in ["enabled", "auto_popup"] {
                if completion.contains_key(key) {
                    keys.insert(format!("completion.{key}"));
                }
            }
        }
        let config = toml::from_str::<Config>(text)
            .map_err(|e| e.to_string())
            .and_then(Config::validated)?;
        Ok((config, keys))
    }

    /// `tab_size` outside the supported range (0051 R08): refused
    /// visibly like any malformed config — never a silent clamp, never
    /// a zero-width Tab or an enormous indent allocation.
    fn validated(self) -> Result<Self, String> {
        if (TAB_SIZE_MIN..=TAB_SIZE_MAX).contains(&self.tab_size) {
            Ok(self)
        } else {
            Err(format!(
                "tab_size must be {TAB_SIZE_MIN}–{TAB_SIZE_MAX}, got {}",
                self.tab_size
            ))
        }
    }

    pub fn indent(&self) -> String {
        match self.indent_style {
            IndentStyle::Spaces => " ".repeat(self.tab_size),
            IndentStyle::Tabs => "\t".into(),
        }
    }
}

fn config_path() -> Option<std::path::PathBuf> {
    let base = std::env::var_os("XDG_CONFIG_HOME")
        .map(std::path::PathBuf::from)
        .or_else(|| {
            std::env::var_os("HOME").map(|h| std::path::PathBuf::from(h).join(".config"))
        })?;
    Some(base.join("strop").join("config.toml"))
}

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

    #[test]
    fn parses_tab_size() {
        let c: Config = toml::from_str("tab_size = 2").unwrap();
        assert_eq!(c.tab_size, 2);
        assert_eq!(c.indent(), "  ");
    }

    #[test]
    fn parses_indent_guides() {
        let c: Config = toml::from_str("indent_guides = false").unwrap();
        assert!(!c.indent_guides);
    }

    #[test]
    fn completion_provenance_tracks_individual_nested_controls() {
        let dir = tempfile::tempdir().unwrap();
        let path = dir.path().join("config.toml");
        std::fs::write(&path, "[completion]\nenabled = false\n").unwrap();
        let (disabled, error) = Config::load_from(&path);
        assert!(error.is_none());
        assert_eq!(
            disabled.knob_value("completion.enabled").as_deref(),
            Some("false")
        );
        assert_eq!(disabled.knob_layer("completion.enabled"), ConfigLayer::User);
        assert_eq!(
            disabled.knob_layer("completion.auto_popup"),
            ConfigLayer::Default
        );
        std::fs::write(&path, "[completion]\nauto_popup = false\n").unwrap();
        let (manual, error) = Config::load_from(&path);
        assert!(error.is_none());
        assert_eq!(
            manual.knob_value("completion.auto_popup").as_deref(),
            Some("false")
        );
        assert_eq!(
            manual.knob_layer("completion.auto_popup"),
            ConfigLayer::User
        );
        assert_eq!(
            manual.knob_layer("completion.enabled"),
            ConfigLayer::Default
        );
        assert!(Config::parse("[completion]\nenabled = \"false\"\n").is_err());
    }

    #[test]
    fn provenance_names_the_actual_winning_layer() {
        // 0056 AR14: a knob the user file set reports User; every other
        // knob reports Default — never a blanket "user config" claim.
        let dir = tempfile::tempdir().unwrap();
        let path = dir.path().join("config.toml");
        std::fs::write(&path, "tab_size = 8\nauto_format = false\n").unwrap();
        let (config, error) = Config::load_from(&path);
        assert!(error.is_none());
        assert_eq!(config.tab_size, 8);
        assert_eq!(config.knob_layer("tab_size"), ConfigLayer::User);
        assert_eq!(config.knob_layer("auto_format"), ConfigLayer::User);
        assert_eq!(config.knob_layer("indent_guides"), ConfigLayer::Default);
        assert_eq!(config.knob_layer("cursor_fade"), ConfigLayer::Default);
        assert_eq!(config.user_layer_path(), Some(path.as_path()));
        // A config that never went through a layer is all defaults.
        let bare: Config = toml::from_str("tab_size = 2").unwrap();
        assert_eq!(bare.knob_layer("tab_size"), ConfigLayer::Default);
        assert!(bare.user_layer_path().is_none());
    }

    #[test]
    fn malformed_layer_sets_no_provenance() {
        assert!(Config::parse("tab_size = \"oops\"").is_err());
        assert!(
            Config::parse("tab_size = 99").is_err(),
            "validated() still gates"
        );
    }
}