Prove the uniform query floor for the shared dirty BIT pair - #4179

Prove the uniform query floor for the shared dirty BIT pair#4179

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

RossRichardson:research/bit-joint-dirty-20261019T2104ZRossRichardson/integer-mult-bounds:research/bit-joint-dirty-20261019T2104ZCopy head branch name to clipboard