{"abstract":"The event trace violates the pending deadline rule and produces incorrect keyboard state or command output.","category":"Keyboard interactions","checks":10,"contract":"Case [bindings,timeout,events]. Binding [nonempty_key_sequence,action] has unique sequence. Events [kind,key,time]. Down extends prefix. Exact match with longer candidates is delayed until deadline; exact unambiguous match dispatches immediately. Tick or next event at deadline emits pending exact match and clears prefix. Mismatch dispatches pending match then retries only current key as fresh prefix. Cancel drops pending without dispatch. Return [action,time] dispatches,buffer,pending action,deadline. Inputs are finite ordered event traces; return the stated deterministic state. Batch entries are independent. N varies the number of independent input transactions.","evaluation_group":"s3-keyboard-ambiguous-shortcut-prefix","failed_approach":"The partial repair changes this transition to deadline=now+timeout, which still violates the model contract on the explicit regression traces.","family":"s3-keyboard-interactions-ambiguous-shortcut-prefix-pending-deadline","id":"FA-32286","implementations":{"attempt":{"sha256":"b1f2bef68665ed0b3936ad4058135ee2b74a639adba0193d322c0d8fe0f070ca","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        bindings,timeout,events=c\n        buffer=[]; pending=None; deadline=None; out=[]\n        for kind,key,now in events:\n            if kind=='cancel':\n                buffer=[]; pending=None; deadline=None\n                continue\n            if deadline is not None and now>=deadline:\n                if pending is not None: out.append([pending,deadline])\n                buffer=[]; pending=None; deadline=None\n            if kind!='down': continue\n            candidate=buffer+[key]\n            candidates=[b for b in bindings if b[0][:len(candidate)]==candidate]\n            if not candidates:\n                if pending is not None: out.append([pending,now])\n                candidate=[key]\n                candidates=[b for b in bindings if b[0][:1]==candidate]\n                pending=None\n            buffer=candidate if candidates else []\n            exact=[b for b in candidates if len(b[0])==len(buffer)]\n            longer=[b for b in candidates if len(b[0])>len(buffer)]\n            if exact and not longer:\n                out.append([exact[0][1],now])\n                buffer=[]; pending=None; deadline=None\n            else:\n                pending=exact[0][1] if exact else None\n                deadline=now+timeout\n        return [out,buffer,pending,deadline]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('ambiguous-shortcut-prefix scenario 0', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, []]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 1', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, [['down', 'A', 10], ['tick', '', 15]]]] * N), [[[['short', 15]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 2', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['tick', '', 20]]]] * N), [[[['short', 15]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 3', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['down', 'B', 12]]]] * N), [[[['long', 12]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 4', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, [['down', 'A', 10], ['down', 'C', 12]]]] * N), [[[['short', 12], ['other', 12]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 5', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['cancel', '', 11]]]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 6', solve([[[[['A', 'B'], 'long']], 5, [['down', 'A', 10], ['up', 'B', 11]]]] * N), [[[], ['A'], None, 15]] * N)\ncheck('ambiguous-shortcut-prefix scenario 7', solve([[[[['A', 'B'], 'long']], 5, [['down', 'A', 10], ['tick', 'B', 11]]]] * N), [[[], ['A'], None, 15]] * N)\ncheck('ambiguous-shortcut-prefix scenario 8', solve([[[[['A', 'B'], 'long']], 5, [['down', 'Z', 10]]]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 9', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['down', 'B', 15]]]] * N), [[[['short', 15]], [], None, None]] * N)\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":"7723ba6b42bc85c31ff2337b9b6e2fbade18aa9c12feb30a8b11069c98b3f348","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        bindings,timeout,events=c\n        buffer=[]; pending=None; deadline=None; out=[]\n        for kind,key,now in events:\n            if kind=='cancel':\n                buffer=[]; pending=None; deadline=None\n                continue\n            if deadline is not None and now>=deadline:\n                if pending is not None: out.append([pending,deadline])\n                buffer=[]; pending=None; deadline=None\n            if kind!='down': continue\n            candidate=buffer+[key]\n            candidates=[b for b in bindings if b[0][:len(candidate)]==candidate]\n            if not candidates:\n                if pending is not None: out.append([pending,now])\n                candidate=[key]\n                candidates=[b for b in bindings if b[0][:1]==candidate]\n                pending=None\n            buffer=candidate if candidates else []\n            exact=[b for b in candidates if len(b[0])==len(buffer)]\n            longer=[b for b in candidates if len(b[0])>len(buffer)]\n            if exact and not longer:\n                out.append([exact[0][1],now])\n                buffer=[]; pending=None; deadline=None\n            else:\n                pending=exact[0][1] if exact else None\n                deadline=timeout if candidates else None\n        return [out,buffer,pending,deadline]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('ambiguous-shortcut-prefix scenario 0', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, []]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 1', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, [['down', 'A', 10], ['tick', '', 15]]]] * N), [[[['short', 15]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 2', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['tick', '', 20]]]] * N), [[[['short', 15]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 3', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['down', 'B', 12]]]] * N), [[[['long', 12]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 4', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, [['down', 'A', 10], ['down', 'C', 12]]]] * N), [[[['short', 12], ['other', 12]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 5', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['cancel', '', 11]]]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 6', solve([[[[['A', 'B'], 'long']], 5, [['down', 'A', 10], ['up', 'B', 11]]]] * N), [[[], ['A'], None, 15]] * N)\ncheck('ambiguous-shortcut-prefix scenario 7', solve([[[[['A', 'B'], 'long']], 5, [['down', 'A', 10], ['tick', 'B', 11]]]] * N), [[[], ['A'], None, 15]] * N)\ncheck('ambiguous-shortcut-prefix scenario 8', solve([[[[['A', 'B'], 'long']], 5, [['down', 'Z', 10]]]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 9', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['down', 'B', 15]]]] * N), [[[['short', 15]], [], None, None]] * N)\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":"543e8289857c0b5820dfb4131a69911eb7b8eed4fd528582b853401cb51b16a7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        bindings,timeout,events=c\n        buffer=[]; pending=None; deadline=None; out=[]\n        for kind,key,now in events:\n            if kind=='cancel':\n                buffer=[]; pending=None; deadline=None\n                continue\n            if deadline is not None and now>=deadline:\n                if pending is not None: out.append([pending,deadline])\n                buffer=[]; pending=None; deadline=None\n            if kind!='down': continue\n            candidate=buffer+[key]\n            candidates=[b for b in bindings if b[0][:len(candidate)]==candidate]\n            if not candidates:\n                if pending is not None: out.append([pending,now])\n                candidate=[key]\n                candidates=[b for b in bindings if b[0][:1]==candidate]\n                pending=None\n            buffer=candidate if candidates else []\n            exact=[b for b in candidates if len(b[0])==len(buffer)]\n            longer=[b for b in candidates if len(b[0])>len(buffer)]\n            if exact and not longer:\n                out.append([exact[0][1],now])\n                buffer=[]; pending=None; deadline=None\n            else:\n                pending=exact[0][1] if exact else None\n                deadline=now+timeout if candidates else None\n        return [out,buffer,pending,deadline]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('ambiguous-shortcut-prefix scenario 0', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, []]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 1', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, [['down', 'A', 10], ['tick', '', 15]]]] * N), [[[['short', 15]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 2', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['tick', '', 20]]]] * N), [[[['short', 15]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 3', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['down', 'B', 12]]]] * N), [[[['long', 12]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 4', solve([[[[['A'], 'short'], [['A', 'B'], 'long'], [['C'], 'other']], 5, [['down', 'A', 10], ['down', 'C', 12]]]] * N), [[[['short', 12], ['other', 12]], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 5', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['cancel', '', 11]]]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 6', solve([[[[['A', 'B'], 'long']], 5, [['down', 'A', 10], ['up', 'B', 11]]]] * N), [[[], ['A'], None, 15]] * N)\ncheck('ambiguous-shortcut-prefix scenario 7', solve([[[[['A', 'B'], 'long']], 5, [['down', 'A', 10], ['tick', 'B', 11]]]] * N), [[[], ['A'], None, 15]] * N)\ncheck('ambiguous-shortcut-prefix scenario 8', solve([[[[['A', 'B'], 'long']], 5, [['down', 'Z', 10]]]] * N), [[[], [], None, None]] * N)\ncheck('ambiguous-shortcut-prefix scenario 9', solve([[[[['A'], 'short'], [['A', 'B'], 'long']], 5, [['down', 'A', 10], ['down', 'B', 15]]]] * N), [[[['short', 15]], [], None, None]] * N)\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":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-keyboard-interactions-ambiguous-shortcut-prefix-pending-deadline","generated_at":"2026-09-29T14:42:10.677072+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Controlled keyboard event processing model for debugging application event logic.","repair":"Use the contract transition `deadline=now+timeout if candidates else None` at the pending deadline fault site; preserve the other state transitions.","root_cause":"Partial shortcut deadline uses the epoch or survives after no candidates remain.","sha256":"551d60fc5104af33d839914262db74841b657b713f798a14e2fdf640610b636c","title":"Deferred short shortcut versus longer key sequence: Partial shortcut deadline uses the epoch or survives after no candidates remain · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.218,"exit_code":1,"observations":[{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 0","expected":[[[],[],null,null]],"passed":true},{"actual":[[[["short",15]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 1","expected":[[[["short",15]],[],null,null]],"passed":true},{"actual":[[[["short",15]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 2","expected":[[[["short",15]],[],null,null]],"passed":true},{"actual":[[[["long",12]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 3","expected":[[[["long",12]],[],null,null]],"passed":true},{"actual":[[[["short",12],["other",12]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 4","expected":[[[["short",12],["other",12]],[],null,null]],"passed":true},{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 5","expected":[[[],[],null,null]],"passed":true},{"actual":[[[],["A"],null,15]],"check":"ambiguous-shortcut-prefix scenario 6","expected":[[[],["A"],null,15]],"passed":true},{"actual":[[[],["A"],null,15]],"check":"ambiguous-shortcut-prefix scenario 7","expected":[[[],["A"],null,15]],"passed":true},{"actual":[[[],[],null,15]],"check":"ambiguous-shortcut-prefix scenario 8","expected":[[[],[],null,null]],"passed":false},{"actual":[[[["short",15]],[],null,20]],"check":"ambiguous-shortcut-prefix scenario 9","expected":[[[["short",15]],[],null,null]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"ambiguous-shortcut-prefix scenario 0\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 1\", \"actual\": [[[[\"short\", 15]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 2\", \"actual\": [[[[\"short\", 15]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 3\", \"actual\": [[[[\"long\", 12]], [], null, null]], \"expected\": [[[[\"long\", 12]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 4\", \"actual\": [[[[\"short\", 12], [\"other\", 12]], [], null, null]], \"expected\": [[[[\"short\", 12], [\"other\", 12]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 5\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 6\", \"actual\": [[[], [\"A\"], null, 15]], \"expected\": [[[], [\"A\"], null, 15]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 7\", \"actual\": [[[], [\"A\"], null, 15]], \"expected\": [[[], [\"A\"], null, 15]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 8\", \"actual\": [[[], [], null, 15]], \"expected\": [[[], [], null, null]], \"passed\": false}, {\"check\": \"ambiguous-shortcut-prefix scenario 9\", \"actual\": [[[[\"short\", 15]], [], null, 20]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.589,"exit_code":1,"observations":[{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 0","expected":[[[],[],null,null]],"passed":true},{"actual":[[[["short",5]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 1","expected":[[[["short",15]],[],null,null]],"passed":false},{"actual":[[[["short",5]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 2","expected":[[[["short",15]],[],null,null]],"passed":false},{"actual":[[[["short",5]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 3","expected":[[[["long",12]],[],null,null]],"passed":false},{"actual":[[[["short",5],["other",12]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 4","expected":[[[["short",12],["other",12]],[],null,null]],"passed":false},{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 5","expected":[[[],[],null,null]],"passed":true},{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 6","expected":[[[],["A"],null,15]],"passed":false},{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 7","expected":[[[],["A"],null,15]],"passed":false},{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 8","expected":[[[],[],null,null]],"passed":true},{"actual":[[[["short",5]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 9","expected":[[[["short",15]],[],null,null]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"ambiguous-shortcut-prefix scenario 0\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 1\", \"actual\": [[[[\"short\", 5]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": false}, {\"check\": \"ambiguous-shortcut-prefix scenario 2\", \"actual\": [[[[\"short\", 5]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": false}, {\"check\": \"ambiguous-shortcut-prefix scenario 3\", \"actual\": [[[[\"short\", 5]], [], null, null]], \"expected\": [[[[\"long\", 12]], [], null, null]], \"passed\": false}, {\"check\": \"ambiguous-shortcut-prefix scenario 4\", \"actual\": [[[[\"short\", 5], [\"other\", 12]], [], null, null]], \"expected\": [[[[\"short\", 12], [\"other\", 12]], [], null, null]], \"passed\": false}, {\"check\": \"ambiguous-shortcut-prefix scenario 5\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 6\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [\"A\"], null, 15]], \"passed\": false}, {\"check\": \"ambiguous-shortcut-prefix scenario 7\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [\"A\"], null, 15]], \"passed\": false}, {\"check\": \"ambiguous-shortcut-prefix scenario 8\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 9\", \"actual\": [[[[\"short\", 5]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":49.333,"exit_code":0,"observations":[{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 0","expected":[[[],[],null,null]],"passed":true},{"actual":[[[["short",15]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 1","expected":[[[["short",15]],[],null,null]],"passed":true},{"actual":[[[["short",15]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 2","expected":[[[["short",15]],[],null,null]],"passed":true},{"actual":[[[["long",12]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 3","expected":[[[["long",12]],[],null,null]],"passed":true},{"actual":[[[["short",12],["other",12]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 4","expected":[[[["short",12],["other",12]],[],null,null]],"passed":true},{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 5","expected":[[[],[],null,null]],"passed":true},{"actual":[[[],["A"],null,15]],"check":"ambiguous-shortcut-prefix scenario 6","expected":[[[],["A"],null,15]],"passed":true},{"actual":[[[],["A"],null,15]],"check":"ambiguous-shortcut-prefix scenario 7","expected":[[[],["A"],null,15]],"passed":true},{"actual":[[[],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 8","expected":[[[],[],null,null]],"passed":true},{"actual":[[[["short",15]],[],null,null]],"check":"ambiguous-shortcut-prefix scenario 9","expected":[[[["short",15]],[],null,null]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"ambiguous-shortcut-prefix scenario 0\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 1\", \"actual\": [[[[\"short\", 15]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 2\", \"actual\": [[[[\"short\", 15]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 3\", \"actual\": [[[[\"long\", 12]], [], null, null]], \"expected\": [[[[\"long\", 12]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 4\", \"actual\": [[[[\"short\", 12], [\"other\", 12]], [], null, null]], \"expected\": [[[[\"short\", 12], [\"other\", 12]], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 5\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 6\", \"actual\": [[[], [\"A\"], null, 15]], \"expected\": [[[], [\"A\"], null, 15]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 7\", \"actual\": [[[], [\"A\"], null, 15]], \"expected\": [[[], [\"A\"], null, 15]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 8\", \"actual\": [[[], [], null, null]], \"expected\": [[[], [], null, null]], \"passed\": true}, {\"check\": \"ambiguous-shortcut-prefix scenario 9\", \"actual\": [[[[\"short\", 15]], [], null, null]], \"expected\": [[[[\"short\", 15]], [], null, null]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}