{"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":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"btree-empty-leaf-freed-on-delete","truth_value":"IN","reason":"premise"}]}}