CARRYGLASS / NATIVE ARITHMETIC RECORDS
The 33rd bitleaves the room.
A 32-bit addition keeps the low word. The range check sees what remains. Follow one recorded input through both versions of the same four-function fixture.
Witness table
Loading the recorded run…
UNSIGNED ADDITION / 32 BITSWAITING
MATHEMATICAL SUM
LOW 32 BITS
Recorded native calls and the arithmetic trace will appear here.
Native returns
From the checked-in native run.
| Function | O0 | O2 |
|---|
INTEGER ORACLE—
—
The source condition
/* legacy */
return offset + count <= total;
/* bounded */
return offset <= total &&
count <= total - offset;THE NATIVE RUN
A witness needs a receipt.
Loading sample counts…
The browser illustrates arithmetic. Native returns below were captured by the Python runner from freshly rebuilt local DLLs.
Compiler, source and binary identity
Loading…