fix(db): complete loadSubset refinement lifecycle - #1780

Open

KyleAMathews wants to merge 334 commits into

codex/loadsubset-total-orderfrom

codex/loadsubset-refinement-oracle

This pull request is big! We're only showing the most recent 250 commits

Commits on Aug 29, 2026

test(db): model multi-source ordered windows
KyleAMathews
committed
b259ea3
test(db): complete multi-source ordered oracle
KyleAMathews
committed
93af99b
test(db): harden multi-source load oracle
KyleAMathews
committed
e3d464c
fix(db): keep zero-width loads transport-free
KyleAMathews
committed
1c6f92e
fix(db): defer empty unindexed snapshots
KyleAMathews
committed
77f8a8f
fix(db): publish unindexed fallback retries
KyleAMathews
committed
6caacc3

Commits on Aug 30, 2026

test(db): prove loader quiescent publication
KyleAMathews
committed
9712418
test(db): strengthen unindexed session observations
KyleAMathews
committed
69a8476
test(db): preserve full publication payloads
KyleAMathews
committed
7cd45b1
fix(db): retain unindexed replay guard after retry
KyleAMathews
committed
c3eac1e
test(db): observe unindexed replay ownership
KyleAMathews
committed
7a2639d
test(db): prove unindexed replay result paths
KyleAMathews
committed
bfa4b78
test(db): preserve replay acquisition identity
KyleAMathews
committed
bed6856
test(db): retain replay ownership key
KyleAMathews
committed
ae273f4
test(db): fence cleaned truncate replays
KyleAMathews
committed
02c5cd8
test(db): observe stale replay settlements
KyleAMathews
committed
3a13375
fix(db): fence superseded unindexed replays
KyleAMathews
committed
c4e2383
test(db): observe replay commit receipts
KyleAMathews
committed
421ceb9
test(db): prove refinement identity erasure
KyleAMathews
committed
87406ab
test(db): calibrate replay identity erasure
KyleAMathews
committed
8b6a730
test(db): prove every erased identity changes
KyleAMathews
committed
2c18eea
test(db): guard transaction rename collisions
KyleAMathews
committed
44088c5
test(db): preserve semantic fields during renaming
KyleAMathews
committed
13e56c0
test(db): cover non-invalidating demand release
KyleAMathews
committed
fa36261
test(db): separate relational and refinement oracles
KyleAMathews
committed
8172e62
test(db): calibrate ordered demand control
KyleAMathews
committed
8cb04c9
test(db): assert acquisition work invariants
KyleAMathews
committed
a4aa171
test(db): verify release invalidates acquisition evidence
KyleAMathews
committed
f9897a1
fix(db): retain exact acquisition coverage for co-owners
KyleAMathews
committed
0a7977e
fix(db): preserve newer exact acquisition evidence
KyleAMathews
committed
0cfbb3d
fix(db): recheck subset ownership after adapter entry
KyleAMathews
committed
d0228e8
fix(db): clean up failed promise observation
KyleAMathews
committed
ed13c4f
fix(db): normalize subset load promises
KyleAMathews
committed
66d0da5
fix(db): publish coverage after result retention
KyleAMathews
committed
11c50dd
fix(db): snapshot applied subset evidence
KyleAMathews
committed
769fc3a
fix(db): validate applied subset evidence
KyleAMathews
committed
e15f1e2
test(db): name deterministic oracle suites accurately
KyleAMathews
committed
33dab00
test(db): replay oracle shrink paths
KyleAMathews
committed
da5f6a3
test(db): scope oracle replay paths
KyleAMathews
committed
9d56dac
test(db): reject invalid oracle replay targets
KyleAMathews
committed
8a8fa42
docs(db): define demand evidence boundaries
KyleAMathews
committed
c06a6da
docs(db): correct oracle architecture contracts
KyleAMathews
committed
e5b9708
fix(db): terminate nested predicate differences
KyleAMathews
committed
3477f24
test(db): bound coverage claims by acquisition
KyleAMathews
committed
5ceed21
fix(db): guard ordered refill adapter entry
KyleAMathews
committed
9209e8f
test(db): preserve secondary acquisition ownership
KyleAMathews
committed
afe5cf2
test(db): bind receipts to acquisitions
KyleAMathews
committed
1d794ea
docs(db): define refinement oracle grammar
KyleAMathews
committed
becdd05
docs(db): preserve refinement grammar distinctions
KyleAMathews
committed
542eb2c
docs(db): preserve work and release order laws
KyleAMathews
committed
84b28bb
docs(db): preserve operation and trace laws
KyleAMathews
committed
14ec043
test(db): accept synchronous oracle steps
KyleAMathews
committed
05dbfb7
docs(db): preserve ordered work laws
KyleAMathews
committed
2af4060
docs(db): preserve runtime identity space cost
KyleAMathews
committed
cc984e0
fix(db): fence reentrant window cleanup
KyleAMathews
committed
4db17cf
test(db): cover reentrant cleanup restart
KyleAMathews
committed
c8dd304
test(db): observe refinement rollback before retry
KyleAMathews
committed
09624d2
test(db): observe refinement cleanup ownership
KyleAMathews
committed
68b8044
test(db): type optional cleanup signal
KyleAMathews
committed
f77d455
test(db): derive shared demand ownership
KyleAMathews
committed
933e63a
test(db): scope late rows to shared acquisition
KyleAMathews
committed
db89805
test(db): retire demand acquisitions independently
KyleAMathews
committed
005d3b7
test(db): preserve sibling acquisition ownership
KyleAMathews
committed
0757900
test(db): qualify refinement grammar by source
KyleAMathews
committed
58f83c3
test(db): qualify publication demands by source
KyleAMathews
committed
8985a40
test(db): scope publication target events
KyleAMathews
committed
58f2f86
test(db): distinguish publication target demands
KyleAMathews
committed
0171b9c
test(db): close publication identity gaps
KyleAMathews
committed
d1dc594
test(db): fence retired readiness attempts
KyleAMathews
committed
af8f0c0
test(db): bind readiness to exact acquisitions
KyleAMathews
committed
acab6df
test(db): assert exact readiness unloads
KyleAMathews
committed
6a42578
test(db): observe readiness abort order
KyleAMathews
committed
5c60c3c
fix(db): reconcile demand release during replay
KyleAMathews
committed
ff32c7e
test(db): close legal order audit gaps
KyleAMathews
committed
3260b29
test(db): pin exact write provenance
KyleAMathews
committed
31c62ca
fix(db): bound ordered source work
KyleAMathews
committed
d6c6a9a
fix(db): preserve ordered tie classes
KyleAMathews
committed
a4455d8
fix(db): order direct index tie keys
KyleAMathews
committed
354646c
test(db): close ordered work audit gaps
KyleAMathews
committed
0281422
test(db): preserve ordered oracle domains
KyleAMathews
committed
ccd5e92
test(db): cover reversed ordered domains
KyleAMathews
committed
7d14514
fix(db): distrust opaque index ordering
KyleAMathews
committed
05d2f30
test(db): count ordered bucket work
KyleAMathews
committed
0828039
test(db): observe ordered index work
KyleAMathews
committed
69ba72f
fix(db): skip empty ordered source setup
KyleAMathews
committed
47fac4a
test(db): count custom index source reads
KyleAMathews
committed
37e111c
test(db): model custom index fallback work
KyleAMathews
committed
1a2ea4b
test(db): close ordered work oracle gaps
KyleAMathews
committed
403dba5
test(db): complete ordered work budgets
KyleAMathews
committed
b65fead
test(db): close ordered work category gaps
KyleAMathews
committed
a53d536
test(db): decouple ordered work expectations
KyleAMathews
committed
8215fbd
fix(db): defer zero window setup
KyleAMathews
committed
20d7e9f
test(db): observe publication diff work
KyleAMathews
committed
53b8199
test(db): observe complete ordered work
KyleAMathews
committed
7da4a99
test(db): close ordered work observation gaps
KyleAMathews
committed
e9146a1
test(db): observe ordered work materialization
KyleAMathews
committed
e931dcb
test(db): prove publication work streams
KyleAMathews
committed
3fa5fd3
test(db): observe materialized comparator work
KyleAMathews
committed
e6b6b40

Commits on Aug 31, 2026

refactor(db): keep comparator work observable
KyleAMathews
committed
8cbe788
test(db): observe recursive comparator work
KyleAMathews
committed
d92d5d5
perf(db): read comparator arrays once
KyleAMathews
committed
dde74b4
test(db): observe structural array work
KyleAMathews
committed
23c84ec
test(db): state array work boundary
KyleAMathews
committed
3e6bb2b
test(db): cover equal comparator arrays
KyleAMathews
committed
9d6a171
test(db): cross nested comparator branches
KyleAMathews
committed
89fc7dc
test(db): model recursive comparator work
KyleAMathews
committed
49c2cad
fix(db): publish source changes through derived mutations
KyleAMathews
committed
0d4a8e9
test(db): require same-stack order publication
KyleAMathews
committed
43a3a63
test(db): isolate ordered source publication
KyleAMathews
committed
5a4c758
fix(db): publish child facades through mutations
KyleAMathews
committed
91896e7
fix(db): preserve facade source state under mutations
KyleAMathews
committed
b0a3854
fix(db): preserve facade identity and order metadata
KyleAMathews
committed
f6c7cae
fix(db): validate visible layout changes
KyleAMathews
committed
89ac7f2
fix(db): compare layout at prefix application
KyleAMathews
committed
905606d
test(db): cover causal prefix layout drains
KyleAMathews
committed
750f82e
test(db): preserve multiple prefix layout marks
KyleAMathews
committed
84c6e59
test(db): cover overlay removal before prefix drains
KyleAMathews
committed
4815abf
test(db): isolate reentrant layout prefixes
KyleAMathews
committed
f0f0eab
fix(db): roll back deferred revision clocks
KyleAMathews
committed
03649f6
fix(db): prepare coherent revisions before callbacks
KyleAMathews
committed
0308fc5
fix(db): serialize window callback graph work
KyleAMathews
committed
d4f110a
fix(db): preserve reentrant window ownership
KyleAMathews
committed
47e1462
fix(db): match index collation options semantically (#1788)
KyleAMathews
authored
bbc9edf
fix(db): restore nested window generations
KyleAMathews
committed
3238961
test(db): preserve nested window ownership
KyleAMathews
committed
1de7187
fix(db): restore nested load operation ownership
KyleAMathews
committed
b760da0
ci: Version Packages (#1789)
github-actions[bot]
authored
613807d
test(db): cover waiting nested window ownership
KyleAMathews
committed
49a9de5
test(db): separate nested window load phases
KyleAMathews
committed
6840336
fix(db): isolate facade publication errors
KyleAMathews
committed
2fbac76
test(db): preserve first facade publication error
KyleAMathews
committed
c6ebb6b
fix(db): cancel prepared publications on cleanup
KyleAMathews
committed
70e40ab
test(db): cancel every prepared publication
KyleAMathews
committed
57c447b
fix(db): reject overlapping prepared publications
KyleAMathews
committed
6f9c561
test(db): allow publication cycles from callbacks
KyleAMathews
committed
b487a91
test(db): require exact layout sequence comparison
KyleAMathews
committed
3748653
test(db): compare later layout positions
KyleAMathews
committed
2d55f88
test(db): generate layout swap positions
KyleAMathews
committed
ec9375e
docs: regenerate API documentation (#1790)
github-actions[bot]
authored
68366ec
test(db): enforce exhaustive layout cells
KyleAMathews
committed
657e4a1
test(db): scan all facade layout candidates
KyleAMathews
committed
d71c80a
test(db): prove facade candidate positions
KyleAMathews
committed
f8dfa40

Commits on Sep 1, 2026

Merge origin/main into codex/loadsubset-refinement-oracle
KyleAMathews
committed
eba43e2
fix(db): retire confirmed direct mutations
KyleAMathews
committed
847dae7
fix(db): preserve mutations across replacement sync
KyleAMathews
committed
96f304d
test(db): pin replacement publication trace
KyleAMathews
committed
4a17f68
fix(db): roll back failed root publications
KyleAMathews
committed
7e7b6c1
fix(db): retry reactivated subset demand
KyleAMathews
committed
9ec6384
fix(db): complete demand retirement after release failure
KyleAMathews
committed
d0b5393
fix(db): retain failed subset cleanup state
KyleAMathews
committed
f167355
fix(db): retry falsy subset cleanup failures
KyleAMathews
committed
3a3cdc6
fix(db): preserve falsy graph loader errors
KyleAMathews
committed
70a1ddc
fix(db): attempt every source loader
KyleAMathews
committed
ab3d326
test(db): preserve source loader identity
KyleAMathews
committed
7792b69
test(db): distinguish repeated source aliases
KyleAMathews
committed
d1e3d3f
fix(db): restore facade publications silently
KyleAMathews
committed
3ec8cdf
fix(db): publish facade readiness after install
KyleAMathews
committed
a848a38
fix(db): retry failed graph publications
KyleAMathews
committed
00c1671
fix(db): retry failed index restoration
KyleAMathews
committed
479a383
fix(db): recover graph publications together
KyleAMathews
committed
a1b74e9
test(db): strengthen graph recovery oracle
KyleAMathews
committed
d2b00ac
test(db): close graph recovery proof gaps
KyleAMathews
committed
692f782
test(db): observe graph recovery internals
KyleAMathews
committed
fc09306
test(db): preserve graph recovery traces
KyleAMathews
committed
dc448ff
fix(db): complete first-ready fan-out
KyleAMathews
committed
0c0a9f2
fix(db): isolate ready effect failures
KyleAMathews
committed
0385154
fix(db): preserve ready propagation outcomes
KyleAMathews
committed
8eba678
fix(db): release deleted synced keys
KyleAMathews
committed
37e6dd1
fix(db): defer nested ready failures
KyleAMathews
committed
935112c
test(db): strengthen retained state oracle
KyleAMathews
committed
3c2e63a
fix(db): reset retained publication state
KyleAMathews
committed
fe1e836
fix(db): preserve publication callback failures
KyleAMathews
committed
bc09611
test(db): type retained restart events
KyleAMathews
committed
8edfa4f
test(db): pin publication failure boundaries
KyleAMathews
committed
2c1c614
fix(db): fence publication state by sync session
KyleAMathews
committed
f561f95
test(db): widen sync session retention oracle
KyleAMathews
committed
ff8d847
fix(db): preserve exact D2 source rows
KyleAMathews
committed
55d5d30
fix(db): unify sync affected key tracking
KyleAMathews
committed
d0b7fc2
test(db): observe restarted sync ownership
KyleAMathews
committed
aedf280
fix(db): keep rollback terminal during persistence
KyleAMathews
committed
34228a5
fix(db): retain D2 rows through truncate
KyleAMathews
committed
e66d7f6
test(db): require exact metadata settlement
KyleAMathews
committed
9e31a27
test(db): model metadata cancellation ownership
KyleAMathews
committed
22f5174
test(db): model metadata publication rollback
KyleAMathews
committed
9bbfaa5
test(db): vary metadata publication values
KyleAMathews
committed
04a0026

Commits on Sep 2, 2026

test(db): restore reentrant restart receipt coverage
KyleAMathews
committed
f114732
test(db): preserve restart publication traces
KyleAMathews
committed
5fd9cb6
fix(db): keep rollback terminal after rejection
KyleAMathews
committed
e027d1a
fix(db): publish optimistic confirmation state
KyleAMathews
committed
e66a601
test(db): order parked receipt settlement
KyleAMathews
committed
2e65c4d
test(db): preserve falsy row listener failures
KyleAMathews
committed
8617150
test(db): freeze layout publication listeners
KyleAMathews
committed
216125e
test(db): preserve filtered listener failures
KyleAMathews
committed
34d2d4f
fix(db): preserve scheduler clear failures
KyleAMathews
committed
049f311
test(db): freeze first-ready callback membership
KyleAMathews
committed
c84047e
test(db): define mark-ready transitions
KyleAMathews
committed
088da65
fix(db): stop superseded ready effects
KyleAMathews
committed
5b76873
test(db): define ready restart cycles
KyleAMathews
committed
73b8140
test(db): prove facade metadata recovery
KyleAMathews
committed
8248866
test(db): prove post-truncate replacements
KyleAMathews
committed
bfdf68c
test(db): separate source and graph lifecycle
KyleAMathews
committed
856e383
test(db): separate D2 expected identity
KyleAMathews
committed
14231ec
test(db): pin mixed D2 source keys
KyleAMathews
committed
ad72555
test(db): cross pending publication query shapes
KyleAMathews
committed
3c79571
test(db): assert pending publication payloads
KyleAMathews
committed
22f38ce
fix(db): retain root base beneath optimistic deletes
KyleAMathews
committed
3bf1f8c
test(db): bound immediate graph publication
KyleAMathews
committed
ce1c939
fix(db): defer rollback-sensitive settlement
KyleAMathews
committed
fc6face
chore(db): keep oracle formatting stable
KyleAMathews
committed
8c7e453
test(db): restore metadata transition axes
KyleAMathews
committed
17a79e0
test(db): complete metadata cancellation histories
KyleAMathews
committed
68c6596
test(db): prove multi-key metadata rollback
KyleAMathews
committed
036b967
test(db): isolate metadata publication affectedness
KyleAMathews
committed
30db62b
test(db): preserve metadata rollback order
KyleAMathews
committed
ddcf839
test(db): order restarted sync receipts
KyleAMathews
committed
f0144f9
test(db): cross restart trigger shapes
KyleAMathews
committed
0f86d22
fix(db): keep repeated rollback inert
KyleAMathews
committed
dbed47e
test(db): vary late rejection values
KyleAMathews
committed
3b1bda2
test(db): restore virtual state on rollback
KyleAMathews
committed
f12dfbf
test(db): preserve canceled virtual snapshots
KyleAMathews
committed
b9d9f1c
test(db): verify parked receipt outcomes
KyleAMathews
committed
85005ab
test(db): observe falsy publication delivery
KyleAMathews
committed
2b196be
test(db): preserve publication result state
KyleAMathews
committed
c05d22b
test(db): vary filtered listener failures
KyleAMathews
committed
36caec9
test(db): preserve falsy failures through cleanup
KyleAMathews
committed
2b99270
test(db): keep first-ready callbacks one-shot
KyleAMathews
committed
d1a30b6
test(db): observe mark-ready transitions
KyleAMathews
committed
73ee245
fix(db): fence superseded ready transitions
KyleAMathews
committed
a0189e6
test(db): fence ready restart generations
KyleAMathews
committed
0ff39e9
test(db): isolate retained state model inputs
KyleAMathews
committed
5beb0b8
test(db): reject stale row origins
KyleAMathews
committed
d2c0974
test(db): retire hydration ownership
KyleAMathews
committed
c54588b
test(db): retire confirmed optimistic ownership
KyleAMathews
committed
eb8fba4
fix(query-db): preserve active row ownership
KyleAMathews
committed
4aede12
test(query-db): separate persisted owner insertion
KyleAMathews
committed
e1147c6
test(query-db): prove persisted owner precondition
KyleAMathews
committed
aae958e
test(query-db): prove metadata setup is one-shot
KyleAMathews
committed
854c86a
test(query-db): verify metadata setup restart
KyleAMathews
committed
c311063
fix(db): preserve predicate subtraction semantics
KyleAMathews
committed
e381471
Merge Electric cancellation closure
KyleAMathews
committed
e906a6f
test(db): clear settled dedupe evidence on reset
KyleAMathews
committed
79bf85f
Merge PowerSync lifecycle closure
KyleAMathews
committed
f32454a
test(powersync): prove failed demand retirement
KyleAMathews
committed
2fa5e39
style(powersync): format test hook imports
KyleAMathews
committed
28f4399
test(db): restore full-suite type safety
KyleAMathews
committed
0c1af71
style(db): format integrated oracle changes
KyleAMathews
committed
303a19c
docs: add integrated loadSubset changeset
KyleAMathews
committed
0b3aa0f
fix(db): preserve outcome-free paging compatibility
KyleAMathews
committed
79781c8
fix(db): keep outcome-free paging local
KyleAMathews
committed
3be29b3
test(db): prove outcome-free settlement retirement
KyleAMathews
committed
2143f48