Handle sort parameters correctly in JSON Kast format#4913

Merged

ehildenb merged 9 commits into

sort-params-kast

Apr 27, 2026

Commits on Apr 24, 2026

ToJson, JsonParser, kast/{kast,inner,att}, prelude-modules.json, test_{kast,manip}: bump KAST version 3→4, emit structured KSort params

ehildenb
and
claude
committed
konvert/_module_to_kore, test_module_to_kore: fix parameterized sort Kore emission, un-skip test

ehildenb
and
claude
committed
JsonParser, kast/{inner,att}, profiling/test-data: remove v3 compat, migrate fixtures to KAST v4

ehildenb
and
claude
committed
JsonParser: remove unused Outer import

ehildenb
and
claude
committed
regression-new/: migrate KAST fixture v3→v4

ehildenb
and
claude
committed
pyk/regression-new: update baselines for KAST v4 variable hashes

ehildenb
and
claude
committed

Commits on Apr 27, 2026