{"id":"servercraft-tui-shared-state-no-locking","text":"The TUI uses module-level `runtime_state` dict of `ServerState` dataclasses as shared mutable state between background threads and the UI, with no locking — relying on the GIL and simple attribute writes.","truth_value":"IN","source":"entries/2026/05/11/servercraft-tui.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"servercraft-tui-shared-state-no-locking","truth_value":"IN","reason":"premise"}]}}