Repository navigation

docs: SPEC for checked integer arithmetic in fallible bodies, and Q17 for the input encoding contract - #333

Merged

xzawed merged 2 commits into

mainfrom

docs/spec-checked-arithmetic

Sep 26, 2026

Merged

docs: SPEC for checked integer arithmetic in fallible bodies, and Q17 for the input encoding contract#333
xzawed merged 2 commits into
mainfrom
docs/spec-checked-arithmetic

Commits on Sep 26, 2026
- docs: SPEC for checked integer arithmetic in fallible bodies, and Q17 for the input encoding contract
  
  xzawed
  and
  claude
  committed
  32c0a6d
- docs: SPEC-checked-arithmetic says literal-only overflow fails at run time, and names who confirmed
  
  xzawed
  and
  claude
  committed
  5b20fd3