meta-ast 0.7.0

//! Graph output serialization for dependency analysis results.
//!
//! Provides JSON serialization of the dependency graph, SCC analysis,
//! deployability hints, and the portable DataGraph contract for external
//! consumers (sinks, dashboards, CLI output).

use serde::Serialize;

use crate::graph::CodeGraph;
use crate::graph::edge::EdgeKind;
use crate::graph::node::NodeData;
use crate::graph::scc::{DeployabilityHint, SccAnalysis};

/// Version of the graph export schema.
/// Incremented on breaking changes to the serialized structure.
pub const SCHEMA_VERSION: u32 = 2;

/// Complete graph analysis output for serialization.
///
/// Serves both the CLI `graph` output (with SCC/deployability) and the
/// `--datagraph` sink export (where SCC analysis is optional).
#[derive(Debug, Clone, Serialize)]
#[non_exhaustive]
pub struct GraphOutput {
    /// Schema version for forward compatibility
    pub schema_version: u32,
    /// Analysis metadata
    pub metadata: GraphMetadata,
    /// Graph nodes (files, symbols, externals, data)
    pub nodes: Vec<SerializedNode>,
    /// Graph edges with kinds
    pub edges: Vec<SerializedEdge>,
    /// Strongly connected components (empty when SCC analysis skipped)
    pub sccs: Vec<SerializedScc>,
    /// Deployability summary statistics (None when SCC analysis skipped)
    pub deployability: Option<DeployabilityStats>,
}

/// Metadata about the graph analysis.
#[derive(Debug, Clone, Serialize)]
#[non_exhaustive]
pub struct GraphMetadata {
    /// Snapshot identifier for this analysis
    pub snapshot_id: u64,
    /// Total number of nodes
    pub node_count: usize,
    /// Total number of edges
    pub edge_count: usize,
    /// Number of SCCs computed (0 when SCC analysis skipped)
    pub scc_count: usize,
    /// Number of file nodes
    pub file_count: usize,
    /// Number of symbol nodes
    pub symbol_count: usize,
    /// Number of data-bearing nodes
    pub data_node_count: usize,
    /// Edges whose confidence was not finite and was normalized to `0.0`
    pub invalid_confidence_edges: usize,
}

/// Serialized node representation.
#[derive(Debug, Clone, Serialize)]
#[non_exhaustive]
pub struct SerializedNode {
    /// Node index in the graph
    pub id: usize,
    /// Node kind: "file", "symbol", "external", or "data"
    pub kind: String,
    /// File or external path.
    #[serde(skip_serializing_if = "Option::is_none")]
    pub path: Option<String>,
    /// Defining file path for symbol nodes.
    #[serde(skip_serializing_if = "Option::is_none")]
    pub file_path: Option<String>,
    /// Source range for symbol nodes.
    #[serde(skip_serializing_if = "Option::is_none")]
    pub source_range: Option<crate::model::SourceRange>,
    /// Language identifier (for file/external nodes)
    #[serde(skip_serializing_if = "Option::is_none")]
    pub language: Option<String>,
    /// Symbol or data node name
    #[serde(skip_serializing_if = "Option::is_none")]
    pub name: Option<String>,
    /// Symbol kind (for symbol nodes)
    #[serde(skip_serializing_if = "Option::is_none")]
    pub symbol_kind: Option<String>,
    /// Visibility (for symbol nodes)
    #[serde(skip_serializing_if = "Option::is_none")]
    pub visibility: Option<String>,
    /// Data scope classification (local, parameter, member, etc.)
    #[serde(skip_serializing_if = "Option::is_none")]
    pub data_scope: Option<String>,
    /// Type hint or annotation (for data nodes)
    #[serde(skip_serializing_if = "Option::is_none")]
    pub type_hint: Option<String>,
}

/// Serialized edge representation.
#[derive(Debug, Clone, Serialize)]
#[non_exhaustive]
pub struct SerializedEdge {
    /// Source node index
    pub source: usize,
    /// Target node index
    pub target: usize,
    /// Edge kind: "ownership", "import", "reference", or "flow"
    pub kind: String,
    /// Confidence score in the range 0.0-1.0.
    ///
    /// Always serialized: absence must not have to mean `1.0`. A non-finite
    /// value is corruption and is written as `0.0` (see
    /// `GraphMetadata::invalid_confidence_edges`).
    pub confidence: f32,
    /// Flow kind for dataflow edges (def_use, argument, return, field_access)
    #[serde(skip_serializing_if = "Option::is_none")]
    pub flow_kind: Option<String>,
}

/// Serialized SCC representation.
#[derive(Debug, Clone, Serialize)]
#[non_exhaustive]
pub struct SerializedScc {
    /// Component index
    pub index: usize,
    /// Node indices in this component
    pub nodes: Vec<usize>,
    /// Whether this component contains cycles
    pub is_cyclic: bool,
    /// Deployability hint
    pub hint: String,
    /// Component size
    pub size: usize,
}

/// Deployability statistics summary.
#[derive(Debug, Clone, Serialize)]
#[non_exhaustive]
pub struct DeployabilityStats {
    /// Number of cyclic clusters (size > 1 or self-loop)
    pub cyclic_clusters: usize,
    /// Number of independent deployable units (size = 1, no self-loop)
    pub independent_units: usize,
    /// Number of self-loops (size = 1 with self-loop)
    pub self_loops: usize,
    /// Total number of components
    pub total_components: usize,
}

impl GraphOutput {
    /// Create a GraphOutput from a CodeGraph and optional SCC analysis.
    ///
    /// When `scc_analysis` is `None`, SCCs and deployability stats are
    /// omitted from the output (empty/skipped in serialization).
    pub fn from_graph(
        graph: &CodeGraph,
        scc_analysis: Option<&SccAnalysis>,
        snapshot_id: u64,
    ) -> Self {
        let metadata = Self::build_metadata(graph, scc_analysis, snapshot_id);
        let nodes = Self::serialize_nodes(graph);
        let edges = Self::serialize_edges(graph);

        let (sccs, deployability) = if let Some(scc) = scc_analysis {
            (
                Self::serialize_sccs(scc),
                Some(Self::build_deployability_stats(scc)),
            )
        } else {
            (Vec::new(), None)
        };

        Self {
            schema_version: SCHEMA_VERSION,
            metadata,
            nodes,
            edges,
            sccs,
            deployability,
        }
    }

    fn build_metadata(
        graph: &CodeGraph,
        scc_analysis: Option<&SccAnalysis>,
        snapshot_id: u64,
    ) -> GraphMetadata {
        let g = graph.graph();
        let node_count = g.node_count();
        let edge_count = g.edge_count();
        let scc_count = scc_analysis.map_or(0, |s| s.components.len());

        let mut file_count = 0;
        let mut symbol_count = 0;
        let mut data_node_count = 0;
        let mut invalid_confidence_edges = 0;

        for node_data in g.node_weights() {
            match node_data {
                NodeData::File(_) => file_count += 1,
                NodeData::Symbol(_) => symbol_count += 1,
                NodeData::External(_) => {}
                NodeData::Data(_) => data_node_count += 1,
            }
        }
        for edge_data in g.edge_weights() {
            if !edge_data.confidence.is_finite() {
                invalid_confidence_edges += 1;
            }
        }

        GraphMetadata {
            snapshot_id,
            node_count,
            edge_count,
            scc_count,
            file_count,
            symbol_count,
            data_node_count,
            invalid_confidence_edges,
        }
    }

    fn serialize_nodes(graph: &CodeGraph) -> Vec<SerializedNode> {
        let g = graph.graph();
        let mut nodes: Vec<SerializedNode> = g
            .node_indices()
            .map(|idx| {
                let node_data = &g[idx];
                Self::serialize_node(graph, idx.index(), node_data)
            })
            .collect();
        nodes.sort_by(|left, right| node_sort_key(left).cmp(&node_sort_key(right)));
        nodes
    }

    fn serialize_node(graph: &CodeGraph, id: usize, node_data: &NodeData) -> SerializedNode {
        let mut node = SerializedNode {
            id,
            kind: crate::graph::naming::node_kind_name(node_data).to_string(),
            path: None,
            file_path: None,
            source_range: None,
            language: crate::graph::naming::node_language(node_data)
                .map(|language| language.as_ref().to_string()),
            name: crate::graph::naming::node_display_name(node_data).map(str::to_string),
            symbol_kind: None,
            visibility: None,
            data_scope: None,
            type_hint: None,
        };

        match node_data {
            NodeData::File(file) => {
                node.path = Some(crate::input::portable_path(&file.path));
            }
            NodeData::Symbol(symbol) => {
                node.file_path = graph
                    .file_node(symbol.file_id)
                    .map(|file| crate::input::portable_path(&file.path));
                node.source_range = Some(symbol.source_range.clone());
                node.symbol_kind = Some(symbol.kind.as_str().to_string());
                node.visibility = symbol
                    .visibility
                    .map(|visibility| visibility.as_str().to_string());
            }
            NodeData::External(external) => {
                node.path = Some(external.raw_path.clone());
            }
            NodeData::Data(data) => {
                node.data_scope = Some(data.scope.as_str().to_string());
                node.type_hint = data.type_hint.clone();
            }
        }

        node
    }

    fn serialize_edges(graph: &CodeGraph) -> Vec<SerializedEdge> {
        let g = graph.graph();
        let mut edges: Vec<SerializedEdge> = g
            .edge_indices()
            .filter_map(|edge_idx| {
                let (source, target) = g.edge_endpoints(edge_idx)?;
                let edge_data = g.edge_weight(edge_idx)?;
                // A non-finite confidence is corruption. It is reported in the
                // metadata and written as 0.0, never omitted.
                let confidence = if edge_data.confidence.is_finite() {
                    edge_data.confidence.clamp(0.0, 1.0)
                } else {
                    0.0
                };

                let flow_kind = if edge_data.kind == EdgeKind::Flow {
                    edge_data.flow_kind.map(|fk| fk.as_str().to_string())
                } else {
                    None
                };

                Some(SerializedEdge {
                    source: source.index(),
                    target: target.index(),
                    kind: edge_data.kind.as_str().to_string(),
                    confidence,
                    flow_kind,
                })
            })
            .collect();
        edges.sort_by(|a, b| (a.source, a.target, &a.kind).cmp(&(b.source, b.target, &b.kind)));
        edges
    }

    fn serialize_sccs(scc_analysis: &SccAnalysis) -> Vec<SerializedScc> {
        scc_analysis
            .components
            .iter()
            .map(|scc| {
                let mut nodes: Vec<usize> = scc.nodes.iter().map(|n| n.index()).collect();
                nodes.sort_unstable();

                SerializedScc {
                    index: scc.index,
                    nodes,
                    is_cyclic: scc.is_cyclic,
                    hint: scc.hint.to_string(),
                    size: scc.nodes.len(),
                }
            })
            .collect()
    }

    fn build_deployability_stats(scc_analysis: &SccAnalysis) -> DeployabilityStats {
        let mut cyclic_clusters = 0;
        let mut independent_units = 0;
        let mut self_loops = 0;

        for scc in &scc_analysis.components {
            match scc.hint {
                DeployabilityHint::Independent | DeployabilityHint::AcyclicDependency => {
                    independent_units += 1;
                }
                DeployabilityHint::CyclicCluster => {
                    cyclic_clusters += 1;
                }
                DeployabilityHint::SelfLoop => {
                    self_loops += 1;
                }
            }
        }

        DeployabilityStats {
            cyclic_clusters,
            independent_units,
            self_loops,
            total_components: scc_analysis.components.len(),
        }
    }
}

/// Serialize graph output to the specified format.
pub fn serialize_graph(
    graph: &CodeGraph,
    scc_analysis: &SccAnalysis,
    snapshot_id: u64,
    format: &crate::output::OutputFormat,
) -> anyhow::Result<String> {
    let output = GraphOutput::from_graph(graph, Some(scc_analysis), snapshot_id);
    format.serialize(&output)
}

/// Order key for serialized nodes: kind group, then location, then node id.
///
/// Insertion order depends on how the graph was built; the output order must
/// not. Files group first (paths), then symbols (defining file, name), then
/// externals and data nodes (names).
fn node_sort_key(node: &SerializedNode) -> (u8, &str, &str, usize) {
    let rank = match node.kind.as_str() {
        "file" => 0,
        "symbol" => 1,
        "external" => 2,
        _ => 3,
    };
    (
        rank,
        node.path
            .as_deref()
            .or(node.file_path.as_deref())
            .unwrap_or(""),
        node.name.as_deref().unwrap_or(""),
        node.id,
    )
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::graph::GraphBuilder;
    use crate::graph::node::{FileNode, SymbolNode};
    use crate::language::LangId;
    use crate::model::{DataNodeId, DataScope, FlowKind, LineColumn, SnapshotId, SourceRange};
    use crate::output::OutputFormat;
    use std::path::PathBuf;

    fn sample_source_range() -> SourceRange {
        SourceRange {
            byte_start: 0,
            byte_end: 10,
            start: LineColumn { line: 0, column: 0 },
            end: LineColumn {
                line: 0,
                column: 10,
            },
        }
    }

    fn sample_scc_analysis() -> SccAnalysis {
        SccAnalysis {
            components: Vec::new(),
            node_to_component: std::collections::HashMap::new(),
        }
    }

    // ── GraphOutput tests ───────────────────────────────────────────

    #[test]
    fn graph_output_with_file_node() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("src/main.py"), LangId::Python);
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);

        assert_eq!(output.schema_version, SCHEMA_VERSION);
        assert_eq!(output.metadata.file_count, 1);
        assert_eq!(output.metadata.symbol_count, 0);
        assert_eq!(output.metadata.data_node_count, 0);
        assert_eq!(output.metadata.scc_count, 0);
        assert_eq!(output.nodes.len(), 1);
        assert_eq!(output.nodes[0].kind, "file");
        assert_eq!(output.nodes[0].path.as_deref(), Some("src/main.py"));
        assert_eq!(output.nodes[0].language.as_deref(), Some("python"));
    }

    #[test]
    fn graph_output_language_uses_canonical_names() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("src/main.js"), LangId::JavaScript);
        builder.add_file(PathBuf::from("src/main.ts"), LangId::TypeScript);
        builder.add_file(PathBuf::from("src/main.tsx"), LangId::Tsx);
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);

        let language_of = |path: &str| {
            output
                .nodes
                .iter()
                .find(|n| n.path.as_deref() == Some(path))
                .and_then(|n| n.language.as_deref())
        };
        assert_eq!(language_of("src/main.js"), Some("javascript"));
        assert_eq!(language_of("src/main.ts"), Some("typescript"));
        assert_eq!(language_of("src/main.tsx"), Some("tsx"));
    }

    #[test]
    fn json_output_has_required_structure() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("src/main.py"), LangId::Python);
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let json = serialize_graph(&graph, &scc, 1, &OutputFormat::Json).unwrap();
        let parsed: serde_json::Value = serde_json::from_str(&json).unwrap();

        assert_eq!(parsed["schema_version"], 2);
        assert!(parsed["metadata"].is_object());
        assert!(parsed["nodes"].is_array());
        assert!(parsed["edges"].is_array());
        // sccs is skip_serializing_if empty, so may be absent when empty
        if let Some(sccs) = parsed.get("sccs") {
            assert!(sccs.is_array());
        }
    }

    #[test]
    fn empty_graph_serializes() {
        let builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);
        let json = serde_json::to_string(&output).unwrap();

        assert!(json.contains("\"node_count\":0"));
        assert!(json.contains("\"edge_count\":0"));
        assert!(json.contains("\"schema_version\":2"));
    }

    #[test]
    fn scc_fields_serialize() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("a.py"), LangId::Python);
        builder.add_file(PathBuf::from("b.py"), LangId::Python);
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let json = serialize_graph(&graph, &scc, 1, &OutputFormat::Json).unwrap();
        let parsed: serde_json::Value = serde_json::from_str(&json).unwrap();
        // Verify SCC fields exist (empty array is skipped in serialization,
        // but the key is present when Some(SccAnalysis) is passed)
        let _sccs = &parsed["sccs"];
        // Verify deployability stats exist
        let _deploy = &parsed["deployability"];
    }

    // ── Data node serialization tests ───────────────────────────────

    #[test]
    fn data_node_serializes_with_correct_fields() {
        use crate::graph::node::DataGraphNode;
        let mut graph = CodeGraph::new(SnapshotId::new(1).unwrap());
        let dnode = DataGraphNode {
            id: DataNodeId::new(10).unwrap(),
            symbol_id: None,
            name: Some("local_var".into()),
            scope: DataScope::Local,
            type_hint: Some("u32".into()),
            source_range: sample_source_range(),
        };
        graph.add_node(NodeData::Data(dnode));
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);
        assert_eq!(output.metadata.data_node_count, 1);
        assert_eq!(output.nodes[0].kind, "data");
        assert_eq!(output.nodes[0].name.as_deref(), Some("local_var"));
        assert_eq!(output.nodes[0].data_scope.as_deref(), Some("local"));
        assert_eq!(output.nodes[0].type_hint.as_deref(), Some("u32"));
        assert!(output.nodes[0].symbol_kind.is_none());
        assert!(output.nodes[0].visibility.is_none());
    }

    #[test]
    fn flow_edge_serializes_with_flow_kind() {
        use crate::graph::node::DataGraphNode;
        let mut graph = CodeGraph::new(SnapshotId::new(1).unwrap());
        let src = graph.add_node(NodeData::Data(DataGraphNode {
            id: DataNodeId::new(1).unwrap(),
            symbol_id: None,
            name: Some("x".into()),
            scope: DataScope::Local,
            type_hint: None,
            source_range: sample_source_range(),
        }));
        let dst = graph.add_node(NodeData::Data(DataGraphNode {
            id: DataNodeId::new(2).unwrap(),
            symbol_id: None,
            name: Some("y".into()),
            scope: DataScope::Parameter,
            type_hint: None,
            source_range: sample_source_range(),
        }));
        graph.add_edge_normalized_with_flow(
            src,
            dst,
            EdgeKind::Flow,
            0.9,
            Some(FlowKind::Argument),
        );
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);
        assert_eq!(output.edges.len(), 1);
        assert_eq!(output.edges[0].kind, "flow");
        assert_eq!(output.edges[0].confidence, 0.9);
        assert_eq!(output.edges[0].flow_kind.as_deref(), Some("argument"));
    }

    #[test]
    fn flow_edge_without_flow_kind_omits_field() {
        use crate::graph::node::DataGraphNode;
        let mut graph = CodeGraph::new(SnapshotId::new(1).unwrap());
        let src = graph.add_node(NodeData::Data(DataGraphNode {
            id: DataNodeId::new(1).unwrap(),
            symbol_id: None,
            name: Some("a".into()),
            scope: DataScope::Local,
            type_hint: None,
            source_range: sample_source_range(),
        }));
        let dst = graph.add_node(NodeData::Data(DataGraphNode {
            id: DataNodeId::new(2).unwrap(),
            symbol_id: None,
            name: Some("b".into()),
            scope: DataScope::Local,
            type_hint: None,
            source_range: sample_source_range(),
        }));
        graph.add_edge_normalized(src, dst, EdgeKind::Flow, 1.0);
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);
        assert_eq!(output.edges[0].flow_kind, None);
        assert_eq!(output.edges[0].confidence, 1.0);
    }

    // ── Light mode (no SCC) tests ───────────────────────────────────

    #[test]
    fn light_mode_omits_scc_and_deployability() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("main.rs"), LangId::Rust);
        let graph = builder.build();

        let output = GraphOutput::from_graph(&graph, None, 1);
        let json = serde_json::to_string(&output).unwrap();
        let parsed: serde_json::Value = serde_json::from_str(&json).unwrap();

        assert_eq!(output.metadata.scc_count, 0);
        // sccs is skipped when empty, deployability is null when None
        assert!(parsed.get("sccs").is_none() || parsed["sccs"].is_array());
        assert!(parsed.get("deployability").is_none() || parsed["deployability"].is_null());
    }

    #[test]
    fn light_mode_with_symbol_node() {
        use crate::model::{Symbol, SymbolId, SymbolKind, Visibility};
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("main.rs"), LangId::Rust);
        let sym = Symbol {
            id: SymbolId::new(1).unwrap(),
            name: "main_fn".into(),
            kind: SymbolKind::Function,
            language: LangId::Rust,
            file_path: PathBuf::from("main.rs"),
            source_range: sample_source_range(),
            name_range: None,
            visibility: Some(Visibility::Public),
            signature: None,
            docstring: None,
            is_async: false,
        };
        builder.add_symbol(&sym).unwrap();
        let graph = builder.build();

        let output = GraphOutput::from_graph(&graph, None, 1);
        assert_eq!(output.nodes.len(), 2); // file + symbol
        assert_eq!(output.edges.len(), 1); // ownership
        let sym_node = output.nodes.iter().find(|n| n.kind == "symbol").unwrap();
        assert_eq!(sym_node.name.as_deref(), Some("main_fn"));
        assert_eq!(sym_node.file_path.as_deref(), Some("main.rs"));
        assert_eq!(sym_node.source_range.as_ref(), Some(&sample_source_range()));
    }

    #[test]
    fn has_all_required_keys() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("main.rs"), LangId::Rust);
        let graph = builder.build();

        let output = GraphOutput::from_graph(&graph, None, 1);
        let val: serde_json::Value = serde_json::to_value(&output).unwrap();
        let required = ["schema_version", "metadata", "nodes", "edges"];
        for key in &required {
            assert!(val.get(key).is_some(), "missing required key: {key}");
        }
    }

    // ── Edge kind validation ────────────────────────────────────────

    #[test]
    fn edge_kinds_are_valid() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        let file_a = builder.add_file(PathBuf::from("a.py"), LangId::Python);
        let _file_b = builder.add_file(PathBuf::from("b.py"), LangId::Python);
        builder.add_import(file_a, PathBuf::from("b.py"));
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);
        let valid_kinds = ["ownership", "import", "reference", "flow"];
        for edge in &output.edges {
            assert!(
                valid_kinds.contains(&edge.kind.as_str()),
                "unexpected edge kind: {}",
                edge.kind
            );
        }
    }

    #[test]
    fn serialized_edges_stay_sorted() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        builder.add_file(PathBuf::from("b.py"), LangId::Python);
        builder.add_file(PathBuf::from("a.py"), LangId::Python);
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);
        let mut sorted = output.edges.clone();
        sorted.sort_by(|a, b| (a.source, a.target, &a.kind).cmp(&(b.source, b.target, &b.kind)));
        let order: Vec<_> = output
            .edges
            .iter()
            .map(|e| (e.source, e.target, e.kind.clone()))
            .collect();
        let expected: Vec<_> = sorted
            .iter()
            .map(|e| (e.source, e.target, e.kind.clone()))
            .collect();
        assert_eq!(order, expected);
    }

    /// Graph nodes are ordered by contract, not by insertion order.
    #[test]
    fn serialized_nodes_use_canonical_order() {
        let mut graph = crate::graph::CodeGraph::new(SnapshotId::new(1).unwrap());
        let a_id = crate::model::FileId::new(1).unwrap();
        let b_id = crate::model::FileId::new(2).unwrap();

        // Insertion order is deliberately not the canonical order.
        let sym_idx = graph.add_node(NodeData::Symbol(SymbolNode {
            id: crate::model::SymbolId::new(7).unwrap(),
            name: "zeta".to_string(),
            kind: crate::model::SymbolKind::Function,
            file_id: b_id,
            visibility: Some(crate::model::Visibility::Public),
            source_range: sample_source_range(),
        }));
        let b_idx = graph.add_node(NodeData::File(FileNode::new(
            b_id,
            PathBuf::from("b.py"),
            LangId::Python,
            SnapshotId::new(1).unwrap(),
        )));
        let a_idx = graph.add_node(NodeData::File(FileNode::new(
            a_id,
            PathBuf::from("a.py"),
            LangId::Python,
            SnapshotId::new(1).unwrap(),
        )));
        graph.file_to_index.insert(a_id, a_idx);
        graph.file_to_index.insert(b_id, b_idx);
        graph.add_edge_normalized(a_idx, b_idx, EdgeKind::Import, 1.0);
        graph.add_edge_normalized(b_idx, a_idx, EdgeKind::Import, 1.0);

        let scc = SccAnalysis::analyze(graph.graph());
        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);

        let order: Vec<(String, Option<String>)> = output
            .nodes
            .iter()
            .map(|n| (n.kind.clone(), n.path.clone().or_else(|| n.name.clone())))
            .collect();
        assert_eq!(
            order,
            vec![
                ("file".to_string(), Some("a.py".to_string())),
                ("file".to_string(), Some("b.py".to_string())),
                ("symbol".to_string(), Some("zeta".to_string())),
            ],
            "files come first in path order, then symbols"
        );

        for scc in &output.sccs {
            let members = &scc.nodes;
            assert!(
                members.windows(2).all(|pair| pair[0] < pair[1]),
                "SCC members are ordered by node index, got {members:?}"
            );
        }
        let _ = sym_idx;
    }

    /// The casing contract is lower case for kinds and visibility.
    #[test]
    fn symbol_kind_and_visibility_use_the_documented_casing() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        let symbol = crate::model::Symbol {
            id: crate::model::SymbolId::new(3).unwrap(),
            name: "helper".to_string(),
            kind: crate::model::SymbolKind::TypeAlias,
            language: LangId::Python,
            file_path: PathBuf::from("a.py"),
            source_range: sample_source_range(),
            name_range: None,
            visibility: Some(crate::model::Visibility::Public),
            signature: None,
            docstring: None,
            is_async: false,
        };
        builder.add_file(PathBuf::from("a.py"), LangId::Python);
        builder.add_symbol(&symbol).unwrap();
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let json = serialize_graph(&graph, &scc, 1, &OutputFormat::Json).unwrap();
        let parsed: serde_json::Value = serde_json::from_str(&json).unwrap();
        let node = parsed["nodes"]
            .as_array()
            .unwrap()
            .iter()
            .find(|n| n["kind"] == "symbol");
        assert!(node.is_some(), "the symbol node is serialized");
        let node = node.unwrap();

        assert_eq!(node["symbol_kind"], "type_alias");
        assert_eq!(node["visibility"], "public");
    }

    /// Absence of the confidence field must not carry meaning.
    #[test]
    fn edge_confidence_is_always_serialized() {
        let mut builder = GraphBuilder::new(SnapshotId::new(1).unwrap());
        let file_a = builder.add_file(PathBuf::from("a.py"), LangId::Python);
        builder.add_file(PathBuf::from("b.py"), LangId::Python);
        builder.add_import(file_a, PathBuf::from("b.py"));
        let graph = builder.build();
        let scc = sample_scc_analysis();

        let json = serialize_graph(&graph, &scc, 1, &OutputFormat::Json).unwrap();
        let parsed: serde_json::Value = serde_json::from_str(&json).unwrap();
        let edges = parsed["edges"].as_array().unwrap();
        assert!(!edges.is_empty(), "the graph has at least one edge");
        for edge in edges {
            assert!(
                edge["confidence"].is_number(),
                "every edge carries a confidence, got {edge}"
            );
        }
    }

    /// A non-finite confidence is data corruption, so it is counted and
    /// normalized instead of being written out as an absent field.
    #[test]
    fn non_finite_confidence_is_counted_and_normalized() {
        let mut graph = crate::graph::CodeGraph::new(SnapshotId::new(1).unwrap());
        let a_id = crate::model::FileId::new(1).unwrap();
        let b_id = crate::model::FileId::new(2).unwrap();
        let a_idx = graph.add_node(NodeData::File(FileNode::new(
            a_id,
            PathBuf::from("a.py"),
            LangId::Python,
            SnapshotId::new(1).unwrap(),
        )));
        let b_idx = graph.add_node(NodeData::File(FileNode::new(
            b_id,
            PathBuf::from("b.py"),
            LangId::Python,
            SnapshotId::new(1).unwrap(),
        )));
        graph.file_to_index.insert(a_id, a_idx);
        graph.file_to_index.insert(b_id, b_idx);
        graph.add_edge_normalized(a_idx, b_idx, EdgeKind::Import, f32::NAN);

        let scc = SccAnalysis::analyze(graph.graph());
        let output = GraphOutput::from_graph(&graph, Some(&scc), 1);
        let json = serde_json::to_string(&output).unwrap();
        let parsed: serde_json::Value = serde_json::from_str(&json).unwrap();
        assert_eq!(
            parsed["metadata"]["invalid_confidence_edges"], 1,
            "the graph records the rejected confidence"
        );
        assert_eq!(parsed["edges"][0]["confidence"], 0.0);
    }
}