Audit the centre-0 producer and reject its declared product embedding (no new κ) - #5101

Audit the centre-0 producer and reject its declared product embedding (no new κ)#5101

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Clear1nsight:research/actual-centre0-source-audit-20261023Clear1nsight/integer-mult-bounds:research/actual-centre0-source-audit-20261023Copy head branch name to clipboard