{"id":"merge-trees-hybrid-ownership-semantics","text":"The merge-trees algorithm produces a hybrid ownership structure: overlapping positions get newly allocated nodes (independent of inputs), while non-overlapping subtrees are shared by reference with the original trees — the output's lifetime is entangled with both inputs, making it unsafe to mutate either input tree after merging.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["merge-trees-creates-new-nodes-for-overlaps","merge-trees-shares-subtrees-for-non-overlaps"],"outlist":[],"label":"Two merge-trees beliefs jointly reveal an ownership hazard invisible at the single-belief level"}],"dependents":[],"metadata":{"source_type":"derived","last_reviewed":"2026-06-07T22:02:22","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"merge-trees-hybrid-ownership-semantics","truth_value":"IN","reason":"SL justification valid","antecedents":["merge-trees-creates-new-nodes-for-overlaps","merge-trees-shares-subtrees-for-non-overlaps"],"label":"Two merge-trees beliefs jointly reveal an ownership hazard invisible at the single-belief level"},{"node":"merge-trees-creates-new-nodes-for-overlaps","truth_value":"IN","reason":"premise"},{"node":"merge-trees-shares-subtrees-for-non-overlaps","truth_value":"IN","reason":"premise"}]}}