{"id":"merge-trees-creates-new-nodes-for-overlaps","text":"`merge_trees` allocates a new `TreeNode` for every position where both input trees have a node; it never mutates either input at overlapping positions.","truth_value":"IN","source":"entries/2026/06/06/merge-two-binary-trees-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["merge-trees-hybrid-ownership-semantics"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"merge-trees-creates-new-nodes-for-overlaps","truth_value":"IN","reason":"premise"}]}}