{"abstract":"The announcement trace violates the stated quiet-session contract.","category":"Assistive announcements","checks":8,"contract":"Quiet nesting is a counter. Enter increments; leave decrements without going negative. Ordinary messages during quiet replace a per-topic summary [latest,count], emergency speech always emits immediately. Final leave emits summaries in topic first-seen order as [topic,latest,count]. Remove-topic discards only that summary. Reset quiet silently discards backlog. Ordinary speech outside quiet emits directly with count1. Report output, nesting and pending summaries.","evaluation_group":"s3-announcement-quiet-session","failed_approach":"The attempted repair substitutes else: out.append([e[1],e[1],1]) and still violates a regression oracle.","family":"s3-assistive-announcements-quiet-session-direct-count","id":"FA-21186","implementations":{"attempt":{"sha256":"93f065d148e6b7e4b6c2ee4bca1b0c70350c355e205f70de462c1d220a869a53","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    depth=0; pending={}; out=[]\n    for e in events:\n        if e[0]=='enter': depth+=1\n        elif e[0]=='leave':\n            was=depth; depth=max(0,depth-1)\n            if was>0 and depth==0:\n                out.extend([[k,v[0],v[1]] for k,v in pending.items()])\n                pending.clear()\n        elif e[0]=='reset': depth=0; pending.clear()\n        elif e[0]=='remove': pending.pop(e[1],None)\n        elif e[0]=='message':\n            if e[3]=='emergency': out.append([e[1],e[2],1])\n            elif depth:\n                old=pending.get(e[1],['',0])\n                pending[e[1]]=[e[2],old[1]+1]\n            else: out.append([e[1],e[1],1])\n    return [out,depth,[[k]+v for k,v in pending.items()]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['enter'],['enter'],['message','a','first'*N,'normal'],['leave']]\", \"[['enter'],['message','z','old','normal'],['message','a','a'*N,'normal'],['message','z','new','normal'],['leave'],['enter'],['leave']]\", \"[['enter'],['message','a','urgent'*N,'emergency']]\", \"[['enter'],['message','a','urgent'*N,'emergency'],['message','b','deferred','normal'],['leave']]\", \"[['enter'],['message','a','a'*N,'normal'],['message','b','b','normal'],['remove','a']]\", \"[['enter'],['message','a','x'*N,'normal'],['reset']]\", \"[['message','a','direct'*N,'normal'],['leave'],['leave']]\", \"[['enter'],['message','a','x'*N,'normal'],['leave'],['leave']]\"]\nexpected = {1: [[[], 1, [['a', 'first', 1]]], [[['z', 'new', 2], ['a', 'a', 1]], 0, []], [[['a', 'urgent', 1]], 1, []], [[['a', 'urgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'direct', 1]], 0, []], [[['a', 'x', 1]], 0, []]], 2: [[[], 1, [['a', 'firstfirst', 1]]], [[['z', 'new', 2], ['a', 'aa', 1]], 0, []], [[['a', 'urgenturgent', 1]], 1, []], [[['a', 'urgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirect', 1]], 0, []], [[['a', 'xx', 1]], 0, []]], 3: [[[], 1, [['a', 'firstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaa', 1]], 0, []], [[['a', 'urgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirect', 1]], 0, []], [[['a', 'xxx', 1]], 0, []]], 4: [[[], 1, [['a', 'firstfirstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaaa', 1]], 0, []], [[['a', 'urgenturgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirectdirect', 1]], 0, []], [[['a', 'xxxx', 1]], 0, []]], 5: [[[], 1, [['a', 'firstfirstfirstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaaaa', 1]], 0, []], [[['a', 'urgenturgenturgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirectdirectdirect', 1]], 0, []], [[['a', 'xxxxx', 1]], 0, []]]}[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":"12caf05b140f6b5726e28d29836ce13172563b30adb7320058e5330b8a772159","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    depth=0; pending={}; out=[]\n    for e in events:\n        if e[0]=='enter': depth+=1\n        elif e[0]=='leave':\n            was=depth; depth=max(0,depth-1)\n            if was>0 and depth==0:\n                out.extend([[k,v[0],v[1]] for k,v in pending.items()])\n                pending.clear()\n        elif e[0]=='reset': depth=0; pending.clear()\n        elif e[0]=='remove': pending.pop(e[1],None)\n        elif e[0]=='message':\n            if e[3]=='emergency': out.append([e[1],e[2],1])\n            elif depth:\n                old=pending.get(e[1],['',0])\n                pending[e[1]]=[e[2],old[1]+1]\n            else: out.append([e[1],e[2],0])\n    return [out,depth,[[k]+v for k,v in pending.items()]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['enter'],['enter'],['message','a','first'*N,'normal'],['leave']]\", \"[['enter'],['message','z','old','normal'],['message','a','a'*N,'normal'],['message','z','new','normal'],['leave'],['enter'],['leave']]\", \"[['enter'],['message','a','urgent'*N,'emergency']]\", \"[['enter'],['message','a','urgent'*N,'emergency'],['message','b','deferred','normal'],['leave']]\", \"[['enter'],['message','a','a'*N,'normal'],['message','b','b','normal'],['remove','a']]\", \"[['enter'],['message','a','x'*N,'normal'],['reset']]\", \"[['message','a','direct'*N,'normal'],['leave'],['leave']]\", \"[['enter'],['message','a','x'*N,'normal'],['leave'],['leave']]\"]\nexpected = {1: [[[], 1, [['a', 'first', 1]]], [[['z', 'new', 2], ['a', 'a', 1]], 0, []], [[['a', 'urgent', 1]], 1, []], [[['a', 'urgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'direct', 1]], 0, []], [[['a', 'x', 1]], 0, []]], 2: [[[], 1, [['a', 'firstfirst', 1]]], [[['z', 'new', 2], ['a', 'aa', 1]], 0, []], [[['a', 'urgenturgent', 1]], 1, []], [[['a', 'urgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirect', 1]], 0, []], [[['a', 'xx', 1]], 0, []]], 3: [[[], 1, [['a', 'firstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaa', 1]], 0, []], [[['a', 'urgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirect', 1]], 0, []], [[['a', 'xxx', 1]], 0, []]], 4: [[[], 1, [['a', 'firstfirstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaaa', 1]], 0, []], [[['a', 'urgenturgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirectdirect', 1]], 0, []], [[['a', 'xxxx', 1]], 0, []]], 5: [[[], 1, [['a', 'firstfirstfirstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaaaa', 1]], 0, []], [[['a', 'urgenturgenturgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirectdirectdirect', 1]], 0, []], [[['a', 'xxxxx', 1]], 0, []]]}[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":"1031369a1981ec50576770d1159fc7128c41c2f8c089569f3676f2f11a9da2b7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    depth=0; pending={}; out=[]\n    for e in events:\n        if e[0]=='enter': depth+=1\n        elif e[0]=='leave':\n            was=depth; depth=max(0,depth-1)\n            if was>0 and depth==0:\n                out.extend([[k,v[0],v[1]] for k,v in pending.items()])\n                pending.clear()\n        elif e[0]=='reset': depth=0; pending.clear()\n        elif e[0]=='remove': pending.pop(e[1],None)\n        elif e[0]=='message':\n            if e[3]=='emergency': out.append([e[1],e[2],1])\n            elif depth:\n                old=pending.get(e[1],['',0])\n                pending[e[1]]=[e[2],old[1]+1]\n            else: out.append([e[1],e[2],1])\n    return [out,depth,[[k]+v for k,v in pending.items()]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['enter'],['enter'],['message','a','first'*N,'normal'],['leave']]\", \"[['enter'],['message','z','old','normal'],['message','a','a'*N,'normal'],['message','z','new','normal'],['leave'],['enter'],['leave']]\", \"[['enter'],['message','a','urgent'*N,'emergency']]\", \"[['enter'],['message','a','urgent'*N,'emergency'],['message','b','deferred','normal'],['leave']]\", \"[['enter'],['message','a','a'*N,'normal'],['message','b','b','normal'],['remove','a']]\", \"[['enter'],['message','a','x'*N,'normal'],['reset']]\", \"[['message','a','direct'*N,'normal'],['leave'],['leave']]\", \"[['enter'],['message','a','x'*N,'normal'],['leave'],['leave']]\"]\nexpected = {1: [[[], 1, [['a', 'first', 1]]], [[['z', 'new', 2], ['a', 'a', 1]], 0, []], [[['a', 'urgent', 1]], 1, []], [[['a', 'urgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'direct', 1]], 0, []], [[['a', 'x', 1]], 0, []]], 2: [[[], 1, [['a', 'firstfirst', 1]]], [[['z', 'new', 2], ['a', 'aa', 1]], 0, []], [[['a', 'urgenturgent', 1]], 1, []], [[['a', 'urgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirect', 1]], 0, []], [[['a', 'xx', 1]], 0, []]], 3: [[[], 1, [['a', 'firstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaa', 1]], 0, []], [[['a', 'urgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirect', 1]], 0, []], [[['a', 'xxx', 1]], 0, []]], 4: [[[], 1, [['a', 'firstfirstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaaa', 1]], 0, []], [[['a', 'urgenturgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirectdirect', 1]], 0, []], [[['a', 'xxxx', 1]], 0, []]], 5: [[[], 1, [['a', 'firstfirstfirstfirstfirst', 1]]], [[['z', 'new', 2], ['a', 'aaaaa', 1]], 0, []], [[['a', 'urgenturgenturgenturgenturgent', 1]], 1, []], [[['a', 'urgenturgenturgenturgenturgent', 1], ['b', 'deferred', 1]], 0, []], [[], 1, [['b', 'b', 1]]], [[], 0, []], [[['a', 'directdirectdirectdirectdirect', 1]], 0, []], [[['a', 'xxxxx', 1]], 0, []]]}[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-quiet-session-direct-count","generated_at":"2026-09-29T14:40:26.182140+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: else: out.append([e[1],e[2],1])","root_cause":"Fault site: else: out.append([e[1],e[2],1]) is implemented as else: out.append([e[1],e[2],0])","sha256":"e7a27a9a8e6eb80f64d9b59f44dbadc52f54d7b36e80bedce556fdba65b81f9b","title":"Ordinary direct message carries a zero coalescing count · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.624,"exit_code":1,"observations":[{"actual":[[],1,[["a","first",1]]],"check":"trace-1","expected":[[],1,[["a","first",1]]],"passed":true},{"actual":[[["z","new",2],["a","a",1]],0,[]],"check":"trace-2","expected":[[["z","new",2],["a","a",1]],0,[]],"passed":true},{"actual":[[["a","urgent",1]],1,[]],"check":"trace-3","expected":[[["a","urgent",1]],1,[]],"passed":true},{"actual":[[["a","urgent",1],["b","deferred",1]],0,[]],"check":"trace-4","expected":[[["a","urgent",1],["b","deferred",1]],0,[]],"passed":true},{"actual":[[],1,[["b","b",1]]],"check":"trace-5","expected":[[],1,[["b","b",1]]],"passed":true},{"actual":[[],0,[]],"check":"trace-6","expected":[[],0,[]],"passed":true},{"actual":[[["a","a",1]],0,[]],"check":"trace-7","expected":[[["a","direct",1]],0,[]],"passed":false},{"actual":[[["a","x",1]],0,[]],"check":"trace-8","expected":[[["a","x",1]],0,[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[], 1, [[\"a\", \"first\", 1]]], \"expected\": [[], 1, [[\"a\", \"first\", 1]]], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"z\", \"new\", 2], [\"a\", \"a\", 1]], 0, []], \"expected\": [[[\"z\", \"new\", 2], [\"a\", \"a\", 1]], 0, []], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"urgent\", 1]], 1, []], \"expected\": [[[\"a\", \"urgent\", 1]], 1, []], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"urgent\", 1], [\"b\", \"deferred\", 1]], 0, []], \"expected\": [[[\"a\", \"urgent\", 1], [\"b\", \"deferred\", 1]], 0, []], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[], 1, [[\"b\", \"b\", 1]]], \"expected\": [[], 1, [[\"b\", \"b\", 1]]], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], 0, []], \"expected\": [[], 0, []], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"a\", 1]], 0, []], \"expected\": [[[\"a\", \"direct\", 1]], 0, []], \"passed\": false}, {\"check\": \"trace-8\", \"actual\": [[[\"a\", \"x\", 1]], 0, []], \"expected\": [[[\"a\", \"x\", 1]], 0, []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.55,"exit_code":1,"observations":[{"actual":[[],1,[["a","first",1]]],"check":"trace-1","expected":[[],1,[["a","first",1]]],"passed":true},{"actual":[[["z","new",2],["a","a",1]],0,[]],"check":"trace-2","expected":[[["z","new",2],["a","a",1]],0,[]],"passed":true},{"actual":[[["a","urgent",1]],1,[]],"check":"trace-3","expected":[[["a","urgent",1]],1,[]],"passed":true},{"actual":[[["a","urgent",1],["b","deferred",1]],0,[]],"check":"trace-4","expected":[[["a","urgent",1],["b","deferred",1]],0,[]],"passed":true},{"actual":[[],1,[["b","b",1]]],"check":"trace-5","expected":[[],1,[["b","b",1]]],"passed":true},{"actual":[[],0,[]],"check":"trace-6","expected":[[],0,[]],"passed":true},{"actual":[[["a","direct",0]],0,[]],"check":"trace-7","expected":[[["a","direct",1]],0,[]],"passed":false},{"actual":[[["a","x",1]],0,[]],"check":"trace-8","expected":[[["a","x",1]],0,[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[], 1, [[\"a\", \"first\", 1]]], \"expected\": [[], 1, [[\"a\", \"first\", 1]]], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"z\", \"new\", 2], [\"a\", \"a\", 1]], 0, []], \"expected\": [[[\"z\", \"new\", 2], [\"a\", \"a\", 1]], 0, []], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"urgent\", 1]], 1, []], \"expected\": [[[\"a\", \"urgent\", 1]], 1, []], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"urgent\", 1], [\"b\", \"deferred\", 1]], 0, []], \"expected\": [[[\"a\", \"urgent\", 1], [\"b\", \"deferred\", 1]], 0, []], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[], 1, [[\"b\", \"b\", 1]]], \"expected\": [[], 1, [[\"b\", \"b\", 1]]], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], 0, []], \"expected\": [[], 0, []], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"direct\", 0]], 0, []], \"expected\": [[[\"a\", \"direct\", 1]], 0, []], \"passed\": false}, {\"check\": \"trace-8\", \"actual\": [[[\"a\", \"x\", 1]], 0, []], \"expected\": [[[\"a\", \"x\", 1]], 0, []], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.066,"exit_code":0,"observations":[{"actual":[[],1,[["a","first",1]]],"check":"trace-1","expected":[[],1,[["a","first",1]]],"passed":true},{"actual":[[["z","new",2],["a","a",1]],0,[]],"check":"trace-2","expected":[[["z","new",2],["a","a",1]],0,[]],"passed":true},{"actual":[[["a","urgent",1]],1,[]],"check":"trace-3","expected":[[["a","urgent",1]],1,[]],"passed":true},{"actual":[[["a","urgent",1],["b","deferred",1]],0,[]],"check":"trace-4","expected":[[["a","urgent",1],["b","deferred",1]],0,[]],"passed":true},{"actual":[[],1,[["b","b",1]]],"check":"trace-5","expected":[[],1,[["b","b",1]]],"passed":true},{"actual":[[],0,[]],"check":"trace-6","expected":[[],0,[]],"passed":true},{"actual":[[["a","direct",1]],0,[]],"check":"trace-7","expected":[[["a","direct",1]],0,[]],"passed":true},{"actual":[[["a","x",1]],0,[]],"check":"trace-8","expected":[[["a","x",1]],0,[]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[], 1, [[\"a\", \"first\", 1]]], \"expected\": [[], 1, [[\"a\", \"first\", 1]]], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"z\", \"new\", 2], [\"a\", \"a\", 1]], 0, []], \"expected\": [[[\"z\", \"new\", 2], [\"a\", \"a\", 1]], 0, []], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"urgent\", 1]], 1, []], \"expected\": [[[\"a\", \"urgent\", 1]], 1, []], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"urgent\", 1], [\"b\", \"deferred\", 1]], 0, []], \"expected\": [[[\"a\", \"urgent\", 1], [\"b\", \"deferred\", 1]], 0, []], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[], 1, [[\"b\", \"b\", 1]]], \"expected\": [[], 1, [[\"b\", \"b\", 1]]], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], 0, []], \"expected\": [[], 0, []], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"direct\", 1]], 0, []], \"expected\": [[[\"a\", \"direct\", 1]], 0, []], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[[\"a\", \"x\", 1]], 0, []], \"expected\": [[[\"a\", \"x\", 1]], 0, []], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}