fix(cache): serve entries only to their own file - #48

Merged

anoop-narang merged 12 commits into

mainfrom

fix/cache-entry-identity

Sep 17, 2026

Commits on Sep 17, 2026

fix(cache): serve entries only to their own file
anoop-narang
committed
4e35045
fix(cache): keep a file's identity when its id is recycled
anoop-narang
committed
ddeae58
fix(cache): let a recycled key be taken over by its new owner
anoop-narang
committed
da69d9a
fix(cache): drop a rewrite whose key was taken over since it was read
anoop-narang
committed
f4dd8a5
fix(cache): scope a disk copy to the entry that wrote it
anoop-narang
committed
5da657f
test(cache): put the file id pool under the model checker
anoop-narang
committed
9aaf76d
fix(cache): give a re-opened file back its own id, not the queue front
anoop-narang
committed
bef24d0
fix(cache): address a store object by its owner, not just its key
anoop-narang
committed
015d6d8
fix(cache): drop a stale disk write and reclaim the object it supersedes
anoop-narang
committed
b5cf5a5
fix(cache): guard only rewrites, and give back a dropped write's disk
anoop-narang
committed
8f3da28
fix(cache): keep the assertion on row group and column ids
anoop-narang
committed
0637e74
fix(cache): delete the store objects a reset forgets
anoop-narang
committed
123cb51