{"id":"btree-empty-leaf-freed-on-delete","text":"When all keys are removed from a non-root leaf, the page is returned to the free list via `PageManager.free_page()` rather than persisting as an empty node","truth_value":"IN","source":"entries/2026/05/28/topic-btree-split-and-merge-strategy.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"btree-empty-leaf-freed-on-delete","truth_value":"IN","reason":"premise"}]}}