Prove a scoped one-bank ceiling for the #4929 coded-port adapter (no new κ) - #4932

Prove a scoped one-bank ceiling for the #4929 coded-port adapter (no new κ)#4932

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Clear1nsight:research/coded-port-adapter-ceiling-20261023Clear1nsight/integer-mult-bounds:research/coded-port-adapter-ceiling-20261023Copy head branch name to clipboard