{"abstract":"The announcement trace violates the stated listener-delivery contract.","category":"Assistive announcements","checks":7,"contract":"Listeners register [id,language,mode] where mode speech or braille. Register replaces subscriptions and clears that listeners delivered IDs. Publish [event-id,text,language,target-mode] delivers to matching languages or wildcard and matching mode or both, at most once per listener/event. Remove deletes listener and receipt history. Mute excludes a listener without marking delivered. Unmute restores delivery. Report ordered [listener,event,text] and listener IDs.","evaluation_group":"s3-announcement-listener-delivery","failed_approach":"The attempted repair substitutes if ident in muted and e[4]!='both': continue and still violates a regression oracle.","family":"s3-assistive-announcements-listener-delivery-muted-receipt","id":"FA-20966","implementations":{"attempt":{"sha256":"54469dfd03b3c5c9f6d6822dc875e758a8a5b753dc0f96d965841778ec5e46fd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    listeners={}; seen={}; muted=set(); out=[]\n    for e in events:\n        if e[0]=='register':\n            listeners[e[1]]=[e[2],e[3]]\n            seen[e[1]]=set()\n        elif e[0]=='remove': listeners.pop(e[1],None); seen.pop(e[1],None); muted.discard(e[1])\n        elif e[0]=='mute': muted.add(e[1])\n        elif e[0]=='unmute': muted.discard(e[1])\n        elif e[0]=='publish':\n            for ident,(lang,mode) in listeners.items():\n                if ident in muted and e[4]!='both': continue\n                if lang not in ('*',e[3]): continue\n                if e[4] not in ('both',mode): continue\n                if e[1] in seen[ident]: continue\n                out.append([ident,e[1],e[2]])\n                seen[ident].add(e[1])\n    return [out,list(listeners),sorted(muted)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['register','s','en','speech'],['register','b','*','braille'],['publish','x','text'*N,'en','both'],['publish','x','text','en','both']]\", \"[['register','s','en','speech'],['publish','x','hello'*N,'en','speech'],['register','s','fr','speech'],['publish','x','bonjour','fr','speech']]\", \"[['register','a','*','speech'],['register','b','en','speech'],['mute','a'],['publish','x','hidden'*N,'en','both'],['unmute','a'],['publish','x','now','en','both']]\", \"[['register','a','en','speech'],['register','b','en','speech'],['mute','a'],['mute','b'],['publish','x','muted'*N,'en','both'],['unmute','a'],['publish','y','one'*N,'en','both'],['remove','b']]\", \"[['register','s','en','speech'],['register','b','en','braille'],['publish','x','hello'*N,'en','speech']]\", \"[['register','a','fr','speech'],['publish','x','hello'*N,'en','speech']]\", '[]']\nexpected = {1: [[[['s', 'x', 'text'], ['b', 'x', 'text']], ['s', 'b'], []], [[['s', 'x', 'hello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'one']], ['a'], []], [[['s', 'x', 'hello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 2: [[[['s', 'x', 'texttext'], ['b', 'x', 'texttext']], ['s', 'b'], []], [[['s', 'x', 'hellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneone']], ['a'], []], [[['s', 'x', 'hellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 3: [[[['s', 'x', 'texttexttext'], ['b', 'x', 'texttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneone']], ['a'], []], [[['s', 'x', 'hellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 4: [[[['s', 'x', 'texttexttexttext'], ['b', 'x', 'texttexttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneoneone']], ['a'], []], [[['s', 'x', 'hellohellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 5: [[[['s', 'x', 'texttexttexttexttext'], ['b', 'x', 'texttexttexttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneoneoneone']], ['a'], []], [[['s', 'x', 'hellohellohellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]]}[N]\nfor i, expression in enumerate(fixtures):\n    check(\"trace-\"+str(i+1), solve(eval(expression)), expected[i])\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":"1e5d43edd6e8cfa829755f96455a65a3b3d2601e1ffa26c9f349cc84c7db24f7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    listeners={}; seen={}; muted=set(); out=[]\n    for e in events:\n        if e[0]=='register':\n            listeners[e[1]]=[e[2],e[3]]\n            seen[e[1]]=set()\n        elif e[0]=='remove': listeners.pop(e[1],None); seen.pop(e[1],None); muted.discard(e[1])\n        elif e[0]=='mute': muted.add(e[1])\n        elif e[0]=='unmute': muted.discard(e[1])\n        elif e[0]=='publish':\n            for ident,(lang,mode) in listeners.items():\n                if ident in muted: seen[ident].add(e[1]); continue\n                if lang not in ('*',e[3]): continue\n                if e[4] not in ('both',mode): continue\n                if e[1] in seen[ident]: continue\n                out.append([ident,e[1],e[2]])\n                seen[ident].add(e[1])\n    return [out,list(listeners),sorted(muted)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['register','s','en','speech'],['register','b','*','braille'],['publish','x','text'*N,'en','both'],['publish','x','text','en','both']]\", \"[['register','s','en','speech'],['publish','x','hello'*N,'en','speech'],['register','s','fr','speech'],['publish','x','bonjour','fr','speech']]\", \"[['register','a','*','speech'],['register','b','en','speech'],['mute','a'],['publish','x','hidden'*N,'en','both'],['unmute','a'],['publish','x','now','en','both']]\", \"[['register','a','en','speech'],['register','b','en','speech'],['mute','a'],['mute','b'],['publish','x','muted'*N,'en','both'],['unmute','a'],['publish','y','one'*N,'en','both'],['remove','b']]\", \"[['register','s','en','speech'],['register','b','en','braille'],['publish','x','hello'*N,'en','speech']]\", \"[['register','a','fr','speech'],['publish','x','hello'*N,'en','speech']]\", '[]']\nexpected = {1: [[[['s', 'x', 'text'], ['b', 'x', 'text']], ['s', 'b'], []], [[['s', 'x', 'hello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'one']], ['a'], []], [[['s', 'x', 'hello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 2: [[[['s', 'x', 'texttext'], ['b', 'x', 'texttext']], ['s', 'b'], []], [[['s', 'x', 'hellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneone']], ['a'], []], [[['s', 'x', 'hellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 3: [[[['s', 'x', 'texttexttext'], ['b', 'x', 'texttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneone']], ['a'], []], [[['s', 'x', 'hellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 4: [[[['s', 'x', 'texttexttexttext'], ['b', 'x', 'texttexttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneoneone']], ['a'], []], [[['s', 'x', 'hellohellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 5: [[[['s', 'x', 'texttexttexttexttext'], ['b', 'x', 'texttexttexttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneoneoneone']], ['a'], []], [[['s', 'x', 'hellohellohellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]]}[N]\nfor i, expression in enumerate(fixtures):\n    check(\"trace-\"+str(i+1), solve(eval(expression)), expected[i])\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":"b8dcf5f169a7f0bb1cf02e4d44488935cad8ead94e38d9610258628976c35e0c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    listeners={}; seen={}; muted=set(); out=[]\n    for e in events:\n        if e[0]=='register':\n            listeners[e[1]]=[e[2],e[3]]\n            seen[e[1]]=set()\n        elif e[0]=='remove': listeners.pop(e[1],None); seen.pop(e[1],None); muted.discard(e[1])\n        elif e[0]=='mute': muted.add(e[1])\n        elif e[0]=='unmute': muted.discard(e[1])\n        elif e[0]=='publish':\n            for ident,(lang,mode) in listeners.items():\n                if ident in muted: continue\n                if lang not in ('*',e[3]): continue\n                if e[4] not in ('both',mode): continue\n                if e[1] in seen[ident]: continue\n                out.append([ident,e[1],e[2]])\n                seen[ident].add(e[1])\n    return [out,list(listeners),sorted(muted)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['register','s','en','speech'],['register','b','*','braille'],['publish','x','text'*N,'en','both'],['publish','x','text','en','both']]\", \"[['register','s','en','speech'],['publish','x','hello'*N,'en','speech'],['register','s','fr','speech'],['publish','x','bonjour','fr','speech']]\", \"[['register','a','*','speech'],['register','b','en','speech'],['mute','a'],['publish','x','hidden'*N,'en','both'],['unmute','a'],['publish','x','now','en','both']]\", \"[['register','a','en','speech'],['register','b','en','speech'],['mute','a'],['mute','b'],['publish','x','muted'*N,'en','both'],['unmute','a'],['publish','y','one'*N,'en','both'],['remove','b']]\", \"[['register','s','en','speech'],['register','b','en','braille'],['publish','x','hello'*N,'en','speech']]\", \"[['register','a','fr','speech'],['publish','x','hello'*N,'en','speech']]\", '[]']\nexpected = {1: [[[['s', 'x', 'text'], ['b', 'x', 'text']], ['s', 'b'], []], [[['s', 'x', 'hello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'one']], ['a'], []], [[['s', 'x', 'hello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 2: [[[['s', 'x', 'texttext'], ['b', 'x', 'texttext']], ['s', 'b'], []], [[['s', 'x', 'hellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneone']], ['a'], []], [[['s', 'x', 'hellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 3: [[[['s', 'x', 'texttexttext'], ['b', 'x', 'texttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneone']], ['a'], []], [[['s', 'x', 'hellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 4: [[[['s', 'x', 'texttexttexttext'], ['b', 'x', 'texttexttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneoneone']], ['a'], []], [[['s', 'x', 'hellohellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]], 5: [[[['s', 'x', 'texttexttexttexttext'], ['b', 'x', 'texttexttexttexttext']], ['s', 'b'], []], [[['s', 'x', 'hellohellohellohellohello'], ['s', 'x', 'bonjour']], ['s'], []], [[['b', 'x', 'hiddenhiddenhiddenhiddenhidden'], ['a', 'x', 'now']], ['a', 'b'], []], [[['a', 'y', 'oneoneoneoneone']], ['a'], []], [[['s', 'x', 'hellohellohellohellohello']], ['s', 'b'], []], [[], ['a'], []], [[], [], []]]}[N]\nfor i, expression in enumerate(fixtures):\n    check(\"trace-\"+str(i+1), solve(eval(expression)), expected[i])\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":"Stipulated bounded policy, not a browser, speech engine, platform API, or standards 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-assistive-announcements-listener-delivery-muted-receipt","generated_at":"2026-09-29T14:40:24.002526+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Deterministic controlled model of assistive announcement delivery.","repair":"Restore the stated transition: if ident in muted: continue","root_cause":"Fault site: if ident in muted: continue is implemented as if ident in muted: seen[ident].add(e[1]); continue","sha256":"f56e6a01713b2eefe3b15c5cc80bd00d4cdb512514a668e4a3f9eda96992f031","title":"Muted delivery consumes the listener event receipt · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.51,"exit_code":1,"observations":[{"actual":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"check":"trace-1","expected":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"passed":true},{"actual":[[["s","x","hello"],["s","x","bonjour"]],["s"],[]],"check":"trace-2","expected":[[["s","x","hello"],["s","x","bonjour"]],["s"],[]],"passed":true},{"actual":[[["a","x","hidden"],["b","x","hidden"]],["a","b"],[]],"check":"trace-3","expected":[[["b","x","hidden"],["a","x","now"]],["a","b"],[]],"passed":false},{"actual":[[["a","x","muted"],["b","x","muted"],["a","y","one"],["b","y","one"]],["a"],[]],"check":"trace-4","expected":[[["a","y","one"]],["a"],[]],"passed":false},{"actual":[[["s","x","hello"]],["s","b"],[]],"check":"trace-5","expected":[[["s","x","hello"]],["s","b"],[]],"passed":true},{"actual":[[],["a"],[]],"check":"trace-6","expected":[[],["a"],[]],"passed":true},{"actual":[[],[],[]],"check":"trace-7","expected":[[],[],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"s\", \"x\", \"hello\"], [\"s\", \"x\", \"bonjour\"]], [\"s\"], []], \"expected\": [[[\"s\", \"x\", \"hello\"], [\"s\", \"x\", \"bonjour\"]], [\"s\"], []], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"x\", \"hidden\"], [\"b\", \"x\", \"hidden\"]], [\"a\", \"b\"], []], \"expected\": [[[\"b\", \"x\", \"hidden\"], [\"a\", \"x\", \"now\"]], [\"a\", \"b\"], []], \"passed\": false}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"x\", \"muted\"], [\"b\", \"x\", \"muted\"], [\"a\", \"y\", \"one\"], [\"b\", \"y\", \"one\"]], [\"a\"], []], \"expected\": [[[\"a\", \"y\", \"one\"]], [\"a\"], []], \"passed\": false}, {\"check\": \"trace-5\", \"actual\": [[[\"s\", \"x\", \"hello\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"hello\"]], [\"s\", \"b\"], []], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [\"a\"], []], \"expected\": [[], [\"a\"], []], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[], [], []], \"expected\": [[], [], []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.906,"exit_code":1,"observations":[{"actual":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"check":"trace-1","expected":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"passed":true},{"actual":[[["s","x","hello"],["s","x","bonjour"]],["s"],[]],"check":"trace-2","expected":[[["s","x","hello"],["s","x","bonjour"]],["s"],[]],"passed":true},{"actual":[[["b","x","hidden"]],["a","b"],[]],"check":"trace-3","expected":[[["b","x","hidden"],["a","x","now"]],["a","b"],[]],"passed":false},{"actual":[[["a","y","one"]],["a"],[]],"check":"trace-4","expected":[[["a","y","one"]],["a"],[]],"passed":true},{"actual":[[["s","x","hello"]],["s","b"],[]],"check":"trace-5","expected":[[["s","x","hello"]],["s","b"],[]],"passed":true},{"actual":[[],["a"],[]],"check":"trace-6","expected":[[],["a"],[]],"passed":true},{"actual":[[],[],[]],"check":"trace-7","expected":[[],[],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"s\", \"x\", \"hello\"], [\"s\", \"x\", \"bonjour\"]], [\"s\"], []], \"expected\": [[[\"s\", \"x\", \"hello\"], [\"s\", \"x\", \"bonjour\"]], [\"s\"], []], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"b\", \"x\", \"hidden\"]], [\"a\", \"b\"], []], \"expected\": [[[\"b\", \"x\", \"hidden\"], [\"a\", \"x\", \"now\"]], [\"a\", \"b\"], []], \"passed\": false}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"y\", \"one\"]], [\"a\"], []], \"expected\": [[[\"a\", \"y\", \"one\"]], [\"a\"], []], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[[\"s\", \"x\", \"hello\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"hello\"]], [\"s\", \"b\"], []], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [\"a\"], []], \"expected\": [[], [\"a\"], []], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[], [], []], \"expected\": [[], [], []], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.872,"exit_code":0,"observations":[{"actual":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"check":"trace-1","expected":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"passed":true},{"actual":[[["s","x","hello"],["s","x","bonjour"]],["s"],[]],"check":"trace-2","expected":[[["s","x","hello"],["s","x","bonjour"]],["s"],[]],"passed":true},{"actual":[[["b","x","hidden"],["a","x","now"]],["a","b"],[]],"check":"trace-3","expected":[[["b","x","hidden"],["a","x","now"]],["a","b"],[]],"passed":true},{"actual":[[["a","y","one"]],["a"],[]],"check":"trace-4","expected":[[["a","y","one"]],["a"],[]],"passed":true},{"actual":[[["s","x","hello"]],["s","b"],[]],"check":"trace-5","expected":[[["s","x","hello"]],["s","b"],[]],"passed":true},{"actual":[[],["a"],[]],"check":"trace-6","expected":[[],["a"],[]],"passed":true},{"actual":[[],[],[]],"check":"trace-7","expected":[[],[],[]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"s\", \"x\", \"hello\"], [\"s\", \"x\", \"bonjour\"]], [\"s\"], []], \"expected\": [[[\"s\", \"x\", \"hello\"], [\"s\", \"x\", \"bonjour\"]], [\"s\"], []], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"b\", \"x\", \"hidden\"], [\"a\", \"x\", \"now\"]], [\"a\", \"b\"], []], \"expected\": [[[\"b\", \"x\", \"hidden\"], [\"a\", \"x\", \"now\"]], [\"a\", \"b\"], []], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"y\", \"one\"]], [\"a\"], []], \"expected\": [[[\"a\", \"y\", \"one\"]], [\"a\"], []], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[[\"s\", \"x\", \"hello\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"hello\"]], [\"s\", \"b\"], []], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [\"a\"], []], \"expected\": [[], [\"a\"], []], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[], [], []], \"expected\": [[], [], []], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}