{"id":"merkle-proof-is-snapshot","text":"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","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-proof-is-snapshot","truth_value":"IN","reason":"premise"}]}}