{"id":"wal-has-threading-lock","text":"`WriteAheadLog` in `wal.py:80` uses a `threading.Lock` to serialize `append`, `append_batch`, `checkpoint`, and `truncate`, making it the only concurrency-aware component in the codebase","truth_value":"IN","source":"entries/2026/05/29/topic-btree-concurrency-control.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"wal-has-threading-lock","truth_value":"IN","reason":"premise"}]}}