Repository navigation

fix(db): keep rows discarded by cleanup cleared after a restart; build GC oracle reach from constructed histories - #2382

Merged

KyleAMathews merged 11 commits into

mainfrom

oracle/gc-reach-constructed

Nov 9, 2026

Merged

fix(db): keep rows discarded by cleanup cleared after a restart; build GC oracle reach from constructed histories#2382
KyleAMathews merged 11 commits into
mainfrom
oracle/gc-reach-constructed

Commits on Nov 9, 2026
- test(db): give the GC transaction oracle constructed histories for every reach state
  
  Test
  and
  Isaac
  committed
  e492e49
- test(db): declare the GC oracle's fixed histories to its reach
  
  Test
  and
  Isaac
  committed
  dcb72dc
- test(db): build the GC transaction oracle's reach from constructed histories
  
  Test
  and
  Isaac
  committed
  245ea28
- test(db): type the GC oracle's cleanup builder as a History
  
  Test
  and
  Isaac
  committed
  9a55a60
- test(db): declare the GC oracle's settlement restarts as owned transaction functions
  
  Test
  and
  Isaac
  committed
  4fc778b
- test(db): state the GC oracle's retirement latency bound
  
  Test
  and
  Isaac
  committed
  7c939d7
- test(db): allow either retirement outcome exactly at the GC deadline
  
  Test
  and
  Isaac
  committed
  4401609
- test(db): extend the GC oracle with explicit mid-history cleanup
  
  Test
  and
  Isaac
  committed
  194a711
- fix(db): keep rows discarded by cleanup excluded after a restart
  
  Test
  and
  Isaac
  committed
  9a57551
- test(db): add a 1 ms clock step to the GC oracle
  
  Test
  and
  Isaac
  committed
  8b1a911
- ci: apply automated fixes
  autofix-ci[bot]
  authored
  ba3d594