lini 0.18.0

//! The parser — single-pass recursive descent over the grammar in [SPEC 21].
//!
//! The bracket-and-bars vocabulary makes one token of lookahead enough, with no
//! type-set prescan: `{` opens style, `[` opens children, `|…|` is a type. The
//! file is three phases — an optional leading `{ }` stylesheet, then the canvas
//! instances, then the links — and a body nests the same idea (a `{ }`, then a
//! `[ ]` of children and internal links).

use super::ast::*;
use crate::ast::{ChainOp, DrawOp, LineStyle, LinkMarker, LinkOp};
use crate::error::Error;
use crate::lexer::{TokKind, Token};
use crate::span::Span;

/// Parse a token stream into a [`File`]. `src` backs the raw slices a `(…)` group or
/// operator-bearing argument keeps for [`crate::expr`] [SPEC 10.7].
pub fn parse(src: &str, tokens: &[Token]) -> Result<File, Error> {
    Parser::new(src, tokens).parse_file()
}

/// The shared head tail [SPEC 3/9]: a head label, worn classes, and the head's
/// own style block — what `parse_tail` reads after a node's bars or a link's
/// endpoints. The `[ ]` content is parsed by the caller.
struct Tail {
    label: Option<TextNode>,
    classes: Vec<String>,
    style: Vec<Decl>,
    style_span: Option<Span>,
}

/// What a statement at the cursor is.
#[derive(Clone, Copy, PartialEq)]
enum Kind {
    Node,
    Link,
    Decl,
    Var,
    Rule,
    Define,
    Func,
    Unknown,
}

struct Parser<'a> {
    src: &'a str,
    toks: &'a [Token],
    pos: usize,
}

impl<'a> Parser<'a> {
    fn new(src: &'a str, toks: &'a [Token]) -> Self {
        Self { src, toks, pos: 0 }
    }

    // ───────────────────────── Cursor ─────────────────────────

    fn kind(&self) -> Option<&TokKind> {
        self.toks.get(self.pos).map(|t| &t.kind)
    }

    fn kind_at(&self, n: usize) -> Option<&TokKind> {
        self.toks.get(self.pos + n).map(|t| &t.kind)
    }

    /// The cursor sits on the link selector `|-|` [SPEC 4, 9]: bars wrapping a
    /// bare solid dash — a line, in the identity capsule. The `-` lexes as a
    /// marker-less solid link op, so this is `| · - · |`.
    fn at_link_bars(&self) -> bool {
        matches!(self.kind(), Some(TokKind::Pipe))
            && matches!(
                self.kind_at(1),
                Some(TokKind::LinkOp(LinkOp {
                    line: LineStyle::Solid,
                    start: LinkMarker::None,
                    end: LinkMarker::None,
                }))
            )
            && matches!(self.kind_at(2), Some(TokKind::Pipe))
    }

    fn span(&self) -> Span {
        self.toks
            .get(self.pos)
            .map(|t| t.span)
            .unwrap_or_else(|| self.last_span())
    }

    fn last_span(&self) -> Span {
        self.toks
            .get(self.pos.saturating_sub(1))
            .map(|t| t.span)
            .unwrap_or_default()
    }

    /// Whether the token at `pos + n` is glued (no whitespace) to the one before
    /// it — how `a.b` (endpoint path) is told from `a .b` (a class).
    fn glued_at(&self, n: usize) -> bool {
        let i = self.pos + n;
        match (
            i.checked_sub(1).and_then(|j| self.toks.get(j)),
            self.toks.get(i),
        ) {
            (Some(a), Some(b)) => a.span.end == b.span.start,
            _ => false,
        }
    }

    fn eat(&mut self, k: &TokKind) -> bool {
        if self.kind() == Some(k) {
            self.pos += 1;
            true
        } else {
            false
        }
    }

    fn expect(&mut self, k: &TokKind, what: &str) -> Result<(), Error> {
        if self.eat(k) {
            Ok(())
        } else {
            Err(self.err(format!("expected {}", what)))
        }
    }

    fn skip_newlines(&mut self) {
        while matches!(self.kind(), Some(TokKind::Newline)) {
            self.pos += 1;
        }
    }

    fn err(&self, msg: impl Into<String>) -> Error {
        Error::at(self.span(), msg.into())
    }

    fn expect_ident(&mut self) -> Result<(String, Span), Error> {
        let name = match self.kind() {
            Some(TokKind::Ident(s)) => s.clone(),
            _ => return Err(self.err("expected identifier")),
        };
        let span = self.span();
        self.pos += 1;
        Ok((name, span))
    }

    /// Consume a statement terminator (newline / `;`), or accept a closing
    /// bracket / a following string / EOF. A string is self-delimiting, so
    /// `"a" "b" "c"` is three text nodes [SPEC 3].
    fn terminator(&mut self) -> Result<(), Error> {
        if matches!(self.kind(), Some(TokKind::Newline) | Some(TokKind::Semi)) {
            self.pos += 1;
            self.skip_newlines();
            Ok(())
        } else if matches!(
            self.kind(),
            Some(TokKind::RBrace) | Some(TokKind::RBracket) | Some(TokKind::String(_)) | None
        ) {
            Ok(())
        } else {
            Err(self.err("expected a newline, ';', or a closing bracket"))
        }
    }

    // ───────────────────────── Classification ─────────────────────────

    /// A stylesheet item: a declaration, a `--var`, a rule (incl. `.class`), or a
    /// define (`|name::base|`). Assumes newlines skipped.
    fn classify_setup(&self) -> Result<Kind, Error> {
        match self.kind() {
            Some(TokKind::RawCssVar(_)) => Ok(Kind::Var),
            Some(TokKind::Dot) => Ok(Kind::Rule),  // .class { … }
            Some(TokKind::Hash(_)) => Ok(Kind::Rule), // #hero { … } — an id rule
            Some(TokKind::LinkOp(_)) => Err(self.err(
                "'->' draws a link on the canvas — style every link with '|-| { stroke: … }' in a '{ }' block",
            )),
            // `(-) { … }` is the dimension selector [SPEC 4, 15.6] — the `|-|` subtype;
            // an operator only appears after endpoints, so a leading `(-)` is a rule.
            Some(TokKind::DrawOp(DrawOp::Linear)) => Ok(Kind::Rule),
            // Per-kind dimension selectors `(o) { }` / `(<) { }` are deferred [SPEC 23].
            Some(TokKind::DrawOp(_)) => Err(self.err(
                "'(-)' selects every dimension — per-kind '(o)' / '(<)' selectors are deferred (SPEC 23)",
            )),
            Some(TokKind::Pipe) => Ok(
                // `|name::base|` is a define; any other `|…|` is a rule selector.
                if matches!(self.kind_at(1), Some(TokKind::Ident(_)))
                    && matches!(self.kind_at(2), Some(TokKind::DColon))
                {
                    Kind::Define
                } else {
                    Kind::Rule
                },
            ),
            Some(TokKind::Ident(_)) => match self.kind_at(1) {
                Some(TokKind::Colon) => Ok(Kind::Decl),
                // `name = value` / `name(params) = value` is an `=` binding [SPEC 10.7].
                Some(TokKind::Assign) | Some(TokKind::LParen) => Ok(Kind::Func),
                _ => Err(self
                    .err("a type only appears in bars — write '|box| { }' to style every box")),
            },
            _ => Err(self.err("the stylesheet holds declarations, rules, and defines")),
        }
    }

    /// A canvas / body statement: a node (`|…|`), text (`"…"`), a link (a bare id
    /// followed by a link-op / `&` / a `.path` / a `:side`), or — flagged for a
    /// context error — a stray declaration or `--var`. A bare leading name with no
    /// link follow is invalid (a node leads with bars). Assumes newlines skipped.
    fn classify_body(&self) -> Kind {
        match self.kind() {
            Some(TokKind::Pipe) | Some(TokKind::String(_)) => Kind::Node,
            Some(TokKind::RawCssVar(_)) => Kind::Var,
            Some(TokKind::Ident(_)) => match self.kind_at(1) {
                Some(TokKind::LinkOp(_)) | Some(TokKind::DrawOp(_)) | Some(TokKind::Amp) => {
                    Kind::Link
                }
                Some(TokKind::Dot) if self.glued_at(1) => Kind::Link, // a.b endpoint path
                // `a || b` — a mate [SPEC 15.5]: two adjacent pipes at operator
                // position (a node can never follow a bare ident, so this is
                // unambiguous and bars stay paired).
                Some(TokKind::Pipe) if self.pipes_glued_at(1) => Kind::Link,
                // `a:left -> b` is a sided first endpoint — `:ident` then a link-op
                // / `&`. A misplaced `gap: 4` decl has a value there, not `side ->`,
                // so it stays a (context-error) declaration; an invalid point then
                // surfaces as the proper anchor error at resolve.
                Some(TokKind::Colon)
                    if matches!(self.kind_at(2), Some(TokKind::Ident(_)))
                        && (matches!(
                            self.kind_at(3),
                            Some(TokKind::LinkOp(_))
                                | Some(TokKind::DrawOp(_))
                                | Some(TokKind::Amp)
                        ) || self.pipes_glued_at(3)) =>
                {
                    Kind::Link
                }
                Some(TokKind::Colon) => Kind::Decl,
                _ => Kind::Unknown,
            },
            _ => Kind::Unknown,
        }
    }

    /// `||` at `pos + n` — two **adjacent** pipes, the mate op [SPEC 15.5, 21].
    fn pipes_glued_at(&self, n: usize) -> bool {
        matches!(self.kind_at(n), Some(TokKind::Pipe))
            && matches!(self.kind_at(n + 1), Some(TokKind::Pipe))
            && self.glued_at(n + 1)
    }

    // ───────────────────────── File ─────────────────────────

    fn parse_file(&mut self) -> Result<File, Error> {
        let mut file = File {
            stylesheet: Vec::new(),
            stylesheet_span: Span::default(),
            instances: Vec::new(),
            links: Vec::new(),
        };
        self.skip_newlines();
        if matches!(self.kind(), Some(TokKind::LBrace)) {
            let start = self.span();
            file.stylesheet = self.parse_stylesheet()?;
            file.stylesheet_span = Span::new(start.start, self.last_span().end);
            self.skip_newlines();
        }
        // Instances and links interleave, in source order [SPEC 3]: a
        // `layout: sequence` reads that order as time. They stay in separate
        // lists — each already in source order — and the formatter / sequence
        // engine recover the interleave from spans.
        while self.kind().is_some() {
            match self.classify_body() {
                Kind::Node => file.instances.push(self.parse_child()?),
                Kind::Link => file.links.push(self.parse_link()?),
                Kind::Decl => return Err(self.err("a declaration belongs in a '{ }' block")),
                Kind::Var => {
                    return Err(self.err("variables are declared in the stylesheet '{ }'"));
                }
                _ if matches!(self.kind(), Some(TokKind::LBrace)) => {
                    return Err(
                        self.err("the stylesheet '{ }' must come first, before any instance")
                    );
                }
                _ => {
                    return Err(self.err(
                        "a node leads with bars — write '|box#X|' (a bare name is a link endpoint)",
                    ));
                }
            }
            self.terminator()?;
        }
        Ok(file)
    }

    fn parse_stylesheet(&mut self) -> Result<Vec<StyleItem>, Error> {
        self.expect(&TokKind::LBrace, "'{'")?;
        self.skip_newlines();
        let mut items = Vec::new();
        while !matches!(self.kind(), Some(TokKind::RBrace) | None) {
            let item = match self.classify_setup()? {
                Kind::Var => StyleItem::Var(self.parse_var()?),
                Kind::Decl => StyleItem::RootDecl(self.parse_decl()?),
                Kind::Rule => StyleItem::Rule(self.parse_rule()?),
                Kind::Define => StyleItem::Define(self.parse_define()?),
                Kind::Func => StyleItem::Func(self.parse_binding()?),
                _ => unreachable!(),
            };
            items.push(item);
            self.terminator()?;
        }
        self.expect(&TokKind::RBrace, "'}'")?;
        Ok(items)
    }

    // ───────────────────────── Declarations ─────────────────────────

    /// `key: v…, v…` — the name token is an `Ident`. A `draw:` value additionally
    /// admits the pen items (`call:segment` / freestanding `:segment`) [SPEC 15.3, 21] —
    /// the property-scoped flag keeps the runaway-declaration diagnostics sharp
    /// everywhere else.
    fn parse_decl(&mut self) -> Result<Decl, Error> {
        let (name, start) = self.expect_ident()?;
        if !self.eat(&TokKind::Colon) {
            return Err(self.err(format!("expected ':' after '{}'", name)));
        }
        let pen = name == "draw";
        let (groups, end) = self.parse_values_in(pen)?;
        Ok(Decl {
            name,
            groups,
            span: Span::new(start.start, end.end),
        })
    }

    /// `--name: v…` — the name token is a `RawCssVar` (name stored without `--`).
    fn parse_var(&mut self) -> Result<Decl, Error> {
        let start = self.span();
        let name = match self.kind() {
            Some(TokKind::RawCssVar(s)) => s.clone(),
            _ => return Err(self.err("expected '--name'")),
        };
        self.pos += 1;
        if !self.eat(&TokKind::Colon) {
            return Err(self.err(format!("expected ':' after '--{}'", name)));
        }
        let (groups, end) = self.parse_values()?;
        Ok(Decl {
            name,
            groups,
            span: Span::new(start.start, end.end),
        })
    }

    /// Comma-separated value groups; each group is a space-separated sequence. A
    /// declaration's value runs to `;` (or a closing `}` / `]`), so it may span
    /// lines — a newline inside a value is whitespace, not a terminator [SPEC 2/3].
    fn parse_values(&mut self) -> Result<(Vec<Vec<Value>>, Span), Error> {
        self.parse_values_in(false)
    }

    fn parse_values_in(&mut self, pen: bool) -> Result<(Vec<Vec<Value>>, Span), Error> {
        let start = self.span();
        let mut groups: Vec<Vec<Value>> = Vec::new();
        let mut current: Vec<Value> = Vec::new();
        loop {
            match self.kind() {
                Some(TokKind::Semi) | Some(TokKind::RBrace) | Some(TokKind::RBracket) | None => {
                    break;
                }
                Some(TokKind::Newline) => self.pos += 1,
                Some(TokKind::Comma) => {
                    self.pos += 1;
                    groups.push(std::mem::take(&mut current));
                }
                _ => current.push(self.parse_value_in(pen)?),
            }
        }
        groups.push(current);
        if groups.iter().all(|g| g.is_empty()) {
            return Err(self.err("declaration needs a value"));
        }
        let end = self.last_span();
        Ok((groups, Span::new(start.start, end.end)))
    }

    fn parse_value(&mut self) -> Result<Value, Error> {
        self.parse_value_in(false)
    }

    fn parse_value_in(&mut self, pen: bool) -> Result<Value, Error> {
        // An ident glued to `(` begins a call (`rgb(…)`, `scale(3)`); a spaced
        // `foo (…)` is the ident then a group (the call-glue rule, [SPEC 2]).
        if matches!(self.kind(), Some(TokKind::Ident(_))) {
            let (name, _) = self.expect_ident()?;
            return if matches!(self.kind(), Some(TokKind::LParen)) && self.glued_at(0) {
                let call = self.parse_call(name)?;
                // In a pen, a glued `:segment` after the `)` names the call's drawn
                // segment (`right(50):seat`, `fillet(3):r1`) [SPEC 15.3] — glued to
                // the `)` itself: a **spaced** `:name` is the floating-segment
                // error below (a station is `point():v`).
                if pen && self.glued_at(0) && self.at_glued_point_name() {
                    self.pos += 1; // ':'
                    let (point, _) = self.expect_ident()?;
                    if let Value::Call(c) = call {
                        return Ok(Value::NamedCall(c, point));
                    }
                    unreachable!("parse_call returns Value::Call");
                }
                Ok(call)
            } else {
                Ok(Value::Ident(name))
            };
        }
        // A free-standing `(…)` is a math group [SPEC 10.7] — its inner text folds to
        // a number or a point.
        if matches!(self.kind(), Some(TokKind::LParen)) {
            return Ok(Value::Expr(self.take_group()?));
        }
        // A `:segment` always glues to its call [SPEC 15.3] — a floating one
        // is one space away from silently renaming the wrong thing.
        if pen && self.at_glued_point_name() {
            return Err(self.err("a ':segment' glues to its call — name a station with point():v"));
        }
        let v = match self.kind() {
            Some(TokKind::Number(n)) => Value::Number(*n),
            Some(TokKind::Percent(n)) => Value::Percent(*n),
            Some(TokKind::String(s)) => Value::String(s.clone()),
            // `#…` in a value is a colour — validate the run as 3/4/6/8 hex digits.
            Some(TokKind::Hash(h)) => {
                let h = h.clone();
                if !is_hex_color(&h) {
                    return Err(self.err(format!("invalid hex color '#{h}'")));
                }
                Value::Hex(h)
            }
            Some(TokKind::RawCssVar(s)) => Value::Var(s.clone()),
            // A `:` in value position is the start of the next declaration — the
            // previous one ran on because it lacks a terminating `;` [SPEC 3/19].
            Some(TokKind::Colon) => return Err(self.err("a declaration ends with ';'")),
            // A bare link op in a value: math belongs in a group [SPEC 10.7].
            Some(TokKind::LinkOp(_)) => {
                return Err(self.err("to compute here, wrap the math in a group — e.g. (a - b)"));
            }
            _ => return Err(self.err("expected a value")),
        };
        self.pos += 1;
        Ok(v)
    }

    /// Consume a balanced `( … )` at the cursor and return its **inner** source, the
    /// outer parens stripped [SPEC 10.7]. The lexer already balanced the parens, so
    /// this counts token depth; the raw text goes to [`crate::expr`].
    fn take_group(&mut self) -> Result<String, Error> {
        let open = self.span();
        self.pos += 1; // '('
        let inner_start = open.end;
        let mut depth = 1usize;
        loop {
            match self.kind() {
                Some(TokKind::LParen) => depth += 1,
                Some(TokKind::RParen) => {
                    depth -= 1;
                    if depth == 0 {
                        let inner = self.src[inner_start..self.span().start].to_string();
                        self.pos += 1; // ')'
                        return Ok(inner);
                    }
                }
                None => return Err(Error::at(open, "unterminated '(' group")),
                _ => {}
            }
            self.pos += 1;
        }
    }

    /// The cursor sits on a `:` immediately followed by a **glued** ident — the
    /// pen's point sigil (`:segment`), never a declaration's `:` (whose value is
    /// spaced off it in canonical style and is not an ident-only suffix).
    fn at_glued_point_name(&self) -> bool {
        matches!(self.kind(), Some(TokKind::Colon))
            && matches!(self.kind_at(1), Some(TokKind::Ident(_)))
            && self.glued_at(1)
    }

    fn parse_call(&mut self, name: String) -> Result<Value, Error> {
        self.pos += 1; // '('
        let mut args = Vec::new();
        if !matches!(self.kind(), Some(TokKind::RParen)) {
            args.push(self.parse_call_arg()?);
            while self.eat(&TokKind::Comma) {
                args.push(self.parse_call_arg()?);
            }
        }
        if !self.eat(&TokKind::RParen) {
            return Err(self.err("expected ')'"));
        }
        Ok(Value::Call(Call { name, args }))
    }

    /// One call-argument slot [SPEC 10.7]: an arg carrying a top-level operator is an
    /// expression, captured raw (the call's own parens are its group); otherwise a
    /// single value, or a space-separated group (`hatch(45 -45, 6)`'s angles, [SPEC 10.3]).
    fn parse_call_arg(&mut self) -> Result<Value, Error> {
        if let Some(raw) = self.take_arg_expr() {
            return Ok(Value::Expr(raw));
        }
        let first = self.parse_value()?;
        if matches!(
            self.kind(),
            Some(TokKind::Comma) | Some(TokKind::RParen) | None
        ) {
            return Ok(first);
        }
        let mut group = vec![first];
        while !matches!(
            self.kind(),
            Some(TokKind::Comma) | Some(TokKind::RParen) | None
        ) {
            group.push(self.parse_value()?);
        }
        Ok(Value::Group(group))
    }

    /// If the argument at the cursor carries a top-level math operator, advance to its
    /// boundary (the next top-level `,` or the call's `)`) and return its raw source;
    /// otherwise leave the cursor untouched and return `None` [SPEC 10.7].
    fn take_arg_expr(&mut self) -> Option<String> {
        let start_byte = self.span().start;
        let mut depth = 0usize;
        let mut has_op = false;
        let mut i = self.pos;
        while let Some(tok) = self.toks.get(i) {
            match &tok.kind {
                TokKind::LParen => depth += 1,
                TokKind::RParen if depth == 0 => break,
                TokKind::RParen => depth -= 1,
                TokKind::Comma if depth == 0 => break,
                k if depth == 0 && is_math_op(k) => has_op = true,
                _ => {}
            }
            i += 1;
        }
        if !has_op {
            return None;
        }
        let end_byte = self.toks[i - 1].span.end;
        self.pos = i;
        Some(self.src[start_byte..end_byte].to_string())
    }

    // ───────────────────────── Rules & defines ─────────────────────────

    /// `selector { decls }` [SPEC 4] — `|box| { }`, `.hot { }`, `#hero { }`,
    /// `|table| |box| { }`.
    fn parse_rule(&mut self) -> Result<Rule, Error> {
        let start = self.span();
        let selector = self.parse_selector()?;
        let (decls, _) = self.parse_style()?;
        Ok(Rule {
            selector,
            decls,
            span: Span::new(start.start, self.last_span().end),
        })
    }

    /// A run of space-separated selector units up to the `{` [SPEC 4]: a type
    /// `|box|` / `|table#main|`, a class `.hot`, or an id `#hero`. The space is
    /// the descendant combinator; each unit keeps its sigil.
    fn parse_selector(&mut self) -> Result<Selector, Error> {
        let mut units = Vec::new();
        loop {
            match self.kind() {
                // `|-|` — the link type [SPEC 9]: every link, styled like a node.
                Some(TokKind::Pipe) if self.at_link_bars() => {
                    self.pos += 3;
                    units.push(SelUnit::Link);
                }
                // `(-)` — the dimension type [SPEC 4, 15.6]: the `|-|` subtype, one
                // token, matching every dimension. In selector position (not after
                // endpoints) it never means the linear operator.
                Some(TokKind::DrawOp(DrawOp::Linear)) => {
                    self.pos += 1;
                    units.push(SelUnit::Dimension);
                }
                Some(TokKind::Pipe) => {
                    let (ty, id) = self.parse_identity(BarsCtx::Selector)?;
                    units.push(match ty {
                        Some(name) => SelUnit::Type { name, id },
                        None => SelUnit::Id(id.expect("identity yields a type or an id")),
                    });
                }
                Some(TokKind::Dot) => {
                    self.pos += 1;
                    units.push(SelUnit::Class(self.expect_ident()?.0));
                }
                Some(TokKind::Hash(_)) => units.push(SelUnit::Id(self.parse_hash_id()?)),
                _ => break,
            }
        }
        if units.is_empty() {
            return Err(self.err("a rule needs a selector"));
        }
        Ok(Selector { units })
    }

    /// The bars — `|type|`, `|type#id|`, or `|#id|` [SPEC 3]: the optional type
    /// and id, at least one present. Shared by an instance and a selector unit;
    /// `ctx` only picks the glued-class error wording.
    fn parse_identity(&mut self, ctx: BarsCtx) -> Result<(Option<String>, Option<String>), Error> {
        // `|-|` is the link selector, not an identity: reachable here only as an
        // instance (a selector peels it first), so it draws nothing [SPEC 9].
        if ctx == BarsCtx::Instance && self.at_link_bars() {
            return Err(self
                .err("a link is drawn by an operator — '|-|' only styles links (write 'a -> b')"));
        }
        self.expect(&TokKind::Pipe, "'|'")?;
        let (ty, id) = match self.kind() {
            // `|#id|` — an id alone, the default box type.
            Some(TokKind::Hash(_)) => (None, Some(self.parse_hash_id()?)),
            Some(TokKind::Ident(_)) => {
                let name = self.expect_ident()?.0;
                if matches!(self.kind(), Some(TokKind::DColon)) {
                    return Err(self.err("a define belongs in the stylesheet"));
                }
                // A glued `#id` after the type (`|box#cat|`).
                let id = if matches!(self.kind(), Some(TokKind::Hash(_))) && self.glued_at(0) {
                    Some(self.parse_hash_id()?)
                } else {
                    None
                };
                // A glued `.class` is worn styling, not identity — rejected.
                if matches!(self.kind(), Some(TokKind::Dot)) && self.glued_at(0) {
                    return Err(self.glued_class_err(ctx));
                }
                (Some(name), id)
            }
            Some(TokKind::Dot) => return Err(self.glued_class_err(ctx)),
            _ => return Err(self.err("'| |' needs a type or an '#id'")),
        };
        if let Some(t) = &ty {
            if t == "link" {
                return Err(self.err("links are drawn by operators, not the '|link|' type"));
            }
            if t == "node" {
                return Err(
                    self.err("'node' is the umbrella concept — write '|block|' for the bare box")
                );
            }
        }
        self.expect(&TokKind::Pipe, "'|'")?;
        Ok((ty, id))
    }

    /// Consume a `#name` token as an id, validating the run is a real ident
    /// (`#cat`, not `#123`).
    fn parse_hash_id(&mut self) -> Result<String, Error> {
        let (run, span) = match self.kind() {
            Some(TokKind::Hash(s)) => (s.clone(), self.span()),
            _ => return Err(self.err("expected an '#id'")),
        };
        if !is_ident(&run) {
            return Err(Error::at(
                span,
                format!("'#{run}' is not a valid id — an id starts with a letter or '_'"),
            ));
        }
        self.pos += 1;
        Ok(run)
    }

    fn glued_class_err(&self, ctx: BarsCtx) -> Error {
        self.err(match ctx {
            BarsCtx::Instance => "a class follows the bars — write '|box| .hot', not '|box.hot|'",
            BarsCtx::Selector => {
                "a selector unit can't glue a type and a class — space them (descendant) or style '.hot'"
            }
        })
    }

    /// `|name::base| { style } [ children ]`.
    fn parse_define(&mut self) -> Result<Define, Error> {
        let start = self.span();
        self.expect(&TokKind::Pipe, "'|'")?;
        let (name, _) = self.expect_ident()?;
        self.expect(&TokKind::DColon, "'::'")?;
        let (base, _) = self.expect_ident()?;
        self.expect(&TokKind::Pipe, "'|'")?;
        let (style, style_span) = self.opt_style()?;
        let (children, links) = self.opt_children()?;
        Ok(Define {
            name,
            base,
            style,
            style_span,
            children,
            links,
            span: Span::new(start.start, self.last_span().end),
        })
    }

    /// An `=` binding [SPEC 10.7]: `name = value` (a scalar) or `name(params) = value`
    /// (a function). The right-hand value is captured as raw text for [`crate::expr`].
    /// The trailing `;` is consumed by the caller's terminator, like a declaration.
    fn parse_binding(&mut self) -> Result<FuncDef, Error> {
        let (name, start) = self.expect_ident()?;
        let mut params = Vec::new();
        if self.eat(&TokKind::LParen) {
            if !matches!(self.kind(), Some(TokKind::RParen)) {
                params.push(self.expect_ident()?.0);
                while self.eat(&TokKind::Comma) {
                    params.push(self.expect_ident()?.0);
                }
            }
            self.expect(&TokKind::RParen, "')'")?;
        }
        self.expect(&TokKind::Assign, "'=' — a binding is 'name = value'")?;
        let body = self.take_binding_body()?;
        Ok(FuncDef {
            name,
            params,
            body,
            span: Span::new(start.start, self.last_span().end),
        })
    }

    /// The right-hand side of a binding: a `(…)` group's inner text (so locals and a
    /// point read as a body), or a bare literal / name / call up to the terminator.
    fn take_binding_body(&mut self) -> Result<String, Error> {
        if matches!(self.kind(), Some(TokKind::LParen)) {
            return self.take_group();
        }
        let start_byte = self.span().start;
        let mut end_byte = start_byte;
        while !matches!(
            self.kind(),
            Some(TokKind::Semi) | Some(TokKind::Newline) | Some(TokKind::RBrace) | None
        ) {
            end_byte = self.span().end;
            self.pos += 1;
        }
        let body = self.src[start_byte..end_byte].trim();
        if body.is_empty() {
            return Err(self.err("a binding needs a value — 'name = value'"));
        }
        Ok(body.to_string())
    }

    // ───────────────────────── Nodes ─────────────────────────

    /// A drawn child [SPEC 3]: a bare string is a text node; anything else is a
    /// box.
    fn parse_child(&mut self) -> Result<Child, Error> {
        if matches!(self.kind(), Some(TokKind::String(_))) {
            Ok(Child::Text(self.parse_text_node()?))
        } else {
            Ok(Child::Box(self.parse_node()?))
        }
    }

    /// A text node `"…"` with an optional `{ … }` style block [SPEC 3] — a `{`
    /// glued-or-spaced right after the string is its own text style; otherwise it
    /// is bare. (Strings are self-delimiting, so a following `"` is the next node.)
    fn parse_text_node(&mut self) -> Result<TextNode, Error> {
        let text = match self.kind() {
            Some(TokKind::String(s)) => s.clone(),
            _ => return Err(self.err("expected a string")),
        };
        let start = self.span();
        self.pos += 1;
        let (style, style_span) = self.opt_style()?;
        Ok(TextNode {
            text,
            style,
            style_span,
            span: Span::new(start.start, self.last_span().end),
        })
    }

    /// A drawn box [SPEC 3]: identity in the bars, then the shared tail (head
    /// label, classes, style), then the `[ ]` children. The smart label rides
    /// `Node.label` and is lowered per type at desugar.
    fn parse_node(&mut self) -> Result<Node, Error> {
        let start = self.span();
        let (ty, id) = self.parse_identity(BarsCtx::Instance)?;
        let Tail {
            label,
            classes,
            style,
            style_span,
        } = self.parse_tail()?;
        let (children, links) = self.opt_children()?;
        Ok(Node {
            id,
            ty,
            label,
            classes,
            style,
            style_span,
            children,
            links,
            span: Span::new(start.start, self.last_span().end),
        })
    }

    /// The class slot — `.name` worn by a node after its type or by a link after
    /// its endpoints [SPEC 3/9]. A `.` glued to an id or endpoint is a path and
    /// never reaches here; what does is the worn-class chain, written `.hot.loud`.
    fn parse_classes(&mut self) -> Result<Vec<String>, Error> {
        let mut classes = Vec::new();
        while self.eat(&TokKind::Dot) {
            classes.push(self.expect_ident()?.0);
        }
        Ok(classes)
    }

    /// Consume an optional `{ }` style block; absent → no decls, no span.
    fn opt_style(&mut self) -> Result<(Vec<Decl>, Option<Span>), Error> {
        if matches!(self.kind(), Some(TokKind::LBrace)) {
            let (decls, span) = self.parse_style()?;
            Ok((decls, Some(span)))
        } else {
            Ok((Vec::new(), None))
        }
    }

    /// `{ decls }` — declarations only. The span covers `{ … }`, for the formatter.
    fn parse_style(&mut self) -> Result<(Vec<Decl>, Span), Error> {
        let start = self.span();
        self.expect(&TokKind::LBrace, "'{'")?;
        self.skip_newlines();
        let mut decls = Vec::new();
        while !matches!(self.kind(), Some(TokKind::RBrace) | None) {
            if matches!(self.kind(), Some(TokKind::Ident(_)))
                && matches!(self.kind_at(1), Some(TokKind::Colon))
            {
                decls.push(self.parse_decl()?);
            } else {
                return Err(self.err("a '{ }' style block holds only declarations"));
            }
            self.terminator()?;
        }
        self.expect(&TokKind::RBrace, "'}'")?;
        Ok((decls, Span::new(start.start, self.last_span().end)))
    }

    /// Consume an optional `[ children ]` block; absent → empty.
    fn opt_children(&mut self) -> Result<(Vec<Child>, Vec<Link>), Error> {
        if matches!(self.kind(), Some(TokKind::LBracket)) {
            self.parse_children()
        } else {
            Ok((Vec::new(), Vec::new()))
        }
    }

    /// `[ children and internal links, in source order ]` [SPEC 3]. They stay in
    /// two lists, each in source order; the interleave is recovered from spans
    /// where it matters (the formatter, the `layout: sequence` time axis).
    fn parse_children(&mut self) -> Result<(Vec<Child>, Vec<Link>), Error> {
        self.expect(&TokKind::LBracket, "'['")?;
        self.skip_newlines();
        let mut children = Vec::new();
        let mut links = Vec::new();
        while !matches!(self.kind(), Some(TokKind::RBracket) | None) {
            match self.classify_body() {
                Kind::Node => children.push(self.parse_child()?),
                Kind::Link => links.push(self.parse_link()?),
                Kind::Decl => return Err(self.err("declarations go in '{ }', not '[ ]'")),
                Kind::Var => {
                    return Err(self.err("variables are declared in the stylesheet '{ }'"));
                }
                _ => {
                    return Err(self.err(
                        "a node leads with bars — write '|box#X|' (a bare name is a link endpoint)",
                    ));
                }
            }
            self.terminator()?;
        }
        self.expect(&TokKind::RBracket, "']'")?;
        Ok((children, links))
    }

    /// The shared head tail after the bars (a node) or the endpoints (a link),
    /// [SPEC 3/9]: an optional one-string **head label**, then worn **classes**,
    /// then the head's own **style** block — in that order. The `[ ]` content
    /// (children for a node, labels for a link) is parsed by the caller. The head
    /// label carries no style of its own — a `{ }` after it is the node's / link's
    /// block — so a styled label rides the `[ ]` (`[ "…" { … } ]`).
    fn parse_tail(&mut self) -> Result<Tail, Error> {
        let label = if let Some(TokKind::String(s)) = self.kind() {
            let text = s.clone();
            let span = self.span();
            self.pos += 1;
            if matches!(self.kind(), Some(TokKind::String(_))) {
                return Err(self.err("one inline label — put two or more in a '[ ]'"));
            }
            Some(TextNode {
                text,
                style: Vec::new(),
                style_span: None,
                span,
            })
        } else {
            None
        };
        let classes = self.parse_classes()?;
        let (style, style_span) = self.opt_style()?;
        // The label / class slots precede the style block (label → classes →
        // style); a string or `.` after it is out of order.
        if matches!(self.kind(), Some(TokKind::String(_))) {
            return Err(self.err("a label comes before classes — write '|box| \"X\" .hot'"));
        }
        if matches!(self.kind(), Some(TokKind::Dot)) {
            return Err(self.err("a class comes before the style block — write '|box| .hot { … }'"));
        }
        Ok(Tail {
            label,
            classes,
            style,
            style_span,
        })
    }

    /// A link's `[ "label"… ]` content block [SPEC 9] — labels are styleable
    /// text leaves, newline-separated; the canonical form of the trailing sugar.
    fn parse_label_block(&mut self) -> Result<Vec<TextNode>, Error> {
        self.expect(&TokKind::LBracket, "'['")?;
        self.skip_newlines();
        let mut labels = Vec::new();
        while matches!(self.kind(), Some(TokKind::String(_))) {
            labels.push(self.parse_text_node()?);
            self.skip_newlines();
        }
        if !matches!(self.kind(), Some(TokKind::RBracket)) {
            return Err(self.err("a link's '[ ]' holds only labels (text)"));
        }
        self.pos += 1; // ']'
        Ok(labels)
    }

    // ───────────────────────── Links ─────────────────────────

    fn parse_link(&mut self) -> Result<Link, Error> {
        let start = self.span();
        let mut chain = vec![self.parse_endpoint_group()?];
        let op = self.expect_chain_op()?;
        // A statement may be one-ended — a leader or a unary measure toward its
        // text [SPEC 15.6/21]: after the op, an ident is an endpoint; anything
        // else is the tail. Which ops (and scopes) allow it is resolve's call.
        if matches!(self.kind(), Some(TokKind::Ident(_))) {
            chain.push(self.parse_endpoint_group()?);
            while let Some((next, width)) = self.peek_chain_op() {
                if next != op {
                    return Err(self.err(format!(
                        "link chain mixes operators '{}' and '{}'",
                        op.spelling(),
                        next.spelling()
                    )));
                }
                self.pos += width;
                if !matches!(self.kind(), Some(TokKind::Ident(_))) {
                    return Err(self.err("a text callout ends its statement — chain before it"));
                }
                chain.push(self.parse_endpoint_group()?);
            }
        }
        // The same tail a node uses: a head label, worn classes, the link's own
        // style. The head label and the `[ ]` labels coexist — desugar
        // concatenates them for `along:` [SPEC 9].
        let Tail {
            label,
            classes,
            style,
            style_span,
        } = self.parse_tail()?;
        let labels = if matches!(self.kind(), Some(TokKind::LBracket)) {
            self.parse_label_block()?
        } else {
            Vec::new()
        };
        Ok(Link {
            chain,
            op,
            classes,
            style,
            style_span,
            label,
            labels,
            span: Span::new(start.start, self.last_span().end),
        })
    }

    fn parse_endpoint_group(&mut self) -> Result<EndpointGroup, Error> {
        let mut endpoints = vec![self.parse_endpoint()?];
        while self.eat(&TokKind::Amp) {
            endpoints.push(self.parse_endpoint()?);
        }
        Ok(EndpointGroup { endpoints })
    }

    fn parse_endpoint(&mut self) -> Result<Endpoint, Error> {
        let (first, first_span) = self.expect_ident()?;
        let mut path = vec![first];
        let mut end = first_span;
        while matches!(self.kind(), Some(TokKind::Dot)) && self.glued_at(0) {
            self.pos += 1; // '.'
            if !self.glued_at(0) {
                return Err(self.err("endpoint '.' must have no whitespace after it"));
            }
            let (seg, seg_span) = self.expect_ident()?;
            path.push(seg);
            end = seg_span;
        }
        // A trailing `:point` names an anchor [SPEC 9, 15.2] — a side everywhere,
        // the wider set (corners, `center`, authored names) in a drawing scope;
        // resolve validates it there. The path no longer peels a final `.left` —
        // that is now a child named `left`.
        let point = if self.eat(&TokKind::Colon) {
            let (name, name_span) = self.expect_ident()?;
            end = name_span;
            Some(PointRef {
                name,
                span: name_span,
            })
        } else {
            None
        };
        Ok(Endpoint {
            path,
            point,
            span: Span::new(first_span.start, end.end),
        })
    }

    /// The chain op at the cursor (and its token width — `||` spans two), as an
    /// owned copy so a loop over it doesn't hold a borrow of `self`.
    fn peek_chain_op(&self) -> Option<(ChainOp, usize)> {
        match self.kind() {
            Some(TokKind::LinkOp(op)) => Some((ChainOp::Wire(*op), 1)),
            Some(TokKind::DrawOp(d)) => Some((ChainOp::Measure(*d), 1)),
            Some(TokKind::Pipe) if self.pipes_glued_at(0) => Some((ChainOp::Mate, 2)),
            _ => None,
        }
    }

    fn expect_chain_op(&mut self) -> Result<ChainOp, Error> {
        match self.peek_chain_op() {
            Some((op, width)) => {
                self.pos += width;
                Ok(op)
            }
            None => Err(self.err("expected a link operator")),
        }
    }
}

/// Which bars are being parsed — picks the glued-class error wording, and gates
/// the `|-|`-as-instance rejection [SPEC 9].
#[derive(Clone, Copy, PartialEq)]
enum BarsCtx {
    Instance,
    Selector,
}

/// A valid id / ident: starts with a letter or `_`, then ident chars.
fn is_ident(s: &str) -> bool {
    let mut bytes = s.bytes();
    matches!(bytes.next(), Some(c) if c.is_ascii_alphabetic() || c == b'_')
        && bytes.all(|c| c.is_ascii_alphanumeric() || c == b'_' || c == b'-')
}

/// A valid hex colour run (no `#`): 3, 4, 6, or 8 hex digits.
fn is_hex_color(s: &str) -> bool {
    matches!(s.len(), 3 | 4 | 6 | 8) && s.bytes().all(|b| b.is_ascii_hexdigit())
}

/// A math-operator token — the tell that a value or call argument is an expression
/// [SPEC 10.7], so the parser keeps its raw source for [`crate::expr`].
fn is_math_op(k: &TokKind) -> bool {
    matches!(
        k,
        TokKind::Plus
            | TokKind::Minus
            | TokKind::Star
            | TokKind::Slash
            | TokKind::Caret
            | TokKind::Lt
            | TokKind::Le
            | TokKind::Gt
            | TokKind::Ge
            | TokKind::EqEq
            | TokKind::Ne
            | TokKind::Question
            | TokKind::Assign
    )
}

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

    fn parse_ok(src: &str) -> File {
        let tokens = crate::lexer::lex(src).expect("lex");
        parse(src, &tokens).expect("parse")
    }

    fn parse_err(src: &str) -> String {
        let tokens = crate::lexer::lex(src).expect("lex");
        match parse(src, &tokens) {
            Ok(_) => panic!("expected a parse error for: {src}"),
            Err(e) => e.message,
        }
    }

    /// The i-th top-level instance as a box, panicking if it is bare text.
    fn instance(f: &File, i: usize) -> &Node {
        match &f.instances[i] {
            Child::Box(n) => n,
            Child::Text(_) => panic!("instance {i} is text, not a box"),
        }
    }

    fn label(n: &Node) -> Option<&str> {
        n.label.as_ref().map(|t| t.text.as_str())
    }

    // ── Identity in the bars ──

    #[test]
    fn identity_type_and_id_in_bars() {
        let f = parse_ok("|box#server|\n");
        let n = instance(&f, 0);
        assert_eq!(n.ty.as_deref(), Some("box"));
        assert_eq!(n.id.as_deref(), Some("server"));
        assert_eq!(label(n), None);
    }

    #[test]
    fn id_only_bars_default_box() {
        let f = parse_ok("|#cat|\n");
        let n = instance(&f, 0);
        assert_eq!(n.ty, None);
        assert_eq!(n.id.as_deref(), Some("cat"));
    }

    #[test]
    fn anonymous_labelled_box() {
        let f = parse_ok("|box| \"Load balancer\"\n");
        let n = instance(&f, 0);
        assert_eq!(n.ty.as_deref(), Some("box"));
        assert_eq!(n.id, None);
        assert_eq!(label(n), Some("Load balancer"));
    }

    #[test]
    fn full_node_head_label_classes_style_child() {
        let f = parse_ok("|box#cat| \"Cat\" .hot.loud { fill: red } [ |badge| \"x\" ]\n");
        let n = instance(&f, 0);
        assert_eq!(n.id.as_deref(), Some("cat"));
        assert_eq!(label(n), Some("Cat"));
        assert_eq!(n.classes, vec!["hot", "loud"]);
        assert_eq!(n.style.len(), 1);
        assert_eq!(n.children.len(), 1);
        assert!(matches!(&n.children[0], Child::Box(b) if b.ty.as_deref() == Some("badge")));
    }

    #[test]
    fn empty_string_label_is_kept() {
        let f = parse_ok("|box#cat| \"\"\n");
        assert_eq!(label(instance(&f, 0)), Some(""));
    }

    #[test]
    fn head_label_may_carry_the_nodes_own_style() {
        // `{ }` after the head label is the node's block, not the label's [SPEC 3].
        let f = parse_ok("|box#api| \"API\" { fill: red }\n");
        let n = instance(&f, 0);
        assert_eq!(label(n), Some("API"));
        assert_eq!(n.style.len(), 1);
    }

    #[test]
    fn label_and_bracket_content_coexist() {
        let f = parse_ok("|group#k| \"Kitchen\" [ |box#bowl| \"Bowl\" ]\n");
        let n = instance(&f, 0);
        assert_eq!(label(n), Some("Kitchen"));
        assert_eq!(n.children.len(), 1);
    }

    // ── Tail-order errors ──

    #[test]
    fn two_head_labels_error() {
        assert!(parse_err("|box#cat| \"a\" \"b\"\n").contains("one inline label"));
    }

    #[test]
    fn label_after_a_class_errors() {
        assert!(parse_err("|box#cat| .hot \"Cat\"\n").contains("comes before classes"));
    }

    #[test]
    fn class_in_the_bars_errors() {
        for src in ["|box.hot|\n", "|.hot|\n"] {
            assert!(parse_err(src).contains("follows the bars"), "{src}");
        }
        parse_ok("|box| .hot\n"); // the class follows the bars
    }

    #[test]
    fn empty_bars_error() {
        for src in ["| |\n", "||\n"] {
            assert!(parse_err(src).contains("needs a type or an '#id'"), "{src}");
        }
    }

    #[test]
    fn invalid_id_errors() {
        assert!(parse_err("|box#123|\n").contains("not a valid id"));
    }

    // ── Selectors ──

    #[test]
    fn selector_units() {
        let f = parse_ok(
            "{\n  |box| { radius: 4; }\n  .hot { stroke-width: 2; }\n  #hero { fill: gold; }\n  |table| |box| { stroke-width: 0; }\n  .sidebar |box| { fill: gray; }\n  |table#main| |box| { fill: white; }\n}\n",
        );
        let rule = |i: usize| match &f.stylesheet[i] {
            StyleItem::Rule(r) => &r.selector.units,
            _ => panic!("rule {i}"),
        };
        assert!(matches!(rule(0).as_slice(), [SelUnit::Type { name, id: None }] if name == "box"));
        assert!(matches!(rule(1).as_slice(), [SelUnit::Class(c)] if c == "hot"));
        assert!(matches!(rule(2).as_slice(), [SelUnit::Id(i)] if i == "hero"));
        assert_eq!(rule(3).len(), 2);
        assert!(matches!(rule(4)[0], SelUnit::Class(_)));
        assert!(
            matches!(&rule(5)[0], SelUnit::Type { name, id: Some(id) } if name == "main" || id == "main")
        );
    }

    #[test]
    fn dimension_and_link_selectors() {
        let f = parse_ok("{\n  |-| { stroke: gray; }\n  (-) { stroke: blue; }\n}\n");
        let rule = |i: usize| match &f.stylesheet[i] {
            StyleItem::Rule(r) => &r.selector.units,
            _ => panic!("rule {i}"),
        };
        assert!(matches!(rule(0).as_slice(), [SelUnit::Link]));
        assert!(matches!(rule(1).as_slice(), [SelUnit::Dimension]));
        // Per-kind dimension selectors `(o)` / `(<)` are deferred [SPEC 23].
        assert!(parse_err("{\n  (o) { stroke: red; }\n}\n").contains("deferred"));
    }

    #[test]
    fn compound_selector_unit_errors() {
        assert!(parse_err("{\n  |box.hot| { fill: red; }\n}\n").contains("can't glue"));
    }

    #[test]
    fn bare_type_rule_errors() {
        assert!(parse_err("{\n  box { radius: 4; }\n}\n").contains("only appears in bars"));
    }

    #[test]
    fn define_in_stylesheet() {
        let f = parse_ok("{\n  |treat::box| { radius: 5; }\n}\n|treat#x|\n");
        match &f.stylesheet[0] {
            StyleItem::Define(d) => {
                assert_eq!(d.name, "treat");
                assert_eq!(d.base, "box");
            }
            _ => panic!("expected a define"),
        }
        assert_eq!(instance(&f, 0).ty.as_deref(), Some("treat"));
    }

    #[test]
    fn define_with_intrinsic_children() {
        let f = parse_ok(
            "{\n  |room::group| {\n    gap: 4;\n  } [\n    |box#inlet|\n    |box#outlet|\n    inlet -> outlet\n  ]\n}\n",
        );
        match &f.stylesheet[0] {
            StyleItem::Define(d) => {
                assert_eq!(d.children.len(), 2);
                assert_eq!(d.links.len(), 1);
                assert_eq!(d.style.len(), 1);
            }
            _ => panic!("expected a define"),
        }
    }

    // ── Links ──

    #[test]
    fn quickstart_three_box_chain() {
        let f = parse_ok("cat -> dog -> bird\n");
        assert!(f.stylesheet.is_empty() && f.instances.is_empty());
        assert_eq!(f.links.len(), 1);
        assert_eq!(f.links[0].chain.len(), 3);
    }

    fn point_of(ep: &Endpoint) -> Option<&str> {
        ep.point.as_ref().map(|p| p.name.as_str())
    }

    fn wire_line(f: &File) -> crate::ast::LineStyle {
        match f.links[0].op {
            ChainOp::Wire(op) => op.line,
            other => panic!("expected a wire op, got {other:?}"),
        }
    }

    #[test]
    fn link_with_sides_label_class_style() {
        let f = parse_ok("a:left -> b:top \"watches\" .loud { along: 0.5 }\n");
        let w = &f.links[0];
        assert_eq!(point_of(&w.chain[0].endpoints[0]), Some("left"));
        assert_eq!(point_of(&w.chain[1].endpoints[0]), Some("top"));
        assert_eq!(w.label.as_ref().map(|t| t.text.as_str()), Some("watches"));
        assert_eq!(w.classes, vec!["loud"]);
        assert_eq!(w.style.len(), 1);
    }

    #[test]
    fn link_line_styles() {
        assert_eq!(
            wire_line(&parse_ok("a -> b\n")),
            crate::ast::LineStyle::Solid
        );
        assert_eq!(
            wire_line(&parse_ok("a --> b\n")),
            crate::ast::LineStyle::Dashed
        );
        assert_eq!(
            wire_line(&parse_ok("a ---> b\n")),
            crate::ast::LineStyle::Dotted
        );
        assert_eq!(
            wire_line(&parse_ok("a ~> b\n")),
            crate::ast::LineStyle::Wavy
        );
    }

    #[test]
    fn fan_and_class_on_link() {
        let f = parse_ok("a & b -> c & d .loud\n");
        let w = &f.links[0];
        assert_eq!(w.chain[0].endpoints.len(), 2);
        assert_eq!(w.chain[1].endpoints.len(), 2);
        assert_eq!(w.classes, vec!["loud"]);
    }

    #[test]
    fn link_head_label_and_bracket_labels_coexist() {
        let f = parse_ok("a -> b \"x\" [ \"y\" ]\n");
        let w = &f.links[0];
        assert_eq!(w.label.as_ref().map(|t| t.text.as_str()), Some("x"));
        assert_eq!(w.labels.len(), 1);
    }

    #[test]
    fn link_two_bracket_labels() {
        let f = parse_ok("a -> b [ \"x\" \"y\" ]\n");
        assert_eq!(f.links[0].labels.len(), 2);
        assert_eq!(f.links[0].labels[0].text, "x");
    }

    #[test]
    fn two_head_labels_on_a_link_error() {
        assert!(parse_err("a -> b \"x\" \"y\"\n").contains("one inline label"));
    }

    #[test]
    fn dotpath_endpoint_and_forced_side() {
        let f = parse_ok("cat:right -> kitchen.counter.bowl:left\n");
        let w = &f.links[0];
        assert_eq!(w.chain[0].endpoints[0].path, vec!["cat"]);
        assert_eq!(point_of(&w.chain[0].endpoints[0]), Some("right"));
        assert_eq!(
            w.chain[1].endpoints[0].path,
            vec!["kitchen", "counter", "bowl"]
        );
        assert_eq!(point_of(&w.chain[1].endpoints[0]), Some("left"));
    }

    #[test]
    fn endpoint_point_is_raw_at_parse() {
        // The wider point set [SPEC 15.2] is resolve's call, per scope — the
        // parser stores the raw name (`:middle` errors there, not here).
        let f = parse_ok("a:middle -> b:top-left\n");
        assert_eq!(point_of(&f.links[0].chain[0].endpoints[0]), Some("middle"));
        assert_eq!(
            point_of(&f.links[0].chain[1].endpoints[0]),
            Some("top-left")
        );
    }

    #[test]
    fn measuring_ops_parse_one_ended_and_binary() {
        // `pin (o)` — a unary round measure toward its tail [SPEC 15.6/21]
        // (the parser accepts unary; resolve gates arity per op).
        let f = parse_ok("pin (o)\n");
        assert_eq!(f.links[0].chain.len(), 1);
        assert_eq!(f.links[0].op, ChainOp::Measure(crate::ast::DrawOp::Round));
        // `(-)` binary — the linear span between two anchors.
        let f = parse_ok("a:left (-) b:right\n");
        assert_eq!(f.links[0].chain.len(), 2);
        assert_eq!(f.links[0].op, ChainOp::Measure(crate::ast::DrawOp::Linear));
        // `(<)` binary — two line-like anchors.
        let f = parse_ok("body:flank (<) body:base\n");
        assert_eq!(f.links[0].chain.len(), 2);
        assert_eq!(f.links[0].op, ChainOp::Measure(crate::ast::DrawOp::Angle));
        // One-ended with a tail label.
        let f = parse_ok("bolt <- \"THRU\"\n");
        assert_eq!(f.links[0].chain.len(), 1);
        assert_eq!(
            f.links[0].label.as_ref().map(|t| t.text.as_str()),
            Some("THRU")
        );
    }

    #[test]
    fn mate_is_two_adjacent_pipes_at_op_position() {
        let f = parse_ok("nozzle:left || barrel:right { gap: 4 }\n");
        assert_eq!(f.links[0].op, ChainOp::Mate);
        assert_eq!(f.links[0].chain.len(), 2);
        // Spaced pipes are not a mate — `a | b` stays an invalid statement.
        assert!(!parse_err("a | | b\n").is_empty());
    }

    #[test]
    fn chain_past_a_label_errors() {
        assert!(parse_err("a <- b <- \"x\"\n").contains("a text callout ends its statement"));
    }

    #[test]
    fn pen_items_parse_only_in_draw() {
        let f = parse_ok("|sketch#s| { draw: move(-80, 0) right(50):seat point():m1 close(); }\n");
        let draw = &instance(&f, 0).style[0];
        assert_eq!(draw.name, "draw");
        let items = &draw.groups[0];
        assert!(matches!(&items[0], Value::Call(c) if c.name == "move"));
        assert!(matches!(&items[1], Value::NamedCall(c, n) if c.name == "right" && n == "seat"));
        assert!(matches!(&items[2], Value::NamedCall(c, n) if c.name == "point" && n == "m1"));
        assert!(matches!(&items[3], Value::Call(c) if c.name == "close"));
        // Outside a draw:, a freestanding `:` keeps the runaway-decl diagnostic.
        assert!(parse_err("|box| { padding: :x }\n").contains("a declaration ends with ';'"));
    }

    #[test]
    fn a_floating_segment_errors() {
        // One space must never flip meaning [SPEC 15.3]: a `:segment` glues to
        // its call; a station is `point():v`.
        assert!(
            parse_err("|sketch#s| { draw: move(0, 0) right(12) :v down(5); }\n")
                .contains("a ':segment' glues to its call — name a station with point():v")
        );
    }

    #[test]
    fn call_arg_space_group() {
        // `hatch(45 -45, 6)` — one slot holding a space-group [SPEC 10.3].
        let f = parse_ok("|box| { fill: hatch(45 -45, 6) }\n");
        let fill = &instance(&f, 0).style[0];
        let Value::Call(c) = &fill.groups[0][0] else {
            panic!("expected a call");
        };
        assert!(matches!(&c.args[0], Value::Group(g) if g.len() == 2));
        assert!(matches!(&c.args[1], Value::Number(n) if *n == 6.0));
    }

    #[test]
    fn mixed_operators_error() {
        assert!(parse_err("a -> b -- c\n").contains("mixes operators"));
    }

    // ── Statement classification ──

    #[test]
    fn bare_name_on_canvas_errors() {
        assert!(parse_err("cat\n").contains("leads with bars"));
    }

    #[test]
    fn bare_string_is_a_text_node() {
        let f = parse_ok("\"a\" \"b\" \"c\"\n");
        assert_eq!(f.instances.len(), 3);
        assert!(f.instances.iter().all(|c| matches!(c, Child::Text(_))));
    }

    #[test]
    fn text_node_takes_a_style_block() {
        let f = parse_ok("\"hi\" { color: red; translate: 0 -6 }\n\"plain\"\n");
        match &f.instances[0] {
            Child::Text(t) => assert_eq!(t.style.len(), 2),
            _ => panic!("styled text"),
        }
        match &f.instances[1] {
            Child::Text(t) => assert!(t.style.is_empty()),
            _ => panic!("bare text"),
        }
    }

    #[test]
    fn three_phases() {
        let f = parse_ok(
            "{\n  layout: grid;\n  |box| { radius: 6; }\n  .hot { stroke-width: 2; }\n}\n\
             |box#server|\n|box#client|\nserver -> client \"requests\"\n",
        );
        assert_eq!(f.stylesheet.len(), 3);
        assert_eq!(f.instances.len(), 2);
        assert_eq!(f.links.len(), 1);
    }

    #[test]
    fn stylesheet_is_optional() {
        let f = parse_ok("|box#server|\nserver -> server\n");
        assert!(f.stylesheet.is_empty());
        assert_eq!(f.instances.len(), 1);
    }

    // ── Values ──

    #[test]
    fn hex_value_validates() {
        let f = parse_ok("|box#x| { fill: #f80; stroke: #ffaa00cc }\n");
        let n = instance(&f, 0);
        assert!(matches!(&n.style[0].groups[0][0], Value::Hex(h) if h == "f80"));
        assert!(parse_err("|box#x| { fill: #zz }\n").contains("invalid hex color"));
    }

    #[test]
    fn call_and_var_values() {
        let f = parse_ok(
            "{\n  columns: repeat(3);\n  --brand: #ff6600;\n}\n|box#card| { fill: --brand; columns: 80 repeat(2, 40) }\n",
        );
        match &f.stylesheet[0] {
            StyleItem::RootDecl(d) => {
                assert!(matches!(&d.groups[0][0], Value::Call(c) if c.name == "repeat"))
            }
            _ => panic!(),
        }
        match &f.stylesheet[1] {
            StyleItem::Var(d) => assert_eq!(d.name, "brand"),
            _ => panic!(),
        }
    }

    #[test]
    fn value_groups_space_and_comma() {
        let f = parse_ok("|line#x| { points: 0 0, 10 10, 20 0; translate: 100 50 }\n");
        let points = instance(&f, 0)
            .style
            .iter()
            .find(|d| d.name == "points")
            .unwrap();
        assert_eq!(points.groups.len(), 3);
        assert_eq!(points.groups[0].len(), 2);
    }

    #[test]
    fn groups_and_expr_args_capture_raw() {
        let f = parse_ok("|box#a| { padding: (8 * 2); width: gain(5 * r, 10) }\n");
        let n = instance(&f, 0);
        // A free-standing `(…)` group keeps its inner text, outer parens stripped.
        assert!(matches!(&n.style[0].groups[0][0], Value::Expr(s) if s == "8 * 2"));
        // A call keeps an operator-bearing argument raw; a plain argument stays a value.
        match &n.style[1].groups[0][0] {
            Value::Call(c) => {
                assert_eq!(c.name, "gain");
                assert!(matches!(&c.args[0], Value::Expr(s) if s == "5 * r"));
                assert!(matches!(&c.args[1], Value::Number(v) if *v == 10.0));
            }
            other => panic!("expected a call, got {other:?}"),
        }
    }

    // ── Phase / context errors ──

    #[test]
    fn stylesheet_after_instance_errors() {
        assert!(parse_err("|box#x|\n{\n  |box| { radius: 4; }\n}\n").contains("must come first"));
    }

    #[test]
    fn instances_and_links_interleave_at_root() {
        // [SPEC 3]: nodes and links interleave in source order (a `layout: sequence`
        // reads that order as time) — a node after a link is no longer an error.
        let f = parse_ok("a -> b\n|box#c|\n");
        assert_eq!(f.instances.len(), 1, "the |box#c| instance");
        assert_eq!(f.links.len(), 1, "the a -> b link");
    }

    #[test]
    fn link_as_instance_errors() {
        assert!(parse_err("|link|\n").contains("drawn by operators"));
    }

    #[test]
    fn node_type_as_instance_errors() {
        assert!(parse_err("|node|\n").contains("umbrella"));
    }

    #[test]
    fn link_defaults_block_is_rejected() {
        assert!(parse_err("{\n  -> { stroke: #666; }\n}\na -> b\n").contains("draws a link"));
    }

    #[test]
    fn decl_in_children_errors() {
        assert!(parse_err("|group#g| [\n  gap: 4\n]\n").contains("go in '{ }'"));
    }

    #[test]
    fn body_children_and_links_interleave() {
        // A child may follow an internal link in a body [SPEC 3].
        let f = parse_ok("|group#g| [\n  |box#a|\n  a -> a\n  |box#b|\n]\n");
        let Child::Box(g) = &f.instances[0] else {
            panic!("group node");
        };
        assert_eq!(g.children.len(), 2, "boxes a and b");
        assert_eq!(g.links.len(), 1, "the a -> a link");
    }

    #[test]
    fn empty_declaration_errors() {
        assert!(parse_err("|box#a| { gap: }\n").contains("needs a value"));
    }

    #[test]
    fn a_missing_declaration_semicolon_errors() {
        assert!(parse_err("|box#a| { radius: 6 stroke: 2 }\n").contains("ends with ';'"));
    }

    // ── Expressions & functions [SPEC 10.7] ──

    #[test]
    fn binding_and_expr_values() {
        let f = parse_ok(
            "{ scale(n) = (100 * 1.2 ^ n); my_r = 5; }\n|box#a| { width: scale(3); padding: (8 * 2) }\n",
        );
        match &f.stylesheet[0] {
            StyleItem::Func(fd) => {
                assert_eq!(fd.name, "scale");
                assert_eq!(fd.params, vec!["n"]);
                assert!(fd.body.contains("1.2"));
            }
            _ => panic!("expected a binding"),
        }
        // A scalar binding is a zero-parameter `FuncDef` [SPEC 10.7].
        match &f.stylesheet[1] {
            StyleItem::Func(fd) => {
                assert_eq!(fd.name, "my_r");
                assert!(fd.params.is_empty());
                assert_eq!(fd.body, "5");
            }
            _ => panic!("expected a scalar binding"),
        }
        let n = instance(&f, 0);
        assert!(matches!(&n.style[0].groups[0][0], Value::Call(c) if c.name == "scale"));
        assert!(matches!(&n.style[1].groups[0][0], Value::Expr(s) if s.contains('8')));
    }

    #[test]
    fn a_declaration_value_spans_lines_until_semicolon() {
        // Newlines inside a value are whitespace; the value runs to `;` [SPEC 2/3].
        let f = parse_ok("|line#x| { points: 0 0,\n  10 10,\n  20 0; }\n");
        let points = instance(&f, 0)
            .style
            .iter()
            .find(|d| d.name == "points")
            .unwrap();
        assert_eq!(points.groups.len(), 3);
    }
}