Repository navigation

Give the #1854 RocksDB oracle a checkpoint it cannot race - #2452

Merged

kriszyp merged 5 commits into

mainfrom

test/rocksdb-oracle-checkpoint-snapshot

Sep 2, 2026

Merged

Give the #1854 RocksDB oracle a checkpoint it cannot race#2452
kriszyp merged 5 commits into
mainfrom
test/rocksdb-oracle-checkpoint-snapshot

Commits on Sep 2, 2026
- Give the #1854 RocksDB oracle a checkpoint it cannot race
  
  kriszyp
  and
  claude
  committed
  6433f96
- Address review: keep teardown reachable, pin the checkpoint location
  
  kriszyp
  and
  claude
  committed
  f974dbe
- Address review comments on the snapshot control
  
  kriszyp
  and
  claude
  committed
  4f77e60
- Tighten the checkpoint oracle proof and cleanup
  
  kriszyp
  and
  codex
  committed
  c4d173b
- Merge branch 'main' into test/rocksdb-oracle-checkpoint-snapshot
  kriszyp
  authored
  0645286