Repository navigation

fix(db): keep overlapping ordered requests loading and release what they supersede - #2194

Merged

KyleAMathews merged 44 commits into

mainfrom

ordered-loader-ledger

Oct 22, 2026

Merged

fix(db): keep overlapping ordered requests loading and release what they supersede#2194
KyleAMathews merged 44 commits into
mainfrom
ordered-loader-ledger

Commits on Oct 16, 2026
- fix(db): recover a superseded request's failure without blocking refills
  
  Isaac
  and
  Isaac
  committed
  5c5ed26
- refactor(db): classify ordered request results in one place
  
  Isaac
  and
  Isaac
  committed
  7535f86
- refactor(db): retire superseded ordered acquisitions by epoch
  
  Isaac
  and
  Isaac
  committed
  32c859a
- test(db): exempt null and NaN boundaries from the signalling-refetch law
  
  Isaac
  and
  Isaac
  committed
  a2ff0cf
- docs: keep the ordered loader request-authority TLA+ model
  
  Isaac
  and
  Isaac
  committed
  a66219d
- Revert "refactor(db): retire superseded ordered acquisitions by epoch"
  
  Isaac
  and
  Isaac
  committed
  4541889
- fix(db): keep overlapping ordered repairs moving and retire what they supersede
  
  Isaac
  and
  Isaac
  committed
  5a88830
- test(db): exempt only refetch steps whose page ended on a null or NaN rank
  
  Isaac
  and
  Isaac
  committed
  db6f7a7
- docs: record that the TLA+ normalization rule did not transfer
  
  Isaac
  and
  Isaac
  committed
  943d586
- refactor(db): hold ordered-loader authority as a work slot and a debt
  
  Isaac
  and
  Isaac
  committed
  82cc4d4
- docs: keep the run-2 TLA+ model of the ordered loader
  
  Isaac
  and
  Isaac
  committed
  61d9fe1
- docs: model a request that fails while it starts
  
  Isaac
  and
  Isaac
  committed
  08443e1
- fix(db): extend the request-authority lane to every loader input
  
  Isaac
  and
  Isaac
  committed
  ee05e93
- docs: record that every defect replay fails at the merge base
  
  Isaac
  and
  Isaac
  committed
  2de4e0a
- Merge origin/main into ordered-loader-ledger
  
  Isaac
  and
  Isaac
  committed
  337b3a1
- chore(db): refresh the private-member mangle cache
  
  Isaac
  and
  Isaac
  committed
  b7b4466
- fix(db): fence replaced repair chains and retire late repair requests
  
  Isaac
  and
  Isaac
  committed
  1c107a8
Commits on Oct 21, 2026
- fix(db): stop every lease release pass on a reentrant reset
  
  Isaac
  and
  Isaac
  committed
  a66163f
- refactor(db): move ordered-loader work through one transition table
  
  Isaac
  and
  Isaac
  committed
  29aff25
- docs: model the ordered loader's transition table as TLA+ run 3
  
  Isaac
  and
  Isaac
  committed
  f903dad
- fix(db): block ordered refinement while a lease release pass runs
  
  Isaac
  and
  Isaac
  committed
  fca2c0f
- refactor(db): drop ordered-loader guards that dispose and reset already cover
  
  Isaac
  and
  Isaac
  committed
  287d936
- test(db): reach stacked truncates and fail fast on a double release
  
  Isaac
  and
  Isaac
  committed
  c95caf9
- test(db): restore a false-green assertion and check stale chain steps
  
  Isaac
  and
  Isaac
  committed
  5cedb8e
- fix(db): retire superseded failed leases when a replay covers the source
  
  Isaac
  and
  Isaac
  committed
  f4d023f
- fix(db): publish an ordered load whose lease release throws
  
  Isaac
  and
  Isaac
  committed
  c7d5cdb
- fix(db): keep a window move that a release failure follows
  
  Isaac
  and
  Isaac
  committed
  87fc0dd
- Merge origin/main into ordered-loader-ledger
  
  Isaac
  and
  Isaac
  committed
  aea751e
- fix(db): report a superseded failure's own error when its recovery start throws
  
  Isaac
  and
  Isaac
  committed
  0185f85
- test(db): add status and cost laws to the ordered oracles
  
  Isaac
  and
  Isaac
  committed
  8984048
- fix(db): resolve a window move whose only failure is a lease release
  
  Isaac
  and
  Isaac
  committed
  3eed8cc
- test(db): cross a joined source in the ordered replay witness
  
  Isaac
  and
  Isaac
  committed
  efc9be0
- fix(db): report a throwing lease release uncaught
  
  Isaac
  and
  Isaac
  committed
  8a78f7b
- fix(db): publish ordered windows when an on-demand joined load delivers no row
  
  Isaac
  and
  Isaac
  committed
  ff456e1
- Merge remote-tracking branch 'origin/main' into ordered-loader-ledger
  Isaac
  committed
  5587cfb
- fix(db): report throwing unloadSubset uncaught; newest setWindow call wins
  
  Isaac
  and
  Isaac
  committed
  ccf1dd8
- test(react-db): expect an uncaught source release report; refresh mangle cache
  
  Isaac
  and
  Isaac
  committed
  a80c02a
- refactor(db): compress the ordered loader's request path
  
  Isaac
  and
  Isaac
  committed
  52a9a04
- refactor(db): inline the loader's start-failure path and merge coverage moves
  
  Isaac
  and
  Isaac
  committed
  29c4c28
Commits on Oct 22, 2026
- refactor(db): delete three ordered-loader guards the code makes redundant
  
  Isaac
  and
  Isaac
  committed
  594fadb
- test(db): add an ignored-report cost law to the request-authority oracle
  
  Isaac
  and
  Isaac
  committed
  d704aca
- test(db): cover includes in the ordered-window witness; tighten the changeset
  
  Isaac
  and
  Isaac
  committed
  3d4fda3
- docs: note the loader changes the TLA+ models do not cover
  
  Isaac
  and
  Isaac
  committed
  56ca080
- fix(db): address the xhigh review: newest setWindow wins, invariant errors surface
  
  Isaac
  and
  Isaac
  committed
  9254e01

Commits

Commits on Oct 16, 2026

Commits on Oct 21, 2026

Commits on Oct 22, 2026