Status: IN
`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
Source: entries/2026/05/29/merkle-tree-merkle_tree-get_proof.md