{"id":"btree-splits-are-crash-safe","text":"Multi-page B-tree operations (splits, deletes) are made crash-safe by writing all modifications to the WAL before applying them to data pages.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"btree-splits-are-crash-safe","truth_value":"OUT","reason":"retracted premise"}]}}