{"id":"record-format-is-length-prefixed","text":"Each WAL record starts with a 4-byte little-endian length prefix (not counting itself), followed by CRC, seq_num, op_type, and length-prefixed key/value pairs — minimum 25 bytes per record for empty key/value","truth_value":"IN","source":"entries/2026/05/28/topic-wal-checksum-format.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"record-format-is-length-prefixed","truth_value":"IN","reason":"premise"}]}}