{"id":"replay-lacks-batch-atomicity-across-implementations","text":"Both the unbundled WAL and B-tree WAL replay all CRC-valid records without verifying batch completeness, meaning partial batches from mid-write crashes are silently applied as if they were complete transactions.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-replay-no-atomicity-check","btree-wal-replays-without-commit"],"outlist":[],"label":"Two independent WAL implementations share the same replay-safety gap, suggesting a systematic design choice (or oversight) rather than an isolated bug"}],"dependents":["storage-crash-recovery-has-no-safe-path"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"replay-lacks-batch-atomicity-across-implementations","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["wal-replay-no-atomicity-check","btree-wal-replays-without-commit"],"label":"Two independent WAL implementations share the same replay-safety gap, suggesting a systematic design choice (or oversight) rather than an isolated bug"}]}}