feat(compiler): advance native validator self-hosting (#492)

- Support mutable forward captures with correct initialization and exception behavior.
- Compile recursive literals, exhaustive bindings, and validator collection operations statically.
- Run validator control-flow analysis natively with C and LLVM differential coverage.
This commit is contained in:
Chris Tate
2026-09-27 12:14:06 -05:00
committed by GitHub
parent 7a30a159eb
commit 8e95bcbe7f
33 changed files with 1368 additions and 282 deletions
+1 -1
View File
@@ -3,7 +3,7 @@
// hashing is honest for exactly those); everything else is fenced.
// Array seeds lower (`new Set(["a", "b"])` is a corpus program now); a
// non-array seed — another Set, any iterable — typechecks against the lib
// other iterable seed — another Set — typechecks against the lib
// but keeps the fence: never silently an empty set.
const seeded = new Set(new Set(["a", "b"]));