flowmaid 0.20.1

//! Graph → mermaid text — the inverse of [`crate::parser::parse`]
//! (issue #18).
//!
//! [`to_mermaid`] emits **canonical** mermaid flowchart source for a
//! [`Graph`]: parsing the output yields a graph semantically equal to
//! the input (same nodes by id/label/shape/style, same edges in
//! order, same subgraph tree). It does NOT preserve a human author's
//! original formatting, comments, or line order — it is the persist
//! step for **editor** consumers (`hit_test` → `route_partial` →
//! mutate → `to_mermaid`), not a source-code formatter.
//!
//! Characters mermaid's grammar reserves (`"` anywhere, `|` in edge
//! labels, `<`, a leading markdown backtick, and any `#` that would
//! read as an entity — mermaid.js decodes the whole `#\w+;` family)
//! are written as mermaid entity codes (`#quot;`, `#124;`, `#60;`,
//! `#96;`, `#35;`) — valid standard mermaid, decoded back by the
//! parser, so those labels round-trip **losslessly**. The honest
//! limits that remain are mermaid's own:
//!
//! - Labels round-trip modulo the parser's normalization: outer
//!   whitespace is trimmed, `<br/>` becomes `\n` (we emit `\n` back
//!   as `<br/>`). Edge labels and subgraph titles are single-line
//!   by grammar: embedded newlines flatten to spaces.
//! - An **empty or whitespace-only edge label** normalizes away to
//!   no label at all.
//! - Node ids must be word-like (`[A-Za-z0-9_]+`, the only form the
//!   parser reads back). Ids that equal a mermaid keyword (`end`,
//!   `style`, …) re-parse fine in flowmaid (we emit them in full
//!   `id["label"]` form) but standard mermaid.js rejects them — a
//!   long-standing mermaid limitation, not something text can fix.
//! - A node id must not collide with a subgraph id, and a node may
//!   be a direct member of at most one subgraph — both are
//!   unrepresentable in mermaid text (the parser guarantees graphs
//!   it produces obey them; debug builds assert it).
//! - stateDiagram-only shapes (`StateStart`, `StateEnd`, `ForkBar`)
//!   have no flowchart syntax; they degrade to a circle / rect.
//! - A non-finite `stroke_width` is dropped, as is any style value
//!   with a depth-0 comma, a control character, or unbalanced
//!   parens (a `style` line cannot carry them — mermaid's grammar
//!   splits on commas). Style values round-trip modulo trim.
//!   CSS function values (`rgb(255,0,0)`) DO survive flowmaid's
//!   round-trip, but note mermaid.js's own style parser rejects
//!   parens — hex colors are the portable choice.
//! - Control characters in labels (other than newline/tab)
//!   sanitize to spaces — mermaid text cannot carry them.
//! - Subgraph nesting deeper than the parser's 500-level cap is
//!   unemittable (the output could never be reloaded); debug
//!   builds assert it.

use crate::model::{Direction, EdgeKind, End, Graph, NodeStyle, Shape};

/// Emit canonical mermaid flowchart text for `g`. See the module
/// docs for the round-trip contract and its (small) honest limits.
pub fn to_mermaid(g: &Graph) -> String {
    #[cfg(debug_assertions)]
    check_preconditions(g);

    let mut out = String::new();
    out.push_str("flowchart ");
    out.push_str(dir_token(g.direction));
    out.push('\n');

    // ── 1. Node declarations (index order). Top-level mentions
    //    never claim subgraph membership, so declaring everything
    //    here is safe; the subgraph blocks below only need bare
    //    ids. Bare form when nothing but the id needs saying. ──
    for i in 0..g.nodes.len() {
        out.push_str("    ");
        out.push_str(&node_ref(g, i));
        out.push('\n');
    }

    // ── 2. Subgraph blocks, parents before children (membership
    //    and nesting both come from block structure). A parent
    //    cycle or dangling index leaves a block unreachable from
    //    the root walk; a second pass emits those as roots rather
    //    than silently dropping them. ──
    let mut visited = vec![false; g.subgraphs.len()];
    for r in 0..g.subgraphs.len() {
        if g.subgraphs[r].parent.is_none() {
            emit_subgraph(g, r, 1, &mut visited, &mut out);
        }
    }
    for r in 0..g.subgraphs.len() {
        if !visited[r] {
            emit_subgraph(g, r, 1, &mut visited, &mut out);
        }
    }

    // ── 3. Edges (insertion order — re-parse preserves it). ──
    for e in &g.edges {
        out.push_str("    ");
        out.push_str(&endpoint(g, e.from));
        push_edge_op(&mut out, e.kind, e.label.as_deref());
        out.push_str(&endpoint(g, e.to));
        out.push('\n');
    }
    // Sub-edges (whole-cluster endpoints). The parser pre-scans
    // subgraph ids, so these parse the same anywhere in the file.
    for e in &g.sub_edges {
        out.push_str("    ");
        out.push_str(&end_ref(g, e.from));
        push_edge_op(&mut out, e.kind, e.label.as_deref());
        out.push_str(&end_ref(g, e.to));
        out.push('\n');
    }

    // ── 4. Styling: one `style` line per styled node. classDef /
    //    class assignments were already resolved onto `Node.style`
    //    at parse time, so this round-trips them too. ──
    for (i, n) in g.nodes.iter().enumerate() {
        if let Some(props) = style_props(&n.style) {
            out.push_str("    style ");
            out.push_str(&g.nodes[i].id);
            out.push(' ');
            out.push_str(&props);
            out.push('\n');
        }
    }
    out
}

/// The unrepresentable-in-mermaid graph shapes (see module docs).
/// Debug builds catch them at the source instead of shipping text
/// that re-parses into something else.
#[cfg(debug_assertions)]
fn check_preconditions(g: &Graph) {
    for n in &g.nodes {
        debug_assert!(
            !g.subgraphs.iter().any(|s| s.id == n.id),
            "to_mermaid: node id {:?} collides with a subgraph id — unrepresentable in mermaid",
            n.id
        );
    }
    for e in &g.edges {
        debug_assert!(
            e.from < g.nodes.len() && e.to < g.nodes.len(),
            "to_mermaid: edge endpoint index out of bounds ({}→{}, {} nodes)",
            e.from,
            e.to,
            g.nodes.len()
        );
    }
    let mut seen = std::collections::HashSet::new();
    for s in &g.subgraphs {
        debug_assert!(
            s.parent.map_or(true, |p| p < g.subgraphs.len()),
            "to_mermaid: subgraph {:?} has an out-of-bounds parent index",
            s.id
        );
        // (Nesting depth is asserted in emit_subgraph on the ACTUAL
        // emitted depth — that accounts for cycle flattening, which
        // a parent-chain walk here cannot.)
        for &m in &s.nodes {
            debug_assert!(
                m < g.nodes.len(),
                "to_mermaid: subgraph {:?} member index {} out of bounds ({} nodes)",
                s.id,
                m,
                g.nodes.len()
            );
            debug_assert!(
                seen.insert(m),
                "to_mermaid: node {:?} is a direct member of two subgraphs — unrepresentable",
                g.nodes.get(m).map(|n| n.id.as_str()).unwrap_or("?")
            );
        }
    }
}

fn dir_token(d: Direction) -> &'static str {
    match d {
        Direction::TD => "TD",
        Direction::LR => "LR",
        Direction::RL => "RL",
        Direction::BT => "BT",
    }
}

/// Statement-leading keywords a bare node id must not collide with.
/// The parser matches these case-insensitively (`strip_keyword`), so
/// the check here is case-insensitive too — `Class --> b` would
/// otherwise be eaten by the `class` statement branch.
const RESERVED: &[&str] = &[
    "end", "subgraph", "direction", "style", "classDef", "class", "flowchart", "graph",
    "linkStyle", "click",
];

fn is_reserved(id: &str) -> bool {
    RESERVED.iter().any(|k| k.eq_ignore_ascii_case(id))
}

/// Escape a label for mermaid: any `#` that could read as an entity
/// (mermaid.js decodes the whole `#\w+;` family — `#amp;`, `#nbsp;`,
/// `#65;` — so all of it must be defused) becomes `#35;`; `<` rides
/// as `#60;` so literal `<br/>`-looking text survives the parser's
/// break folding; then `"` (and, where the grammar needs it, extra
/// characters like `|`) become entities. The parser's
/// `decode_entities` is the exact inverse of everything emitted.
fn encode(label: &str, extra: &[char]) -> String {
    // Control characters (except the newline handled by the caller
    // and tab) cannot ride in mermaid text at all — the parser
    // refuses to mint them from entities, and raw bytes would break
    // the line grammar and the SVG. They sanitize to a space.
    let label: String = label
        .chars()
        .map(|c| {
            if c.is_control() && !matches!(c, '\n' | '\t') {
                ' '
            } else {
                c
            }
        })
        .collect();
    let mut out = String::with_capacity(label.len());
    let mut rest = label.as_str();
    while let Some(h) = rest.find('#') {
        out.push_str(&rest[..h]);
        let tail = &rest[h + 1..];
        let word = tail
            .chars()
            .take_while(|c| c.is_ascii_alphanumeric() || *c == '_')
            .count();
        let is_entity = word > 0 && tail[word..].starts_with(';');
        out.push_str(if is_entity { "#35;" } else { "#" });
        rest = tail;
    }
    out.push_str(rest);
    let mut out = out.replace('<', "#60;").replace('"', "#quot;");
    for &c in extra {
        out = out.replace(c, &format!("#{};", c as u32));
    }
    out
}

/// A node reference for a declaration or edge endpoint: the bare id
/// when that already says everything (default rect whose label is
/// the id), else the full `id["label"]` form. Reserved ids always
/// take the full form so the line can't read as a keyword statement
/// (`end` alone would close a subgraph block).
fn node_ref(g: &Graph, i: usize) -> String {
    let n = &g.nodes[i];
    let bare_ok = n.label == n.id && matches!(n.shape, Shape::Rect) && !is_reserved(&n.id);
    if bare_ok {
        return n.id.clone();
    }
    let (open, close) = shape_delims(n.shape);
    format!("{}{}{}{}", n.id, open, label_text(&n.label), close)
}

/// Edge endpoints just name the node; the declaration section
/// already carried label/shape. Reserved ids repeat the full form
/// (harmless — same label/shape — and keeps the line unambiguous).
fn endpoint(g: &Graph, i: usize) -> String {
    let n = &g.nodes[i];
    if is_reserved(&n.id) {
        node_ref(g, i)
    } else {
        n.id.clone()
    }
}

fn end_ref(g: &Graph, e: End) -> String {
    match e {
        End::Node(v) => endpoint(g, v),
        End::Sub(s) => g.subgraphs[s].id.clone(),
    }
}

/// The opener/closer pair mermaid uses for a shape. stateDiagram
/// pseudostates have no flowchart form — nearest look-alike.
fn shape_delims(s: Shape) -> (&'static str, &'static str) {
    match s {
        Shape::Rect | Shape::ForkBar => ("[", "]"),
        Shape::Rounded => ("(", ")"),
        Shape::Stadium => ("([", "])"),
        Shape::Diamond => ("{", "}"),
        Shape::Circle | Shape::StateStart | Shape::StateEnd => ("((", "))"),
        Shape::DoubleCircle => ("(((", ")))"),
        Shape::Cylinder => ("[(", ")]"),
        Shape::Subroutine => ("[[", "]]"),
        Shape::Hexagon => ("{{", "}}"),
        Shape::Parallelogram => ("[/", "/]"),
        Shape::ParallelogramAlt => ("[\\", "\\]"),
    }
}

/// A label as written between shape delimiters — always the quoted
/// form (quotes protect brackets, pipes, edge-operator lookalikes),
/// with `"`/`<`/entity-`#` escaped as entities so the quoted form
/// can hold ANY text. Escaping runs FIRST so a literal `<br/>` in
/// the text is defused (`#60;br/>`), and only then do real newlines
/// become genuine `<br/>` tags. An empty label becomes a single
/// space (mermaid.js rejects `[""]`; the parser trims it back to
/// empty). A label that both starts and ends with a backtick would
/// lex as a mermaid markdown string — the leading one rides as
/// `#96;`.
fn label_text(label: &str) -> String {
    if label.trim().is_empty() {
        return "\" \"".to_string();
    }
    let enc = defuse_md(encode(label, &[]).replace('\n', "<br/>"));
    format!("\"{}\"", enc)
}

/// A quoted body that STARTS with a backtick opens mermaid.js's
/// markdown-string lexer state (`"​`…`), whether or not it closes;
/// riding the leading one as `#96;` keeps it plain text. Applies to
/// node labels and edge labels alike — both sit inside `"…"`.
fn defuse_md(enc: String) -> String {
    if enc.starts_with('`') {
        format!("#96;{}", &enc[1..])
    } else {
        enc
    }
}

/// `-->` / `-.->` / `==>` / … plus the `|label|` slot. The label
/// rides QUOTED inside the pipes — mermaid.js hard-rejects raw
/// brackets in an unquoted `|…|` slot — with `|` itself as `#124;`
/// (quotes don't protect the slot delimiter). Edge labels are
/// single-line by grammar (newlines flatten to spaces). An empty or
/// whitespace-only label normalizes away to no label.
fn push_edge_op(out: &mut String, kind: EdgeKind, label: Option<&str>) {
    let op = match kind {
        EdgeKind::Arrow => "-->",
        EdgeKind::Open => "---",
        EdgeKind::Dotted => "-.->",
        EdgeKind::DottedOpen => "-.-",
        EdgeKind::Thick => "==>",
        EdgeKind::ThickOpen => "===",
        EdgeKind::Invisible => "~~~",
    };
    out.push(' ');
    out.push_str(op);
    if let Some(l) = label {
        if !l.trim().is_empty() {
            out.push_str("|\"");
            out.push_str(&defuse_md(encode(l, &['|']).replace('\n', " ")));
            out.push_str("\"|");
        }
    }
    out.push(' ');
}

/// One `subgraph … end` block, recursing into children. Members are
/// bare ids (their declarations already ran at top level; mentioning
/// them inside the block claims them for it). Titles are single-line
/// and live in `["…"]`, entity-escaped like any label; a title equal
/// to the id needs no bracket.
fn emit_subgraph(g: &Graph, si: usize, depth: usize, visited: &mut [bool], out: &mut String) {
    if visited[si] {
        return;
    }
    visited[si] = true;
    // The parser refuses nesting past its 500-level cap — emitting
    // deeper would persist a file that can never be reloaded. This
    // is the ACTUAL emitted depth (cycle flattening included), so
    // the assertion is exact by construction.
    debug_assert!(
        depth <= 500,
        "to_mermaid: subgraph {:?} nests deeper than the parser's 500-level cap — \
         the emitted file could not be re-parsed",
        g.subgraphs[si].id
    );
    let s = &g.subgraphs[si];
    let pad = "    ".repeat(depth);
    out.push_str(&pad);
    out.push_str("subgraph ");
    out.push_str(&s.id);
    if s.title != s.id {
        if s.title.trim().is_empty() {
            // `[""]` reads back as an empty title; label_text's
            // `" "` placeholder would come back as a real space
            // (the title path trims before quote-stripping).
            out.push_str("[\"\"]");
        } else {
            out.push('[');
            out.push_str(&label_text(&s.title.replace('\n', " ")));
            out.push(']');
        }
    }
    out.push('\n');
    if let Some(d) = s.direction {
        out.push_str(&pad);
        out.push_str("    direction ");
        out.push_str(dir_token(d));
        out.push('\n');
    }
    for &m in &s.nodes {
        out.push_str(&pad);
        out.push_str("    ");
        // Full form for reserved ids: a bare `end` line would close
        // the block right here.
        if is_reserved(&g.nodes[m].id) {
            out.push_str(&node_ref(g, m));
        } else {
            out.push_str(&g.nodes[m].id);
        }
        out.push('\n');
    }
    for c in 0..g.subgraphs.len() {
        if g.subgraphs[c].parent == Some(si) {
            emit_subgraph(g, c, depth + 1, visited, out);
        }
    }
    out.push_str(&pad);
    out.push_str("end\n");
}

/// True when a style value can survive a `style` line: `parse_props`
/// splits on depth-0 commas and rejects unbalanced parens, and the
/// line itself is single-line (a control character would terminate
/// the statement mid-value and inject the tail as free-standing
/// mermaid text). Values violating any of it can't be written back
/// (mermaid's own grammar has the same limits) and are dropped —
/// the documented degrade — rather than corrupting neighbours.
fn style_value_ok(v: &str) -> bool {
    // Judge the TRIMMED value — that's what gets emitted; padding
    // (including a stray trailing newline) shouldn't doom an
    // otherwise fine value.
    let v = v.trim();
    if v.is_empty() {
        return false;
    }
    let mut depth = 0i32;
    for c in v.chars() {
        if c.is_control() {
            return false;
        }
        match c {
            '(' => depth += 1,
            ')' => depth -= 1,
            ',' if depth == 0 => return false,
            _ => {}
        }
        if depth < 0 {
            return false;
        }
    }
    depth == 0
}

/// `fill:…,stroke:…,stroke-width:…px,color:…` for the set fields,
/// in that fixed order; `None` when the style is all-default. A
/// non-finite stroke-width and any comma/paren-broken value are
/// dropped (nothing sane to write).
fn style_props(st: &NodeStyle) -> Option<String> {
    let mut parts: Vec<String> = Vec::new();
    // Values are emitted trimmed — parse_props trims on the way back
    // in, so emitting the padding would only fake a difference.
    if let Some(f) = &st.fill {
        if style_value_ok(f) {
            parts.push(format!("fill:{}", f.trim()));
        }
    }
    if let Some(s) = &st.stroke {
        if style_value_ok(s) {
            parts.push(format!("stroke:{}", s.trim()));
        }
    }
    if let Some(w) = st.stroke_width {
        if w.is_finite() {
            // f64 Display: `2` for 2.0, `1.5` for 1.5 — parses back
            // identically, no integer cast to saturate.
            parts.push(format!("stroke-width:{}px", w));
        }
    }
    if let Some(c) = &st.color {
        if style_value_ok(c) {
            parts.push(format!("color:{}", c.trim()));
        }
    }
    if parts.is_empty() {
        None
    } else {
        Some(parts.join(","))
    }
}

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

    /// Semantic equality — the round-trip contract from #18. Nodes
    /// by index (id, label, shape, style), edges by index resolved
    /// to ids, subgraphs by id (title, member ids, parent id,
    /// direction). Label comparison is modulo the parser's own
    /// normalization (trim; `<br/>` ⇒ `\n`), which parse applies to
    /// both sides equally.
    fn assert_roundtrip(g: &Graph) {
        let text = to_mermaid(g);
        let back = parse(&text).unwrap_or_else(|e| panic!("re-parse failed: {e}\n--\n{text}"));
        assert_eq!(back.direction, g.direction, "direction\n--\n{text}");
        assert_eq!(back.nodes.len(), g.nodes.len(), "node count\n--\n{text}");
        // Labels round-trip modulo the documented normalization:
        // control chars sanitize to spaces, outer whitespace trims.
        let norm_label = |s: &str| {
            s.chars()
                .map(|c| if c.is_control() && !matches!(c, '\n' | '\t') { ' ' } else { c })
                .collect::<String>()
                .trim()
                .to_string()
        };
        for (a, b) in g.nodes.iter().zip(&back.nodes) {
            assert_eq!(a.id, b.id, "node id\n--\n{text}");
            assert_eq!(norm_label(&a.label), b.label, "label of {}\n--\n{text}", a.id);
            assert_eq!(a.shape, b.shape, "shape of {}\n--\n{text}", a.id);
            // Style values round-trip modulo trim (both the emitter
            // and parse_props trim), and unwritable values (commas,
            // control chars, unbalanced parens) drop to None.
            let sv = |v: &Option<String>| {
                v.as_deref()
                    .filter(|s| super::style_value_ok(s))
                    .map(|s| s.trim().to_string())
            };
            assert_eq!(
                (sv(&a.style.fill), sv(&a.style.stroke), a.style.stroke_width, sv(&a.style.color)),
                (sv(&b.style.fill), sv(&b.style.stroke), b.style.stroke_width, sv(&b.style.color)),
                "style of {}\n--\n{text}",
                a.id
            );
        }
        let eid = |g: &Graph, i: usize| g.nodes[i].id.clone();
        assert_eq!(back.edges.len(), g.edges.len(), "edge count\n--\n{text}");
        for (a, b) in g.edges.iter().zip(&back.edges) {
            assert_eq!(eid(g, a.from), eid(&back, b.from), "edge from\n--\n{text}");
            assert_eq!(eid(g, a.to), eid(&back, b.to), "edge to\n--\n{text}");
            assert_eq!(a.kind, b.kind, "edge kind\n--\n{text}");
            // Single-line-slot normalization (documented): control
            // chars sanitize to spaces, newlines flatten, outer
            // whitespace trims, empty → None.
            let norm = norm_1line;
            assert_eq!(norm(&a.label), norm(&b.label), "edge label\n--\n{text}");
        }
        assert_eq!(back.subgraphs.len(), g.subgraphs.len(), "subgraph count\n--\n{text}");
        for s in &g.subgraphs {
            let t = back
                .subgraphs
                .iter()
                .find(|t| t.id == s.id)
                .unwrap_or_else(|| panic!("subgraph {} lost\n--\n{text}", s.id));
            assert_eq!(s.title.trim(), t.title, "title of {}\n--\n{text}", s.id);
            let ids = |g: &Graph, m: &[usize]| {
                let mut v: Vec<String> = m.iter().map(|&i| g.nodes[i].id.clone()).collect();
                v.sort();
                v
            };
            assert_eq!(ids(g, &s.nodes), ids(&back, &t.nodes), "members of {}\n--\n{text}", s.id);
            let pid = |g: &Graph, p: Option<usize>| p.map(|i| g.subgraphs[i].id.clone());
            assert_eq!(pid(g, s.parent), pid(&back, t.parent), "parent of {}\n--\n{text}", s.id);
            assert_eq!(s.direction, t.direction, "direction of {}\n--\n{text}", s.id);
        }
        // Sub-edges (whole-cluster endpoints) — endpoints resolved to
        // tagged ids so node-vs-sub misbinds can't hide.
        assert_eq!(back.sub_edges.len(), g.sub_edges.len(), "sub-edge count\n--\n{text}");
        let end_id = |g: &Graph, e: End| match e {
            End::Node(i) => format!("n:{}", g.nodes[i].id),
            End::Sub(i) => format!("s:{}", g.subgraphs[i].id),
        };
        for (a, b) in g.sub_edges.iter().zip(&back.sub_edges) {
            assert_eq!(end_id(g, a.from), end_id(&back, b.from), "sub-edge from\n--\n{text}");
            assert_eq!(end_id(g, a.to), end_id(&back, b.to), "sub-edge to\n--\n{text}");
            assert_eq!(a.kind, b.kind, "sub-edge kind\n--\n{text}");
            assert_eq!(norm_1line(&a.label), norm_1line(&b.label), "sub-edge label\n--\n{text}");
        }
    }

    /// One shared single-line label normalization for the round-trip
    /// comparators (edge + sub-edge labels): control characters
    /// sanitize to spaces (the emitter's documented degrade),
    /// newlines flatten, outer whitespace trims, empty → None.
    fn norm_1line(l: &Option<String>) -> Option<String> {
        l.as_deref()
            .map(|s| {
                s.chars()
                    .map(|c| if c.is_control() && c != '\t' { ' ' } else { c })
                    .collect::<String>()
                    .trim()
                    .to_string()
            })
            .filter(|s| !s.is_empty())
    }

    /// Round-trip a source string: parse → emit → parse ≡ parse.
    fn assert_source_roundtrip(src: &str) {
        assert_roundtrip(&parse(src).unwrap());
    }

    #[test]
    fn every_shape_and_edge_kind_round_trips() {
        assert_source_roundtrip(
            "flowchart LR\n\
             A[rect] --> B(round) --> C([stadium]) --> D{diamond}\n\
             E((circle)) --> F(((double))) --> G[(db)] --> H[[sub]]\n\
             I{{hex}} --> J[/para/] --> K[\\alt\\]\n\
             A --- B\n A -.-> C\n A -.- D\n A ==> E\n A === F\n A ~~~ G\n",
        );
    }

    #[test]
    fn labels_with_brackets_pipes_and_breaks_round_trip() {
        assert_source_roundtrip(
            "flowchart TD\n\
             A[\"odd [text] here\"] -->|go / stop| B[\"a|b\"]\n\
             C[\"line<br/>break\"] --> D[\"he said 'hi'\"]\n",
        );
    }

    #[test]
    fn quotes_pipes_and_hashes_round_trip_losslessly_via_entities() {
        // The review-workflow findings: interior quotes, quote-wrapped
        // labels, quotes in edge labels, entity-lookalike text. All
        // must survive exactly — and the emitted text stays valid
        // standard mermaid (no raw '"' inside a quoted label).
        let mut g = Graph::default();
        let a = g.ensure_node("a", Some("he said \"hi\"".into()), Some(Shape::Circle));
        let b = g.ensure_node("b", Some("\"wrapped\"".into()), Some(Shape::Rect));
        let c = g.ensure_node("c", Some("#quot; literal #35; and #f00".into()), None);
        let d = g.ensure_node("d", Some("says \"hi\" :)".into()), Some(Shape::Circle));
        g.add_edge(a, b, Some("say \"go\"".into()), EdgeKind::Arrow);
        g.add_edge(b, c, Some("\"quoted label\"".into()), EdgeKind::Thick);
        g.add_edge(c, d, Some("a|b".into()), EdgeKind::Dotted);
        assert_roundtrip(&g);
        let text = to_mermaid(&g);
        // No raw double quote may appear inside a quoted label's body.
        assert!(text.contains("#quot;"), "quotes ride as entities:\n{text}");
        // Parser-sourced quotes too (source uses the unquoted form).
        assert_source_roundtrip("flowchart TD\nA[he said \"hi\"] --> B\n");
    }

    #[test]
    fn styles_and_class_assignments_round_trip_as_style_lines() {
        assert_source_roundtrip(
            "flowchart TD\n\
             A[x]:::hot --> B[y]\n\
             classDef hot fill:#f00,stroke:#900,stroke-width:3px\n\
             style B fill:#e4f5f4,color:#111,stroke-width:1.5px\n",
        );
        // CSS function values with commas (paren-aware props split).
        assert_source_roundtrip("flowchart TD\nA --> B\nstyle A fill:rgb(255,0,0),stroke:#900\n");
        // Extreme stroke widths must not saturate or panic.
        let mut g = Graph::default();
        let a = g.ensure_node("a", None, None);
        g.ensure_node("b", None, None);
        g.nodes[a].style.stroke_width = Some(1e19);
        g.add_edge(0, 1, None, EdgeKind::Arrow);
        assert_roundtrip(&g);
        // Non-finite widths are dropped, not written as "NaNpx".
        let mut st = NodeStyle::default();
        st.stroke_width = Some(f64::NAN);
        assert_eq!(style_props(&st), None);
    }

    #[test]
    fn nested_subgraphs_directions_titles_and_sub_edges_round_trip() {
        assert_source_roundtrip(
            "flowchart TD\n\
             Client --> GW\n\
             subgraph platform [The Platform]\n\
                 direction LR\n\
                 GW --> Auth\n\
                 subgraph inner\n\
                     Auth --> DB[(users)]\n\
                 end\n\
             end\n\
             Client --> platform\n\
             platform ==> Audit\n",
        );
        // A title with quotes rides as entities (parser-producible!).
        assert_source_roundtrip("flowchart TD\nsubgraph s[say \"hi\"]\nA\nend\n");
    }

    #[test]
    fn orphaned_subgraphs_are_still_emitted() {
        // A parent cycle (programmatic garbage) must not silently
        // drop blocks — they surface as root blocks instead.
        let mut g = Graph::default();
        let a = g.ensure_node("A", None, None);
        g.subgraphs.push(crate::model::Subgraph {
            id: "s0".into(),
            title: "s0".into(),
            nodes: vec![a],
            parent: Some(1),
            direction: None,
        });
        g.subgraphs.push(crate::model::Subgraph {
            id: "s1".into(),
            title: "s1".into(),
            nodes: vec![],
            parent: Some(0),
            direction: None,
        });
        let text = to_mermaid(&g);
        assert!(text.contains("subgraph s0") && text.contains("subgraph s1"), "{text}");
        assert!(parse(&text).is_ok(), "{text}");
    }

    #[test]
    fn reserved_word_ids_survive_case_insensitively() {
        // Parser keywords match case-insensitively, so `Class` and
        // `STYLE` are as dangerous as `class`/`style` — all must take
        // the full form. (`Class --> b` bare would be eaten by the
        // `class` statement branch and silently corrupt the graph.)
        for id in ["end", "Class", "STYLE", "Direction", "subGraph", "classDef"] {
            let mut g = Graph::default();
            let a = g.ensure_node(id, Some("checker".into()), None);
            let b = g.ensure_node("b", None, None);
            g.add_edge(a, b, Some("k".into()), EdgeKind::Arrow);
            g.subgraphs.push(crate::model::Subgraph {
                id: "box".into(),
                title: "box".into(),
                nodes: vec![a],
                parent: None,
                direction: None,
            });
            assert_roundtrip(&g);
        }
    }

    #[test]
    fn empty_labels_round_trip_and_avoid_invalid_mermaid() {
        let mut g = Graph::default();
        let a = g.ensure_node("a", Some(String::new()), Some(Shape::Rect));
        let b = g.ensure_node("b", None, None);
        g.add_edge(a, b, Some(String::new()), EdgeKind::Arrow);
        let text = to_mermaid(&g);
        // mermaid.js rejects [""] and -->|| — neither may appear.
        assert!(!text.contains("[\"\"]") && !text.contains("||"), "{text}");
        assert_roundtrip(&g);
    }

    #[test]
    fn programmatic_editor_graph_round_trips() {
        // The #18 story: a host mutates a Graph after drag/connect
        // and persists it.
        let mut g = Graph::default();
        g.direction = Direction::LR;
        let a = g.ensure_node("start", Some("Start".into()), Some(Shape::Stadium));
        let b = g.ensure_node("check", Some("pay_mode == cod".into()), Some(Shape::Diamond));
        let c = g.ensure_node("ship", Some("Ship it".into()), Some(Shape::Rect));
        g.add_edge(a, b, None, EdgeKind::Arrow);
        g.add_edge(b, c, Some("yes".into()), EdgeKind::Arrow);
        g.add_edge(b, a, Some("no".into()), EdgeKind::Dotted);
        g.nodes[c].style.fill = Some("#e4f5f4".into());
        g.nodes[c].style.stroke_width = Some(2.0);
        assert_roundtrip(&g);
    }

    #[test]
    fn fuzzed_graphs_round_trip() {
        // Deterministic LCG fuzz (pure std, reproducible): random
        // shapes, kinds, nasty labels, styles, nested subgraphs.
        struct Lcg(u64);
        impl Lcg {
            fn next(&mut self, n: usize) -> usize {
                self.0 = self
                    .0
                    .wrapping_mul(6364136223846793005)
                    .wrapping_add(1442695040888963407);
                ((self.0 >> 33) as usize) % n.max(1)
            }
        }
        let shapes = [
            Shape::Rect,
            Shape::Rounded,
            Shape::Stadium,
            Shape::Diamond,
            Shape::Circle,
            Shape::DoubleCircle,
            Shape::Cylinder,
            Shape::Subroutine,
            Shape::Hexagon,
            Shape::Parallelogram,
            Shape::ParallelogramAlt,
        ];
        let kinds = [
            EdgeKind::Arrow,
            EdgeKind::Open,
            EdgeKind::Dotted,
            EdgeKind::DottedOpen,
            EdgeKind::Thick,
            EdgeKind::ThickOpen,
            EdgeKind::Invisible,
        ];
        let labels = [
            "plain", "with space", "a[b]c", "p|q", "()", "{}", "-->", "==>", "x\ny",
            "he said \"hi\"", "\"wrapped\"", "says \"hi\" :)", "see \"n\" [1]", "#f00",
            "#quot; raw", "#65;", "subgraph", "end", "100%", "a & b", "C#",
            "Tom #amp; Jerry", "literal <br/> text", "a < b", "`md text`", "#0;",
            "$$x^2$$", "fee $$ plus $$ tax",
        ];
        let mut rng = Lcg(7);
        for round in 0..60 {
            let mut g = Graph::default();
            g.direction = [Direction::TD, Direction::LR, Direction::RL, Direction::BT]
                [rng.next(4)];
            let n = 2 + rng.next(9);
            for i in 0..n {
                let id = format!("n{round}_{i}");
                let label = labels[rng.next(labels.len())].to_string();
                let ni = g.ensure_node(&id, Some(label), Some(shapes[rng.next(shapes.len())]));
                if rng.next(4) == 0 {
                    g.nodes[ni].style.fill = Some("#abc".into());
                    g.nodes[ni].style.stroke_width = Some(rng.next(5) as f64 + 0.5);
                }
            }
            for _ in 0..n {
                let (a, b) = (rng.next(n), rng.next(n));
                let label = if rng.next(3) == 0 {
                    Some(labels[rng.next(labels.len())].to_string())
                } else {
                    None
                };
                g.add_edge(a, b, label, kinds[rng.next(kinds.len())]);
            }
            // Up to two subgraphs, sometimes nested, disjoint members.
            let mut claimed: Vec<usize> = Vec::new();
            for si in 0..rng.next(3) {
                let mut mem: Vec<usize> = Vec::new();
                for i in 0..n {
                    if !claimed.contains(&i) && rng.next(3) == 0 {
                        mem.push(i);
                        claimed.push(i);
                    }
                }
                let parent = if si == 1 && rng.next(2) == 0 { Some(0) } else { None };
                g.subgraphs.push(crate::model::Subgraph {
                    id: format!("s{round}_{si}"),
                    title: format!("s{round}_{si}"),
                    nodes: mem,
                    parent,
                    direction: None,
                });
            }
            assert_roundtrip(&g);
        }
    }

    #[test]
    fn output_is_valid_standard_mermaid_shapes() {
        // Spot-check the emitted text itself (not just re-parse):
        // canonical tokens a mermaid.js renderer would accept.
        let mut g = Graph::default();
        let a = g.ensure_node("a", Some("A label".into()), Some(Shape::Stadium));
        let b = g.ensure_node("b", None, None);
        g.add_edge(a, b, Some("ok".into()), EdgeKind::Thick);
        let text = to_mermaid(&g);
        assert_eq!(
            text,
            "flowchart TD\n    a([\"A label\"])\n    b\n    a ==>|\"ok\"| b\n"
        );
    }

    #[test]
    fn round2_entity_lookalikes_and_angle_brackets_survive() {
        // Round-2 findings: mermaid.js decodes the whole `#\w+;`
        // family, and literal `<br/>` TEXT must not mutate into a
        // real line break on re-parse.
        let mut g = Graph::default();
        let a = g.ensure_node("a", Some("Tom #amp; Jerry".into()), None);
        let b = g.ensure_node("b", Some("literal <br/> tag".into()), None);
        let c = g.ensure_node("c", Some("`**md** text`".into()), None);
        let d = g.ensure_node("d", Some("a < b".into()), None);
        g.add_edge(a, b, Some("cost #eur; 5".into()), EdgeKind::Arrow);
        g.add_edge(c, d, None, EdgeKind::Arrow);
        assert_roundtrip(&g);
        let text = to_mermaid(&g);
        assert!(text.contains("#35;amp;"), "named lookalike escaped:\n{text}");
        assert!(text.contains("#60;br/>"), "literal break tag defused:\n{text}");
        assert!(text.contains("#96;"), "leading markdown backtick defused:\n{text}");
    }

    #[test]
    fn round2_entities_cannot_mint_control_characters() {
        // `#0;` / `#27;` must stay literal text, not become NUL/ESC
        // bytes that poison the SVG.
        let g = parse("flowchart TD\nA[\"x #0; y #27; z\"] --> B\n").unwrap();
        assert_eq!(g.nodes[0].label, "x #0; y #27; z");
        assert_roundtrip(&g);
        // The whitespace trio still decodes (mermaid parity).
        let g = parse("flowchart TD\nA[\"a#10;b\"] --> B\n").unwrap();
        assert_eq!(g.nodes[0].label, "a\nb");
    }

    #[test]
    fn round2_keyword_named_subgraph_as_edge_source_round_trips() {
        // `subgraph style` … `style --> B`: the statement dispatcher
        // must see the edge op and not eat the line as a `style`
        // statement. Parser-producible, so full round-trip required.
        for kw in ["style", "class", "classDef", "direction"] {
            let src = format!("flowchart TD\nsubgraph {kw}\nA\nend\nX --> {kw} --> B\n");
            let g = parse(&src).unwrap_or_else(|e| panic!("{kw}: {e}"));
            assert_eq!(g.sub_edges.len(), 2, "{kw} sub-edges");
            assert_roundtrip(&g);
        }
    }

    #[test]
    fn round2_bad_style_values_drop_instead_of_corrupting() {
        // A depth-0 comma or unbalanced paren can't ride a `style`
        // line; the property drops, neighbours survive.
        let mut g = Graph::default();
        let a = g.ensure_node("a", None, None);
        g.ensure_node("b", None, None);
        g.add_edge(0, 1, None, EdgeKind::Arrow);
        g.nodes[a].style.fill = Some("red, blue".into());
        g.nodes[a].style.stroke = Some("#900".into());
        let text = to_mermaid(&g);
        assert!(!text.contains("red, blue"), "{text}");
        assert!(text.contains("stroke:#900"), "{text}");
        let back = parse(&text).unwrap();
        assert_eq!(back.nodes[0].style.stroke.as_deref(), Some("#900"));
        // Parser side: unbalanced '(' is a clean error, not a silent
        // property swallow.
        assert!(parse("flowchart TD\nA\nstyle A fill:rgb(255,stroke:#900\n").is_err());
    }

    #[test]
    fn round2_empty_subgraph_title_round_trips() {
        let g = parse("flowchart TD\nsubgraph s[\"\"]\nA\nend\n").unwrap();
        assert_eq!(g.subgraphs[0].title, "");
        assert_roundtrip(&g);
    }

    #[test]
    fn round3_subgraph_named_subgraph_survives_as_edge_source() {
        // The keyword-dispatch guard must cover `subgraph` itself.
        let src = "flowchart TD\nB\nsubgraph subgraph\nend\nsubgraph --> B\n";
        let g = parse(src).unwrap();
        assert_eq!(g.sub_edges.len(), 1);
        assert_roundtrip(&g);
        // Fan-out from a keyword-named source too.
        let g = parse("flowchart TD\nsubgraph style\nend\nstyle & A --> B\n").unwrap();
        assert_eq!(g.sub_edges.len(), 1, "fan-out lead-in");
        assert_roundtrip(&g);
    }

    #[test]
    fn round3_old_dashed_statement_arguments_get_targeted_errors() {
        // The edge lookahead must not eat these as half-an-edge
        // (`--x` is not a complete edge operator). `classDef` names
        // are free-form and still parse; a `style` id like `--x`
        // (which 0.19.1 silently minted as an unreferenceable
        // phantom node) now gets the targeted id diagnostic.
        assert!(parse("flowchart TD\nclassDef --x fill:red\nA\n").is_ok());
        let e = parse("flowchart TD\nA\nstyle --x fill:red\n").unwrap_err();
        assert!(e.message.contains("node id"), "targeted, not misleading: {}", e.message);
        // And a stray `direction -->` with no such entity keeps its
        // targeted diagnostic instead of minting a node.
        assert!(parse("flowchart TD\ndirection --> B\n").is_err());
    }

    #[test]
    fn round3_style_values_with_newlines_cannot_inject_statements() {
        let mut g = Graph::default();
        let a = g.ensure_node("a", None, None);
        g.ensure_node("b", None, None);
        g.nodes[a].style.fill = Some("red\nB --> C".into());
        g.nodes[a].style.stroke = Some(" #900 ".into());
        let text = to_mermaid(&g);
        assert!(!text.contains("B --> C"), "no injected statement:\n{text}");
        assert!(text.contains("stroke:#900"), "trimmed neighbour survives:\n{text}");
        let back = parse(&text).unwrap();
        assert_eq!(back.nodes.len(), 2, "no phantom nodes:\n{text}");
    }

    #[test]
    fn round4_prescan_and_main_loop_agree_on_subgraph_lines() {
        // `subgraph & X` / `subgraph --> B` headers (no subgraph
        // actually named "subgraph") must be classified identically
        // by the pre-scan and the main loop, or sub-edge indices
        // drift and edges bind the WRONG box.
        let g = parse("flowchart TD\nsubgraph & X\nend\nsubgraph two\nC\nend\nD --> two\n").unwrap();
        assert_eq!(g.sub_edges.len(), 1);
        let crate::model::End::Sub(si) = g.sub_edges[0].to else {
            panic!("expected a sub end")
        };
        assert_eq!(g.subgraphs[si].id, "two", "edge must bind the box it names");
        // Same with an edge-op-looking header.
        let g = parse("flowchart TD\nsubgraph --> B\nend\nsubgraph two\nC\nend\nD --> two\n").unwrap();
        let crate::model::End::Sub(si) = g.sub_edges[0].to else {
            panic!("expected a sub end")
        };
        assert_eq!(g.subgraphs[si].id, "two");
    }

    #[test]
    fn round4_keyword_gate_is_order_independent() {
        // The divert gate consults the PRE-SCANNED subgraph ids, so
        // an edge from a keyword-named subgraph parses no matter
        // where the block sits in the file.
        let g = parse("flowchart TD\nstyle --> B\nsubgraph style\nA\nend\n").unwrap();
        assert_eq!(g.sub_edges.len(), 1);
        assert_roundtrip(&g);
    }

    #[test]
    fn round4_mangled_statement_ids_error_instead_of_phantom_nodes() {
        // `class --> B` with no subgraph named class: the statement
        // path must reject the id `-->` (0.19.1 silently minted a
        // node named "-->" that no mermaid text can express again).
        let e = parse("flowchart TD\nclass --> B\n").unwrap_err();
        assert!(e.message.contains("node id"), "{}", e.message);
        let e = parse("flowchart TD\nstyle --> B:::green\n").unwrap_err();
        assert!(e.message.contains("node id"), "{}", e.message);
    }

    #[test]
    fn round4_control_chars_sanitize_and_one_sided_backticks_defuse() {
        // Raw C0 bytes in programmatic labels sanitize to spaces —
        // mermaid text can't carry them.
        let mut g = Graph::default();
        g.ensure_node("a", Some("bell\u{7}!".into()), None);
        let b = g.ensure_node("b", None, None);
        g.add_edge(0, b, Some("x\ry".into()), EdgeKind::Arrow);
        let text = to_mermaid(&g);
        assert!(
            !text.chars().any(|c| c.is_control() && c != '\n'),
            "no raw control bytes:\n{text:?}"
        );
        let back = parse(&text).unwrap();
        assert_eq!(back.nodes[0].label, "bell !");
        // A leading backtick ALONE opens mermaid's markdown-string
        // state — defused even without a closing one.
        let g = parse("flowchart TD\nA[\"#96;hello\"] --> B\n").unwrap();
        assert_eq!(g.nodes[0].label, "`hello");
        let text = to_mermaid(&g);
        assert!(text.contains("#96;"), "{text}");
        assert_roundtrip(&g);
    }

    #[test]
    fn round7_bare_titles_and_prop_values_never_divert() {
        // A bare-title header starting with `--` was legal in 0.19 —
        // the subgraph branch diverts on COMPLETE operators only, so
        // these stay headers even beside a subgraph named "subgraph".
        let g = parse(
            "flowchart TD\nsubgraph subgraph\nA\nend\nsubgraph -- why --> done\nB\nend\n",
        )
        .unwrap();
        assert_eq!(g.subgraphs.len(), 2, "second block stays a header");
        assert!(g.nodes.iter().all(|n| n.id != "end"), "no phantom end node");
        let g = parse("flowchart TD\nsubgraph subgraph\nA\nend\nsubgraph -- Phase 1 ---\nB\nend\n")
            .unwrap();
        assert_eq!(g.subgraphs.len(), 2);
        // With no subgraph named classDef, an edge closer inside a
        // prop value never diverts (the sub_ids gate is closed).
        let g = parse("flowchart TD\nclassDef --x fill:url(#a-->b)\nB\n").unwrap();
        assert!(g.nodes.iter().any(|n| n.id == "B"));
        // A real inline-label edge from a keyword-named subgraph
        // diverts — including labels carrying ':' or '(' (round 8).
        let g = parse("flowchart TD\nsubgraph style\nA\nend\nstyle -- go --> B\n").unwrap();
        assert_eq!(g.sub_edges.len(), 1);
        assert_eq!(g.sub_edges[0].label.as_deref(), Some("go"));
        let g = parse("flowchart TD\nsubgraph style\nA\nend\nstyle -- (note) --> B\n").unwrap();
        assert_eq!(g.sub_edges[0].label.as_deref(), Some("(note)"));
        let g = parse("flowchart TD\nsubgraph style\nA\nend\nstyle -- ratio 1:2 --> B\n").unwrap();
        assert_eq!(g.sub_edges[0].label.as_deref(), Some("ratio 1:2"));
        // The click branch needs no subgraph at all.
        let g = parse("flowchart TD\nclick -- open: docs --> B\n").unwrap();
        assert_eq!(g.edges[0].label.as_deref(), Some("open: docs"));
    }

    #[test]
    fn round6_click_named_nodes_and_case_variant_keywords() {
        // A node named `click`/`linkStyle` must round-trip (emitter
        // writes the full form; the parser branch is exact-case).
        for id in ["click", "linkStyle", "Click"] {
            let g = parse(&format!("flowchart TD\nA --> {id}\n")).unwrap();
            assert_roundtrip(&g);
        }
        // Bare case-variant lines are plain nodes (mermaid keywords
        // are case-sensitive); exact-lowercase gets the targeted err.
        assert!(parse("flowchart TD\nClick\nClick --> B\n").is_ok());
        assert!(parse("flowchart TD\nclick A callback\n").is_err());
        // Inline-label edge from a keyword-named node still parses.
        let g = parse("flowchart TD\nclick -- go --> B\n").unwrap();
        assert_eq!(g.edges.len(), 1);
        assert_eq!(g.edges[0].label.as_deref(), Some("go"));
    }

    #[test]
    fn round6_case_variant_heads_route_to_the_edge_path() {
        // subgraph named lowercase keyword + case-variant head:
        // `Class --> B` is an edge from a distinct plain node.
        let g = parse("flowchart TD\nsubgraph class\nA\nend\nClass --> B\n").unwrap();
        assert!(g.nodes.iter().any(|n| n.id == "Class"));
        assert_eq!(g.edges.len(), 1);
        // Case-variant subgraph head over a differently-cased id.
        let g = parse("flowchart TD\nsubgraph Subgraph\nA\nend\nSUBGRAPH --> B\n").unwrap();
        assert!(g.nodes.iter().any(|n| n.id == "SUBGRAPH"));
        // Exact-case head naming the subgraph is still a sub-edge.
        let g = parse("flowchart TD\nsubgraph Subgraph\nA\nend\nSubgraph --> B\n").unwrap();
        assert_eq!(g.sub_edges.len(), 1);
    }

    #[test]
    fn round6_subgraph_style_props_validated_and_dashed_ids_ok() {
        // Dashed subgraph ids style-drop cleanly (checked before the
        // word-like node-id rule)…
        assert!(parse("flowchart TD\nsubgraph my-group\nA\nend\nstyle my-group fill:#f9f\n").is_ok());
        // …but garbage props are still a hard error.
        assert!(parse("flowchart TD\nsubgraph grp\nA\nend\nstyle grp NOTAPROP\n").is_err());
    }

    #[test]
    fn round6_seq_whitespace_only_labels_still_load() {
        use crate::parser::parse_document;
        // Whitespace-only note text / participant alias came from
        // real 0.19-era files; they normalize instead of erroring.
        assert!(parse_document("sequenceDiagram\nnote over A: #32;\nA->>B: y\n").is_ok());
        assert!(parse_document("sequenceDiagram\nparticipant A as \" \"\nA->>B: y\n").is_ok());
        // Truly empty is still an error.
        assert!(parse_document("sequenceDiagram\nnote over A:\nA->>B: y\n").is_err());
    }

    #[test]
    fn round5_case_variant_and_padded_subgraph_keyword_ids() {
        // strip_keyword matches case-insensitively, so the divert
        // gate must look up the head token AS WRITTEN.
        for id in ["SUBGRAPH", "Class", "subgraph"] {
            let mut g = Graph::default();
            let b = g.ensure_node("B", None, None);
            g.subgraphs.push(crate::model::Subgraph {
                id: id.into(),
                title: id.into(),
                nodes: vec![],
                parent: None,
                direction: None,
            });
            g.sub_edges.push(crate::model::SubEdge {
                from: End::Sub(0),
                to: End::Node(b),
                label: None,
                kind: EdgeKind::Arrow,
            });
            assert_roundtrip(&g);
        }
        // Header detection survives extra spacing before the title.
        let g = parse("flowchart TD\nsubgraph subgraph  [T]\nend\nsubgraph --> B\n").unwrap();
        assert_eq!(g.sub_edges.len(), 1);
        assert_roundtrip(&g);
    }

    #[test]
    fn round5_subgraph_styling_is_accepted_without_phantom_nodes() {
        // mermaid.js styles subgraph boxes by id; flowmaid accepts
        // (and drops) it — no colliding node, no debug panic.
        let g = parse(
            "flowchart TD\nsubgraph grp\nA\nend\nstyle grp fill:#f9f\nclassDef hot fill:#f00\nclass grp hot\n",
        )
        .unwrap();
        assert!(g.nodes.iter().all(|n| n.id != "grp"));
        assert_roundtrip(&g);
        // `class A, B hot` (space after comma) styles BOTH nodes.
        let g = parse("flowchart TD\nA --> B\nclassDef hot fill:#f00\nclass A, B hot\n").unwrap();
        assert!(g.nodes.iter().take(2).all(|n| n.style.fill.is_some()), "both styled");
    }

    #[test]
    fn round5_label_edge_whitespace_and_unsupported_statements() {
        // Whitespace exposed by <br/> folding trims away on parse.
        let mut g = Graph::default();
        g.ensure_node("a", Some("x \n".into()), None);
        g.ensure_node("b", Some("bell\u{7}\n".into()), None);
        g.add_edge(0, 1, None, EdgeKind::Arrow);
        assert_roundtrip(&g);
        // linkStyle/click: targeted message, not an edge-op error —
        // but `click --> B` is still an edge from a node named click.
        let e = parse("flowchart TD\nA --> B\nlinkStyle 0 stroke:#f00\n").unwrap_err();
        assert!(e.message.contains("aren't supported"), "{}", e.message);
        let g = parse("flowchart TD\nclick --> B\n").unwrap();
        assert_eq!(g.edges.len(), 1);
    }

    #[test]
    fn round3_backtick_edge_labels_and_cr_entities_are_defused() {
        // Edge labels get the same markdown-string guard as nodes.
        let g = parse("flowchart TD\nA -->|\"`pow`\"| B\n").unwrap();
        assert_eq!(g.edges[0].label.as_deref(), Some("`pow`"));
        let text = to_mermaid(&g);
        assert!(text.contains("#96;"), "leading backtick defused:\n{text}");
        assert_roundtrip(&g);
        // `#13;` may not mint a raw CR anymore.
        let g = parse("flowchart TD\nA[\"a#13;b\"] --> B\n").unwrap();
        assert_eq!(g.nodes[0].label, "a#13;b");
        assert_roundtrip(&g);
    }
}