velesdb-memory 0.14.0

//! Unit tests for the context compiler MCP tools (split out of
//! `context_tools.rs`, same `#[cfg(test)]`-via-`#[path]` pattern as
//! `server_tests.rs`).

use rmcp::handler::server::wrapper::{Json, Parameters};
use rmcp::model::ErrorCode;
use tempfile::TempDir;

use super::super::dto::RememberParams;
use super::*;
use crate::context::{
    fragment_id, ContextAction, ContextFact, ContextFragment, IngestRoots, MemoryScope,
    WorkingContext,
};
use crate::embedder::{DynEmbedder, HashEmbedder};
use crate::service::MemoryService;

fn server() -> (TempDir, McpServer) {
    let dir = TempDir::new().expect("create tempdir");
    let embedder: DynEmbedder = Box::new(HashEmbedder::new(crate::DEFAULT_DIMENSION));
    let service = MemoryService::open(dir.path(), embedder).expect("open memory store");
    (dir, McpServer::new(service))
}

/// A server with `dir` (or a sub-tree of it) allowlisted for path ingestion
/// (V2b-1/V2b-2).
fn server_with_ingest_roots(allowed: &std::path::Path) -> (TempDir, McpServer) {
    let dir = TempDir::new().expect("create tempdir");
    let embedder: DynEmbedder = Box::new(HashEmbedder::new(crate::DEFAULT_DIMENSION));
    let service = MemoryService::open(dir.path(), embedder).expect("open memory store");
    let value = std::env::join_paths([allowed.as_os_str()])
        .expect("a single absolute path always joins")
        .to_string_lossy()
        .into_owned();
    let roots = IngestRoots::parse(&value).expect("tempdir is a valid, existing directory");
    (dir, McpServer::new(service).with_ingest_roots(roots))
}

fn fragment(content: &str) -> ContextFragment {
    ContextFragment {
        id: None,
        content: content.to_owned(),
        path: None,
        kind: None,
        priority: None,
        metadata: None,
        media: None,
    }
}

fn request(query: &str, fragments: Vec<ContextFragment>, budget: u64) -> CompileRequest {
    CompileRequest {
        query: query.to_owned(),
        fragments,
        project: None,
        target_model: None,
        token_budget: budget,
        memory_scope: None,
        policy: None,
    }
}

/// `compile_context`/`explain_compilation` now return the wire `Value`
/// directly (so `policy.ids_as_strings` can rewrite it before it leaves the
/// process) — deserialize back into the domain type for tests that assert
/// on typed fields, exactly mirroring what a Rust MCP client would do.
fn compiled_context_of(value: serde_json::Value) -> CompiledContext {
    serde_json::from_value(value).expect("valid CompiledContext wire value")
}

fn decision_of(value: serde_json::Value) -> ContextDecision {
    serde_json::from_value(value).expect("valid ContextDecision wire value")
}

/// Same for `load_working_context`, which returns the wire `Value` too since
/// 2026-07-29: its ids leave as decimal strings, so that the ONLY form
/// `save_working_context` announces is the form its reading half hands back.
/// Deserializing here is exactly what a Rust MCP client does — and it is why
/// the round trip is checked on the WIRE in `tests/mcp_schema_bdd.rs` as
/// well: `serde_json` decodes a `u64` exactly, the float-lossy client this
/// contract exists for does not.
fn loaded_working_of(value: serde_json::Value) -> LoadedWorkingContext {
    serde_json::from_value(value).expect("valid LoadedWorkingContext wire value")
}

#[tokio::test]
async fn test_compile_context_tool_returns_compiled_context_and_insights() {
    // Given a server and a compile request with a duplicate
    let (_dir, srv) = server();
    let req = request(
        "deploy",
        vec![fragment("a fact"), fragment("a fact")],
        10_000,
    );

    // When calling the compile_context tool
    let Json(value) = srv
        .compile_context(Parameters(req))
        .await
        .expect("compile_context");
    let out = compiled_context_of(value);

    // Then the compiled context carries content, decisions, and insights
    assert!(out.content.contains("a fact"));
    assert_eq!(out.decisions.len(), 2);
    assert!(out.insights.tokens_saved > 0, "the duplicate saves tokens");
}

#[tokio::test]
async fn test_compile_context_tool_pulls_memory_scope() {
    // Given a remembered fact and a scoped request
    let (_dir, srv) = server();
    srv.remember(Parameters(RememberParams {
        fact: "the deploy pipeline runs clippy before tests".to_owned(),
        links: Vec::new(),
        metadata: None,
        ttl_seconds: None,
    }))
    .await
    .expect("remember");
    let mut req = request("deploy pipeline checks", vec![fragment("note")], 10_000);
    req.memory_scope = Some(MemoryScope {
        k: Some(3),
        ..MemoryScope::default()
    });

    // When compiling through the tool
    let Json(value) = srv
        .compile_context(Parameters(req))
        .await
        .expect("compile_context");
    let out = compiled_context_of(value);

    // Then the memory is pulled in with provenance
    assert!(out.content.contains("runs clippy before tests"));
    assert!(out.decisions.iter().any(|d| d.memory_id.is_some()));
}

#[tokio::test]
async fn test_context_savings_tool_aggregates_by_project() {
    // Given two compilations recorded under a project
    let (_dir, srv) = server();
    for _ in 0..2 {
        let mut req = request("deploy", vec![fragment("x"), fragment("x")], 10_000);
        req.project = Some("veles".to_owned());
        srv.compile_context(Parameters(req))
            .await
            .expect("compile_context");
    }

    // When aggregating through the tool
    let Json(savings) = srv
        .context_savings(Parameters(ContextSavingsParams {
            project: Some("veles".to_owned()),
        }))
        .await
        .expect("context_savings");

    // Then both events fold into the aggregate
    assert_eq!(savings.events, 2);
    assert!(savings.tokens_saved > 0);
}

#[tokio::test]
async fn test_explain_compilation_tool_returns_decision_for_fragment() {
    // Given a compiled request and one of its fragments
    let (_dir, srv) = server();
    let req = request(
        "deploy",
        vec![fragment("a fact"), fragment("other")],
        10_000,
    );
    let wanted = fragment_id("a fact");

    // When asking why that fragment was treated the way it was
    let Json(value) = srv
        .explain_compilation(Parameters(ExplainCompilationParams {
            request: req,
            fragment_id: wanted,
            fragment_index: None,
        }))
        .await
        .expect("explain_compilation");
    let decision = decision_of(value);

    // Then the decision is returned with its rule and reason
    assert_eq!(decision.fragment_id, wanted);
    assert!(matches!(decision.action, ContextAction::Preserve));
    assert!(!decision.reason.is_empty());
}

#[tokio::test]
async fn test_explain_compilation_tool_unknown_fragment_is_invalid_params() {
    let (_dir, srv) = server();
    let req = request("deploy", vec![fragment("a fact")], 10_000);

    let Err(err) = srv
        .explain_compilation(Parameters(ExplainCompilationParams {
            request: req,
            fragment_id: 424_242,
            fragment_index: None,
        }))
        .await
    else {
        panic!("no such fragment in the request — the tool must fail");
    };
    assert_eq!(err.code, ErrorCode::INVALID_PARAMS);
}

// --- ids_as_strings (wire-compat, EPIC-P-071 wave 5 / 5.1) -----------------

/// A fragment id above 2^53 — the point where a raw JS `number` (IEEE-754
/// double) silently loses precision. `2^53 = 9_007_199_254_740_992`.
const ID_ABOVE_JS_SAFE_INTEGER: u64 = 9_007_199_254_740_993;

#[tokio::test]
async fn test_compile_context_tool_ids_as_strings_stringifies_response_ids() {
    // Given a fragment whose caller-supplied id exceeds 2^53
    let (_dir, srv) = server();
    let mut fragment = fragment("a fact above the safe integer range");
    fragment.id = Some(ID_ABOVE_JS_SAFE_INTEGER);
    let mut req = request("deploy", vec![fragment], 10_000);
    req.policy = Some(CompilePolicy {
        ids_as_strings: true,
        ..CompilePolicy::default()
    });

    // When compiling with the option active
    let Json(value) = srv
        .compile_context(Parameters(req))
        .await
        .expect("compile_context");

    // Then every id field on the wire is a decimal string, not a number —
    // a raw JS client parses this losslessly.
    let decision_id = &value["decisions"][0]["fragment_id"];
    assert_eq!(
        decision_id.as_str(),
        Some(ID_ABOVE_JS_SAFE_INTEGER.to_string().as_str()),
        "fragment_id must be a JSON string when ids_as_strings is active: {value}"
    );
    assert!(
        !decision_id.is_number(),
        "fragment_id must not still be a JSON number: {value}"
    );
}

#[tokio::test]
async fn test_compile_context_tool_ids_as_strings_default_false_is_byte_identical() {
    // Given the exact same request compiled with the option left at its
    // default (false) and explicitly set to false
    let (_dir, srv) = server();
    let fragment_a = {
        let mut f = fragment("a fact above the safe integer range");
        f.id = Some(ID_ABOVE_JS_SAFE_INTEGER);
        f
    };
    let fragment_b = fragment_a.clone();
    let req_default = request("deploy", vec![fragment_a], 10_000);
    let mut req_explicit_false = request("deploy", vec![fragment_b], 10_000);
    req_explicit_false.policy = Some(CompilePolicy {
        ids_as_strings: false,
        ..CompilePolicy::default()
    });

    // When compiling both
    let Json(default_value) = srv
        .compile_context(Parameters(req_default))
        .await
        .expect("compile_context (default policy)");
    let Json(explicit_value) = srv
        .compile_context(Parameters(req_explicit_false))
        .await
        .expect("compile_context (ids_as_strings: false)");

    // Then the response keeps ids as JSON numbers, byte-identical either way
    assert!(default_value["decisions"][0]["fragment_id"].is_number());
    assert_eq!(default_value, explicit_value);
}

#[tokio::test]
async fn test_explain_compilation_tool_ids_as_strings_stringifies_response_ids() {
    // Given a request whose policy opts into string ids
    let (_dir, srv) = server();
    let mut fragment = fragment("a fact above the safe integer range");
    fragment.id = Some(ID_ABOVE_JS_SAFE_INTEGER);
    let mut req = request("deploy", vec![fragment], 10_000);
    req.policy = Some(CompilePolicy {
        ids_as_strings: true,
        ..CompilePolicy::default()
    });

    // When explaining that fragment's decision
    let Json(value) = srv
        .explain_compilation(Parameters(ExplainCompilationParams {
            request: req,
            fragment_id: ID_ABOVE_JS_SAFE_INTEGER,
            fragment_index: None,
        }))
        .await
        .expect("explain_compilation");

    // Then fragment_id and content_hash are decimal strings on the wire
    assert_eq!(
        value["fragment_id"].as_str(),
        Some(ID_ABOVE_JS_SAFE_INTEGER.to_string().as_str())
    );
    assert!(value["content_hash"].is_string());
}

#[tokio::test]
async fn test_compile_context_tool_accepts_fragment_id_as_decimal_string_on_input() {
    // Given a fragment whose id is supplied as a decimal string (e.g. a
    // client resubmitting an id it previously received stringified)
    let (_dir, srv) = server();
    let mut req_value = serde_json::to_value(request(
        "deploy",
        vec![fragment("a fact above the safe integer range")],
        10_000,
    ))
    .expect("serialize request");
    req_value["fragments"][0]["id"] =
        serde_json::Value::String(ID_ABOVE_JS_SAFE_INTEGER.to_string());
    let req: CompileRequest =
        serde_json::from_value(req_value).expect("fragment id accepts a decimal string");

    // When compiling
    let Json(value) = srv
        .compile_context(Parameters(req))
        .await
        .expect("compile_context");

    // Then the fragment id round-trips exactly (as a number by default)
    assert_eq!(
        value["decisions"][0]["fragment_id"].as_u64(),
        Some(ID_ABOVE_JS_SAFE_INTEGER)
    );
}

// --- advertised schemas match the ids_as_strings wire contract -------------
// The official MCP SDKs (TS/Python, spec 2025-06-18) validate a tool's
// `structuredContent` against its advertised `outputSchema`. If the schema
// typed the id fields `integer` only, every `ids_as_strings: true` response
// would fail validation for exactly the clients the option exists for — so
// the advertised schemas must type each id field `["integer", "string"]`.

/// Recursively collect the type of every property named in `keys` across
/// the whole schema tree (`$defs` included), resolving array-typed
/// properties to their `items` type — so the assertions below cover every
/// occurrence, not just a hand-picked path.
fn collect_id_property_types(
    value: &serde_json::Value,
    keys: &[&str],
    found: &mut Vec<(String, serde_json::Value)>,
) {
    match value {
        serde_json::Value::Object(map) => {
            if let Some(serde_json::Value::Object(properties)) = map.get("properties") {
                for (name, subschema) in properties {
                    if keys.contains(&name.as_str()) {
                        let leaf = if subschema.get("type") == Some(&serde_json::json!("array")) {
                            subschema
                                .get("items")
                                .unwrap_or_else(|| panic!("array property {name} declares items"))
                        } else {
                            subschema
                        };
                        found.push((name.clone(), leaf["type"].clone()));
                    }
                }
            }
            for entry in map.values() {
                collect_id_property_types(entry, keys, found);
            }
        }
        serde_json::Value::Array(items) => {
            for item in items {
                collect_id_property_types(item, keys, found);
            }
        }
        _ => {}
    }
}

/// Every collected id type must advertise BOTH `integer` and `string`.
fn assert_ids_widened(found: &[(String, serde_json::Value)]) {
    for (name, type_value) in found {
        let types = type_value
            .as_array()
            .unwrap_or_else(|| panic!("{name} must type a list of forms, got {type_value}"));
        assert!(
            types.contains(&serde_json::json!("integer"))
                && types.contains(&serde_json::json!("string")),
            "{name} must advertise integer|string on the wire, got {type_value}"
        );
    }
}

#[test]
fn test_compile_context_output_schema_advertises_string_ids() {
    let tool = McpServer::compile_context_tool_attr();
    let schema = serde_json::to_value(
        tool.output_schema
            .expect("compile_context declares an output schema"),
    )
    .expect("schema serializes");

    let mut found = Vec::new();
    collect_id_property_types(&schema, crate::context::wire::ID_KEYS, &mut found);

    let names: std::collections::BTreeSet<&str> =
        found.iter().map(|(name, _)| name.as_str()).collect();
    for expected in ["fragment_id", "content_hash", "memory_id", "fragment_ids"] {
        assert!(
            names.contains(expected),
            "the compile_context output schema must carry {expected}; found {names:?}"
        );
    }
    assert_ids_widened(&found);
}

#[test]
fn test_explain_compilation_output_schema_advertises_string_ids() {
    let tool = McpServer::explain_compilation_tool_attr();
    let schema = serde_json::to_value(
        tool.output_schema
            .expect("explain_compilation declares an output schema"),
    )
    .expect("schema serializes");

    let mut found = Vec::new();
    collect_id_property_types(&schema, crate::context::wire::ID_KEYS, &mut found);

    let names: std::collections::BTreeSet<&str> =
        found.iter().map(|(name, _)| name.as_str()).collect();
    for expected in ["fragment_id", "content_hash", "memory_id"] {
        assert!(
            names.contains(expected),
            "the explain_compilation output schema must carry {expected}; found {names:?}"
        );
    }
    assert_ids_widened(&found);
}

/// Navigate to `fragments[].<property>` **as published**, i.e. through the
/// inlined `items`, not through `$defs`.
///
/// Unreferenced `$defs` entries are pruned once inlining has copied them to
/// their use sites (worth 40 KB across the 18 tools). A `$defs`-blind client
/// never reads that pool anyway, so asserting the contract where the client
/// actually finds it is strictly stronger than asserting it in the pool.
fn published_fragment_property<'a>(
    schema: &'a serde_json::Value,
    property: &str,
) -> &'a serde_json::Value {
    let fragments = if schema["properties"]["fragments"].is_null() {
        &schema["properties"]["request"]["properties"]["fragments"]
    } else {
        &schema["properties"]["fragments"]
    };
    &fragments["items"]["properties"][property]
}

#[test]
fn test_compile_context_input_schema_advertises_string_fragment_id() {
    // fragments[].id accepts a decimal string on input (see
    // wire::deserialize_optional_id) — a client generating requests from the
    // advertised schema must be able to discover that.
    //
    // Annonce `"string"` TOUT COURT depuis le 2026-07-29, la ou le schema
    // disait `["integer", "string", "null"]` : les harnais clients observes
    // aplatissent une liste de formes en `{}`, si bien que la version
    // « complete » du contrat le detruisait au lieu de le publier. La chaine
    // est la forme qui traverse un client JSON a nombres flottants sans
    // perdre les bits d'un id au-dela de 2^53 — c'est donc elle qu'on
    // annonce. Le serveur, lui, accepte toujours les deux.
    let tool = McpServer::compile_context_tool_attr();
    let schema = serde_json::to_value(&tool.input_schema).expect("schema serializes");

    let id_type = &published_fragment_property(&schema, "id")["type"];
    assert_eq!(
        id_type,
        &serde_json::json!("string"),
        "fragments[].id must advertise exactly one scalar type on input, got {id_type}"
    );
}

#[tokio::test]
async fn test_explain_compilation_accepts_the_string_fragment_id_compile_context_emitted() {
    // Given a fragment whose id exceeds 2^53, compiled with
    // `policy.ids_as_strings` — the option that exists precisely so a
    // float-lossy client gets its ids intact.
    let (_dir, srv) = server();
    let mut big = fragment("a fact whose id is past the safe integer range");
    big.id = Some(ID_ABOVE_JS_SAFE_INTEGER);
    let mut req = request("deploy", vec![big], 10_000);
    req.policy = Some(CompilePolicy {
        ids_as_strings: true,
        ..CompilePolicy::default()
    });
    let Json(compiled) = srv
        .compile_context(Parameters(req.clone()))
        .await
        .expect("compile_context");
    let emitted = compiled["decisions"][0]["fragment_id"].clone();
    assert!(
        emitted.is_string(),
        "precondition: ids_as_strings emits fragment_id as a string, got {emitted}"
    );

    // When the caller asks WHY that fragment was decided the way it was,
    // relaying the id exactly as it was handed out…
    let arguments = serde_json::json!({
        "request": serde_json::to_value(&req).expect("the request serializes"),
        "fragment_id": emitted,
    });

    // …then the tool that produced the string must accept it back. It did
    // not until 2026-07-29: `fragment_id` was a bare `u64`, so the ONLY form
    // that survives a float-lossy client was the one form it refused, and
    // the tool was unreachable by its own documented selector.
    let params: ExplainCompilationParams = serde_json::from_value(arguments)
        .expect("explain_compilation accepts the decimal-string fragment_id it emits");
    assert_eq!(params.fragment_id, ID_ABOVE_JS_SAFE_INTEGER);

    let Json(decision) = srv
        .explain_compilation(Parameters(params))
        .await
        .expect("explain_compilation resolves the fragment");
    // The answer is stringified too — the request carried `ids_as_strings`,
    // so the whole loop stays in the one form a float-lossy client can hold.
    assert_eq!(
        decision["fragment_id"],
        serde_json::json!(ID_ABOVE_JS_SAFE_INTEGER.to_string()),
        "the decision returned is the one for that exact fragment: {decision}"
    );
}

#[test]
fn test_explain_compilation_input_schema_announces_the_string_fragment_id() {
    // `fragment_id` selects a decision by an id `compile_context` may hand
    // out as a decimal string (`policy.ids_as_strings`), so it carries the
    // id contract and must ANNOUNCE the form that survives a float-lossy
    // client. It was published `integer` — the one form the caller cannot
    // produce past 2^53 — until 2026-07-29.
    let tool = McpServer::explain_compilation_tool_attr();
    let schema = serde_json::to_value(&tool.input_schema).expect("schema serializes");

    assert_eq!(
        schema["properties"]["fragment_id"]["type"],
        serde_json::json!("string"),
        "top-level fragment_id announces the decimal-string form"
    );
    // …while the nested fragments[].id announces the string form it accepts.
    let id_type = &published_fragment_property(&schema, "id")["type"];
    assert_eq!(
        id_type,
        &serde_json::json!("string"),
        "request.fragments[].id must advertise string on input, got {id_type}"
    );
}

// --- fragment_index (positional disambiguation, EPIC-P-071 wave 5 / 5.2) ---

#[tokio::test]
async fn test_explain_compilation_tool_fragment_index_disambiguates_byte_identical_twins() {
    // Given two byte-identical fragments (same content ⇒ same
    // content-addressed fragment_id, since neither sets a caller id)
    let (_dir, srv) = server();
    let req = request(
        "deploy",
        vec![fragment("duplicate payload"), fragment("duplicate payload")],
        10_000,
    );
    let shared_id = fragment_id("duplicate payload");

    // When asking for the decision by fragment_id alone (today's behavior)
    let Json(survivor_value) = srv
        .explain_compilation(Parameters(ExplainCompilationParams {
            request: req.clone(),
            fragment_id: shared_id,
            fragment_index: None,
        }))
        .await
        .expect("explain_compilation (by id)");
    let survivor = decision_of(survivor_value);

    // And when asking for the SECOND fragment's decision by position
    let Json(twin_value) = srv
        .explain_compilation(Parameters(ExplainCompilationParams {
            request: req,
            fragment_id: shared_id,
            fragment_index: Some(1),
        }))
        .await
        .expect("explain_compilation (by index)");
    let twin = decision_of(twin_value);

    // Then the id-based lookup returns the deduplication survivor (kept,
    // verbatim), while the positional lookup returns the dropped twin's own
    // decision — not the same decision.
    assert!(matches!(survivor.action, ContextAction::Preserve));
    assert!(matches!(twin.action, ContextAction::Drop));
    assert_eq!(twin.rule_id, "drop.duplicate");
    assert_eq!(twin.fragment_id, shared_id);
}

#[tokio::test]
async fn test_explain_compilation_tool_fragment_index_out_of_bounds_is_invalid_params() {
    // Given a request with only one fragment
    let (_dir, srv) = server();
    let req = request("deploy", vec![fragment("a fact")], 10_000);
    let wanted = fragment_id("a fact");

    // When asking for an index beyond the fragment list
    let Err(err) = srv
        .explain_compilation(Parameters(ExplainCompilationParams {
            request: req,
            fragment_id: wanted,
            fragment_index: Some(5),
        }))
        .await
    else {
        panic!("fragment_index 5 has no fragment — the tool must fail");
    };

    // Then the tool reports an invalid-params error with a clear reason
    assert_eq!(err.code, ErrorCode::INVALID_PARAMS);
    assert!(err.message.contains("fragment_index"));
}

#[tokio::test]
async fn test_retrieve_context_source_tool_round_trips_original() {
    // Given a compiled fragment whose source was stored
    let (_dir, srv) = server();
    let original = "Never restart the primary node during a rebalance.";
    let req = request("rebalance", vec![fragment(original)], 10_000);
    let Json(value) = srv
        .compile_context(Parameters(req))
        .await
        .expect("compile_context");
    let out = compiled_context_of(value);
    let handle = out.sources[0].handle.clone();

    // When retrieving through the tool
    let Json(retrieved) = srv
        .retrieve_context_source(Parameters(RetrieveContextSourceParams {
            handle: handle.clone(),
        }))
        .await
        .expect("retrieve_context_source");

    // Then the original bytes round-trip
    assert_eq!(retrieved.content, original);
    assert_eq!(retrieved.handle, handle);
}

// --- media fragments through the MCP tools (US-009, PR3) -------------------
//
// PR2 already pins media round-tripping at the `MemoryService` level
// (`tests/context_memory_bdd.rs`); these cover the MCP tool WRAPPER
// specifically — `compile_context`/`retrieve_context_source` serialize
// through `to_wire_value`/`Json<RetrieveContextSourceResult>` on a separate
// path from the bare service call, and nothing exercised that path with a
// real media payload before this PR.

/// A syntactically valid (well-formed base64), tiny PNG header — fixed,
/// independent bytes (never derived from a caption or any other property
/// under test — see the incident this rule prevents in PR2's dedup tests).
const PNG_B64: &str = "iVBORw0KGgoAAAANSUhEUgAAAEAAAAAwCAYAAAAAAAAA";

fn media_fragment(caption: &str) -> ContextFragment {
    ContextFragment {
        media: Some(crate::context::MediaRef {
            mime: "image/png".to_owned(),
            bytes_b64: PNG_B64.to_owned(),
        }),
        ..fragment(caption)
    }
}

/// Regression this attrapes: the MCP `retrieve_context_source` tool builds
/// its own `RetrieveContextSourceResult` envelope (handle, content, media)
/// rather than returning the service's `ContextSource` directly — a field
/// rename or a dropped `media: source.media` in that wrapper would silently
/// lose the picture for every MCP client while the underlying
/// `MemoryService` test suite kept passing.
#[tokio::test]
async fn test_retrieve_context_source_tool_round_trips_media_byte_identical() {
    // Given a media fragment too large for the budget, so it externalizes
    let (_dir, srv) = server();
    let req = request("a screenshot", vec![media_fragment("a screenshot")], 1);
    let Json(value) = srv
        .compile_context(Parameters(req))
        .await
        .expect("compile_context");
    let out = compiled_context_of(value);
    let handle = out
        .retrieval_handles
        .first()
        .expect("the oversized media fragment must externalize")
        .handle
        .clone();

    // When retrieving through the tool
    let Json(retrieved) = srv
        .retrieve_context_source(Parameters(RetrieveContextSourceParams {
            handle: handle.clone(),
        }))
        .await
        .expect("retrieve_context_source");

    // Then the media round-trips byte for byte through the MCP wrapper
    let media = retrieved
        .media
        .expect("a media source must carry its media back through the MCP tool");
    assert_eq!(media.mime, "image/png");
    assert_eq!(media.bytes_b64, PNG_B64);
}

/// Regression this attrapes: a text-only source picking up a spurious
/// `media` field through the MCP wrapper (e.g. a `Some(default)` instead of
/// `None`) would be invisible to every other test here, which only ever
/// compiles text fragments and checks `.content`.
#[tokio::test]
async fn test_retrieve_context_source_tool_text_only_carries_no_media() {
    let (_dir, srv) = server();
    let req = request("plain", vec![fragment("no picture here")], 10_000);
    let Json(value) = srv
        .compile_context(Parameters(req))
        .await
        .expect("compile_context");
    let out = compiled_context_of(value);
    let handle = out.sources[0].handle.clone();

    let Json(retrieved) = srv
        .retrieve_context_source(Parameters(RetrieveContextSourceParams { handle }))
        .await
        .expect("retrieve_context_source");

    assert!(retrieved.media.is_none());
}

// --- MCP schema advertises the media fragment shape (US-009, PR3) ----------
//
// `schemars` derives the schema straight from `MediaRef`/`ContextFragment`/
// `RetrieveContextSourceResult`, so nothing here is hand-authored — these
// tests pin the schema the server ACTUALLY publishes (not just "it should
// compile"), the same structural-test pattern the wave-5 id-widening tests
// use above (`test_compile_context_output_schema_advertises_string_ids`).
// Regression this attrapes: an MCP client generates requests/validates
// responses from the advertised JSON Schema alone — if a future refactor
// moved `media` behind a `#[serde(skip)]`, a renamed field, or a schemars
// attribute that hides it from `$defs`, a client would never learn the
// fragment/source can carry media at all, even though the Rust type still
// round-trips it — these tests fail on that class of regression while every
// behavioral test above still passes (they talk to the Rust struct, not the
// advertised JSON).

#[test]
fn test_compile_context_input_schema_advertises_fragment_media_field() {
    let tool = McpServer::compile_context_tool_attr();
    let schema = serde_json::to_value(&tool.input_schema).expect("schema serializes");

    let media_property = published_fragment_property(&schema, "media");
    assert!(
        !media_property.is_null(),
        "fragments[].media must be advertised on compile_context's input schema"
    );
    // Resolve the (possibly $ref'd) MediaRef schema and check its shape.
    let media_schema = if let Some(reference) = media_property.get("$ref") {
        let reference = reference
            .as_str()
            .expect("$ref is a string")
            .trim_start_matches("#/$defs/");
        &schema["$defs"][reference]
    } else if let Some(one_of) = media_property
        .get("anyOf")
        .or_else(|| media_property.get("oneOf"))
    {
        // An optional field is `anyOf: [<MediaRef>, {type: "null"}]`. The
        // first branch used to be a bare `$ref`; since the union branches are
        // inlined too (a `$defs`-blind caller could not resolve it, so the
        // whole slot read as "anything"), it now carries the definition
        // directly. Accept both: follow a `$ref` when there is still one,
        // otherwise take the branch as-is. Picking "the non-null branch"
        // rather than "the branch with a `$ref`" is what makes this
        // independent of whether inlining happened.
        one_of
            .as_array()
            .and_then(|variants| {
                variants
                    .iter()
                    .find(|variant| variant.get("type").is_none_or(|ty| ty != "null"))
            })
            .map_or(media_property, |branch| {
                branch
                    .get("$ref")
                    .and_then(serde_json::Value::as_str)
                    .map(|name| name.trim_start_matches("#/$defs/"))
                    .map_or(branch, |name| &schema["$defs"][name])
            })
    } else {
        media_property
    };
    for expected in ["mime", "bytes_b64"] {
        assert!(
            !media_schema["properties"][expected].is_null(),
            "MediaRef must advertise '{expected}'; media schema was {media_schema}"
        );
    }
}

#[test]
fn test_retrieve_context_source_output_schema_advertises_optional_media_field() {
    let tool = McpServer::retrieve_context_source_tool_attr();
    let schema = serde_json::to_value(
        tool.output_schema
            .expect("retrieve_context_source declares an output schema"),
    )
    .expect("schema serializes");

    let media_property = &schema["properties"]["media"];
    assert!(
        !media_property.is_null(),
        "retrieve_context_source's output schema must advertise 'media'; schema was {schema}"
    );
    // Required stays scoped to handle/content: media is optional (US-009 PR2
    // kept every pre-PR2 text-only response byte-identical).
    let required = schema["required"]
        .as_array()
        .expect("output schema declares required properties");
    assert!(
        !required.contains(&serde_json::json!("media")),
        "media must stay optional on the advertised schema, got required: {required:?}"
    );
}

#[tokio::test]
async fn test_compile_context_tool_zero_budget_is_invalid_params() {
    let (_dir, srv) = server();
    let req = request("deploy", vec![fragment("anything")], 0);

    let Err(err) = srv.compile_context(Parameters(req)).await else {
        panic!("a zero budget cannot compile — the tool must fail");
    };
    assert_eq!(err.code, ErrorCode::INVALID_PARAMS);
}

#[tokio::test]
async fn test_retrieve_context_source_tool_unknown_handle_is_invalid_params() {
    let (_dir, srv) = server();
    let Err(err) = srv
        .retrieve_context_source(Parameters(RetrieveContextSourceParams {
            handle: "ctx://source/999999".to_owned(),
        }))
        .await
    else {
        panic!("nothing stored under this handle — the tool must fail");
    };
    assert_eq!(err.code, ErrorCode::INVALID_PARAMS);
}

// --- save_working_context / load_working_context ---------------------------

fn working() -> WorkingContext {
    WorkingContext {
        goal: Some("ship EPIC-P-071 PR3".to_owned()),
        active_constraints: vec![ContextFact {
            text: "never merge without green gates".to_owned(),
            source: None,
        }],
        verified_facts: vec![ContextFact {
            text: "compile_context already ships on MCP+Node".to_owned(),
            source: None,
        }],
        open_hypotheses: Vec::new(),
        decisions: Vec::new(),
        exact_evidence: Vec::new(),
        pending_actions: vec!["wire save/load working-context tools".to_owned()],
    }
}

#[tokio::test]
async fn test_save_working_context_tool_then_load_round_trips() {
    // Given a server and a working context to persist
    let (_dir, srv) = server();
    let saved = working();

    // When saving through the tool
    let Json(save_result) = srv
        .save_working_context(Parameters(SaveWorkingContextParams {
            project: "veles".to_owned(),
            session: "session-1".to_owned(),
            working: saved.clone(),
        }))
        .await
        .expect("save_working_context");
    assert!(save_result.id > 0);

    // Then a later load (a fresh "session") recovers the exact same state —
    // this is the inter-session resumption the tool exists for.
    let Json(loaded) = srv
        .load_working_context(Parameters(LoadWorkingContextParams {
            project: "veles".to_owned(),
            session: "session-1".to_owned(),
        }))
        .await
        .expect("load_working_context");
    let loaded = loaded_working_of(loaded);
    let recovered = loaded
        .working
        .expect("a previously saved working context must load back");
    assert_eq!(recovered.goal, saved.goal);
    assert_eq!(recovered.pending_actions, saved.pending_actions);
    assert_eq!(recovered.active_constraints.len(), 1);
}

#[tokio::test]
async fn test_load_working_context_tool_none_when_never_saved() {
    // Given a server with nothing saved under this project/session pair
    let (_dir, srv) = server();

    // When loading through the tool
    let Json(loaded) = srv
        .load_working_context(Parameters(LoadWorkingContextParams {
            project: "veles".to_owned(),
            session: "never-saved".to_owned(),
        }))
        .await
        .expect("load_working_context");
    let loaded = loaded_working_of(loaded);

    // Then there is nothing to resume
    assert!(loaded.working.is_none());
}

#[tokio::test]
async fn test_save_working_context_tool_is_idempotent_upsert() {
    // Given an already-saved working context
    let (_dir, srv) = server();
    let mut state = working();
    srv.save_working_context(Parameters(SaveWorkingContextParams {
        project: "veles".to_owned(),
        session: "session-2".to_owned(),
        working: state.clone(),
    }))
    .await
    .expect("save_working_context");

    // When saving again under the same project+session with a new goal
    state.goal = Some("ship a follow-up PR".to_owned());
    srv.save_working_context(Parameters(SaveWorkingContextParams {
        project: "veles".to_owned(),
        session: "session-2".to_owned(),
        working: state.clone(),
    }))
    .await
    .expect("save_working_context (replace)");

    // Then loading returns the latest state, not the first
    let Json(loaded) = srv
        .load_working_context(Parameters(LoadWorkingContextParams {
            project: "veles".to_owned(),
            session: "session-2".to_owned(),
        }))
        .await
        .expect("load_working_context");
    let loaded = loaded_working_of(loaded);
    assert_eq!(loaded.working.expect("saved").goal, state.goal);
}

#[tokio::test]
async fn test_load_working_context_tool_reports_found_true_on_hit() {
    // Given a saved working context
    let (_dir, srv) = server();
    srv.save_working_context(Parameters(SaveWorkingContextParams {
        project: "veles".to_owned(),
        session: "session-x".to_owned(),
        working: working(),
    }))
    .await
    .expect("save_working_context");

    // When loading it back
    let Json(loaded) = srv
        .load_working_context(Parameters(LoadWorkingContextParams {
            project: "veles".to_owned(),
            session: "session-x".to_owned(),
        }))
        .await
        .expect("load_working_context");
    let loaded = loaded_working_of(loaded);

    // Then `found` is true, and `other_sessions` is empty because this
    // project genuinely has no OTHER session — not because a hit suppresses
    // the field (see the two-session test right below, which is the one that
    // pins that behaviour).
    assert!(loaded.found);
    assert!(loaded.working.is_some());
    assert!(loaded.other_sessions.is_empty());
}

#[tokio::test]
async fn test_load_working_context_tool_surfaces_other_sessions_on_a_hit_too() {
    // Given a project with TWO saved sessions
    let (_dir, srv) = server();
    for session in ["rolling", "probe"] {
        srv.save_working_context(Parameters(SaveWorkingContextParams {
            project: "veles".to_owned(),
            session: session.to_owned(),
            working: working(),
        }))
        .await
        .expect("save_working_context");
    }

    // When loading one of them successfully
    let Json(loaded) = srv
        .load_working_context(Parameters(LoadWorkingContextParams {
            project: "veles".to_owned(),
            session: "probe".to_owned(),
        }))
        .await
        .expect("load_working_context");
    let loaded = loaded_working_of(loaded);

    // Then the OTHER session is still surfaced. An agent that mistypes a
    // session id into another REAL session gets `found: true` and resumes
    // the wrong work with no signal at all; withholding `other_sessions`
    // exactly on a hit removes the recovery hint in the one case where the
    // caller cannot detect the mistake by itself.
    assert!(loaded.found);
    assert!(
        loaded.other_sessions.contains(&"rolling".to_owned()),
        "a hit must still list the project's other sessions so a caller that \
         resumed the WRONG (but existing) session can notice and recover; got {:?}",
        loaded.other_sessions
    );
    assert!(
        !loaded.other_sessions.contains(&"probe".to_owned()),
        "the field is `other_sessions`: the session just loaded is not an \
         alternative to itself; got {:?}",
        loaded.other_sessions
    );
}

#[tokio::test]
async fn test_load_working_context_tool_reports_found_false_and_other_sessions_on_miss() {
    // Given a project with a session saved under a DIFFERENT name (a likely
    // typo scenario)
    let (_dir, srv) = server();
    srv.save_working_context(Parameters(SaveWorkingContextParams {
        project: "veles".to_owned(),
        session: "task-1234".to_owned(),
        working: working(),
    }))
    .await
    .expect("save_working_context");

    // When loading a session id that was never saved
    let Json(loaded) = srv
        .load_working_context(Parameters(LoadWorkingContextParams {
            project: "veles".to_owned(),
            session: "task-1235".to_owned(),
        }))
        .await
        .expect("load_working_context");
    let loaded = loaded_working_of(loaded);

    // Then `found` is false, `working` is null, and the real session is
    // surfaced so the caller can recover from the typo.
    assert!(!loaded.found);
    assert!(loaded.working.is_none());
    assert_eq!(loaded.other_sessions, vec!["task-1234".to_owned()]);
}

#[tokio::test]
async fn test_list_working_contexts_tool_returns_saved_sessions() {
    // Given two sessions saved under the same project
    let (_dir, srv) = server();
    srv.save_working_context(Parameters(SaveWorkingContextParams {
        project: "veles".to_owned(),
        session: "session-a".to_owned(),
        working: working(),
    }))
    .await
    .expect("save session-a");
    srv.save_working_context(Parameters(SaveWorkingContextParams {
        project: "veles".to_owned(),
        session: "session-b".to_owned(),
        working: working(),
    }))
    .await
    .expect("save session-b");

    // When listing the project's working contexts through the tool
    let Json(listed) = srv
        .list_working_contexts(Parameters(ListWorkingContextsParams {
            project: "veles".to_owned(),
        }))
        .await
        .expect("list_working_contexts");

    // Then both sessions come back.
    let names: Vec<&str> = listed.sessions.iter().map(|s| s.session.as_str()).collect();
    assert!(names.contains(&"session-a"), "{names:?}");
    assert!(names.contains(&"session-b"), "{names:?}");
}

#[tokio::test]
async fn test_suggest_budget_tool_known_model_returns_window_and_suggestion() {
    let (_dir, srv) = server();
    let Json(suggestion) = srv
        .suggest_budget(Parameters(SuggestBudgetParams {
            target_model: "claude-sonnet-4-5".to_owned(),
            reserve_tokens: Some(10_000),
        }))
        .await
        .expect("suggest_budget");
    assert_eq!(suggestion.window, Some(200_000));
    assert_eq!(suggestion.suggested_budget, Some(190_000));
    assert!(suggestion.source.contains("static table"));
}

#[tokio::test]
async fn test_suggest_budget_tool_defaults_reserve_tokens_to_zero() {
    let (_dir, srv) = server();
    let Json(suggestion) = srv
        .suggest_budget(Parameters(SuggestBudgetParams {
            target_model: "claude-sonnet-4-5".to_owned(),
            reserve_tokens: None,
        }))
        .await
        .expect("suggest_budget");
    assert_eq!(suggestion.suggested_budget, suggestion.window);
}

#[tokio::test]
async fn test_suggest_budget_tool_unknown_model_returns_nulls() {
    let (_dir, srv) = server();
    let Json(suggestion) = srv
        .suggest_budget(Parameters(SuggestBudgetParams {
            target_model: "some-model-that-does-not-exist-2099".to_owned(),
            reserve_tokens: None,
        }))
        .await
        .expect("suggest_budget");
    assert_eq!(suggestion.window, None);
    assert_eq!(suggestion.suggested_budget, None);
}

#[tokio::test]
async fn test_list_working_contexts_tool_empty_for_unknown_project() {
    // Given a server with nothing saved
    let (_dir, srv) = server();

    // When listing an unknown project
    let Json(listed) = srv
        .list_working_contexts(Parameters(ListWorkingContextsParams {
            project: "ghost-project".to_owned(),
        }))
        .await
        .expect("list_working_contexts");

    // Then it comes back empty, not an error.
    assert!(listed.sessions.is_empty());
}

#[tokio::test]
async fn test_compile_transcript_tool_end_to_end() {
    // Given a server and a small plain transcript with a system turn, a
    // user turn, and an assistant turn
    let (_dir, srv) = server();
    let transcript = "System: be terse\nUser: what is 2+2?\nAssistant: 4\n".to_owned();

    // When compiling it via compile_transcript
    let Json(value) = srv
        .compile_transcript(Parameters(CompileTranscriptParams {
            query: "arithmetic".to_owned(),
            transcript: Some(transcript),
            path: None,
            token_budget: 10_000,
            project: None,
            target_model: None,
            policy: None,
            segmentation: None,
        }))
        .await
        .expect("compile_transcript");
    let out: CompileTranscriptResult = serde_json::from_value(value).expect("valid result");

    // Then the compiled context carries the transcript's content, and the
    // segmentation report accounts for every turn with a resolvable
    // fragment_id and cache metadata on the system turn
    assert!(out.context.content.contains('4'));
    assert_eq!(out.segmentation.format_detected, SegmentFormat::Plain);
    assert_eq!(out.segmentation.segments.len(), 3);
    assert_eq!(out.segmentation.segments[0].role.as_deref(), Some("System"));
    assert_eq!(out.segmentation.segments[1].role.as_deref(), Some("User"));
    assert_eq!(
        out.segmentation.segments[2].role.as_deref(),
        Some("Assistant")
    );
    assert!(out.segmentation.segments.iter().all(|s| s.fragment_id > 0));
    assert!(out
        .context
        .decisions
        .iter()
        .any(|d| d.fragment_id == out.segmentation.segments[0].fragment_id));
}

#[tokio::test]
async fn test_compile_transcript_from_path_uses_ingest_checks() {
    // Given a server allowlisting one directory, and a transcript file
    // inside it
    let allowed = TempDir::new().expect("tempdir");
    let (_dir, srv) = server_with_ingest_roots(allowed.path());
    let transcript_file = allowed.path().join("session.txt");
    std::fs::write(&transcript_file, "User: hello from disk\n").expect("write transcript");
    let requested = transcript_file.to_string_lossy().into_owned();

    // When compiling via `path` inside the allowlist
    let Json(value) = srv
        .compile_transcript(Parameters(CompileTranscriptParams {
            query: "greeting".to_owned(),
            transcript: None,
            path: Some(requested),
            token_budget: 10_000,
            project: None,
            target_model: None,
            policy: None,
            segmentation: None,
        }))
        .await
        .expect("compile_transcript resolves the path like an ordinary ingest fragment");
    let out: CompileTranscriptResult = serde_json::from_value(value).expect("valid result");
    assert!(out.context.content.contains("hello from disk"));

    // Given a second file OUTSIDE the allowlist
    let outside = TempDir::new().expect("tempdir");
    let escaping_file = outside.path().join("other.txt");
    std::fs::write(&escaping_file, "not reachable from the allowlist").expect("write");
    let escaping_requested = escaping_file.to_string_lossy().into_owned();

    // When compiling via that `path`
    let result = srv
        .compile_transcript(Parameters(CompileTranscriptParams {
            query: "greeting".to_owned(),
            transcript: None,
            path: Some(escaping_requested),
            token_budget: 10_000,
            project: None,
            target_model: None,
            policy: None,
            segmentation: None,
        }))
        .await;
    let Err(err) = result else {
        panic!("path outside the ingest roots must be rejected");
    };

    // Then it fails with the same ingest security error `compile_context`
    // would produce for an out-of-root `path` fragment — never a generic
    // "not found". (The symlink-specific no-leak guarantee is covered by
    // `context::ingest`'s own `outside_roots_error_never_echoes_resolved_target`.)
    assert_eq!(err.code, ErrorCode::INVALID_PARAMS);
    assert!(err.message.contains("outside"), "{}", err.message);
}

#[tokio::test]
async fn test_compile_transcript_without_ingest_roots_reports_disabled() {
    // Given a server with NO ingest roots configured
    let (_dir, srv) = server();

    // When compiling via `path`
    let result = srv
        .compile_transcript(Parameters(CompileTranscriptParams {
            query: "greeting".to_owned(),
            transcript: None,
            path: Some("/does/not/matter.txt".to_owned()),
            token_budget: 10_000,
            project: None,
            target_model: None,
            policy: None,
            segmentation: None,
        }))
        .await;
    let Err(err) = result else {
        panic!("ingestion is disabled without VELESDB_MEMORY_INGEST_ROOTS");
    };

    // Then it reports the same "ingestion disabled" error as compile_context.
    assert_eq!(err.code, ErrorCode::INVALID_PARAMS);
    assert!(err.message.contains("disabled"), "{}", err.message);
}

#[tokio::test]
async fn test_compile_transcript_rejects_empty_file_same_as_empty_inline_transcript() {
    // Given a server with a real, but EMPTY, file inside the ingest
    // allowlist — an empty inline `transcript` is already rejected
    // (INVALID_PARAMS), but an empty file reached via `path` used to
    // resolve cleanly and compile into a silent, zero-fragment result: the
    // same "nothing to compile" situation reported two different ways.
    let allowed = TempDir::new().expect("tempdir");
    let (_dir, srv) = server_with_ingest_roots(allowed.path());
    let empty_file = allowed.path().join("empty.txt");
    std::fs::write(&empty_file, "").expect("write empty file");
    let requested = empty_file.to_string_lossy().into_owned();

    // When compiling via that `path`
    let path_result = srv
        .compile_transcript(Parameters(CompileTranscriptParams {
            query: "q".to_owned(),
            transcript: None,
            path: Some(requested),
            token_budget: 10_000,
            project: None,
            target_model: None,
            policy: None,
            segmentation: None,
        }))
        .await;
    let Err(path_err) = path_result else {
        panic!("an empty file must be rejected, not silently compiled into nothing");
    };

    // And when compiling with an empty inline transcript instead
    let inline_result = srv
        .compile_transcript(Parameters(CompileTranscriptParams {
            query: "q".to_owned(),
            transcript: Some(String::new()),
            path: None,
            token_budget: 10_000,
            project: None,
            target_model: None,
            policy: None,
            segmentation: None,
        }))
        .await;
    let Err(inline_err) = inline_result else {
        panic!("an empty inline transcript must be rejected");
    };

    // Then both fail the same way, with the exact same actionable message
    assert_eq!(path_err.code, ErrorCode::INVALID_PARAMS);
    assert_eq!(inline_err.code, ErrorCode::INVALID_PARAMS);
    assert_eq!(path_err.message, inline_err.message);
}

/// Harness-proof schema contract for `save_working_context` (observed
/// 2026-07-24: a real MCP harness sent `working` as a JSON-encoded string —
/// `invalid type: string, expected struct WorkingContext` — after degrading
/// a `$ref`-only property to "untyped"). The `working` property must carry
/// a DIRECT `type: object` keyword, not only a `$ref`.
#[test]
fn test_save_working_context_input_schema_declares_object_working_directly() {
    let tool = McpServer::save_working_context_tool_attr();
    let schema = serde_json::to_value(&tool.input_schema).expect("schema serializes");
    let working = &schema["properties"]["working"];
    assert_eq!(
        working["type"],
        serde_json::json!("object"),
        "`working` must advertise a direct `type: object` (a $ref-only \
         schema gets stringified by real MCP harnesses); got: {working}"
    );
}

/// Server-side tolerance half (same wire-contract class as issue #1468):
/// a harness that DID stringify the `working` object must still be served.
#[test]
fn test_save_working_context_params_accept_stringified_working() {
    let params: SaveWorkingContextParams = serde_json::from_value(serde_json::json!({
        "project": "veles",
        "session": "s1",
        "working": "{\"goal\": \"resume the campaign\"}"
    }))
    .expect("a JSON-encoded `working` string must deserialize");
    assert_eq!(params.working.goal.as_deref(), Some("resume the campaign"));
}

#[tokio::test]
async fn test_load_working_context_never_suggests_the_session_it_just_denied() {
    // Given a saved session whose backing fact is then deleted, so the
    // project index still carries the entry while the context is gone.
    let (_dir, srv) = server();
    let Json(saved) = srv
        .save_working_context(Parameters(SaveWorkingContextParams {
            project: "veles".to_owned(),
            session: "session-gone".to_owned(),
            working: working(),
        }))
        .await
        .expect("save_working_context");
    srv.forget(Parameters(super::super::dto::ForgetParams { id: saved.id }))
        .await
        .expect("forget");

    // When loading that same session back
    let Json(loaded) = srv
        .load_working_context(Parameters(LoadWorkingContextParams {
            project: "veles".to_owned(),
            session: "session-gone".to_owned(),
        }))
        .await
        .expect("load_working_context");
    let loaded = loaded_working_of(loaded);

    // Then the answer must not contradict itself: the field is named
    // `other_sessions` and documented as OTHER sessions, so proposing the
    // very session just reported missing is nonsense to act on.
    assert!(!loaded.found);
    assert!(
        !loaded.other_sessions.contains(&"session-gone".to_owned()),
        "other_sessions suggests the session it just denied: {:?}",
        loaded.other_sessions
    );
}

#[tokio::test]
async fn test_list_working_contexts_drops_a_session_whose_context_is_gone() {
    // Given two saved sessions, one of which is then deleted
    let (_dir, srv) = server();
    for session in ["kept", "dropped"] {
        let Json(saved) = srv
            .save_working_context(Parameters(SaveWorkingContextParams {
                project: "veles".to_owned(),
                session: session.to_owned(),
                working: working(),
            }))
            .await
            .expect("save_working_context");
        if session == "dropped" {
            // Nothing else needed: listing checks liveness itself. The test
            // no longer has to trigger a side effect from a read path to
            // pass, which is the point — the guarantee holds on a cold
            // process that never loaded this session.
            srv.forget(Parameters(super::super::dto::ForgetParams { id: saved.id }))
                .await
                .expect("forget");
        }
    }

    // When listing what is resumable
    let Json(listed) = srv
        .list_working_contexts(Parameters(ListWorkingContextsParams {
            project: "veles".to_owned(),
        }))
        .await
        .expect("list_working_contexts");
    let names: Vec<&str> = listed.sessions.iter().map(|s| s.session.as_str()).collect();

    // Then only the session that can actually be resumed is offered.
    assert!(names.contains(&"kept"), "kept session missing: {names:?}");
    assert!(
        !names.contains(&"dropped"),
        "list offers a session load cannot return: {names:?}"
    );
}