Research: rank-8 masked decoders are gauge-rigid on every P108 unit — 168 orbit certificates, census-free coverage (no new κ) - #1474

Research: rank-8 masked decoders are gauge-rigid on every P108 unit — 168 orbit certificates, census-free coverage (no new κ)#1474

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/rank8-rigidity-p108JosieElliston/integer-mult-bounds:research/rank8-rigidity-p108Copy head branch name to clipboard