Crate snark 

Tree-sitter-compatible grammar package and Weavy lowering foundations.

Snark keeps the Tree-sitter compatibility boundary separate from the validated grammar and runtime layers. The current crate can import and preserve Tree-sitter grammar, scanner, query, and fixture inputs. The runtime direction is a provenance-rich lowering pipeline from validated Snark grammar IR into Snark’s Weavy dialect, checked against Tree-sitter’s corpus and query test outputs.

Modules

corpus

Imported Tree-sitter corpus and highlight fixture files.

diagnostic

Import errors and diagnostic-oriented source categories.

grammar

Raw Tree-sitter grammar JSON compatibility model.

lexical

Lexical and external-scanner ABI facts derived from validated grammar facts.

lower

Lowering contracts for validated Snark grammar facts.

manifest

Typed raw tree-sitter.json package configuration.

milestone

Non-foundational proof modules.

node_types

Typed raw node-types.json metadata.

query

Imported Tree-sitter query files.

runtime_input

Runtime input coordinate types.

scanner

Tree-sitter external scanner inputs.

source

Source identities and package-relative paths.

tree_sitter

Tree-sitter package import boundary.

validated

Validated Snark grammar facts derived from raw Tree-sitter grammar input.