{"id":"checkpoint-record-unused-for-truncation","text":"The WAL supports `OP_CHECKPOINT` records that could serve as a durable truncation watermark (skip records below the watermark during replay), but `truncate()` physically removes records instead of using this mechanism","truth_value":"IN","source":"entries/2026/05/29/topic-crash-safety-of-truncate.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"checkpoint-record-unused-for-truncation","truth_value":"IN","reason":"premise"}]}}