Repository navigation

Stamp a record lock's writes above the version it was admitted on, even when that version is ahead of the clock - #3248

Merged

kriszyp merged 38 commits into

mainfrom

fix/lock-stamp-above-admitted-version

Oct 30, 2026

Merged

Stamp a record lock's writes above the version it was admitted on, even when that version is ahead of the clock#3248
kriszyp merged 38 commits into
mainfrom
fix/lock-stamp-above-admitted-version

Commits on Oct 29, 2026
- Stamp record-lock holder writes above the state they were admitted on
  
  kriszyp
  and
  codex
  committed
  8d34e7b
- Claim a lock floor ahead of the clock as a unique local key
  
  kriszyp
  and
  codex
  committed
  7405024
- Persist a ceiling above lock claims so a restart cannot reissue them
  
  kriszyp
  and
  codex
  committed
  46f9f9a
- Cover every key the ratchet issues ahead of the clock, and keep past-cap floors off the clock
  
  kriszyp
  and
  codex
  committed
  6589890
- Abort an immediate handle whose key reservation throws, and drop a stale write scan
  
  kriszyp
  and
  codex
  committed
  e5a7458
- Mint acquiredAt, tsR and passed-floor stamps through the local key allocator
  
  kriszyp
  and
  codex
  committed
  d4b78eb
- Keep every lock-derived stamp off the next key the ratchet issues
  
  kriszyp
  and
  codex
  committed
  1d6b673
- Keep allocator failures on the paths that can recover from them
  
  kriszyp
  and
  codex
  committed
  416dc9f
- Upgrade before detaching on the coalesced path, and document the post-lead hold step
  
  kriszyp
  and
  codex
  committed
  57dfe07
- Skip the claim-lead wait on the LMDB leg
  
  kriszyp
  and
  codex
  committed
  2fc2d40
- Give the native key back if building the lock handle throws
  
  kriszyp
  and
  codex
  committed
  a4c11f1
- Keep a hold's applied version across a retry that ties with its own earlier attempt
  
  kriszyp
  and
  codex
  committed
  c6357da
- Drop the lock stamp ceiling scan: each immediate write reserves its own key
  
  kriszyp
  and
  codex
  committed
  db55888
- Count a retried write's version as applied only while its own record stands at it
  
  kriszyp
  and
  codex
  committed
  56c83d7
- Refuse a holder write that would join a commit reserved below its stamp
  
  kriszyp
  and
  codex
  committed
  4111fa9
- Detach a holder write whose key reservation fails, and fail the test cleanup loudly
  
  kriszyp
  and
  codex
  committed
  d2091cc
- detach holder write when lock stamp allocation fails
  
  kriszyp
  and
  codex
  committed
  0936ee8
- reject retries after a refused lock write
  
  kriszyp
  and
  codex
  committed
  594239b
- fix(record-locks): reject unsupported admission skew
  
  kriszyp
  and
  codex
  committed
  e818d90
- fix(config): reject overflowing lock skew durations
  
  kriszyp
  and
  codex
  committed
  cf8c598
- fix(record-locks): fence every refused handle write
  
  kriszyp
  and
  codex
  committed
  099fd04
- fix(record-locks): preserve frozen transaction clocks
  
  kriszyp
  and
  codex
  committed
  8b330ce
- test(record-locks): expect distinct local log key
  
  codex
  authored and
  kriszyp
  committed
  1877bf2
- fix(record-locks): close reviewed ordering gaps
  
  codex
  authored and
  kriszyp
  committed
  37503d5
- chore: clear inherited rebase validation blockers
  
  kriszyp
  and
  codex
  committed
  937d1d6
- test: repair inherited stream and startup fixtures
  
  kriszyp
  and
  codex
  committed
  ff7c91d
- docs(record-locks): align issuance and hold descriptions
  
  kriszyp
  and
  codex
  committed
  0363ca9
- fix(record-locks): make issuance coverage durable before publication
  
  kriszyp
  and
  codex
  committed
  dfa2303
- test(record-locks): exercise mapped remote origins
  
  kriszyp
  and
  codex
  committed
  52887da
- fix(record-locks): contain issuance recovery and refusal failures
  
  kriszyp
  and
  codex
  committed
  afcc62c
- fix(record-locks): detach siblings at every refusal site
  
  kriszyp
  and
  codex
  committed
  d1b762e
- fix(record-locks): honor hold-lock version floors across transactions
  
  kriszyp
  and
  Gemini
  committed
  21c8675
- fix(record-locks): separate committed holder floor and keep refused hold retryable
  
  kriszyp
  and
  Gemini
  committed
  b54d488
- fix(record-locks): detach sibling deferred hold writes on fixed-clock 409
  
  kriszyp
  and
  Gemini
  committed
  e8f149e
- fix(record-locks): address round-3 review feedback on skew cap, ceiling logging, and test hygiene
  
  kriszyp
  and
  Gemini
  committed
  bb52ccc
- fix(audit-store): throttle local issuance ceiling error logs and restore merge-base DESIGN.md
  
  kriszyp
  and
  Gemini
  committed
  3beac7f
- test: isolate qa5043 lock stamp table in its own database
  
  kriszyp
  and
  Gemini
  committed
  9e9a47d
- chore(docs): restore merge-base indexes DESIGN.md and fit resources DESIGN.md budget after rebase
  
  kriszyp
  and
  Gemini
  committed
  ac849f2

Commits

Commits on Oct 29, 2026