Repository navigation

feat(pointer): keep the first final state, and look before taking one - #239

Merged

jacderida merged 15 commits into

mainfrom

feat/pointer-ownership-transfer

Oct 15, 2026

Merged

feat(pointer): keep the first final state, and look before taking one#239
jacderida merged 15 commits into
mainfrom
feat/pointer-ownership-transfer

Commits on Oct 13, 2026
- feat(pointer): keep the first final state, and look before taking one
  
  grumbach
  authored and
  jacderida
  committed
  7205871
- test(pointer): import what the finality tests use, rather than naming it inline
  
  grumbach
  authored and
  jacderida
  committed
  bc6b528
- docs(adr): name ADR-0018's pull requests
  
  grumbach
  authored and
  jacderida
  committed
  4ef2aac
- docs(pointer): make the finality check's budget public, as its docs link to it
  
  grumbach
  authored and
  jacderida
  committed
  0d7b37f
- docs(adr): leave ADR-0016 as written, and say in ADR-0018 what it changes
  
  grumbach
  authored and
  jacderida
  committed
  7c5b2bf
- fix(pointer): make the look before a final state hard to stall, cheap to replay, and safe to restore
  
  grumbach
  authored and
  jacderida
  committed
  c8c5d8b
- chore(deps): pin ant-protocol at the head of its companion change
  
  grumbach
  authored and
  jacderida
  committed
  27f2cce
- fix(pointer): never let a second proof replace the first, and share one look among queued replays
  
  grumbach
  authored and
  jacderida
  committed
  f31d7b7
- fix(pointer): drop a clear look when its write fails, and spread looks over the address's last byte
  
  grumbach
  authored and
  jacderida
  committed
  60b8249
- fix(pointer): a stale fresh commit keeps no clear look, and a tie between final states adopts neither
  
  grumbach
  authored and
  jacderida
  committed
  6ed40c0
- fix(pointer): adopt a final state only as the larger side counting silent peers, and take only the proof claimed
  
  grumbach
  authored and
  jacderida
  committed
  aca5fdc
- fix(pointer): count repair votes by the whole state, and a summary for another address as no answer
  
  grumbach
  authored and
  jacderida
  committed
  f0159e1
- fix(pointer): name the remembered final state when refusing a rival, and test the whole-state backing
  
  grumbach
  authored and
  jacderida
  committed
  223c688
- fix(pointer): a finality proof must be exactly the state the peer claimed
  
  grumbach
  authored and
  jacderida
  committed
  450cf5c
- chore(deps): pin ant-protocol at the head of its companion change
  
  grumbach
  authored and
  jacderida
  committed
  beec6ba

Commits

Commits on Oct 13, 2026