THE EXPERIMENT DESK / 03 CASES

Attack Atlas.

Change an input.
Watch the decision break.

FAULTLINE / CASE 01

A range check accepts an impossible span.

READY

UINT32 / REGISTER VIEWFRAME 01 / INPUT

OFFSETFFFFFFFF+ 00000002 → 00000001

Trace position1 / 4

Load a 16-byte capacity, an offset of 0xffffffff and a count of two.

EDIT / REPLAY

ACTUAL MODEL OUTPUT

LEGACYACCEPT(offset + count) ≤ total

REPAIREDREJECTcount ≤ total − offset

The addition wraps before the comparison.

DEEPER IN THE REPOSITORIES