FAILURE MAP
← Case archive

FA-31581 / Keyboard interactions / Open access

Keyboard macro recording timebase: Synthetic playback events reenter macro recording and create feedback · case 01

The event trace violates the injection filter rule and produces incorrect keyboard state or command output.

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

ROOT CAUSE

Synthetic playback events reenter macro recording and create feedback.

VERIFIED REPAIR

Use the contract transition `and not injected:` at the injection filter fault site; preserve the other state transitions.

Unsuccessful approach: The partial repair changes this transition to and (not injected or kind=="up"):, 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=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 True:
                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[[[['down', 'A', 2], ['up', 'A', 3]], True, False, 0]][[[], True, False, 0]]Failed
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 / 46d959be6b51ad121cc41a7f7cf745429eec7856ca710bfdd4af6faffffd06ae

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=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 or kind=="up"):
                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[[[['up', 'A', 3]], True, False, 0]][[[], True, False, 0]]Failed
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 / 9060cbcf6162167ddbec9b07dc78c7668ee9826a78061ebb4efde6652d427b2e

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.556421+00:00.

Case digest / 1363a41a9e0ac6c172024732bdbe654db13fd7760d747311ea62ed52092f9719