You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit faadabb
Browse filesBrowse the repository at this point in the historyBrowse files
Four fixed boxes made 240 a dead end. No fourth digit takes 240x into 1..2048,
so the reader who typed it found a box holding nothing but backspace, and the
only way to mean 240 was to have known to type 0240 from the start.
The field is variable length now. The ring carries the digits that still lead
somewhere, then OK once what is typed already names a word, then backspace -
the same ring Jade's index entry uses, where a short number also has to be able
to stop early. 240 is three presses and an OK.
Ending early is not a convenience here. Without it, three-digit numbers are not
reachable at all except by a leading zero the reader has no reason to expect.
OK appears only once the digits already name a word, so an empty field does not
offer it. On a prefix like 20 it does appear, because 20 is both a number and a
step towards 200x - both readings are live, which is why the reader is the one
who says which was meant. A fourth digit still confirms itself: there is no
fifth box to put an OK in.
Going back from the confirmation reopens the fourth digit when it was the
fourth digit that confirmed, and returns to the field untouched when the reader
ended with OK.
0 commit comments