Conditional κ = 0.00300105 (+4.105e-5 over #4440): combine query thinning and helper retiming by 1337isnot1337 · Pull Request #4441 · CrocSwap/integer-mult-bounds

Apply the verified fresh-helper retiming to all 19 full native calls of #4440's p17 query-thinned complex controller. All 16 paid query shears, whole idle calls, main operators and the stronger…