{"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":"IN","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"replay-lacks-batch-atomicity-across-implementations","truth_value":"IN","reason":"premise"}]}}