Repository navigation

fix(hygiene): enforce source hygiene in CI - #565

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

fix/carry-lookahead-simp-only

Oct 23, 2026

Merged

fix(hygiene): enforce source hygiene in CI#565
SamuelSchlesinger merged 2 commits into
mainfrom
fix/carry-lookahead-simp-only

Commits on Oct 23, 2026
- style(circuit): state the carry-lookahead step size proof with simp only
  
  SamuelSchlesinger
  and
  claude
  committed
  065906a
- ci(hygiene): run the source hygiene check with simp checking
  
  SamuelSchlesinger
  and
  claude
  committed
  b71031e