{"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":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-batch-atomicity-via-commit-record","wal-batch-commit-sentinel","wal-batch-single-write"],"outlist":["wal-no-begin-marker"],"label":"Batch atomicity holds only when incomplete batches are detectable — without BEGIN markers, replay cannot distinguish standalone writes from orphaned batch members"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-batch-replay-provides-atomicity","truth_value":"IN","reason":"SL justification valid","antecedents":["wal-batch-atomicity-via-commit-record","wal-batch-commit-sentinel","wal-batch-single-write"],"label":"Batch atomicity holds only when incomplete batches are detectable — without BEGIN markers, replay cannot distinguish standalone writes from orphaned batch members","outlist":["wal-no-begin-marker"]},{"node":"wal-batch-atomicity-via-commit-record","truth_value":"IN","reason":"premise"},{"node":"wal-batch-commit-sentinel","truth_value":"IN","reason":"premise"},{"node":"wal-batch-single-write","truth_value":"IN","reason":"premise"}]}}