FAILURE MAP
← Case archive

FA-31551 / Keyboard interactions / Open access

Keyboard macro recording timebase: Pause records the macro origin instead of the actual suspension instant · case 01

The event trace violates the pause origin rule and produces incorrect keyboard state or command output.

Verified by executionVariant 1 · 10 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Pause records the macro origin instead of the actual suspension instant.

VERIFIED REPAIR

Use the contract transition `paused=now` at the pause origin fault site; preserve the other state transitions.

Unsuccessful approach: The partial repair changes this transition to paused=0, which still violates the model contract on the explicit regression traces.

Case contract

Events [kind,key,time,injected]. Start resets capture and origin; physical down/up record relative active time; injected events are ignored. Pause freezes recording and resume excludes paused duration. Stop ends recording; clear erases recording. Return [kind,key,offset] records, recording flag, paused flag and excluded time. Ordered times and paired pause/resume. 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.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(cases):
    def run(c):
        recording=False; origin=0; paused=None; excluded=0; records=[]
        for kind,key,now,injected in c:
            if kind=='start':
                recording=True; origin=now; paused=None; excluded=0; records=[]
            elif kind=='pause' and recording and paused is None:
                paused=origin
            elif kind=='resume' and recording and paused is not None:
                excluded+=now-paused
                paused=None
            elif kind=='stop': recording=False; paused=None
            elif kind=='clear': records=[]
            elif kind in ('down','up') and recording and paused is None and not injected:
                records.append([kind,key,now-origin-excluded])
        return [records,recording,paused is not None,excluded]
    return [run(c) for c in cases]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('macro-record scenario 0', solve([[]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 1', solve([[['start', '', 10, False], ['down', 'A', 12, False], ['up', 'A', 13, False], ['text', 'A', 14, False]]] * N), [[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]] * N)
check('macro-record scenario 2', solve([[['start', '', 10, False], ['down', 'A', 12, True], ['up', 'A', 13, True]]] * N), [[[], True, False, 0]] * N)
check('macro-record scenario 3', solve([[['start', '', 10, False], ['pause', '', 12, False], ['pause', '', 13, False], ['resume', '', 15, False], ['down', 'A', 16, False]]] * N), [[[['down', 'A', 3]], True, False, 3]] * N)
check('macro-record scenario 4', solve([[['start', '', 10, False], ['pause', '', 12, False], ['resume', '', 15, False], ['pause', '', 17, False], ['resume', '', 20, False], ['down', 'A', 21, False]]] * N), [[[['down', 'A', 5]], True, False, 6]] * N)
check('macro-record scenario 5', solve([[['start', '', 10, False], ['down', 'A', 11, False], ['start', '', 20, False]]] * N), [[[], True, False, 0]] * N)
check('macro-record scenario 6', solve([[['start', '', 10, False], ['pause', '', 12, False], ['resume', '', 15, False], ['start', '', 20, False], ['down', 'A', 21, False]]] * N), [[[['down', 'A', 1]], True, False, 0]] * N)
check('macro-record scenario 7', solve([[['start', '', 10, False], ['pause', '', 12, False], ['stop', '', 15, False], ['down', 'A', 16, False]]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 8', solve([[['pause', '', 10, False]]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 9', solve([[['start', '', 10, False], ['down', 'A', 11, False], ['up', 'A', 12, False], ['clear', '', 13, False]]] * N), [[[], True, False, 0]] * N)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
macro-record scenario 0[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 1[[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]][[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]]Passed
macro-record scenario 2[[[], True, False, 0]][[[], True, False, 0]]Passed
macro-record scenario 3[[[['down', 'A', 1]], True, False, 5]][[[['down', 'A', 3]], True, False, 3]]Failed
macro-record scenario 4[[[['down', 'A', -4]], True, False, 15]][[[['down', 'A', 5]], True, False, 6]]Failed
macro-record scenario 5[[[], True, False, 0]][[[], True, False, 0]]Passed
macro-record scenario 6[[[['down', 'A', 1]], True, False, 0]][[[['down', 'A', 1]], True, False, 0]]Passed
macro-record scenario 7[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 8[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 9[[[], True, False, 0]][[[], True, False, 0]]Passed

SHA-256 / 806079af9fe0f634f444548f426a4dca368d5e7c76630c88efdecfce9236330a

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(cases):
    def run(c):
        recording=False; origin=0; paused=None; excluded=0; records=[]
        for kind,key,now,injected in c:
            if kind=='start':
                recording=True; origin=now; paused=None; excluded=0; records=[]
            elif kind=='pause' and recording and paused is None:
                paused=0
            elif kind=='resume' and recording and paused is not None:
                excluded+=now-paused
                paused=None
            elif kind=='stop': recording=False; paused=None
            elif kind=='clear': records=[]
            elif kind in ('down','up') and recording and paused is None and not injected:
                records.append([kind,key,now-origin-excluded])
        return [records,recording,paused is not None,excluded]
    return [run(c) for c in cases]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('macro-record scenario 0', solve([[]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 1', solve([[['start', '', 10, False], ['down', 'A', 12, False], ['up', 'A', 13, False], ['text', 'A', 14, False]]] * N), [[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]] * N)
check('macro-record scenario 2', solve([[['start', '', 10, False], ['down', 'A', 12, True], ['up', 'A', 13, True]]] * N), [[[], True, False, 0]] * N)
check('macro-record scenario 3', solve([[['start', '', 10, False], ['pause', '', 12, False], ['pause', '', 13, False], ['resume', '', 15, False], ['down', 'A', 16, False]]] * N), [[[['down', 'A', 3]], True, False, 3]] * N)
check('macro-record scenario 4', solve([[['start', '', 10, False], ['pause', '', 12, False], ['resume', '', 15, False], ['pause', '', 17, False], ['resume', '', 20, False], ['down', 'A', 21, False]]] * N), [[[['down', 'A', 5]], True, False, 6]] * N)
check('macro-record scenario 5', solve([[['start', '', 10, False], ['down', 'A', 11, False], ['start', '', 20, False]]] * N), [[[], True, False, 0]] * N)
check('macro-record scenario 6', solve([[['start', '', 10, False], ['pause', '', 12, False], ['resume', '', 15, False], ['start', '', 20, False], ['down', 'A', 21, False]]] * N), [[[['down', 'A', 1]], True, False, 0]] * N)
check('macro-record scenario 7', solve([[['start', '', 10, False], ['pause', '', 12, False], ['stop', '', 15, False], ['down', 'A', 16, False]]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 8', solve([[['pause', '', 10, False]]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 9', solve([[['start', '', 10, False], ['down', 'A', 11, False], ['up', 'A', 12, False], ['clear', '', 13, False]]] * N), [[[], True, False, 0]] * N)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
macro-record scenario 0[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 1[[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]][[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]]Passed
macro-record scenario 2[[[], True, False, 0]][[[], True, False, 0]]Passed
macro-record scenario 3[[[['down', 'A', -9]], True, False, 15]][[[['down', 'A', 3]], True, False, 3]]Failed
macro-record scenario 4[[[['down', 'A', -24]], True, False, 35]][[[['down', 'A', 5]], True, False, 6]]Failed
macro-record scenario 5[[[], True, False, 0]][[[], True, False, 0]]Passed
macro-record scenario 6[[[['down', 'A', 1]], True, False, 0]][[[['down', 'A', 1]], True, False, 0]]Passed
macro-record scenario 7[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 8[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 9[[[], True, False, 0]][[[], True, False, 0]]Passed

SHA-256 / 0602c7084139ed424f0a1769915d17d557993547d9dda5d15d48ec74d02b98e8

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(cases):
    def run(c):
        recording=False; origin=0; paused=None; excluded=0; records=[]
        for kind,key,now,injected in c:
            if kind=='start':
                recording=True; origin=now; paused=None; excluded=0; records=[]
            elif kind=='pause' and recording and paused is None:
                paused=now
            elif kind=='resume' and recording and paused is not None:
                excluded+=now-paused
                paused=None
            elif kind=='stop': recording=False; paused=None
            elif kind=='clear': records=[]
            elif kind in ('down','up') and recording and paused is None and not injected:
                records.append([kind,key,now-origin-excluded])
        return [records,recording,paused is not None,excluded]
    return [run(c) for c in cases]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('macro-record scenario 0', solve([[]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 1', solve([[['start', '', 10, False], ['down', 'A', 12, False], ['up', 'A', 13, False], ['text', 'A', 14, False]]] * N), [[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]] * N)
check('macro-record scenario 2', solve([[['start', '', 10, False], ['down', 'A', 12, True], ['up', 'A', 13, True]]] * N), [[[], True, False, 0]] * N)
check('macro-record scenario 3', solve([[['start', '', 10, False], ['pause', '', 12, False], ['pause', '', 13, False], ['resume', '', 15, False], ['down', 'A', 16, False]]] * N), [[[['down', 'A', 3]], True, False, 3]] * N)
check('macro-record scenario 4', solve([[['start', '', 10, False], ['pause', '', 12, False], ['resume', '', 15, False], ['pause', '', 17, False], ['resume', '', 20, False], ['down', 'A', 21, False]]] * N), [[[['down', 'A', 5]], True, False, 6]] * N)
check('macro-record scenario 5', solve([[['start', '', 10, False], ['down', 'A', 11, False], ['start', '', 20, False]]] * N), [[[], True, False, 0]] * N)
check('macro-record scenario 6', solve([[['start', '', 10, False], ['pause', '', 12, False], ['resume', '', 15, False], ['start', '', 20, False], ['down', 'A', 21, False]]] * N), [[[['down', 'A', 1]], True, False, 0]] * N)
check('macro-record scenario 7', solve([[['start', '', 10, False], ['pause', '', 12, False], ['stop', '', 15, False], ['down', 'A', 16, False]]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 8', solve([[['pause', '', 10, False]]] * N), [[[], False, False, 0]] * N)
check('macro-record scenario 9', solve([[['start', '', 10, False], ['down', 'A', 11, False], ['up', 'A', 12, False], ['clear', '', 13, False]]] * N), [[[], True, False, 0]] * N)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
macro-record scenario 0[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 1[[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]][[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]]Passed
macro-record scenario 2[[[], True, False, 0]][[[], True, False, 0]]Passed
macro-record scenario 3[[[['down', 'A', 3]], True, False, 3]][[[['down', 'A', 3]], True, False, 3]]Passed
macro-record scenario 4[[[['down', 'A', 5]], True, False, 6]][[[['down', 'A', 5]], True, False, 6]]Passed
macro-record scenario 5[[[], True, False, 0]][[[], True, False, 0]]Passed
macro-record scenario 6[[[['down', 'A', 1]], True, False, 0]][[[['down', 'A', 1]], True, False, 0]]Passed
macro-record scenario 7[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 8[[[], False, False, 0]][[[], False, False, 0]]Passed
macro-record scenario 9[[[], True, False, 0]][[[], True, False, 0]]Passed

SHA-256 / 918e29b69f359d8b3a103ff0686e718411cb605180b75135e0f6fbf0085c74ec

Verification & scope

Offline stipulated event model, not a browser implementation or web standard conformance claim. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:42:03.207888+00:00.

Case digest / 1f260852f60f63e0fd76e0360d8db25e86c9bef1d415f9d506bc6637851d6806