Repository navigation

test(c-host): a real C host receives ML_ST_OVERFLOW — and the checked-arithmetic slice closes (§9-70) - #336

Merged

xzawed merged 3 commits into

mainfrom

feat/checked-arithmetic-host

Sep 26, 2026

Merged

test(c-host): a real C host receives ML_ST_OVERFLOW — and the checked-arithmetic slice closes (§9-70)#336
xzawed merged 3 commits into
mainfrom
feat/checked-arithmetic-host

Commits on Sep 26, 2026
- test(c-host): a real C host receives ML_ST_OVERFLOW from a fallible body (SPEC-checked-arithmetic acceptance E)
  
  xzawed
  and
  claude
  committed
  81f5124
- docs: close the checked-arithmetic slice and wrap the session — §9-70
  
  xzawed
  and
  claude
  committed
  f76dc36
- docs: §9-70.2 names what each count is compared against
  
  xzawed
  and
  claude
  committed
  77efcca