Bound passive saved-query recovery for the actual coded p2 caller (no new κ) - #4978

Bound passive saved-query recovery for the actual coded p2 caller (no new κ)#4978

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Clear1nsight:research/passive-saved-query-ceiling-20261023Clear1nsight/integer-mult-bounds:research/passive-saved-query-ceiling-20261023Copy head branch name to clipboard