Keep Expr non-generic; record checked facts in side tables - #71

Open

wtholliday wants to merge 3 commits into

mainfrom

refactor/checked-side-tables

Commits on Sep 9, 2026

Introduce a checked-program boundary across the compiler
izaak
committed
9981355
Guard optional Stack interpreter checks in regression tests
izaak
committed
96a4d08
Keep Expr non-generic; record checked facts in side tables

wtholliday
and
claude
committed
1c7294e