syntax

The self-hosted parser's typed AST (ADR 0043 stage 2). Parse results are the frontend's real product — the dump renderer in Dump.tlk is only the validation view of this tree. Nodes carry byte spans; kinds and child field order mirror the reference node kinds so the rendered tree lines up with the frozen dump format. Coverage grows with the parser: kinds appear here as their grammar lands.

Associates line comments with the declarations they document.

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.

The self-hosted lexer (ADR 0043 stage 2). Token values stay opaque to user code outside the syntax API. Procedural invocation records cross the private macro-service seam with their canonical kind tags and ranges. lex is a validation export rendering the frozen dump-format token section compared byte-for-byte by the differential harness.

Opaque, category-indexed syntax values for procedural macros.

The self-hosted parser (ADR 0043 stage 2). A port of the reference recursive-descent/Pratt parser over the Talk lexer's token stream, validated construct-by-construct against the frozen dump corpus.