{"id":"verify-proof-direction-unvalidated","text":"The `direction` field in proof siblings is not validated; any value other than `\"left\"` is silently treated as `\"right\"` via the else branch.","truth_value":"IN","source":"entries/2026/05/29/merkle-tree-merkle_tree-verify_proof.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"verify-proof-direction-unvalidated","truth_value":"IN","reason":"premise"}]}}