{"id":"merkle-diff-asymmetric-leaf-counts","text":"Two trees with different `_leaf_count` but the same `_padded_size` can be diffed; positions where one tree has data and the other has `EMPTY_HASH` padding are reported as diffs","truth_value":"IN","source":"entries/2026/05/29/merkle-tree-merkle_tree-diff.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"merkle-diff-asymmetric-leaf-counts","truth_value":"IN","reason":"premise"}]}}