Repository navigation

fix(db): keep a live query running when a lazy demand fails during a truncate replay - #2231

Merged

KyleAMathews merged 47 commits into

mainfrom

codex/issue-2224

Oct 28, 2026

Merged

fix(db): keep a live query running when a lazy demand fails during a truncate replay#2231
KyleAMathews merged 47 commits into
mainfrom
codex/issue-2224

Commits on Oct 22, 2026
- fix(db): keep a lazy demand that fails a truncate replay from ending its live query
  
  Test
  and
  Isaac
  committed
  2099cb2
- fix(db): treat aborted lazy demand as obsolete and keep initial failures fatal
  
  Test
  and
  Isaac
  committed
  ed89a31
- chore: add changeset for live-query replay failure fix
  
  Test
  and
  Isaac
  committed
  4afe71e
- fix(db): repair an ordered window whose refetched page moved before its tie
  
  Test
  and
  Isaac
  committed
  21fbd03
- docs: split a long changeset sentence
  
  Test
  and
  Isaac
  committed
  26bff5f
- fix(db): read only the moved end's tie after a refetch, and apply moves deferred behind a discarded replay
  
  Test
  and
  Isaac
  committed
  ce1299d
- chore(db): update the mangle cache for renamed loader members
  
  Test
  and
  Isaac
  committed
  de45e14
Commits on Oct 23, 2026
- fix(db): keep an undefined page end from matching the no-tie sentinel
  
  Test
  and
  Isaac
  committed
  58ea610
- test(db): judge an unproven report after joined work defers its pass
  
  Test
  and
  Isaac
  committed
  9b65273
- test(db): void a deferred report proof when a later step changes what it owes
  
  Test
  and
  Isaac
  committed
  b79e4a9
- test(db): cover nullish ranks, staged end ties, and proven reports in the ordered oracles
  
  Test
  and
  Isaac
  committed
  40fea3f
- refactor(db): drop the equivalent undefined-end guard from report revalidation
  
  Test
  and
  Isaac
  committed
  7907d4e
- Merge remote-tracking branch 'origin/main' into codex/issue-2224
  
  Test
  and
  Isaac
  committed
  c38ee3b
- test(db): judge law 9 retention in generated replay histories
  
  Test
  and
  Isaac
  committed
  9f6cd4a
- test(db): generate replay recovery during the initial preload
  
  Test
  and
  Isaac
  committed
  4614d39
- test(db): declare reach for the ordered report laws this branch added
  
  Test
  and
  Isaac
  committed
  a45ebcc
- fix(db): share one replay barrier across a query's subscriptions to a collection
  
  Test
  and
  Isaac
  committed
  f987401
- chore: describe the shared replay barrier in the changeset
  
  Test
  and
  Isaac
  committed
  aec47ad
Commits on Oct 26, 2026
- Merge remote-tracking branch 'origin/main' into codex/issue-2224
  Test
  committed
  afad526
- test(db): drop the one-run replay override from this branch's campaigns
  
  Test
  and
  Isaac
  committed
  944a0c0
- fix(db): grow a short unindexed prefix instead of reading the full source
  
  Test
  and
  Isaac
  committed
  fe48cbe
Commits on Oct 27, 2026
- refactor(db): drop the implied short-read term from the growth stop rule
  
  Test
  and
  Isaac
  committed
  248f60b
- test(db): judge every loaded-subset report against a faithful fake source
  
  Test
  and
  Isaac
  committed
  d1bf75c
- fix(db): judge a lazy demand's failure against its source's shared barrier
  
  Test
  and
  Isaac
  committed
  3ead20a
- refactor(db): close the report path's remaining guards with laws or deletions
  
  Test
  and
  Isaac
  committed
  e0e4390
- fix(db): fail a truncate replay when a demand's load throws inside it
  
  Test
  and
  Isaac
  committed
  cd3d062
- fix(db): hold publication for a demand that fails behind a sibling's failed replay
  
  Test
  and
  Isaac
  committed
  e8ec44f
- test(db): keep the two traces reported on #2221 as named replays
  
  Test
  and
  Isaac
  committed
  5b4c304
- fix(db): keep a window move from settling on behalf of itself
  
  Test
  and
  Isaac
  committed
  766d7f6
- refactor(db): derive the live query's error state and share loading-promise release
  
  Test
  and
  Isaac
  committed
  d6453b5
- refactor(db): repair a report whose page end moved instead of reading its tie
  
  Test
  and
  Isaac
  committed
  0bdf113
- refactor(db): fold the shared-barrier failure check into the builder
  
  Test
  and
  Isaac
  committed
  3347da6
- test(db): require a failed demand outside every recovery to end the query
  
  Test
  and
  Isaac
  committed
  7924514
- fix(db): let no window move wait on itself after a newer move throws
  
  Test
  and
  Isaac
  committed
  41e231b
- test(db): tighten the oracles an independent review found too permissive
  
  Test
  and
  Isaac
  committed
  a43e73b
Commits on Oct 28, 2026
- Merge remote-tracking branch 'origin/main' into codex/issue-2224
  
  Test
  and
  Isaac
  committed
  9e0314a
- Merge remote-tracking branch 'origin/main' into codex/issue-2224
  
  Test
  and
  Isaac
  committed
  3ee7761
- Merge remote-tracking branch 'origin/main' into codex/issue-2224
  
  Test
  and
  Isaac
  committed
  c2f8e8d
- test(db): judge request errors and per-query initial failures in the replay oracle
  
  Test
  and
  Isaac
  committed
  c0ffcb8
- fix(db): reject a deferred window move with its replay's own error
  
  Test
  and
  Isaac
  committed
  0203c3f
- Merge remote-tracking branch 'origin/main' into codex/issue-2224
  
  Test
  and
  Isaac
  committed
  94df56d
- test(db): let a loaded retry decide a failed replay load in the replay oracle
  
  Test
  and
  Isaac
  committed
  834c1ec
- test(db): pin a failed replacement's hold ending when a later demand settles
  
  Test
  and
  Isaac
  committed
  9890e2b
- test(db): judge each subscription's replay verdict in the request-error account
  
  Test
  and
  Isaac
  committed
  446ad1f
- docs(db): end a failed replacement's hold when its joined loads load
  
  Test
  and
  Isaac
  committed
  e2351d0
- Merge remote-tracking branch 'origin/main' into codex/issue-2224
  
  Test
  and
  Isaac
  committed
  e262861
- test(persistence): pin two known gaps that random campaigns found
  
  Test
  and
  Isaac
  committed
  b027969

Commits

Commits on Oct 22, 2026

Commits on Oct 23, 2026

Commits on Oct 26, 2026

Commits on Oct 27, 2026

Commits on Oct 28, 2026