{"abstract":"The announcement trace violates the stated speech-cooldown contract.","category":"Assistive announcements","checks":7,"contract":"Each cue kind has its own cooldown duration. Emit [kind,text] speaks only when now reaches that kinds next allowed time; successful emission sets next to now+duration, suppression does not slide it. Tick is monotone. Configure affects future emissions only. Force speaks and resets its deadline. Reset-kind removes one cooldown history. Suspend blocks normal emission but preserves timestamps; resume enables it. Return output, next deadlines and now.","evaluation_group":"s3-announcement-speech-cooldown","failed_approach":"The attempted repair substitutes deadlines[e[1]]=now+durations.get(e[1],0)+1 and still violates a regression oracle.","family":"s3-assistive-announcements-speech-cooldown-deadline-anchor","id":"FA-21381","implementations":{"attempt":{"sha256":"8e4a02487e82bb3aaae97652bec48ea94587e2fc6af3c6465f70549945cf72b6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    now=0; durations={}; deadlines={}; suspended=False; out=[]\n    for e in events:\n        if e[0]=='configure': durations[e[1]]=max(0,e[2])\n        elif e[0]=='tick': now=max(now,e[1])\n        elif e[0]=='reset': deadlines.pop(e[1],None)\n        elif e[0]=='suspend': suspended=True\n        elif e[0]=='resume': suspended=False\n        elif e[0] in ('emit','force'):\n            if e[0]=='emit' and suspended: continue\n            if e[0]=='emit' and now<deadlines.get(e[1],0): continue\n            out.append([e[1],e[2]])\n            deadlines[e[1]]=now+durations.get(e[1],0)+1\n    return [out,sorted(deadlines.items()),now,suspended]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['configure','a',N],['emit','a','first'],['emit','a','suppressed'],['tick',N],['emit','a','next']]\", \"[['configure','a',N+4],['configure','b',1],['emit','a','alpha'],['emit','b','beta'],['reset','b'],['emit','a','blocked']]\", \"[['configure','a',N],['emit','a','first'],['suspend']]\", \"[['configure','a',N],['emit','a','first'],['suspend'],['emit','c','muted'],['force','b','urgent'],['tick',N+2],['resume'],['emit','a','ready']]\", \"[['configure','a',N+5],['configure','a',0],['emit','a','first'],['emit','a','second']]\", \"[['tick',N+3],['tick',1],['configure','a',2],['emit','a','later']]\", '[]']\nexpected = {1: [[[['a', 'first'], ['a', 'next']], [('a', 2)], 1, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 5)], 0, False], [[['a', 'first']], [('a', 1)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 4), ('b', 0)], 3, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 6)], 4, False], [[], [], 0, False]], 2: [[[['a', 'first'], ['a', 'next']], [('a', 4)], 2, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 6)], 0, False], [[['a', 'first']], [('a', 2)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 6), ('b', 0)], 4, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 7)], 5, False], [[], [], 0, False]], 3: [[[['a', 'first'], ['a', 'next']], [('a', 6)], 3, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 7)], 0, False], [[['a', 'first']], [('a', 3)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 8), ('b', 0)], 5, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 8)], 6, False], [[], [], 0, False]], 4: [[[['a', 'first'], ['a', 'next']], [('a', 8)], 4, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 8)], 0, False], [[['a', 'first']], [('a', 4)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 10), ('b', 0)], 6, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 9)], 7, False], [[], [], 0, False]], 5: [[[['a', 'first'], ['a', 'next']], [('a', 10)], 5, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 9)], 0, False], [[['a', 'first']], [('a', 5)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 12), ('b', 0)], 7, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 10)], 8, False], [[], [], 0, False]]}[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":"af17922383524bbab1d726807cb6b0145a5d5dde3fd3d03c5c407de404ec2331","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    now=0; durations={}; deadlines={}; suspended=False; out=[]\n    for e in events:\n        if e[0]=='configure': durations[e[1]]=max(0,e[2])\n        elif e[0]=='tick': now=max(now,e[1])\n        elif e[0]=='reset': deadlines.pop(e[1],None)\n        elif e[0]=='suspend': suspended=True\n        elif e[0]=='resume': suspended=False\n        elif e[0] in ('emit','force'):\n            if e[0]=='emit' and suspended: continue\n            if e[0]=='emit' and now<deadlines.get(e[1],0): continue\n            out.append([e[1],e[2]])\n            deadlines[e[1]]=durations.get(e[1],0)\n    return [out,sorted(deadlines.items()),now,suspended]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['configure','a',N],['emit','a','first'],['emit','a','suppressed'],['tick',N],['emit','a','next']]\", \"[['configure','a',N+4],['configure','b',1],['emit','a','alpha'],['emit','b','beta'],['reset','b'],['emit','a','blocked']]\", \"[['configure','a',N],['emit','a','first'],['suspend']]\", \"[['configure','a',N],['emit','a','first'],['suspend'],['emit','c','muted'],['force','b','urgent'],['tick',N+2],['resume'],['emit','a','ready']]\", \"[['configure','a',N+5],['configure','a',0],['emit','a','first'],['emit','a','second']]\", \"[['tick',N+3],['tick',1],['configure','a',2],['emit','a','later']]\", '[]']\nexpected = {1: [[[['a', 'first'], ['a', 'next']], [('a', 2)], 1, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 5)], 0, False], [[['a', 'first']], [('a', 1)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 4), ('b', 0)], 3, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 6)], 4, False], [[], [], 0, False]], 2: [[[['a', 'first'], ['a', 'next']], [('a', 4)], 2, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 6)], 0, False], [[['a', 'first']], [('a', 2)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 6), ('b', 0)], 4, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 7)], 5, False], [[], [], 0, False]], 3: [[[['a', 'first'], ['a', 'next']], [('a', 6)], 3, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 7)], 0, False], [[['a', 'first']], [('a', 3)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 8), ('b', 0)], 5, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 8)], 6, False], [[], [], 0, False]], 4: [[[['a', 'first'], ['a', 'next']], [('a', 8)], 4, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 8)], 0, False], [[['a', 'first']], [('a', 4)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 10), ('b', 0)], 6, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 9)], 7, False], [[], [], 0, False]], 5: [[[['a', 'first'], ['a', 'next']], [('a', 10)], 5, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 9)], 0, False], [[['a', 'first']], [('a', 5)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 12), ('b', 0)], 7, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 10)], 8, False], [[], [], 0, False]]}[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":"df84c2b6a01be458a2d9cf218c4039ce12808fdb34be2c285de5e8b9e4f05d06","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    now=0; durations={}; deadlines={}; suspended=False; out=[]\n    for e in events:\n        if e[0]=='configure': durations[e[1]]=max(0,e[2])\n        elif e[0]=='tick': now=max(now,e[1])\n        elif e[0]=='reset': deadlines.pop(e[1],None)\n        elif e[0]=='suspend': suspended=True\n        elif e[0]=='resume': suspended=False\n        elif e[0] in ('emit','force'):\n            if e[0]=='emit' and suspended: continue\n            if e[0]=='emit' and now<deadlines.get(e[1],0): continue\n            out.append([e[1],e[2]])\n            deadlines[e[1]]=now+durations.get(e[1],0)\n    return [out,sorted(deadlines.items()),now,suspended]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['configure','a',N],['emit','a','first'],['emit','a','suppressed'],['tick',N],['emit','a','next']]\", \"[['configure','a',N+4],['configure','b',1],['emit','a','alpha'],['emit','b','beta'],['reset','b'],['emit','a','blocked']]\", \"[['configure','a',N],['emit','a','first'],['suspend']]\", \"[['configure','a',N],['emit','a','first'],['suspend'],['emit','c','muted'],['force','b','urgent'],['tick',N+2],['resume'],['emit','a','ready']]\", \"[['configure','a',N+5],['configure','a',0],['emit','a','first'],['emit','a','second']]\", \"[['tick',N+3],['tick',1],['configure','a',2],['emit','a','later']]\", '[]']\nexpected = {1: [[[['a', 'first'], ['a', 'next']], [('a', 2)], 1, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 5)], 0, False], [[['a', 'first']], [('a', 1)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 4), ('b', 0)], 3, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 6)], 4, False], [[], [], 0, False]], 2: [[[['a', 'first'], ['a', 'next']], [('a', 4)], 2, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 6)], 0, False], [[['a', 'first']], [('a', 2)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 6), ('b', 0)], 4, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 7)], 5, False], [[], [], 0, False]], 3: [[[['a', 'first'], ['a', 'next']], [('a', 6)], 3, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 7)], 0, False], [[['a', 'first']], [('a', 3)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 8), ('b', 0)], 5, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 8)], 6, False], [[], [], 0, False]], 4: [[[['a', 'first'], ['a', 'next']], [('a', 8)], 4, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 8)], 0, False], [[['a', 'first']], [('a', 4)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 10), ('b', 0)], 6, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 9)], 7, False], [[], [], 0, False]], 5: [[[['a', 'first'], ['a', 'next']], [('a', 10)], 5, False], [[['a', 'alpha'], ['b', 'beta']], [('a', 9)], 0, False], [[['a', 'first']], [('a', 5)], 0, True], [[['a', 'first'], ['b', 'urgent'], ['a', 'ready']], [('a', 12), ('b', 0)], 7, False], [[['a', 'first'], ['a', 'second']], [('a', 0)], 0, False], [[['a', 'later']], [('a', 10)], 8, False], [[], [], 0, False]]}[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-speech-cooldown-deadline-anchor","generated_at":"2026-09-29T14:40:28.257766+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: deadlines[e[1]]=now+durations.get(e[1],0)","root_cause":"Fault site: deadlines[e[1]]=now+durations.get(e[1],0) is implemented as deadlines[e[1]]=durations.get(e[1],0)","sha256":"68a467745bebf03a4ca07471a6bef7e79bfc6ac81fa356f0328d30eaaa3c0397","title":"Cooldown deadline is measured from zero rather than emission time · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.138,"exit_code":1,"observations":[{"actual":[[["a","first"]],[["a",2]],1,false],"check":"trace-1","expected":[[["a","first"],["a","next"]],[["a",2]],1,false],"passed":false},{"actual":[[["a","alpha"],["b","beta"]],[["a",6]],0,false],"check":"trace-2","expected":[[["a","alpha"],["b","beta"]],[["a",5]],0,false],"passed":false},{"actual":[[["a","first"]],[["a",2]],0,true],"check":"trace-3","expected":[[["a","first"]],[["a",1]],0,true],"passed":false},{"actual":[[["a","first"],["b","urgent"],["a","ready"]],[["a",5],["b",1]],3,false],"check":"trace-4","expected":[[["a","first"],["b","urgent"],["a","ready"]],[["a",4],["b",0]],3,false],"passed":false},{"actual":[[["a","first"]],[["a",1]],0,false],"check":"trace-5","expected":[[["a","first"],["a","second"]],[["a",0]],0,false],"passed":false},{"actual":[[["a","later"]],[["a",7]],4,false],"check":"trace-6","expected":[[["a","later"]],[["a",6]],4,false],"passed":false},{"actual":[[],[],0,false],"check":"trace-7","expected":[[],[],0,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"a\", \"first\"]], [[\"a\", 2]], 1, false], \"expected\": [[[\"a\", \"first\"], [\"a\", \"next\"]], [[\"a\", 2]], 1, false], \"passed\": false}, {\"check\": \"trace-2\", \"actual\": [[[\"a\", \"alpha\"], [\"b\", \"beta\"]], [[\"a\", 6]], 0, false], \"expected\": [[[\"a\", \"alpha\"], [\"b\", \"beta\"]], [[\"a\", 5]], 0, false], \"passed\": false}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"first\"]], [[\"a\", 2]], 0, true], \"expected\": [[[\"a\", \"first\"]], [[\"a\", 1]], 0, true], \"passed\": false}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"first\"], [\"b\", \"urgent\"], [\"a\", \"ready\"]], [[\"a\", 5], [\"b\", 1]], 3, false], \"expected\": [[[\"a\", \"first\"], [\"b\", \"urgent\"], [\"a\", \"ready\"]], [[\"a\", 4], [\"b\", 0]], 3, false], \"passed\": false}, {\"check\": \"trace-5\", \"actual\": [[[\"a\", \"first\"]], [[\"a\", 1]], 0, false], \"expected\": [[[\"a\", \"first\"], [\"a\", \"second\"]], [[\"a\", 0]], 0, false], \"passed\": false}, {\"check\": \"trace-6\", \"actual\": [[[\"a\", \"later\"]], [[\"a\", 7]], 4, false], \"expected\": [[[\"a\", \"later\"]], [[\"a\", 6]], 4, false], \"passed\": false}, {\"check\": \"trace-7\", \"actual\": [[], [], 0, false], \"expected\": [[], [], 0, false], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.007,"exit_code":1,"observations":[{"actual":[[["a","first"],["a","next"]],[["a",1]],1,false],"check":"trace-1","expected":[[["a","first"],["a","next"]],[["a",2]],1,false],"passed":false},{"actual":[[["a","alpha"],["b","beta"]],[["a",5]],0,false],"check":"trace-2","expected":[[["a","alpha"],["b","beta"]],[["a",5]],0,false],"passed":true},{"actual":[[["a","first"]],[["a",1]],0,true],"check":"trace-3","expected":[[["a","first"]],[["a",1]],0,true],"passed":true},{"actual":[[["a","first"],["b","urgent"],["a","ready"]],[["a",1],["b",0]],3,false],"check":"trace-4","expected":[[["a","first"],["b","urgent"],["a","ready"]],[["a",4],["b",0]],3,false],"passed":false},{"actual":[[["a","first"],["a","second"]],[["a",0]],0,false],"check":"trace-5","expected":[[["a","first"],["a","second"]],[["a",0]],0,false],"passed":true},{"actual":[[["a","later"]],[["a",2]],4,false],"check":"trace-6","expected":[[["a","later"]],[["a",6]],4,false],"passed":false},{"actual":[[],[],0,false],"check":"trace-7","expected":[[],[],0,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"a\", \"first\"], [\"a\", \"next\"]], [[\"a\", 1]], 1, false], \"expected\": [[[\"a\", \"first\"], [\"a\", \"next\"]], [[\"a\", 2]], 1, false], \"passed\": false}, {\"check\": \"trace-2\", \"actual\": [[[\"a\", \"alpha\"], [\"b\", \"beta\"]], [[\"a\", 5]], 0, false], \"expected\": [[[\"a\", \"alpha\"], [\"b\", \"beta\"]], [[\"a\", 5]], 0, false], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"first\"]], [[\"a\", 1]], 0, true], \"expected\": [[[\"a\", \"first\"]], [[\"a\", 1]], 0, true], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"first\"], [\"b\", \"urgent\"], [\"a\", \"ready\"]], [[\"a\", 1], [\"b\", 0]], 3, false], \"expected\": [[[\"a\", \"first\"], [\"b\", \"urgent\"], [\"a\", \"ready\"]], [[\"a\", 4], [\"b\", 0]], 3, false], \"passed\": false}, {\"check\": \"trace-5\", \"actual\": [[[\"a\", \"first\"], [\"a\", \"second\"]], [[\"a\", 0]], 0, false], \"expected\": [[[\"a\", \"first\"], [\"a\", \"second\"]], [[\"a\", 0]], 0, false], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[[\"a\", \"later\"]], [[\"a\", 2]], 4, false], \"expected\": [[[\"a\", \"later\"]], [[\"a\", 6]], 4, false], \"passed\": false}, {\"check\": \"trace-7\", \"actual\": [[], [], 0, false], \"expected\": [[], [], 0, false], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.53,"exit_code":0,"observations":[{"actual":[[["a","first"],["a","next"]],[["a",2]],1,false],"check":"trace-1","expected":[[["a","first"],["a","next"]],[["a",2]],1,false],"passed":true},{"actual":[[["a","alpha"],["b","beta"]],[["a",5]],0,false],"check":"trace-2","expected":[[["a","alpha"],["b","beta"]],[["a",5]],0,false],"passed":true},{"actual":[[["a","first"]],[["a",1]],0,true],"check":"trace-3","expected":[[["a","first"]],[["a",1]],0,true],"passed":true},{"actual":[[["a","first"],["b","urgent"],["a","ready"]],[["a",4],["b",0]],3,false],"check":"trace-4","expected":[[["a","first"],["b","urgent"],["a","ready"]],[["a",4],["b",0]],3,false],"passed":true},{"actual":[[["a","first"],["a","second"]],[["a",0]],0,false],"check":"trace-5","expected":[[["a","first"],["a","second"]],[["a",0]],0,false],"passed":true},{"actual":[[["a","later"]],[["a",6]],4,false],"check":"trace-6","expected":[[["a","later"]],[["a",6]],4,false],"passed":true},{"actual":[[],[],0,false],"check":"trace-7","expected":[[],[],0,false],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"a\", \"first\"], [\"a\", \"next\"]], [[\"a\", 2]], 1, false], \"expected\": [[[\"a\", \"first\"], [\"a\", \"next\"]], [[\"a\", 2]], 1, false], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"a\", \"alpha\"], [\"b\", \"beta\"]], [[\"a\", 5]], 0, false], \"expected\": [[[\"a\", \"alpha\"], [\"b\", \"beta\"]], [[\"a\", 5]], 0, false], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"first\"]], [[\"a\", 1]], 0, true], \"expected\": [[[\"a\", \"first\"]], [[\"a\", 1]], 0, true], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"first\"], [\"b\", \"urgent\"], [\"a\", \"ready\"]], [[\"a\", 4], [\"b\", 0]], 3, false], \"expected\": [[[\"a\", \"first\"], [\"b\", \"urgent\"], [\"a\", \"ready\"]], [[\"a\", 4], [\"b\", 0]], 3, false], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[[\"a\", \"first\"], [\"a\", \"second\"]], [[\"a\", 0]], 0, false], \"expected\": [[[\"a\", \"first\"], [\"a\", \"second\"]], [[\"a\", 0]], 0, false], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[[\"a\", \"later\"]], [[\"a\", 6]], 4, false], \"expected\": [[[\"a\", \"later\"]], [[\"a\", 6]], 4, false], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[], [], 0, false], \"expected\": [[], [], 0, false], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}