{"id":"merkle-diff-is-pure","text":"`diff()` and `_diff_recursive` are read-only — they mutate neither tree, allocate only a local result list, and produce no side effects","truth_value":"IN","source":"entries/2026/05/29/merkle-tree-merkle_tree-diff.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"merkle-diff-is-pure","truth_value":"IN","reason":"premise"}]}}