btree-page-io-has-no-defensive-checks

Status: OUT

The B-tree's page I/O layer lacks defensive validation at every stage: deserialization accepts any bytes, leaf-finding doesn't verify node types, and page writes silently truncate oversized data — a single corrupted byte can cascade through the tree undetected.

Justifications

Three independent observations at different stages of the page lifecycle (read, navigate, write) reveal a consistent absence of safety checks

Depends on (SL): btree-deserialize-no-validation, find-leaf-no-type-check, write-page-silently-truncates

Depended on by

JSON