feat: Compile queries to Rust - #558

Merged

zharinov merged 58 commits into

feat/macro-compiler

Jul 9, 2026

Commits on Jul 7, 2026

feat: Extract runtime engine to `plotnik-rt` crate
zharinov
committed
53914f9
feat: Dump the pre-pack NFA with definition provenance
zharinov
committed
e3bc235
feat: Emit Rust output types from the analysis type model
zharinov
committed
5b2226f
fix: resume sibling search after an accepted candidate fails
zharinov
committed
3d8d4a9
fix: reject a capture that duplicates its own bubbled child
zharinov
committed
50f0bc6
fix: reject an input supplied both inline and positionally
zharinov
committed
d4173f2
fix: reject a single-element sequence as a field value
zharinov
committed
c0b9915
fix: trace names call targets by address and unwinds on backtrack
zharinov
committed
1ad915d
fix: `(ERROR)` matches error nodes, not any named node
zharinov
committed
bb77208
fix: `(MISSING …)` matches missing nodes, not any node
zharinov
committed
046e4a5
feat: Generate Rust matchers from the fork-point NFA
zharinov
committed
974c5b8
feat: Generate typed replay and the parse/matches surface
zharinov
committed
51dfbf9
feat: Add the `plotnik` facade and `query!` proc-macro
zharinov
committed
e7a4b56
fix: Harden generated matchers against language skew and deep replay
zharinov
committed
c003f10
docs: fix query! examples and put the query string first
zharinov
committed
6f2d106
refactor(codegen): name trace reader context
zharinov
committed
76123b3
refactor(typegen): name emitted item roles
zharinov
committed
2221c5c
refactor(macros): collect query args through slots
zharinov
committed
0418ced
refactor(macros): name resolved grammar sources
zharinov
committed
8042ed7
refactor(codegen): name candidate miss outcomes
zharinov
committed
bf9d57f
refactor(macros): bundle query limit args
zharinov
committed
f0cb20b
refactor(macros): linearize grammar file walk
zharinov
committed
968fb1c
refactor(macros): name loaded query input
zharinov
committed
86fa3cc
refactor(macros): name entry collision check
zharinov
committed
9b4ee3a
refactor(codegen): flatten generated reader branches
zharinov
committed
a189d2c
refactor(typegen): name Rust type render context
zharinov
committed
3ecdb05
refactor(codegen): split operand collection
zharinov
committed
0f9fa08
refactor(macros): make limit parsing explicit
zharinov
committed
3d3986a
refactor(codegen): name call arm plan
zharinov
committed
d31d636
refactor(macros): make grammar probes explicit
zharinov
committed
506d4b9
refactor(typegen): group serde enum variant state
zharinov
committed
450cf01
refactor(typegen): name Rust output sections
zharinov
committed
c58f2a0
refactor(macros): split package grammar resolution
zharinov
committed
70d8114
refactor(typegen): track serde body source use
zharinov
committed
fffaf7e
refactor(typegen): derive serde enum variant context
zharinov
committed
2f670bb
refactor(macros): name loaded grammar result
zharinov
committed
499f393
refactor(macros): name rebuild anchors
zharinov
committed
98c704a
refactor(macros): name strict query compilation
zharinov
committed
204eaf5
refactor(macros): parse args through a cursor
zharinov
committed
7614a65
refactor(macros): route limit args by name
zharinov
committed
b6dbd78
refactor(codegen): group reader lookup tables
zharinov
committed
fcb24f9
refactor(codegen): name reader signatures
zharinov
committed
72dd833
refactor(codegen): name expected kind rows
zharinov
committed
67bf58c
refactor(codegen): name regex statics
zharinov
committed
1ffa8b7
refactor(typegen): name serde payload signature
zharinov
committed
bf0c70c
refactor(codegen): name reader scope close
zharinov
committed
d84a1b5
refactor(codegen): name parse replay emission
zharinov
committed
edb23a7
refactor(macros): name limit argument keys
zharinov
committed
340e592
refactor(codegen): name candidate checks
zharinov
committed
85494c9
refactor(macros): name string arguments
zharinov
committed
37da7ea
refactor(macros): derive query source spans
zharinov
committed
d800f43
refactor(typegen): build serde payload fields together
zharinov
committed
1901d13
refactor(codegen): name reader constructions
zharinov
committed
9161c4a
refactor(typegen): extract enum payload rendering
zharinov
committed
201836b

Commits on Jul 8, 2026

feat(type-system): drop captureless root default
zharinov
committed
e3fd2f6
feat(type-system): gate entrypoints by arity
zharinov
committed
4953f6f
feat(rust-surface): Add safe matches for void defs
zharinov
committed
2da0d0a

Commits on Jul 9, 2026

feat(rust-surface): bounded parse/matches surface with per-resource metering
zharinov
committed
66061ee