fix: harden subset loading, recovery, and live-query value semantics - #1797

Open

KyleAMathews wants to merge 434 commits into

mainfrom

codex/loadsubset-minimal-stack

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

Commits on Sep 4, 2026

test(db): make lifecycle coverage independently observable
KyleAMathews
committed
4926ccc
test(db): expose subset acquisition availability gaps
KyleAMathews
committed
83ae148
test(db): strengthen async lifecycle observations
KyleAMathews
committed
e593b47
test(db): complete subset acquisition phase table
KyleAMathews
committed
bd8c17b
test(db): complete async demand lifecycle histories
KyleAMathews
committed
4f80cfb
test(db): consolidate subset lifecycle model
KyleAMathews
committed
eb40a86
test(db): make demand lifecycle traces independent
KyleAMathews
committed
f668cd1

Commits on Sep 5, 2026

test(db): complete subset lifecycle census
KyleAMathews
committed
72e30d3
test(db): close subset lifecycle census gaps
KyleAMathews
committed
9a6f911
test(db): make acquisition census executable
KyleAMathews
committed
ebef4ff
test(db): tighten lifecycle interaction evidence
KyleAMathews
committed
82c26a7
test(db): complete lifecycle acquisition census
KyleAMathews
committed
c2dcc3f
test(db): assert terminal failure cleanup
KyleAMathews
committed
b78b6ed
test(db): require compound lifecycle reach
KyleAMathews
committed
b2ec4a9
test(db): extend lifecycle red suffixes
KyleAMathews
committed
052f416
test(db): observe restart interleavings
KyleAMathews
committed
6514a7b
test(db): tighten restart settlement evidence
KyleAMathews
committed
43777c1
test(db): extend publication lifecycle suffixes
KyleAMathews
committed
7c0428e
test(db): prove publication red suffixes execute
KyleAMathews
committed
b45e4d4
test(db): map the publication lifecycle product
KyleAMathews
committed
b387106
test(db): close publication product audit gaps
KyleAMathews
committed
3538d8c
test(db): expose settled replay peer retirement gap
KyleAMathews
committed
5a1b211
test(db): verify reentrant replay demand readiness
KyleAMathews
committed
93967bd
test(db): verify replay error ownership and publication trace
KyleAMathews
committed
ed48a3a
test(db): verify settled peer recovery through includes graph
KyleAMathews
committed
3b3244d
test(db): cover ordered consumer lifecycle product
KyleAMathews
committed
a990927
test(db): close ordered lifecycle observation gaps
KyleAMathews
committed
a0aaeb7
docs: record lifecycle stress results and audit limits
KyleAMathews
committed
814a1cc
test(db): keep failed replay private in lifecycle model
KyleAMathews
committed
7d322d7
fix(db): reject unfinished preload during cleanup
KyleAMathews
committed
489fb3a
test(db): isolate startup cleanup cancellation
KyleAMathews
committed
c3f8001
fix(db): reject preload when ordered refinement fails
KyleAMathews
committed
e1fd395
docs: record boundary repair loss audit and controls
KyleAMathews
committed
54bd382
fix(db): reconcile missing eager rows after restart
KyleAMathews
committed
21554b4
docs: record restart audit and overall lifecycle progress
KyleAMathews
committed
244c1a8
fix(db): skip subset release for eager collections
KyleAMathews
committed
31d95d8
docs: record eager release audit and stress budget limits
KyleAMathews
committed
a0edd96
test(db): expose peer replay loss as a failing assertion
KyleAMathews
committed
60fded6
docs: record peer replay assertion loss audit
KyleAMathews
committed
2624347
fix(db): ignore snapshot requests cancelled before acquisition
KyleAMathews
committed
1fb62bd
docs: record pre-abort ownership loss audit
KyleAMathews
committed
4636494
fix(db): retain demand until the subset loader is installed
KyleAMathews
committed
cf3a29d
fix(db): reject deferred subset requests when cancelled
KyleAMathews
committed
75e2bb5
docs: record queued cancellation audit and limits
KyleAMathews
committed
e8d4c28
fix(db): fence adapter retirement across sync reentry
KyleAMathews
committed
c205456
docs: record session retirement loss audit
KyleAMathews
committed
6af2ab1
fix(db): defer source demand until initial error recovery
KyleAMathews
committed
d6bf7fb
docs: record initial error gate audit and baseline controls
KyleAMathews
committed
464fd2e
fix(db): report pending results for unavailable subset demand
KyleAMathews
committed
3b39a8a
test(db): verify recovery wait publication and restart boundaries
KyleAMathews
committed
c5fd546
docs: record recovery notification follow-up audit
KyleAMathews
committed
a4e2250
test(db): align truncate oracle with replay ownership contract
KyleAMathews
committed
050911a
docs: record truncate contract loss audit
KyleAMathews
committed
1614d96
test(db): model queued replay setup in lifecycle histories
KyleAMathews
committed
35e300f
docs: record queued history model audit and generator gap
KyleAMathews
committed
67e3815
fix(db): avoid acquiring canceled replay demand
KyleAMathews
committed
ef7e197
docs: record canceled replay ownership loss audit
KyleAMathews
committed
4d492a0
test(db): model cancellation settlement in replay histories
KyleAMathews
committed
06fcad8
docs: record cancellation contract loss audit
KyleAMathews
committed
807bac6
test(db): distinguish readiness and replay publication waits
KyleAMathews
committed
7f98dd2
docs: record publication readiness loss audit
KyleAMathews
committed
da79036
test(db): align publication oracle with batch and cancellation contracts
KyleAMathews
committed
b9a326a
test(db): preserve raw publication diagnostics after loss audit
KyleAMathews
committed
c1027a8
fix(db): preserve private replay rows and scope demand retirement
KyleAMathews
committed
85e5d4d
refactor(db): remove unused replay key snapshot after loss audit
KyleAMathews
committed
26045e0
fix(db): reconcile known snapshots and retained reset rows
KyleAMathews
committed
8d66f43
docs: record publication lifecycle loss audit
KyleAMathews
committed
d702e7f

Commits on Sep 6, 2026

fix(db): scope ordered recovery to each source consumer
KyleAMathews
committed
8b018f9
docs: record ordered recovery loss audit
KyleAMathews
committed
b80311f
fix(db): retain ordered tie boundaries across row arrivals
KyleAMathews
committed
681ed76
docs: record boundary retention loss audit
KyleAMathews
committed
af72794
fix(db): guard queued ordered recovery publication
KyleAMathews
committed
397f962
docs: record queued recovery loss audit
KyleAMathews
committed
b76c1d0
test(db): arm incremental failures after ordered startup
KyleAMathews
committed
2d7f28c
docs: record incremental phase loss audit
KyleAMathews
committed
f95d200
fix(db): finish release attempts before reporting errors
KyleAMathews
committed
4adb7b9
test(db): enforce release error identity after loss audit
KyleAMathews
committed
41290dd
fix(db): retain failed cleanup within its retiring session
KyleAMathews
committed
75537a2
test(db): preserve cleanup error message contract
KyleAMathews
committed
6db3825
fix(db): guard window reentry and retain cleanup cancellation
KyleAMathews
committed
c4e8207
docs: record window lifecycle loss audit and remaining witnesses
KyleAMathews
committed
74ba989
fix(db): join pending window leases during preload
KyleAMathews
committed
f2c7af8
docs: record controller loss audit and projection baseline
KyleAMathews
committed
af29779
test(db): map functional include projection boundaries
KyleAMathews
committed
8e3592f
docs: record projection boundary loss audit
KyleAMathews
committed
cbea7f1
fix(db): retain functional include projection inputs
KyleAMathews
committed
159d7c7
test(db): guard scalar projections before moving materialization
KyleAMathews
committed
ca26b6a
docs: record scalar projection compatibility audit
KyleAMathews
committed
22f02a6
test(db): specify functional projection consumer boundaries
KyleAMathews
committed
5d3f1c0
docs: record projection compatibility specification audit
KyleAMathews
committed
178dc46
fix(db): materialize inline inputs before functional projection
KyleAMathews
committed
bac6a6a
docs: record inline projection repair loss audit
KyleAMathews
committed
60e44bb
test(db): pin already-public facade projection controls
KyleAMathews
committed
15c5516
docs: record public facade control loss audit
KyleAMathews
committed
fd06c64
test(db): pin facade snapshot isolation gate
KyleAMathews
committed
9a215be
docs: record facade snapshot experiment loss audit
KyleAMathews
committed
329b8f7
test(db): pin draft facade identity contract
KyleAMathews
committed
05a2827
docs: record draft facade experiment loss audit
KyleAMathews
committed
2bf4a3a
refactor(db): replace deferred projections with live input views
KyleAMathews
committed
8a89139
docs: reconcile slim projection loss audit
KyleAMathews
committed
531ee32
fix(db): read draft facade helpers through their view
KyleAMathews
committed
cf11720
docs: record draft read API loss audit
KyleAMathews
committed
5b926a6
fix(db): reject index creation on draft projection inputs
KyleAMathews
committed
e70145f
docs: reconcile draft index guard loss audit
KyleAMathews
committed
0f573c3
test(db): check retained facade APIs across publication
KyleAMathews
committed
a6ef1a1
docs: record retained facade API loss audit
KyleAMathews
committed
3881033
test(db): cover facade subscriptions through failure and restart
KyleAMathews
committed
7f81091
test(db): fence pending facade loads across graph restart
KyleAMathews
committed
e00472e
test(db): check chained facade continuation boundaries
KyleAMathews
committed
f0c55b5
docs: record continuation boundary loss audit
KyleAMathews
committed
cbeda0b
perf(db): snapshot draft facade rows once per input view
KyleAMathews
committed
6be078b
test(db): align retention oracle with restart reconciliation
KyleAMathews
committed
93c3c2d
docs: record snapshot audits and oracle campaign scope
KyleAMathews
committed
1da0ba1
test(db): preserve publication state across no-op lifecycle commands
KyleAMathews
committed
ec2ec79
fix(db): establish the source prefix on explicit window moves
KyleAMathews
committed
f2da984
test(db): model raw updates after private replay retirement
KyleAMathews
committed
d7f4b9d
docs: record oracle audits and prefix transfer cost gate
KyleAMathews
committed
4d327d5
test(db): bound provider row volume during pagination
KyleAMathews
committed
3a87718
fix(db): continue pagination from settled loading boundaries
KyleAMathews
committed
88fad51
docs: record pagination boundary loss audit
KyleAMathews
committed
0c2198e
test(db): model raw truncate events after replay retirement
KyleAMathews
committed
667ec97
test(db): keep publication model state aligned with callbacks
KyleAMathews
committed
ec87d43
docs: record publication model verification and loss audits
KyleAMathews
committed
31ec4d1
docs: record clean full oracle campaign with thread workers
KyleAMathews
committed
e9ca64a
docs: preserve full campaign audit limits
KyleAMathews
committed
d6de62b
test(db): restore the package test typecheck gate
KyleAMathews
committed
f9aa053
docs: record type gate audits and unit failure boundaries
KyleAMathews
committed
c50df34
test(db): assert authoritative ordered retry work
KyleAMathews
committed
7d250b1
fix(db): keep failed windows private through source replay
KyleAMathews
committed
92b6c53
test(db): distinguish replay failure ownership boundaries
KyleAMathews
committed
a353d56
fix(db): isolate failed window state across restart
KyleAMathews
committed
2f8b8b2
docs: record closed unit groups and green stress gate
KyleAMathews
committed
f5ed3b2
docs: close integration campaign loss audit
KyleAMathews
committed
247dc8d
docs: record measured code-weight reduction plan
KyleAMathews
committed
efd299e
docs: retain code-weight audit proof obligations
KyleAMathews
committed
6355e74
refactor(db): retain subset acquisitions as lease objects
KyleAMathews
committed
b9fa969
docs: record acquisition reduction audit and stress gate
KyleAMathews
committed
fbddca5
refactor(db): centralize ordered startup failure state
KyleAMathews
committed
704a402
docs: record ordered failure reduction audit and stress results
KyleAMathews
committed
667477d
refactor(db): reuse callback handling for subscription teardown
KyleAMathews
committed
f2207d2
refactor(db): derive ordered invalidation from contributed rows
KyleAMathews
committed
5e61e9c
docs: record teardown and pagination reduction stress gate
KyleAMathews
committed
81a1b34
refactor(db): flatten replay pending state
KyleAMathews
committed
cdb9ecd
fix(db): preserve retained replay startup participants
KyleAMathews
committed
baa2163
fix(db): prune released failures from retained replay attempts
KyleAMathews
committed
00cb21d
refactor(db): retain only current replay failures
KyleAMathews
committed
7b9ea64
docs: record replay reduction validation and next weight target
KyleAMathews
committed
d69d846
refactor(db): share grouped and global aggregate pipelines
KyleAMathews
committed
9d595a4
docs: record group pipeline loss audits and validation
KyleAMathews
committed
a55b6d0

Commits on Sep 7, 2026

refactor(db): trim group mapping and evaluation helpers
KyleAMathews
committed
f929e44
docs: record group helper audit and ordered request candidate
KyleAMathews
committed
9bfa0ea
refactor(db): name ordered source request kinds
KyleAMathews
committed
c5e060f
docs: record ordered request audit and stress results
KyleAMathews
committed
f8a9afc
refactor(db): reuse published rows as replay baseline
KyleAMathews
committed
d65f07c
docs: record replay baseline audit and stress gates
KyleAMathews
committed
bd2be04
refactor(db): share graph loader callback dispatch
KyleAMathews
committed
b455df3
docs: record graph callback audit and validation
KyleAMathews
committed
3feb359
refactor(db): keep one scheduling dependency set
KyleAMathews
committed
832bf76
test(db): preserve dependency trace failure snapshots
KyleAMathews
committed
5122fc8
fix(db): wait for reentrant scheduler dependencies
KyleAMathews
committed
84d788c
docs: record scheduler audit and full-suite follow-ups
KyleAMathews
committed
5f24bbf
test(db): await ordered join-subquery readiness
KyleAMathews
committed
dc41313
docs: record ordered join test audit and identity decision
KyleAMathews
committed
7367954
test(db): define inline includes value and publication guarantees
KyleAMathews
committed
4a5c09a
docs: record inline identity audit and stress gate
KyleAMathews
committed
d53fb74
fix(db): leave subset row retention to the source
KyleAMathews
committed
4c382d7
docs: record source retention stress gate and loss audit
KyleAMathews
committed
8e17521
test(db): run order-by cases without automatic indexes
KyleAMathews
committed
a9f2423
docs: record order-by unskip loss audit
KyleAMathews
committed
9e47cdd
test(db): preserve settled empty-window work bounds
KyleAMathews
committed
5b860cd
docs: record empty-window work loss audit
KyleAMathews
committed
08f5fbe
test(db): preserve replacement startup progress
KyleAMathews
committed
b372383
docs: record recovery design loss audit
KyleAMathews
committed
7be7a58
docs: assess snapshot acquisition boundaries
KyleAMathews
committed
38aaaec
docs: record snapshot split loss audit
KyleAMathews
committed
a66c84d
docs: record snapshot handoff experiment
KyleAMathews
committed
565ff43
docs: record handoff experiment loss audit
KyleAMathews
committed
1cec4d7
docs: trace loading lifecycle formation
KyleAMathews
committed
dce182a
docs: record wider loading design grammars and audit
KyleAMathews
committed
30cd965
docs: record wider readout loss audit
KyleAMathews
committed
1598706
docs: freeze ordered lifecycle refactor baseline
KyleAMathews
committed
97b5d87
refactor(db): isolate ordered source loading
KyleAMathews
committed
200f96f
refactor(db): make ordered retry failure explicit
KyleAMathews
committed
13f4dd0
docs: record ordered state refactor validation
KyleAMathews
committed
7a17c3f
refactor(db): distinguish ordered settlement from recovery
KyleAMathews
committed
340250b
docs: close ordered loader refactor checkpoint
KyleAMathews
committed
89d3ba2
refactor(db): make replay acquisition handoff explicit
KyleAMathews
committed
2a48984
test(db): preserve exact options identity in handoff matrix
KyleAMathews
committed
aa1ffcf
docs: record audited acquisition handoff checkpoint
KyleAMathews
committed
69f45d2
fix(db): isolate ordered publication settlement by session
KyleAMathews
committed
1e69e83
docs: close audited integration handoff checkpoint
KyleAMathews
committed
dd85385
test(db): pin demand message boundaries before D2 batching
KyleAMathews
committed
3cc7d59
docs: record demand-presence spike audit limits
KyleAMathews
committed
4f7e315
fix(db): align index cursors and clear readiness lint
KyleAMathews
committed
f902b21
test(db): pin source cleanup recovery boundary
KyleAMathews
committed
fcee497
docs: record consolidated readiness gates and audit
KyleAMathews
committed
4b248b4
refactor(db): share descriptor-safe array snapshots
KyleAMathews
committed
3623df2
docs: record array snapshot validation and loss audit
KyleAMathews
committed
902c03a
refactor(db): name public container property record
KyleAMathews
committed
ccf4a9c
docs: record route property type loss audit
KyleAMathews
committed
915280a
docs: prepare consolidated lifecycle PR
KyleAMathews
committed
31e4eaf
ci: apply automated fixes
autofix-ci[bot]
authored
2e38c58
fix(db): wait for initial rows before fetching the next page
KyleAMathews
committed
859c1e7
test: await settled framework window normalization
KyleAMathews
committed
0190839
test: retain post-flush window assertions
KyleAMathews
committed
6a5f7a6
test(query-db): expect cancellation of abandoned preloads
KyleAMathews
committed
21760ba
fix: address review findings and retire unused subset algebra
KyleAMathews
committed
cfb724f

Commits on Sep 8, 2026

Commits on Sep 9, 2026