Skip to content

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

feat(research): prove exact serialized carry state counts

f077666
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 27, 2026 in 4m 12s