neva 0.5.1

//! `x-mcp-header`: mirroring tool arguments into HTTP headers.
//!
//! A server may annotate a property of a tool's `inputSchema` with
//! `x-mcp-header: "<name>"`, asking the client to mirror that argument's value
//! into the `Mcp-Param-<name>` header on the Streamable HTTP transport, so
//! intermediaries can route or police a call without parsing its body.
//!
//! Servers *may* use the annotation; clients **must** honor it. A definition
//! that breaks the constraints below is not merely ignored -- the client drops
//! the whole tool from `tools/list`, so one malformed tool cannot quietly
//! change what a well-formed one sends.

use std::collections::HashMap;
#[cfg(feature = "http-client")]
use std::sync::Arc;

/// Tool name -> the arguments that tool mirrors into headers.
///
/// Populated from `tools/list` and read on `tools/call`; shared by handle so
/// the transport task sees what the client registered. Client-side only -- a
/// server reads the annotations straight off the tool it already owns.
#[cfg(feature = "http-client")]
pub(crate) type Registry = Arc<dashmap::DashMap<String, Vec<ParamHeader>>>;

/// The annotation keyword inside a property schema.
const KEYWORD: &str = "x-mcp-header";

/// Prefix of the header a mirrored argument lands in.
pub(crate) const PARAM_HEADER_PREFIX: &str = "Mcp-Param-";

/// One mirrored argument: where to read it, and what to call the header.
#[derive(Debug, Clone, PartialEq, Eq)]
pub(crate) struct ParamHeader {
    /// The chain of `properties` keys leading to the annotated property.
    pub(crate) path: Vec<String>,
    /// The `{name}` of `Mcp-Param-{name}`.
    pub(crate) header: String,
}

/// Why a tool definition was rejected.
#[derive(Debug, PartialEq, Eq)]
pub(crate) enum ParamHeaderError {
    /// The annotation was not a non-empty HTTP token.
    InvalidName(String),
    /// Two properties asked for the same header (case-insensitively).
    DuplicateName(String),
    /// Annotated a type that cannot be mirrored (only integer/string/boolean).
    UnsupportedType(String),
    /// Annotated somewhere not statically reachable through `properties`.
    Unreachable(String),
}

impl std::fmt::Display for ParamHeaderError {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            Self::InvalidName(n) => {
                write!(f, "`x-mcp-header` value {n:?} is not a valid HTTP token")
            }
            Self::DuplicateName(n) => {
                write!(f, "`x-mcp-header` value {n:?} is used more than once")
            }
            Self::UnsupportedType(p) => write!(
                f,
                "`x-mcp-header` on {p:?} needs a primitive type (integer, string or boolean)"
            ),
            Self::Unreachable(p) => write!(
                f,
                "`x-mcp-header` on {p:?} is not statically reachable through `properties`"
            ),
        }
    }
}

/// Whether `c` is an RFC 9110 `tchar`.
fn is_tchar(c: char) -> bool {
    c.is_ascii_alphanumeric() || "!#$%&'*+-.^_`|~".contains(c)
}

/// Collects the `x-mcp-header` annotations of a tool's `inputSchema`.
///
/// Returns `Err` if any annotation breaks the spec's constraints; the caller
/// drops the tool in that case.
pub(crate) fn collect(
    input_schema: &serde_json::Value,
) -> Result<Vec<ParamHeader>, ParamHeaderError> {
    let mut found = Vec::new();
    let mut seen: HashMap<String, ()> = HashMap::new();
    walk(input_schema, &mut Vec::new(), &mut found, &mut seen)?;
    reject_unreachable(input_schema, &found)?;
    Ok(found)
}

/// Descends the `properties` chain, which is the only path the spec allows an
/// annotation to sit on.
fn walk(
    schema: &serde_json::Value,
    path: &mut Vec<String>,
    found: &mut Vec<ParamHeader>,
    seen: &mut HashMap<String, ()>,
) -> Result<(), ParamHeaderError> {
    let Some(props) = schema.get("properties").and_then(|p| p.as_object()) else {
        return Ok(());
    };

    for (name, prop) in props {
        path.push(name.clone());

        if let Some(raw) = prop.get(KEYWORD) {
            let header = raw.as_str().unwrap_or_default();
            if header.is_empty() || !header.chars().all(is_tchar) {
                return Err(ParamHeaderError::InvalidName(header.to_owned()));
            }
            let key = header.to_ascii_lowercase();
            if seen.insert(key, ()).is_some() {
                return Err(ParamHeaderError::DuplicateName(header.to_owned()));
            }
            // `number` is excluded deliberately: it has no single lossless
            // textual form, so mirroring it could not round-trip.
            let ty = prop
                .get("type")
                .and_then(|t| t.as_str())
                .unwrap_or_default();
            if !matches!(ty, "integer" | "string" | "boolean") {
                return Err(ParamHeaderError::UnsupportedType(path.join(".")));
            }
            found.push(ParamHeader {
                path: path.clone(),
                header: header.to_owned(),
            });
        }

        walk(prop, path, found, seen)?;
        path.pop();
    }
    Ok(())
}

/// Fails if the schema carries an annotation anywhere [`walk`] would not have
/// reached -- the schema root itself, under `items` or a composition keyword,
/// behind `additionalProperties` / `patternProperties`, inside `$defs`, and so
/// on.
///
/// Stated the other way round: every annotation in the document must be one
/// [`walk`] just collected. Enumerating the ways a schema can nest would leave
/// the next JSON Schema keyword silently unguarded, and an annotation the
/// client cannot honor must fail the tool rather than be quietly ignored.
fn reject_unreachable(
    schema: &serde_json::Value,
    found: &[ParamHeader],
) -> Result<(), ParamHeaderError> {
    let reachable = found
        .iter()
        .map(|h| location_of(&h.path))
        .collect::<std::collections::HashSet<_>>();

    let mut all = Vec::new();
    scan(schema, &mut Vec::new(), &mut all);

    match all.into_iter().find(|loc| !reachable.contains(loc)) {
        Some(loc) if loc.is_empty() => Err(ParamHeaderError::Unreachable("<root>".to_owned())),
        Some(loc) => Err(ParamHeaderError::Unreachable(loc)),
        None => Ok(()),
    }
}

/// The document location of a property [`walk`] reached, in the same form
/// [`scan`] reports: `properties/target/properties/region`.
fn location_of(path: &[String]) -> String {
    let mut loc = String::new();
    for step in path {
        loc.push_str("properties/");
        loc.push_str(step);
        loc.push('/');
    }
    loc.pop();
    loc
}

/// Records the location of every annotated object in the document, wherever it
/// sits -- the reachability check is what decides whether it was allowed there.
fn scan(value: &serde_json::Value, at: &mut Vec<String>, out: &mut Vec<String>) {
    match value {
        serde_json::Value::Object(map) => {
            if map.contains_key(KEYWORD) {
                out.push(at.join("/"));
            }
            for (key, sub) in map {
                at.push(key.clone());
                scan(sub, at, out);
                at.pop();
            }
        }
        serde_json::Value::Array(items) => {
            for (i, sub) in items.iter().enumerate() {
                at.push(i.to_string());
                scan(sub, at, out);
                at.pop();
            }
        }
        _ => {}
    }
}

/// The integer an annotated argument denotes, if it denotes one.
///
/// JSON Schema constrains the value and not how it was written, so `1` and
/// `1.0` are the same integer and a validator accepts both. Reading only the
/// integer-typed variants would drop the header for the second spelling --
/// and since both peers extract the same way, the call would then travel with
/// the annotation silently unhonored rather than rejected, which is the one
/// outcome the annotation exists to prevent.
///
/// A float beyond the safe range the spec puts on annotated integers no longer
/// carries the digits it was written with, so there is nothing truthful to
/// mirror. Integer-typed values are exact and pass through as they came.
fn integer_value(n: &serde_json::Number) -> Option<String> {
    if n.is_i64() || n.is_u64() {
        return Some(n.to_string());
    }
    let f = n.as_f64()?;
    // 2^53 - 1, JavaScript's `Number.MAX_SAFE_INTEGER`. A non-finite value
    // fails the `fract` test as well -- its fractional part is `NaN`.
    if f.fract() != 0.0 || f.abs() > 9_007_199_254_740_991.0 {
        return None;
    }
    Some((f as i64).to_string())
}

/// Reads the value each annotated property points at, skipping any that the
/// call did not supply.
pub(crate) fn extract(headers: &[ParamHeader], args: &serde_json::Value) -> Vec<(String, String)> {
    headers
        .iter()
        .filter_map(|h| {
            let mut cur = args;
            for step in &h.path {
                cur = cur.get(step)?;
            }
            let value = match cur {
                serde_json::Value::String(s) => s.clone(),
                serde_json::Value::Bool(b) => b.to_string(),
                serde_json::Value::Number(n) => integer_value(n)?,
                // Anything else was rejected at registration time; a peer that
                // sends it anyway is simply not mirrored.
                _ => return None,
            };
            Some((format!("{PARAM_HEADER_PREFIX}{}", h.header), value))
        })
        .collect()
}

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

    #[test]
    fn collects_a_top_level_annotation() {
        let schema = json!({
            "type": "object",
            "properties": {
                "region": { "type": "string", "x-mcp-header": "Region" },
                "query": { "type": "string" }
            }
        });
        let got = collect(&schema).unwrap();
        assert_eq!(got.len(), 1);
        assert_eq!(got[0].path, ["region"]);
        assert_eq!(got[0].header, "Region");
    }

    #[test]
    fn collects_a_nested_annotation() {
        // Nested objects are fine as long as every step is a `properties` key.
        let schema = json!({
            "type": "object",
            "properties": {
                "target": {
                    "type": "object",
                    "properties": {
                        "region": { "type": "string", "x-mcp-header": "Region" }
                    }
                }
            }
        });
        let got = collect(&schema).unwrap();
        assert_eq!(got[0].path, ["target", "region"]);
    }

    #[test]
    fn rejects_a_non_token_name() {
        for bad in ["", "has space", "has\rcr", "sla/sh"] {
            let schema = json!({
                "type": "object",
                "properties": { "p": { "type": "string", "x-mcp-header": bad } }
            });
            assert!(
                matches!(collect(&schema), Err(ParamHeaderError::InvalidName(_))),
                "{bad:?} must be rejected"
            );
        }
    }

    #[test]
    fn rejects_a_case_insensitive_duplicate() {
        let schema = json!({
            "type": "object",
            "properties": {
                "a": { "type": "string", "x-mcp-header": "Region" },
                "b": { "type": "string", "x-mcp-header": "region" }
            }
        });
        assert!(matches!(
            collect(&schema),
            Err(ParamHeaderError::DuplicateName(_))
        ));
    }

    #[test]
    fn rejects_a_non_primitive_type() {
        // `number` is explicitly excluded alongside objects and arrays.
        for ty in ["number", "object", "array"] {
            let schema = json!({
                "type": "object",
                "properties": { "p": { "type": ty, "x-mcp-header": "P" } }
            });
            assert!(
                matches!(collect(&schema), Err(ParamHeaderError::UnsupportedType(_))),
                "{ty} must be rejected"
            );
        }
    }

    #[test]
    fn rejects_an_annotation_at_the_schema_root() {
        // Never visited by `walk`: the root is not a property of anything.
        let schema = json!({
            "type": "object",
            "x-mcp-header": "Region",
            "properties": { "region": { "type": "string" } }
        });
        assert!(matches!(
            collect(&schema),
            Err(ParamHeaderError::Unreachable(_))
        ));
    }

    #[test]
    fn rejects_an_annotation_behind_a_dynamic_property_keyword() {
        // These name no static property, so the client could never tell which
        // argument to mirror -- and none of them is in a hand-written list of
        // "off-path" keywords.
        for key in [
            "additionalProperties",
            "patternProperties",
            "propertyNames",
            "unevaluatedProperties",
            "dependentSchemas",
            "$defs",
            "definitions",
        ] {
            let schema = json!({
                "type": "object",
                "properties": {
                    "p": { "type": "object", key: { "type": "string", "x-mcp-header": "P" } }
                }
            });
            assert!(
                matches!(collect(&schema), Err(ParamHeaderError::Unreachable(_))),
                "{key} must be rejected"
            );
        }
    }

    #[test]
    fn rejects_an_annotation_off_the_properties_chain() {
        for key in [
            "items", "oneOf", "anyOf", "allOf", "not", "if", "then", "else",
        ] {
            let schema = json!({
                "type": "object",
                "properties": {
                    "p": {
                        "type": "array",
                        key: { "type": "string", "x-mcp-header": "P" }
                    }
                }
            });
            assert!(
                matches!(collect(&schema), Err(ParamHeaderError::Unreachable(_))),
                "{key} must be rejected"
            );
        }
    }

    #[test]
    fn extracts_present_values_and_skips_absent_ones() {
        let headers = vec![
            ParamHeader {
                path: vec!["region".into()],
                header: "Region".into(),
            },
            ParamHeader {
                path: vec!["limit".into()],
                header: "Limit".into(),
            },
            ParamHeader {
                path: vec!["dry".into()],
                header: "Dry".into(),
            },
            ParamHeader {
                path: vec!["absent".into()],
                header: "Absent".into(),
            },
        ];
        let args = json!({ "region": "us-west1", "limit": 42, "dry": true });

        let got = extract(&headers, &args);
        assert_eq!(
            got,
            vec![
                ("Mcp-Param-Region".to_string(), "us-west1".to_string()),
                ("Mcp-Param-Limit".to_string(), "42".to_string()),
                ("Mcp-Param-Dry".to_string(), "true".to_string()),
            ]
        );
    }

    #[test]
    fn extracts_through_a_nested_path() {
        let headers = vec![ParamHeader {
            path: vec!["target".into(), "region".into()],
            header: "Region".into(),
        }];
        let args = json!({ "target": { "region": "eu-west1" } });

        assert_eq!(
            extract(&headers, &args),
            vec![("Mcp-Param-Region".to_string(), "eu-west1".to_string())]
        );
    }

    #[test]
    fn extracts_an_integer_written_with_a_zero_fraction() {
        // `1.0` validates against `"type": "integer"`, so the annotation has to
        // be honored the same as for `1`.
        let headers = vec![ParamHeader {
            path: vec!["limit".into()],
            header: "Limit".into(),
        }];

        for args in [json!({ "limit": 42.0 }), json!({ "limit": -42.0 })] {
            let got = extract(&headers, &args);
            assert_eq!(got.len(), 1, "{args} was dropped");
            assert_eq!(got[0].0, "Mcp-Param-Limit");
            assert!(
                got[0].1 == "42" || got[0].1 == "-42",
                "unexpected value {:?}",
                got[0].1
            );
        }
    }

    #[test]
    fn skips_fractional_and_unsafe_numbers() {
        let headers = vec![ParamHeader {
            path: vec!["limit".into()],
            header: "Limit".into(),
        }];

        // A real fraction was rejected as `number` at registration time, and a
        // float past 2^53 no longer holds the digits it was written with.
        for args in [json!({ "limit": 1.5 }), json!({ "limit": 1e300 })] {
            assert!(extract(&headers, &args).is_empty(), "{args} was mirrored");
        }
    }
}