Exception Support Prototype#1435

Draft

kadirayk wants to merge 28 commits into

strata-org:reviewed-kbd-will-merge-to-mainfrom

kadirayk:exceptions

Commits on Jun 29, 2026

Commits on Jun 30, 2026

feat(laurel): add try/catch/finally (E3/E5), predicate-based dispatch
kadirayk
committed

Commits on Jul 1, 2026

feat(laurel): add throws/onThrow procedure contract (E4), recorded not enforced
kadirayk
committed
fix(laurel): heap-parameterize inside try/catch and throw
kadirayk
committed

Commits on Jul 2, 2026

feat(laurel): minimal generic datatypes (E7 prerequisite)
kadirayk
committed

Commits on Jul 6, 2026

Commits on Jul 8, 2026

Commits on Jul 9, 2026

test(laurel): golden before/after test for EliminateExceptions pass
kadirayk
committed

Commits on Jul 10, 2026

docs(laurel): add end-to-end exception lowering examples (Java -> Laurel -> Core IR)
kadirayk
committed

Commits on Jul 14, 2026

Commits on Jul 15, 2026

feat(laurel): per-path exceptional frame (onThrow modifies)
kadirayk
committed