{"id":"tob-linearizable-reads-via-broadcast","text":"`LinearizableRegister.read()` broadcasts the read through consensus rather than reading locally, establishing a consistent point in the total order — necessary for linearizability without leader leases","truth_value":"IN","source":"entries/2026/05/29/total-order-broadcast-total_order_broadcast.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"tob-linearizable-reads-via-broadcast","truth_value":"IN","reason":"premise"}]}}