agent-command-knowledge 0.7.0

//! Overlay/merge logic for extending or replacing knowledge base entries.
//!
//! [`KnowledgeOverlay`] is the user-facing config type: it specifies commands
//! and wrappers to add, merge, or remove from a [`KnowledgeBase`].
//! [`CommandOverlay`] mirrors [`CommandKnowledge`] but with optional fields so
//! that unspecified values don't clobber base entries during merge.

use std::collections::HashMap;

use serde::{Deserialize, Serialize};

use crate::types::{
    CommandKnowledge, CommandProperties, Effect, EnvGate, FlagSchema, KnowledgeBase, PathSpec,
    SubcommandMap, WrapperKnowledge,
};

/// Overlay for a single wrapper — optional fields so unset values don't
/// clobber base values during merge.
///
/// Mirrors the [`CommandOverlay`] pattern: fields are `Option` so that
/// omitting a field in TOML preserves the base value instead of silently
/// resetting it to a serde default.
#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct WrapperOverlay {
    /// Override floor_effect. `None` preserves the base value.
    #[serde(default)]
    pub floor_effect: Option<Effect>,
    /// Override clears_env. `None` preserves the base value.
    #[serde(default)]
    pub clears_env: Option<bool>,
    /// Override escalates_privilege. `None` preserves the base value.
    #[serde(default)]
    pub escalates_privilege: Option<bool>,
}

impl WrapperOverlay {
    /// Apply this overlay onto an existing base wrapper, mutating it in place.
    ///
    /// Only fields that are `Some` override the base value; `None` fields
    /// are left untouched. The `name` field is never modified — it's an
    /// identity field derived from the HashMap key.
    pub(crate) fn apply_to(self, base: &mut WrapperKnowledge) {
        if let Some(floor_effect) = self.floor_effect {
            base.floor_effect = floor_effect;
        }
        if let Some(clears_env) = self.clears_env {
            base.clears_env = clears_env;
        }
        if let Some(escalates_privilege) = self.escalates_privilege {
            base.escalates_privilege = escalates_privilege;
        }
    }

    /// Convert this overlay into a full [`WrapperKnowledge`] for insertion as a
    /// new wrapper. `floor_effect` defaults to [`Effect::Unknown`] (fail-closed)
    /// when not specified; booleans default to `false`.
    pub(crate) fn into_knowledge(self, key: String) -> WrapperKnowledge {
        WrapperKnowledge {
            name: key,
            floor_effect: self.floor_effect.unwrap_or(Effect::Unknown),
            clears_env: self.clears_env.unwrap_or(false),
            escalates_privilege: self.escalates_privilege.unwrap_or(false),
        }
    }
}

/// Overlay config for extending/modifying a [`KnowledgeBase`].
///
/// Applied via [`KnowledgeBase::merge`]: removals are processed first, then
/// additions and overrides.
#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct KnowledgeOverlay {
    /// Commands to add or merge into the base.
    #[serde(default)]
    pub commands: HashMap<String, CommandOverlay>,
    /// Wrappers to add or merge into the base.
    #[serde(default)]
    pub wrappers: HashMap<String, WrapperOverlay>,
    /// Command names to remove from the base.
    #[serde(default)]
    pub remove_commands: Vec<String>,
    /// Wrapper names to remove from the base.
    #[serde(default)]
    pub remove_wrappers: Vec<String>,
}

/// Overlay for a single command — optional fields so unset values don't
/// clobber base values during merge.
#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct CommandOverlay {
    /// Override the base effect. `None` preserves the base value.
    #[serde(default)]
    pub effect: Option<Effect>,
    /// Subcommands to merge into the base (overlay wins on conflict).
    #[serde(default)]
    pub subcommands: SubcommandMap,
    /// Flags to append to the base.
    #[serde(default)]
    pub flags: FlagSchema,
    /// Env gates to append to the base.
    #[serde(default)]
    pub env_gates: Vec<EnvGate>,
    /// Paths to replace base paths. `None` preserves the base value.
    #[serde(default)]
    pub paths: Option<PathSpec>,
    /// Properties to replace base properties. `None` preserves the base value.
    #[serde(default)]
    pub properties: Option<CommandProperties>,
    /// Subcommand patterns to remove from the base before merging.
    /// Patterns are space-separated strings matching the key format used by
    /// `SubcommandMap::insert` (e.g. `"pr create"`, not `"pr"` and `"create"`
    /// as separate entries).
    #[serde(default)]
    pub remove_subcommands: Vec<String>,
}

impl CommandOverlay {
    /// Create an overlay that only sets the effect, leaving everything else defaulted.
    #[cfg(test)]
    pub fn with_effect(effect: Effect) -> Self {
        Self {
            effect: Some(effect),
            ..Default::default()
        }
    }

    /// Apply this overlay onto an existing base command, mutating it in place.
    ///
    /// - Override effect only when specified.
    /// - Remove subcommands listed in `remove_subcommands`, then merge overlay
    ///   subcommands (overlay wins on conflict).
    /// - Append flags and env gates.
    /// - Replace paths and properties only when `Some`.
    pub(crate) fn apply_to(self, base: &mut CommandKnowledge) {
        if let Some(effect) = self.effect {
            base.effect = effect;
        }

        for pattern in &self.remove_subcommands {
            base.subcommands.remove(pattern);
        }
        base.subcommands.extend(self.subcommands);

        base.flags.extend(self.flags);
        base.env_gates.extend(self.env_gates);

        if let Some(paths) = self.paths {
            base.paths = paths;
        }
        if let Some(properties) = self.properties {
            base.properties = properties;
        }
    }

    /// Convert this overlay into a full [`CommandKnowledge`] for insertion as a
    /// new command. Effect defaults to [`Effect::Unknown`] (fail-closed) when
    /// not specified.
    pub(crate) fn into_knowledge(self, key: String) -> CommandKnowledge {
        CommandKnowledge {
            name: key,
            effect: self.effect.unwrap_or(Effect::Unknown),
            subcommands: self.subcommands,
            flags: self.flags,
            env_gates: self.env_gates,
            paths: self.paths.unwrap_or_default(),
            properties: self.properties.unwrap_or_default(),
        }
    }
}

impl KnowledgeBase {
    /// Merge an overlay into this knowledge base.
    ///
    /// Processing order:
    /// 1. **Removals** — commands and wrappers listed in `remove_commands` /
    ///    `remove_wrappers` are deleted from the base.
    /// 2. **Additions / overrides** — overlay commands are merged into existing
    ///    entries (via [`CommandOverlay::apply_to`]) or inserted as new commands
    ///    (via [`CommandOverlay::into_knowledge`]). Overlay wrappers are merged
    ///    into existing entries (via [`WrapperOverlay::apply_to`]) or inserted
    ///    as new wrappers (via [`WrapperOverlay::into_knowledge`]).
    pub fn merge(&mut self, overlay: KnowledgeOverlay) {
        // 1. Removals first.
        for key in &overlay.remove_commands {
            self.commands.remove(key);
        }
        for key in &overlay.remove_wrappers {
            self.wrappers.remove(key);
        }

        // 2. Additions / overrides.
        for (key, cmd_overlay) in overlay.commands {
            if let Some(base) = self.commands.get_mut(&key) {
                cmd_overlay.apply_to(base);
            } else {
                self.commands
                    .insert(key.clone(), cmd_overlay.into_knowledge(key));
            }
        }

        for (key, wrapper_overlay) in overlay.wrappers {
            if let Some(base) = self.wrappers.get_mut(&key) {
                wrapper_overlay.apply_to(base);
            } else {
                self.wrappers
                    .insert(key.clone(), wrapper_overlay.into_knowledge(key));
            }
        }
    }
}

#[cfg(test)]
#[path = "merge_tests.rs"]
mod merge_tests;

#[cfg(test)]
#[path = "merge_proptest.rs"]
mod merge_proptest;