{"id":"delete-semantics-fragmented-from-storage-to-derived-systems","text":"Delete propagation is fragmented end-to-end: tombstone representations differ at every storage layer (ambiguous empty-bytes sentinel, premature compaction purging, replication-dependent lifetime), and derived systems require explicit flush plus old-value CDC events that inconsistent tombstones cannot reliably provide.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["tombstone-lifecycle-fragmented-across-modules","derived-system-consistency-requires-flush-and-old-values"],"outlist":[],"label":"per-layer tombstone inconsistency undermines the old-value requirement for correct derived-system updates"}],"dependents":["compaction-is-critical-data-lifecycle-hazard"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"delete-semantics-fragmented-from-storage-to-derived-systems","truth_value":"IN","reason":"SL justification valid","antecedents":["tombstone-lifecycle-fragmented-across-modules","derived-system-consistency-requires-flush-and-old-values"],"label":"per-layer tombstone inconsistency undermines the old-value requirement for correct derived-system updates"},{"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"},{"node":"derived-system-consistency-requires-flush-and-old-values","truth_value":"IN","reason":"SL justification valid","antecedents":["unbundled-db-flush-required-for-derived","cdc-old-value-required-for-index-consistency"],"label":"Two mandatory conditions for derived-system correctness create a fragile AND-contract where violating either one causes silent data inconsistency"},{"node":"unbundled-db-flush-required-for-derived","truth_value":"IN","reason":"premise"},{"node":"cdc-old-value-required-for-index-consistency","truth_value":"IN","reason":"premise"}]}}