{"id":"multiple-core-components-assume-single-thread-silently","text":"The B-tree, garbage collector, and consistent hash ring all assume single-threaded access without locks, assertions, or documentation — a systematic pattern where concurrency unsafety is implicit rather than enforced.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["btree-single-threaded-assumption","gc-not-thread-safe","consistent-hash-ring-not-thread-safe"],"outlist":[],"label":"Three independent modules share the same implicit single-threading assumption, suggesting this is a codebase-wide convention that is never explicitly stated or enforced"}],"dependents":["concurrency-unsafe-on-both-read-and-write-paths","distributed-correctness-undermined-at-both-layers"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"multiple-core-components-assume-single-thread-silently","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["gc-not-thread-safe","consistent-hash-ring-not-thread-safe"],"label":"Three independent modules share the same implicit single-threading assumption, suggesting this is a codebase-wide convention that is never explicitly stated or enforced"}]}}