Replace push-based compilation with rock demand-driven query system#12

Open

kozak wants to merge 11 commits into

restaumaticfrom

Commits on Apr 11, 2026

Eliminate perf regression: shared cumulative Env and merged liftMake

kozak
and
claude
committed
Optimize incremental rebuild: lazy externs loading + parallel cache check

kozak
and
claude
committed
Move cache checks into rock queries for demand-driven evaluation

kozak
and
claude
committed
Add graph caching infrastructure (disabled pending test fix)

kozak
and
claude
committed
Enable graph caching with fast-path no-change detection

kozak
and
claude
committed
Fix incremental rebuild: use ExternsDiff before timestamp fallback

kozak
and
claude
committed

Commits on Apr 12, 2026

Fix CI: use git dependency for rock, fix hlint warnings

kozak
and
claude
committed