Certify literal whole-idle transport and canonical applicability (no new κ) - #6841

Certify literal whole-idle transport and canonical applicability (no new κ)#6841

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/20261107-chain-idle-applicabilityCubeJerry/integer-mult-bounds:research/20261107-chain-idle-applicabilityCopy head branch name to clipboard