{"abstract":"The announcement trace violates the stated speech-time-budget contract.","category":"Assistive announcements","checks":10,"contract":"Each turn has a spoken-character budget. Enqueue [id,text,cost] with positive cost. Begin replaces remaining budget. Pump selects first queued job that fits, allowing later small jobs to bypass large ones; sends one and subtracts its cost. Refund restores cost of a sent ID once, without requeueing. Cancel removes only unsent ID. Cap limits remaining credit immediately. Reset clears queue and refund ledger. Return speech IDs, queue IDs, remaining, cap.","evaluation_group":"s3-announcement-speech-time-budget","failed_approach":"The attempted repair substitutes elif e[0]=='enqueue': q.insert(0,e[1:]) and still violates a regression oracle.","family":"s3-assistive-announcements-speech-time-budget-enqueue","id":"FA-21246","implementations":{"attempt":{"sha256":"1acda1243e84114dc3cf3ed9217f5d49d4f39366c1710958c6080d4adccbb9d0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    remaining=0; cap=100; q=[]; spent={}; out=[]\n    for e in events:\n        if e[0]=='begin': remaining=min(cap,max(0,e[1]))\n        elif e[0]=='enqueue': q.insert(0,e[1:])\n        elif e[0]=='cap': cap=max(0,e[1]); remaining=min(remaining,cap)\n        elif e[0]=='cancel': q=[x for x in q if x[0]!=e[1]]\n        elif e[0]=='refund' and e[1] in spent:\n            remaining=min(cap,remaining+spent.pop(e[1]))\n        elif e[0]=='reset': q=[]; spent={}; remaining=0\n        elif e[0]=='pump':\n            index=next((i for i,x in enumerate(q) if x[2]<=remaining),None)\n            if index is not None:\n                ident,text,cost=q.pop(index)\n                remaining-=cost\n                spent[ident]=cost\n                out.append([ident,text])\n    return [out,[x[0] for x in q],remaining,cap]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['begin',N+4],['enqueue','big','large',N+8],['enqueue','small','tiny',N+1],['pump'],['refund','small'],['refund','small']]\", \"[['begin',N],['enqueue','exact','x'*N,N],['pump']]\", \"[['begin',N+5],['begin',2]]\", \"[['begin',N+5],['begin',2],['cap',1],['cap',8]]\", \"[['cap',3],['begin',N+10]]\", \"[['enqueue','a','alpha'*N,2],['enqueue','b','beta',1],['cancel','b']]\", \"[['begin',N+10],['enqueue','a','alpha',2],['pump'],['refund','a']]\", \"[['begin',N+5],['enqueue','a','alpha',2],['pump']]\", \"[['begin',N+5],['enqueue','a','alpha',2],['enqueue','b','beta',1],['pump'],['reset'],['refund','a']]\", '[]']\nexpected = {1: [[[['small', 'tiny']], ['big'], 5, 100], [[['exact', 'x']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 11, 100], [[['a', 'alpha']], [], 4, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 2: [[[['small', 'tiny']], ['big'], 6, 100], [[['exact', 'xx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 12, 100], [[['a', 'alpha']], [], 5, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 3: [[[['small', 'tiny']], ['big'], 7, 100], [[['exact', 'xxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 13, 100], [[['a', 'alpha']], [], 6, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 4: [[[['small', 'tiny']], ['big'], 8, 100], [[['exact', 'xxxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 14, 100], [[['a', 'alpha']], [], 7, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 5: [[[['small', 'tiny']], ['big'], 9, 100], [[['exact', 'xxxxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 15, 100], [[['a', 'alpha']], [], 8, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]]}[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":"102c35125e1ce730dbff38215c4047359a00d6979fa2113f9abb003203121492","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    remaining=0; cap=100; q=[]; spent={}; out=[]\n    for e in events:\n        if e[0]=='begin': remaining=min(cap,max(0,e[1]))\n        elif e[0]=='enqueue': q.append([e[1],e[2],len(e[2])])\n        elif e[0]=='cap': cap=max(0,e[1]); remaining=min(remaining,cap)\n        elif e[0]=='cancel': q=[x for x in q if x[0]!=e[1]]\n        elif e[0]=='refund' and e[1] in spent:\n            remaining=min(cap,remaining+spent.pop(e[1]))\n        elif e[0]=='reset': q=[]; spent={}; remaining=0\n        elif e[0]=='pump':\n            index=next((i for i,x in enumerate(q) if x[2]<=remaining),None)\n            if index is not None:\n                ident,text,cost=q.pop(index)\n                remaining-=cost\n                spent[ident]=cost\n                out.append([ident,text])\n    return [out,[x[0] for x in q],remaining,cap]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['begin',N+4],['enqueue','big','large',N+8],['enqueue','small','tiny',N+1],['pump'],['refund','small'],['refund','small']]\", \"[['begin',N],['enqueue','exact','x'*N,N],['pump']]\", \"[['begin',N+5],['begin',2]]\", \"[['begin',N+5],['begin',2],['cap',1],['cap',8]]\", \"[['cap',3],['begin',N+10]]\", \"[['enqueue','a','alpha'*N,2],['enqueue','b','beta',1],['cancel','b']]\", \"[['begin',N+10],['enqueue','a','alpha',2],['pump'],['refund','a']]\", \"[['begin',N+5],['enqueue','a','alpha',2],['pump']]\", \"[['begin',N+5],['enqueue','a','alpha',2],['enqueue','b','beta',1],['pump'],['reset'],['refund','a']]\", '[]']\nexpected = {1: [[[['small', 'tiny']], ['big'], 5, 100], [[['exact', 'x']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 11, 100], [[['a', 'alpha']], [], 4, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 2: [[[['small', 'tiny']], ['big'], 6, 100], [[['exact', 'xx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 12, 100], [[['a', 'alpha']], [], 5, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 3: [[[['small', 'tiny']], ['big'], 7, 100], [[['exact', 'xxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 13, 100], [[['a', 'alpha']], [], 6, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 4: [[[['small', 'tiny']], ['big'], 8, 100], [[['exact', 'xxxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 14, 100], [[['a', 'alpha']], [], 7, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 5: [[[['small', 'tiny']], ['big'], 9, 100], [[['exact', 'xxxxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 15, 100], [[['a', 'alpha']], [], 8, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]]}[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":"bdbc4319fb090e4a978938843d3307b06ec697b2ab2559c293905eff17094e7a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    remaining=0; cap=100; q=[]; spent={}; out=[]\n    for e in events:\n        if e[0]=='begin': remaining=min(cap,max(0,e[1]))\n        elif e[0]=='enqueue': q.append(e[1:])\n        elif e[0]=='cap': cap=max(0,e[1]); remaining=min(remaining,cap)\n        elif e[0]=='cancel': q=[x for x in q if x[0]!=e[1]]\n        elif e[0]=='refund' and e[1] in spent:\n            remaining=min(cap,remaining+spent.pop(e[1]))\n        elif e[0]=='reset': q=[]; spent={}; remaining=0\n        elif e[0]=='pump':\n            index=next((i for i,x in enumerate(q) if x[2]<=remaining),None)\n            if index is not None:\n                ident,text,cost=q.pop(index)\n                remaining-=cost\n                spent[ident]=cost\n                out.append([ident,text])\n    return [out,[x[0] for x in q],remaining,cap]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['begin',N+4],['enqueue','big','large',N+8],['enqueue','small','tiny',N+1],['pump'],['refund','small'],['refund','small']]\", \"[['begin',N],['enqueue','exact','x'*N,N],['pump']]\", \"[['begin',N+5],['begin',2]]\", \"[['begin',N+5],['begin',2],['cap',1],['cap',8]]\", \"[['cap',3],['begin',N+10]]\", \"[['enqueue','a','alpha'*N,2],['enqueue','b','beta',1],['cancel','b']]\", \"[['begin',N+10],['enqueue','a','alpha',2],['pump'],['refund','a']]\", \"[['begin',N+5],['enqueue','a','alpha',2],['pump']]\", \"[['begin',N+5],['enqueue','a','alpha',2],['enqueue','b','beta',1],['pump'],['reset'],['refund','a']]\", '[]']\nexpected = {1: [[[['small', 'tiny']], ['big'], 5, 100], [[['exact', 'x']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 11, 100], [[['a', 'alpha']], [], 4, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 2: [[[['small', 'tiny']], ['big'], 6, 100], [[['exact', 'xx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 12, 100], [[['a', 'alpha']], [], 5, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 3: [[[['small', 'tiny']], ['big'], 7, 100], [[['exact', 'xxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 13, 100], [[['a', 'alpha']], [], 6, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 4: [[[['small', 'tiny']], ['big'], 8, 100], [[['exact', 'xxxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 14, 100], [[['a', 'alpha']], [], 7, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]], 5: [[[['small', 'tiny']], ['big'], 9, 100], [[['exact', 'xxxxx']], [], 0, 100], [[], [], 2, 100], [[], [], 1, 8], [[], [], 3, 3], [[], ['a'], 0, 100], [[['a', 'alpha']], [], 15, 100], [[['a', 'alpha']], [], 8, 100], [[['a', 'alpha']], [], 0, 100], [[], [], 0, 100]]}[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-time-budget-enqueue","generated_at":"2026-09-29T14:40:26.716735+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]=='enqueue': q.append(e[1:])","root_cause":"Fault site: elif e[0]=='enqueue': q.append(e[1:]) is implemented as elif e[0]=='enqueue': q.append([e[1],e[2],len(e[2])])","sha256":"cedd949028d3c447a938e79caf6f3b81849a8cca24490a78c7bb59c972108814","title":"Utterance cost is replaced by text character length · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.815,"exit_code":1,"observations":[{"actual":[[["small","tiny"]],["big"],5,100],"check":"trace-1","expected":[[["small","tiny"]],["big"],5,100],"passed":true},{"actual":[[["exact","x"]],[],0,100],"check":"trace-2","expected":[[["exact","x"]],[],0,100],"passed":true},{"actual":[[],[],2,100],"check":"trace-3","expected":[[],[],2,100],"passed":true},{"actual":[[],[],1,8],"check":"trace-4","expected":[[],[],1,8],"passed":true},{"actual":[[],[],3,3],"check":"trace-5","expected":[[],[],3,3],"passed":true},{"actual":[[],["a"],0,100],"check":"trace-6","expected":[[],["a"],0,100],"passed":true},{"actual":[[["a","alpha"]],[],11,100],"check":"trace-7","expected":[[["a","alpha"]],[],11,100],"passed":true},{"actual":[[["a","alpha"]],[],4,100],"check":"trace-8","expected":[[["a","alpha"]],[],4,100],"passed":true},{"actual":[[["b","beta"]],[],0,100],"check":"trace-9","expected":[[["a","alpha"]],[],0,100],"passed":false},{"actual":[[],[],0,100],"check":"trace-10","expected":[[],[],0,100],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"small\", \"tiny\"]], [\"big\"], 5, 100], \"expected\": [[[\"small\", \"tiny\"]], [\"big\"], 5, 100], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"exact\", \"x\"]], [], 0, 100], \"expected\": [[[\"exact\", \"x\"]], [], 0, 100], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[], [], 2, 100], \"expected\": [[], [], 2, 100], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[], [], 1, 8], \"expected\": [[], [], 1, 8], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[], [], 3, 3], \"expected\": [[], [], 3, 3], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [\"a\"], 0, 100], \"expected\": [[], [\"a\"], 0, 100], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"alpha\"]], [], 11, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 11, 100], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[[\"a\", \"alpha\"]], [], 4, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 4, 100], \"passed\": true}, {\"check\": \"trace-9\", \"actual\": [[[\"b\", \"beta\"]], [], 0, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 0, 100], \"passed\": false}, {\"check\": \"trace-10\", \"actual\": [[], [], 0, 100], \"expected\": [[], [], 0, 100], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.346,"exit_code":1,"observations":[{"actual":[[["big","large"]],["small"],0,100],"check":"trace-1","expected":[[["small","tiny"]],["big"],5,100],"passed":false},{"actual":[[["exact","x"]],[],0,100],"check":"trace-2","expected":[[["exact","x"]],[],0,100],"passed":true},{"actual":[[],[],2,100],"check":"trace-3","expected":[[],[],2,100],"passed":true},{"actual":[[],[],1,8],"check":"trace-4","expected":[[],[],1,8],"passed":true},{"actual":[[],[],3,3],"check":"trace-5","expected":[[],[],3,3],"passed":true},{"actual":[[],["a"],0,100],"check":"trace-6","expected":[[],["a"],0,100],"passed":true},{"actual":[[["a","alpha"]],[],11,100],"check":"trace-7","expected":[[["a","alpha"]],[],11,100],"passed":true},{"actual":[[["a","alpha"]],[],1,100],"check":"trace-8","expected":[[["a","alpha"]],[],4,100],"passed":false},{"actual":[[["a","alpha"]],[],0,100],"check":"trace-9","expected":[[["a","alpha"]],[],0,100],"passed":true},{"actual":[[],[],0,100],"check":"trace-10","expected":[[],[],0,100],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"big\", \"large\"]], [\"small\"], 0, 100], \"expected\": [[[\"small\", \"tiny\"]], [\"big\"], 5, 100], \"passed\": false}, {\"check\": \"trace-2\", \"actual\": [[[\"exact\", \"x\"]], [], 0, 100], \"expected\": [[[\"exact\", \"x\"]], [], 0, 100], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[], [], 2, 100], \"expected\": [[], [], 2, 100], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[], [], 1, 8], \"expected\": [[], [], 1, 8], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[], [], 3, 3], \"expected\": [[], [], 3, 3], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [\"a\"], 0, 100], \"expected\": [[], [\"a\"], 0, 100], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"alpha\"]], [], 11, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 11, 100], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[[\"a\", \"alpha\"]], [], 1, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 4, 100], \"passed\": false}, {\"check\": \"trace-9\", \"actual\": [[[\"a\", \"alpha\"]], [], 0, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 0, 100], \"passed\": true}, {\"check\": \"trace-10\", \"actual\": [[], [], 0, 100], \"expected\": [[], [], 0, 100], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.109,"exit_code":0,"observations":[{"actual":[[["small","tiny"]],["big"],5,100],"check":"trace-1","expected":[[["small","tiny"]],["big"],5,100],"passed":true},{"actual":[[["exact","x"]],[],0,100],"check":"trace-2","expected":[[["exact","x"]],[],0,100],"passed":true},{"actual":[[],[],2,100],"check":"trace-3","expected":[[],[],2,100],"passed":true},{"actual":[[],[],1,8],"check":"trace-4","expected":[[],[],1,8],"passed":true},{"actual":[[],[],3,3],"check":"trace-5","expected":[[],[],3,3],"passed":true},{"actual":[[],["a"],0,100],"check":"trace-6","expected":[[],["a"],0,100],"passed":true},{"actual":[[["a","alpha"]],[],11,100],"check":"trace-7","expected":[[["a","alpha"]],[],11,100],"passed":true},{"actual":[[["a","alpha"]],[],4,100],"check":"trace-8","expected":[[["a","alpha"]],[],4,100],"passed":true},{"actual":[[["a","alpha"]],[],0,100],"check":"trace-9","expected":[[["a","alpha"]],[],0,100],"passed":true},{"actual":[[],[],0,100],"check":"trace-10","expected":[[],[],0,100],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"small\", \"tiny\"]], [\"big\"], 5, 100], \"expected\": [[[\"small\", \"tiny\"]], [\"big\"], 5, 100], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[[\"exact\", \"x\"]], [], 0, 100], \"expected\": [[[\"exact\", \"x\"]], [], 0, 100], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[], [], 2, 100], \"expected\": [[], [], 2, 100], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[], [], 1, 8], \"expected\": [[], [], 1, 8], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[], [], 3, 3], \"expected\": [[], [], 3, 3], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[], [\"a\"], 0, 100], \"expected\": [[], [\"a\"], 0, 100], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"alpha\"]], [], 11, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 11, 100], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[[\"a\", \"alpha\"]], [], 4, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 4, 100], \"passed\": true}, {\"check\": \"trace-9\", \"actual\": [[[\"a\", \"alpha\"]], [], 0, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 0, 100], \"passed\": true}, {\"check\": \"trace-10\", \"actual\": [[], [], 0, 100], \"expected\": [[], [], 0, 100], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}