{"id":"btree-delete-skips-free-page","text":"The delete path does not call `free_page` even when a leaf becomes completely empty; `PageManager`'s free list is used only by `allocate_page` after explicit `free_page` calls from other paths.","truth_value":"IN","source":"entries/2026/05/28/topic-b-tree-underflow-rebalancing.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"btree-delete-skips-free-page","truth_value":"IN","reason":"premise"}]}}