fix: Compiler soundness sweep - #539

Merged

zharinov merged 22 commits into

masterfrom

fix/compiler-soundness-sweep

Jul 4, 2026

Commits on Jul 1, 2026

fix(analyze): enforce strict dimensionality for capture-carrying repeated values (#495)
zharinov
committed
f033b7d
fix(lower): soft-anchor upgrade for captured/tagged alternations (#472)
zharinov
committed
db50a9e
feat(lower): coalesce epsilon chains and dedup identical states (#475)
zharinov
committed
78de0fe
feat(types): nominal output model — opaque refs, tagging on consumption, compile-time naming
zharinov
committed
dd6a536

Commits on Jul 2, 2026

fix(lower): compile suppressed regions structurally (#470)
zharinov
committed
a16b2a1
fix(types): reject captures on multi-node void patterns
zharinov
committed
4717ad1
docs: align references with the nominal output model
zharinov
committed
4b9aa25
fix(types): compute def arities to fixpoint before inference
zharinov
committed
310de82
feat(types): captured `?` collects one nullable row; uncollected optional captures are errors
zharinov
committed
7201bea
fix(lower): inline nullable definition bodies so zero-width refs navigate correctly
zharinov
committed
2627cff
fix(core): word-aware case conversion; drop uncompilable doctests
zharinov
committed
2666c6c
fix(vm,bytecode): harden load boundary and runtime against forged/deep input
zharinov
committed
e0ed6dc
test(vm): pin optional field-value capture semantics
zharinov
committed
f92f46e
fix(types): unify arrays that differ only in cardinality
zharinov
committed
9f89f63
feat(diagnostics): typo suggestions, duplicate-def origin, empty-query error
zharinov
committed
e224467
fix(diagnostics): stop suggesting unsupported supertype syntax
zharinov
committed
bae8eb0
fix(parse): unterminated regex stops at line end and reports itself
zharinov
committed
190850b
chore: audit slop batch across grammar, pack, and CLI
zharinov
committed
ea46a77
docs(binary-format): align Match16-64 execution order with the VM
zharinov
committed
1a9de42
chore: remove dead code confirmed by audit sweep
zharinov
committed
846e582
feat(types): quantifier-rooted definitions collect into their output
zharinov
committed
7cf8b6e
fix(lower): make zero-width matching sound in groups, repeats, and alternations
zharinov
committed
594fe81

Navigation Menu

Uh oh!

fix: Compiler soundness sweep - #539

fix: Compiler soundness sweep#539
zharinov merged 22 commits into
masterfrom
fix/compiler-soundness-sweep

Commits on Jul 1, 2026

fix(analyze): enforce strict dimensionality for capture-carrying repeated values (#495)

fix(lower): soft-anchor upgrade for captured/tagged alternations (#472)

feat(lower): coalesce epsilon chains and dedup identical states (#475)

feat(types): nominal output model — opaque refs, tagging on consumption, compile-time naming

Commits on Jul 2, 2026

fix(lower): compile suppressed regions structurally (#470)

fix(types): reject captures on multi-node void patterns

docs: align references with the nominal output model

fix(types): compute def arities to fixpoint before inference

feat(types): captured `?` collects one nullable row; uncollected optional captures are errors

fix(lower): inline nullable definition bodies so zero-width refs navigate correctly

fix(core): word-aware case conversion; drop uncompilable doctests

fix(vm,bytecode): harden load boundary and runtime against forged/deep input

test(vm): pin optional field-value capture semantics

fix(types): unify arrays that differ only in cardinality

feat(diagnostics): typo suggestions, duplicate-def origin, empty-query error

fix(diagnostics): stop suggesting unsupported supertype syntax

fix(parse): unterminated regex stops at line end and reports itself

chore: audit slop batch across grammar, pack, and CLI

docs(binary-format): align Match16-64 execution order with the VM

chore: remove dead code confirmed by audit sweep

feat(types): quantifier-rooted definitions collect into their output

fix(lower): make zero-width matching sound in groups, repeats, and alternations