{"id":"distributed-divergence-accumulates-without-bound","text":"Replica divergence accumulates without bound: write operations have compounding correctness gaps (sloppy quorums count hints, sub-quorum configs accepted, conflict resolution split across modules), and the repair mechanism (Merkle-based anti-entropy) cannot fully reconcile because tombstone semantics differ at every layer.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["distributed-writes-have-compounding-correctness-gaps","anti-entropy-detects-but-cannot-fully-resolve-divergence"],"outlist":[],"label":"write-path gaps produce divergence faster than the repair path can resolve it"}],"dependents":["correctness-gap-widens-under-failure","system-degrades-monotonically-at-every-abstraction-level"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"distributed-divergence-accumulates-without-bound","truth_value":"IN","reason":"SL justification valid","antecedents":["distributed-writes-have-compounding-correctness-gaps","anti-entropy-detects-but-cannot-fully-resolve-divergence"],"label":"write-path gaps produce divergence faster than the repair path can resolve it"},{"node":"distributed-writes-have-compounding-correctness-gaps","truth_value":"IN","reason":"SL justification valid","antecedents":["quorum-guarantees-weakened-at-two-levels","conflict-resolution-architecture-is-split"],"label":"Weakened quorum guarantees rely on conflict resolution as a safety net, but that net is itself fragmented"},{"node":"quorum-guarantees-weakened-at-two-levels","truth_value":"IN","reason":"SL justification valid","antecedents":["hinted-handoff-sloppy-quorum-counts-hints","quorum-violation-warns-not-raises"],"label":"Two independent weakening mechanisms stack — hints inflate write-quorum counts while the safety check is advisory-only"},{"node":"hinted-handoff-sloppy-quorum-counts-hints","truth_value":"IN","reason":"premise"},{"node":"quorum-violation-warns-not-raises","truth_value":"IN","reason":"premise"},{"node":"conflict-resolution-architecture-is-split","truth_value":"IN","reason":"SL justification valid","antecedents":["crdts-are-self-resolving","strategy-enum-covers-two-of-three"],"label":"The enum explicitly tracks that CRDTs are a third strategy but delegates to a separate module, creating an architectural seam where composition should exist"},{"node":"crdts-are-self-resolving","truth_value":"IN","reason":"premise"},{"node":"strategy-enum-covers-two-of-three","truth_value":"IN","reason":"premise"},{"node":"anti-entropy-detects-but-cannot-fully-resolve-divergence","truth_value":"IN","reason":"SL justification valid","antecedents":["merkle-diff-enables-targeted-key-range-repair","tombstone-lifecycle-fragmented-across-modules"],"label":"Detection (Merkle diffs) is precise but resolution is blocked by inconsistent tombstone handling across modules"},{"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"},{"node":"tombstone-lifecycle-fragmented-across-modules","truth_value":"IN","reason":"SL justification valid","antecedents":["lsm-tombstone-is-empty-bytes","merge-preserves-tombstones-by-default","distributed-tombstone-removal-needs-replication-convergence"],"label":"Three layers of the tombstone lifecycle (creation, local cleanup, distributed cleanup) are independently implemented with no shared abstraction or safety contract"},{"node":"lsm-tombstone-is-empty-bytes","truth_value":"IN","reason":"premise"},{"node":"merge-preserves-tombstones-by-default","truth_value":"IN","reason":"premise"},{"node":"distributed-tombstone-removal-needs-replication-convergence","truth_value":"IN","reason":"premise"}]}}