{"abstract":"The announcement trace violates the stated escalation-ladder contract.","category":"Assistive announcements","checks":8,"contract":"Unacknowledged notices have [text,level,next-due]. Open replaces notice at level0 due after2 ticks. Tick uses monotonic clock and emits at most one escalation per notice when due; levels1 and2 schedule another2 ticks, level3 is final and has no future due. Ack removes notice. Snooze adds delay to existing deadline, not now. Edit text preserves escalation level. Reset-level sets level0 and next due now+2. Report [id,text,level] speech and pending state.","evaluation_group":"s3-announcement-escalation-ladder","failed_approach":"The attempted repair substitutes t[1]=3 and still violates a regression oracle.","family":"s3-assistive-announcements-escalation-ladder-level-step","id":"FA-21226","implementations":{"attempt":{"sha256":"c9efc6e0399844f7bcee9ff1c04d838f8103ebb9cbd54ed7767ca81f337bf3a1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    now=0; notices={}; out=[]\n    for e in events:\n        if e[0]=='open': notices[e[1]]=[e[2],0,now+2]\n        elif e[0]=='ack': notices.pop(e[1],None)\n        elif e[0]=='edit' and e[1] in notices: notices[e[1]][0]=e[2]\n        elif e[0]=='snooze' and e[1] in notices:\n            if notices[e[1]][2] is not None: notices[e[1]][2]+=e[2]\n        elif e[0]=='reset' and e[1] in notices: notices[e[1]][1:]=[0,now+2]\n        elif e[0]=='tick':\n            now=max(now,e[1])\n            for ident,t in notices.items():\n                if t[2] is None or t[2]>now: continue\n                t[1]=3\n                out.append([ident,t[0],t[1]])\n                t[2]=now+2 if t[1]<3 else None\n    return [out,now,[[k]+v for k,v in notices.items()]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['open','a','alarm'*N],['tick',2],['tick',4],['tick',6],['tick',8]]\", \"[['tick',N+3],['open','a','fresh'],['open','a','replace'*N]]\", \"[['open','a','x'*N],['tick',2],['snooze','a',N]]\", \"[['open','a','old'],['tick',2],['edit','a','new'*N],['snooze','a',N],['tick',N+4]]\", \"[['open','a','a'*N],['open','b','b'],['ack','a'],['tick',N+4]]\", \"[['open','a','a'*N],['tick',3],['reset','a'],['tick',1]]\", \"[['open','a','a'*N],['tick',N+10]]\", '[]']\nexpected = {1: [[[['a', 'alarm', 1], ['a', 'alarm', 2], ['a', 'alarm', 3]], 8, [['a', 'alarm', 3, None]]], [[], 4, [['a', 'replace', 0, 6]]], [[['a', 'x', 1]], 2, [['a', 'x', 1, 5]]], [[['a', 'old', 1], ['a', 'new', 2]], 5, [['a', 'new', 2, 7]]], [[['b', 'b', 1]], 5, [['b', 'b', 1, 7]]], [[['a', 'a', 1]], 3, [['a', 'a', 0, 5]]], [[['a', 'a', 1]], 11, [['a', 'a', 1, 13]]], [[], 0, []]], 2: [[[['a', 'alarmalarm', 1], ['a', 'alarmalarm', 2], ['a', 'alarmalarm', 3]], 8, [['a', 'alarmalarm', 3, None]]], [[], 5, [['a', 'replacereplace', 0, 7]]], [[['a', 'xx', 1]], 2, [['a', 'xx', 1, 6]]], [[['a', 'old', 1], ['a', 'newnew', 2]], 6, [['a', 'newnew', 2, 8]]], [[['b', 'b', 1]], 6, [['b', 'b', 1, 8]]], [[['a', 'aa', 1]], 3, [['a', 'aa', 0, 5]]], [[['a', 'aa', 1]], 12, [['a', 'aa', 1, 14]]], [[], 0, []]], 3: [[[['a', 'alarmalarmalarm', 1], ['a', 'alarmalarmalarm', 2], ['a', 'alarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarm', 3, None]]], [[], 6, [['a', 'replacereplacereplace', 0, 8]]], [[['a', 'xxx', 1]], 2, [['a', 'xxx', 1, 7]]], [[['a', 'old', 1], ['a', 'newnewnew', 2]], 7, [['a', 'newnewnew', 2, 9]]], [[['b', 'b', 1]], 7, [['b', 'b', 1, 9]]], [[['a', 'aaa', 1]], 3, [['a', 'aaa', 0, 5]]], [[['a', 'aaa', 1]], 13, [['a', 'aaa', 1, 15]]], [[], 0, []]], 4: [[[['a', 'alarmalarmalarmalarm', 1], ['a', 'alarmalarmalarmalarm', 2], ['a', 'alarmalarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarmalarm', 3, None]]], [[], 7, [['a', 'replacereplacereplacereplace', 0, 9]]], [[['a', 'xxxx', 1]], 2, [['a', 'xxxx', 1, 8]]], [[['a', 'old', 1], ['a', 'newnewnewnew', 2]], 8, [['a', 'newnewnewnew', 2, 10]]], [[['b', 'b', 1]], 8, [['b', 'b', 1, 10]]], [[['a', 'aaaa', 1]], 3, [['a', 'aaaa', 0, 5]]], [[['a', 'aaaa', 1]], 14, [['a', 'aaaa', 1, 16]]], [[], 0, []]], 5: [[[['a', 'alarmalarmalarmalarmalarm', 1], ['a', 'alarmalarmalarmalarmalarm', 2], ['a', 'alarmalarmalarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarmalarmalarm', 3, None]]], [[], 8, [['a', 'replacereplacereplacereplacereplace', 0, 10]]], [[['a', 'xxxxx', 1]], 2, [['a', 'xxxxx', 1, 9]]], [[['a', 'old', 1], ['a', 'newnewnewnewnew', 2]], 9, [['a', 'newnewnewnewnew', 2, 11]]], [[['b', 'b', 1]], 9, [['b', 'b', 1, 11]]], [[['a', 'aaaaa', 1]], 3, [['a', 'aaaaa', 0, 5]]], [[['a', 'aaaaa', 1]], 15, [['a', 'aaaaa', 1, 17]]], [[], 0, []]]}[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":"7fcdd357a6e9c8c48a474e7521cb8a88215fd3e3876d11ce3950c9a8e40bf576","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    now=0; notices={}; out=[]\n    for e in events:\n        if e[0]=='open': notices[e[1]]=[e[2],0,now+2]\n        elif e[0]=='ack': notices.pop(e[1],None)\n        elif e[0]=='edit' and e[1] in notices: notices[e[1]][0]=e[2]\n        elif e[0]=='snooze' and e[1] in notices:\n            if notices[e[1]][2] is not None: notices[e[1]][2]+=e[2]\n        elif e[0]=='reset' and e[1] in notices: notices[e[1]][1:]=[0,now+2]\n        elif e[0]=='tick':\n            now=max(now,e[1])\n            for ident,t in notices.items():\n                if t[2] is None or t[2]>now: continue\n                t[1]+=2\n                out.append([ident,t[0],t[1]])\n                t[2]=now+2 if t[1]<3 else None\n    return [out,now,[[k]+v for k,v in notices.items()]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['open','a','alarm'*N],['tick',2],['tick',4],['tick',6],['tick',8]]\", \"[['tick',N+3],['open','a','fresh'],['open','a','replace'*N]]\", \"[['open','a','x'*N],['tick',2],['snooze','a',N]]\", \"[['open','a','old'],['tick',2],['edit','a','new'*N],['snooze','a',N],['tick',N+4]]\", \"[['open','a','a'*N],['open','b','b'],['ack','a'],['tick',N+4]]\", \"[['open','a','a'*N],['tick',3],['reset','a'],['tick',1]]\", \"[['open','a','a'*N],['tick',N+10]]\", '[]']\nexpected = {1: [[[['a', 'alarm', 1], ['a', 'alarm', 2], ['a', 'alarm', 3]], 8, [['a', 'alarm', 3, None]]], [[], 4, [['a', 'replace', 0, 6]]], [[['a', 'x', 1]], 2, [['a', 'x', 1, 5]]], [[['a', 'old', 1], ['a', 'new', 2]], 5, [['a', 'new', 2, 7]]], [[['b', 'b', 1]], 5, [['b', 'b', 1, 7]]], [[['a', 'a', 1]], 3, [['a', 'a', 0, 5]]], [[['a', 'a', 1]], 11, [['a', 'a', 1, 13]]], [[], 0, []]], 2: [[[['a', 'alarmalarm', 1], ['a', 'alarmalarm', 2], ['a', 'alarmalarm', 3]], 8, [['a', 'alarmalarm', 3, None]]], [[], 5, [['a', 'replacereplace', 0, 7]]], [[['a', 'xx', 1]], 2, [['a', 'xx', 1, 6]]], [[['a', 'old', 1], ['a', 'newnew', 2]], 6, [['a', 'newnew', 2, 8]]], [[['b', 'b', 1]], 6, [['b', 'b', 1, 8]]], [[['a', 'aa', 1]], 3, [['a', 'aa', 0, 5]]], [[['a', 'aa', 1]], 12, [['a', 'aa', 1, 14]]], [[], 0, []]], 3: [[[['a', 'alarmalarmalarm', 1], ['a', 'alarmalarmalarm', 2], ['a', 'alarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarm', 3, None]]], [[], 6, [['a', 'replacereplacereplace', 0, 8]]], [[['a', 'xxx', 1]], 2, [['a', 'xxx', 1, 7]]], [[['a', 'old', 1], ['a', 'newnewnew', 2]], 7, [['a', 'newnewnew', 2, 9]]], [[['b', 'b', 1]], 7, [['b', 'b', 1, 9]]], [[['a', 'aaa', 1]], 3, [['a', 'aaa', 0, 5]]], [[['a', 'aaa', 1]], 13, [['a', 'aaa', 1, 15]]], [[], 0, []]], 4: [[[['a', 'alarmalarmalarmalarm', 1], ['a', 'alarmalarmalarmalarm', 2], ['a', 'alarmalarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarmalarm', 3, None]]], [[], 7, [['a', 'replacereplacereplacereplace', 0, 9]]], [[['a', 'xxxx', 1]], 2, [['a', 'xxxx', 1, 8]]], [[['a', 'old', 1], ['a', 'newnewnewnew', 2]], 8, [['a', 'newnewnewnew', 2, 10]]], [[['b', 'b', 1]], 8, [['b', 'b', 1, 10]]], [[['a', 'aaaa', 1]], 3, [['a', 'aaaa', 0, 5]]], [[['a', 'aaaa', 1]], 14, [['a', 'aaaa', 1, 16]]], [[], 0, []]], 5: [[[['a', 'alarmalarmalarmalarmalarm', 1], ['a', 'alarmalarmalarmalarmalarm', 2], ['a', 'alarmalarmalarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarmalarmalarm', 3, None]]], [[], 8, [['a', 'replacereplacereplacereplacereplace', 0, 10]]], [[['a', 'xxxxx', 1]], 2, [['a', 'xxxxx', 1, 9]]], [[['a', 'old', 1], ['a', 'newnewnewnewnew', 2]], 9, [['a', 'newnewnewnewnew', 2, 11]]], [[['b', 'b', 1]], 9, [['b', 'b', 1, 11]]], [[['a', 'aaaaa', 1]], 3, [['a', 'aaaaa', 0, 5]]], [[['a', 'aaaaa', 1]], 15, [['a', 'aaaaa', 1, 17]]], [[], 0, []]]}[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":"622ef744892a2aef67383903e50c5ca960ac5ad33711a39c857fed09d98a3208","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    now=0; notices={}; out=[]\n    for e in events:\n        if e[0]=='open': notices[e[1]]=[e[2],0,now+2]\n        elif e[0]=='ack': notices.pop(e[1],None)\n        elif e[0]=='edit' and e[1] in notices: notices[e[1]][0]=e[2]\n        elif e[0]=='snooze' and e[1] in notices:\n            if notices[e[1]][2] is not None: notices[e[1]][2]+=e[2]\n        elif e[0]=='reset' and e[1] in notices: notices[e[1]][1:]=[0,now+2]\n        elif e[0]=='tick':\n            now=max(now,e[1])\n            for ident,t in notices.items():\n                if t[2] is None or t[2]>now: continue\n                t[1]+=1\n                out.append([ident,t[0],t[1]])\n                t[2]=now+2 if t[1]<3 else None\n    return [out,now,[[k]+v for k,v in notices.items()]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [\"[['open','a','alarm'*N],['tick',2],['tick',4],['tick',6],['tick',8]]\", \"[['tick',N+3],['open','a','fresh'],['open','a','replace'*N]]\", \"[['open','a','x'*N],['tick',2],['snooze','a',N]]\", \"[['open','a','old'],['tick',2],['edit','a','new'*N],['snooze','a',N],['tick',N+4]]\", \"[['open','a','a'*N],['open','b','b'],['ack','a'],['tick',N+4]]\", \"[['open','a','a'*N],['tick',3],['reset','a'],['tick',1]]\", \"[['open','a','a'*N],['tick',N+10]]\", '[]']\nexpected = {1: [[[['a', 'alarm', 1], ['a', 'alarm', 2], ['a', 'alarm', 3]], 8, [['a', 'alarm', 3, None]]], [[], 4, [['a', 'replace', 0, 6]]], [[['a', 'x', 1]], 2, [['a', 'x', 1, 5]]], [[['a', 'old', 1], ['a', 'new', 2]], 5, [['a', 'new', 2, 7]]], [[['b', 'b', 1]], 5, [['b', 'b', 1, 7]]], [[['a', 'a', 1]], 3, [['a', 'a', 0, 5]]], [[['a', 'a', 1]], 11, [['a', 'a', 1, 13]]], [[], 0, []]], 2: [[[['a', 'alarmalarm', 1], ['a', 'alarmalarm', 2], ['a', 'alarmalarm', 3]], 8, [['a', 'alarmalarm', 3, None]]], [[], 5, [['a', 'replacereplace', 0, 7]]], [[['a', 'xx', 1]], 2, [['a', 'xx', 1, 6]]], [[['a', 'old', 1], ['a', 'newnew', 2]], 6, [['a', 'newnew', 2, 8]]], [[['b', 'b', 1]], 6, [['b', 'b', 1, 8]]], [[['a', 'aa', 1]], 3, [['a', 'aa', 0, 5]]], [[['a', 'aa', 1]], 12, [['a', 'aa', 1, 14]]], [[], 0, []]], 3: [[[['a', 'alarmalarmalarm', 1], ['a', 'alarmalarmalarm', 2], ['a', 'alarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarm', 3, None]]], [[], 6, [['a', 'replacereplacereplace', 0, 8]]], [[['a', 'xxx', 1]], 2, [['a', 'xxx', 1, 7]]], [[['a', 'old', 1], ['a', 'newnewnew', 2]], 7, [['a', 'newnewnew', 2, 9]]], [[['b', 'b', 1]], 7, [['b', 'b', 1, 9]]], [[['a', 'aaa', 1]], 3, [['a', 'aaa', 0, 5]]], [[['a', 'aaa', 1]], 13, [['a', 'aaa', 1, 15]]], [[], 0, []]], 4: [[[['a', 'alarmalarmalarmalarm', 1], ['a', 'alarmalarmalarmalarm', 2], ['a', 'alarmalarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarmalarm', 3, None]]], [[], 7, [['a', 'replacereplacereplacereplace', 0, 9]]], [[['a', 'xxxx', 1]], 2, [['a', 'xxxx', 1, 8]]], [[['a', 'old', 1], ['a', 'newnewnewnew', 2]], 8, [['a', 'newnewnewnew', 2, 10]]], [[['b', 'b', 1]], 8, [['b', 'b', 1, 10]]], [[['a', 'aaaa', 1]], 3, [['a', 'aaaa', 0, 5]]], [[['a', 'aaaa', 1]], 14, [['a', 'aaaa', 1, 16]]], [[], 0, []]], 5: [[[['a', 'alarmalarmalarmalarmalarm', 1], ['a', 'alarmalarmalarmalarmalarm', 2], ['a', 'alarmalarmalarmalarmalarm', 3]], 8, [['a', 'alarmalarmalarmalarmalarm', 3, None]]], [[], 8, [['a', 'replacereplacereplacereplacereplace', 0, 10]]], [[['a', 'xxxxx', 1]], 2, [['a', 'xxxxx', 1, 9]]], [[['a', 'old', 1], ['a', 'newnewnewnewnew', 2]], 9, [['a', 'newnewnewnewnew', 2, 11]]], [[['b', 'b', 1]], 9, [['b', 'b', 1, 11]]], [[['a', 'aaaaa', 1]], 3, [['a', 'aaaaa', 0, 5]]], [[['a', 'aaaaa', 1]], 15, [['a', 'aaaaa', 1, 17]]], [[], 0, []]]}[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-escalation-ladder-level-step","generated_at":"2026-09-29T14:40:26.623580+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: t[1]+=1","root_cause":"Fault site: t[1]+=1 is implemented as t[1]+=2","sha256":"48018f58a25873898a5affafde1941335dc5876ef7d6a28969db33982c9826b1","title":"Escalation skips an intermediate spoken severity · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.641,"exit_code":1,"observations":[{"actual":[[["a","alarm",3]],8,[["a","alarm",3,null]]],"check":"trace-1","expected":[[["a","alarm",1],["a","alarm",2],["a","alarm",3]],8,[["a","alarm",3,null]]],"passed":false},{"actual":[[],4,[["a","replace",0,6]]],"check":"trace-2","expected":[[],4,[["a","replace",0,6]]],"passed":true},{"actual":[[["a","x",3]],2,[["a","x",3,null]]],"check":"trace-3","expected":[[["a","x",1]],2,[["a","x",1,5]]],"passed":false},{"actual":[[["a","old",3]],5,[["a","new",3,null]]],"check":"trace-4","expected":[[["a","old",1],["a","new",2]],5,[["a","new",2,7]]],"passed":false},{"actual":[[["b","b",3]],5,[["b","b",3,null]]],"check":"trace-5","expected":[[["b","b",1]],5,[["b","b",1,7]]],"passed":false},{"actual":[[["a","a",3]],3,[["a","a",0,5]]],"check":"trace-6","expected":[[["a","a",1]],3,[["a","a",0,5]]],"passed":false},{"actual":[[["a","a",3]],11,[["a","a",3,null]]],"check":"trace-7","expected":[[["a","a",1]],11,[["a","a",1,13]]],"passed":false},{"actual":[[],0,[]],"check":"trace-8","expected":[[],0,[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"a\", \"alarm\", 3]], 8, [[\"a\", \"alarm\", 3, null]]], \"expected\": [[[\"a\", \"alarm\", 1], [\"a\", \"alarm\", 2], [\"a\", \"alarm\", 3]], 8, [[\"a\", \"alarm\", 3, null]]], \"passed\": false}, {\"check\": \"trace-2\", \"actual\": [[], 4, [[\"a\", \"replace\", 0, 6]]], \"expected\": [[], 4, [[\"a\", \"replace\", 0, 6]]], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"x\", 3]], 2, [[\"a\", \"x\", 3, null]]], \"expected\": [[[\"a\", \"x\", 1]], 2, [[\"a\", \"x\", 1, 5]]], \"passed\": false}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"old\", 3]], 5, [[\"a\", \"new\", 3, null]]], \"expected\": [[[\"a\", \"old\", 1], [\"a\", \"new\", 2]], 5, [[\"a\", \"new\", 2, 7]]], \"passed\": false}, {\"check\": \"trace-5\", \"actual\": [[[\"b\", \"b\", 3]], 5, [[\"b\", \"b\", 3, null]]], \"expected\": [[[\"b\", \"b\", 1]], 5, [[\"b\", \"b\", 1, 7]]], \"passed\": false}, {\"check\": \"trace-6\", \"actual\": [[[\"a\", \"a\", 3]], 3, [[\"a\", \"a\", 0, 5]]], \"expected\": [[[\"a\", \"a\", 1]], 3, [[\"a\", \"a\", 0, 5]]], \"passed\": false}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"a\", 3]], 11, [[\"a\", \"a\", 3, null]]], \"expected\": [[[\"a\", \"a\", 1]], 11, [[\"a\", \"a\", 1, 13]]], \"passed\": false}, {\"check\": \"trace-8\", \"actual\": [[], 0, []], \"expected\": [[], 0, []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.815,"exit_code":1,"observations":[{"actual":[[["a","alarm",2],["a","alarm",4]],8,[["a","alarm",4,null]]],"check":"trace-1","expected":[[["a","alarm",1],["a","alarm",2],["a","alarm",3]],8,[["a","alarm",3,null]]],"passed":false},{"actual":[[],4,[["a","replace",0,6]]],"check":"trace-2","expected":[[],4,[["a","replace",0,6]]],"passed":true},{"actual":[[["a","x",2]],2,[["a","x",2,5]]],"check":"trace-3","expected":[[["a","x",1]],2,[["a","x",1,5]]],"passed":false},{"actual":[[["a","old",2],["a","new",4]],5,[["a","new",4,null]]],"check":"trace-4","expected":[[["a","old",1],["a","new",2]],5,[["a","new",2,7]]],"passed":false},{"actual":[[["b","b",2]],5,[["b","b",2,7]]],"check":"trace-5","expected":[[["b","b",1]],5,[["b","b",1,7]]],"passed":false},{"actual":[[["a","a",2]],3,[["a","a",0,5]]],"check":"trace-6","expected":[[["a","a",1]],3,[["a","a",0,5]]],"passed":false},{"actual":[[["a","a",2]],11,[["a","a",2,13]]],"check":"trace-7","expected":[[["a","a",1]],11,[["a","a",1,13]]],"passed":false},{"actual":[[],0,[]],"check":"trace-8","expected":[[],0,[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"a\", \"alarm\", 2], [\"a\", \"alarm\", 4]], 8, [[\"a\", \"alarm\", 4, null]]], \"expected\": [[[\"a\", \"alarm\", 1], [\"a\", \"alarm\", 2], [\"a\", \"alarm\", 3]], 8, [[\"a\", \"alarm\", 3, null]]], \"passed\": false}, {\"check\": \"trace-2\", \"actual\": [[], 4, [[\"a\", \"replace\", 0, 6]]], \"expected\": [[], 4, [[\"a\", \"replace\", 0, 6]]], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"x\", 2]], 2, [[\"a\", \"x\", 2, 5]]], \"expected\": [[[\"a\", \"x\", 1]], 2, [[\"a\", \"x\", 1, 5]]], \"passed\": false}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"old\", 2], [\"a\", \"new\", 4]], 5, [[\"a\", \"new\", 4, null]]], \"expected\": [[[\"a\", \"old\", 1], [\"a\", \"new\", 2]], 5, [[\"a\", \"new\", 2, 7]]], \"passed\": false}, {\"check\": \"trace-5\", \"actual\": [[[\"b\", \"b\", 2]], 5, [[\"b\", \"b\", 2, 7]]], \"expected\": [[[\"b\", \"b\", 1]], 5, [[\"b\", \"b\", 1, 7]]], \"passed\": false}, {\"check\": \"trace-6\", \"actual\": [[[\"a\", \"a\", 2]], 3, [[\"a\", \"a\", 0, 5]]], \"expected\": [[[\"a\", \"a\", 1]], 3, [[\"a\", \"a\", 0, 5]]], \"passed\": false}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"a\", 2]], 11, [[\"a\", \"a\", 2, 13]]], \"expected\": [[[\"a\", \"a\", 1]], 11, [[\"a\", \"a\", 1, 13]]], \"passed\": false}, {\"check\": \"trace-8\", \"actual\": [[], 0, []], \"expected\": [[], 0, []], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.358,"exit_code":0,"observations":[{"actual":[[["a","alarm",1],["a","alarm",2],["a","alarm",3]],8,[["a","alarm",3,null]]],"check":"trace-1","expected":[[["a","alarm",1],["a","alarm",2],["a","alarm",3]],8,[["a","alarm",3,null]]],"passed":true},{"actual":[[],4,[["a","replace",0,6]]],"check":"trace-2","expected":[[],4,[["a","replace",0,6]]],"passed":true},{"actual":[[["a","x",1]],2,[["a","x",1,5]]],"check":"trace-3","expected":[[["a","x",1]],2,[["a","x",1,5]]],"passed":true},{"actual":[[["a","old",1],["a","new",2]],5,[["a","new",2,7]]],"check":"trace-4","expected":[[["a","old",1],["a","new",2]],5,[["a","new",2,7]]],"passed":true},{"actual":[[["b","b",1]],5,[["b","b",1,7]]],"check":"trace-5","expected":[[["b","b",1]],5,[["b","b",1,7]]],"passed":true},{"actual":[[["a","a",1]],3,[["a","a",0,5]]],"check":"trace-6","expected":[[["a","a",1]],3,[["a","a",0,5]]],"passed":true},{"actual":[[["a","a",1]],11,[["a","a",1,13]]],"check":"trace-7","expected":[[["a","a",1]],11,[["a","a",1,13]]],"passed":true},{"actual":[[],0,[]],"check":"trace-8","expected":[[],0,[]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"trace-1\", \"actual\": [[[\"a\", \"alarm\", 1], [\"a\", \"alarm\", 2], [\"a\", \"alarm\", 3]], 8, [[\"a\", \"alarm\", 3, null]]], \"expected\": [[[\"a\", \"alarm\", 1], [\"a\", \"alarm\", 2], [\"a\", \"alarm\", 3]], 8, [[\"a\", \"alarm\", 3, null]]], \"passed\": true}, {\"check\": \"trace-2\", \"actual\": [[], 4, [[\"a\", \"replace\", 0, 6]]], \"expected\": [[], 4, [[\"a\", \"replace\", 0, 6]]], \"passed\": true}, {\"check\": \"trace-3\", \"actual\": [[[\"a\", \"x\", 1]], 2, [[\"a\", \"x\", 1, 5]]], \"expected\": [[[\"a\", \"x\", 1]], 2, [[\"a\", \"x\", 1, 5]]], \"passed\": true}, {\"check\": \"trace-4\", \"actual\": [[[\"a\", \"old\", 1], [\"a\", \"new\", 2]], 5, [[\"a\", \"new\", 2, 7]]], \"expected\": [[[\"a\", \"old\", 1], [\"a\", \"new\", 2]], 5, [[\"a\", \"new\", 2, 7]]], \"passed\": true}, {\"check\": \"trace-5\", \"actual\": [[[\"b\", \"b\", 1]], 5, [[\"b\", \"b\", 1, 7]]], \"expected\": [[[\"b\", \"b\", 1]], 5, [[\"b\", \"b\", 1, 7]]], \"passed\": true}, {\"check\": \"trace-6\", \"actual\": [[[\"a\", \"a\", 1]], 3, [[\"a\", \"a\", 0, 5]]], \"expected\": [[[\"a\", \"a\", 1]], 3, [[\"a\", \"a\", 0, 5]]], \"passed\": true}, {\"check\": \"trace-7\", \"actual\": [[[\"a\", \"a\", 1]], 11, [[\"a\", \"a\", 1, 13]]], \"expected\": [[[\"a\", \"a\", 1]], 11, [[\"a\", \"a\", 1, 13]]], \"passed\": true}, {\"check\": \"trace-8\", \"actual\": [[], 0, []], \"expected\": [[], 0, []], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}