{"id":"wal-multi-segment-continuity-is-reliable","text":"Multi-segment WAL replay provides reliable cross-segment continuity: segment rotation fsyncs the outgoing file before closing it, and EOF within one segment advances to the next rather than terminating replay, ensuring no inter-segment data loss during normal operation.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-eof-advances-to-next-file","wal-rotate-fsync-before-close"],"outlist":["wal-no-directory-fsync"],"label":"Reliable under normal operation but missing directory fsync means a crash could lose a newly created segment directory entry"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-multi-segment-continuity-is-reliable","truth_value":"IN","reason":"SL justification valid","antecedents":["wal-eof-advances-to-next-file","wal-rotate-fsync-before-close"],"label":"Reliable under normal operation but missing directory fsync means a crash could lose a newly created segment directory entry","outlist":["wal-no-directory-fsync"]},{"node":"wal-eof-advances-to-next-file","truth_value":"IN","reason":"premise"},{"node":"wal-rotate-fsync-before-close","truth_value":"IN","reason":"premise"}]}}