refactor(monomorphize): give the threaded substitution and index maps typed value objects#25

Merged

math3usmartins merged 6 commits into

0.3.xfrom

refactor/monomorphize-value-objects

Jul 14, 2026

Commits on Jul 14, 2026

feat(monomorphize): add immutable Substitution value object

math3usmartins
and
claude
committed
refactor(monomorphize): thread the Substitution value object through specialization

math3usmartins
and
claude
committed
feat(monomorphize): add TemplateIndex value object

math3usmartins
and
claude
committed
refactor(monomorphize): thread TemplateIndex through the call-site rewriter

math3usmartins
and
claude
committed
test(monomorphize): pin the qualified-name global-fallback guard in TemplateIndex

math3usmartins
and
claude
committed
refactor(monomorphize): extract the method-template key format into MethodKey

math3usmartins
and
claude
committed