{"id":"internal-node-children-invariant","text":"_serialize_internal assumes len(children) == len(keys) + 1 but does not assert it; too few children raises IndexError, while extra children beyond keys+1 are silently dropped — a potential data-loss path if the invariant is violated.","truth_value":"IN","source":"entries/2026/05/29/b-tree-storage-engine-btree-_serialize_internal.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"internal-node-children-invariant","truth_value":"IN","reason":"premise"}]}}