{"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 seen[ident].clear()\nreturn and still violates a regression oracle.","family":"s3-assistive-announcements-listener-delivery-receipt-store","id":"FA-20986","implementations":{"attempt":{"sha256":"785a55df6b2f76f83122c8220d786629a8f00847a25be93133983e86dad81a75","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].clear()\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":"7f18f6bd7e71b1210ccbbd7a3108ae785d5de20b6c97bd0f823bfded8cf90d7b","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[2])\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-receipt-store","generated_at":"2026-09-29T14:40:24.228362+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: seen[ident].add(e[1])\nreturn","root_cause":"Fault site: seen[ident].add(e[1])\nreturn is implemented as seen[ident].add(e[2])\nreturn","sha256":"ec116b6cc751b3eb06db742dc9a6e577e44825a4c8a61dbfaafdde31eacd877b","title":"Delivered event does not enter the receipt ledger · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.816,"exit_code":1,"observations":[{"actual":[[["s","x","text"],["b","x","text"],["s","x","text"],["b","x","text"]],["s","b"],[]],"check":"trace-1","expected":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"passed":false},{"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"],["b","x","now"]],["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\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"passed\": false}, {\"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\"], [\"b\", \"x\", \"now\"]], [\"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"},"broken":{"elapsed_ms":42.418,"exit_code":1,"observations":[{"actual":[[["s","x","text"],["b","x","text"],["s","x","text"],["b","x","text"]],["s","b"],[]],"check":"trace-1","expected":[[["s","x","text"],["b","x","text"]],["s","b"],[]],"passed":false},{"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"],["b","x","now"]],["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\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"expected\": [[[\"s\", \"x\", \"text\"], [\"b\", \"x\", \"text\"]], [\"s\", \"b\"], []], \"passed\": false}, {\"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\"], [\"b\", \"x\", \"now\"]], [\"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":38.989,"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"}