Independently check #4623's monotone extension, decoder rank and idle-free controller; sharpen ceiling to C≥.005687/.006512 (no new κ) - #4639

Independently check #4623's monotone extension, decoder rank and idle-free controller; sharpen ceiling to C≥.005687/.006512 (no new κ)#4639

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

lm1909:lm1909/pr4623-monotone-decoder-checklm1909/integer-mult-bounds:lm1909/pr4623-monotone-decoder-checkCopy head branch name to clipboard