yaml_edit/

yaml.rs

//! Lossless YAML parser and editor.

use crate::{
    error_recovery::{ErrorBuilder, ErrorRecoveryContext, ParseContext, RecoveryStrategy},
    lex::{lex, SyntaxKind},
    parse::Parse,
    ParseErrorKind, PositionedParseError,
};
use rowan::ast::AstNode;
use rowan::GreenNodeBuilder;
use std::path::Path;
use std::str::FromStr;

/// The raw result of parsing a YAML file, before it is wrapped in a [`YamlFile`] node.
///
/// Contains the green CST root and any errors encountered during parsing.
/// Most callers should use [`YamlFile::parse`] instead, which returns a [`Parse<YamlFile>`]
/// wrapper with the same information in a more ergonomic form.
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub(crate) struct ParsedYaml {
    /// The immutable green-tree root produced by the parser.
    pub(crate) green_node: rowan::GreenNode,
    /// Human-readable error messages for syntax errors encountered during parsing.
    pub(crate) errors: Vec<String>,
    /// Structured parse errors with source positions.
    pub(crate) positioned_errors: Vec<PositionedParseError>,
}

// Import Lang, SyntaxNode, and ast_node! macro from nodes module
use crate::nodes::ast_node;
pub use crate::nodes::{Lang, SyntaxNode};

// Re-export extracted AST nodes from nodes module
pub use crate::nodes::{
    Alias, Comment, Directive, Document, Mapping, MappingEntry, Scalar, ScalarConversionError,
    Sequence, TaggedNode,
};

ast_node!(
    YamlFile,
    ROOT,
    "A YAML file containing one or more documents"
);

impl YamlFile {
    /// Capture an independent snapshot of this YAML file.
    ///
    /// The returned value shares the underlying immutable green-node data
    /// with `self` at the time of the call, but lives in its own mutable
    /// tree: subsequent mutations to `self` do not propagate to the snapshot.
    /// Pair with [`Self::tree_eq`] to detect later mutations.
    pub fn snapshot(&self) -> Self {
        YamlFile(SyntaxNode::new_root_mut(self.0.green().into_owned()))
    }

    /// Returns true iff the syntax trees of `self` and `other` are
    /// value-equal. An O(1) pointer-identity fast path makes this free for
    /// trees that still share state with a recent `snapshot()`.
    pub fn tree_eq(&self, other: &Self) -> bool {
        let a = self.0.green();
        let b = other.0.green();
        let a_ref: &rowan::GreenNodeData = &a;
        let b_ref: &rowan::GreenNodeData = &b;
        std::ptr::eq(a_ref as *const _, b_ref as *const _) || a_ref == b_ref
    }
}

/// Trait for value nodes (Mapping, Sequence, Scalar) with inline detection
pub trait ValueNode: rowan::ast::AstNode<Language = Lang> {
    /// Returns whether this value should be rendered inline
    fn is_inline(&self) -> bool;
}

impl ValueNode for Mapping {
    fn is_inline(&self) -> bool {
        // Check if this is a flow-style mapping (empty or has braces)
        if self.0.children_with_tokens().any(|c| {
            c.as_token()
                .map(|t| t.kind() == SyntaxKind::LEFT_BRACE || t.kind() == SyntaxKind::RIGHT_BRACE)
                .unwrap_or(false)
        }) {
            return true;
        }
        false
    }
}

impl ValueNode for Sequence {
    fn is_inline(&self) -> bool {
        // Check if this is a flow-style sequence (has brackets)
        if self.0.children_with_tokens().any(|c| {
            c.as_token()
                .map(|t| {
                    t.kind() == SyntaxKind::LEFT_BRACKET || t.kind() == SyntaxKind::RIGHT_BRACKET
                })
                .unwrap_or(false)
        }) {
            return true;
        }
        false
    }
}

impl ValueNode for Scalar {
    fn is_inline(&self) -> bool {
        // Block scalars (literal `|` and folded `>`) span multiple lines
        // starting on a NEW line after their indicator, so they don't
        // render inline. Everything else — plain, quoted, tagged scalars —
        // sits on the same line as its key.
        !self
            .0
            .children_with_tokens()
            .any(|c| matches!(c.kind(), SyntaxKind::PIPE | SyntaxKind::GREATER))
    }
}

impl ValueNode for TaggedNode {
    fn is_inline(&self) -> bool {
        // A tagged node is inline iff the value it wraps is inline. Look
        // for the first NEWLINE inside; if it appears before the wrapped
        // node, the value sits on the next line (block form).
        let mut seen_newline = false;
        for child in self.0.children_with_tokens() {
            match child {
                rowan::NodeOrToken::Token(t) if t.kind() == SyntaxKind::NEWLINE => {
                    seen_newline = true;
                }
                rowan::NodeOrToken::Node(n) => {
                    if seen_newline {
                        return false;
                    }
                    return match n.kind() {
                        SyntaxKind::MAPPING => Mapping::cast(n).is_some_and(|m| m.is_inline()),
                        SyntaxKind::SEQUENCE => Sequence::cast(n).is_some_and(|s| s.is_inline()),
                        SyntaxKind::SCALAR => Scalar::cast(n).is_some_and(|s| s.is_inline()),
                        _ => true,
                    };
                }
                _ => {}
            }
        }
        true
    }
}

// Helper functions for newline management

/// Check if a syntax node ends with a newline token
pub(crate) fn ends_with_newline(node: &SyntaxNode) -> bool {
    node.last_token()
        .map(|t| t.kind() == SyntaxKind::NEWLINE)
        .unwrap_or(false)
}

/// Create a newline token and add it to the elements vector
pub(crate) fn add_newline_token(
    elements: &mut Vec<rowan::NodeOrToken<rowan::SyntaxNode<Lang>, rowan::SyntaxToken<Lang>>>,
) {
    let mut nl_builder = rowan::GreenNodeBuilder::new();
    nl_builder.start_node(SyntaxKind::ROOT.into());
    nl_builder.token(SyntaxKind::NEWLINE.into(), "\n");
    nl_builder.finish_node();
    let nl_node = SyntaxNode::new_root_mut(nl_builder.finish());
    if let Some(token) = nl_node.first_token() {
        elements.push(token.into());
    }
}

/// A virtual AST node for YAML sets (!!set tagged scalars)
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub struct Set(SyntaxNode);

impl Set {
    /// Cast a SyntaxNode to a Set only if it's a TAGGED_NODE with !!set tag
    pub fn cast(node: SyntaxNode) -> Option<Self> {
        if node.kind() == SyntaxKind::TAGGED_NODE {
            if let Some(tagged_node) = TaggedNode::cast(node.clone()) {
                if tagged_node.tag().as_deref() == Some("!!set") {
                    return Some(Set(node));
                }
            }
        }
        None
    }

    /// Return the inner `Mapping` of this set (the !!set body).
    fn inner_mapping(&self) -> Option<Mapping> {
        self.0.children().find_map(Mapping::cast)
    }

    /// Iterate over the set members, preserving formatting.
    ///
    /// Each member is yielded as a [`YamlNode`](crate::YamlNode) wrapping the
    /// key content node (the scalar, mapping, or sequence that forms the set
    /// member). The iteration order follows the document order.
    ///
    /// To compare members semantically (ignoring quoting style), use
    /// [`yaml_eq`](crate::yaml_eq) on the returned nodes.
    ///
    /// Note: `!!set` entries appear in two CST layouts: explicit-key `? item`
    /// (KEY/VALUE as direct MAPPING children) and implicit `item: null`
    /// (KEY/VALUE inside MAPPING_ENTRY). Both are handled.
    pub fn members(&self) -> impl Iterator<Item = crate::as_yaml::YamlNode> + '_ {
        // Sets are `!!set` tagged scalars whose body is a mapping where each
        // key is a set member and values are null.
        //
        // Two CST layouts arise in practice:
        //
        // 1. Explicit-key notation (`? apple`): KEY and VALUE appear as direct
        //    children of the MAPPING node (no MAPPING_ENTRY wrapper).
        //
        // 2. Implicit-key notation (`apple: null`): KEY and VALUE are wrapped
        //    inside MAPPING_ENTRY children of the MAPPING node.
        //
        // We detect which layout is in use by checking for MAPPING_ENTRY
        // children first, then falling back to bare KEY children.
        self.inner_mapping().into_iter().flat_map(|m| {
            let mapping_node = m.syntax().clone();
            let has_entries = mapping_node
                .children()
                .any(|n| n.kind() == SyntaxKind::MAPPING_ENTRY);

            if has_entries {
                // Layout 2: MAPPING_ENTRY → KEY → content
                mapping_node
                    .children()
                    .filter(|n| n.kind() == SyntaxKind::MAPPING_ENTRY)
                    .filter_map(|entry| {
                        entry
                            .children()
                            .find(|n| n.kind() == SyntaxKind::KEY)
                            .and_then(|key| key.children().next())
                            .and_then(crate::as_yaml::YamlNode::from_syntax)
                    })
                    .collect::<Vec<_>>()
            } else {
                // Layout 1: bare KEY → content (explicit `?` syntax)
                mapping_node
                    .children()
                    .filter(|n| n.kind() == SyntaxKind::KEY)
                    .filter_map(|key| {
                        key.children()
                            .next()
                            .and_then(crate::as_yaml::YamlNode::from_syntax)
                    })
                    .collect::<Vec<_>>()
            }
        })
    }

    /// Get the number of members in the set.
    pub fn len(&self) -> usize {
        self.members().count()
    }

    /// Check if the set is empty.
    pub fn is_empty(&self) -> bool {
        self.members().next().is_none()
    }

    /// Check if the set contains a specific value.
    pub fn contains(&self, value: impl crate::AsYaml) -> bool {
        self.members()
            .any(|member| crate::as_yaml::yaml_eq(&member, &value))
    }
}

// CST abstraction layer - hides wrapper node complexity

/// Extract the actual content from a VALUE or KEY wrapper node
fn extract_content_node(wrapper: &SyntaxNode) -> Option<SyntaxNode> {
    use crate::lex::SyntaxKind;
    match wrapper.kind() {
        SyntaxKind::VALUE | SyntaxKind::KEY => wrapper.children().next(),
        _ => Some(wrapper.clone()),
    }
}

/// Smart cast that handles wrapper nodes automatically
fn smart_cast<T: AstNode<Language = Lang>>(node: SyntaxNode) -> Option<T> {
    if let Some(content) = extract_content_node(&node) {
        T::cast(content)
    } else {
        None
    }
}

/// Extract a Scalar from any node (handles wrappers automatically)
pub(crate) fn extract_scalar(node: &SyntaxNode) -> Option<Scalar> {
    smart_cast(node.clone())
}

/// Extract a Mapping from any node (handles wrappers automatically)
pub(crate) fn extract_mapping(node: &SyntaxNode) -> Option<Mapping> {
    smart_cast(node.clone())
}

/// Extract a Sequence from any node (handles wrappers automatically)
pub(crate) fn extract_sequence(node: &SyntaxNode) -> Option<Sequence> {
    smart_cast(node.clone())
}

/// Extract a TaggedNode from any node (handles wrappers automatically)
pub(crate) fn extract_tagged_node(node: &SyntaxNode) -> Option<TaggedNode> {
    smart_cast(node.clone())
}

/// Copy a syntax node and all its children recursively to a builder.
pub(crate) fn copy_node_to_builder(builder: &mut GreenNodeBuilder, node: &SyntaxNode) {
    builder.start_node(node.kind().into());
    add_node_children_to(builder, node);
    builder.finish_node();
}

// Helper function to recursively add node children to a builder
pub(crate) fn add_node_children_to(builder: &mut GreenNodeBuilder, node: &SyntaxNode) {
    for child in node.children_with_tokens() {
        match child {
            rowan::NodeOrToken::Node(child_node) => {
                builder.start_node(child_node.kind().into());
                add_node_children_to(builder, &child_node);
                builder.finish_node();
            }
            rowan::NodeOrToken::Token(token) => {
                builder.token(token.kind().into(), token.text());
            }
        }
    }
}

// Debug helper to dump CST structure
pub(crate) fn dump_cst_to_string(node: &SyntaxNode, indent: usize) -> String {
    let mut result = String::new();
    let indent_str = "  ".repeat(indent);

    for child in node.children_with_tokens() {
        match child {
            rowan::NodeOrToken::Node(n) => {
                result.push_str(&format!("{}{:?}\n", indent_str, n.kind()));
                result.push_str(&dump_cst_to_string(&n, indent + 1));
            }
            rowan::NodeOrToken::Token(t) => {
                result.push_str(&format!("{}  {:?} {:?}\n", indent_str, t.kind(), t.text()));
            }
        }
    }
    result
}

impl Default for YamlFile {
    fn default() -> Self {
        Self::new()
    }
}

impl YamlFile {
    /// Create a new empty YAML document.
    pub fn new() -> YamlFile {
        let mut builder = GreenNodeBuilder::new();
        builder.start_node(SyntaxKind::ROOT.into());
        builder.finish_node();
        YamlFile(SyntaxNode::new_root_mut(builder.finish()))
    }

    /// Parse YAML text, returning a Parse result
    pub fn parse(text: &str) -> Parse<YamlFile> {
        Parse::parse_yaml(text)
    }

    /// Parse YAML from a file path
    pub fn from_path<P: AsRef<Path>>(path: P) -> Result<YamlFile, crate::YamlError> {
        let contents = std::fs::read_to_string(path)?;
        Self::from_str(&contents)
    }

    /// Parse YAML text, allowing syntax errors.
    ///
    /// Returns the parsed tree even if there are parse errors, along with
    /// a list of error messages. This allows for error-resilient tooling
    /// that can work with partial or invalid input.
    ///
    /// # Example
    /// ```
    /// use yaml_edit::YamlFile;
    ///
    /// let (yaml_file, errors) = YamlFile::from_str_relaxed("key: [unclosed");
    /// // Tree is usable even with errors
    /// assert!(!errors.is_empty());
    /// assert!(yaml_file.document().is_some());
    /// ```
    pub fn from_str_relaxed(s: &str) -> (YamlFile, Vec<String>) {
        let parsed = YamlFile::parse(s);
        let errors = parsed.errors();
        (parsed.tree(), errors)
    }

    /// Parse YAML from a file path, allowing syntax errors.
    ///
    /// Returns the parsed tree even if there are parse errors, along with
    /// a list of error messages. I/O errors are still returned as `Err`.
    pub fn from_path_relaxed<P: AsRef<Path>>(
        path: P,
    ) -> Result<(YamlFile, Vec<String>), std::io::Error> {
        let contents = std::fs::read_to_string(path)?;
        Ok(Self::from_str_relaxed(&contents))
    }

    /// Read YAML from a `Read` object, allowing syntax errors.
    ///
    /// Returns the parsed tree even if there are parse errors, along with
    /// a list of error messages. I/O errors are still returned as `Err`.
    pub fn read_relaxed<R: std::io::Read>(
        mut r: R,
    ) -> Result<(YamlFile, Vec<String>), std::io::Error> {
        let mut buf = String::new();
        r.read_to_string(&mut buf)?;
        Ok(Self::from_str_relaxed(&buf))
    }

    /// Get all documents in this YAML file
    pub fn documents(&self) -> impl Iterator<Item = Document> {
        self.0.children().filter_map(Document::cast)
    }

    /// Iterate over the comments in this file, in source order.
    ///
    /// This includes comments inside documents as well as any comments between
    /// or outside documents.
    ///
    /// # Example
    /// ```
    /// use yaml_edit::YamlFile;
    /// use std::str::FromStr;
    ///
    /// let file = YamlFile::from_str("# header\nkey: value # trailing\n").unwrap();
    /// let comments: Vec<_> = file.comments().map(|c| c.content().to_string()).collect();
    /// assert_eq!(comments, vec!["header", "trailing"]);
    /// ```
    pub fn comments(&self) -> impl Iterator<Item = Comment> {
        crate::nodes::comment::comments(&self.0)
    }

    /// Get the first document in this YAML file, or `None` if there are none.
    ///
    /// Most YAML files have exactly one document. Use [`documents`](Self::documents)
    /// to iterate over all documents in a multi-document file.
    pub fn document(&self) -> Option<Document> {
        self.documents().next()
    }

    /// Ensure this `YamlFile` contains at least one document, creating an empty mapping document if needed.
    ///
    /// Returns the first document.
    pub fn ensure_document(&self) -> Document {
        if self.documents().next().is_none() {
            // No document exists, add an empty one
            let doc = Document::new_mapping();
            self.push_document(doc);
        }
        self.documents()
            .next()
            .expect("Document should exist after ensuring")
    }

    /// Iterate over all YAML directives (e.g. `%YAML 1.2`) in this file.
    pub fn directives(&self) -> impl Iterator<Item = Directive> {
        self.0.children().filter_map(Directive::cast)
    }

    /// Prepend a YAML directive to this file.
    ///
    /// `directive_text` should be the full directive line without a trailing
    /// newline, e.g. `"%YAML 1.2"` or `"%TAG ! tag:example.com,2000:app/"`.
    /// The directive is inserted before all existing content.
    ///
    /// Note: the parser does not currently enforce that directives appear
    /// before any document node; callers are responsible for ordering.
    pub fn add_directive(&self, directive_text: &str) {
        // Create directive node
        let mut builder = GreenNodeBuilder::new();
        builder.start_node(SyntaxKind::DIRECTIVE.into());
        builder.token(SyntaxKind::DIRECTIVE.into(), directive_text);
        builder.finish_node();
        let directive_node = SyntaxNode::new_root_mut(builder.finish());

        // Insert at the beginning using splice_children with interior mutability
        self.0.splice_children(0..0, vec![directive_node.into()]);
    }

    /// Add a new document to the end of this YAML file
    pub fn push_document(&self, document: Document) {
        let children_count = self.0.children_with_tokens().count();

        // Just insert the document node using splice_children with interior mutability
        self.0
            .splice_children(children_count..children_count, vec![document.0.into()]);
    }

    /// Set a key-value pair in the first document's mapping.
    ///
    /// If the key exists its value is replaced; if not, a new entry is appended.
    /// Does nothing if the `YamlFile` contains no documents or the first document is
    /// not a mapping. Use [`ensure_document`](Self::ensure_document) first if you
    /// need to guarantee a document exists.
    ///
    /// Mutates in place despite `&self` (see crate docs on interior mutability).
    pub fn set(&self, key: impl crate::AsYaml, value: impl crate::AsYaml) {
        if let Some(doc) = self.document() {
            doc.set(key, value);
        }
    }

    /// Insert a key-value pair immediately after `after_key` in the first document.
    ///
    /// Delegates to [`Document::insert_after`], which in turn calls
    /// [`Mapping::insert_after`]. If `key` already exists it is updated
    /// in-place rather than moved. Returns `false` if `after_key` is not found
    /// or the document is not a mapping.
    ///
    /// Mutates in place despite `&self` (see crate docs on interior mutability).
    pub fn insert_after(
        &self,
        after_key: impl crate::AsYaml,
        key: impl crate::AsYaml,
        value: impl crate::AsYaml,
    ) -> bool {
        if let Some(doc) = self.document() {
            doc.insert_after(after_key, key, value)
        } else {
            false
        }
    }

    /// Insert a key-value pair immediately before `before_key` in the first document.
    ///
    /// Delegates to [`Document::insert_before`], which in turn calls
    /// [`Mapping::insert_before`]. If `key` already exists it is updated
    /// in-place rather than moved. Returns `false` if `before_key` is not found
    /// or the document is not a mapping.
    ///
    /// Mutates in place despite `&self` (see crate docs on interior mutability).
    pub fn insert_before(
        &self,
        before_key: impl crate::AsYaml,
        key: impl crate::AsYaml,
        value: impl crate::AsYaml,
    ) -> bool {
        if let Some(doc) = self.document() {
            doc.insert_before(before_key, key, value)
        } else {
            false
        }
    }

    /// Move a key-value pair to immediately after `after_key` in the first document.
    ///
    /// Delegates to [`Document::move_after`]. If `key` already exists it is
    /// **removed** from its current position and re-inserted after `after_key`.
    /// Returns `false` if `after_key` is not found or the document is not a mapping.
    ///
    /// Use [`insert_after`](Self::insert_after) if you want an existing entry to be
    /// updated in-place rather than moved.
    ///
    /// Mutates in place despite `&self` (see crate docs on interior mutability).
    pub fn move_after(
        &self,
        after_key: impl crate::AsYaml,
        key: impl crate::AsYaml,
        value: impl crate::AsYaml,
    ) -> bool {
        if let Some(doc) = self.document() {
            doc.move_after(after_key, key, value)
        } else {
            false
        }
    }

    /// Move a key-value pair to immediately before `before_key` in the first document.
    ///
    /// Delegates to [`Document::move_before`]. If `key` already exists it is
    /// **removed** from its current position and re-inserted before `before_key`.
    /// Returns `false` if `before_key` is not found or the document is not a mapping.
    ///
    /// Use [`insert_before`](Self::insert_before) if you want an existing entry to be
    /// updated in-place rather than moved.
    ///
    /// Mutates in place despite `&self` (see crate docs on interior mutability).
    pub fn move_before(
        &self,
        before_key: impl crate::AsYaml,
        key: impl crate::AsYaml,
        value: impl crate::AsYaml,
    ) -> bool {
        if let Some(doc) = self.document() {
            doc.move_before(before_key, key, value)
        } else {
            false
        }
    }

    /// Insert a key-value pair at a specific index (0-based) in the first document.
    ///
    /// Delegates to [`Document::insert_at_index`]. If `key` already exists it
    /// is updated in-place rather than moved. If `index` is out of bounds the
    /// entry is appended at the end. If the document has no mapping yet, one is
    /// created automatically. This method always succeeds; it never returns an error.
    ///
    /// Mutates in place despite `&self` (see crate docs on interior mutability).
    pub fn insert_at_index(
        &self,
        index: usize,
        key: impl crate::AsYaml,
        value: impl crate::AsYaml,
    ) {
        if let Some(doc) = self.document() {
            doc.insert_at_index(index, key, value);
            // Mutations happen directly on the document, no need to replace
        } else {
            // If no document exists, create one without the --- marker for consistency
            // with normal parsed YAML
            let mut builder = GreenNodeBuilder::new();
            builder.start_node(SyntaxKind::DOCUMENT.into());
            builder.start_node(SyntaxKind::MAPPING.into());
            builder.finish_node(); // End MAPPING
            builder.finish_node(); // End DOCUMENT
            let doc = Document(SyntaxNode::new_root_mut(builder.finish()));

            // Add the document to the ROOT
            self.0.splice_children(0..0, vec![doc.0.into()]);

            // Now get the document again and insert
            if let Some(doc) = self.document() {
                doc.insert_at_index(index, key, value);
            }
        }
    }
}

impl FromStr for YamlFile {
    type Err = crate::YamlError;

    fn from_str(s: &str) -> Result<Self, Self::Err> {
        let parsed = YamlFile::parse(s);
        if !parsed.positioned_errors().is_empty() {
            let first = &parsed.positioned_errors()[0];
            let lc = crate::byte_offset_to_line_column(s, first.range.start as usize);
            return Err(crate::YamlError::Parse {
                message: first.message.clone(),
                line: Some(lc.line),
                column: Some(lc.column),
            });
        }
        Ok(parsed.tree())
    }
}

/// Maximum nesting depth for flow collections. Beyond this, the parser
/// returns an error rather than risking stack overflow or unbounded RSS
/// growth from pathological input like `{{{{...}}}}`.
const MAX_FLOW_DEPTH: usize = 256;

/// Internal parser state
struct Parser {
    tokens: Vec<(SyntaxKind, String)>,
    current_token_index: usize,
    builder: GreenNodeBuilder<'static>,
    errors: Vec<String>,
    positioned_errors: Vec<PositionedParseError>,
    in_flow_context: bool,
    /// Error recovery context for better error messages
    error_context: ErrorRecoveryContext,
    /// Track if we're parsing a value (to prevent nested implicit mappings)
    in_value_context: bool,
    /// Track the current line's indentation level for plain scalar continuation
    current_line_indent: usize,
    /// Current depth of nested flow collections ([...] / {...}).
    flow_depth: usize,
}

impl Parser {
    fn new(text: &str) -> Self {
        let lexed = lex(text);
        let mut tokens = Vec::new();

        for (kind, token_text) in lexed {
            tokens.push((kind, token_text.to_string()));
        }

        // Reverse tokens so we can use pop() to get the next token
        let token_count = tokens.len();
        tokens.reverse();

        Self {
            tokens,
            current_token_index: token_count,
            builder: GreenNodeBuilder::new(),
            errors: Vec::new(),
            positioned_errors: Vec::new(),
            in_flow_context: false,
            error_context: ErrorRecoveryContext::new(text.to_string()),
            in_value_context: false,
            current_line_indent: 0,
            flow_depth: 0,
        }
    }

    fn parse(mut self) -> ParsedYaml {
        self.builder.start_node(SyntaxKind::ROOT.into());

        // Handle BOM (Byte Order Mark) at the start of file
        // BOM is allowed per YAML spec and should be processed transparently
        if self.current() == Some(SyntaxKind::BOM) {
            self.bump(); // Add BOM to tree but continue parsing
        }

        self.skip_ws_and_newlines();

        // Parse any directives at the beginning
        while self.current() == Some(SyntaxKind::DIRECTIVE) {
            self.parse_directive();
            self.skip_ws_and_newlines();
        }

        // Parse documents
        // Always parse at least one document
        if self.current().is_some() && self.current() != Some(SyntaxKind::EOF) {
            self.parse_document();
            self.skip_ws_and_newlines();

            // Parse additional documents (can have directives before each)
            while self.current() == Some(SyntaxKind::DOC_START)
                || self.current() == Some(SyntaxKind::DIRECTIVE)
            {
                // Parse any directives before this document
                while self.current() == Some(SyntaxKind::DIRECTIVE) {
                    self.parse_directive();
                    self.skip_ws_and_newlines();
                }

                // Parse the document if we have content
                if self.current() == Some(SyntaxKind::DOC_START)
                    || (self.current().is_some() && self.current() != Some(SyntaxKind::EOF))
                {
                    self.parse_document();
                    self.skip_ws_and_newlines();
                } else {
                    break;
                }
            }
        }

        // Consume any remaining tokens as ERROR nodes
        // A lenient parser should consume all input, not leave it unparsed
        while self.current().is_some() && self.current() != Some(SyntaxKind::EOF) {
            self.builder.start_node(SyntaxKind::ERROR.into());

            // Consume tokens until we hit EOF or a document/directive marker
            while self.current().is_some()
                && self.current() != Some(SyntaxKind::EOF)
                && self.current() != Some(SyntaxKind::DOC_START)
                && self.current() != Some(SyntaxKind::DIRECTIVE)
            {
                self.bump();
            }

            self.builder.finish_node();

            // If we hit a document/directive marker, try to parse it
            if self.current() == Some(SyntaxKind::DOC_START)
                || self.current() == Some(SyntaxKind::DIRECTIVE)
            {
                // Parse any directives
                while self.current() == Some(SyntaxKind::DIRECTIVE) {
                    self.parse_directive();
                    self.skip_ws_and_newlines();
                }

                // Parse document if present
                if self.current().is_some() && self.current() != Some(SyntaxKind::EOF) {
                    self.parse_document();
                    self.skip_ws_and_newlines();
                }
            }
        }

        self.builder.finish_node();

        ParsedYaml {
            green_node: self.builder.finish(),
            errors: self.errors,
            positioned_errors: self.positioned_errors,
        }
    }

    fn parse_document(&mut self) {
        self.builder.start_node(SyntaxKind::DOCUMENT.into());

        // Handle document start marker
        if self.current() == Some(SyntaxKind::DOC_START) {
            self.bump();
            self.skip_ws_and_newlines();
        }

        // Parse the document content
        if self.current().is_some()
            && self.current() != Some(SyntaxKind::DOC_END)
            && self.current() != Some(SyntaxKind::DOC_START)
        {
            self.parse_value();
        }

        // Handle document end marker
        if self.current() == Some(SyntaxKind::DOC_END) {
            self.bump();

            // Check for content after document end marker (spec violation)
            self.skip_whitespace();
            if self.current().is_some()
                && self.current() != Some(SyntaxKind::NEWLINE)
                && self.current() != Some(SyntaxKind::EOF)
                && self.current() != Some(SyntaxKind::DOC_START)
                && self.current() != Some(SyntaxKind::DIRECTIVE)
            {
                // Found content after DOC_END - wrap it in an ERROR node
                self.builder.start_node(SyntaxKind::ERROR.into());
                while self.current().is_some()
                    && self.current() != Some(SyntaxKind::NEWLINE)
                    && self.current() != Some(SyntaxKind::EOF)
                    && self.current() != Some(SyntaxKind::DOC_START)
                    && self.current() != Some(SyntaxKind::DIRECTIVE)
                {
                    self.bump();
                }
                self.builder.finish_node();
            }
        }

        self.builder.finish_node();
    }

    fn parse_value(&mut self) {
        self.parse_value_with_base_indent(0);
    }

    fn parse_value_with_base_indent(&mut self, base_indent: usize) {
        match self.current() {
            Some(SyntaxKind::COMMENT) => {
                // Preserve the comment and continue parsing the actual value
                self.bump(); // consume and preserve the comment
                self.skip_ws_and_newlines(); // skip any whitespace/newlines after comment
                                             // Now parse the actual value
                self.parse_value_with_base_indent(base_indent);
            }
            Some(SyntaxKind::DASH) if !self.in_flow_context => {
                self.parse_sequence_with_base_indent(base_indent)
            }
            Some(SyntaxKind::ANCHOR) => {
                self.bump(); // consume and emit anchor token to CST
                self.skip_whitespace();
                self.parse_value_with_base_indent(base_indent);
            }
            Some(SyntaxKind::REFERENCE) => self.parse_alias(),
            Some(SyntaxKind::TAG) => self.parse_tagged_value(),
            Some(SyntaxKind::MERGE_KEY) => {
                // Merge key is always a mapping
                self.parse_mapping_with_base_indent(base_indent);
            }
            Some(SyntaxKind::QUESTION) => {
                // Explicit key indicator - parse complex mapping
                self.parse_explicit_key_mapping();
            }
            Some(SyntaxKind::PIPE) => self.parse_literal_block_scalar(),
            Some(SyntaxKind::GREATER) => self.parse_folded_block_scalar(),
            Some(kind) if is_plain_scalar_kind(kind) => {
                // In flow context, always parse as scalar
                // In block context, check if it's a mapping key
                // But not if we're already in a value context (prevents implicit nested mappings)
                if !self.in_flow_context && !self.in_value_context && self.is_mapping_key() {
                    self.parse_mapping_with_base_indent(base_indent);
                } else {
                    self.parse_scalar();
                }
            }
            Some(SyntaxKind::LEFT_BRACKET) => {
                // Check if this is a complex key in a mapping
                // But not if we're already in a value context
                if !self.in_flow_context && !self.in_value_context && self.is_complex_mapping_key()
                {
                    self.parse_complex_key_mapping();
                } else {
                    self.parse_flow_sequence();
                }
            }
            Some(SyntaxKind::LEFT_BRACE) => {
                // Check if this is a complex key in a mapping
                // But not if we're already in a value context
                if !self.in_flow_context && !self.in_value_context && self.is_complex_mapping_key()
                {
                    self.parse_complex_key_mapping();
                } else {
                    self.parse_flow_mapping();
                }
            }
            Some(SyntaxKind::INDENT) => {
                // We have an indented block - consume the indent and see what follows
                self.bump(); // consume INDENT
                self.parse_value(); // parse whatever comes after the indent
            }
            Some(SyntaxKind::NEWLINE) => {
                // Check if next line has indented content
                self.bump(); // consume newline
                if self.current() == Some(SyntaxKind::INDENT) {
                    let indent_level = self.tokens.last().map(|(_, text)| text.len()).unwrap_or(0);
                    self.bump(); // consume indent
                    self.parse_value_with_base_indent(indent_level);
                } else {
                    // No indented content means empty/null value - create empty scalar
                    self.builder.start_node(SyntaxKind::SCALAR.into());
                    self.builder.finish_node();
                }
            }
            _ => self.parse_scalar(),
        }
    }

    fn parse_alias(&mut self) {
        // Create an alias node and consume the reference token
        // The token itself already contains the full "*alias_name" text
        self.builder.start_node(SyntaxKind::ALIAS.into());
        if self.current() == Some(SyntaxKind::REFERENCE) {
            self.bump(); // This preserves the original "*alias_name" token
        }
        self.builder.finish_node();
    }

    fn parse_scalar(&mut self) {
        self.builder.start_node(SyntaxKind::SCALAR.into());

        // Handle quotes
        if matches!(
            self.current(),
            Some(SyntaxKind::QUOTE | SyntaxKind::SINGLE_QUOTE)
        ) {
            let quote_type = self
                .current()
                .expect("current token is Some: checked by matches! guard above");
            self.bump(); // opening quote

            // Consume all tokens until the closing quote
            while self.current().is_some() && self.current() != Some(quote_type) {
                self.bump();
            }

            if self.current() == Some(quote_type) {
                self.bump(); // closing quote
            } else {
                let expected_quote = if quote_type == SyntaxKind::QUOTE {
                    "\""
                } else {
                    "'"
                };
                let error_msg = self.create_detailed_error(
                    "Unterminated quoted string",
                    &format!("closing quote {}", expected_quote),
                    self.current_text(),
                );
                self.add_error_and_recover(
                    error_msg,
                    quote_type,
                    ParseErrorKind::UnterminatedString,
                );
            }
        } else {
            // Handle typed scalar tokens from lexer
            if matches!(
                self.current(),
                Some(
                    SyntaxKind::STRING
                        | SyntaxKind::UNTERMINATED_STRING
                        | SyntaxKind::INT
                        | SyntaxKind::FLOAT
                        | SyntaxKind::BOOL
                        | SyntaxKind::NULL
                )
            ) {
                // Check for unterminated string and add error
                if self.current() == Some(SyntaxKind::UNTERMINATED_STRING) {
                    self.add_error(
                        "Unterminated quoted string".to_string(),
                        ParseErrorKind::UnterminatedString,
                    );
                }
                if !self.in_flow_context {
                    // For plain scalars in block context, handle multi-line plain scalars
                    // per YAML spec: continuation lines must be more indented than the scalar's starting line
                    //
                    // Use current_line_indent which tracks the actual line indentation.
                    // CRITICAL: For inline scalars in sequence items (where indent==0 because the
                    // INDENT token was already consumed), we MUST NOT try continuation because we
                    // can't distinguish between continuation and the next mapping key.
                    let scalar_indent = self.current_line_indent;

                    while let Some(kind) = self.current() {
                        if kind == SyntaxKind::COMMENT {
                            // Stop at comments
                            break;
                        }

                        if kind == SyntaxKind::NEWLINE {
                            // Check if next line continues the scalar (more indented)
                            if self.is_plain_scalar_continuation(scalar_indent) {
                                // Fold the newline - consume it and following whitespace
                                self.bump(); // consume NEWLINE

                                // Skip INDENT and WHITESPACE on next line
                                while matches!(
                                    self.current(),
                                    Some(SyntaxKind::INDENT | SyntaxKind::WHITESPACE)
                                ) {
                                    self.bump();
                                }

                                // Continue consuming scalar content on next line
                                continue;
                            } else {
                                // Next line is not a continuation - stop here
                                break;
                            }
                        }

                        // In block context, stop at flow collection delimiters
                        if matches!(
                            kind,
                            SyntaxKind::LEFT_BRACKET
                                | SyntaxKind::LEFT_BRACE
                                | SyntaxKind::RIGHT_BRACKET
                                | SyntaxKind::RIGHT_BRACE
                                | SyntaxKind::COMMA
                        ) {
                            break;
                        }

                        // Check ahead to see if next token is a comment
                        if kind == SyntaxKind::WHITESPACE {
                            // Look ahead to see if a comment follows
                            if self.tokens.len() >= 2 {
                                let next_kind = self.tokens[self.tokens.len() - 2].0;
                                if next_kind == SyntaxKind::COMMENT {
                                    // Don't consume this whitespace, it precedes a comment
                                    break;
                                }
                            }
                        }

                        self.bump();
                    }
                } else {
                    // In flow context, consume tokens until we hit a delimiter
                    // This handles multi-word keys like "omitted value"
                    // Plain scalars in flow context can span multiple lines (YAML 1.2 spec)

                    // Check if this is a quoted string (STRING token starting with quote)
                    // Quoted strings are complete in a single token and should not consume
                    // trailing newlines/whitespace
                    let is_quoted_string = if let Some(SyntaxKind::STRING) = self.current() {
                        self.current_text()
                            .map(|text| text.starts_with('"') || text.starts_with('\''))
                            .unwrap_or(false)
                    } else {
                        false
                    };

                    self.bump(); // Consume the initial typed token

                    // For quoted strings, we're done - the token contains the complete value.
                    // For plain scalars, keep consuming for multi-word/multi-line scalars.
                    if !is_quoted_string {
                        while let Some(kind) = self.current() {
                            // Check for flow delimiters and comments (but not NEWLINE - plain scalars can span lines)
                            if matches!(
                                kind,
                                SyntaxKind::COMMA
                                    | SyntaxKind::RIGHT_BRACE
                                    | SyntaxKind::RIGHT_BRACKET
                                    | SyntaxKind::COMMENT
                            ) {
                                break;
                            }

                            // NEWLINE in flow context: consume it and continue reading the scalar
                            // The scalar continues on the next line
                            if kind == SyntaxKind::NEWLINE {
                                self.bump(); // consume the newline
                                             // Skip any indentation/whitespace that follows
                                while matches!(
                                    self.current(),
                                    Some(SyntaxKind::WHITESPACE | SyntaxKind::INDENT)
                                ) {
                                    self.bump();
                                }
                                // Continue with the main loop to consume more scalar content
                                continue;
                            }

                            // Stop at trailing whitespace before delimiters
                            // For "[ a , b ]", stop at whitespace before comma
                            // For "{omitted value:,}", consume whitespace between words
                            if kind == SyntaxKind::WHITESPACE {
                                // Peek at what comes after the whitespace
                                // tokens are popped from end, so earlier indices are further ahead
                                if self.tokens.len() >= 2 {
                                    // Look at the token after this whitespace
                                    let after_whitespace = self.tokens[self.tokens.len() - 2].0;
                                    if matches!(
                                        after_whitespace,
                                        SyntaxKind::COMMA
                                            | SyntaxKind::RIGHT_BRACE
                                            | SyntaxKind::RIGHT_BRACKET
                                            | SyntaxKind::NEWLINE
                                            | SyntaxKind::COMMENT
                                    ) {
                                        // Whitespace followed by delimiter or comment - stop here (don't consume whitespace)
                                        break;
                                    }
                                    // Otherwise whitespace is between words - continue to consume it
                                }
                            }

                            // Handle colons: stop if colon is followed by delimiter
                            if kind == SyntaxKind::COLON && self.tokens.len() >= 2 {
                                let next_kind = self.tokens[self.tokens.len() - 2].0;
                                if matches!(
                                    next_kind,
                                    SyntaxKind::COMMA
                                        | SyntaxKind::RIGHT_BRACE
                                        | SyntaxKind::RIGHT_BRACKET
                                        | SyntaxKind::WHITESPACE
                                        | SyntaxKind::NEWLINE
                                ) {
                                    // Colon followed by delimiter - this is key-value separator
                                    break;
                                }
                            }

                            self.bump();
                        }
                    }
                }
            } else {
                // Fallback: consume tokens until we hit structure
                while let Some(kind) = self.current() {
                    if matches!(
                        kind,
                        SyntaxKind::NEWLINE
                            | SyntaxKind::DASH
                            | SyntaxKind::COMMENT
                            | SyntaxKind::DOC_START
                            | SyntaxKind::DOC_END
                    ) {
                        break;
                    }

                    // In flow context, colons are allowed in scalars (for IPv6, URLs, etc.)
                    // In block context, stop at colons as they indicate mapping structure
                    if kind == SyntaxKind::COLON {
                        if self.in_flow_context {
                            // In flow context, check if this colon is followed by a delimiter
                            // If so, it's a key-value separator, not part of the scalar
                            if self.tokens.len() >= 2 {
                                let next_kind = self.tokens[self.tokens.len() - 2].0;
                                if matches!(
                                    next_kind,
                                    SyntaxKind::COMMA
                                        | SyntaxKind::RIGHT_BRACE
                                        | SyntaxKind::RIGHT_BRACKET
                                        | SyntaxKind::WHITESPACE
                                        | SyntaxKind::NEWLINE
                                ) {
                                    // Colon followed by delimiter - stop here
                                    break;
                                }
                            }
                            // Otherwise, allow colons in scalars (URLs, etc.) - continue consuming
                        } else {
                            // In block context, stop at colons (mapping structure)
                            break;
                        }
                    }

                    // In flow context, stop at flow collection delimiters
                    if self.in_flow_context
                        && matches!(
                            kind,
                            SyntaxKind::LEFT_BRACKET
                                | SyntaxKind::RIGHT_BRACKET
                                | SyntaxKind::LEFT_BRACE
                                | SyntaxKind::RIGHT_BRACE
                                | SyntaxKind::COMMA
                        )
                    {
                        break;
                    }
                    self.bump();
                }
            }
        }

        self.builder.finish_node();
    }

    fn parse_tagged_value(&mut self) {
        // Peek at the tag to determine what kind of collection to parse
        let tag_text = self.peek_tag_text();

        match tag_text {
            Some("!!set") => self.parse_tagged_set(),
            Some("!!omap") => self.parse_tagged_omap(),
            Some("!!pairs") => self.parse_tagged_pairs(),
            _ => {
                // Default tagged value behavior - tags can be applied to scalars, mappings, or sequences
                self.builder.start_node(SyntaxKind::TAGGED_NODE.into());
                self.bump(); // TAG token

                // Skip any whitespace after the tag
                while matches!(self.current(), Some(SyntaxKind::WHITESPACE)) {
                    self.bump();
                }

                // Parse whatever value follows the tag (scalar, flow mapping, flow sequence, etc.)
                self.parse_value();

                self.builder.finish_node();
            }
        }
    }

    fn peek_tag_text(&self) -> Option<&str> {
        self.tokens
            .last()
            .filter(|(kind, _)| *kind == SyntaxKind::TAG)
            .map(|(_, text)| text.as_str())
    }

    fn parse_tagged_set(&mut self) {
        self.parse_tagged_collection(true); // true = parse as mapping
    }

    fn parse_tagged_omap(&mut self) {
        self.parse_tagged_collection(false); // false = parse as sequence
    }

    fn parse_tagged_pairs(&mut self) {
        self.parse_tagged_collection(false); // false = parse as sequence
    }

    fn parse_tagged_collection(&mut self, is_mapping: bool) {
        self.builder.start_node(SyntaxKind::TAGGED_NODE.into());

        // Consume the tag
        self.bump(); // TAG token

        // Skip any whitespace after the tag
        while matches!(self.current(), Some(SyntaxKind::WHITESPACE)) {
            self.bump();
        }

        // Parse the following structure based on type
        match self.current() {
            Some(SyntaxKind::LEFT_BRACE) if is_mapping => self.parse_flow_mapping(),
            Some(SyntaxKind::LEFT_BRACKET) if !is_mapping => self.parse_flow_sequence(),
            Some(SyntaxKind::NEWLINE) => {
                self.bump(); // consume newline
                             // Check if next token is indent (for indented content)
                if self.current() == Some(SyntaxKind::INDENT) {
                    self.bump(); // consume indent
                }
                if is_mapping {
                    self.parse_mapping();
                } else {
                    self.parse_sequence();
                }
            }
            _ => {
                if is_mapping {
                    self.parse_mapping();
                } else {
                    self.parse_sequence();
                }
            }
        }

        self.builder.finish_node();
    }

    fn parse_literal_block_scalar(&mut self) {
        self.builder.start_node(SyntaxKind::SCALAR.into());
        self.bump(); // consume PIPE
        self.parse_block_scalar_header();
        self.parse_block_scalar_content();
        self.builder.finish_node();
    }

    fn parse_folded_block_scalar(&mut self) {
        self.builder.start_node(SyntaxKind::SCALAR.into());
        self.bump(); // consume GREATER
        self.parse_block_scalar_header();
        self.parse_block_scalar_content();
        self.builder.finish_node();
    }

    fn parse_block_scalar_header(&mut self) {
        // Parse optional indentation indicator (1-9) and chomping indicator (+, -)
        // Format: |<indent><chomp> or |<chomp><indent>
        // Examples: |2, |-, |+, |2-, |-2, |2+, |+2

        while let Some(kind) = self.current() {
            match kind {
                SyntaxKind::NEWLINE | SyntaxKind::COMMENT => break,
                SyntaxKind::INT => {
                    // Indentation indicator (1-9)
                    if let Some(text) = self.current_text() {
                        if text.len() == 1
                            && text
                                .chars()
                                .next()
                                .expect("text is non-empty: len == 1 checked above")
                                .is_ascii_digit()
                        {
                            self.bump(); // Consume the digit
                        } else {
                            // Not a single digit, stop
                            break;
                        }
                    } else {
                        break;
                    }
                }
                SyntaxKind::STRING => {
                    // Could be chomping indicator or other text
                    if let Some(text) = self.current_text() {
                        if text == "+" || text == "-" {
                            self.bump(); // Consume chomping indicator
                        } else {
                            // Some other text, stop parsing header
                            break;
                        }
                    } else {
                        break;
                    }
                }
                SyntaxKind::WHITESPACE => {
                    // Whitespace before comment or newline
                    self.bump();
                }
                _ => {
                    // Unknown token, stop parsing header
                    break;
                }
            }
        }

        // Consume optional comment
        if self.current() == Some(SyntaxKind::COMMENT) {
            self.bump();
        }

        // Consume the newline after the header
        if self.current() == Some(SyntaxKind::NEWLINE) {
            self.bump();
        }
    }

    fn parse_block_scalar_content(&mut self) {
        // Consume all indented content that follows
        let mut last_was_newline = false;
        let mut base_indent: Option<usize> = None;
        let mut first_content_indent: Option<usize> = None;

        while let Some(kind) = self.current() {
            // Detect first content indentation to use as base
            if kind == SyntaxKind::INDENT && first_content_indent.is_none() {
                first_content_indent = self.current_text().map(|t| t.len());
            }

            // Set base_indent after seeing first INDENT token
            if base_indent.is_none() && first_content_indent.is_some() {
                base_indent = first_content_indent;
            }

            // Check if we've reached unindented content BEFORE consuming
            if self.is_at_unindented_content_for_block_scalar(last_was_newline, base_indent) {
                break;
            }

            match kind {
                // Stop at document markers
                SyntaxKind::DOC_START | SyntaxKind::DOC_END => break,
                // Track newlines to detect line starts
                SyntaxKind::NEWLINE => {
                    self.bump();
                    last_was_newline = true;
                    continue;
                }
                // Continue consuming content and whitespace
                _ => {
                    self.bump();
                    last_was_newline = false;
                }
            }
        }
    }

    fn is_at_unindented_content_for_block_scalar(
        &self,
        after_newline: bool,
        base_indent: Option<usize>,
    ) -> bool {
        // Check if we've reached content at the beginning of a line (unindented)
        // Only check for structural tokens if we're at the start of a line
        if after_newline {
            // After a newline, check if the next token is unindented
            let current = self.current();

            // COLON or QUESTION at start of line means end of block scalar
            if matches!(
                current,
                Some(SyntaxKind::COLON) | Some(SyntaxKind::QUESTION)
            ) {
                return true;
            }

            // If we have base_indent, check if current line has less indentation
            if let Some(base) = base_indent {
                if current == Some(SyntaxKind::INDENT) {
                    if let Some(text) = self.current_text() {
                        if text.len() < base {
                            // Current line has less indentation than base - end of block scalar
                            return true;
                        }
                    }
                }
            }

            // If we don't see INDENT, we've reached unindented content
            if current != Some(SyntaxKind::INDENT)
                && current != Some(SyntaxKind::WHITESPACE)
                && current != Some(SyntaxKind::NEWLINE)
                && current != Some(SyntaxKind::COMMENT)
            {
                // This is unindented content at the start of a line
                return true;
            }
        }
        false
    }

    fn parse_mapping(&mut self) {
        self.parse_mapping_with_base_indent(0);
    }

    fn parse_mapping_with_base_indent(&mut self, base_indent: usize) {
        self.builder.start_node(SyntaxKind::MAPPING.into());
        self.error_context.push_context(ParseContext::Mapping);

        while self.current().is_some() {
            let tokens_before_iter = self.tokens.len();
            // Skip whitespace, break on dedent
            if self.skip_whitespace_only_with_dedent_check(base_indent) {
                break;
            }

            // Emit comments as children of MAPPING
            loop {
                if self.current() == Some(SyntaxKind::COMMENT) {
                    // At root level (base_indent=0) all comments belong here since
                    // there's no parent scope, even if indented.
                    if base_indent > 0 && self.is_at_dedented_position(base_indent) {
                        break;
                    }
                    self.bump();
                    if self.current() == Some(SyntaxKind::NEWLINE) {
                        self.bump();
                    }
                    if self.skip_whitespace_only_with_dedent_check(base_indent) {
                        break;
                    }
                } else {
                    break;
                }
            }

            // Check dedent via tracked line indentation (covers the case where
            // MAPPING_ENTRY consumed its trailing NEWLINE before we could detect
            // the dedent in skip_whitespace_only_with_dedent_check).
            if base_indent > 0 && self.is_at_dedented_position(base_indent) {
                break;
            }

            // No mapping key found — exit
            if !self.is_mapping_key() && !self.is_complex_mapping_key() {
                break;
            }

            // Check for complex keys (sequences or mappings as keys)
            if self.current() == Some(SyntaxKind::LEFT_BRACKET)
                || self.current() == Some(SyntaxKind::LEFT_BRACE)
            {
                // Start a MAPPING_ENTRY to wrap this key-value pair
                self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

                self.builder.start_node(SyntaxKind::KEY.into());
                if self.current() == Some(SyntaxKind::LEFT_BRACKET) {
                    self.parse_flow_sequence();
                } else if self.current() == Some(SyntaxKind::LEFT_BRACE) {
                    self.parse_flow_mapping();
                }
                self.builder.finish_node();

                self.skip_ws_and_newlines();

                if self.current() == Some(SyntaxKind::COLON) {
                    self.bump();
                    self.skip_whitespace();

                    self.builder.start_node(SyntaxKind::VALUE.into());
                    if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                        self.parse_value();
                    } else if self.current() == Some(SyntaxKind::NEWLINE) {
                        self.bump();
                        if self.current() == Some(SyntaxKind::INDENT) {
                            self.bump();
                            self.parse_value();
                        }
                    }
                    self.builder.finish_node();
                } else {
                    let error_msg = self.create_detailed_error(
                        "Missing colon in mapping",
                        "':' after key",
                        self.current_text(),
                    );
                    self.add_error_and_recover(error_msg, SyntaxKind::COLON, ParseErrorKind::Other);
                }

                // Finish the MAPPING_ENTRY node
                self.builder.finish_node();
            }
            // Check for explicit key indicator
            else if self.current() == Some(SyntaxKind::QUESTION) {
                // Start a MAPPING_ENTRY to wrap this key-value pair
                self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

                // Parse explicit key
                self.bump(); // consume '?'
                self.skip_whitespace();

                self.builder.start_node(SyntaxKind::KEY.into());
                if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                    self.parse_value();
                }
                self.builder.finish_node();

                self.skip_ws_and_newlines();

                // Parse value if there's a colon
                if self.current() == Some(SyntaxKind::COLON) {
                    self.bump(); // consume ':'
                    self.skip_whitespace();

                    self.builder.start_node(SyntaxKind::VALUE.into());
                    if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                        self.parse_value();
                    } else if self.current() == Some(SyntaxKind::NEWLINE) {
                        self.bump(); // consume newline
                        if self.current() == Some(SyntaxKind::INDENT) {
                            self.bump(); // consume indent
                            self.parse_value();
                        }
                    }
                    self.builder.finish_node();
                } else {
                    // No value, just a key - create explicit null value
                    self.builder.start_node(SyntaxKind::VALUE.into());
                    self.builder.start_node(SyntaxKind::SCALAR.into());
                    self.builder.token(SyntaxKind::NULL.into(), "");
                    self.builder.finish_node();
                    self.builder.finish_node();
                }

                // Finish the MAPPING_ENTRY node
                self.builder.finish_node();
            } else {
                self.parse_mapping_key_value_pair(base_indent);
            }

            // Progress guard: if no token was consumed this iteration we
            // would loop forever (e.g. when is_mapping_key() is fooled by a
            // delimiter such as `}` followed by `:`, and synthetic-token
            // recovery never advances).
            if self.tokens.len() == tokens_before_iter {
                let unexpected = self.current_text().unwrap_or("").to_string();
                self.add_error(
                    format!("Unexpected token in mapping: {:?}", unexpected),
                    ParseErrorKind::Other,
                );
                self.bump();
            }
        }

        self.builder.finish_node();
        self.error_context.pop_context();
    }

    fn parse_sequence(&mut self) {
        self.parse_sequence_with_base_indent(0);
    }

    fn parse_sequence_with_base_indent(&mut self, base_indent: usize) {
        self.builder.start_node(SyntaxKind::SEQUENCE.into());
        self.error_context.push_context(ParseContext::Sequence);

        while self.current().is_some() {
            // Skip whitespace, break on dedent
            if self.skip_whitespace_only_with_dedent_check(base_indent) {
                break;
            }

            // Emit comments as children of SEQUENCE
            loop {
                if self.current() == Some(SyntaxKind::COMMENT) {
                    // At root level (base_indent=0) all comments belong here since
                    // there's no parent scope, even if indented.
                    if base_indent > 0 && self.is_at_dedented_position(base_indent) {
                        break;
                    }
                    self.bump();
                    if self.current() == Some(SyntaxKind::NEWLINE) {
                        self.bump();
                    }
                    if self.skip_whitespace_only_with_dedent_check(base_indent) {
                        break;
                    }
                } else {
                    break;
                }
            }

            // Check dedent via tracked line indentation (covers the case where
            // SEQUENCE_ENTRY consumed its trailing NEWLINE before we could detect
            // the dedent in skip_whitespace_only_with_dedent_check).
            if base_indent > 0 && self.is_at_dedented_position(base_indent) {
                break;
            }

            // No dash — exit
            if self.current() != Some(SyntaxKind::DASH) {
                break;
            }
            // Start SEQUENCE_ENTRY node to wrap the entire item
            self.builder.start_node(SyntaxKind::SEQUENCE_ENTRY.into());

            self.bump(); // consume dash
            self.skip_whitespace();

            // Record the dash's line indentation for the item value parsing
            let item_indent = self.current_line_indent;

            if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                // Use item's line indent so nested mappings parse at the right level
                self.parse_value_with_base_indent(item_indent);
            } else if self.current() == Some(SyntaxKind::NEWLINE) {
                // Check if next line is indented (nested content for sequence item)
                self.bump(); // consume newline
                if self.current() == Some(SyntaxKind::INDENT) {
                    let indent_level = self.tokens.last().map(|(_, text)| text.len()).unwrap_or(0);
                    self.bump(); // consume indent
                                 // Parse the indented content as the sequence item value
                    self.parse_value_with_base_indent(indent_level);
                }
            }

            // Block-style SEQUENCE_ENTRY owns its NEWLINE terminator (DESIGN.md)
            if self.current() == Some(SyntaxKind::NEWLINE) {
                self.bump();
            }

            // Finish SEQUENCE_ENTRY node
            self.builder.finish_node();
        }

        self.builder.finish_node();
        self.error_context.pop_context();
    }

    /// Checks if the upcoming tokens form an implicit mapping pattern (key: value).
    ///
    /// This scans forward through the token buffer to detect if there's a colon at
    /// depth 0 (not nested inside brackets/braces) before hitting a comma or closing bracket.
    ///
    /// Scans from current token forward through upcoming tokens.
    ///
    /// # Examples
    /// - `[ 'key' : value ]` → true (colon at depth 0)
    /// - `[ value ]` → false (no colon before closing bracket)
    /// - `[ [a, b]: value ]` → true (colon after nested collection completes)
    /// - `[ {a: 1}, b ]` → false (colon is inside braces, not at depth 0)
    fn next_flow_element_is_implicit_mapping(&self) -> bool {
        // Chain current token with upcoming tokens (no allocation needed)
        let tokens = std::iter::once(self.current().unwrap_or(SyntaxKind::EOF))
            .chain(self.upcoming_tokens());
        has_implicit_mapping_pattern(tokens)
    }

    /// Parse an implicit flow mapping (key: value without braces).
    /// Used inside flow sequences: [ key: value ] is valid YAML.
    fn parse_implicit_flow_mapping(&mut self) {
        self.builder.start_node(SyntaxKind::MAPPING.into());
        self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

        // Parse key
        self.builder.start_node(SyntaxKind::KEY.into());
        self.parse_value();
        self.builder.finish_node();

        self.skip_ws_and_newlines();

        // Consume colon
        if self.current() == Some(SyntaxKind::COLON) {
            self.bump();
            self.skip_ws_and_newlines();
        }

        // Parse value
        self.builder.start_node(SyntaxKind::VALUE.into());
        // Check if value is omitted (implicit null)
        if matches!(
            self.current(),
            Some(SyntaxKind::COMMA) | Some(SyntaxKind::RIGHT_BRACKET)
        ) {
            // Omitted value - leave VALUE node empty
        } else {
            self.parse_value();
        }
        self.builder.finish_node();

        self.builder.finish_node(); // MAPPING_ENTRY
        self.builder.finish_node(); // MAPPING
    }
}

/// Kinds emitted by the lexer for plain (unquoted) scalar content.
fn is_plain_scalar_kind(kind: SyntaxKind) -> bool {
    matches!(
        kind,
        SyntaxKind::STRING
            | SyntaxKind::INT
            | SyntaxKind::FLOAT
            | SyntaxKind::BOOL
            | SyntaxKind::NULL
    )
}

/// Standalone helper to detect implicit mapping pattern in flow collections.
/// Takes an iterator of SyntaxKind tokens (in reverse order, as stored in Parser).
/// Returns true if there's a colon at depth 0 before any comma or closing bracket.
fn has_implicit_mapping_pattern(tokens: impl Iterator<Item = SyntaxKind>) -> bool {
    let mut depth = 0;

    for kind in tokens {
        match kind {
            // Opening brackets/braces increase nesting depth
            SyntaxKind::LEFT_BRACE | SyntaxKind::LEFT_BRACKET => {
                depth += 1;
            }
            // Closing brackets/braces decrease nesting depth
            SyntaxKind::RIGHT_BRACE | SyntaxKind::RIGHT_BRACKET => {
                if depth == 0 {
                    // Closing bracket at our level - end of element without finding colon
                    return false;
                }
                depth -= 1;
            }
            // At depth 0 (not inside nested collections), check for colon or separator
            SyntaxKind::COLON if depth == 0 => {
                // Found colon at our level - this is an implicit mapping
                return true;
            }
            SyntaxKind::COMMA if depth == 0 => {
                // Found separator at our level - not a mapping
                return false;
            }
            // Skip whitespace, newlines, and other tokens
            _ => {}
        }
    }

    // Reached end of tokens without finding colon or separator
    false
}

impl Parser {
    fn parse_flow_sequence(&mut self) {
        self.builder.start_node(SyntaxKind::SEQUENCE.into());
        self.error_context.push_context(ParseContext::FlowSequence);

        if self.flow_depth >= MAX_FLOW_DEPTH {
            self.add_error(
                format!(
                    "Flow collection nested too deeply (limit {})",
                    MAX_FLOW_DEPTH
                ),
                ParseErrorKind::Other,
            );
            // Consume everything up to a closing delimiter to recover, then
            // bail out without recursing further.
            while let Some(kind) = self.current() {
                if matches!(
                    kind,
                    SyntaxKind::RIGHT_BRACKET | SyntaxKind::DOC_START | SyntaxKind::DOC_END
                ) {
                    break;
                }
                self.bump();
            }
            if self.current() == Some(SyntaxKind::RIGHT_BRACKET) {
                self.bump();
            }
            self.builder.finish_node();
            self.error_context.pop_context();
            return;
        }
        self.flow_depth += 1;

        self.bump(); // consume [
        self.skip_ws_and_newlines(); // Support comments and newlines in flow sequences

        let prev_flow = self.in_flow_context;
        self.in_flow_context = true;

        while self.current() != Some(SyntaxKind::RIGHT_BRACKET) && self.current().is_some() {
            let tokens_before = self.tokens.len();

            // Start SEQUENCE_ENTRY node to wrap the item
            self.builder.start_node(SyntaxKind::SEQUENCE_ENTRY.into());

            // Check if this element is an implicit mapping (key: value)
            // Per YAML spec, [ key: value ] is valid - a sequence containing a mapping
            if self.next_flow_element_is_implicit_mapping() {
                // Parse as implicit flow mapping
                self.parse_implicit_flow_mapping();
            } else {
                // Parse as regular value
                self.parse_value();
            }

            self.skip_ws_and_newlines(); // Support comments after values

            // Flow-style SEQUENCE_ENTRY owns its COMMA terminator (except last entry)
            if self.current() == Some(SyntaxKind::COMMA) {
                self.bump();
                self.skip_ws_and_newlines(); // Support comments after commas
            }

            self.builder.finish_node(); // Finish SEQUENCE_ENTRY

            if self.current() != Some(SyntaxKind::RIGHT_BRACKET) && self.current().is_some() {
                // No comma found and not at closing bracket
                // Check if we should break to avoid infinite loops
                if matches!(
                    self.current(),
                    Some(SyntaxKind::DASH | SyntaxKind::DOC_START | SyntaxKind::DOC_END)
                ) {
                    // These tokens indicate we've left the flow sequence context or hit invalid syntax
                    break;
                }
            }

            // Guarantee progress: if no token was consumed this iteration we
            // would loop forever (e.g. on stray `}` inside `[...]`). Report
            // the unexpected token and skip it.
            if self.tokens.len() == tokens_before {
                let unexpected = self.current_text().unwrap_or("").to_string();
                self.add_error(
                    format!("Unexpected token in flow sequence: {:?}", unexpected),
                    ParseErrorKind::Other,
                );
                self.bump();
            }
        }

        self.in_flow_context = prev_flow;

        if self.current() == Some(SyntaxKind::RIGHT_BRACKET) {
            self.bump();
        } else {
            let error_msg = self.create_detailed_error(
                "Unclosed flow sequence",
                "']' to close sequence",
                self.current_text(),
            );
            self.add_error_and_recover(
                error_msg,
                SyntaxKind::RIGHT_BRACKET,
                ParseErrorKind::UnclosedFlowSequence,
            );
        }

        self.flow_depth -= 1;
        self.builder.finish_node();
        self.error_context.pop_context();
    }

    fn parse_flow_mapping(&mut self) {
        self.builder.start_node(SyntaxKind::MAPPING.into());
        self.error_context.push_context(ParseContext::FlowMapping);

        if self.flow_depth >= MAX_FLOW_DEPTH {
            self.add_error(
                format!(
                    "Flow collection nested too deeply (limit {})",
                    MAX_FLOW_DEPTH
                ),
                ParseErrorKind::Other,
            );
            while let Some(kind) = self.current() {
                if matches!(
                    kind,
                    SyntaxKind::RIGHT_BRACE | SyntaxKind::DOC_START | SyntaxKind::DOC_END
                ) {
                    break;
                }
                self.bump();
            }
            if self.current() == Some(SyntaxKind::RIGHT_BRACE) {
                self.bump();
            }
            self.builder.finish_node();
            self.error_context.pop_context();
            return;
        }
        self.flow_depth += 1;

        self.bump(); // consume {
        self.skip_ws_and_newlines(); // Support comments and newlines in flow mappings

        let prev_flow = self.in_flow_context;
        self.in_flow_context = true;

        while self.current() != Some(SyntaxKind::RIGHT_BRACE) && self.current().is_some() {
            // Check for unexpected structural tokens that indicate we've left flow context
            if matches!(
                self.current(),
                Some(SyntaxKind::DASH | SyntaxKind::DOC_START | SyntaxKind::DOC_END)
            ) {
                // These tokens indicate we've exited the flow mapping or hit invalid syntax
                break;
            }

            let tokens_before = self.tokens.len();

            // Start MAPPING_ENTRY node to wrap the key-value pair
            self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

            // Parse key - wrap in KEY node
            self.builder.start_node(SyntaxKind::KEY.into());

            // Handle explicit key indicator (?) in flow context
            if self.current() == Some(SyntaxKind::QUESTION) {
                self.bump(); // consume '?'
                self.skip_whitespace();
            }

            self.parse_value();
            self.builder.finish_node();

            self.skip_ws_and_newlines(); // Support comments after keys

            if self.current() == Some(SyntaxKind::COLON) {
                self.bump();
                self.skip_ws_and_newlines(); // Support comments after colons

                // Check if value is omitted (comma or closing brace after colon)
                // In YAML, `key:,` or `key:}` means key has null value
                if matches!(
                    self.current(),
                    Some(SyntaxKind::COMMA) | Some(SyntaxKind::RIGHT_BRACE)
                ) {
                    // Omitted value - create VALUE node with implicit null scalar
                    self.builder.start_node(SyntaxKind::VALUE.into());
                    self.builder.start_node(SyntaxKind::SCALAR.into());
                    self.builder.token(SyntaxKind::NULL.into(), "");
                    self.builder.finish_node(); // SCALAR
                    self.builder.finish_node(); // VALUE
                } else {
                    // Parse value - wrap in VALUE node
                    self.builder.start_node(SyntaxKind::VALUE.into());
                    self.parse_value();
                    self.builder.finish_node();
                }
            } else if matches!(
                self.current(),
                Some(SyntaxKind::COMMA) | Some(SyntaxKind::RIGHT_BRACE)
            ) {
                // No colon, but followed by comma or closing brace
                // This means the key itself has a null value (shorthand for key: null)
                // Create VALUE node with implicit null scalar
                self.builder.start_node(SyntaxKind::VALUE.into());
                self.builder.start_node(SyntaxKind::SCALAR.into());
                self.builder.token(SyntaxKind::NULL.into(), "");
                self.builder.finish_node(); // SCALAR
                self.builder.finish_node(); // VALUE
            } else {
                let error_msg = self.create_detailed_error(
                    "Missing colon in flow mapping",
                    "':' after key",
                    self.current_text(),
                );
                self.add_error_and_recover(error_msg, SyntaxKind::COLON, ParseErrorKind::Other);
            }

            self.skip_ws_and_newlines(); // Support comments after values

            // Flow-style entries own their COMMA terminator (except last entry)
            if self.current() == Some(SyntaxKind::COMMA) {
                self.bump();
                self.skip_ws_and_newlines(); // Support comments after commas
            }

            // Finish MAPPING_ENTRY node
            self.builder.finish_node();

            // Guarantee progress: if no token was consumed this iteration we
            // would loop forever (e.g. on stray `]` inside `{...}`). Report
            // the unexpected token and skip it.
            if self.tokens.len() == tokens_before {
                let unexpected = self.current_text().unwrap_or("").to_string();
                self.add_error(
                    format!("Unexpected token in flow mapping: {:?}", unexpected),
                    ParseErrorKind::Other,
                );
                self.bump();
            }
        }

        self.in_flow_context = prev_flow;

        if self.current() == Some(SyntaxKind::RIGHT_BRACE) {
            self.bump();
        } else {
            let error_msg = self.create_detailed_error(
                "Unclosed flow mapping",
                "'}' to close mapping",
                self.current_text(),
            );
            self.add_error_and_recover(
                error_msg,
                SyntaxKind::RIGHT_BRACE,
                ParseErrorKind::UnclosedFlowMapping,
            );
        }

        self.flow_depth -= 1;
        self.builder.finish_node();
        self.error_context.pop_context();
    }

    fn parse_directive(&mut self) {
        self.builder.start_node(SyntaxKind::DIRECTIVE.into());

        if self.current() == Some(SyntaxKind::DIRECTIVE) {
            self.bump(); // consume the directive token
        } else {
            self.add_error("Expected directive".to_string(), ParseErrorKind::Other);
        }

        self.builder.finish_node();
    }

    fn parse_explicit_key_mapping(&mut self) {
        // Parse mapping with explicit key indicator '?'
        self.builder.start_node(SyntaxKind::MAPPING.into());

        while self.current() == Some(SyntaxKind::QUESTION) {
            // Start a MAPPING_ENTRY to wrap this key-value pair
            self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

            // Parse explicit key
            self.bump(); // consume '?'
            self.skip_whitespace();

            // Parse key - can be any value including sequences and mappings
            self.builder.start_node(SyntaxKind::KEY.into());

            // Parse the first part of the key
            if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                self.parse_value();
            }

            // Check if this is a multiline key (newline followed by indent)
            // Only for scalar keys, not sequences or mappings
            if self.current() == Some(SyntaxKind::NEWLINE) {
                // Peek ahead to see if there's an indent after the newline
                // Since tokens are reversed, peek at the second-to-last token
                if self.tokens.len() >= 2 {
                    let (next_kind, _) = &self.tokens[self.tokens.len() - 2];
                    if *next_kind == SyntaxKind::INDENT {
                        // Check what comes after the indent (at position len() - 3)
                        if self.tokens.len() >= 3 {
                            let (token_after_indent, _) = &self.tokens[self.tokens.len() - 3];
                            // If it's a DASH, this is a sequence continuation which was already
                            // handled by parse_value() above - don't try to parse it as multiline scalar
                            if *token_after_indent != SyntaxKind::DASH {
                                // This is a multiline scalar key continuation
                                self.bump(); // consume newline
                                self.bump(); // consume indent

                                // Parse scalar tokens at this indentation level as part of the key
                                while self.current().is_some()
                                    && self.current() != Some(SyntaxKind::NEWLINE)
                                    && self.current() != Some(SyntaxKind::COLON)
                                {
                                    let before = self.tokens.len();
                                    self.parse_scalar();
                                    if self.current() == Some(SyntaxKind::WHITESPACE) {
                                        self.bump(); // consume whitespace between key parts
                                    }
                                    // Progress guard: parse_scalar() can return without
                                    // consuming tokens for kinds it doesn't handle (e.g.
                                    // COMMENT). Break to avoid an infinite loop.
                                    if self.tokens.len() == before {
                                        break;
                                    }
                                }
                            }
                        }
                    }
                }
            }

            self.builder.finish_node();

            self.skip_ws_and_newlines();

            // Parse value if there's a colon
            if self.current() == Some(SyntaxKind::COLON) {
                self.bump(); // consume ':'
                self.skip_whitespace();

                self.builder.start_node(SyntaxKind::VALUE.into());
                if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                    self.parse_value();
                } else if self.current() == Some(SyntaxKind::NEWLINE) {
                    // Check if next line is indented (nested content)
                    self.bump(); // consume newline
                    if self.current() == Some(SyntaxKind::INDENT) {
                        self.bump(); // consume indent
                        self.parse_value();
                    }
                }
                self.builder.finish_node();
            } else {
                // No value, just a key - create explicit null value
                self.builder.start_node(SyntaxKind::VALUE.into());
                self.builder.start_node(SyntaxKind::SCALAR.into());
                self.builder.token(SyntaxKind::NULL.into(), "");
                self.builder.finish_node();
                self.builder.finish_node();
            }

            // Finish the MAPPING_ENTRY node
            self.builder.finish_node();

            self.skip_ws_and_newlines();

            // Check if there are more entries
            if self.current() != Some(SyntaxKind::QUESTION) && !self.is_mapping_key() {
                break;
            }
        }

        // Continue parsing regular mapping entries if any
        while self.current().is_some() && self.is_mapping_key() {
            let tokens_before_iter = self.tokens.len();
            // is_mapping_key() returns true for QUESTION, but
            // parse_mapping_key_value_pair does not consume a `?` key — that
            // would loop forever. Re-enter explicit-key handling for `?`.
            if self.current() == Some(SyntaxKind::QUESTION) {
                self.parse_explicit_key_entries();
                break;
            }
            self.parse_mapping_key_value_pair(0);
            self.skip_ws_and_newlines();
            // Progress guard against any future case where the body consumes
            // nothing (e.g. recovery via synthetic-token insertion).
            if self.tokens.len() == tokens_before_iter {
                let unexpected = self.current_text().unwrap_or("").to_string();
                self.add_error(
                    format!("Unexpected token in explicit-key mapping: {:?}", unexpected),
                    ParseErrorKind::Other,
                );
                self.bump();
            }
        }

        self.builder.finish_node();
    }

    fn parse_complex_key_mapping(&mut self) {
        // Parse mapping where the key is a complex structure (sequence or mapping)
        self.builder.start_node(SyntaxKind::MAPPING.into());

        // Start a MAPPING_ENTRY to wrap this key-value pair
        self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

        // Parse the complex key
        self.builder.start_node(SyntaxKind::KEY.into());
        if self.current() == Some(SyntaxKind::LEFT_BRACKET) {
            self.parse_flow_sequence();
        } else if self.current() == Some(SyntaxKind::LEFT_BRACE) {
            self.parse_flow_mapping();
        }
        self.builder.finish_node();

        self.skip_ws_and_newlines(); // Allow newlines between key and colon

        // Expect colon
        if self.current() == Some(SyntaxKind::COLON) {
            self.bump();
            self.skip_whitespace();

            // Parse value
            self.builder.start_node(SyntaxKind::VALUE.into());
            if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                self.parse_value();
            } else if self.current() == Some(SyntaxKind::NEWLINE) {
                self.bump(); // consume newline
                if self.current() == Some(SyntaxKind::INDENT) {
                    self.bump(); // consume indent
                    self.parse_value();
                }
            }
            self.builder.finish_node();
        } else {
            let error_msg = self.create_detailed_error(
                "Missing colon in complex mapping",
                "':' after complex key",
                self.current_text(),
            );
            self.add_error_and_recover(error_msg, SyntaxKind::COLON, ParseErrorKind::Other);
        }

        // Finish the first MAPPING_ENTRY node
        self.builder.finish_node();

        self.skip_ws_and_newlines();

        // Continue parsing more entries if they exist
        while self.current().is_some() {
            let tokens_before_iter = self.tokens.len();
            if self.current() == Some(SyntaxKind::QUESTION) {
                // Switch to explicit key parsing
                self.parse_explicit_key_entries();
                break;
            } else if self.is_complex_mapping_key()
                || (self.is_mapping_key() && self.current() != Some(SyntaxKind::QUESTION))
            {
                // Start a MAPPING_ENTRY for this additional entry
                self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

                // Parse another entry
                self.builder.start_node(SyntaxKind::KEY.into());

                if self.current() == Some(SyntaxKind::LEFT_BRACKET) {
                    self.parse_flow_sequence();
                } else if self.current() == Some(SyntaxKind::LEFT_BRACE) {
                    self.parse_flow_mapping();
                } else if matches!(
                    self.current(),
                    Some(
                        SyntaxKind::STRING
                            | SyntaxKind::INT
                            | SyntaxKind::FLOAT
                            | SyntaxKind::BOOL
                            | SyntaxKind::NULL
                            | SyntaxKind::MERGE_KEY
                    )
                ) {
                    self.bump();
                }
                self.builder.finish_node();

                self.skip_whitespace();

                if self.current() == Some(SyntaxKind::COLON) {
                    self.bump();
                    self.skip_whitespace();

                    self.builder.start_node(SyntaxKind::VALUE.into());
                    if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                        self.parse_value();
                    } else if self.current() == Some(SyntaxKind::NEWLINE) {
                        self.bump();
                        if self.current() == Some(SyntaxKind::INDENT) {
                            self.bump();
                            self.parse_value();
                        }
                    }
                    self.builder.finish_node();
                }

                // Finish the MAPPING_ENTRY node
                self.builder.finish_node();

                self.skip_ws_and_newlines();
            } else {
                break;
            }

            // Progress guard: if is_mapping_key() returned true but nothing
            // consumed the current token (e.g. `]:` at top level), break to
            // avoid an infinite loop.
            if self.tokens.len() == tokens_before_iter {
                let unexpected = self.current_text().unwrap_or("").to_string();
                self.add_error(
                    format!("Unexpected token in complex mapping: {:?}", unexpected),
                    ParseErrorKind::Other,
                );
                self.bump();
            }
        }

        self.builder.finish_node();
    }

    fn parse_explicit_key_entries(&mut self) {
        // Helper to continue parsing explicit key entries within a mapping
        while self.current() == Some(SyntaxKind::QUESTION) {
            // Start a MAPPING_ENTRY to wrap this key-value pair
            self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

            self.bump(); // consume '?'
            self.skip_whitespace();

            self.builder.start_node(SyntaxKind::KEY.into());
            if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                self.parse_value();
            }
            self.builder.finish_node();

            self.skip_ws_and_newlines();

            if self.current() == Some(SyntaxKind::COLON) {
                self.bump();
                self.skip_whitespace();

                self.builder.start_node(SyntaxKind::VALUE.into());
                if self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                    self.parse_value();
                } else if self.current() == Some(SyntaxKind::NEWLINE) {
                    self.bump();
                    if self.current() == Some(SyntaxKind::INDENT) {
                        self.bump();
                        self.parse_value();
                    }
                }
                self.builder.finish_node();
            } else {
                // No value, just a key - create explicit null value
                self.builder.start_node(SyntaxKind::VALUE.into());
                self.builder.start_node(SyntaxKind::SCALAR.into());
                self.builder.token(SyntaxKind::NULL.into(), "");
                self.builder.finish_node();
                self.builder.finish_node();
            }

            // Finish the MAPPING_ENTRY node
            self.builder.finish_node();

            self.skip_ws_and_newlines();
        }
    }

    fn is_complex_mapping_key(&self) -> bool {
        // Check if a flow sequence or mapping is used as a key
        if !matches!(
            self.current(),
            Some(SyntaxKind::LEFT_BRACKET) | Some(SyntaxKind::LEFT_BRACE)
        ) {
            return false;
        }

        // Look ahead to find matching closing bracket/brace and then check for colon
        let mut depth = 0;
        let start_kind = self.current();
        let close_kind = match start_kind {
            Some(SyntaxKind::LEFT_BRACKET) => SyntaxKind::RIGHT_BRACKET,
            Some(SyntaxKind::LEFT_BRACE) => SyntaxKind::RIGHT_BRACE,
            _ => return false,
        };

        let mut found_close = false;
        for kind in self.upcoming_tokens() {
            if !found_close {
                if Some(kind) == start_kind {
                    depth += 1;
                } else if kind == close_kind {
                    if depth == 0 {
                        // Found matching close
                        found_close = true;
                    } else {
                        depth -= 1;
                    }
                }
            } else {
                // We've found the closing bracket/brace, now look for colon
                match kind {
                    SyntaxKind::WHITESPACE | SyntaxKind::INDENT => continue,
                    SyntaxKind::COLON => return true,
                    _ => return false,
                }
            }
        }
        false
    }

    fn parse_mapping_value(&mut self) {
        // When parsing the value part of a mapping, be more conservative about
        // interpreting content as nested mappings. Only parse as mapping if
        // it's clearly a structured value, otherwise parse as scalar.
        match self.current() {
            Some(SyntaxKind::DASH) if !self.in_flow_context => self.parse_sequence(),
            Some(SyntaxKind::ANCHOR) => {
                self.bump(); // consume and emit anchor token to CST
                self.skip_whitespace();
                self.parse_value_with_base_indent(0);
            }
            Some(SyntaxKind::REFERENCE) => self.parse_alias(),
            Some(SyntaxKind::TAG) => self.parse_tagged_value(),
            Some(SyntaxKind::QUESTION) => {
                // Explicit key indicator - parse complex mapping
                self.parse_explicit_key_mapping();
            }
            Some(SyntaxKind::PIPE) => self.parse_literal_block_scalar(),
            Some(SyntaxKind::GREATER) => self.parse_folded_block_scalar(),
            Some(SyntaxKind::LEFT_BRACKET) => {
                // Check if this is a complex key in a mapping
                if !self.in_flow_context && self.is_complex_mapping_key() {
                    self.parse_complex_key_mapping();
                } else {
                    self.parse_flow_sequence();
                }
            }
            Some(SyntaxKind::LEFT_BRACE) => {
                // Check if this is a complex key in a mapping
                if !self.in_flow_context && self.is_complex_mapping_key() {
                    self.parse_complex_key_mapping();
                } else {
                    self.parse_flow_mapping();
                }
            }
            _ => {
                // For all other cases in mapping values, parse as scalar
                // This handles URLs and other complex scalar values containing colons
                self.parse_scalar();
            }
        }
    }

    fn is_mapping_key(&self) -> bool {
        // Check if this is an explicit key indicator
        if self.current() == Some(SyntaxKind::QUESTION) {
            return true;
        }

        // Check if this is a merge key
        if self.current() == Some(SyntaxKind::MERGE_KEY) {
            return true;
        }

        // If current token is a dash, this is not a mapping key
        if self.current() == Some(SyntaxKind::DASH) {
            return false;
        }

        // Look ahead to see if there's a colon after the current token.
        // Plain scalars can contain spaces, so a key may span multiple scalar
        // tokens separated by whitespace before the terminating colon
        // (e.g. `abc cba: value`).
        for kind in self.upcoming_tokens() {
            if kind == SyntaxKind::COLON {
                return true;
            }
            if kind != SyntaxKind::WHITESPACE && !is_plain_scalar_kind(kind) {
                return false;
            }
        }
        false
    }

    fn skip_whitespace(&mut self) {
        self.skip_tokens(&[SyntaxKind::WHITESPACE]);
    }

    fn skip_tokens(&mut self, kinds: &[SyntaxKind]) {
        while let Some(current) = self.current() {
            if kinds.contains(&current) {
                self.bump();
            } else {
                break;
            }
        }
    }

    /// Check if a plain scalar continues on the next line after a NEWLINE
    /// This looks ahead to see if the next line has content at greater indentation
    fn is_plain_scalar_continuation(&self, scalar_indent: usize) -> bool {
        // Current token should be NEWLINE. Peek ahead to see what follows.
        // Tokens are in reverse order, so we look at earlier indices (closer to front)
        let current_idx = self.tokens.len().saturating_sub(1);

        if current_idx == 0 {
            return false; // No more tokens
        }

        // Look at tokens after the NEWLINE
        // Since tokens are reversed, indices before current_idx are "ahead" in the stream
        let mut peek_idx = current_idx.saturating_sub(1);

        // Skip INDENT token if present and extract indentation level
        let next_line_indent = self
            .tokens
            .get(peek_idx)
            .and_then(|(kind, text)| {
                if *kind == SyntaxKind::INDENT {
                    peek_idx = peek_idx.saturating_sub(1);
                    Some(text.len())
                } else {
                    None
                }
            })
            .unwrap_or(0);

        // Skip WHITESPACE tokens
        while self
            .tokens
            .get(peek_idx)
            .is_some_and(|(kind, _)| *kind == SyntaxKind::WHITESPACE)
        {
            peek_idx = peek_idx.saturating_sub(1);
        }

        // Check if we have content token using safe get()
        let has_content = self.tokens.get(peek_idx).is_some_and(|(kind, _)| {
            matches!(
                kind,
                SyntaxKind::STRING
                    | SyntaxKind::INT
                    | SyntaxKind::FLOAT
                    | SyntaxKind::BOOL
                    | SyntaxKind::NULL
                    | SyntaxKind::UNTERMINATED_STRING
            )
        });

        if !has_content || next_line_indent <= scalar_indent {
            return false;
        }

        // Check if the next line is a mapping key (has a COLON after the content)
        // If so, it's not a continuation - it's a new mapping key
        if peek_idx > 0 {
            let mut check_idx = peek_idx.saturating_sub(1);

            // Skip any whitespace after the content
            while self
                .tokens
                .get(check_idx)
                .is_some_and(|(kind, _)| *kind == SyntaxKind::WHITESPACE)
            {
                if check_idx == 0 {
                    break;
                }
                check_idx = check_idx.saturating_sub(1);
            }

            // If we find a COLON, this is a mapping key, not a scalar continuation
            if self
                .tokens
                .get(check_idx)
                .is_some_and(|(kind, _)| *kind == SyntaxKind::COLON)
            {
                return false;
            }
        }

        true
    }

    /// Check if the current position is dedented relative to base_indent.
    /// This is used when we encounter a token (like COMMENT) and need to check if it's dedented.
    /// Returns true if dedent detected.
    fn is_at_dedented_position(&self, base_indent: usize) -> bool {
        // Use the tracked current_line_indent instead of searching backwards through tokens.
        // This works because current_line_indent is updated by bump() when INDENT/NEWLINE
        // tokens are consumed. After skip_whitespace_only_with_dedent_check() consumes
        // whitespace and INDENT tokens, current_line_indent contains the correct indentation
        // level for the current line.
        if base_indent == 0 {
            // At root level (base_indent=0), any indentation means content doesn't belong at root
            self.current_line_indent > 0
        } else {
            // At nested level, check if current line indentation is less than expected
            self.current_line_indent < base_indent
        }
    }

    /// Skip only WHITESPACE, NEWLINE, and INDENT tokens. Returns true if dedent detected.
    /// Does NOT emit COMMENT tokens - caller must handle those separately.
    fn skip_whitespace_only_with_dedent_check(&mut self, base_indent: usize) -> bool {
        while self.current().is_some() {
            match self.current() {
                Some(SyntaxKind::WHITESPACE) => {
                    self.bump();
                }
                Some(SyntaxKind::NEWLINE) => {
                    self.bump();
                    // Check next token for indentation
                    match self.current() {
                        Some(SyntaxKind::INDENT) => {
                            if let Some((_, text)) = self.tokens.last() {
                                if text.len() < base_indent {
                                    // Dedent detected - don't consume the indent token
                                    return true;
                                }
                                if base_indent == 0 && !text.is_empty() {
                                    // At root level, any indentation means content doesn't belong at root
                                    return true;
                                }
                            }
                            self.bump(); // consume indent if at appropriate level
                        }
                        Some(SyntaxKind::COMMENT) => {
                            // COMMENT at column 0 (no INDENT after NEWLINE)
                            if base_indent > 0 {
                                // This is dedented - don't consume it
                                return true;
                            }
                            // base_indent==0, let caller handle the comment
                            return false;
                        }
                        Some(SyntaxKind::WHITESPACE) | Some(SyntaxKind::NEWLINE) => {
                            // More whitespace, continue loop
                        }
                        None => {
                            // End of input
                            return false;
                        }
                        _ => {
                            // Content at column 0
                            if base_indent > 0 {
                                return true; // dedent detected
                            }
                            // base_indent==0, let caller handle
                            return false;
                        }
                    }
                }
                Some(SyntaxKind::INDENT) => {
                    // Standalone indent token (NEWLINE was consumed by prior entry)
                    if let Some((_, text)) = self.tokens.last() {
                        if text.len() < base_indent {
                            return true; // dedent detected
                        }
                    }
                    self.bump();
                }
                _ => {
                    // Content or COMMENT found, stop skipping
                    return false;
                }
            }
        }
        false
    }

    fn skip_ws_and_newlines(&mut self) {
        self.skip_tokens(&[
            SyntaxKind::WHITESPACE,
            SyntaxKind::NEWLINE,
            SyntaxKind::INDENT,
            SyntaxKind::COMMENT,
        ]);
    }

    fn parse_mapping_key_value_pair(&mut self, base_indent: usize) {
        // Start MAPPING_ENTRY node to wrap the entire key-value pair
        self.builder.start_node(SyntaxKind::MAPPING_ENTRY.into());

        // Parse regular key
        self.builder.start_node(SyntaxKind::KEY.into());

        // Handle anchor before key (&a a:)
        if self.current() == Some(SyntaxKind::ANCHOR) {
            self.bump(); // consume and emit anchor token to CST
            self.skip_whitespace();
        }

        if self.current() == Some(SyntaxKind::MERGE_KEY) {
            self.builder.start_node(SyntaxKind::SCALAR.into());
            self.bump(); // consume the merge key token
            self.builder.finish_node(); // SCALAR
        } else if self.current() == Some(SyntaxKind::REFERENCE) {
            // Handle alias as key (*b:)
            self.parse_alias();
        } else if self.current().is_some_and(is_plain_scalar_kind) {
            self.builder.start_node(SyntaxKind::SCALAR.into());
            self.bump();
            // Plain scalars can contain spaces, so absorb any following
            // whitespace + scalar tokens until we reach the terminating colon
            // (e.g. `abc cba: value`).
            while self.current() == Some(SyntaxKind::WHITESPACE)
                && self
                    .upcoming_tokens()
                    .next()
                    .is_some_and(is_plain_scalar_kind)
            {
                self.bump(); // WHITESPACE inside the plain scalar
                self.bump(); // next scalar segment
            }
            self.builder.finish_node(); // SCALAR
        }
        self.builder.finish_node(); // KEY

        self.skip_whitespace();

        // Expect colon
        if self.current() == Some(SyntaxKind::COLON) {
            self.bump();
            self.skip_whitespace();

            // Parse value - wrap in VALUE node
            self.builder.start_node(SyntaxKind::VALUE.into());
            let mut has_value = false;
            if self.current().is_some()
                && self.current() != Some(SyntaxKind::NEWLINE)
                && self.current() != Some(SyntaxKind::COMMENT)
            {
                // Inline value on the same line as the colon
                self.parse_mapping_value();
                has_value = true;

                // Capture any trailing whitespace and comment on the same line (before NEWLINE)
                // This keeps inline comments like "value  # comment" together in the VALUE node
                if self.current() == Some(SyntaxKind::WHITESPACE) {
                    self.bump(); // emit whitespace inside VALUE
                }
                if self.current() == Some(SyntaxKind::COMMENT) {
                    self.bump(); // emit inline comment inside VALUE
                }
            } else if self.current() == Some(SyntaxKind::COMMENT) {
                // Comment after colon with no inline value
                // The comment belongs to the VALUE, and any indented content after it
                // also belongs to this VALUE (e.g., "key:  # comment\n  nested: value")
                self.bump(); // consume comment inside VALUE

                if self.current() == Some(SyntaxKind::NEWLINE) {
                    self.bump(); // consume newline inside VALUE

                    if self.current() == Some(SyntaxKind::INDENT) {
                        let indent_level =
                            self.tokens.last().map(|(_, text)| text.len()).unwrap_or(0);
                        self.bump(); // consume indent inside VALUE
                                     // Parse the indented content as part of this VALUE
                        self.parse_value_with_base_indent(indent_level);
                        has_value = true;
                    }
                }
                // If no indented content follows the comment, has_value stays false → implicit null
            } else if self.current() == Some(SyntaxKind::NEWLINE) {
                self.skip_ws_and_newlines();
                if self.current_line_indent > base_indent {
                    // Nested value is more indented than the enclosing mapping's
                    // base indent — belongs to this key.
                    self.parse_value_with_base_indent(self.current_line_indent);
                    has_value = true;
                } else if self.current_line_indent == base_indent
                    && self.current() == Some(SyntaxKind::DASH)
                {
                    // Zero-indented sequence (same indentation as key)
                    // This is valid YAML: the sequence is the value for the key
                    self.parse_sequence_with_base_indent(base_indent);
                    has_value = true;
                }
                // Otherwise the "value" would be at the parent's indent or
                // less, so this key has an implicit null value and what
                // follows is a sibling entry.
            }

            // If no value present, create an implicit null scalar
            if !has_value {
                self.builder.start_node(SyntaxKind::SCALAR.into());
                self.builder.token(SyntaxKind::NULL.into(), "");
                self.builder.finish_node();
            }

            self.builder.finish_node(); // VALUE
        } else {
            let error_msg = self.create_detailed_error(
                "Missing colon in mapping",
                "':' after key",
                self.current_text(),
            );
            self.add_error_and_recover(error_msg, SyntaxKind::COLON, ParseErrorKind::Other);
        }

        // Consume any trailing inline whitespace before closing MAPPING_ENTRY
        // Note: Inline comments are consumed within the VALUE node itself.
        // Any COMMENT token here would be on a separate line and should not
        // be consumed as part of this entry (it may be dedented).
        while self.current() == Some(SyntaxKind::WHITESPACE) {
            self.bump();
        }

        // Block-style entries own their NEWLINE terminator (DESIGN.md)
        if self.current() == Some(SyntaxKind::NEWLINE) {
            self.bump();
        }

        // Finish MAPPING_ENTRY node
        self.builder.finish_node();
    }

    fn bump(&mut self) {
        if let Some((kind, text)) = self.tokens.pop() {
            // Track line indentation for plain scalar continuation
            match kind {
                SyntaxKind::INDENT => {
                    self.current_line_indent = text.len();
                }
                SyntaxKind::NEWLINE => {
                    // Reset to 0 until we see the next INDENT
                    self.current_line_indent = 0;
                }
                SyntaxKind::DASH => {
                    self.current_line_indent += text.len();
                }
                _ => {}
            }

            self.builder.token(kind.into(), &text);
            if self.current_token_index > 0 {
                self.current_token_index -= 1;
            }
            // Update error context position
            self.error_context.advance(text.len());
        }
    }

    fn current(&self) -> Option<SyntaxKind> {
        self.tokens.last().map(|(kind, _)| *kind)
    }

    fn current_text(&self) -> Option<&str> {
        self.tokens.last().map(|(_, text)| text.as_str())
    }

    /// Iterator over upcoming tokens starting from the next token (not current)
    fn upcoming_tokens(&self) -> impl Iterator<Item = SyntaxKind> + '_ {
        // Since tokens are in reverse order (last is current), we need to iterate
        // from the second-to-last token backwards to the beginning
        let len = self.tokens.len();
        (0..len.saturating_sub(1))
            .rev()
            .map(move |i| self.tokens[i].0)
    }

    fn add_error(&mut self, message: String, kind: ParseErrorKind) {
        // Create positioned error with line/column info
        let token_len = self.current_text().map(|s| s.len()).unwrap_or(1);
        let positioned_error = self.error_context.create_error(message, token_len, kind);

        self.errors.push(positioned_error.message.clone());
        self.positioned_errors.push(positioned_error);
    }

    /// Add an error with recovery
    fn add_error_and_recover(
        &mut self,
        message: String,
        expected: SyntaxKind,
        kind: ParseErrorKind,
    ) {
        self.add_error(message, kind);

        // Determine recovery strategy
        let found = self.current();
        let strategy = self.error_context.suggest_recovery(expected, found);

        match strategy {
            RecoveryStrategy::SkipToken => {
                // Skip the problematic token
                if self.current().is_some() {
                    self.bump();
                }
            }
            RecoveryStrategy::SkipToEndOfLine => {
                // Skip to end of line
                while self.current().is_some() && self.current() != Some(SyntaxKind::NEWLINE) {
                    self.bump();
                }
            }
            RecoveryStrategy::InsertToken(kind) => {
                // Insert synthetic token
                self.builder.token(kind.into(), "");
            }
            RecoveryStrategy::SyncToSafePoint => {
                // Find next safe synchronization point
                let sync_point = self
                    .error_context
                    .find_sync_point(&self.tokens, self.tokens.len() - self.current_token_index);
                let tokens_to_skip = sync_point - (self.tokens.len() - self.current_token_index);
                for _ in 0..tokens_to_skip {
                    if self.current().is_some() {
                        self.bump();
                    }
                }
            }
        }
    }

    /// Create a detailed error message with helpful suggestions
    fn create_detailed_error(
        &self,
        base_message: &str,
        expected: &str,
        found: Option<&str>,
    ) -> String {
        let mut builder = ErrorBuilder::new(base_message);
        builder = builder.expected(expected);

        if let Some(found_str) = found {
            builder = builder.found(found_str);
        } else if let Some(token) = self.current_text() {
            builder = builder.found(format!("'{}'", token));
        } else {
            builder = builder.found("end of input");
        }

        // Add context
        let context = match self.error_context.current_context() {
            ParseContext::Mapping => "in mapping",
            ParseContext::Sequence => "in sequence",
            ParseContext::FlowMapping => "in flow mapping",
            ParseContext::FlowSequence => "in flow sequence",
            ParseContext::BlockScalar => "in block scalar",
            ParseContext::QuotedString => "in quoted string",
            _ => "at document level",
        };
        builder = builder.context(context);

        // Add helpful suggestions based on the error type
        let suggestion = self.get_error_suggestion(base_message, expected, found);
        if let Some(suggestion_text) = suggestion {
            builder = builder.suggestion(suggestion_text);
        }

        builder.build()
    }

    /// Generate helpful suggestions for common errors
    fn get_error_suggestion(
        &self,
        base_message: &str,
        expected: &str,
        found: Option<&str>,
    ) -> Option<String> {
        if base_message.contains("Unterminated quoted string") {
            return Some(
                "Add closing quote or check for unescaped quotes within the string".to_string(),
            );
        }

        if base_message.contains("Missing colon") || expected.contains("':'") {
            return Some("Add ':' after the key, or check for proper indentation".to_string());
        }

        if base_message.contains("Unclosed flow sequence") {
            return Some(
                "Add ']' to close the array, or check for missing commas between elements"
                    .to_string(),
            );
        }

        if base_message.contains("Unclosed flow mapping") {
            return Some(
                "Add '}' to close the object, or check for missing commas between key-value pairs"
                    .to_string(),
            );
        }

        if let Some(found_text) = found {
            if found_text.contains('\n') {
                return Some(
                    "Unexpected newline - check indentation and YAML structure".to_string(),
                );
            }

            if found_text.contains('\t') {
                return Some(
                    "Tabs are not allowed in YAML - use spaces for indentation".to_string(),
                );
            }
        }

        None
    }
}

/// Parse YAML text
pub(crate) fn parse(text: &str) -> ParsedYaml {
    let parser = Parser::new(text);
    parser.parse()
}

// Editing methods for Sequence

#[cfg(test)]
mod tests {
    use super::*;
    use crate::builder::{MappingBuilder, SequenceBuilder};
    use crate::scalar::ScalarValue;
    use crate::value::YamlValue; // For special collections tests

    #[test]
    fn test_simple_mapping() {
        let yaml = "key: value";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().unwrap();
        let mapping = doc.as_mapping().unwrap();

        // Basic structure test
        assert_eq!(parsed.to_string().trim(), "key: value");

        // Test get functionality
        let value = mapping.get("key");
        assert!(value.is_some());
    }

    #[test]
    fn test_simple_sequence() {
        let yaml = "- item1\n- item2";
        let parsed = YamlFile::from_str(yaml);
        assert!(parsed.is_ok());
    }

    #[test]
    fn test_complex_yaml() {
        let yaml = r#"
name: my-app
version: 1.0.0
dependencies:
  - serde
  - tokio
config:
  port: 8080
  enabled: true
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert_eq!(parsed.documents().count(), 1);

        let doc = parsed.document().unwrap();
        assert!(doc.as_mapping().is_some());
    }

    #[test]
    fn test_multiple_documents() {
        let yaml = r#"---
doc: first
---
doc: second
...
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert_eq!(parsed.documents().count(), 2);
    }

    #[test]
    fn test_flow_styles() {
        let yaml = r#"
array: [1, 2, 3]
object: {key: value, another: 42}
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert!(parsed.document().is_some());
    }

    #[test]
    fn test_scalar_types_parsing() {
        let yaml = r#"
string: hello
integer: 42
float: 3.14
bool_true: true
bool_false: false
null_value: null
tilde: ~
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().unwrap();
        let mapping = doc.as_mapping().unwrap();

        // All keys should be accessible
        assert!(mapping.get("string").is_some());
        assert!(mapping.get("integer").is_some());
        assert!(mapping.get("float").is_some());
        assert!(mapping.get("bool_true").is_some());
        assert!(mapping.get("bool_false").is_some());
        assert!(mapping.get("null_value").is_some());
        assert!(mapping.get("tilde").is_some());
    }

    #[test]
    fn test_preserve_formatting() {
        let yaml = r#"# Comment at start
key:   value    # inline comment

# Another comment
list:
  - item1   
  - item2
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();

        let doc = parsed.document().unwrap();
        let mapping = doc.as_mapping().unwrap();
        assert_eq!(
            mapping.get("key").unwrap().as_scalar().unwrap().as_string(),
            "value"
        );
        let list = mapping.get_sequence("list").unwrap();
        assert_eq!(list.len(), 2);
        // Note: to_string() preserves trailing spaces, so we check content with trim
        let items: Vec<String> = list
            .values()
            .map(|v| v.to_string().trim().to_string())
            .collect();
        assert_eq!(items, vec!["item1", "item2"]);

        // Verify exact lossless round-trip
        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_quoted_strings() {
        let yaml = r#"
single: 'single quoted'
double: "double quoted"
plain: unquoted
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().unwrap();
        let mapping = doc.as_mapping().unwrap();

        assert!(mapping.get("single").is_some());
        assert!(mapping.get("double").is_some());
        assert!(mapping.get("plain").is_some());
    }

    #[test]
    fn test_nested_structures() {
        let yaml = r#"
root:
  nested:
    deeply:
      value: 42
  list:
    - item1
    - item2
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert!(parsed.document().is_some());
    }

    #[test]
    fn test_empty_values() {
        let yaml = r#"
empty_string: ""
empty_after_colon:
another_key: value
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().unwrap();
        let mapping = doc.as_mapping().unwrap();

        assert!(mapping.get("empty_string").is_some());
        assert!(mapping.get("another_key").is_some());
    }

    #[test]
    fn test_special_characters() {
        let yaml = r#"
special: "line1\nline2"
unicode: "emoji 😀"
escaped: 'it\'s escaped'
"#;
        let result = YamlFile::from_str(yaml);
        // Should parse without panicking
        assert!(result.is_ok());
    }

    // Editing tests

    #[test]
    fn test_error_handling() {
        // Invalid YAML should return error
        let yaml = "key: value\n  invalid indentation for key";
        let result = YamlFile::from_str(yaml);
        // For now, just check it doesn't panic
        let _ = result;
    }

    // Directive tests

    #[test]
    fn test_anchor_exact_output() {
        let yaml = "key: &anchor value\nref: *anchor";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let output = parsed.to_string();

        // Test exact output to ensure no duplication
        assert_eq!(output, "key: &anchor value\nref: *anchor");
    }

    #[test]
    fn test_anchor_with_different_value_types() {
        let yaml = r#"string_anchor: &str_val "hello"
int_anchor: &int_val 42
bool_anchor: &bool_val true
null_anchor: &null_val null
str_ref: *str_val
int_ref: *int_val
bool_ref: *bool_val
null_ref: *null_val"#;

        let parsed = YamlFile::from_str(yaml);
        assert!(
            parsed.is_ok(),
            "Should parse anchors with different value types"
        );

        let yaml_doc = parsed.unwrap();

        let doc = yaml_doc.document().unwrap();
        let mapping = doc.as_mapping().unwrap();

        // Check anchor definitions
        assert_eq!(
            mapping
                .get("string_anchor")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "hello"
        );
        assert_eq!(mapping.get("int_anchor").unwrap().to_i64(), Some(42));
        assert_eq!(mapping.get("bool_anchor").unwrap().to_bool(), Some(true));
        assert!(mapping.get("null_anchor").unwrap().as_scalar().is_some());

        // Check alias references
        let str_ref = mapping.get("str_ref").unwrap();
        assert!(str_ref.is_alias());
        assert_eq!(str_ref.as_alias().unwrap().name(), "str_val");

        let int_ref = mapping.get("int_ref").unwrap();
        assert!(int_ref.is_alias());
        assert_eq!(int_ref.as_alias().unwrap().name(), "int_val");

        let bool_ref = mapping.get("bool_ref").unwrap();
        assert!(bool_ref.is_alias());
        assert_eq!(bool_ref.as_alias().unwrap().name(), "bool_val");

        let null_ref = mapping.get("null_ref").unwrap();
        assert!(null_ref.is_alias());
        assert_eq!(null_ref.as_alias().unwrap().name(), "null_val");

        // Verify exact round-trip preservation
        let output = yaml_doc.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_undefined_alias_parses_successfully() {
        let yaml = "key: *undefined";
        let parse_result = Parse::parse_yaml(yaml);

        // Parser should NOT validate undefined aliases - that's semantic analysis
        // The parser just builds the CST
        assert!(
            !parse_result.has_errors(),
            "Parser should not validate undefined aliases"
        );

        // The alias should be preserved in the output
        let output = parse_result.tree().to_string();
        assert_eq!(output.trim(), "key: *undefined");
    }

    #[test]
    fn test_anchor_names_with_alphanumeric_chars() {
        // Test valid anchor names with underscores and numbers (YAML spec compliant)
        let yaml1 = "key1: &anchor_123 val1\nref1: *anchor_123";
        let parsed1 = YamlFile::from_str(yaml1);
        assert!(
            parsed1.is_ok(),
            "Should parse anchors with underscores and numbers"
        );

        let file1 = parsed1.unwrap();
        let doc1 = file1.document().unwrap();
        let map1 = doc1.as_mapping().unwrap();
        assert_eq!(
            map1.get("key1").unwrap().as_scalar().unwrap().as_string(),
            "val1"
        );
        assert!(map1.get("ref1").unwrap().is_alias());
        assert_eq!(
            map1.get("ref1").unwrap().as_alias().unwrap().name(),
            "anchor_123"
        );
        assert_eq!(file1.to_string(), yaml1);

        let yaml2 = "key2: &AnchorName val2\nref2: *AnchorName";
        let parsed2 = YamlFile::from_str(yaml2);
        assert!(parsed2.is_ok(), "Should parse anchors with mixed case");

        let file2 = parsed2.unwrap();
        let doc2 = file2.document().unwrap();
        let map2 = doc2.as_mapping().unwrap();
        assert_eq!(
            map2.get("key2").unwrap().as_scalar().unwrap().as_string(),
            "val2"
        );
        assert!(map2.get("ref2").unwrap().is_alias());
        assert_eq!(
            map2.get("ref2").unwrap().as_alias().unwrap().name(),
            "AnchorName"
        );
        assert_eq!(file2.to_string(), yaml2);

        let yaml3 = "key3: &anchor123abc val3\nref3: *anchor123abc";
        let parsed3 = YamlFile::from_str(yaml3);
        assert!(
            parsed3.is_ok(),
            "Should parse anchors with letters and numbers"
        );

        let file3 = parsed3.unwrap();
        let doc3 = file3.document().unwrap();
        let map3 = doc3.as_mapping().unwrap();
        assert_eq!(
            map3.get("key3").unwrap().as_scalar().unwrap().as_string(),
            "val3"
        );
        assert!(map3.get("ref3").unwrap().is_alias());
        assert_eq!(
            map3.get("ref3").unwrap().as_alias().unwrap().name(),
            "anchor123abc"
        );
        assert_eq!(file3.to_string(), yaml3);
    }

    #[test]
    fn test_anchor_in_sequence_detailed() {
        let yaml = r#"items:
  - &first_item value1
  - second_item
  - *first_item"#;

        let parsed = YamlFile::from_str(yaml);
        assert!(parsed.is_ok(), "Should parse anchors in sequences");

        let yaml_doc = parsed.unwrap();

        let doc = yaml_doc.document().unwrap();
        let mapping = doc.as_mapping().unwrap();
        let seq = mapping.get_sequence("items").unwrap();
        assert_eq!(seq.len(), 3);

        // Check that item 0 has the anchor definition and item 2 is an alias
        let item0 = seq.get(0).unwrap();
        let item1 = seq.get(1).unwrap();
        let item2 = seq.get(2).unwrap();

        // Item 0 should be a scalar with value "value1" (with anchor)
        assert_eq!(item0.as_scalar().unwrap().as_string(), "value1");

        // Item 1 should be a regular scalar
        assert_eq!(item1.as_scalar().unwrap().as_string(), "second_item");

        // Item 2 should be an alias
        assert!(item2.is_alias(), "Third item should be an alias");
        assert_eq!(item2.as_alias().unwrap().name(), "first_item");

        let output = yaml_doc.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_preserve_whitespace_around_anchors() {
        let yaml = "key:  &anchor   value  \nref:  *anchor  ";
        let parsed = YamlFile::from_str(yaml).unwrap();

        let doc = parsed.document().unwrap();
        let mapping = doc.as_mapping().unwrap();
        assert_eq!(
            mapping
                .get("key")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string()
                .trim(),
            "value"
        );
        let ref_node = mapping.get("ref").unwrap();
        assert!(ref_node.is_alias());
        assert_eq!(ref_node.as_alias().unwrap().name(), "anchor");

        // Verify exact round-trip (preserves whitespace)
        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_literal_block_scalar_basic() {
        let yaml = r#"literal: |
  Line 1
  Line 2
  Line 3
"#;
        let parsed = YamlFile::from_str(yaml);
        assert!(parsed.is_ok(), "Should parse basic literal block scalar");

        let yaml_doc = parsed.unwrap();
        let output = yaml_doc.to_string();

        // Should preserve the literal block scalar format exactly
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_folded_block_scalar_basic() {
        let yaml = r#"folded: >
  This is a very long line that will be folded
  into a single line in the output
  but preserves paragraph breaks.

  This is a new paragraph.
"#;
        let parsed = YamlFile::from_str(yaml);
        assert!(parsed.is_ok(), "Should parse basic folded block scalar");

        let yaml_doc = parsed.unwrap();
        let output = yaml_doc.to_string();

        // Should preserve the folded block scalar format exactly
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_literal_block_scalar_with_chomping_indicators() {
        // Test strip indicator (-)
        let yaml1 = r#"strip: |-
  Line 1
  Line 2

"#;
        let parsed1 = YamlFile::from_str(yaml1);
        assert!(
            parsed1.is_ok(),
            "Should parse literal block scalar with strip indicator"
        );

        let file1 = parsed1.unwrap();
        let doc1 = file1.document().unwrap();
        let mapping1 = doc1.as_mapping().unwrap();
        let value1 = mapping1
            .get("strip")
            .unwrap()
            .as_scalar()
            .unwrap()
            .as_string();
        assert_eq!(value1, "Line 1\nLine 2");

        let output1 = file1.to_string();
        assert_eq!(output1, yaml1);

        // Test keep indicator (+)
        let yaml2 = r#"keep: |+
  Line 1
  Line 2

"#;
        let parsed2 = YamlFile::from_str(yaml2);
        assert!(
            parsed2.is_ok(),
            "Should parse literal block scalar with keep indicator"
        );

        let file2 = parsed2.unwrap();
        let doc2 = file2.document().unwrap();
        let mapping2 = doc2.as_mapping().unwrap();
        let value2 = mapping2
            .get("keep")
            .unwrap()
            .as_scalar()
            .unwrap()
            .as_string();
        assert_eq!(value2, "Line 1\nLine 2\n\n");

        let output2 = file2.to_string();
        assert_eq!(output2, yaml2);
    }

    #[test]
    fn test_folded_block_scalar_with_chomping_indicators() {
        // Test strip indicator (-)
        let yaml1 = r#"strip: >-
  Folded content that should
  be stripped of final newlines
"#;
        let parsed1 = YamlFile::from_str(yaml1);
        assert!(
            parsed1.is_ok(),
            "Should parse folded block scalar with strip indicator"
        );

        let file1 = parsed1.unwrap();
        let doc1 = file1.document().unwrap();
        let mapping1 = doc1.as_mapping().unwrap();
        let value1 = mapping1
            .get("strip")
            .unwrap()
            .as_scalar()
            .unwrap()
            .as_string();
        assert_eq!(
            value1,
            "Folded content that should be stripped of final newlines"
        );

        let output1 = file1.to_string();
        assert_eq!(output1, yaml1);

        // Test keep indicator (+)
        let yaml2 = r#"keep: >+
  Folded content that should
  keep all final newlines

"#;
        let parsed2 = YamlFile::from_str(yaml2);
        assert!(
            parsed2.is_ok(),
            "Should parse folded block scalar with keep indicator"
        );

        let file2 = parsed2.unwrap();
        let doc2 = file2.document().unwrap();
        let mapping2 = doc2.as_mapping().unwrap();
        let value2 = mapping2
            .get("keep")
            .unwrap()
            .as_scalar()
            .unwrap()
            .as_string();
        assert_eq!(
            value2,
            "Folded content that should keep all final newlines\n\n"
        );

        let output2 = file2.to_string();
        assert_eq!(output2, yaml2);
    }

    #[test]
    fn test_block_scalar_with_explicit_indentation() {
        let yaml1 = r#"explicit: |2
    Two space indent
    Another line
"#;
        let parsed1 = YamlFile::from_str(yaml1)
            .expect("Should parse literal block scalar with explicit indentation");

        let doc1 = parsed1.document().expect("Should have document");
        let mapping1 = doc1.as_mapping().expect("Should be a mapping");
        let scalar1 = mapping1
            .get("explicit")
            .expect("Should have 'explicit' key");
        assert_eq!(
            scalar1.as_scalar().unwrap().as_string(),
            "Two space indent\nAnother line\n"
        );

        let output1 = parsed1.to_string();
        assert_eq!(output1, yaml1);

        let yaml2 = r#"folded_explicit: >3
      Three space indent
      Another folded line
"#;
        let parsed2 = YamlFile::from_str(yaml2)
            .expect("Should parse folded block scalar with explicit indentation");

        let doc2 = parsed2.document().expect("Should have document");
        let mapping2 = doc2.as_mapping().expect("Should be a mapping");
        let scalar2 = mapping2
            .get("folded_explicit")
            .expect("Should have 'folded_explicit' key");
        assert_eq!(
            scalar2.as_scalar().unwrap().as_string(),
            "Three space indent Another folded line\n"
        );

        let output2 = parsed2.to_string();
        assert_eq!(output2, yaml2);
    }

    #[test]
    fn test_block_scalar_in_mapping() {
        let yaml = r#"description: |
  This is a multi-line
  description that should
  preserve line breaks.

  It can have multiple paragraphs too.

summary: >
  This is a summary that
  should be folded into
  a single line.

version: "1.0"
"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should parse block scalars in mapping context");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        let description = mapping
            .get("description")
            .expect("Should have 'description' key");
        assert_eq!(
            description.as_scalar().unwrap().as_string(),
            "This is a multi-line\ndescription that should\npreserve line breaks.\n\nIt can have multiple paragraphs too.\n"
        );

        let summary = mapping.get("summary").expect("Should have 'summary' key");
        assert_eq!(
            summary.as_scalar().unwrap().as_string(),
            "This is a summary that should be folded into a single line.\n"
        );

        let version = mapping.get("version").expect("Should have 'version' key");
        assert_eq!(version.as_scalar().unwrap().as_string(), "1.0");

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_mixed_block_and_regular_scalars() {
        let yaml = r#"config:
  name: "My App"
  description: |
    This application does many things:
    - Feature 1
    - Feature 2
    - Feature 3
  summary: >
    A brief summary that spans
    multiple lines but should
    be folded together.
  version: 1.0
  enabled: true
"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should parse mixed block and regular scalars");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");
        let config_node = mapping.get("config").expect("Should have 'config' key");
        let config = config_node
            .as_mapping()
            .expect("Should be a nested mapping");

        assert_eq!(
            config.get("name").unwrap().as_scalar().unwrap().as_string(),
            "My App"
        );
        assert_eq!(
            config
                .get("description")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "This application does many things:\n- Feature 1\n- Feature 2\n- Feature 3\n"
        );
        assert_eq!(
            config
                .get("summary")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "A brief summary that spans multiple lines but should be folded together.\n"
        );
        assert_eq!(
            config
                .get("version")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "1.0"
        );
        assert_eq!(config.get("enabled").unwrap().to_bool(), Some(true));

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_edge_cases() {
        // Edge case: block scalar where the next line becomes its content
        // When a block scalar has no indented content, the next line at the same level
        // is treated as content, not as a new key
        let yaml1 = r#"empty_literal: |
empty_folded: >
"#;
        let parsed1 = YamlFile::from_str(yaml1).expect("Should parse this edge case");

        // Verify API access - the "empty_folded: >" line is the CONTENT of empty_literal!
        let doc1 = parsed1.document().expect("Should have document");
        let mapping1 = doc1.as_mapping().expect("Should be a mapping");
        assert_eq!(mapping1.len(), 1, "Should have only one key");
        assert_eq!(
            mapping1
                .get("empty_literal")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "empty_folded: >\n"
        );

        assert_eq!(parsed1.to_string(), yaml1);

        // Block scalar with only whitespace
        let yaml2 = r#"whitespace: |


"#;
        let parsed2 =
            YamlFile::from_str(yaml2).expect("Should parse block scalar with only whitespace");

        assert_eq!(parsed2.to_string(), yaml2);

        // Block scalar followed immediately by another key
        let yaml3 = r#"first: |
  Content
second: value
"#;
        let parsed3 =
            YamlFile::from_str(yaml3).expect("Should parse block scalar followed by other keys");

        let doc3 = parsed3.document().expect("Should have document");
        let mapping3 = doc3.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping3
                .get("first")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Content\n"
        );
        assert_eq!(
            mapping3
                .get("second")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "value"
        );

        let output3 = parsed3.to_string();
        assert_eq!(output3, yaml3);
    }

    #[test]
    fn test_literal_block_scalar_advanced_formatting() {
        let yaml = r#"poem: |
  Roses are red,
  Violets are blue,
  YAML is great,
  And so are you!

  This is another stanza
  with different content.
    And this line has extra indentation.
  Back to normal indentation.

  Final stanza.
"#;
        let parsed = YamlFile::from_str(yaml).expect("Should parse complex literal block scalar");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");
        let poem = mapping.get("poem").expect("Should have 'poem' key");
        let expected_content = "Roses are red,\nViolets are blue,\nYAML is great,\nAnd so are you!\n\nThis is another stanza\nwith different content.\n  And this line has extra indentation.\nBack to normal indentation.\n\nFinal stanza.\n";
        assert_eq!(poem.as_scalar().unwrap().as_string(), expected_content);

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_folded_block_scalar_paragraph_handling() {
        let yaml = r#"description: >
  This is the first paragraph that should
  be folded into a single line when processed
  by a YAML parser.

  This is a second paragraph that should
  also be folded but kept separate from
  the first paragraph.


  This is a third paragraph after
  multiple blank lines.

  Final paragraph.
"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should parse folded block scalar with paragraphs");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");
        let description = mapping
            .get("description")
            .expect("Should have 'description' key");
        let expected_content = "This is the first paragraph that should be folded into a single line when processed by a YAML parser.\nThis is a second paragraph that should also be folded but kept separate from the first paragraph.\nThis is a third paragraph after multiple blank lines.\nFinal paragraph.\n";
        assert_eq!(
            description.as_scalar().unwrap().as_string(),
            expected_content
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalars_with_special_characters() {
        let yaml = r#"special_chars: |
  Line with colons: key: value
  Line with dashes - and more - dashes
  Line with quotes "double" and 'single'
  Line with brackets [array] and braces {object}
  Line with pipes | and greater than >
  Line with at @ and hash # symbols
  Line with percent % and exclamation !

backslash_test: >
  This line has a backslash \ in it
  And this line has multiple \\ backslashes

unicode_test: |
  This line has unicode: 你好世界
  And emojis: 🚀 🎉 ✨
"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should parse block scalars with special characters");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        let special_chars = mapping
            .get("special_chars")
            .expect("Should have 'special_chars' key");
        assert_eq!(
            special_chars.as_scalar().unwrap().as_string(),
            "Line with colons: key: value\nLine with dashes - and more - dashes\nLine with quotes \"double\" and 'single'\nLine with brackets [array] and braces {object}\nLine with pipes | and greater than >\nLine with at @ and hash # symbols\nLine with percent % and exclamation !\n"
        );

        let backslash_test = mapping
            .get("backslash_test")
            .expect("Should have 'backslash_test' key");
        assert_eq!(
            backslash_test.as_scalar().unwrap().as_string(),
            "This line has a backslash \\ in it And this line has multiple \\\\ backslashes\n"
        );

        let unicode_test = mapping
            .get("unicode_test")
            .expect("Should have 'unicode_test' key");
        assert_eq!(
            unicode_test.as_scalar().unwrap().as_string(),
            "This line has unicode: 你好世界\nAnd emojis: 🚀 🎉 ✨\n"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_chomping_detailed() {
        // Test clip indicator (default - no explicit indicator)
        let yaml_clip = r#"clip: |
  Line 1
  Line 2

"#;
        let parsed_clip =
            YamlFile::from_str(yaml_clip).expect("Should parse block scalar with default clipping");

        // Verify API access - clip removes trailing newlines except one
        let doc_clip = parsed_clip.document().expect("Should have document");
        let mapping_clip = doc_clip.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping_clip
                .get("clip")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Line 1\nLine 2\n"
        );

        assert_eq!(parsed_clip.to_string(), yaml_clip);

        // Test strip indicator (-)
        let yaml_strip = r#"strip: |-
  Line 1
  Line 2



"#;
        let parsed_strip =
            YamlFile::from_str(yaml_strip).expect("Should parse block scalar with strip indicator");

        // Verify API access - strip removes all trailing newlines
        let doc_strip = parsed_strip.document().expect("Should have document");
        let mapping_strip = doc_strip.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping_strip
                .get("strip")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Line 1\nLine 2"
        );

        assert_eq!(parsed_strip.to_string(), yaml_strip);

        // Test keep indicator (+)
        let yaml_keep = r#"keep: |+
  Line 1
  Line 2



"#;
        let parsed_keep =
            YamlFile::from_str(yaml_keep).expect("Should parse block scalar with keep indicator");

        // Verify API access - keep preserves all trailing newlines
        let doc_keep = parsed_keep.document().expect("Should have document");
        let mapping_keep = doc_keep.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping_keep
                .get("keep")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Line 1\nLine 2\n\n\n\n"
        );

        assert_eq!(parsed_keep.to_string(), yaml_keep);
    }

    #[test]
    fn test_block_scalar_explicit_indentation_detailed() {
        // Test individual cases to isolate the issue
        let yaml1 = r#"indent1: |1
 Single space indent
"#;
        let parsed1 = YamlFile::from_str(yaml1);
        assert!(parsed1.is_ok(), "Should parse |1 block scalar");
        let output1 = parsed1.unwrap().to_string();
        assert_eq!(output1, yaml1);

        let yaml2 = r#"indent2: |2
  Two space indent
"#;
        let parsed2 = YamlFile::from_str(yaml2);
        assert!(parsed2.is_ok(), "Should parse |2 block scalar");
        let output2 = parsed2.unwrap().to_string();
        assert_eq!(output2, yaml2);

        let yaml3 = r#"folded_indent: >2
  Two space folded
  content spans lines
"#;
        let parsed3 = YamlFile::from_str(yaml3);
        assert!(parsed3.is_ok(), "Should parse >2 folded block scalar");
        let output3 = parsed3.unwrap().to_string();
        assert_eq!(output3, yaml3);
    }

    #[test]
    fn test_block_scalar_combined_indicators() {
        let yaml = r#"strip_with_indent: |2-
  Content with explicit indent
  and strip chomping


keep_with_indent: >3+
   Content with explicit indent
   and keep chomping



folded_strip: >-
  Folded content
  with strip indicator

literal_keep: |+
  Literal content
  with keep indicator


"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should parse block scalars with combined indicators");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        assert_eq!(
            mapping
                .get("strip_with_indent")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Content with explicit indent\nand strip chomping"
        );
        assert_eq!(
            mapping
                .get("keep_with_indent")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Content with explicit indent and keep chomping\n\n\n\n"
        );
        assert_eq!(
            mapping
                .get("folded_strip")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Folded content with strip indicator"
        );
        assert_eq!(
            mapping
                .get("literal_keep")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Literal content\nwith keep indicator\n\n\n"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_whitespace_and_empty() {
        // Block scalar with only whitespace lines
        let yaml1 = r#"whitespace_only: |



"#;
        let parsed1 =
            YamlFile::from_str(yaml1).expect("Should handle block scalar with only whitespace");

        let doc1 = parsed1.document().expect("Should have document");
        let mapping1 = doc1.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping1
                .get("whitespace_only")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "\n"
        );

        assert_eq!(parsed1.to_string(), yaml1);

        // Block scalar with mixed indentation
        let yaml2 = r#"mixed_indent: |
  Normal line
    Indented line
  Back to normal
      More indented
  Normal again
"#;
        let parsed2 = YamlFile::from_str(yaml2).expect("Should handle mixed indentation levels");

        let doc2 = parsed2.document().expect("Should have document");
        let mapping2 = doc2.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping2
                .get("mixed_indent")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Normal line\n  Indented line\nBack to normal\n    More indented\nNormal again\n"
        );

        assert_eq!(parsed2.to_string(), yaml2);

        // Block scalar followed immediately by another mapping
        let yaml3 = r#"first: |
  Content
immediate: value
another: |
  More content
final: end
"#;
        let parsed3 =
            YamlFile::from_str(yaml3).expect("Should handle multiple block scalars in mapping");

        let doc3 = parsed3.document().expect("Should have document");
        let mapping3 = doc3.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping3
                .get("first")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Content\n"
        );
        assert_eq!(
            mapping3
                .get("immediate")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "value"
        );
        assert_eq!(
            mapping3
                .get("another")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "More content\n"
        );
        assert_eq!(
            mapping3
                .get("final")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "end"
        );

        let output3 = parsed3.to_string();
        assert_eq!(output3, yaml3);
    }

    #[test]
    fn test_block_scalar_with_comments() {
        let yaml = r#"# Main configuration
config: |  # This is a literal block
  # This comment is inside the block
  line1: value1
  # Another internal comment
  line2: value2

# Outside comment
other: >  # Folded block comment
  This content spans
  # This hash is part of the content, not a comment
  multiple lines
"#;
        let parsed = YamlFile::from_str(yaml).expect("Should parse block scalars with comments");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        // The config block scalar includes content until it hits a less-indented line.
        // The "# Outside comment" line at column 0 is currently still consumed as
        // part of the block scalar text (a separate parser-level limitation), but
        // `as_string()` now preserves its bytes rather than blindly chopping
        // `base_indent` bytes off the start (which had been mangling multi-byte
        // characters and dropping the leading `#`).
        assert_eq!(
            mapping.get("config").unwrap().as_scalar().unwrap().as_string(),
            "# This comment is inside the block\nline1: value1\n# Another internal comment\nline2: value2\n\n# Outside comment\n"
        );

        assert_eq!(
            mapping
                .get("other")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "This content spans # This hash is part of the content, not a comment multiple lines\n"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_empty_and_minimal() {
        let yaml = r#"empty_literal: |

empty_folded: >

minimal_literal: |
  x

minimal_folded: >
  y

just_newlines: |



just_spaces: |



"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should handle empty and minimal block scalars");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        assert_eq!(
            mapping
                .get("empty_literal")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "\n"
        );
        assert_eq!(
            mapping
                .get("empty_folded")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "\n"
        );
        assert_eq!(
            mapping
                .get("minimal_literal")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "x\n"
        );
        assert_eq!(
            mapping
                .get("minimal_folded")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "y\n"
        );
        assert_eq!(
            mapping
                .get("just_newlines")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "\n"
        );
        assert_eq!(
            mapping
                .get("just_spaces")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "\n"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_with_document_markers() {
        let yaml = r#"---
doc1: |
  This is the first document
  with a literal block scalar.

next_key: value
---
doc2: >
  This is the second document
  with a folded block scalar.

another_key: another_value
...
"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should parse block scalars with document markers");

        // Verify API access - first document
        let doc = parsed.document().expect("Should have first document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        assert_eq!(
            mapping
                .get("doc1")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "This is the first document\nwith a literal block scalar.\n"
        );
        assert_eq!(
            mapping
                .get("next_key")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "value"
        );

        // Verify exact round-trip (preserves document markers and all documents)
        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_formatting_preservation() {
        let original = r#"preserve_me: |
  Line with    multiple    spaces
  Line with	tabs	here
  Line with trailing spaces

  Empty line above and below

  Final line
"#;
        let parsed = YamlFile::from_str(original).expect("Should preserve exact formatting");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        let preserve_me = mapping
            .get("preserve_me")
            .expect("Should have 'preserve_me' key");
        let expected = "Line with    multiple    spaces\nLine with\ttabs\there\nLine with trailing spaces\n\nEmpty line above and below\n\nFinal line\n";
        assert_eq!(preserve_me.as_scalar().unwrap().as_string(), expected);

        // Verify exact round-trip (the output should be identical to input - lossless)
        let output = parsed.to_string();
        assert_eq!(output, original);
    }

    #[test]
    fn test_block_scalar_complex_yaml_content() {
        let yaml = r#"yaml_content: |
  # This block contains YAML-like content
  nested:
    - item: value
    - item: another

  mapping:
    key1: |
      Even more nested literal content
    key2: value

  anchors: &anchor
    anchor_content: data

  reference: *anchor

quoted_yaml: >
  This folded block contains
  YAML structures: {key: value, array: [1, 2, 3]}
  that should be treated as plain text.
"#;
        let parsed = YamlFile::from_str(yaml)
            .expect("Should parse block scalars containing YAML-like structures");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        let expected_yaml_content = "# This block contains YAML-like content\nnested:\n  - item: value\n  - item: another\n\nmapping:\n  key1: |\n    Even more nested literal content\n  key2: value\n\nanchors: &anchor\n  anchor_content: data\n\nreference: *anchor\n";
        assert_eq!(
            mapping
                .get("yaml_content")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            expected_yaml_content
        );

        let expected_quoted_yaml = "This folded block contains YAML structures: {key: value, array: [1, 2, 3]} that should be treated as plain text.\n";
        assert_eq!(
            mapping
                .get("quoted_yaml")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            expected_quoted_yaml
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_performance_large_content() {
        // Test with a reasonably large block scalar
        let mut large_content = String::new();
        for i in 1..=100 {
            large_content.push_str(&format!(
                "  Line number {} with some content that makes it longer\n",
                i
            ));
        }

        let yaml = format!(
            "large_literal: |\n{}\nlarge_folded: >\n{}\n",
            large_content, large_content
        );

        let parsed =
            YamlFile::from_str(&yaml).expect("Should parse large block scalars without errors");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        let literal_value = mapping
            .get("large_literal")
            .expect("Should have large_literal key")
            .as_scalar()
            .expect("Should be scalar")
            .as_string();

        // Build expected literal content (literal preserves newlines exactly)
        let mut expected_literal = String::new();
        for i in 1..=100 {
            expected_literal.push_str(&format!(
                "Line number {} with some content that makes it longer\n",
                i
            ));
        }
        assert_eq!(literal_value, expected_literal);

        let folded_value = mapping
            .get("large_folded")
            .expect("Should have large_folded key")
            .as_scalar()
            .expect("Should be scalar")
            .as_string();

        // Build expected folded content (folded folds lines into spaces, preserves double newlines)
        let mut expected_folded = String::new();
        for i in 1..=100 {
            if i > 1 {
                expected_folded.push(' ');
            }
            expected_folded.push_str(&format!(
                "Line number {} with some content that makes it longer",
                i
            ));
        }
        expected_folded.push('\n');
        assert_eq!(folded_value, expected_folded);

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_error_recovery() {
        // Test block scalar followed by another key at same indentation level
        let yaml = r#"good_key: value
bad_block: |
incomplete_key
another_good: works
"#;
        let parsed = YamlFile::from_str(yaml).expect("Should parse");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        // Check that all keys are accessible
        assert_eq!(
            mapping
                .get("good_key")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "value"
        );

        // bad_block contains the indented line "incomplete_key"
        assert_eq!(
            mapping
                .get("bad_block")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "incomplete_key\n"
        );

        // another_good is a separate key (not part of bad_block)
        assert_eq!(
            mapping
                .get("another_good")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "works"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_with_flow_structures() {
        let yaml = r#"mixed_styles: |
  This literal block contains:
  - A flow sequence: [1, 2, 3]
  - A flow mapping: {key: value, other: data}
  - Mixed content: [a, {nested: true}, c]

flow_then_block:
  flow_seq: [item1, item2]
  block_literal: |
    This comes after flow style
    and should work fine.
  flow_map: {after: block}
"#;
        let parsed = YamlFile::from_str(yaml).expect("Should parse mixed flow and block styles");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        // Verify mixed_styles is a literal block containing flow-like text
        let expected_mixed = "This literal block contains:\n- A flow sequence: [1, 2, 3]\n- A flow mapping: {key: value, other: data}\n- Mixed content: [a, {nested: true}, c]\n";
        assert_eq!(
            mapping
                .get("mixed_styles")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            expected_mixed
        );

        // Verify flow_then_block is a mapping
        let flow_then_block_value = mapping.get("flow_then_block").unwrap();
        let flow_then_block = flow_then_block_value.as_mapping().unwrap();

        // Verify flow_seq is a sequence
        let flow_seq_value = flow_then_block.get("flow_seq").unwrap();
        let flow_seq = flow_seq_value.as_sequence().unwrap();
        assert_eq!(flow_seq.len(), 2);
        assert_eq!(
            flow_seq.get(0).unwrap().as_scalar().unwrap().as_string(),
            "item1"
        );
        assert_eq!(
            flow_seq.get(1).unwrap().as_scalar().unwrap().as_string(),
            "item2"
        );

        // Verify block_literal is a block scalar
        assert_eq!(
            flow_then_block
                .get("block_literal")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "This comes after flow style\nand should work fine.\n"
        );

        // Verify flow_map is a mapping
        let flow_map_value = flow_then_block.get("flow_map").unwrap();
        let flow_map = flow_map_value.as_mapping().unwrap();
        assert_eq!(
            flow_map
                .get("after")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "block"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_indentation_edge_cases() {
        // Test with no content after block indicator
        let yaml1 = r#"empty: |
next: value"#;
        let parsed1 = YamlFile::from_str(yaml1);
        assert!(parsed1.is_ok(), "Should handle empty block followed by key");

        // Test with inconsistent indentation that should still work
        let yaml2 = r#"inconsistent: |
  normal indent
    more indent  
  back to normal
      even more
  normal
"#;
        let parsed2 = YamlFile::from_str(yaml2);
        assert!(
            parsed2.is_ok(),
            "Should handle inconsistent but valid indentation"
        );

        // Test with tab characters (should work in block scalars)
        let yaml3 = "tabs: |\n\tTab indented line\n\tAnother tab line\n";
        let parsed3 = YamlFile::from_str(yaml3);
        assert!(
            parsed3.is_ok(),
            "Should handle tab characters in block scalars"
        );
    }

    #[test]
    fn test_block_scalar_with_anchors_and_aliases() {
        let yaml = r#"template: &template |
  This is a template
  with multiple lines
  that can be referenced.

instance1: *template

instance2:
  content: *template
  other: value

modified: |
  <<: *template
  Additional content here
"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should parse block scalars with anchors and aliases");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        // Verify template is a block scalar with anchor (anchor markup is not in string value)
        let expected_template =
            "This is a template\nwith multiple lines\nthat can be referenced.\n";
        let template_value = mapping.get("template").unwrap();
        assert_eq!(
            template_value.as_scalar().unwrap().as_string(),
            expected_template
        );

        // Verify instance1 is an alias (not a scalar) - use API to retrieve alias info
        let instance1 = mapping.get("instance1").unwrap();
        assert!(
            instance1.is_alias(),
            "instance1 should be an alias, not a scalar"
        );
        assert_eq!(instance1.as_alias().unwrap().name(), "template");

        // Verify instance2 is a mapping
        let instance2_value = mapping.get("instance2").unwrap();
        let instance2 = instance2_value.as_mapping().unwrap();

        // Verify instance2.content is an alias (not a scalar)
        let content = instance2.get("content").unwrap();
        assert!(
            content.is_alias(),
            "content should be an alias, not a scalar"
        );
        assert_eq!(content.as_alias().unwrap().name(), "template");

        // Verify instance2.other is a regular scalar
        assert_eq!(
            instance2
                .get("other")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "value"
        );

        // Verify modified is a literal block scalar containing text that looks like YAML
        // (the <<: and *template are plain text, not actual merge keys/aliases)
        let modified = mapping.get("modified").unwrap();
        assert!(
            modified.is_scalar(),
            "modified should be a scalar, not an alias"
        );
        assert_eq!(
            modified.as_scalar().unwrap().as_string(),
            "<<: *template\nAdditional content here\n"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_newline_variations() {
        // Test with different newline styles
        let yaml_unix = "unix: |\n  Line 1\n  Line 2\n";
        let parsed_unix = YamlFile::from_str(yaml_unix).expect("Should handle Unix newlines");

        let yaml_windows = "windows: |\r\n  Line 1\r\n  Line 2\r\n";
        let parsed_windows =
            YamlFile::from_str(yaml_windows).expect("Should handle Windows newlines");

        // Verify API access for unix
        let doc_unix = parsed_unix.document().expect("Should have document");
        let mapping_unix = doc_unix.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping_unix
                .get("unix")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Line 1\nLine 2\n"
        );

        // Verify API access for windows
        let doc_windows = parsed_windows.document().expect("Should have document");
        let mapping_windows = doc_windows.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping_windows
                .get("windows")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "Line 1\nLine 2\n"
        );

        assert_eq!(parsed_unix.to_string(), yaml_unix);
        assert_eq!(parsed_windows.to_string(), yaml_windows);
    }

    #[test]
    fn test_block_scalar_boundary_detection() {
        // Test that block scalars properly end at mapping boundaries
        let yaml = r#"config:
  description: |
    This is a configuration
    with multiple lines.

  name: "MyApp"
  version: 1.0

  settings: >
    These are settings that
    span multiple lines too.

  debug: true
"#;
        let parsed =
            YamlFile::from_str(yaml).expect("Should properly detect block scalar boundaries");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");
        let config_value = mapping.get("config").unwrap();
        let config = config_value.as_mapping().unwrap();

        // Verify description is a literal block scalar
        assert_eq!(
            config
                .get("description")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "This is a configuration\nwith multiple lines.\n"
        );

        // Verify name is a regular quoted scalar
        assert_eq!(
            config.get("name").unwrap().as_scalar().unwrap().as_string(),
            "MyApp"
        );

        // Verify version is a numeric scalar
        assert_eq!(
            config
                .get("version")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "1.0"
        );

        // Verify settings is a folded block scalar
        assert_eq!(
            config
                .get("settings")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "These are settings that span multiple lines too.\n"
        );

        // Verify debug is a boolean scalar
        assert_eq!(
            config
                .get("debug")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "true"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_with_numeric_content() {
        let yaml = r#"numbers_as_text: |
  123
  45.67
  -89
  +100
  0xFF
  1e5
  true
  false
  null

calculations: >
  The result is: 2 + 2 = 4
  And 10 * 5 = 50
  Also: 100% complete
"#;
        let parsed = YamlFile::from_str(yaml)
            .expect("Should parse numeric content as text in block scalars");

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");

        // Verify numbers_as_text is a literal block containing numeric-looking text
        let expected_numbers = "123\n45.67\n-89\n+100\n0xFF\n1e5\ntrue\nfalse\nnull\n";
        assert_eq!(
            mapping
                .get("numbers_as_text")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            expected_numbers
        );

        // Verify calculations is a folded block containing calculations text
        let expected_calculations =
            "The result is: 2 + 2 = 4 And 10 * 5 = 50 Also: 100% complete\n";
        assert_eq!(
            mapping
                .get("calculations")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            expected_calculations
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml);
    }

    #[test]
    fn test_block_scalar_exact_preservation() {
        // Test that block scalars are preserved exactly as written (lossless)
        let test_cases = [
            // Simple literal block
            r#"simple: |
  Hello World
"#,
            // Simple folded block
            r#"folded: >
  Hello World
"#,
            // With chomping indicators
            r#"strip: |-
  Content

keep: |+
  Content

"#,
            // With explicit indentation
            r#"explicit: |2
  Two space indent
"#,
            // Complex real-world example
            r#"config:
  script: |
    #!/bin/bash
    echo "Starting deployment"

    for service in api web worker; do
        echo "Deploying $service"
        kubectl apply -f $service.yaml
    done

  description: >
    This configuration defines a deployment
    script that will be executed during
    the CI/CD pipeline.
"#,
        ];

        for (i, yaml) in test_cases.iter().enumerate() {
            let parsed = YamlFile::from_str(yaml);
            assert!(parsed.is_ok(), "Test case {} should parse successfully", i);

            let output = parsed.unwrap().to_string();
            assert_eq!(
                output, *yaml,
                "Test case {} should preserve exact formatting",
                i
            );
        }
    }

    #[test]
    fn test_block_scalar_chomping_exact() {
        let yaml_strip = r#"strip: |-
  Content
"#;
        let parsed_strip = YamlFile::from_str(yaml_strip).unwrap();
        assert_eq!(parsed_strip.to_string(), yaml_strip);

        let yaml_keep = r#"keep: |+
  Content

"#;
        let parsed_keep = YamlFile::from_str(yaml_keep).unwrap();
        assert_eq!(parsed_keep.to_string(), yaml_keep);

        let yaml_folded_strip = r#"folded: >-
  Content
"#;
        let parsed_folded_strip = YamlFile::from_str(yaml_folded_strip).unwrap();
        assert_eq!(parsed_folded_strip.to_string(), yaml_folded_strip);
    }

    #[test]
    fn test_block_scalar_indentation_exact() {
        let yaml1 = r#"indent1: |1
 Single space
"#;
        let parsed1 = YamlFile::from_str(yaml1).unwrap();
        assert_eq!(parsed1.to_string(), yaml1);

        let yaml2 = r#"indent2: |2
  Two spaces
"#;
        let parsed2 = YamlFile::from_str(yaml2).unwrap();
        assert_eq!(parsed2.to_string(), yaml2);

        let yaml3 = r#"combined: |3+
   Content with keep

"#;
        let parsed3 = YamlFile::from_str(yaml3).unwrap();
        assert_eq!(parsed3.to_string(), yaml3);
    }

    #[test]
    fn test_block_scalar_mapping_exact() {
        let yaml = r#"description: |
  Line 1
  Line 2

summary: >
  Folded content

version: "1.0"
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert_eq!(parsed.to_string(), yaml);
    }

    #[test]
    fn test_block_scalar_sequence_exact() {
        let yaml = r#"items:
  - |
    First item content
    with multiple lines
  
  - >
    Second item folded
    content
  
  - regular_item
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert_eq!(parsed.to_string(), yaml);
    }

    #[test]
    fn test_block_scalar_empty_exact() {
        let yaml1 = r#"empty: |

"#;
        let parsed1 = YamlFile::from_str(yaml1).unwrap();
        assert_eq!(parsed1.to_string(), yaml1);

        let yaml2 = r#"empty_folded: >

"#;
        let parsed2 = YamlFile::from_str(yaml2).unwrap();
        assert_eq!(parsed2.to_string(), yaml2);
    }

    #[test]
    fn test_empty_documents_in_stream() {
        // Test empty documents in multi-document stream
        let yaml = "---\n---\nkey: value\n---\n...\n";
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert_eq!(parsed.documents().count(), 3);
        assert_eq!(parsed.to_string(), yaml);
    }

    #[test]
    fn test_mixed_document_end_markers() {
        // Test documents with mixed end marker usage
        let yaml = "---\nfirst: doc\n...\n---\nsecond: doc\n---\nthird: doc\n...\n";
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert_eq!(parsed.documents().count(), 3);
        assert_eq!(parsed.to_string(), yaml);
    }

    #[test]
    fn test_complex_document_stream() {
        let yaml = r#"%YAML 1.2
%TAG ! tag:example.com,2000:app/
---
template: &anchor
  key: !custom value
instance:
  <<: *anchor
  extra: data
...
%YAML 1.2
---
- item1
- item2: nested
...
---
literal: |
  Block content
  Multiple lines
folded: >
  Folded content
  on multiple lines
...
"#;
        let parsed = YamlFile::from_str(yaml).unwrap();
        assert_eq!(parsed.documents().count(), 3);
        assert_eq!(parsed.to_string(), yaml);
    }

    #[test]
    fn test_number_format_parsing() {
        // Test binary numbers
        let yaml = YamlFile::from_str("value: 0b1010").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0b1010");

        let yaml = YamlFile::from_str("value: 0B1111").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0B1111");

        // Test modern octal numbers
        let yaml = YamlFile::from_str("value: 0o755").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0o755");

        let yaml = YamlFile::from_str("value: 0O644").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0O644");

        // Test with signs
        let yaml = YamlFile::from_str("value: -0b1010").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: -0b1010");

        let yaml = YamlFile::from_str("value: +0o755").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: +0o755");

        // Test legacy formats still work
        let yaml = YamlFile::from_str("value: 0755").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0755");

        let yaml = YamlFile::from_str("value: 0xFF").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0xFF");
    }

    #[test]
    fn test_invalid_number_formats_as_strings() {
        // Invalid formats should be preserved as strings
        let yaml = YamlFile::from_str("value: 0b2").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0b2");

        let yaml = YamlFile::from_str("value: 0o9").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0o9");

        let yaml = YamlFile::from_str("value: 0xGH").unwrap();
        assert_eq!(yaml.to_string().trim(), "value: 0xGH");
    }

    #[test]
    fn test_number_formats_in_complex_structures() {
        let input = r#"
config:
  permissions: 0o755
  flags: 0b11010
  color: 0xFF00FF
  count: 42"#;

        let yaml = YamlFile::from_str(input).unwrap();

        let doc = yaml.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");
        let config_value = mapping.get("config").unwrap();
        let config = config_value.as_mapping().unwrap();

        assert_eq!(
            config
                .get("permissions")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "0o755"
        );
        assert_eq!(
            config
                .get("flags")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "0b11010"
        );
        assert_eq!(
            config
                .get("color")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "0xFF00FF"
        );
        assert_eq!(
            config
                .get("count")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "42"
        );

        let output = yaml.to_string();
        assert_eq!(output, input);
    }

    #[test]
    fn test_editing_operations() {
        // Test basic editing operations
        let yaml = YamlFile::from_str("name: old-name\nversion: 1.0.0").unwrap();
        if let Some(doc) = yaml.document() {
            doc.set("name", "new-name");
            doc.set("version", "2.0.0");

            // Verify values can be retrieved via API
            assert_eq!(doc.get_string("name"), Some("new-name".to_string()));
            assert_eq!(doc.get_string("version"), Some("2.0.0".to_string()));

            // Verify exact round-trip after edits
            let output = doc.to_string();
            assert_eq!(output, "name: new-name\nversion: 2.0.0");
        }
    }

    #[test]
    fn test_timestamp_parsing_and_validation() {
        use crate::scalar::{ScalarType, ScalarValue};

        // Test various timestamp formats are recognized as timestamps
        let test_cases = vec![
            ("2001-12-14 21:59:43.10 -5", true), // Space-separated with timezone
            ("2001-12-15T02:59:43.1Z", true),    // ISO 8601 with Z
            ("2002-12-14", true),                // Date only
            ("2001-12-14t21:59:43.10-05:00", true), // Lowercase t
            ("2001-12-14 21:59:43.10", true),    // No timezone
            ("2001-12-14T21:59:43", true),       // No fractional seconds
            ("not-a-timestamp", false),          // Invalid
            ("2001-13-14", false),               // Invalid month
            ("2001-12-32", false),               // Invalid day
        ];

        for (timestamp_str, should_be_valid) in test_cases {
            let scalar = ScalarValue::parse(timestamp_str);

            if should_be_valid {
                assert_eq!(
                    scalar.scalar_type(),
                    ScalarType::Timestamp,
                    "Failed to recognize '{}' as timestamp",
                    timestamp_str
                );
                assert!(scalar.is_timestamp());

                // Verify it preserves the original format
                assert_eq!(scalar.value(), timestamp_str);

                // Test YAML parsing preserves it
                let yaml = format!("timestamp: {}", timestamp_str);
                let parsed = YamlFile::from_str(&yaml).unwrap();

                let doc = parsed.document().expect("Should have document");
                let mapping = doc.as_mapping().expect("Should be a mapping");
                assert_eq!(
                    mapping
                        .get("timestamp")
                        .unwrap()
                        .as_scalar()
                        .unwrap()
                        .as_string(),
                    timestamp_str,
                    "Timestamp '{}' not preserved",
                    timestamp_str
                );

                let output = parsed.to_string();
                assert_eq!(output, yaml);
            } else {
                assert_ne!(
                    scalar.scalar_type(),
                    ScalarType::Timestamp,
                    "'{}' should not be recognized as timestamp",
                    timestamp_str
                );
            }
        }

        // Test timestamp in different contexts
        let yaml_with_timestamps = r#"
created_at: 2001-12-14 21:59:43.10 -5
updated_at: 2001-12-15T02:59:43.1Z
date_only: 2002-12-14
timestamps_in_array:
  - 2001-12-14 21:59:43.10 -5
  - 2001-12-15T02:59:43.1Z
  - 2002-12-14"#;

        let parsed = YamlFile::from_str(yaml_with_timestamps).unwrap();

        let doc = parsed.document().expect("Should have document");
        let mapping = doc.as_mapping().expect("Should be a mapping");
        assert_eq!(
            mapping
                .get("created_at")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "2001-12-14 21:59:43.10 -5"
        );
        assert_eq!(
            mapping
                .get("updated_at")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "2001-12-15T02:59:43.1Z"
        );
        assert_eq!(
            mapping
                .get("date_only")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "2002-12-14"
        );

        let array_value = mapping.get("timestamps_in_array").unwrap();
        let array = array_value.as_sequence().unwrap();
        assert_eq!(
            array.get(0).unwrap().as_scalar().unwrap().as_string(),
            "2001-12-14 21:59:43.10 -5"
        );
        assert_eq!(
            array.get(1).unwrap().as_scalar().unwrap().as_string(),
            "2001-12-15T02:59:43.1Z"
        );
        assert_eq!(
            array.get(2).unwrap().as_scalar().unwrap().as_string(),
            "2002-12-14"
        );

        let output = parsed.to_string();
        assert_eq!(output, yaml_with_timestamps);
    }

    #[test]
    fn test_regex_support_in_yaml() {
        use crate::scalar::{ScalarType, ScalarValue};

        // Test 1: Parse YAML with regex tags (using simpler patterns)
        let yaml_with_regex = r#"
patterns:
  digits: !!regex '\d+'
  word: !!regex '\w+'
  simple: !!regex 'test'"#;

        let parsed = YamlFile::from_str(yaml_with_regex).unwrap();

        // Verify exact round-trip preserves all regex tags
        let output = parsed.to_string();
        assert_eq!(output, yaml_with_regex);

        // Test 2: Verify regex scalars are correctly identified
        let regex_scalar = ScalarValue::regex(r"^\d{4}-\d{2}-\d{2}$");
        assert_eq!(regex_scalar.scalar_type(), ScalarType::Regex);
        assert!(regex_scalar.is_regex());
        assert_eq!(regex_scalar.value(), r"^\d{4}-\d{2}-\d{2}$");
        assert_eq!(
            regex_scalar.to_yaml_string(),
            r"!!regex ^\d{4}-\d{2}-\d{2}$"
        );

        // Test 3: Round-trip parsing with API verification
        let yaml_simple = "pattern: !!regex '\\d+'";
        let parsed_simple = YamlFile::from_str(yaml_simple).unwrap();

        let doc_simple = parsed_simple.document().expect("Should have document");
        let mapping_simple = doc_simple.as_mapping().expect("Should be a mapping");
        let pattern_value = mapping_simple
            .get("pattern")
            .expect("Should have pattern key");

        // Verify it's a tagged node with the correct tag
        assert!(pattern_value.is_tagged(), "pattern should be a tagged node");
        let tagged = pattern_value.as_tagged().expect("Should be tagged");
        assert_eq!(tagged.tag(), Some("!!regex".to_string()));
        assert_eq!(tagged.as_string(), Some("\\d+".to_string()));

        let output_simple = parsed_simple.to_string();
        assert_eq!(output_simple, yaml_simple);

        // Test 4: Complex regex patterns
        let complex_regex = r#"validation: !!regex '^https?://(?:[-\w.])+(?:\:[0-9]+)?'"#;
        let parsed_complex = YamlFile::from_str(complex_regex).unwrap();

        let doc_complex = parsed_complex.document().expect("Should have document");
        let mapping_complex = doc_complex.as_mapping().expect("Should be a mapping");
        let validation_value = mapping_complex
            .get("validation")
            .expect("Should have validation key");

        assert!(
            validation_value.is_tagged(),
            "validation should be a tagged node"
        );
        let tagged_complex = validation_value.as_tagged().expect("Should be tagged");
        assert_eq!(tagged_complex.tag(), Some("!!regex".to_string()));
        assert_eq!(
            tagged_complex.as_string(),
            Some("^https?://(?:[-\\w.])+(?:\\:[0-9]+)?".to_string())
        );

        let output_complex = parsed_complex.to_string();
        assert_eq!(output_complex, complex_regex);
    }

    #[test]
    fn test_regex_in_different_contexts() {
        // Test 1: Regex in sequences
        let yaml_sequence = r#"
patterns:
  - !!regex '\d+'
  - !!regex '[a-z]+'
  - normal_string
  - !!regex '.*@.*\..*'
"#;

        let parsed_seq = YamlFile::from_str(yaml_sequence).unwrap();

        let doc_seq = parsed_seq.document().expect("Should have document");
        let mapping_seq = doc_seq.as_mapping().expect("Should be a mapping");
        let patterns_value = mapping_seq
            .get("patterns")
            .expect("Should have patterns key");
        let patterns = patterns_value.as_sequence().expect("Should be a sequence");

        // Verify first item is tagged with !!regex
        assert!(patterns.get(0).unwrap().is_tagged());
        assert_eq!(
            patterns.get(0).unwrap().as_tagged().unwrap().tag(),
            Some("!!regex".to_string())
        );

        // Verify second item is tagged with !!regex
        assert!(patterns.get(1).unwrap().is_tagged());
        assert_eq!(
            patterns.get(1).unwrap().as_tagged().unwrap().tag(),
            Some("!!regex".to_string())
        );

        // Verify third item is NOT tagged (regular string)
        assert!(!patterns.get(2).unwrap().is_tagged());
        assert_eq!(
            patterns.get(2).unwrap().as_scalar().unwrap().as_string(),
            "normal_string"
        );

        // Verify fourth item is tagged with !!regex
        assert!(patterns.get(3).unwrap().is_tagged());
        assert_eq!(
            patterns.get(3).unwrap().as_tagged().unwrap().tag(),
            Some("!!regex".to_string())
        );

        let output_seq = parsed_seq.to_string();
        assert_eq!(output_seq, yaml_sequence);

        // Test 2: Nested mappings with regex (using simple patterns)
        let yaml_nested = r#"
validation:
  email: !!regex '[^@]+@[^@]+\.[a-z]+'
  phone: !!regex '\d{3}-\d{3}-\d{4}'
  config:
    debug_pattern: !!regex 'DEBUG:.*'
    nested:
      deep_pattern: !!regex 'ERROR'
"#;

        let parsed_nested = YamlFile::from_str(yaml_nested).unwrap();
        // Verify exact round-trip preserves all nested structure and tags
        let output_nested = parsed_nested.to_string();
        assert_eq!(output_nested, yaml_nested);

        // Test 3: Mixed collections
        let yaml_mixed = r#"
mixed_collection:
  - name: "test"
    patterns: [!!regex '\d+', !!regex '\w+']
  - patterns:
      simple: !!regex 'test'
      complex: !!regex '^(?:[0-9]{1,3}\.){3}[0-9]{1,3}$'
"#;

        let parsed_mixed = YamlFile::from_str(yaml_mixed).unwrap();
        // Verify exact round-trip preserves all mixed collections and tags
        let output_mixed = parsed_mixed.to_string();
        assert_eq!(output_mixed, yaml_mixed);

        // Test 4: Flow style with regex
        let yaml_flow =
            r#"inline_patterns: {email: !!regex '[^@]+@[^@]+', phone: !!regex '\d{3}-\d{4}'}"#;

        let parsed_flow = YamlFile::from_str(yaml_flow).unwrap();
        // Verify exact round-trip preserves flow style and tags
        let output_flow = parsed_flow.to_string();
        assert_eq!(output_flow, yaml_flow);
    }

    #[test]
    fn test_regex_parsing_edge_cases() {
        // Test 1: Regex with various quote styles (step by step)
        // Test various quote styles
        let yaml_quotes = r#"
patterns:
  single_quoted: !!regex 'pattern with spaces'
  double_quoted: !!regex "pattern_without_escapes"
  unquoted: !!regex simple_pattern
"#;

        let parsed_quotes = YamlFile::from_str(yaml_quotes).unwrap();

        let output_quotes = parsed_quotes.to_string();
        assert_eq!(output_quotes, yaml_quotes);

        // Test 2: Empty and whitespace patterns
        let yaml_empty = r#"
empty: !!regex ''
whitespace: !!regex '   '
tabs: !!regex '	'
"#;

        let parsed_empty =
            YamlFile::from_str(yaml_empty).expect("Should parse empty/whitespace regex patterns");

        let output_empty = parsed_empty.to_string();
        assert_eq!(output_empty, yaml_empty);

        // Test 3: Regex with special characters (avoiding YAML conflicts)
        let yaml_special = r#"special: !!regex 'pattern_with_underscores_and_123'"#;

        let parsed_special = YamlFile::from_str(yaml_special)
            .expect("Should parse regex with safe special characters");

        let output_special = parsed_special.to_string();
        assert_eq!(output_special, yaml_special);

        // Test 4: Verify regex scalars maintain their properties after parsing
        let yaml_verify = r#"test_pattern: !!regex '\d{4}-\d{2}-\d{2}'"#;
        let parsed_verify = YamlFile::from_str(yaml_verify).unwrap();

        let output_verify = parsed_verify.to_string();
        assert_eq!(output_verify, yaml_verify);

        // Test 5: Multiple regex patterns in one document
        let yaml_multiple = r#"
patterns:
  email: !!regex '^[^\s@]+@[^\s@]+\.[^\s@]+$'
  phone: !!regex '^\+?[\d\s\-\(\)]{10,}$'
  url: !!regex '^https?://[^\s]+$'
  ipv4: !!regex '^(?:[0-9]{1,3}\.){3}[0-9]{1,3}$'
  uuid: !!regex '^[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12}$'
"#;

        let parsed_multiple =
            YamlFile::from_str(yaml_multiple).expect("Should parse multiple regex patterns");

        // Verify exact round-trip preserves all patterns and tags
        let output_multiple = parsed_multiple.to_string();
        assert_eq!(output_multiple, yaml_multiple);
    }

    #[test]
    fn test_enhanced_comment_support() {
        // Test improvements: mid-line comments, comments in flow collections,
        // and better comment positioning preservation

        // Test 1: Comments in flow sequences
        let yaml1 = r#"flow_seq: [
    item1, # comment after item1
    item2, # comment after item2
    item3  # comment after item3
]"#;
        let parsed1 = YamlFile::from_str(yaml1).unwrap();
        let output1 = parsed1.to_string();

        assert_eq!(output1, yaml1);

        // Test 2: Comments in flow mappings
        let yaml2 = r#"flow_map: {
    key1: val1, # comment after first pair
    key2: val2, # comment after second pair
    key3: val3  # comment after third pair
}"#;
        let parsed2 = YamlFile::from_str(yaml2).unwrap();
        let output2 = parsed2.to_string();

        assert_eq!(output2, yaml2);

        // Test 3: Mixed nested structures with comments
        let yaml3 = r#"config:
  servers: [
    {name: web1, port: 80},   # Web server 1
    {name: web2, port: 80},   # Web server 2
    {name: db1, port: 5432}   # Database server
  ] # End servers array"#;
        let parsed3 = YamlFile::from_str(yaml3).unwrap();
        let output3 = parsed3.to_string();

        assert_eq!(output3, yaml3);

        // Test 4: Comments between sequence items (block style)
        let yaml4 = r#"items:
  - first   # First item comment
  - second  # Second item comment
  # Comment between items
  - third   # Third item comment"#;
        let parsed4 = YamlFile::from_str(yaml4).unwrap();
        let output4 = parsed4.to_string();

        assert_eq!(output4, yaml4);

        // Test 5: Round-trip preservation (verify all can be reparsed)
        for yaml in [yaml1, yaml2, yaml3, yaml4] {
            let parsed = YamlFile::from_str(yaml).unwrap();
            let output = parsed.to_string();
            let reparsed = YamlFile::from_str(&output);
            assert!(reparsed.is_ok(), "Round-trip parsing should succeed");
        }
    }

    #[test]
    fn test_insert_after_with_sequence() {
        let yaml = "name: project\nversion: 1.0.0";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert a sequence after "name"
        let features = SequenceBuilder::new()
            .item("feature1")
            .item("feature2")
            .item("feature3")
            .build_document()
            .as_sequence()
            .unwrap();
        let success = doc.insert_after("name", "features", features);
        assert!(success, "insert_after should succeed");

        let output = doc.to_string();

        // Verify exact output - standard block-style sequence format
        let expected = r#"name: project
features:
  - feature1
  - feature2
  - feature3
version: 1.0.0"#;
        assert_eq!(output.trim(), expected);

        let reparsed = YamlFile::from_str(&output);
        assert!(reparsed.is_ok(), "Output should be valid YAML");
    }

    #[test]
    fn test_insert_before_with_mapping() {
        let yaml = "name: project\nversion: 1.0.0";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert a nested mapping before "version"
        let database = MappingBuilder::new()
            .pair("host", "localhost")
            .pair("port", 5432)
            .pair("database", "mydb")
            .build_document()
            .as_mapping()
            .unwrap();
        let success = doc.insert_before("version", "database", database);
        assert!(success, "insert_before should succeed");

        let output = doc.to_string();

        // Verify exact output with proper structure and order
        let expected = r#"name: project
database:
  host: localhost
  port: 5432
  database: mydb
version: 1.0.0"#;
        assert_eq!(output.trim(), expected);

        // Verify it's valid YAML and values are accessible
        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        let db_value = reparsed_mapping
            .get("database")
            .expect("Should have database key");
        let db_mapping = db_value.as_mapping().expect("database should be mapping");
        assert_eq!(
            db_mapping
                .get("host")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "localhost"
        );
        assert_eq!(
            db_mapping
                .get("port")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "5432"
        );
    }

    #[test]
    fn test_insert_at_index_with_mixed_types() {
        let yaml = "name: project";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert different types at various indices
        doc.insert_at_index(1, "version", "1.0.0");
        doc.insert_at_index(2, "active", true);
        doc.insert_at_index(3, "count", 42);

        let features = SequenceBuilder::new()
            .item("auth")
            .item("logging")
            .build_document()
            .as_sequence()
            .unwrap();
        doc.insert_at_index(4, "features", features);

        let output = doc.to_string();

        let expected = r#"name: project
version: 1.0.0
active: true
count: 42
features:
- auth
- logging"#;
        assert_eq!(output.trim(), expected);

        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        assert_eq!(
            reparsed_mapping
                .get("version")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "1.0.0"
        );
        assert_eq!(
            reparsed_mapping.get("active").unwrap().to_bool(),
            Some(true)
        );
        assert_eq!(reparsed_mapping.get("count").unwrap().to_i64(), Some(42));

        let features_value = reparsed_mapping.get("features").unwrap();
        let features = features_value.as_sequence().unwrap();
        assert_eq!(
            features.get(0).unwrap().as_scalar().unwrap().as_string(),
            "auth"
        );
        assert_eq!(
            features.get(1).unwrap().as_scalar().unwrap().as_string(),
            "logging"
        );
    }

    #[test]
    fn test_insert_with_null_and_special_scalars() {
        let yaml = "name: project";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert various scalar types
        doc.insert_after("name", "null_value", ScalarValue::null());
        doc.insert_after("null_value", "empty_string", "");
        doc.insert_after("empty_string", "number", 1.234);
        doc.insert_after("number", "boolean", false);

        let output = doc.to_string();

        let expected = r#"name: project
null_value: null
empty_string: ''
number: 1.234
boolean: false"#;
        assert_eq!(output.trim(), expected);

        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        assert_eq!(
            reparsed_mapping
                .get("name")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "project"
        );
        assert!(reparsed_mapping
            .get("null_value")
            .unwrap()
            .as_scalar()
            .unwrap()
            .is_null());
        assert_eq!(
            reparsed_mapping
                .get("empty_string")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            ""
        );
        assert_eq!(
            reparsed_mapping.get("number").unwrap().to_f64(),
            Some(1.234)
        );
        assert_eq!(
            reparsed_mapping.get("boolean").unwrap().to_bool(),
            Some(false)
        );
    }

    #[test]
    fn test_insert_ordering_preservation() {
        let yaml = "first: 1\nthird: 3\nfifth: 5";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert items to create proper ordering
        doc.insert_after("first", "second", 2);
        doc.insert_before("fifth", "fourth", 4);

        let output = doc.to_string();

        // Check exact output - should preserve original structure and insert correctly
        let expected = r#"first: 1
second: 2
third: 3
fourth: 4
fifth: 5"#;
        assert_eq!(output.trim(), expected);

        let reparsed = YamlFile::from_str(&output);
        assert!(reparsed.is_ok(), "Output should be valid YAML");
    }

    #[test]
    fn test_insert_with_yamlvalue_positioning() {
        let yaml = "name: project\nversion: 1.0\nactive: true";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Test positioning with different value types

        // Position after a string value
        let success = doc.insert_after("name", "description", "A sample project");
        assert!(success, "Should find string key");

        // Position after a numeric value
        let success = doc.insert_after(1.0, "build", "gradle");
        assert!(
            !success,
            "Should not find numeric key (1.0) when actual key is string 'version'"
        );

        // Position after a boolean value
        let success = doc.insert_after(true, "test", "enabled");
        assert!(
            !success,
            "Should not find boolean key (true) when actual key is string 'active'"
        );

        // But string representation should work
        let bool_string_key = "true";
        let success = doc.insert_after(bool_string_key, "test_mode", "development");
        assert!(!success, "Should not find 'true' key when value is true");

        let output = doc.to_string();

        // Verify exact output - should preserve original structure and only insert description after name
        let expected = "name: project\ndescription: A sample project\nversion: 1.0\nactive: true";
        assert_eq!(output, expected);
    }

    #[test]
    fn test_insert_complex_nested_structure() {
        let yaml = "name: project";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Create a complex nested structure
        let config = MappingBuilder::new()
            .mapping("server", |m| m.pair("host", "0.0.0.0").pair("port", 8080))
            .pair("debug", true)
            .sequence("features", |s| s.item("api").item("web").item("cli"))
            .build_document()
            .as_mapping()
            .unwrap();

        doc.insert_after("name", "config", config);

        let output = doc.to_string();

        // Verify exact output (note: MappingBuilder adds trailing space after non-inline value keys)
        let expected = "name: project\nconfig:\n  server: \n    host: 0.0.0.0\n    port: 8080\n  debug: true\n  features: \n    - api\n    - web\n    - cli\n";
        assert_eq!(output, expected);

        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        let config_value = reparsed_mapping
            .get("config")
            .expect("Should have config key");
        let config_mapping = config_value.as_mapping().expect("config should be mapping");

        let server_value = config_mapping
            .get("server")
            .expect("Should have server key");
        let server = server_value.as_mapping().expect("server should be mapping");
        assert_eq!(
            server.get("host").unwrap().as_scalar().unwrap().as_string(),
            "0.0.0.0"
        );
        assert_eq!(server.get("port").unwrap().to_i64(), Some(8080));

        assert_eq!(config_mapping.get("debug").unwrap().to_bool(), Some(true));

        let features_value = config_mapping
            .get("features")
            .expect("Should have features key");
        let features = features_value
            .as_sequence()
            .expect("features should be sequence");
        assert_eq!(features.len(), 3);
        assert_eq!(
            features.get(0).unwrap().as_scalar().unwrap().as_string(),
            "api"
        );
        assert_eq!(
            features.get(1).unwrap().as_scalar().unwrap().as_string(),
            "web"
        );
        assert_eq!(
            features.get(2).unwrap().as_scalar().unwrap().as_string(),
            "cli"
        );
    }

    #[test]
    fn test_insert_with_yaml_sets() {
        let yaml = "name: project";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert a YAML set
        let mut tags = std::collections::BTreeSet::new();
        tags.insert("production".to_string());
        tags.insert("database".to_string());
        tags.insert("web".to_string());

        let yaml_set = YamlValue::from_set(tags);
        doc.insert_after("name", "tags", yaml_set);

        let output = doc.to_string();

        // Verify exact output (sets use 4-space indent)
        let expected =
            "name: project\ntags: !!set\n    database: null\n    production: null\n    web: null\n";
        assert_eq!(output, expected);

        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        let tags_value = reparsed_mapping.get("tags").expect("Should have tags key");
        assert!(tags_value.is_tagged(), "tags should be tagged");
        let tagged = tags_value.as_tagged().expect("Should be tagged node");
        assert_eq!(tagged.tag(), Some("!!set".to_string()));

        // Set is represented as a tagged mapping with null values
        // Navigate to the MAPPING child of the TAGGED node
        let tags_syntax = tagged.syntax();
        let tags_mapping = tags_syntax
            .children()
            .find_map(Mapping::cast)
            .expect("Set should have mapping child");

        assert!(tags_mapping
            .get("database")
            .unwrap()
            .as_scalar()
            .unwrap()
            .is_null());
        assert!(tags_mapping
            .get("production")
            .unwrap()
            .as_scalar()
            .unwrap()
            .is_null());
        assert!(tags_mapping
            .get("web")
            .unwrap()
            .as_scalar()
            .unwrap()
            .is_null());
    }

    #[test]
    fn test_insert_with_ordered_mappings() {
        let yaml = "name: project";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert a YAML ordered mapping (!!omap)
        let ordered_steps = vec![
            ("compile".to_string(), YamlValue::from("gcc main.c")),
            ("test".to_string(), YamlValue::from("./a.out test")),
            (
                "package".to_string(),
                YamlValue::from("tar -czf app.tar.gz ."),
            ),
        ];

        let yaml_omap = YamlValue::from_ordered_mapping(ordered_steps);
        doc.insert_after("name", "build_steps", yaml_omap);

        let output = doc.to_string();

        // Verify exact output (omap uses 4-space indent)
        let expected = "name: project\nbuild_steps: !!omap\n    - compile: gcc main.c\n    - test: ./a.out test\n    - package: tar -czf app.tar.gz .\n";
        assert_eq!(output, expected);

        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        let steps_value = reparsed_mapping
            .get("build_steps")
            .expect("Should have build_steps key");
        assert!(steps_value.is_tagged(), "build_steps should be tagged");
        let tagged = steps_value.as_tagged().expect("Should be tagged node");
        assert_eq!(tagged.tag(), Some("!!omap".to_string()));

        // Omap is represented as a tagged sequence of single-item mappings
        let steps_syntax = tagged.syntax();
        let steps_seq = steps_syntax
            .children()
            .find_map(Sequence::cast)
            .expect("Omap should have sequence child");

        assert_eq!(steps_seq.len(), 3);
        // Each item in the sequence is a single-item mapping
        let compile_value = steps_seq.get(0).unwrap();
        let compile_item = compile_value.as_mapping().expect("Should be mapping");
        assert_eq!(
            compile_item
                .get("compile")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "gcc main.c"
        );

        let test_value = steps_seq.get(1).unwrap();
        let test_item = test_value.as_mapping().expect("Should be mapping");
        assert_eq!(
            test_item
                .get("test")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "./a.out test"
        );

        let package_value = steps_seq.get(2).unwrap();
        let package_item = package_value.as_mapping().expect("Should be mapping");
        assert_eq!(
            package_item
                .get("package")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "tar -czf app.tar.gz ."
        );
    }

    #[test]
    fn test_insert_with_pairs() {
        let yaml = "name: project";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Insert a YAML pairs collection (!!pairs - allows duplicate keys)
        let connection_attempts = vec![
            ("server".to_string(), YamlValue::from("primary.db")),
            ("server".to_string(), YamlValue::from("secondary.db")), // Duplicate key allowed
            ("server".to_string(), YamlValue::from("tertiary.db")),  // Another duplicate
            ("timeout".to_string(), YamlValue::from(30)),
        ];

        let yaml_pairs = YamlValue::from_pairs(connection_attempts);
        doc.insert_after("name", "connections", yaml_pairs);

        let output = doc.to_string();

        // Verify exact output (pairs use 4-space indent)
        let expected = "name: project\nconnections: !!pairs\n    - server: primary.db\n    - server: secondary.db\n    - server: tertiary.db\n    - timeout: 30\n";
        assert_eq!(output, expected);

        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        let connections_value = reparsed_mapping
            .get("connections")
            .expect("Should have connections key");
        assert!(
            connections_value.is_tagged(),
            "connections should be tagged"
        );
        let tagged = connections_value
            .as_tagged()
            .expect("Should be tagged node");
        assert_eq!(tagged.tag(), Some("!!pairs".to_string()));

        // Pairs is represented as a tagged sequence of single-item mappings (allows duplicate keys)
        let connections_syntax = tagged.syntax();
        let connections_seq = connections_syntax
            .children()
            .find_map(Sequence::cast)
            .expect("Pairs should have sequence child");

        assert_eq!(connections_seq.len(), 4);

        let server1_val = connections_seq.get(0).unwrap();
        let server1 = server1_val.as_mapping().expect("Should be mapping");
        assert_eq!(
            server1
                .get("server")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "primary.db"
        );

        let server2_val = connections_seq.get(1).unwrap();
        let server2 = server2_val.as_mapping().expect("Should be mapping");
        assert_eq!(
            server2
                .get("server")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "secondary.db"
        );

        let server3_val = connections_seq.get(2).unwrap();
        let server3 = server3_val.as_mapping().expect("Should be mapping");
        assert_eq!(
            server3
                .get("server")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "tertiary.db"
        );

        let timeout_val = connections_seq.get(3).unwrap();
        let timeout = timeout_val.as_mapping().expect("Should be mapping");
        assert_eq!(timeout.get("timeout").unwrap().to_i64(), Some(30));
    }

    #[test]
    fn test_insert_with_empty_collections() {
        // Test each empty collection type individually to avoid chaining issues

        // Test empty sequence - use flow-style literal
        let yaml1 = "name: project";
        let parsed1 = YamlFile::from_str(yaml1).unwrap();
        let doc1 = parsed1.document().expect("Should have a document");

        // Parse a flow-style empty sequence
        let empty_seq_yaml = YamlFile::from_str("[]").unwrap();
        let empty_list = empty_seq_yaml.document().unwrap().as_sequence().unwrap();

        doc1.insert_after("name", "empty_list", empty_list);
        let output1 = doc1.to_string();
        assert_eq!(output1, "name: project\nempty_list: []\n");

        // Test empty mapping - use flow-style literal
        let yaml2 = "name: project";
        let parsed2 = YamlFile::from_str(yaml2).unwrap();
        let doc2 = parsed2.document().expect("Should have a document");

        // Parse a flow-style empty mapping
        let empty_map_yaml = YamlFile::from_str("{}").unwrap();
        let empty_map = empty_map_yaml.document().unwrap().as_mapping().unwrap();

        doc2.insert_after("name", "empty_map", empty_map);
        let output2 = doc2.to_string();
        assert_eq!(output2, "name: project\nempty_map: {}\n");

        // Test empty set
        let yaml3 = "name: project";
        let parsed3 = YamlFile::from_str(yaml3).unwrap();
        let doc3 = parsed3.document().expect("Should have a document");
        doc3.insert_after("name", "empty_set", YamlValue::set());
        let output3 = doc3.to_string();
        assert_eq!(output3, "name: project\nempty_set: !!set {}\n");

        // Verify all are valid YAML
        assert!(
            YamlFile::from_str(&output1).is_ok(),
            "Empty sequence output should be valid YAML"
        );
        assert!(
            YamlFile::from_str(&output2).is_ok(),
            "Empty mapping output should be valid YAML"
        );
        assert!(
            YamlFile::from_str(&output3).is_ok(),
            "Empty set output should be valid YAML"
        );
    }

    #[test]
    fn test_insert_with_deeply_nested_sequences() {
        let yaml = "name: project";
        let parsed = YamlFile::from_str(yaml).unwrap();
        let doc = parsed.document().expect("Should have a document");

        // Create deeply nested sequence with mixed types
        let nested_data = SequenceBuilder::new()
            .item("item1")
            .mapping(|m| {
                m.sequence("config", |s| s.item("debug").item(true).item(8080))
                    .pair("name", "service")
            })
            .item(42)
            .build_document()
            .as_sequence()
            .unwrap();

        doc.insert_after("name", "nested_data", nested_data);

        let output = doc.to_string();

        let expected = "name: project\nnested_data:\n  - item1\n  - \n    config: \n      - debug\n      - true\n      - 8080\n    name: service- 42\n";
        assert_eq!(output, expected);

        let reparsed = YamlFile::from_str(&output).expect("Output should be valid YAML");
        let reparsed_doc = reparsed.document().expect("Should have document");
        let reparsed_mapping = reparsed_doc.as_mapping().expect("Should be mapping");

        let nested_value = reparsed_mapping
            .get("nested_data")
            .expect("Should have nested_data key");
        let nested_seq = nested_value.as_sequence().expect("Should be sequence");
        // Note: Due to formatting issue, the sequence has 2 items instead of expected 3
        // The "- 42" is appended to "service" value due to missing newline
        assert_eq!(nested_seq.len(), 2);

        // First item is a string
        assert_eq!(
            nested_seq.get(0).unwrap().as_scalar().unwrap().as_string(),
            "item1"
        );

        // Second item is a mapping with config sequence and name pair
        let second_item = nested_seq.get(1).unwrap();
        let second_mapping = second_item.as_mapping().expect("Should be mapping");

        let config_value = second_mapping.get("config").expect("Should have config");
        let config_seq = config_value
            .as_sequence()
            .expect("config should be sequence");
        assert_eq!(config_seq.len(), 3);
        assert_eq!(
            config_seq.get(0).unwrap().as_scalar().unwrap().as_string(),
            "debug"
        );
        assert_eq!(config_seq.get(1).unwrap().to_bool(), Some(true));
        assert_eq!(config_seq.get(2).unwrap().to_i64(), Some(8080));

        // Note: The "name" value includes "- 42" due to formatting issue
        assert_eq!(
            second_mapping
                .get("name")
                .unwrap()
                .as_scalar()
                .unwrap()
                .as_string(),
            "service- 42"
        );
    }

    #[test]
    fn test_ast_preservation_comments_in_mapping() {
        // Test that comments within mappings are preserved during insertions
        let yaml = r#"---
# Header comment
key1: value1  # Inline comment 1
# Middle comment
key2: value2  # Inline comment 2
# Footer comment
"#;
        let doc = YamlFile::from_str(yaml).unwrap().document().unwrap();

        // Insert a new key, re-inserting it if it already exists - changes propagate automatically
        if let Some(mapping) = doc.as_mapping() {
            mapping.move_after("key1", "new_key", "new_value");
        }

        let result = doc.to_string();

        let expected = r#"---
# Header comment
key1: value1  # Inline comment 1
new_key: new_value
# Middle comment
key2: value2  # Inline comment 2
# Footer comment
"#;
        assert_eq!(result, expected);
    }

    #[test]
    fn test_ast_preservation_whitespace_in_mapping() {
        // Test that whitespace and formatting within mappings are preserved
        let yaml = r#"---
key1:    value1


key2:        value2
"#;
        let doc = YamlFile::from_str(yaml).unwrap().document().unwrap();

        // Insert a new key using AST-preserving method
        if let Some(mapping) = doc.as_mapping() {
            mapping.move_after("key1", "new_key", "new_value");
        }

        let result = doc.to_string();

        let expected = r#"---
key1:    value1
new_key: new_value


key2:        value2
"#;
        assert_eq!(result, expected);
    }

    #[test]
    fn test_ast_preservation_complex_structure() {
        // Test preservation of complex structure with nested comments
        let yaml = r#"---
# Configuration file
database:  # Database settings
  host: localhost  # Default host
  port: 5432      # Default port
  # Connection pool settings  
  pool:
    min: 1    # Minimum connections
    max: 10   # Maximum connections

# Server configuration
server:
  port: 8080  # HTTP port
"#;
        let doc = YamlFile::from_str(yaml).unwrap().document().unwrap();

        eprintln!("===========\n");

        // Insert a new top-level key
        if let Some(mapping) = doc.as_mapping() {
            mapping.move_after("database", "logging", "debug");
        }

        let result = doc.to_string();

        // Verify exact output to ensure all comments and structure are preserved
        let expected = r#"---
# Configuration file
database:  # Database settings
  host: localhost  # Default host
  port: 5432      # Default port
  # Connection pool settings  
  pool:
    min: 1    # Minimum connections
    max: 10   # Maximum connections

logging: debug
# Server configuration
server:
  port: 8080  # HTTP port
"#;
        assert_eq!(result, expected);
    }

    // Tests for next_flow_element_is_implicit_mapping lookahead function
    mod lookahead_tests {
        use super::*;
        use crate::lex::lex;

        /// Helper to test lookahead without creating full parser
        fn check_implicit_mapping(yaml: &str) -> bool {
            let tokens: Vec<(SyntaxKind, &str)> = lex(yaml);
            // Extract just the kinds in reverse order (matching Parser's token storage)
            let kinds: Vec<SyntaxKind> = tokens.iter().rev().map(|(kind, _)| *kind).collect();
            has_implicit_mapping_pattern(kinds.into_iter())
        }

        #[test]
        fn test_simple_implicit_mapping() {
            // Looking at: 'key' : value (inside [ ... ])
            // Should detect colon at depth 0
            assert!(check_implicit_mapping("'key' : value"));
        }

        #[test]
        fn test_simple_value_no_mapping() {
            // Looking at: value, ... (stops at comma, no colon)
            assert!(!check_implicit_mapping("value ,"));
        }

        #[test]
        fn test_value_with_comma() {
            // Looking at: value, more (comma at depth 0, not a mapping)
            assert!(!check_implicit_mapping("value , more"));
        }

        #[test]
        fn test_nested_sequence_as_key() {
            // Looking at: [a, b]: value (colon after nested sequence completes)
            assert!(check_implicit_mapping("[a, b]: value"));
        }

        #[test]
        fn test_nested_mapping_not_implicit() {
            // Looking at: {a: 1}, b (colon is inside braces at depth 1, not depth 0)
            assert!(!check_implicit_mapping("{a: 1}, b"));
        }

        #[test]
        fn test_deeply_nested_key() {
            // Looking at: [[a]]: value (multiple levels of nesting)
            assert!(check_implicit_mapping("[[a]]: value"));
        }

        #[test]
        fn test_with_whitespace() {
            // Looking at: 'key'  :  value (whitespace shouldn't affect detection)
            assert!(check_implicit_mapping("'key'  :  value"));
        }

        #[test]
        fn test_mapping_value_in_sequence() {
            // Looking at: a, {key: value} (second element has colon but inside braces)
            // First element is just "a" before comma
            assert!(!check_implicit_mapping("a, {key: value}"));
        }

        #[test]
        fn test_multiple_colons() {
            // Looking at: key1: value1, key2: value2 (first element is mapping)
            assert!(check_implicit_mapping("key1: value1, key2: value2"));
        }

        #[test]
        fn test_url_not_mapping() {
            // Looking at: http://example.com (colon in URL, but no space after)
            // Lexer should tokenize this as single string token
            assert!(!check_implicit_mapping("http://example.com"));
        }
    }

    #[test]
    fn test_from_str_relaxed_valid() {
        let (yaml_file, errors) = YamlFile::from_str_relaxed("key: value\n");
        assert!(errors.is_empty());
        let doc = yaml_file.document().unwrap();
        let mapping = doc.as_mapping().unwrap();
        assert_eq!(
            mapping.get("key").unwrap().as_scalar().unwrap().to_string(),
            "value"
        );
    }

    #[test]
    fn test_from_str_relaxed_unclosed_flow_sequence() {
        let (yaml_file, errors) = YamlFile::from_str_relaxed("key: [a, b");
        assert!(!errors.is_empty());
        // Tree is still usable
        let doc = yaml_file.document().unwrap();
        assert!(doc.as_mapping().is_some());
    }

    #[test]
    fn test_from_str_relaxed_unclosed_flow_mapping() {
        let (yaml_file, errors) = YamlFile::from_str_relaxed("key: {a: 1");
        assert!(!errors.is_empty());
        let doc = yaml_file.document().unwrap();
        assert!(doc.as_mapping().is_some());
    }

    #[test]
    fn test_from_str_relaxed_preserves_valid_content() {
        let input = "good: value\nbad: [unclosed\nalso_good: 42\n";
        let (yaml_file, errors) = YamlFile::from_str_relaxed(input);
        assert!(!errors.is_empty());
        let doc = yaml_file.document().unwrap();
        let mapping = doc.as_mapping().unwrap();
        assert_eq!(
            mapping
                .get("good")
                .unwrap()
                .as_scalar()
                .unwrap()
                .to_string(),
            "value"
        );
    }

    #[test]
    fn test_from_str_relaxed_empty_input() {
        let (yaml_file, errors) = YamlFile::from_str_relaxed("");
        assert!(errors.is_empty());
        assert!(yaml_file.document().is_none());
    }

    #[test]
    fn test_parse_flow_sequence_with_stray_close_brace_does_not_hang() {
        // Regression: previously caused an infinite loop / OOM because
        // parse_flow_sequence did not make progress on `}`.
        let parse = crate::Parse::parse_yaml("[}9[Z");
        let _ = parse.tree();
        assert!(parse.has_errors());
    }

    #[test]
    fn test_parse_flow_mapping_with_stray_close_bracket_does_not_hang() {
        // Regression: parse_flow_mapping must make progress on `]`.
        let parse = crate::Parse::parse_yaml("{]");
        let _ = parse.tree();
        assert!(parse.has_errors());
    }

    #[test]
    fn test_parse_explicit_key_multiline_with_comment_does_not_hang() {
        // Regression: the multi-line explicit-key scalar loop must make
        // progress when the indented continuation begins with a token
        // parse_scalar() cannot consume (e.g. COMMENT).
        let input = "?\u{18}\0\0\0\0\0\0\n\t#\t\t?\t";
        let parse = crate::Parse::parse_yaml(input);
        let _ = parse.tree();
    }

    #[test]
    fn test_parse_deeply_nested_flow_mapping_does_not_blow_up() {
        // Regression: deeply nested `{{{...` blew RSS/stack. The parser now
        // bails out with an error after MAX_FLOW_DEPTH levels.
        let input = "{".repeat(2000);
        let parse = crate::Parse::parse_yaml(&input);
        let _ = parse.tree();
        assert!(parse.has_errors());
    }

    #[test]
    fn test_parse_deeply_nested_flow_sequence_does_not_blow_up() {
        let input = "[".repeat(2000);
        let parse = crate::Parse::parse_yaml(&input);
        let _ = parse.tree();
        assert!(parse.has_errors());
    }

    #[test]
    fn test_parse_explicit_key_followed_by_question_in_value_does_not_hang() {
        // Regression: parse_explicit_key_mapping's continuation loop must
        // re-enter explicit-key handling when current is `?` instead of
        // calling parse_mapping_key_value_pair (which cannot consume a `?`).
        let input = "<<?: ?:  \n<<\n ?:    : 0\n:@";
        let parse = crate::Parse::parse_yaml(input);
        let _ = parse.tree();
    }

    #[test]
    fn test_parse_complex_key_mapping_with_stray_close_bracket_does_not_hang() {
        // Regression: parse_complex_key_mapping's continuation loop must
        // make progress when is_mapping_key() is fooled by `]:`.
        let input = "[%:%:]: \n]: \n\n";
        let parse = crate::Parse::parse_yaml(input);
        let _ = parse.tree();
    }

    #[test]
    fn test_parse_mapping_with_stray_close_brace_does_not_hang() {
        // Regression: parse_mapping_with_base_indent must make progress when
        // is_mapping_key() is fooled by `}:` (or `]:`) appearing as a stray
        // delimiter — the missing-colon recovery inserts a synthetic token
        // without advancing the input.
        let input = "\0:\n\n}:\n\n{";
        let parse = crate::Parse::parse_yaml(input);
        let _ = parse.tree();
        assert!(parse.has_errors());
    }
}