Status: IN
Merkle proofs are point-in-time snapshots; a proof generated before `update_leaf` will fail verification against the new root hash, and nothing invalidates the stale proof in-place
Source: entries/2026/05/29/merkle-tree-merkle_tree-get_proof.md