{"abstract":"Held shortcut keys repeatedly dispatch one-shot actions.","category":"Keyboard interactions","checks":9,"contract":"Ignore prevented, repeated, and editable-origin events; use platform primary modifier; Alt blocks shortcuts; Shift-Z redoes, Z undoes, unshifted S saves.","contract_signature":"key, ctrl, meta, alt, shift, platform, editable, repeat, prevented","evaluation_group":"xi-shortcut","failed_approach":"Requiring both flags still allows unprevented repeats.","family":"xi-shortcut-repeat","id":"FA-9011","implementations":{"attempt":{"sha256":"bb257173271b73b2801e1e946c743fa93ddde6808398a4c562ef536c97a2eff6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(key, ctrl, meta, alt, shift, platform, editable, repeat, prevented):\n    if prevented and repeat: return None\n    if editable: return None\n    primary = meta if platform == 'mac' else ctrl\n    if not primary or alt: return None\n    if key.lower() == 'z': return 'redo' if shift else 'undo'\n    if key.lower() == 's' and not shift: return 'save'\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('prevented', solve('z', True, False, False, False, 'win', False, False, True), None)\ncheck('repeat', solve('z', True, False, False, False, 'win', False, True, False), None)\ncheck('editable', solve('z', True, False, False, False, 'win', True, False, False), None)\ncheck('mac', solve('z', False, True, False, False, 'mac', False, False, False), 'undo')\ncheck('win', solve('z', True, False, False, False, 'win', False, False, False), 'undo')\ncheck('redo', solve('z', True, False, False, True, 'win', False, False, False), 'redo')\ncheck('alt', solve('z', True, False, True, False, 'win', False, False, False), None)\ncheck('parameterized target context', solve('z',True,False,False,False,'win',bool(N%2),False,False), None if N%2 else 'undo')\nfor repetition in range(N):\n    check('repeat alt', solve('z', True, False, True, False, 'win', False, False, False), None)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"2d5d82927f73a0d314782968993aa41a339415dc85584568ccbe6eadb2ec7c6b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(key, ctrl, meta, alt, shift, platform, editable, repeat, prevented):\n    if prevented: return None\n    if editable: return None\n    primary = meta if platform == 'mac' else ctrl\n    if not primary or alt: return None\n    if key.lower() == 'z': return 'redo' if shift else 'undo'\n    if key.lower() == 's' and not shift: return 'save'\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('prevented', solve('z', True, False, False, False, 'win', False, False, True), None)\ncheck('repeat', solve('z', True, False, False, False, 'win', False, True, False), None)\ncheck('editable', solve('z', True, False, False, False, 'win', True, False, False), None)\ncheck('mac', solve('z', False, True, False, False, 'mac', False, False, False), 'undo')\ncheck('win', solve('z', True, False, False, False, 'win', False, False, False), 'undo')\ncheck('redo', solve('z', True, False, False, True, 'win', False, False, False), 'redo')\ncheck('alt', solve('z', True, False, True, False, 'win', False, False, False), None)\ncheck('parameterized target context', solve('z',True,False,False,False,'win',bool(N%2),False,False), None if N%2 else 'undo')\nfor repetition in range(N):\n    check('repeat alt', solve('z', True, False, True, False, 'win', False, False, False), None)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":" 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"xi-shortcut-repeat","generated_at":"2026-09-29T14:38:26.451863+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic model of scoped keyboard shortcut dispatch; this isolates one interface invariant without requiring a browser.","root_cause":"The repeat operation uses `if prevented:` where the contract requires `if prevented or repeat:`.","sha256":"ea060a367ec0d6b7a870dedfcbab78f91c1af1a61f75c7813cddb1d846114d90","title":"Scoped keyboard shortcut dispatch: Held shortcut keys repeatedly dispatch one-shot actions · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":35.992,"exit_code":1,"observations":[{"actual":"undo","check":"prevented","expected":null,"passed":false},{"actual":"undo","check":"repeat","expected":null,"passed":false},{"actual":null,"check":"editable","expected":null,"passed":true},{"actual":"undo","check":"mac","expected":"undo","passed":true},{"actual":"undo","check":"win","expected":"undo","passed":true},{"actual":"redo","check":"redo","expected":"redo","passed":true},{"actual":null,"check":"alt","expected":null,"passed":true},{"actual":null,"check":"parameterized target context","expected":null,"passed":true},{"actual":null,"check":"repeat alt","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"prevented\", \"actual\": \"undo\", \"expected\": null, \"passed\": false}, {\"check\": \"repeat\", \"actual\": \"undo\", \"expected\": null, \"passed\": false}, {\"check\": \"editable\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"mac\", \"actual\": \"undo\", \"expected\": \"undo\", \"passed\": true}, {\"check\": \"win\", \"actual\": \"undo\", \"expected\": \"undo\", \"passed\": true}, {\"check\": \"redo\", \"actual\": \"redo\", \"expected\": \"redo\", \"passed\": true}, {\"check\": \"alt\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"parameterized target context\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"repeat alt\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":36.998,"exit_code":1,"observations":[{"actual":null,"check":"prevented","expected":null,"passed":true},{"actual":"undo","check":"repeat","expected":null,"passed":false},{"actual":null,"check":"editable","expected":null,"passed":true},{"actual":"undo","check":"mac","expected":"undo","passed":true},{"actual":"undo","check":"win","expected":"undo","passed":true},{"actual":"redo","check":"redo","expected":"redo","passed":true},{"actual":null,"check":"alt","expected":null,"passed":true},{"actual":null,"check":"parameterized target context","expected":null,"passed":true},{"actual":null,"check":"repeat alt","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"prevented\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"repeat\", \"actual\": \"undo\", \"expected\": null, \"passed\": false}, {\"check\": \"editable\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"mac\", \"actual\": \"undo\", \"expected\": \"undo\", \"passed\": true}, {\"check\": \"win\", \"actual\": \"undo\", \"expected\": \"undo\", \"passed\": true}, {\"check\": \"redo\", \"actual\": \"redo\", \"expected\": \"redo\", \"passed\": true}, {\"check\": \"alt\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"parameterized target context\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"repeat alt\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}