{"abstract":"Mac command shortcuts require Control instead of Command.","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.","evaluation_group":"xi-shortcut","failed_approach":"Always requiring Command breaks other platforms.","family":"xi-shortcut-platform-modifier","id":"FA-9021","implementations":{"attempt":{"sha256":"632aeb371bf79557818df5b0d21fbcb64f1ea4e1facf59b3bd0138c43bcc8422","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 or repeat: return None\n    if editable: return None\n    primary = meta\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":"7bb11ca114c9e10fc766ad3cf96fc7011ac916bec84fd5b4be38e4d366f07c18","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 or repeat: return None\n    if editable: return None\n    primary = 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"},"fixed":{"sha256":"57e8128ff05fe833f1456d79a412d1065dd2e5fcb142e213a048dee71ea1c567","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 or 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"}},"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-platform-modifier","generated_at":"2026-09-29T14:38:26.331554+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.","repair":"Implement the platform modifier operation as `meta if platform == 'mac' else ctrl`.","root_cause":"The platform modifier operation uses `ctrl` where the contract requires `meta if platform == 'mac' else ctrl`.","sha256":"2eed4aa26fe362027b615ba81006221d7328623e300d21c29760529bcd0450e1","title":"Scoped keyboard shortcut dispatch: Mac command shortcuts require Control instead of Command · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":36.562,"exit_code":1,"observations":[{"actual":null,"check":"prevented","expected":null,"passed":true},{"actual":null,"check":"repeat","expected":null,"passed":true},{"actual":null,"check":"editable","expected":null,"passed":true},{"actual":"undo","check":"mac","expected":"undo","passed":true},{"actual":null,"check":"win","expected":"undo","passed":false},{"actual":null,"check":"redo","expected":"redo","passed":false},{"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\": null, \"expected\": null, \"passed\": true}, {\"check\": \"editable\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"mac\", \"actual\": \"undo\", \"expected\": \"undo\", \"passed\": true}, {\"check\": \"win\", \"actual\": null, \"expected\": \"undo\", \"passed\": false}, {\"check\": \"redo\", \"actual\": null, \"expected\": \"redo\", \"passed\": false}, {\"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":39.915,"exit_code":1,"observations":[{"actual":null,"check":"prevented","expected":null,"passed":true},{"actual":null,"check":"repeat","expected":null,"passed":true},{"actual":null,"check":"editable","expected":null,"passed":true},{"actual":null,"check":"mac","expected":"undo","passed":false},{"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\": null, \"expected\": null, \"passed\": true}, {\"check\": \"editable\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"mac\", \"actual\": null, \"expected\": \"undo\", \"passed\": false}, {\"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"},"fixed":{"elapsed_ms":36.272,"exit_code":0,"observations":[{"actual":null,"check":"prevented","expected":null,"passed":true},{"actual":null,"check":"repeat","expected":null,"passed":true},{"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":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"prevented\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"repeat\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"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\": true}\n"}},"verified":true,"visibility":"public"}