#>literal_parser
real parser browser-local lossless check

Literal Spw Parser

This is the parser, running in your browser. Change the source and watch Spw become tokens, an abstract syntax tree, diagnostics, and an exact reconstruction.

This tool ships the portable parser kernel from spw-workbench. The public page does not imitate a parse or infer braces with display-only rules: the same parser package used by the CLI and language tooling produces the result below.

@parse

Source → evidence

Parser build: spw-workbench

Try:

Literal source

editable literal

Waiting for the parser.

!load[source_into_app]

The first action creates an app-safe URL containing this exact source. The installed Spw app opens that URL at this parser; registered .spw files can open here directly on supporting systems.

Tokenslexer order + source positions
    ASTparser-owned node types + spans 
    null
    Diagnosticserrors and warnings are not hidden
      ^proof_boundary

      What this proves

      Literal structure

      Source positions, token kinds, and AST spans remain inspectable. When the parser emits diagnostics they stay visible; permissive input remains accepted exactly as the parser reports.

      Portable kernel

      The parser has no DOM dependency. This page imports a browser bundle generated from the mounted workbench parser entrypoint.

      Lossless evidence

      The token stream is concatenated and compared with the original source. “Exact” means every emitted token reconstructs the literal input.

      Honest boundary

      This proves parsing and source geometry. It does not claim evaluation, canonical normalization, runtime effects, or semantic correctness for every possible program.