feat(fc): define store pruning and prove the finalized-slot memory bound - #73

Merged

adust09 merged 2 commits into

mainfrom

feat/fc-prune-safety

Jul 30, 2026

Commits on Jul 30, 2026

feat(fc): define store pruning and prove the finalized-slot memory bound
adust09
committed
b01fda3
feat(fc): prove pruning preserves the store invariants
adust09
committed
57dd6c0