Attain the exact native square and sharp tensor witness in four-axis rounding (no new κ) - #6776

Attain the exact native square and sharp tensor witness in four-axis rounding (no new κ)#6776

CubeJerry wants to merge 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

CubeJerry:research/20261106d-four-axis-squareCubeJerry/integer-mult-bounds:research/20261106d-four-axis-squareCopy head branch name to clipboard