{"id":"merkle-get-proof-rejects-padding-indices","text":"`get_proof` bounds-checks against `_leaf_count` (real leaves), not `_padded_size`, so proofs cannot be generated for padding slots even though they have valid hashes in the backing array","truth_value":"IN","source":"entries/2026/05/29/merkle-tree-merkle_tree-get_proof.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"merkle-get-proof-rejects-padding-indices","truth_value":"IN","reason":"premise"}]}}