IxVM kernel: cut Aiur FFT cost on reduction- and check-heavy shards#438

Merged

arthurpaulino merged 13 commits into

mainfrom

Jun 12, 2026

Commits on Jun 9, 2026

IxVM: cheaper Expr.Share / universe lookups (list_drop + field index)
arthurpaulino
committed
IxVM: hot/cold split address_eq on a limb-0 prefilter
arthurpaulino
committed
IxVM: hot/cold split whnf_with_spine (Const + Proj head dispatch)
arthurpaulino
committed

Commits on Jun 10, 2026

IxVM: non-tail collect_spine, single shared definition
arthurpaulino
committed
IxVM: keyed skip-set for sharded check (replace addr_in_list scan)
arthurpaulino
committed
IxVM: collapse symbolic-base Nat.rec succ-tower to an offset
arthurpaulino
committed
IxVM: keep Nat base+literal compact (stop succ-tower materialization)
arthurpaulino
committed
IxVM: keep symbolic Nat.div/mod stuck (stop division-tower blowup)
arthurpaulino
committed
IxVM: narrow Ixon expr deserialization (Let split + telescope by &Expr)
arthurpaulino
committed