refactor(koalabear): make Fp an int subclass and tighten field surface#776

Merged

tcoratger merged 3 commits into

leanEthereum:mainfrom

tcoratger:refactor/koalabear-fp-is-a

May 25, 2026

Commits on May 25, 2026

refactor(koalabear): make Fp an int subclass and tighten field surface

tcoratger
and
claude
committed
test(koalabear): anchor error-message matches to the full message

tcoratger
and
claude
committed
test(koalabear): inline match= patterns for uniformity

tcoratger
and
claude
committed