Add the type-erased arg-parser runtime kernel with property tests - #566

Merged

Smaug123 merged 4 commits into

mainfrom

argparser-erased-core

Jul 15, 2026

Commits on Jul 15, 2026

Add the type-erased arg-parser runtime kernel with property tests

Smaug123
and
claude
committed
dd0e64f
Add a checked WellFormedSchema constructor to the runtime kernel

Smaug123
and
claude
committed
c40eb30
Use exactly the scanner's equality in schema validation

Smaug123
and
claude
committed
f80f036
Format
Smaug123
committed
a27a0e9