Homogenize the QVR grammar surface and parse through the vendored grammar#47

Merged

aaronstevenwhite merged 35 commits into

mainfrom

feat/dsl-grammar-ergonomics

Jul 14, 2026

Commits on Jul 2, 2026

feat(dsl): homogenized grammar surface with deterministic parses
aaronstevenwhite
committed
feat(dsl): reject malformed parse trees; walk the homogenized surface
aaronstevenwhite
committed
feat(dsl): emit every AST node; add parse-emit-parse round-trip suite
aaronstevenwhite
committed
feat(transpile): plural morphism names, define bindings, typed draw args
aaronstevenwhite
committed
test(dsl): rewrite tree-sitter corpus for the current surface
aaronstevenwhite
committed
feat(dsl): grammar migration hop and corpus migration
aaronstevenwhite
committed
feat(dsl): closed option-key sets, kernel default role, plural expansion
aaronstevenwhite
committed
feat(lsp): plural-name symbols, define nesting, grammar-driven tokens
aaronstevenwhite
committed
refactor(dsl): drop inferable role options; use plural-name families
aaronstevenwhite
committed
feat(dsl): scope define where-blocks; cover structural and lexicon surface
aaronstevenwhite
committed
test(dsl): assert where-bound defines stay scoped
aaronstevenwhite
committed
feat(dsl): read parser and chart_fold keyword args; chart-parser example
aaronstevenwhite
committed
feat(dsl): bilinear tensor-contraction example with end-to-end tests
aaronstevenwhite
committed
docs(examples): add gallery nav and index entries for the new examples
aaronstevenwhite
committed
feat(dsl): parametric partial-pooling example; typed template errors
aaronstevenwhite
committed
fix(formulas): construct AST nodes with plural names and vars fields
aaronstevenwhite
committed
fix(formulas): read plural declaration names and observe vars in the lens path
aaronstevenwhite
committed
feat(dsl): release 0.15.0
aaronstevenwhite
committed
test(dsl): migrate suite to the homogenized surface; add diagnostics suite
aaronstevenwhite
committed
fix(analysis): read plural names and observe vars across analysis and REPL
aaronstevenwhite
committed

Commits on Jul 3, 2026