Repository navigation

Exclude repeated two-stage scalar decoders through 32 power blocks - #5412

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

aliromman:codex/repeated-native-code-1023

Oct 24, 2026

Merged

Exclude repeated two-stage scalar decoders through 32 power blocks#5412
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/repeated-native-code-1023

Commits on Oct 24, 2026
- Prove short repeated native code separation with an exact Gram certificate
  aliromman
  committed
  7bde723
- Keep each exact moment vector on one reviewable certificate row
  aliromman
  committed
  2f5171c