Repository navigation

R3 gate #21: int refinement overflow proven parametric - #2674

Merged

briansrls merged 3 commits into

mainfrom

session/witty-dove-427

May 11, 2026

Commits on May 11, 2026
- WIP: R3 gate #21: int refinement overflow proven parametric
  briansrls
  committed
  69e3565
- Fix gate 21 overflow receipt bounds
  briansrls
  committed
  74de0f4
- Merge remote-tracking branch 'origin/main' into session/witty-dove-427
  briansrls
  committed
  433fa71