{"id":"tob-linearizable-register-is-built-on-broadcast","text":"`LinearizableRegister` wraps `TOBCluster` to provide `write()`/`read()`/`compare_and_set()`, demonstrating the DDIA Chapter 9 equivalence between total-order broadcast and linearizable storage","truth_value":"IN","source":"entries/2026/05/29/total-order-broadcast-test_total_order_broadcast.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"tob-linearizable-register-is-built-on-broadcast","truth_value":"IN","reason":"premise"}]}}