emeryberger merged emeryberger/smash#56 · July 8, 2026 14:26 model: formalize the deferred-reclaim PROT_NONE compress-snapshot bug (PR #55) #56 SummaryModel-first companion to the PR #55 fix: a dual-verified (TLA+ and Lean) model of the deferred-reclaim compress-snapshot PROT_NONE crash, p… +482 -0