harden: bound remaining catalog reads + lock in no-unbounded-read invariant#3145
Draft
PascalThuet wants to merge 3 commits into
Draft
harden: bound remaining catalog reads + lock in no-unbounded-read invariant#3145PascalThuet wants to merge 3 commits into
PascalThuet wants to merge 3 commits into