Repository navigation

feat(Foundations/Nat): exponent arithmetic and residue recovery for counting simulations - #1850

Merged

SamuelSchlesinger merged 3 commits into

mainfrom

claude/hpv-exponent-arithmetic

Oct 30, 2026

Merged

feat(Foundations/Nat): exponent arithmetic and residue recovery for counting simulations#1850
SamuelSchlesinger merged 3 commits into
mainfrom
claude/hpv-exponent-arithmetic

Commits on Oct 30, 2026
- feat(Foundations/Nat): exponent arithmetic and residue recovery for counting simulations
  
  SamuelSchlesinger
  and
  claude
  committed
  49bd81d
- fix(Foundations/Nat): publicly import Complexity.Init in ResidueSum
  
  SamuelSchlesinger
  and
  claude
  committed
  eee8995
- doc(Foundations/Nat): say the residue accumulator, not the workspace
  
  SamuelSchlesinger
  and
  claude
  committed
  62cf227