snark 0.0.1

Tree-sitter-compatible grammar package model and Weavy lowering scaffold.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Lowering contracts for validated Snark grammar facts.
//!
//! The intended runtime path is:
//!
//! 1. preserve/import Tree-sitter package inputs with provenance;
//! 2. validate Tree-sitter grammar semantics into Snark's typed symbol,
//!    production, field, scanner, query, recovery, and incremental facts;
//! 3. 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.

#[cfg(feature = "weavy-lowering")]
pub mod weavy;