{"id":"wal-batch-replay-provides-atomicity","text":"WAL batch replay correctly identifies and rejects incomplete batches via the trailing COMMIT sentinel, providing atomic-or-nothing batch recovery semantics.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"wal-batch-replay-provides-atomicity","truth_value":"OUT","reason":"retracted premise"}]}}