{"id":"replica-put-no-concurrency-safety","text":"The version check and store update in `Replica.put` are not atomic (TOCTOU race on lines 22–25); the method is unsafe under concurrent access without external locking.","truth_value":"IN","source":"entries/2026/05/29/read-repair-read_repair-put.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"replica-put-no-concurrency-safety","truth_value":"IN","reason":"premise"}]}}