Repository navigation

rep: __rep_cmp_vote must be a total order (election can elect older data, data loss) - #266

Merged

gburd merged 4 commits into

fix/rep-elect-datagen

Nov 4, 2026

Merged

rep: __rep_cmp_vote must be a total order (election can elect older data, data loss)#266
gburd merged 4 commits into
masterfrom
fix/rep-elect-datagen

Commits on Nov 4, 2026
- E1 WIP: rep200 reproducer probe + findings for __rep_cmp_vote arm D
  agent
  committed
  5050601
- rep: __rep_cmp_vote must be a total order, not order-dependent (data_gen bypass)
  agent
  committed
  9b31ea4
- rep: E1 findings write-up + advisory rep200.tcl reproduction
  agent
  committed
  05bf1bc
- rep: say plainly what the eid tiebreak in __rep_cmp_vote does and does not do
  gburd
  committed
  c6e1030