Repository navigation

Drain checkpoint readers before deciding final sealed state - #84

Merged

ligon merged 2 commits into

mainfrom

fix/70-final-reader

Oct 30, 2026

Merged

Drain checkpoint readers before deciding final sealed state#84
ligon merged 2 commits into
mainfrom
fix/70-final-reader

Commits on Oct 30, 2026
- ledger: define final reader quiescence and sealing invariants
  ligon
  committed
  7f928d3
- Drain owned checkpoint readers before final holder classification
  ligon
  committed
  7730000