{"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":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["btree-wal-provides-split-atomicity","btree-wal-fsync-per-entry"],"outlist":["btree-wal-replays-without-commit"],"label":"Split atomicity requires that recovery replays only complete operations, but the WAL applies all CRC-valid entries without commit verification — partial splits can be applied"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"btree-splits-are-crash-safe","truth_value":"IN","reason":"SL justification valid","antecedents":["btree-wal-provides-split-atomicity","btree-wal-fsync-per-entry"],"label":"Split atomicity requires that recovery replays only complete operations, but the WAL applies all CRC-valid entries without commit verification — partial splits can be applied","outlist":["btree-wal-replays-without-commit"]},{"node":"btree-wal-provides-split-atomicity","truth_value":"IN","reason":"premise"},{"node":"btree-wal-fsync-per-entry","truth_value":"IN","reason":"premise"}]}}