Repository navigation

S1: SSI production-readiness — fix cross-leaf write-skew miss, add Adya checker, bindings, docs - #246

Merged

gburd merged 10 commits into

test/ssi-production

Nov 4, 2026

Merged

S1: SSI production-readiness — fix cross-leaf write-skew miss, add Adya checker, bindings, docs#246
gburd merged 10 commits into
masterfrom
test/ssi-production

Commits on Nov 2, 2026
- test/ssi: Adya cycle checker + SSI production-readiness report skeleton
  libdb-agent
  committed
  bb741ff
- test/ssi: working Adya cycle checker + expose SSI in Rust/Zig bindings
  libdb-agent
  committed
  b06ac85
- test/ssi: reproducer proving SSI misses a cross-page write skew (FAILS on master)
  libdb-agent
  committed
  84086bb
- rfc: RFC 0023 -- SSI must detect conflicts across multi-level B-tree descent
  libdb-agent
  committed
  2ae0136
- lock: SSI must not drop its own SIREAD marker when write-locking the page
  libdb-agent
  committed
  cced5c4
Commits on Nov 3, 2026
- test/ssi: wire the cross-leaf gate + Adya checker into the isolation tier
  libdb-agent
  committed
  0ec1d5a
- docs+report: SSI cross-leaf write skew fixed; update verdict to production-on-btree
  libdb-agent
  committed
  7753548
- lang: expose DB_TXN_SERIALIZABLE / SSI aborts in the Rust and Zig bindings
  libdb-agent
  committed
  7d2040f
- docs: SSI retry guidance uses DB_TXN_SERIALIZABLE and retries the whole txn
  gburd
  committed
  ac0d26d
- test/ssi+report: correct the verdict — a second write-skew miss remains
  gburd
  committed
  caa8eb2