fix(analyzer): Summary storage improvement - #365

Draft

Saloed wants to merge 4 commits into

mainfrom

saloed/10-heap-compression-main

Commits on Aug 20, 2026

perf(dataflow): allocate the access-tree interner on first use, not per storage

Saloed
and
claude
committed
976084e
perf(dataflow): allocate a premise trie node's children map on the first child

Saloed
and
claude
committed
ea7cc44
perf(dataflow): key a premise's per-instruction facts sparsely

Saloed
and
claude
committed
9c17a21
perf(dataflow): hold the access-tree index sparsely instead of a BitSet per node

Saloed
and
claude
committed
3617ae9