{"id":"wal-file-size-managed-without-syscall-overhead","text":"WAL file size management avoids filesystem syscall overhead through tell()-based tracking with soft-limit semantics: the hot path uses fd.tell() instead of os.path.getsize() to avoid stat calls and TOCTOU races, the size limit is a soft cap checked before the next write rather than mid-write, and files at exactly the limit trigger rotation to prevent unbounded growth while allowing single-record overshoot.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-hot-path-avoids-getsize","wal-max-file-size-is-soft-limit","wal-exactly-at-limit-rotates"],"outlist":[],"label":"Three beliefs establish a consistent file-size management strategy optimized for write throughput that trades exact size enforcement for reduced syscall overhead."}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-file-size-managed-without-syscall-overhead","truth_value":"IN","reason":"SL justification valid","antecedents":["wal-hot-path-avoids-getsize","wal-max-file-size-is-soft-limit","wal-exactly-at-limit-rotates"],"label":"Three beliefs establish a consistent file-size management strategy optimized for write throughput that trades exact size enforcement for reduced syscall overhead."},{"node":"wal-hot-path-avoids-getsize","truth_value":"IN","reason":"premise"},{"node":"wal-max-file-size-is-soft-limit","truth_value":"IN","reason":"premise"},{"node":"wal-exactly-at-limit-rotates","truth_value":"IN","reason":"premise"}]}}