{"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 elif e[0]=='resume': suspended=True and still violates a regression oracle.","family":"s3-assistive-announcements-speech-cooldown-resume","id":"FA-21361","implementations":{"attempt":{"sha256":"62ff6e9dd6920cd753209b4ecfe55615d3c07328cb0c86fe0bfc97b97a0c4d57","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=True\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"},"broken":{"sha256":"764db92a672274c30c419a678e41bdd4e11041f8a130d5b3050ce05189b0e042","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; deadlines={k:now+durations.get(k,0) for k in deadlines}\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"},"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-resume","generated_at":"2026-09-29T14:40:28.154325+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]=='resume': suspended=False","root_cause":"Fault site: elif e[0]=='resume': suspended=False is implemented as elif e[0]=='resume': suspended=False; deadlines={k:now+durations.get(k,0) for k in deadlines}","sha256":"aa8f503e84ac02d36746b9e40441894eea0c8805cd1f444d25d6db58b457cc39","title":"Resuming cue playback adds a fresh cooldown delay · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.152,"exit_code":1,"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",1],["b",0]],3,true],"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",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":false,"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\", 1], [\"b\", 0]], 3, true], \"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\", 6]], 4, false], \"expected\": [[[\"a\", \"later\"]], [[\"a\", 6]], 4, false], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[], [], 0, false], \"expected\": [[], [], 0, false], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.61,"exit_code":1,"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",4],["b",3]],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",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":false,"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\", 4], [\"b\", 3]], 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\", 6]], 4, false], \"expected\": [[[\"a\", \"later\"]], [[\"a\", 6]], 4, false], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[], [], 0, false], \"expected\": [[], [], 0, false], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.319,"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"}