{"id":"derived-system-consistency-requires-flush-and-old-values","text":"Derived systems (secondary indexes, materialized views) require two independent conditions for consistency: explicit flush to make mutations visible, and CDC old-value capture to remove stale index entries — either condition failing silently produces stale reads.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["unbundled-db-flush-required-for-derived","cdc-old-value-required-for-index-consistency"],"outlist":[],"label":"Two mandatory conditions for derived-system correctness create a fragile AND-contract where violating either one causes silent data inconsistency"}],"dependents":["cdc-backbone-both-heuristic-and-insufficient","delete-semantics-fragmented-from-storage-to-derived-systems","derived-systems-depend-on-unreliable-event-infrastructure"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"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"}]}}