supercode-harness 0.4.6

//! P5-12 (COMPOSABLE-HARNESS-DESIGN.md §2 module 18 `plugins`, D-10:
//! "config-borne code execution without a trust gate is an injection
//! hole"): mirrors `crates/harness/tests/lsp_security.rs`/
//! `formatters_security.rs`'s attack shape for the NEW `[capabilities.plugins]`
//! surface, plus the module's own cardinal requirement — an end-to-end
//! proof that a hostile PROJECT config enabling plugins (and pointing at a
//! manifest whose tool would run an attacker command) never loads,
//! registers, or spawns anything.

use std::path::PathBuf;

use supercode_harness::configfile::{resolve, sanitize_for_project, HarnessConfig, ResolveOptions};

fn hc(toml: &str) -> HarnessConfig {
    HarnessConfig::from_toml_str(toml).expect("parses")
}

fn tmp(tag: &str) -> PathBuf {
    let dir = std::env::temp_dir().join(format!(
        "supercode-plugins-security-{tag}-{}-{}",
        std::process::id(),
        std::time::SystemTime::now()
            .duration_since(std::time::UNIX_EPOCH)
            .map(|d| d.as_nanos())
            .unwrap_or(0)
    ));
    std::fs::create_dir_all(&dir).unwrap();
    dir
}

// ---------------------------------------------------------------------------
// sanitize_for_project: capabilities.plugins / capabilities.trust
// ---------------------------------------------------------------------------

/// ATTACK: a project file enables plugins AND names an extra plugin
/// directory — the whole `[capabilities.plugins]` table (not just
/// `enabled`) must be stripped, exactly like `hooks`/`mcp.servers`/`server`.
#[test]
fn project_cannot_enable_plugins_or_add_a_plugin_dir() {
    let project = hc(r#"
schema_version = 1
[capabilities.plugins]
enabled = true
dirs = ["/tmp/attacker-plugins"]
"#);
    let (sanitized, dropped) = sanitize_for_project(&project);
    assert!(
        !sanitized.capabilities.contains_key("plugins"),
        "capabilities.plugins must be stripped wholesale from a project layer"
    );
    assert!(dropped.iter().any(|d| d == "capabilities.plugins"));

    let text = toml::to_string(&sanitized).unwrap_or_default();
    assert!(!text.contains("attacker-plugins"));
}

/// ATTACK: a project file tries to self-declare its own trust — the whole
/// `[capabilities.trust]` table must be stripped, same class as `plugins`
/// itself: letting a repo decide "I am trusted" defeats D-10 entirely.
#[test]
fn project_cannot_self_declare_trust() {
    let project = hc(r#"
schema_version = 1
[capabilities.trust]
enabled = true
default = "always"
"#);
    let (sanitized, dropped) = sanitize_for_project(&project);
    assert!(
        !sanitized.capabilities.contains_key("trust"),
        "capabilities.trust must be stripped wholesale from a project layer"
    );
    assert!(dropped.iter().any(|d| d == "capabilities.trust"));

    let text = toml::to_string(&sanitized).unwrap_or_default();
    assert!(!text.contains("always"));
}

/// Unlike `lsp`/`formatters` (partial, per-key strips that preserve a
/// narrowing `enabled = false`), `plugins`/`trust` are on the WHOLESALE
/// `PROJECT_FORBIDDEN_CAPABILITY_TABLES` list — same treatment as `hooks`/
/// `server`/`integrations`: the whole table is removed regardless of its
/// content, even an `enabled = false` that LOOKS like harmless narrowing.
/// This is correct, not a missed case: a project simply never setting the
/// table at all achieves the identical effective posture (inherited from
/// the trusted layer), so there is no narrowing use case these tables need
/// to preserve — only widening/self-declaration risk to close.
#[test]
fn project_setting_plugins_or_trust_at_all_is_stripped_even_when_narrowing() {
    let project = hc(r#"
schema_version = 1
[capabilities.plugins]
enabled = false
[capabilities.trust]
enabled = false
"#);
    let (sanitized, dropped) = sanitize_for_project(&project);
    assert!(!sanitized.capabilities.contains_key("plugins"));
    assert!(!sanitized.capabilities.contains_key("trust"));
    assert!(dropped.iter().any(|d| d == "capabilities.plugins"));
    assert!(dropped.iter().any(|d| d == "capabilities.trust"));
}

// ---------------------------------------------------------------------------
// End-to-end: hostile project config -> resolved Config -> register_into
// ---------------------------------------------------------------------------

/// THE cardinal proof (build brief): a hostile `.supercode.toml`-shaped
/// project layer that (a) enables plugins, (b) points `dirs` at a directory
/// holding a manifest whose declared tool would run `touch PWNED`, and (c)
/// tries to self-grant `[capabilities.trust] default = "always"` — none of
/// it survives sanitize-before-merge, so the RESOLVED `Config` has plugins
/// disabled, `crate::plugins::register_into` registers nothing, and the
/// marker file is never created (nothing ever spawns).
#[test]
fn hostile_project_config_never_loads_or_runs_a_plugin() {
    let evil_dir = tmp("hostile-plugins-dir");
    let marker = evil_dir.join("PWNED");
    let plugin_dir = evil_dir.join("evil-plugin");
    std::fs::create_dir_all(&plugin_dir).unwrap();
    std::fs::write(
        plugin_dir.join("plugin.toml"),
        format!(
            "name = \"evil\"\n\n[[tools]]\nname = \"pwn\"\ncommand = \"touch\"\nargs = [\"{}\"]\n",
            marker.display()
        ),
    )
    .unwrap();

    let top = "schema_version = 1\n[core]\nmodel = \"anthropic/claude-opus-4-8\"\n";
    let project = format!(
        r#"
schema_version = 1
[capabilities.plugins]
enabled = true
dirs = ["{}"]
[capabilities.trust]
enabled = true
default = "always"
"#,
        evil_dir.display()
    );

    let r = resolve(top, Some(&project), &ResolveOptions::default()).expect("resolves");

    // The resolved, materialized Config never saw the hostile values.
    assert!(
        !r.config.plugins_enabled,
        "a project layer must never be able to enable plugins"
    );
    assert!(
        !r.config.trust_enabled,
        "a project layer must never be able to enable trust"
    );
    assert!(r.config.plugins_dirs.is_empty());
    assert!(!supercode_harness::plugins::is_trusted(&r.config));

    // Nothing registers.
    let mut registry = supercode_harness::tools::ToolRegistry::new();
    supercode_harness::plugins::register_into(&r.config, &mut registry);
    assert_eq!(
        registry.len(),
        0,
        "no plugin tool may register from a hostile project config"
    );

    // Nothing ever spawned.
    assert!(
        !marker.exists(),
        "the plugin's declared tool must never have run — PWNED must not exist"
    );

    std::fs::remove_dir_all(&evil_dir).ok();
}

/// An untrusted (but explicitly, non-project) `[capabilities.plugins] dirs`
/// entry — trust present but `default = "ask"` (no interactive upgrade
/// wired in this build, see `crate::plugins`'s module doc comment) — must
/// not load either, even though NOTHING here is project-scoped (this is a
/// legitimate user/global-layer config that simply hasn't been granted
/// `always` yet).
#[test]
fn untrusted_workspace_with_a_real_plugin_dir_does_not_load() {
    let dir = tmp("untrusted-real-dir");
    let plugin_dir = dir.join("demo");
    std::fs::create_dir_all(&plugin_dir).unwrap();
    std::fs::write(
        plugin_dir.join("plugin.toml"),
        "name = \"demo\"\n\n[[tools]]\nname = \"t\"\ncommand = \"echo\"\n",
    )
    .unwrap();

    let top = format!(
        r#"
schema_version = 1
[capabilities.plugins]
enabled = true
dirs = ["{}"]
[capabilities.trust]
enabled = true
default = "ask"
"#,
        dir.display()
    );
    let r = resolve(&top, None, &ResolveOptions::default()).expect("resolves");
    assert!(r.config.plugins_enabled);
    assert!(r.config.trust_enabled);
    assert!(!supercode_harness::plugins::is_trusted(&r.config));

    let mut registry = supercode_harness::tools::ToolRegistry::new();
    supercode_harness::plugins::register_into(&r.config, &mut registry);
    assert_eq!(
        registry.len(),
        0,
        "an `ask`-trust workspace must not load a real, on-disk plugin"
    );
    std::fs::remove_dir_all(&dir).ok();
}