FA-32008 / Keyboard interactions / Member archive
Keyboard numeric character entry transaction: The numeric entry digit limit admits a seventh digit or rejects the sixth · case 03
The event trace violates the digit cap rule and produces incorrect keyboard state or command output.
Case contract
Events [kind,value]. Begin with radix 10 or16 resets digit buffer and activates. Digit is one ASCII hexadecimal character admitted only if below radix and fewer than6digits; rejection increments invalid count. Backspace removes last buffered digit. Commit with digits emits the integer Unicode scalar value if <=0x10ffff and outside surrogate range, else rejects; commit always closes and clears. Cancel closes without committing. Text outside mode appends as literal string. Return chunks, active radix or None, digits and invalid count. Inputs are finite ordered event traces; return the stated deterministic state. Batch entries are independent. N varies the number of independent input transactions.
Why this case matters
Controlled keyboard event processing model for debugging application event logic.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| numeric-character-entry scenario 5 | [[[], 16, "1234567", 0], [[], 16, "1234567", 0], [[], 16, "1234567", 0]] | [[[], 16, "123456", 1], [[], 16, "123456", 1], [[], 16, "123456", 1]] | Failed |
MEMBER ARCHIVE
The complete case is available to members.
This record includes three runnable implementations, regression fixtures, execution results, and source hashes.
Member access is invitation-based. Sign in with your invited account to inspect the sources.
Sign in to the archive ↗