{"id":"sstable-crash-leaves-zero-count-header","text":"A crash between SSTableWriter creation and `finish()` leaves `entry_count=0` in the file header while data records exist on disk; `SSTableReader` trusts the header count and reads the file as empty, silently losing all written entries.","truth_value":"IN","source":"entries/2026/05/29/topic-crash-recovery-invariants.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"sstable-crash-leaves-zero-count-header","truth_value":"IN","reason":"premise"}]}}