Repository navigation

Prove exact retained state for serialized rational-shear carries - #5913

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

petalas:research/w4-1022aa-boundary-invariant

Oct 27, 2026

Merged

Prove exact retained state for serialized rational-shear carries#5913
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w4-1022aa-boundary-invariant

Commits on Oct 27, 2026
- feat(research): prove exact serialized carry state counts
  petalas
  committed
  f077666