{"id":"durability-pipeline-broken-at-both-ends","text":"The write-to-verify durability pipeline is broken at both ends: fsync policy inconsistencies across critical paths mean data may never durably reach disk (B-tree skips fsync for structural metadata while paying double for data), and incomplete CRC coverage means corrupted data that does reach disk passes integrity checks undetected (payload-only CRC leaves routing metadata unprotected).","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["fsync-policy-inconsistent-across-critical-paths","integrity-checking-is-both-incomplete-and-unrecoverable"],"outlist":[],"label":"Inconsistent fsync leaves data unwritten; incomplete CRC leaves corruption undetected — neither end of the pipeline is reliable"}],"dependents":["compaction-hazard-within-broken-durability-pipeline","durability-bugs-invisible-to-testing"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"durability-pipeline-broken-at-both-ends","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["fsync-policy-inconsistent-across-critical-paths"],"label":"Inconsistent fsync leaves data unwritten; incomplete CRC leaves corruption undetected — neither end of the pipeline is reliable"}]}}