{"id":"merkle-diff-enables-targeted-key-range-repair","text":"Merkle tree diffs produce sorted leaf indices that map directly to key ranges when the tree is built with key-sorted input, enabling anti-entropy repair that transfers only divergent key ranges rather than full dataset comparisons.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["merkle-diff-returns-leaf-indices","key-range-merkle-sorts-by-key","merkle-diff-order-is-ascending"],"outlist":[],"label":"Sorted key input + sorted index output = direct mapping from diff results to key ranges needing repair"}],"dependents":["anti-entropy-detects-but-cannot-fully-resolve-divergence"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"unnecessary"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"merkle-diff-enables-targeted-key-range-repair","truth_value":"IN","reason":"SL justification valid","antecedents":["merkle-diff-returns-leaf-indices","key-range-merkle-sorts-by-key","merkle-diff-order-is-ascending"],"label":"Sorted key input + sorted index output = direct mapping from diff results to key ranges needing repair"},{"node":"merkle-diff-returns-leaf-indices","truth_value":"IN","reason":"premise"},{"node":"key-range-merkle-sorts-by-key","truth_value":"IN","reason":"premise"},{"node":"merkle-diff-order-is-ascending","truth_value":"IN","reason":"premise"}]}}