Expand description
Lowering contracts for validated Snark grammar facts.
The intended runtime path is:
- preserve/import Tree-sitter package inputs with provenance;
- validate Tree-sitter grammar semantics into Snark’s typed symbol, production, field, scanner, query, recovery, and incremental facts;
- lower Snark’s own facts into a Snark dialect carried by Weavy programs.
Raw grammar.json DTOs, generated Tree-sitter implementation files, and
milestone parsers are not this layer.
Modules§
- weavy
- Snark dialect scaffold for Weavy lowering.