{"id":"tob-proposal-number-encodes-node-id","text":"Proposal numbers are computed as `round * num_nodes + node_id`, guaranteeing uniqueness across nodes within the same round but restarting at round 0 for each slot independently","truth_value":"IN","source":"entries/2026/05/29/topic-multi-paxos-vs-single-decree.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"tob-proposal-number-encodes-node-id","truth_value":"IN","reason":"premise"}]}}