{"id":"serialize-leaf-is-pure","text":"`_serialize_leaf` is a pure function with no side effects; all I/O happens in the caller via `_wal_write_page`","truth_value":"IN","source":"entries/2026/05/28/b-tree-storage-engine-btree-_serialize_leaf.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"serialize-leaf-is-pure","truth_value":"IN","reason":"premise"}]}}