pyk: context-aware sort-parameter inference in add_sort_params (port of Java AddSortInjections) - #4915

Draft

ehildenb wants to merge 25 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
2d302c6
test_definition: convert to pytest parametrization, add extra test cases

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

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

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

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

ehildenb
and
claude
committed
f4a7648

Commits on Apr 28, 2026

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

ehildenb
and
claude
committed
1182496

Commits on May 8, 2026

Commits on May 11, 2026

outer, test_definition: port Java AddSortInjections direct sort param inference

ehildenb
and
claude
committed
5ff5f45

Commits on May 12, 2026

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

Commits on May 27, 2026

outer, test_definition: infer_sort_params returns (bindings, inferred_sort) tuple

ehildenb
and
claude
committed
69a35ff
outer: fix _resolve_sort_partial docstring for pydocstyle

ehildenb
and
claude
committed
0c936a7

Commits on Jun 1, 2026

Commits on Jun 2, 2026

Commits on Jun 4, 2026

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