dump

Validation view of the self-hosted parse (ADR 0043 stage 2): renders the frozen dump format — token section, tree section with byte spans and snippets, diagnostics — byte-for-byte against the reference dump_block_items. Only Rust and this file know the dump format; the AST in Ast.tlk is the real product.

API Reference

Functions

func parse(source: String) -> String

Renders the canonical validation dump for a strict whole-file parse.

func parse_lenient(source: String) -> String

The lenient whole-file parse (the editor contract): a hard failure degrades to an empty tree carrying the failure as a diagnostic.

func parse_expr(source: String) -> String

Renders the canonical dump for input parsed as exactly one expression.

func parse_type(source: String) -> String

Renders the canonical dump for input parsed as exactly one type annotation.