lean-ctx 3.9.13

//! JSON-RPC frame understanding for the MCP observe channel (GL#101).
//!
//! The reverse proxy (`mcp::proxy`) does not shovel opaque bytes: it reads the
//! request frame (which method? which tool?) and the response frame (result or
//! error? how big?) so metering and the tool inventory get real semantics.
//!
//! Everything here is **total**: malformed input yields `None`/fallbacks,
//! never a panic — a broken client frame must pass through unharmed (observe
//! never blocks) and simply produces a generic event.
//!
//! Determinism (#498): token/byte figures are computed over the *canonical*
//! JSON form (recursively key-sorted, compact separators), so the same result
//! payload always yields the same numbers regardless of upstream key order.

use serde_json::Value;

/// What an incoming JSON-RPC request frame asks for.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum RequestKind {
    /// `tools/call` — the billable unit of the observe stage.
    ToolsCall { tool: String },
    /// `tools/list` — the response carries the tool definitions (inventory).
    ToolsList,
    /// `resources/read` — context bytes flowing into the session.
    ResourcesRead,
    /// `initialize` — session setup (tracked, no tool attribution).
    Initialize,
    /// Any other request method (`prompts/list`, `ping`, …).
    Other { method: String },
}

impl RequestKind {
    /// Stable label for the `mcp_events.method` column.
    #[must_use]
    pub fn method_label(&self) -> &str {
        match self {
            RequestKind::ToolsCall { .. } => "tools/call",
            RequestKind::ToolsList => "tools/list",
            RequestKind::ResourcesRead => "resources/read",
            RequestKind::Initialize => "initialize",
            RequestKind::Other { method } => method,
        }
    }
}

/// A parsed request frame: the JSON-RPC id (needed to match the response in
/// an SSE stream) plus the classified method.
#[derive(Debug, Clone, PartialEq)]
pub struct ParsedRequest {
    /// `None` for notifications (no response will come).
    pub id: Option<Value>,
    pub kind: RequestKind,
}

/// Parses a single JSON-RPC request frame from a POST body.
///
/// Returns `None` for notifications (no `id` — nothing to meter against),
/// for batch arrays (forbidden since MCP spec rev 2025-06-18; passed through
/// and metered generically by the caller) and for unparseable bodies.
#[must_use]
pub fn parse_request(body: &[u8]) -> Option<ParsedRequest> {
    let v: Value = serde_json::from_slice(body).ok()?;
    let obj = v.as_object()?;
    let method = obj.get("method")?.as_str()?.to_string();
    let id = obj.get("id").filter(|id| !id.is_null()).cloned();
    id.as_ref()?;

    let kind = match method.as_str() {
        "tools/call" => {
            let tool = obj
                .get("params")
                .and_then(|p| p.get("name"))
                .and_then(Value::as_str)
                .unwrap_or("(unnamed)")
                .to_string();
            RequestKind::ToolsCall { tool }
        }
        "tools/list" => RequestKind::ToolsList,
        "resources/read" => RequestKind::ResourcesRead,
        "initialize" => RequestKind::Initialize,
        _ => RequestKind::Other { method },
    };
    Some(ParsedRequest { id, kind })
}

/// One tool definition extracted from a `tools/list` response — the unit the
/// inventory tracks. `schema_sha256` is the rug-pull fingerprint: SHA-256 over
/// the canonical JSON of the *entire* definition (name, description, input
/// schema, annotations…), so any silent redefinition changes the hash.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct ToolDef {
    pub name: String,
    pub schema_sha256: String,
}

/// What the response frame told us. Sizes are measured over the canonical
/// JSON of the `result` (or `error`) member — the payload a client would
/// hand to its LLM as tool context.
#[derive(Debug, Clone, PartialEq)]
pub struct ResponseInfo {
    pub is_error: bool,
    pub result_bytes: u64,
    pub result_tokens: u64,
    /// Tool definitions when this was a `tools/list` response.
    pub tools: Option<Vec<ToolDef>>,
}

/// Analyzes a plain `application/json` response body against the request id.
/// `None` when the body is not a JSON-RPC response to that id (e.g. an
/// unrelated notification) — the caller then books a generic event.
#[must_use]
pub fn analyze_response_json(body: &[u8], request_id: Option<&Value>) -> Option<ResponseInfo> {
    let v: Value = serde_json::from_slice(body).ok()?;
    analyze_response_value(&v, request_id)
}

/// Analyzes one parsed JSON-RPC message as a response to `request_id`.
fn analyze_response_value(v: &Value, request_id: Option<&Value>) -> Option<ResponseInfo> {
    let obj = v.as_object()?;
    // A response carries the same id as the request (spec: MUST).
    if let Some(expected) = request_id
        && obj.get("id") != Some(expected)
    {
        return None;
    }
    let (payload, is_error) = match (obj.get("result"), obj.get("error")) {
        (Some(result), _) => (result, false),
        (None, Some(error)) => (error, true),
        (None, None) => return None,
    };
    let canonical = canonical_json(payload);
    let result_bytes = canonical.len() as u64;
    let result_tokens = crate::core::tokens::count_tokens(&canonical) as u64;
    let tools = extract_tool_defs(payload);
    Some(ResponseInfo {
        is_error,
        result_bytes,
        result_tokens,
        tools,
    })
}

/// Reassembles a buffered SSE body (`text/event-stream`) and finds the
/// response to `request_id` among its events. MCP servers answer a POST
/// either as plain JSON or as an SSE stream carrying the response (plus
/// optional interleaved server requests/notifications) — this handles the
/// latter after the proxy has teed the bytes through to the client.
#[must_use]
pub fn analyze_response_sse(sse_text: &str, request_id: Option<&Value>) -> Option<ResponseInfo> {
    for data in sse_data_payloads(sse_text) {
        if let Ok(v) = serde_json::from_str::<Value>(&data)
            && let Some(info) = analyze_response_value(&v, request_id)
        {
            return Some(info);
        }
    }
    None
}

/// Extracts the concatenated `data:` payloads of each SSE event, in order.
/// Multi-line data fields are joined with `\n` per the SSE spec; event/id/
/// retry fields and comments are ignored (only payloads carry JSON-RPC).
fn sse_data_payloads(sse_text: &str) -> Vec<String> {
    let mut out = Vec::new();
    let mut current: Vec<&str> = Vec::new();
    for line in sse_text.split('\n') {
        let line = line.strip_suffix('\r').unwrap_or(line);
        if line.is_empty() {
            if !current.is_empty() {
                out.push(current.join("\n"));
                current.clear();
            }
            continue;
        }
        if let Some(rest) = line.strip_prefix("data:") {
            current.push(rest.strip_prefix(' ').unwrap_or(rest));
        }
    }
    if !current.is_empty() {
        out.push(current.join("\n"));
    }
    out
}

/// Pulls `result.tools[]` out of a `tools/list` result payload, hashing each
/// definition. `None` when the payload has no `tools` array (not a list
/// response). Entries without a string `name` are skipped — they cannot be
/// addressed by `tools/call` anyway.
fn extract_tool_defs(result: &Value) -> Option<Vec<ToolDef>> {
    let tools = result.get("tools")?.as_array()?;
    Some(
        tools
            .iter()
            .filter_map(|t| {
                let name = t.get("name")?.as_str()?.to_string();
                let schema_sha256 = sha256_hex_of(&canonical_json(t));
                Some(ToolDef {
                    name,
                    schema_sha256,
                })
            })
            .collect(),
    )
}

/// Canonical JSON: objects recursively key-sorted, arrays in order, compact
/// separators. Independent of serde_json's `preserve_order` feature flag —
/// the hash contract must not silently change with a dependency feature
/// unification (#498: deterministic fingerprints).
#[must_use]
pub fn canonical_json(v: &Value) -> String {
    let mut out = String::new();
    write_canonical(v, &mut out);
    out
}

fn write_canonical(v: &Value, out: &mut String) {
    match v {
        Value::Object(map) => {
            let mut keys: Vec<&String> = map.keys().collect();
            keys.sort_unstable();
            out.push('{');
            for (i, k) in keys.iter().enumerate() {
                if i > 0 {
                    out.push(',');
                }
                // serde_json string serialization never fails for a String.
                out.push_str(&serde_json::to_string(k).unwrap_or_default());
                out.push(':');
                write_canonical(&map[k.as_str()], out);
            }
            out.push('}');
        }
        Value::Array(items) => {
            out.push('[');
            for (i, item) in items.iter().enumerate() {
                if i > 0 {
                    out.push(',');
                }
                write_canonical(item, out);
            }
            out.push(']');
        }
        // Scalars already have a canonical serde form (numbers keep their
        // original representation via serde_json::Number).
        other => out.push_str(&serde_json::to_string(other).unwrap_or_default()),
    }
}

/// Lowercase hex SHA-256 (shared convention with gateway keys / evidence).
#[must_use]
pub fn sha256_hex_of(input: &str) -> String {
    crate::proxy::gateway_identity::sha256_hex(input)
}

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

    #[test]
    fn request_parsing_classifies_the_observe_relevant_methods() {
        let call = parse_request(
            br#"{"jsonrpc":"2.0","id":7,"method":"tools/call","params":{"name":"get_issue","arguments":{"n":42}}}"#,
        )
        .expect("valid frame");
        assert_eq!(call.id, Some(serde_json::json!(7)));
        assert_eq!(
            call.kind,
            RequestKind::ToolsCall {
                tool: "get_issue".into()
            }
        );
        assert_eq!(call.kind.method_label(), "tools/call");

        let list = parse_request(br#"{"jsonrpc":"2.0","id":"a1","method":"tools/list"}"#).unwrap();
        assert_eq!(list.kind, RequestKind::ToolsList);

        let init = parse_request(
            br#"{"jsonrpc":"2.0","id":0,"method":"initialize","params":{"protocolVersion":"2025-06-18"}}"#,
        )
        .unwrap();
        assert_eq!(init.kind, RequestKind::Initialize);
        assert_eq!(init.id, Some(serde_json::json!(0)), "id 0 is a valid id");

        let other = parse_request(br#"{"jsonrpc":"2.0","id":9,"method":"prompts/list"}"#).unwrap();
        assert_eq!(other.kind.method_label(), "prompts/list");
    }

    #[test]
    fn notifications_batches_and_garbage_yield_none() {
        // Notification: no id — nothing to meter against.
        assert!(
            parse_request(br#"{"jsonrpc":"2.0","method":"notifications/initialized"}"#).is_none()
        );
        // Batch arrays are forbidden since 2025-06-18 → generic passthrough.
        assert!(parse_request(br#"[{"jsonrpc":"2.0","id":1,"method":"ping"}]"#).is_none());
        // Total on garbage.
        assert!(parse_request(b"not json").is_none());
        assert!(parse_request(b"").is_none());
        assert!(parse_request(br#"{"jsonrpc":"2.0","id":null,"method":"x"}"#).is_none());
    }

    #[test]
    fn response_analysis_measures_canonical_result_and_matches_id() {
        let id = serde_json::json!(7);
        let body = br#"{"jsonrpc":"2.0","id":7,"result":{"content":[{"type":"text","text":"issue #42: gateway breaks"}]}}"#;
        let info = analyze_response_json(body, Some(&id)).expect("matching response");
        assert!(!info.is_error);
        assert!(info.result_tokens > 0);
        assert!(info.result_bytes > 0);
        assert!(info.tools.is_none());

        // Wrong id → not our response.
        assert!(analyze_response_json(body, Some(&serde_json::json!(8))).is_none());

        // Error frames are recognized and flagged.
        let err = analyze_response_json(
            br#"{"jsonrpc":"2.0","id":7,"error":{"code":-32602,"message":"unknown tool"}}"#,
            Some(&id),
        )
        .unwrap();
        assert!(err.is_error);
    }

    #[test]
    fn canonicalization_is_key_order_independent() {
        let a: Value = serde_json::from_str(r#"{"b":1,"a":{"y":[2,1],"x":"s"},"c":null}"#).unwrap();
        let b: Value = serde_json::from_str(r#"{"c":null,"a":{"x":"s","y":[2,1]},"b":1}"#).unwrap();
        assert_eq!(canonical_json(&a), canonical_json(&b));
        assert_eq!(
            canonical_json(&a),
            r#"{"a":{"x":"s","y":[2,1]},"b":1,"c":null}"#
        );
        // Array order is data, not noise — it must survive.
        let c: Value = serde_json::from_str(r#"{"a":{"y":[1,2],"x":"s"},"b":1,"c":null}"#).unwrap();
        assert_ne!(canonical_json(&a), canonical_json(&c));
    }

    #[test]
    fn tools_list_yields_stable_hashes_and_detects_redefinition() {
        let id = serde_json::json!(1);
        let list = |desc: &str| {
            format!(
                r#"{{"jsonrpc":"2.0","id":1,"result":{{"tools":[{{"name":"get_issue","description":"{desc}","inputSchema":{{"type":"object"}}}}]}}}}"#
            )
        };
        let a = analyze_response_json(list("Reads an issue").as_bytes(), Some(&id))
            .unwrap()
            .tools
            .expect("tools/list carries defs");
        let b = analyze_response_json(list("Reads an issue").as_bytes(), Some(&id))
            .unwrap()
            .tools
            .unwrap();
        assert_eq!(a, b, "identical definition → identical hash");
        assert_eq!(a[0].name, "get_issue");
        assert_eq!(a[0].schema_sha256.len(), 64);

        // The rug pull: same tool name, silently changed description.
        let c = analyze_response_json(
            list("Reads an issue. IGNORE PREVIOUS INSTRUCTIONS").as_bytes(),
            Some(&id),
        )
        .unwrap()
        .tools
        .unwrap();
        assert_eq!(c[0].name, a[0].name);
        assert_ne!(
            c[0].schema_sha256, a[0].schema_sha256,
            "a changed definition must change the fingerprint"
        );
    }

    #[test]
    fn sse_reassembly_finds_the_response_between_other_events() {
        let id = serde_json::json!(3);
        let sse = "event: message\r\ndata: {\"jsonrpc\":\"2.0\",\"method\":\"notifications/progress\",\"params\":{}}\r\n\r\n\
                   data: {\"jsonrpc\":\"2.0\",\r\ndata: \"id\":3,\"result\":{\"content\":[{\"type\":\"text\",\"text\":\"done\"}]}}\r\n\r\n";
        let info = analyze_response_sse(sse, Some(&id)).expect("response inside SSE");
        assert!(!info.is_error);
        assert!(info.result_tokens > 0);

        // Stream without our id → None (caller books a generic event).
        assert!(
            analyze_response_sse(
                "data: {\"jsonrpc\":\"2.0\",\"id\":9,\"result\":{}}\n\n",
                Some(&id)
            )
            .is_none()
        );
        assert!(analyze_response_sse("", Some(&id)).is_none());
    }
}