Handle KAs in sort inference, add sort parameter inference#4915

Draft

ehildenb wants to merge 12 commits into

sort-handling-improvements

Commits on Apr 27, 2026

test_definition: add unit tests for KDefinition sort(), resolve_sorts(), add_sort_params()

ehildenb
and
claude
committed
test_definition: convert to pytest parametrization, add extra test cases

ehildenb
and
claude
committed
test_definition: add unit tests for add_cell_map_items guard

ehildenb
and
claude
committed
outer: sort() handles KAs and unfilled KApply; resolve_sorts() recursive substitution

ehildenb
and
claude
committed
outer: add_sort_params() handles nested sort params and ML pred result sort sentinel

ehildenb
and
claude
committed
outer: add_cell_map_items wraps only when parent expects cell map sort

ehildenb
and
claude
committed

Commits on Apr 28, 2026

outer: assert at most one unbound sort param when using ML pred sentinel

ehildenb
and
claude
committed

Commits on May 8, 2026

Commits on May 11, 2026

outer, test_definition: port Java AddSortInjections direct sort param inference

ehildenb
and
claude
committed

Commits on May 12, 2026

Merge remote-tracking branch 'upstream/develop' into sort-handling-improvements
ehildenb
committed