Research: rank-8 masked decoders are gauge-rigid on every P109 unit — 19 new orbit certificates (no new κ) - #1469

Research: rank-8 masked decoders are gauge-rigid on every P109 unit — 19 new orbit certificates (no new κ)#1469

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/rank8-rigidity-p109JosieElliston/integer-mult-bounds:research/rank8-rigidity-p109Copy head branch name to clipboard