{"abstract":"The event trace violates the repeat reference rule and produces incorrect keyboard state or command output.","category":"Keyboard interactions","checks":9,"contract":"Events [kind,key,value]. Map replaces future press mapping; None disables output. Down captures current mapping once per physical key. Several physical keys mapping to one logical key share a reference count: emit logical down at 0->1 and up at 1->0. Release uses captured mapping even after remap. Reset emits sorted ups for all logical held keys and clears presses. Return events, captured physical map and logical counts. 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-remap-release-ownership","failed_approach":"The partial repair changes this transition to elif kind=='down' and key not in counts:, which still violates the model contract on the explicit regression traces.","family":"s3-keyboard-interactions-remap-release-ownership-repeat-reference","id":"FA-31746","implementations":{"attempt":{"sha256":"ee76d0327b7bb58ba1fd2c0d32d1df7f21cc2592f441a451c6315351aec24b17","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        mapping={}; active={}; counts={}; out=[]\n        for kind,key,value in c:\n            if kind=='map': mapping[key]=value\n            elif kind=='down' and key not in counts:\n                logical=mapping.get(key,key)\n                active[key]=logical\n                if logical is not None:\n                    count=counts.get(logical,0)\n                    counts[logical]=count+1\n                    if count==0: out.append(['down',logical])\n            elif kind=='up' and key in active:\n                logical=active.pop(key)\n                if logical is not None:\n                    counts[logical]=counts.get(logical,0)-1\n                    if counts[logical]==0:\n                        out.append(['up',logical])\n                        counts.pop(logical,None)\n            elif kind=='reset':\n                for logical in sorted(counts): out.append(['up',logical])\n                active.clear(); counts.clear()\n        return [out,sorted([[k,v] for k,v in active.items()]),sorted([[k,v] for k,v in counts.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('remap-release-ownership scenario 0', solve([[]] * N), [[[], [], []]] * N)\ncheck('remap-release-ownership scenario 1', solve([[['down', 'A', None], ['up', 'A', None]]] * N), [[[['down', 'A'], ['up', 'A']], [], []]] * N)\ncheck('remap-release-ownership scenario 2', solve([[['map', 'A', 'X'], ['map', 'A', 'Y'], ['down', 'A', None]]] * N), [[[['down', 'Y']], [['A', 'Y']], [['Y', 1]]]] * N)\ncheck('remap-release-ownership scenario 3', solve([[['map', 'A', 'X'], ['down', 'A', None], ['map', 'A', 'Y'], ['up', 'A', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * N)\ncheck('remap-release-ownership scenario 4', solve([[['map', 'A', 'X'], ['map', 'B', 'X'], ['down', 'A', None], ['down', 'B', None], ['up', 'A', None]]] * N), [[[['down', 'X']], [['B', 'X']], [['X', 1]]]] * N)\ncheck('remap-release-ownership scenario 5', solve([[['map', 'A', 'X'], ['down', 'A', None], ['down', 'A', None], ['up', 'A', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * N)\ncheck('remap-release-ownership scenario 6', solve([[['map', 'A', None], ['down', 'A', None]]] * N), [[[], [['A', None]], []]] * N)\ncheck('remap-release-ownership scenario 7', solve([[['map', 'A', ''], ['down', 'A', None]]] * N), [[[['down', '']], [['A', '']], [['', 1]]]] * N)\ncheck('remap-release-ownership scenario 8', solve([[['map', 'A', 'X'], ['down', 'A', None], ['reset', '', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * 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":"ad5ad6594ad22d0bd1d265e8585e71e2b9591adc28dbfa5085f734e569158e87","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        mapping={}; active={}; counts={}; out=[]\n        for kind,key,value in c:\n            if kind=='map': mapping[key]=value\n            elif kind=='down':\n                logical=mapping.get(key,key)\n                active[key]=logical\n                if logical is not None:\n                    count=counts.get(logical,0)\n                    counts[logical]=count+1\n                    if count==0: out.append(['down',logical])\n            elif kind=='up' and key in active:\n                logical=active.pop(key)\n                if logical is not None:\n                    counts[logical]=counts.get(logical,0)-1\n                    if counts[logical]==0:\n                        out.append(['up',logical])\n                        counts.pop(logical,None)\n            elif kind=='reset':\n                for logical in sorted(counts): out.append(['up',logical])\n                active.clear(); counts.clear()\n        return [out,sorted([[k,v] for k,v in active.items()]),sorted([[k,v] for k,v in counts.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('remap-release-ownership scenario 0', solve([[]] * N), [[[], [], []]] * N)\ncheck('remap-release-ownership scenario 1', solve([[['down', 'A', None], ['up', 'A', None]]] * N), [[[['down', 'A'], ['up', 'A']], [], []]] * N)\ncheck('remap-release-ownership scenario 2', solve([[['map', 'A', 'X'], ['map', 'A', 'Y'], ['down', 'A', None]]] * N), [[[['down', 'Y']], [['A', 'Y']], [['Y', 1]]]] * N)\ncheck('remap-release-ownership scenario 3', solve([[['map', 'A', 'X'], ['down', 'A', None], ['map', 'A', 'Y'], ['up', 'A', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * N)\ncheck('remap-release-ownership scenario 4', solve([[['map', 'A', 'X'], ['map', 'B', 'X'], ['down', 'A', None], ['down', 'B', None], ['up', 'A', None]]] * N), [[[['down', 'X']], [['B', 'X']], [['X', 1]]]] * N)\ncheck('remap-release-ownership scenario 5', solve([[['map', 'A', 'X'], ['down', 'A', None], ['down', 'A', None], ['up', 'A', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * N)\ncheck('remap-release-ownership scenario 6', solve([[['map', 'A', None], ['down', 'A', None]]] * N), [[[], [['A', None]], []]] * N)\ncheck('remap-release-ownership scenario 7', solve([[['map', 'A', ''], ['down', 'A', None]]] * N), [[[['down', '']], [['A', '']], [['', 1]]]] * N)\ncheck('remap-release-ownership scenario 8', solve([[['map', 'A', 'X'], ['down', 'A', None], ['reset', '', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * 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":"68a0d3838c21544769255c0f94b8dc6963c760e29884585c856259d22e91cc48","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        mapping={}; active={}; counts={}; out=[]\n        for kind,key,value in c:\n            if kind=='map': mapping[key]=value\n            elif kind=='down' and key not in active:\n                logical=mapping.get(key,key)\n                active[key]=logical\n                if logical is not None:\n                    count=counts.get(logical,0)\n                    counts[logical]=count+1\n                    if count==0: out.append(['down',logical])\n            elif kind=='up' and key in active:\n                logical=active.pop(key)\n                if logical is not None:\n                    counts[logical]=counts.get(logical,0)-1\n                    if counts[logical]==0:\n                        out.append(['up',logical])\n                        counts.pop(logical,None)\n            elif kind=='reset':\n                for logical in sorted(counts): out.append(['up',logical])\n                active.clear(); counts.clear()\n        return [out,sorted([[k,v] for k,v in active.items()]),sorted([[k,v] for k,v in counts.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('remap-release-ownership scenario 0', solve([[]] * N), [[[], [], []]] * N)\ncheck('remap-release-ownership scenario 1', solve([[['down', 'A', None], ['up', 'A', None]]] * N), [[[['down', 'A'], ['up', 'A']], [], []]] * N)\ncheck('remap-release-ownership scenario 2', solve([[['map', 'A', 'X'], ['map', 'A', 'Y'], ['down', 'A', None]]] * N), [[[['down', 'Y']], [['A', 'Y']], [['Y', 1]]]] * N)\ncheck('remap-release-ownership scenario 3', solve([[['map', 'A', 'X'], ['down', 'A', None], ['map', 'A', 'Y'], ['up', 'A', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * N)\ncheck('remap-release-ownership scenario 4', solve([[['map', 'A', 'X'], ['map', 'B', 'X'], ['down', 'A', None], ['down', 'B', None], ['up', 'A', None]]] * N), [[[['down', 'X']], [['B', 'X']], [['X', 1]]]] * N)\ncheck('remap-release-ownership scenario 5', solve([[['map', 'A', 'X'], ['down', 'A', None], ['down', 'A', None], ['up', 'A', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * N)\ncheck('remap-release-ownership scenario 6', solve([[['map', 'A', None], ['down', 'A', None]]] * N), [[[], [['A', None]], []]] * N)\ncheck('remap-release-ownership scenario 7', solve([[['map', 'A', ''], ['down', 'A', None]]] * N), [[[['down', '']], [['A', '']], [['', 1]]]] * N)\ncheck('remap-release-ownership scenario 8', solve([[['map', 'A', 'X'], ['down', 'A', None], ['reset', '', None]]] * N), [[[['down', 'X'], ['up', 'X']], [], []]] * 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-remap-release-ownership-repeat-reference","generated_at":"2026-09-29T14:42:05.105749+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 `elif kind=='down' and key not in active:` at the repeat reference fault site; preserve the other state transitions.","root_cause":"Repeated physical downs acquire extra logical references.","sha256":"97abbbf74bbc84e516ae6707c240450b9f996322f6ff317ac5563081dbf2fcc2","title":"Press-time remapping and logical key reference counts: Repeated physical downs acquire extra logical references · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.183,"exit_code":1,"observations":[{"actual":[[[],[],[]]],"check":"remap-release-ownership scenario 0","expected":[[[],[],[]]],"passed":true},{"actual":[[[["down","A"],["up","A"]],[],[]]],"check":"remap-release-ownership scenario 1","expected":[[[["down","A"],["up","A"]],[],[]]],"passed":true},{"actual":[[[["down","Y"]],[["A","Y"]],[["Y",1]]]],"check":"remap-release-ownership scenario 2","expected":[[[["down","Y"]],[["A","Y"]],[["Y",1]]]],"passed":true},{"actual":[[[["down","X"],["up","X"]],[],[]]],"check":"remap-release-ownership scenario 3","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":true},{"actual":[[[["down","X"]],[["B","X"]],[["X",1]]]],"check":"remap-release-ownership scenario 4","expected":[[[["down","X"]],[["B","X"]],[["X",1]]]],"passed":true},{"actual":[[[["down","X"]],[],[["X",1]]]],"check":"remap-release-ownership scenario 5","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":false},{"actual":[[[],[["A",null]],[]]],"check":"remap-release-ownership scenario 6","expected":[[[],[["A",null]],[]]],"passed":true},{"actual":[[[["down",""]],[["A",""]],[["",1]]]],"check":"remap-release-ownership scenario 7","expected":[[[["down",""]],[["A",""]],[["",1]]]],"passed":true},{"actual":[[[["down","X"],["up","X"]],[],[]]],"check":"remap-release-ownership scenario 8","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"remap-release-ownership scenario 0\", \"actual\": [[[], [], []]], \"expected\": [[[], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 1\", \"actual\": [[[[\"down\", \"A\"], [\"up\", \"A\"]], [], []]], \"expected\": [[[[\"down\", \"A\"], [\"up\", \"A\"]], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 2\", \"actual\": [[[[\"down\", \"Y\"]], [[\"A\", \"Y\"]], [[\"Y\", 1]]]], \"expected\": [[[[\"down\", \"Y\"]], [[\"A\", \"Y\"]], [[\"Y\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 3\", \"actual\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 4\", \"actual\": [[[[\"down\", \"X\"]], [[\"B\", \"X\"]], [[\"X\", 1]]]], \"expected\": [[[[\"down\", \"X\"]], [[\"B\", \"X\"]], [[\"X\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 5\", \"actual\": [[[[\"down\", \"X\"]], [], [[\"X\", 1]]]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": false}, {\"check\": \"remap-release-ownership scenario 6\", \"actual\": [[[], [[\"A\", null]], []]], \"expected\": [[[], [[\"A\", null]], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 7\", \"actual\": [[[[\"down\", \"\"]], [[\"A\", \"\"]], [[\"\", 1]]]], \"expected\": [[[[\"down\", \"\"]], [[\"A\", \"\"]], [[\"\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 8\", \"actual\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.242,"exit_code":1,"observations":[{"actual":[[[],[],[]]],"check":"remap-release-ownership scenario 0","expected":[[[],[],[]]],"passed":true},{"actual":[[[["down","A"],["up","A"]],[],[]]],"check":"remap-release-ownership scenario 1","expected":[[[["down","A"],["up","A"]],[],[]]],"passed":true},{"actual":[[[["down","Y"]],[["A","Y"]],[["Y",1]]]],"check":"remap-release-ownership scenario 2","expected":[[[["down","Y"]],[["A","Y"]],[["Y",1]]]],"passed":true},{"actual":[[[["down","X"],["up","X"]],[],[]]],"check":"remap-release-ownership scenario 3","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":true},{"actual":[[[["down","X"]],[["B","X"]],[["X",1]]]],"check":"remap-release-ownership scenario 4","expected":[[[["down","X"]],[["B","X"]],[["X",1]]]],"passed":true},{"actual":[[[["down","X"]],[],[["X",1]]]],"check":"remap-release-ownership scenario 5","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":false},{"actual":[[[],[["A",null]],[]]],"check":"remap-release-ownership scenario 6","expected":[[[],[["A",null]],[]]],"passed":true},{"actual":[[[["down",""]],[["A",""]],[["",1]]]],"check":"remap-release-ownership scenario 7","expected":[[[["down",""]],[["A",""]],[["",1]]]],"passed":true},{"actual":[[[["down","X"],["up","X"]],[],[]]],"check":"remap-release-ownership scenario 8","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"remap-release-ownership scenario 0\", \"actual\": [[[], [], []]], \"expected\": [[[], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 1\", \"actual\": [[[[\"down\", \"A\"], [\"up\", \"A\"]], [], []]], \"expected\": [[[[\"down\", \"A\"], [\"up\", \"A\"]], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 2\", \"actual\": [[[[\"down\", \"Y\"]], [[\"A\", \"Y\"]], [[\"Y\", 1]]]], \"expected\": [[[[\"down\", \"Y\"]], [[\"A\", \"Y\"]], [[\"Y\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 3\", \"actual\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 4\", \"actual\": [[[[\"down\", \"X\"]], [[\"B\", \"X\"]], [[\"X\", 1]]]], \"expected\": [[[[\"down\", \"X\"]], [[\"B\", \"X\"]], [[\"X\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 5\", \"actual\": [[[[\"down\", \"X\"]], [], [[\"X\", 1]]]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": false}, {\"check\": \"remap-release-ownership scenario 6\", \"actual\": [[[], [[\"A\", null]], []]], \"expected\": [[[], [[\"A\", null]], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 7\", \"actual\": [[[[\"down\", \"\"]], [[\"A\", \"\"]], [[\"\", 1]]]], \"expected\": [[[[\"down\", \"\"]], [[\"A\", \"\"]], [[\"\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 8\", \"actual\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.503,"exit_code":0,"observations":[{"actual":[[[],[],[]]],"check":"remap-release-ownership scenario 0","expected":[[[],[],[]]],"passed":true},{"actual":[[[["down","A"],["up","A"]],[],[]]],"check":"remap-release-ownership scenario 1","expected":[[[["down","A"],["up","A"]],[],[]]],"passed":true},{"actual":[[[["down","Y"]],[["A","Y"]],[["Y",1]]]],"check":"remap-release-ownership scenario 2","expected":[[[["down","Y"]],[["A","Y"]],[["Y",1]]]],"passed":true},{"actual":[[[["down","X"],["up","X"]],[],[]]],"check":"remap-release-ownership scenario 3","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":true},{"actual":[[[["down","X"]],[["B","X"]],[["X",1]]]],"check":"remap-release-ownership scenario 4","expected":[[[["down","X"]],[["B","X"]],[["X",1]]]],"passed":true},{"actual":[[[["down","X"],["up","X"]],[],[]]],"check":"remap-release-ownership scenario 5","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":true},{"actual":[[[],[["A",null]],[]]],"check":"remap-release-ownership scenario 6","expected":[[[],[["A",null]],[]]],"passed":true},{"actual":[[[["down",""]],[["A",""]],[["",1]]]],"check":"remap-release-ownership scenario 7","expected":[[[["down",""]],[["A",""]],[["",1]]]],"passed":true},{"actual":[[[["down","X"],["up","X"]],[],[]]],"check":"remap-release-ownership scenario 8","expected":[[[["down","X"],["up","X"]],[],[]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"remap-release-ownership scenario 0\", \"actual\": [[[], [], []]], \"expected\": [[[], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 1\", \"actual\": [[[[\"down\", \"A\"], [\"up\", \"A\"]], [], []]], \"expected\": [[[[\"down\", \"A\"], [\"up\", \"A\"]], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 2\", \"actual\": [[[[\"down\", \"Y\"]], [[\"A\", \"Y\"]], [[\"Y\", 1]]]], \"expected\": [[[[\"down\", \"Y\"]], [[\"A\", \"Y\"]], [[\"Y\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 3\", \"actual\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 4\", \"actual\": [[[[\"down\", \"X\"]], [[\"B\", \"X\"]], [[\"X\", 1]]]], \"expected\": [[[[\"down\", \"X\"]], [[\"B\", \"X\"]], [[\"X\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 5\", \"actual\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 6\", \"actual\": [[[], [[\"A\", null]], []]], \"expected\": [[[], [[\"A\", null]], []]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 7\", \"actual\": [[[[\"down\", \"\"]], [[\"A\", \"\"]], [[\"\", 1]]]], \"expected\": [[[[\"down\", \"\"]], [[\"A\", \"\"]], [[\"\", 1]]]], \"passed\": true}, {\"check\": \"remap-release-ownership scenario 8\", \"actual\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"expected\": [[[[\"down\", \"X\"], [\"up\", \"X\"]], [], []]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}