{"abstract":"The event trace violates the winner rule and produces incorrect keyboard state or command output.","category":"Keyboard interactions","checks":11,"contract":"Events [kind,id,scope,chord,priority]. Register replaces the same id with a fresh serial. Remove deletes id; clear deletes a scope. Resolve returns highest priority matching scope/chord, breaking ties by newest registration. Empty chord never resolves. Return resolution IDs and live registrations [id,scope,chord,priority,serial]. 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-binding-registry","failed_approach":"The partial repair changes this transition to eligible[0][1][0] if eligible else None, which still violates the model contract on the explicit regression traces.","family":"s3-keyboard-interactions-binding-registry-winner","id":"FA-31236","implementations":{"attempt":{"sha256":"13740953938e1e835a3a797b09d66cfaa57a5fe502a75c064df2d20591f7171d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        registry={}; serial=0; resolved=[]\n        for kind,ident,scope,chord,priority in c:\n            if kind=='register':\n                serial+=1\n                registry[ident]=[scope,chord,priority,serial]\n            elif kind=='remove':\n                registry.pop(ident,None)\n            elif kind=='clear':\n                registry={k:v for k,v in registry.items() if v[0]!=scope}\n            elif kind=='resolve':\n                eligible=[(k,v) for k,v in registry.items() if v[0]==scope and v[1]==chord and chord!='']\n                eligible.sort(key=lambda pair:(pair[1][2],pair[1][3]),reverse=True)\n                resolved.append(eligible[0][1][0] if eligible else None)\n        return [resolved,sorted([[k]+v for k,v in registry.items()])]\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('binding-registry scenario 0', solve([[]] * N), [[[], []]] * N)\ncheck('binding-registry scenario 1', solve([[['resolve', '', 'x', 'A', 0]]] * N), [[[None], []]] * N)\ncheck('binding-registry scenario 2', solve([[['register', 'a', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['a'], [['a', 'x', 'A', 1, 1]]]] * N)\ncheck('binding-registry scenario 3', solve([[['register', 'a', 'x', 'A', 2], ['register', 'b', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['a'], [['a', 'x', 'A', 2, 1], ['b', 'x', 'A', 1, 2]]]] * N)\ncheck('binding-registry scenario 4', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['b'], [['a', 'x', 'A', 1, 1], ['b', 'x', 'A', 1, 2]]]] * N)\ncheck('binding-registry scenario 5', solve([[['register', 'a', 'x', 'A', 1], ['register', 'a', 'y', 'B', 3], ['resolve', '', 'y', 'B', 0]]] * N), [[['a'], [['a', 'y', 'B', 3, 2]]]] * N)\ncheck('binding-registry scenario 6', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'y', 'B', 1], ['clear', '', 'x', '', 0]]] * N), [[[], [['b', 'y', 'B', 1, 2]]]] * N)\ncheck('binding-registry scenario 7', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'x', 'B', 1], ['remove', 'a', '', '', 0]]] * N), [[[], [['b', 'x', 'B', 1, 2]]]] * N)\ncheck('binding-registry scenario 8', solve([[['register', 'a', 'x', 'AB', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[[None], [['a', 'x', 'AB', 1, 1]]]] * N)\ncheck('binding-registry scenario 9', solve([[['register', 'a', 'y', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[[None], [['a', 'y', 'A', 1, 1]]]] * N)\ncheck('binding-registry scenario 10', solve([[['register', 'a', 'x', '', 1], ['resolve', '', 'x', '', 0]]] * N), [[[None], [['a', 'x', '', 1, 1]]]] * 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":"24d79e82553dd9e0b30b9dde92526cf216e225ac6e14aeb20f1cb3444eeaec26","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        registry={}; serial=0; resolved=[]\n        for kind,ident,scope,chord,priority in c:\n            if kind=='register':\n                serial+=1\n                registry[ident]=[scope,chord,priority,serial]\n            elif kind=='remove':\n                registry.pop(ident,None)\n            elif kind=='clear':\n                registry={k:v for k,v in registry.items() if v[0]!=scope}\n            elif kind=='resolve':\n                eligible=[(k,v) for k,v in registry.items() if v[0]==scope and v[1]==chord and chord!='']\n                eligible.sort(key=lambda pair:(pair[1][2],pair[1][3]),reverse=True)\n                resolved.append(eligible[-1][0] if eligible else None)\n        return [resolved,sorted([[k]+v for k,v in registry.items()])]\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('binding-registry scenario 0', solve([[]] * N), [[[], []]] * N)\ncheck('binding-registry scenario 1', solve([[['resolve', '', 'x', 'A', 0]]] * N), [[[None], []]] * N)\ncheck('binding-registry scenario 2', solve([[['register', 'a', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['a'], [['a', 'x', 'A', 1, 1]]]] * N)\ncheck('binding-registry scenario 3', solve([[['register', 'a', 'x', 'A', 2], ['register', 'b', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['a'], [['a', 'x', 'A', 2, 1], ['b', 'x', 'A', 1, 2]]]] * N)\ncheck('binding-registry scenario 4', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['b'], [['a', 'x', 'A', 1, 1], ['b', 'x', 'A', 1, 2]]]] * N)\ncheck('binding-registry scenario 5', solve([[['register', 'a', 'x', 'A', 1], ['register', 'a', 'y', 'B', 3], ['resolve', '', 'y', 'B', 0]]] * N), [[['a'], [['a', 'y', 'B', 3, 2]]]] * N)\ncheck('binding-registry scenario 6', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'y', 'B', 1], ['clear', '', 'x', '', 0]]] * N), [[[], [['b', 'y', 'B', 1, 2]]]] * N)\ncheck('binding-registry scenario 7', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'x', 'B', 1], ['remove', 'a', '', '', 0]]] * N), [[[], [['b', 'x', 'B', 1, 2]]]] * N)\ncheck('binding-registry scenario 8', solve([[['register', 'a', 'x', 'AB', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[[None], [['a', 'x', 'AB', 1, 1]]]] * N)\ncheck('binding-registry scenario 9', solve([[['register', 'a', 'y', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[[None], [['a', 'y', 'A', 1, 1]]]] * N)\ncheck('binding-registry scenario 10', solve([[['register', 'a', 'x', '', 1], ['resolve', '', 'x', '', 0]]] * N), [[[None], [['a', 'x', '', 1, 1]]]] * 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":"0ef8ddddc20512d9714b2c91e32ce370d8586d10601425fc30790a1c5c0cf2e0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        registry={}; serial=0; resolved=[]\n        for kind,ident,scope,chord,priority in c:\n            if kind=='register':\n                serial+=1\n                registry[ident]=[scope,chord,priority,serial]\n            elif kind=='remove':\n                registry.pop(ident,None)\n            elif kind=='clear':\n                registry={k:v for k,v in registry.items() if v[0]!=scope}\n            elif kind=='resolve':\n                eligible=[(k,v) for k,v in registry.items() if v[0]==scope and v[1]==chord and chord!='']\n                eligible.sort(key=lambda pair:(pair[1][2],pair[1][3]),reverse=True)\n                resolved.append(eligible[0][0] if eligible else None)\n        return [resolved,sorted([[k]+v for k,v in registry.items()])]\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('binding-registry scenario 0', solve([[]] * N), [[[], []]] * N)\ncheck('binding-registry scenario 1', solve([[['resolve', '', 'x', 'A', 0]]] * N), [[[None], []]] * N)\ncheck('binding-registry scenario 2', solve([[['register', 'a', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['a'], [['a', 'x', 'A', 1, 1]]]] * N)\ncheck('binding-registry scenario 3', solve([[['register', 'a', 'x', 'A', 2], ['register', 'b', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['a'], [['a', 'x', 'A', 2, 1], ['b', 'x', 'A', 1, 2]]]] * N)\ncheck('binding-registry scenario 4', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'x', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[['b'], [['a', 'x', 'A', 1, 1], ['b', 'x', 'A', 1, 2]]]] * N)\ncheck('binding-registry scenario 5', solve([[['register', 'a', 'x', 'A', 1], ['register', 'a', 'y', 'B', 3], ['resolve', '', 'y', 'B', 0]]] * N), [[['a'], [['a', 'y', 'B', 3, 2]]]] * N)\ncheck('binding-registry scenario 6', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'y', 'B', 1], ['clear', '', 'x', '', 0]]] * N), [[[], [['b', 'y', 'B', 1, 2]]]] * N)\ncheck('binding-registry scenario 7', solve([[['register', 'a', 'x', 'A', 1], ['register', 'b', 'x', 'B', 1], ['remove', 'a', '', '', 0]]] * N), [[[], [['b', 'x', 'B', 1, 2]]]] * N)\ncheck('binding-registry scenario 8', solve([[['register', 'a', 'x', 'AB', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[[None], [['a', 'x', 'AB', 1, 1]]]] * N)\ncheck('binding-registry scenario 9', solve([[['register', 'a', 'y', 'A', 1], ['resolve', '', 'x', 'A', 0]]] * N), [[[None], [['a', 'y', 'A', 1, 1]]]] * N)\ncheck('binding-registry scenario 10', solve([[['register', 'a', 'x', '', 1], ['resolve', '', 'x', '', 0]]] * N), [[[None], [['a', 'x', '', 1, 1]]]] * 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-binding-registry-winner","generated_at":"2026-09-29T14:42:00.212789+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 `eligible[0][0] if eligible else None` at the winner fault site; preserve the other state transitions.","root_cause":"Resolution returns the last candidate or its scope instead of winning ID.","sha256":"77a7d246d441567781ac9be824b16160df2b0ad486c669121b71b2ebc0cd85e4","title":"Keyboard binding registration lifecycle: Resolution returns the last candidate or its scope instead of winning ID · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.917,"exit_code":1,"observations":[{"actual":[[[],[]]],"check":"binding-registry scenario 0","expected":[[[],[]]],"passed":true},{"actual":[[[null],[]]],"check":"binding-registry scenario 1","expected":[[[null],[]]],"passed":true},{"actual":[[["x"],[["a","x","A",1,1]]]],"check":"binding-registry scenario 2","expected":[[["a"],[["a","x","A",1,1]]]],"passed":false},{"actual":[[["x"],[["a","x","A",2,1],["b","x","A",1,2]]]],"check":"binding-registry scenario 3","expected":[[["a"],[["a","x","A",2,1],["b","x","A",1,2]]]],"passed":false},{"actual":[[["x"],[["a","x","A",1,1],["b","x","A",1,2]]]],"check":"binding-registry scenario 4","expected":[[["b"],[["a","x","A",1,1],["b","x","A",1,2]]]],"passed":false},{"actual":[[["y"],[["a","y","B",3,2]]]],"check":"binding-registry scenario 5","expected":[[["a"],[["a","y","B",3,2]]]],"passed":false},{"actual":[[[],[["b","y","B",1,2]]]],"check":"binding-registry scenario 6","expected":[[[],[["b","y","B",1,2]]]],"passed":true},{"actual":[[[],[["b","x","B",1,2]]]],"check":"binding-registry scenario 7","expected":[[[],[["b","x","B",1,2]]]],"passed":true},{"actual":[[[null],[["a","x","AB",1,1]]]],"check":"binding-registry scenario 8","expected":[[[null],[["a","x","AB",1,1]]]],"passed":true},{"actual":[[[null],[["a","y","A",1,1]]]],"check":"binding-registry scenario 9","expected":[[[null],[["a","y","A",1,1]]]],"passed":true},{"actual":[[[null],[["a","x","",1,1]]]],"check":"binding-registry scenario 10","expected":[[[null],[["a","x","",1,1]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"binding-registry scenario 0\", \"actual\": [[[], []]], \"expected\": [[[], []]], \"passed\": true}, {\"check\": \"binding-registry scenario 1\", \"actual\": [[[null], []]], \"expected\": [[[null], []]], \"passed\": true}, {\"check\": \"binding-registry scenario 2\", \"actual\": [[[\"x\"], [[\"a\", \"x\", \"A\", 1, 1]]]], \"expected\": [[[\"a\"], [[\"a\", \"x\", \"A\", 1, 1]]]], \"passed\": false}, {\"check\": \"binding-registry scenario 3\", \"actual\": [[[\"x\"], [[\"a\", \"x\", \"A\", 2, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"expected\": [[[\"a\"], [[\"a\", \"x\", \"A\", 2, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"passed\": false}, {\"check\": \"binding-registry scenario 4\", \"actual\": [[[\"x\"], [[\"a\", \"x\", \"A\", 1, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"expected\": [[[\"b\"], [[\"a\", \"x\", \"A\", 1, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"passed\": false}, {\"check\": \"binding-registry scenario 5\", \"actual\": [[[\"y\"], [[\"a\", \"y\", \"B\", 3, 2]]]], \"expected\": [[[\"a\"], [[\"a\", \"y\", \"B\", 3, 2]]]], \"passed\": false}, {\"check\": \"binding-registry scenario 6\", \"actual\": [[[], [[\"b\", \"y\", \"B\", 1, 2]]]], \"expected\": [[[], [[\"b\", \"y\", \"B\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 7\", \"actual\": [[[], [[\"b\", \"x\", \"B\", 1, 2]]]], \"expected\": [[[], [[\"b\", \"x\", \"B\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 8\", \"actual\": [[[null], [[\"a\", \"x\", \"AB\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"x\", \"AB\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 9\", \"actual\": [[[null], [[\"a\", \"y\", \"A\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"y\", \"A\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 10\", \"actual\": [[[null], [[\"a\", \"x\", \"\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"x\", \"\", 1, 1]]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.06,"exit_code":1,"observations":[{"actual":[[[],[]]],"check":"binding-registry scenario 0","expected":[[[],[]]],"passed":true},{"actual":[[[null],[]]],"check":"binding-registry scenario 1","expected":[[[null],[]]],"passed":true},{"actual":[[["a"],[["a","x","A",1,1]]]],"check":"binding-registry scenario 2","expected":[[["a"],[["a","x","A",1,1]]]],"passed":true},{"actual":[[["b"],[["a","x","A",2,1],["b","x","A",1,2]]]],"check":"binding-registry scenario 3","expected":[[["a"],[["a","x","A",2,1],["b","x","A",1,2]]]],"passed":false},{"actual":[[["a"],[["a","x","A",1,1],["b","x","A",1,2]]]],"check":"binding-registry scenario 4","expected":[[["b"],[["a","x","A",1,1],["b","x","A",1,2]]]],"passed":false},{"actual":[[["a"],[["a","y","B",3,2]]]],"check":"binding-registry scenario 5","expected":[[["a"],[["a","y","B",3,2]]]],"passed":true},{"actual":[[[],[["b","y","B",1,2]]]],"check":"binding-registry scenario 6","expected":[[[],[["b","y","B",1,2]]]],"passed":true},{"actual":[[[],[["b","x","B",1,2]]]],"check":"binding-registry scenario 7","expected":[[[],[["b","x","B",1,2]]]],"passed":true},{"actual":[[[null],[["a","x","AB",1,1]]]],"check":"binding-registry scenario 8","expected":[[[null],[["a","x","AB",1,1]]]],"passed":true},{"actual":[[[null],[["a","y","A",1,1]]]],"check":"binding-registry scenario 9","expected":[[[null],[["a","y","A",1,1]]]],"passed":true},{"actual":[[[null],[["a","x","",1,1]]]],"check":"binding-registry scenario 10","expected":[[[null],[["a","x","",1,1]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"binding-registry scenario 0\", \"actual\": [[[], []]], \"expected\": [[[], []]], \"passed\": true}, {\"check\": \"binding-registry scenario 1\", \"actual\": [[[null], []]], \"expected\": [[[null], []]], \"passed\": true}, {\"check\": \"binding-registry scenario 2\", \"actual\": [[[\"a\"], [[\"a\", \"x\", \"A\", 1, 1]]]], \"expected\": [[[\"a\"], [[\"a\", \"x\", \"A\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 3\", \"actual\": [[[\"b\"], [[\"a\", \"x\", \"A\", 2, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"expected\": [[[\"a\"], [[\"a\", \"x\", \"A\", 2, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"passed\": false}, {\"check\": \"binding-registry scenario 4\", \"actual\": [[[\"a\"], [[\"a\", \"x\", \"A\", 1, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"expected\": [[[\"b\"], [[\"a\", \"x\", \"A\", 1, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"passed\": false}, {\"check\": \"binding-registry scenario 5\", \"actual\": [[[\"a\"], [[\"a\", \"y\", \"B\", 3, 2]]]], \"expected\": [[[\"a\"], [[\"a\", \"y\", \"B\", 3, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 6\", \"actual\": [[[], [[\"b\", \"y\", \"B\", 1, 2]]]], \"expected\": [[[], [[\"b\", \"y\", \"B\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 7\", \"actual\": [[[], [[\"b\", \"x\", \"B\", 1, 2]]]], \"expected\": [[[], [[\"b\", \"x\", \"B\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 8\", \"actual\": [[[null], [[\"a\", \"x\", \"AB\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"x\", \"AB\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 9\", \"actual\": [[[null], [[\"a\", \"y\", \"A\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"y\", \"A\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 10\", \"actual\": [[[null], [[\"a\", \"x\", \"\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"x\", \"\", 1, 1]]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.864,"exit_code":0,"observations":[{"actual":[[[],[]]],"check":"binding-registry scenario 0","expected":[[[],[]]],"passed":true},{"actual":[[[null],[]]],"check":"binding-registry scenario 1","expected":[[[null],[]]],"passed":true},{"actual":[[["a"],[["a","x","A",1,1]]]],"check":"binding-registry scenario 2","expected":[[["a"],[["a","x","A",1,1]]]],"passed":true},{"actual":[[["a"],[["a","x","A",2,1],["b","x","A",1,2]]]],"check":"binding-registry scenario 3","expected":[[["a"],[["a","x","A",2,1],["b","x","A",1,2]]]],"passed":true},{"actual":[[["b"],[["a","x","A",1,1],["b","x","A",1,2]]]],"check":"binding-registry scenario 4","expected":[[["b"],[["a","x","A",1,1],["b","x","A",1,2]]]],"passed":true},{"actual":[[["a"],[["a","y","B",3,2]]]],"check":"binding-registry scenario 5","expected":[[["a"],[["a","y","B",3,2]]]],"passed":true},{"actual":[[[],[["b","y","B",1,2]]]],"check":"binding-registry scenario 6","expected":[[[],[["b","y","B",1,2]]]],"passed":true},{"actual":[[[],[["b","x","B",1,2]]]],"check":"binding-registry scenario 7","expected":[[[],[["b","x","B",1,2]]]],"passed":true},{"actual":[[[null],[["a","x","AB",1,1]]]],"check":"binding-registry scenario 8","expected":[[[null],[["a","x","AB",1,1]]]],"passed":true},{"actual":[[[null],[["a","y","A",1,1]]]],"check":"binding-registry scenario 9","expected":[[[null],[["a","y","A",1,1]]]],"passed":true},{"actual":[[[null],[["a","x","",1,1]]]],"check":"binding-registry scenario 10","expected":[[[null],[["a","x","",1,1]]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"binding-registry scenario 0\", \"actual\": [[[], []]], \"expected\": [[[], []]], \"passed\": true}, {\"check\": \"binding-registry scenario 1\", \"actual\": [[[null], []]], \"expected\": [[[null], []]], \"passed\": true}, {\"check\": \"binding-registry scenario 2\", \"actual\": [[[\"a\"], [[\"a\", \"x\", \"A\", 1, 1]]]], \"expected\": [[[\"a\"], [[\"a\", \"x\", \"A\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 3\", \"actual\": [[[\"a\"], [[\"a\", \"x\", \"A\", 2, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"expected\": [[[\"a\"], [[\"a\", \"x\", \"A\", 2, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 4\", \"actual\": [[[\"b\"], [[\"a\", \"x\", \"A\", 1, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"expected\": [[[\"b\"], [[\"a\", \"x\", \"A\", 1, 1], [\"b\", \"x\", \"A\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 5\", \"actual\": [[[\"a\"], [[\"a\", \"y\", \"B\", 3, 2]]]], \"expected\": [[[\"a\"], [[\"a\", \"y\", \"B\", 3, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 6\", \"actual\": [[[], [[\"b\", \"y\", \"B\", 1, 2]]]], \"expected\": [[[], [[\"b\", \"y\", \"B\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 7\", \"actual\": [[[], [[\"b\", \"x\", \"B\", 1, 2]]]], \"expected\": [[[], [[\"b\", \"x\", \"B\", 1, 2]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 8\", \"actual\": [[[null], [[\"a\", \"x\", \"AB\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"x\", \"AB\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 9\", \"actual\": [[[null], [[\"a\", \"y\", \"A\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"y\", \"A\", 1, 1]]]], \"passed\": true}, {\"check\": \"binding-registry scenario 10\", \"actual\": [[[null], [[\"a\", \"x\", \"\", 1, 1]]]], \"expected\": [[[null], [[\"a\", \"x\", \"\", 1, 1]]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}