{"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 remaining-=len(text) and still violates a regression oracle.","family":"s3-assistive-announcements-speech-time-budget-charge","id":"FA-21281","implementations":{"attempt":{"sha256":"31ea724ce3419f66a8cb1369f6ecb8c1d9afe623ee0cac2bf64cec823e69f97a","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-=len(text)\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":"172acc4acfb6ecb16bb387dccff07e9752ee9ed1a3a2fa6eecc9c54dfced0d38","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=0\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-charge","generated_at":"2026-09-29T14:40:27.224294+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: remaining-=cost","root_cause":"Fault site: remaining-=cost is implemented as remaining=0","sha256":"2b7e1b615ee8702ed83db574c63f19bf53f46b3e117978e93b606be34723da7e","title":"Speaking charges the entire remaining turn budget · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.139,"exit_code":1,"observations":[{"actual":[[["small","tiny"]],["big"],3,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"]],[],8,100],"check":"trace-7","expected":[[["a","alpha"]],[],11,100],"passed":false},{"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\": [[[\"small\", \"tiny\"]], [\"big\"], 3, 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\"]], [], 8, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 11, 100], \"passed\": false}, {\"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"},"broken":{"elapsed_ms":42.045,"exit_code":1,"observations":[{"actual":[[["small","tiny"]],["big"],2,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"]],[],2,100],"check":"trace-7","expected":[[["a","alpha"]],[],11,100],"passed":false},{"actual":[[["a","alpha"]],[],0,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\": [[[\"small\", \"tiny\"]], [\"big\"], 2, 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\"]], [], 2, 100], \"expected\": [[[\"a\", \"alpha\"]], [], 11, 100], \"passed\": false}, {\"check\": \"trace-8\", \"actual\": [[[\"a\", \"alpha\"]], [], 0, 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":84.262,"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"}