{"id":"btree-deserialize-no-validation","text":"Both _deserialize_leaf and _deserialize_internal perform no validation of page type, sort order, or buffer length; they trust that WAL CRC checks and the serialize functions guarantee well-formed pages, so corruption produces silent wrong results rather than errors.","truth_value":"OUT","source":"entries/2026/05/29/b-tree-storage-engine-btree-_deserialize_leaf.md","source_url":"","source_hash":"","justifications":[],"dependents":["btree-page-io-has-no-defensive-checks"],"metadata":{"_retracted":true},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"btree-deserialize-no-validation","truth_value":"OUT","reason":"retracted premise"}]}}