Decoder floors: universality, projection transfer and batching reductions; C(P112) ≥ 64 reduced to named conjectures, C(P120) ≥ 72 restated on N₀ (no κ claim) - #2832

Decoder floors: universality, projection transfer and batching reductions; C(P112) ≥ 64 reduced to named conjectures, C(P120) ≥ 72 restated on N₀ (no κ claim)#2832

DreamingOfClouds wants to merge 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/decoder-floors-reductionDreamingOfClouds/integer-mult-bounds:research/decoder-floors-reductionCopy head branch name to clipboard