Status: IN
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
Source: entries/2026/05/29/topic-multi-paxos-vs-single-decree.md