feat(laurel): user-level polymorphism — generic composites, procedures, datatypes, type aliases#1394

Draft

fabiomadge wants to merge 51 commits into

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

fabiomadge:laurel-polymorphism-landing

Commits on Jun 26, 2026

feat(laurel): user-level polymorphism — generic composites, procedures, and datatypes
fabiomadge
committed
chore(laurel): polymorphism follow-up cleanups (no soundness change)
fabiomadge
committed
feat(laurel): Map-typed fields, generic is/as, type aliases + test hardening
fabiomadge
committed
feat(laurel): generic type aliases (type Foo<T> = ...)
fabiomadge
committed
refactor(laurel): share alias-arg substitution kernel (applyAliasArgs)
fabiomadge
committed
test(laurel): pin verified edges; mark dead .TSet arms
fabiomadge
committed
docs(laurel): fix comments the follow-ups left stale
fabiomadge
committed
feat(laurel): extend ContractPass to handle polymorphic callees
fabiomadge
committed
fix(laurel): adapt polymorphism to the advanced base (rebase integration)
fabiomadge
committed

Commits on Jul 13, 2026

refactor(laurel): trim the metrics harness to the corpus-case harness
fabiomadge
committed

Commits on Jul 14, 2026

Commits on Jul 15, 2026

Commits on Jul 18, 2026

docs(laurel): trim, tighten, and fact-check LaurelAST comments
fabiomadge
committed