{"abstract":"The announcement trace violates the stated dual-channel-barrier contract.","category":"Assistive announcements","checks":9,"contract":"An announcement delivery couples speech and braille with per-message receipts. Submit creates [text,speechDone=False,brailleDone=False]. Speech and braille ACK set only their channel. Commit emits completion once only when both acknowledged and removes message. Disable-braille marks pending braille complete and affects future submissions; enable only affects future submissions. Replace text resets both receipts according to current enabled channels. Cancel drops one pending item. Report completion text, pending receipts and braille enabled.","evaluation_group":"s3-announcement-dual-channel-barrier","failed_approach":"The attempted repair substitutes elif e[0]=='cancel': pass and still violates a regression oracle.","family":"s3-assistive-announcements-dual-channel-barrier-cancel","id":"FA-21811","implementations":{"attempt":{"sha256":"714f98c3aef502f303a0fef6c9f9af5c0832dc81e14ba529a8cb060a3fb20cef","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    pending={}; braille=True; out=[]\n    for e in events:\n        if e[0]=='submit': pending[e[1]]=[e[2],False,not braille]\n        elif e[0]=='disable-braille':\n            braille=False\n            for row in pending.values(): row[2]=True\n        elif e[0]=='enable-braille': braille=True\n        elif e[0]=='cancel': pass\n        elif len(e)>1 and e[1] in pending:\n            row=pending[e[1]]\n            if e[0]=='speech': row[1]=True\n            elif e[0]=='braille': row[2]=True\n            elif e[0]=='replace': row[:]=[e[2],False,not braille]\n            elif e[0]=='commit':\n                if not(row[1] and row[2]): continue\n                out.append(row[0])\n                del pending[e[1]]\n    return [out,[[k]+v for k,v in pending.items()],braille]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['submit','a','hello'*N],['speech','a'],['commit','a']]\", \"[['submit','a','hello'*N],['braille','a'],['commit','a']]\", \"[['submit','a','hello'*N],['speech','a'],['braille','a'],['submit','b','keep'],['commit','a'],['commit','a']]\", \"[['submit','a','old'],['speech','a'],['braille','a'],['replace','a','new'*N],['commit','a']]\", \"[['submit','a','pending'*N],['disable-braille'],['commit','a'],['submit','b','future'],['speech','b'],['commit','b'],['enable-braille']]\", \"[['disable-braille'],['submit','a','new'*N],['commit','a']]\", \"[['disable-braille'],['submit','a','old'],['replace','a','new'*N],['speech','a'],['commit','a']]\", \"[['submit','a','a'*N],['submit','b','b'],['cancel','a']]\", '[]']\nexpected = {1: [[[], [['a', 'hello', True, False]], True], [[], [['a', 'hello', False, True]], True], [['hello'], [['b', 'keep', False, False]], True], [[], [['a', 'new', False, False]], True], [['future'], [['a', 'pending', False, True]], True], [[], [['a', 'new', False, True]], False], [['new'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 2: [[[], [['a', 'hellohello', True, False]], True], [[], [['a', 'hellohello', False, True]], True], [['hellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnew', False, False]], True], [['future'], [['a', 'pendingpending', False, True]], True], [[], [['a', 'newnew', False, True]], False], [['newnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 3: [[[], [['a', 'hellohellohello', True, False]], True], [[], [['a', 'hellohellohello', False, True]], True], [['hellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpending', False, True]], True], [[], [['a', 'newnewnew', False, True]], False], [['newnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 4: [[[], [['a', 'hellohellohellohello', True, False]], True], [[], [['a', 'hellohellohellohello', False, True]], True], [['hellohellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpendingpending', False, True]], True], [[], [['a', 'newnewnewnew', False, True]], False], [['newnewnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 5: [[[], [['a', 'hellohellohellohellohello', True, False]], True], [[], [['a', 'hellohellohellohellohello', False, True]], True], [['hellohellohellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnewnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpendingpendingpending', False, True]], True], [[], [['a', 'newnewnewnewnew', False, True]], False], [['newnewnewnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]]}[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":"7d0058d85f9eb521f7880e8d864609ed5c10b480ca1585b84c3c875d7d6d6177","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    pending={}; braille=True; out=[]\n    for e in events:\n        if e[0]=='submit': pending[e[1]]=[e[2],False,not braille]\n        elif e[0]=='disable-braille':\n            braille=False\n            for row in pending.values(): row[2]=True\n        elif e[0]=='enable-braille': braille=True\n        elif e[0]=='cancel': pending.clear()\n        elif len(e)>1 and e[1] in pending:\n            row=pending[e[1]]\n            if e[0]=='speech': row[1]=True\n            elif e[0]=='braille': row[2]=True\n            elif e[0]=='replace': row[:]=[e[2],False,not braille]\n            elif e[0]=='commit':\n                if not(row[1] and row[2]): continue\n                out.append(row[0])\n                del pending[e[1]]\n    return [out,[[k]+v for k,v in pending.items()],braille]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['submit','a','hello'*N],['speech','a'],['commit','a']]\", \"[['submit','a','hello'*N],['braille','a'],['commit','a']]\", \"[['submit','a','hello'*N],['speech','a'],['braille','a'],['submit','b','keep'],['commit','a'],['commit','a']]\", \"[['submit','a','old'],['speech','a'],['braille','a'],['replace','a','new'*N],['commit','a']]\", \"[['submit','a','pending'*N],['disable-braille'],['commit','a'],['submit','b','future'],['speech','b'],['commit','b'],['enable-braille']]\", \"[['disable-braille'],['submit','a','new'*N],['commit','a']]\", \"[['disable-braille'],['submit','a','old'],['replace','a','new'*N],['speech','a'],['commit','a']]\", \"[['submit','a','a'*N],['submit','b','b'],['cancel','a']]\", '[]']\nexpected = {1: [[[], [['a', 'hello', True, False]], True], [[], [['a', 'hello', False, True]], True], [['hello'], [['b', 'keep', False, False]], True], [[], [['a', 'new', False, False]], True], [['future'], [['a', 'pending', False, True]], True], [[], [['a', 'new', False, True]], False], [['new'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 2: [[[], [['a', 'hellohello', True, False]], True], [[], [['a', 'hellohello', False, True]], True], [['hellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnew', False, False]], True], [['future'], [['a', 'pendingpending', False, True]], True], [[], [['a', 'newnew', False, True]], False], [['newnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 3: [[[], [['a', 'hellohellohello', True, False]], True], [[], [['a', 'hellohellohello', False, True]], True], [['hellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpending', False, True]], True], [[], [['a', 'newnewnew', False, True]], False], [['newnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 4: [[[], [['a', 'hellohellohellohello', True, False]], True], [[], [['a', 'hellohellohellohello', False, True]], True], [['hellohellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpendingpending', False, True]], True], [[], [['a', 'newnewnewnew', False, True]], False], [['newnewnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 5: [[[], [['a', 'hellohellohellohellohello', True, False]], True], [[], [['a', 'hellohellohellohellohello', False, True]], True], [['hellohellohellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnewnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpendingpendingpending', False, True]], True], [[], [['a', 'newnewnewnewnew', False, True]], False], [['newnewnewnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]]}[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":"fcc8db3bcf8f18aa25e464439e39158c579f6c98ec529b14bcf6c1f9a04e9e5e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    pending={}; braille=True; out=[]\n    for e in events:\n        if e[0]=='submit': pending[e[1]]=[e[2],False,not braille]\n        elif e[0]=='disable-braille':\n            braille=False\n            for row in pending.values(): row[2]=True\n        elif e[0]=='enable-braille': braille=True\n        elif e[0]=='cancel': pending.pop(e[1],None)\n        elif len(e)>1 and e[1] in pending:\n            row=pending[e[1]]\n            if e[0]=='speech': row[1]=True\n            elif e[0]=='braille': row[2]=True\n            elif e[0]=='replace': row[:]=[e[2],False,not braille]\n            elif e[0]=='commit':\n                if not(row[1] and row[2]): continue\n                out.append(row[0])\n                del pending[e[1]]\n    return [out,[[k]+v for k,v in pending.items()],braille]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['submit','a','hello'*N],['speech','a'],['commit','a']]\", \"[['submit','a','hello'*N],['braille','a'],['commit','a']]\", \"[['submit','a','hello'*N],['speech','a'],['braille','a'],['submit','b','keep'],['commit','a'],['commit','a']]\", \"[['submit','a','old'],['speech','a'],['braille','a'],['replace','a','new'*N],['commit','a']]\", \"[['submit','a','pending'*N],['disable-braille'],['commit','a'],['submit','b','future'],['speech','b'],['commit','b'],['enable-braille']]\", \"[['disable-braille'],['submit','a','new'*N],['commit','a']]\", \"[['disable-braille'],['submit','a','old'],['replace','a','new'*N],['speech','a'],['commit','a']]\", \"[['submit','a','a'*N],['submit','b','b'],['cancel','a']]\", '[]']\nexpected = {1: [[[], [['a', 'hello', True, False]], True], [[], [['a', 'hello', False, True]], True], [['hello'], [['b', 'keep', False, False]], True], [[], [['a', 'new', False, False]], True], [['future'], [['a', 'pending', False, True]], True], [[], [['a', 'new', False, True]], False], [['new'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 2: [[[], [['a', 'hellohello', True, False]], True], [[], [['a', 'hellohello', False, True]], True], [['hellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnew', False, False]], True], [['future'], [['a', 'pendingpending', False, True]], True], [[], [['a', 'newnew', False, True]], False], [['newnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 3: [[[], [['a', 'hellohellohello', True, False]], True], [[], [['a', 'hellohellohello', False, True]], True], [['hellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpending', False, True]], True], [[], [['a', 'newnewnew', False, True]], False], [['newnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 4: [[[], [['a', 'hellohellohellohello', True, False]], True], [[], [['a', 'hellohellohellohello', False, True]], True], [['hellohellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpendingpending', False, True]], True], [[], [['a', 'newnewnewnew', False, True]], False], [['newnewnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]], 5: [[[], [['a', 'hellohellohellohellohello', True, False]], True], [[], [['a', 'hellohellohellohellohello', False, True]], True], [['hellohellohellohellohello'], [['b', 'keep', False, False]], True], [[], [['a', 'newnewnewnewnew', False, False]], True], [['future'], [['a', 'pendingpendingpendingpendingpending', False, True]], True], [[], [['a', 'newnewnewnewnew', False, True]], False], [['newnewnewnewnew'], [], False], [[], [['b', 'b', False, False]], True], [[], [], True]]}[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-dual-channel-barrier-cancel","generated_at":"2026-09-29T14:40:32.438505+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: elif e[0]=='cancel': pending.pop(e[1],None)","root_cause":"Fault site: elif e[0]=='cancel': pending.pop(e[1],None) is implemented as elif e[0]=='cancel': pending.clear()","sha256":"f818c871b5baa4dfa6467d29baa19f48f78d2b09f3243dc6ac12f8a3f7e565f0","title":"Canceling one coupled announcement cancels every delivery · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.352,"exit_code":1,"observations":[{"actual":[[],[["a","hello",true,false]],true],"check":"trace-1","expected":[[],[["a","hello",true,false]],true],"passed":true},{"actual":[[],[["a","hello",false,true]],true],"check":"trace-2","expected":[[],[["a","hello",false,true]],true],"passed":true},{"actual":[["hello"],[["b","keep",false,false]],true],"check":"trace-3","expected":[["hello"],[["b","keep",false,false]],true],"passed":true},{"actual":[[],[["a","new",false,false]],true],"check":"trace-4","expected":[[],[["a","new",false,false]],true],"passed":true},{"actual":[["future"],[["a","pending",false,true]],true],"check":"trace-5","expected":[["future"],[["a","pending",false,true]],true],"passed":true},{"actual":[[],[["a","new",false,true]],false],"check":"trace-6","expected":[[],[["a","new",false,true]],false],"passed":true},{"actual":[["new"],[],false],"check":"trace-7","expected":[["new"],[],false],"passed":true},{"actual":[[],[["a","a",false,false],["b","b",false,false]],true],"check":"trace-8","expected":[[],[["b","b",false,false]],true],"passed":false},{"actual":[[],[],true],"check":"trace-9","expected":[[],[],true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[], [[\"a\", \"hello\", true, false]], true], \"expected\": [[], [[\"a\", \"hello\", true, false]], true], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[], [[\"a\", \"hello\", false, true]], true], \"expected\": [[], [[\"a\", \"hello\", false, true]], true], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[\"hello\"], [[\"b\", \"keep\", false, false]], true], \"expected\": [[\"hello\"], [[\"b\", \"keep\", false, false]], true], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[], [[\"a\", \"new\", false, false]], true], \"expected\": [[], [[\"a\", \"new\", false, false]], true], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[\"future\"], [[\"a\", \"pending\", false, true]], true], \"expected\": [[\"future\"], [[\"a\", \"pending\", false, true]], true], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [[\"a\", \"new\", false, true]], false], \"expected\": [[], [[\"a\", \"new\", false, true]], false], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[\"new\"], [], false], \"expected\": [[\"new\"], [], false], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[], [[\"a\", \"a\", false, false], [\"b\", \"b\", false, false]], true], \"expected\": [[], [[\"b\", \"b\", false, false]], true], \"passed\": false}, {\"check\": \"trace-9\", \"actual\": [[], [], true], \"expected\": [[], [], true], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.085,"exit_code":1,"observations":[{"actual":[[],[["a","hello",true,false]],true],"check":"trace-1","expected":[[],[["a","hello",true,false]],true],"passed":true},{"actual":[[],[["a","hello",false,true]],true],"check":"trace-2","expected":[[],[["a","hello",false,true]],true],"passed":true},{"actual":[["hello"],[["b","keep",false,false]],true],"check":"trace-3","expected":[["hello"],[["b","keep",false,false]],true],"passed":true},{"actual":[[],[["a","new",false,false]],true],"check":"trace-4","expected":[[],[["a","new",false,false]],true],"passed":true},{"actual":[["future"],[["a","pending",false,true]],true],"check":"trace-5","expected":[["future"],[["a","pending",false,true]],true],"passed":true},{"actual":[[],[["a","new",false,true]],false],"check":"trace-6","expected":[[],[["a","new",false,true]],false],"passed":true},{"actual":[["new"],[],false],"check":"trace-7","expected":[["new"],[],false],"passed":true},{"actual":[[],[],true],"check":"trace-8","expected":[[],[["b","b",false,false]],true],"passed":false},{"actual":[[],[],true],"check":"trace-9","expected":[[],[],true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[], [[\"a\", \"hello\", true, false]], true], \"expected\": [[], [[\"a\", \"hello\", true, false]], true], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[], [[\"a\", \"hello\", false, true]], true], \"expected\": [[], [[\"a\", \"hello\", false, true]], true], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[\"hello\"], [[\"b\", \"keep\", false, false]], true], \"expected\": [[\"hello\"], [[\"b\", \"keep\", false, false]], true], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[], [[\"a\", \"new\", false, false]], true], \"expected\": [[], [[\"a\", \"new\", false, false]], true], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[\"future\"], [[\"a\", \"pending\", false, true]], true], \"expected\": [[\"future\"], [[\"a\", \"pending\", false, true]], true], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [[\"a\", \"new\", false, true]], false], \"expected\": [[], [[\"a\", \"new\", false, true]], false], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[\"new\"], [], false], \"expected\": [[\"new\"], [], false], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[], [], true], \"expected\": [[], [[\"b\", \"b\", false, false]], true], \"passed\": false}, {\"check\": \"trace-9\", \"actual\": [[], [], true], \"expected\": [[], [], true], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.155,"exit_code":0,"observations":[{"actual":[[],[["a","hello",true,false]],true],"check":"trace-1","expected":[[],[["a","hello",true,false]],true],"passed":true},{"actual":[[],[["a","hello",false,true]],true],"check":"trace-2","expected":[[],[["a","hello",false,true]],true],"passed":true},{"actual":[["hello"],[["b","keep",false,false]],true],"check":"trace-3","expected":[["hello"],[["b","keep",false,false]],true],"passed":true},{"actual":[[],[["a","new",false,false]],true],"check":"trace-4","expected":[[],[["a","new",false,false]],true],"passed":true},{"actual":[["future"],[["a","pending",false,true]],true],"check":"trace-5","expected":[["future"],[["a","pending",false,true]],true],"passed":true},{"actual":[[],[["a","new",false,true]],false],"check":"trace-6","expected":[[],[["a","new",false,true]],false],"passed":true},{"actual":[["new"],[],false],"check":"trace-7","expected":[["new"],[],false],"passed":true},{"actual":[[],[["b","b",false,false]],true],"check":"trace-8","expected":[[],[["b","b",false,false]],true],"passed":true},{"actual":[[],[],true],"check":"trace-9","expected":[[],[],true],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[], [[\"a\", \"hello\", true, false]], true], \"expected\": [[], [[\"a\", \"hello\", true, false]], true], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[], [[\"a\", \"hello\", false, true]], true], \"expected\": [[], [[\"a\", \"hello\", false, true]], true], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[\"hello\"], [[\"b\", \"keep\", false, false]], true], \"expected\": [[\"hello\"], [[\"b\", \"keep\", false, false]], true], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[], [[\"a\", \"new\", false, false]], true], \"expected\": [[], [[\"a\", \"new\", false, false]], true], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[\"future\"], [[\"a\", \"pending\", false, true]], true], \"expected\": [[\"future\"], [[\"a\", \"pending\", false, true]], true], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [[\"a\", \"new\", false, true]], false], \"expected\": [[], [[\"a\", \"new\", false, true]], false], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[\"new\"], [], false], \"expected\": [[\"new\"], [], false], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[], [[\"b\", \"b\", false, false]], true], \"expected\": [[], [[\"b\", \"b\", false, false]], true], \"passed\": true}, {\"check\": \"trace-9\", \"actual\": [[], [], true], \"expected\": [[], [], true], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}