db, execution: harden StateCache read-fills against stale overwrites and unwinds - #22467

Merged

mh0lt merged 7 commits into

mainfrom

yperbasis/sd-readfill-gates

Jul 16, 2026

Commits on Jul 14, 2026

db/state/execctx: gate SD read-fills, skip the divergence assert under per-key bounds, stamp negatives with progress
yperbasis
committed
67e8611
execution/exec: stamp warmBody negative read-fills with domain progress
yperbasis
committed
1da3a89
db/state/execctx: document progress-derived step on cached empty-value hits
yperbasis
committed
b168044
db/state/execctx: name the no-bound maxStep sentinel
yperbasis
committed
7eb0859
execution/exec: fix stale method name in cachePopulatingGetter doc
yperbasis
committed
891bc0d
db/kv, db/state, db/state/execctx: preserve the per-key unwind bound at step 0
yperbasis
committed
c69bbc3
db/state/execctx: run read-fill regressions in the short suite
yperbasis
committed
af1698b