{"id":"concurrency-unsafe-on-both-read-and-write-paths","text":"Concurrency safety is absent from both mutation and query paths: core components (B-tree, garbage collector, consistent hash ring) silently assume single-threaded write access with no locks or assertions, and range scans lack snapshot isolation, cycle guards, or concurrent modification protection, meaning concurrent workloads can corrupt state through both writes and reads independently.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["multiple-core-components-assume-single-thread-silently","range-scan-lacks-safety-guarantees"],"outlist":[],"label":"Neither writes (silent single-thread assumption) nor reads (no snapshot isolation) are safe under concurrency"}],"dependents":["concurrent-access-during-compaction-is-doubly-unsafe","no-safe-operating-mode-exists"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"concurrency-unsafe-on-both-read-and-write-paths","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["multiple-core-components-assume-single-thread-silently","range-scan-lacks-safety-guarantees"],"label":"Neither writes (silent single-thread assumption) nor reads (no snapshot isolation) are safe under concurrency"}]}}