{"abstract":"The event trace violates the up unschedule rule and produces incorrect keyboard state or command output.","category":"Keyboard interactions","checks":8,"contract":"Case [delay,period,events], events [kind,key,time]. First down per key emits immediately and schedules first repeat at time+delay. Tick drains every deadline at or before time, ordered by deadline then key. Up removes only that key, blur clears all. Return emissions [key,time] and sorted pending deadlines. Positive delay and period; times nondecreasing. Inputs are finite ordered event traces; return the stated deterministic state. Batch entries are independent. N varies the number of independent input transactions.","evaluation_group":"s3-keyboard-repeat-clock","failed_approach":"The partial repair changes this transition to next_due.pop(str(now),None), which still violates the model contract on the explicit regression traces.","family":"s3-keyboard-interactions-repeat-clock-up-unschedule","id":"FA-31056","implementations":{"attempt":{"sha256":"20fe95f6e3d43e894722a4b9c2fb3cda688d38e252697624c77a2daa9dfb92da","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        delay,period,events=c\n        next_due={}; output=[]\n        for kind,key,now in events:\n            if kind=='down' and key not in next_due:\n                output.append([key,now])\n                next_due[key]=now+delay\n            elif kind=='up':\n                next_due.pop(str(now),None)\n            elif kind=='blur':\n                next_due.clear()\n            elif kind=='tick':\n                ready=sorted((t,k) for k,t in next_due.items() if t<=now)\n                while ready:\n                    due,k=ready[0]\n                    output.append([k,due])\n                    next_due[k]=due+period\n                    ready=sorted((t,k) for k,t in next_due.items() if t<=now)\n        return [output,sorted([[k,v] for k,v in next_due.items()])]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('repeat-clock scenario 0', solve([[5, 2, []]] * N), [[[], []]] * N)\ncheck('repeat-clock scenario 1', solve([[5, 2, [['down', 'A', 10], ['tick', '', 15]]]] * N), [[[['A', 10], ['A', 15]], [['A', 17]]]] * N)\ncheck('repeat-clock scenario 2', solve([[5, 2, [['down', 'A', 10], ['down', 'A', 12], ['tick', '', 17]]]] * N), [[[['A', 10], ['A', 15], ['A', 17]], [['A', 19]]]] * N)\ncheck('repeat-clock scenario 3', solve([[5, 2, [['down', 'Z', 0], ['down', 'A', 1], ['tick', '', 10]]]] * N), [[[['Z', 0], ['A', 1], ['Z', 5], ['A', 6], ['Z', 7], ['A', 8], ['Z', 9], ['A', 10]], [['A', 12], ['Z', 11]]]] * N)\ncheck('repeat-clock scenario 4', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 1], ['up', 'A', 2], ['tick', '', 9]]]] * N), [[[['A', 0], ['B', 1], ['B', 6], ['B', 8]], [['B', 10]]]] * N)\ncheck('repeat-clock scenario 5', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 1], ['blur', '', 3], ['tick', '', 10]]]] * N), [[[['A', 0], ['B', 1]], []]] * N)\ncheck('repeat-clock scenario 6', solve([[5, 2, [['down', 'A', 0], ['tick', '', 12]]]] * N), [[[['A', 0], ['A', 5], ['A', 7], ['A', 9], ['A', 11]], [['A', 13]]]] * N)\ncheck('repeat-clock scenario 7', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 0], ['tick', '', 5]]]] * N), [[[['A', 0], ['B', 0], ['A', 5], ['B', 5]], [['A', 7], ['B', 7]]]] * N)\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":"ccc8cba64048fa61267cb0aca01cbd985bf0cd4e295ba0b7a6f83c140f037e41","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        delay,period,events=c\n        next_due={}; output=[]\n        for kind,key,now in events:\n            if kind=='down' and key not in next_due:\n                output.append([key,now])\n                next_due[key]=now+delay\n            elif kind=='up':\n                next_due.clear()\n            elif kind=='blur':\n                next_due.clear()\n            elif kind=='tick':\n                ready=sorted((t,k) for k,t in next_due.items() if t<=now)\n                while ready:\n                    due,k=ready[0]\n                    output.append([k,due])\n                    next_due[k]=due+period\n                    ready=sorted((t,k) for k,t in next_due.items() if t<=now)\n        return [output,sorted([[k,v] for k,v in next_due.items()])]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('repeat-clock scenario 0', solve([[5, 2, []]] * N), [[[], []]] * N)\ncheck('repeat-clock scenario 1', solve([[5, 2, [['down', 'A', 10], ['tick', '', 15]]]] * N), [[[['A', 10], ['A', 15]], [['A', 17]]]] * N)\ncheck('repeat-clock scenario 2', solve([[5, 2, [['down', 'A', 10], ['down', 'A', 12], ['tick', '', 17]]]] * N), [[[['A', 10], ['A', 15], ['A', 17]], [['A', 19]]]] * N)\ncheck('repeat-clock scenario 3', solve([[5, 2, [['down', 'Z', 0], ['down', 'A', 1], ['tick', '', 10]]]] * N), [[[['Z', 0], ['A', 1], ['Z', 5], ['A', 6], ['Z', 7], ['A', 8], ['Z', 9], ['A', 10]], [['A', 12], ['Z', 11]]]] * N)\ncheck('repeat-clock scenario 4', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 1], ['up', 'A', 2], ['tick', '', 9]]]] * N), [[[['A', 0], ['B', 1], ['B', 6], ['B', 8]], [['B', 10]]]] * N)\ncheck('repeat-clock scenario 5', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 1], ['blur', '', 3], ['tick', '', 10]]]] * N), [[[['A', 0], ['B', 1]], []]] * N)\ncheck('repeat-clock scenario 6', solve([[5, 2, [['down', 'A', 0], ['tick', '', 12]]]] * N), [[[['A', 0], ['A', 5], ['A', 7], ['A', 9], ['A', 11]], [['A', 13]]]] * N)\ncheck('repeat-clock scenario 7', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 0], ['tick', '', 5]]]] * N), [[[['A', 0], ['B', 0], ['A', 5], ['B', 5]], [['A', 7], ['B', 7]]]] * N)\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":"918e78dde2188835289176e5100f5ef0368da2c6990bf43874e92fc713ff776c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cases):\n    def run(c):\n        delay,period,events=c\n        next_due={}; output=[]\n        for kind,key,now in events:\n            if kind=='down' and key not in next_due:\n                output.append([key,now])\n                next_due[key]=now+delay\n            elif kind=='up':\n                next_due.pop(key,None)\n            elif kind=='blur':\n                next_due.clear()\n            elif kind=='tick':\n                ready=sorted((t,k) for k,t in next_due.items() if t<=now)\n                while ready:\n                    due,k=ready[0]\n                    output.append([k,due])\n                    next_due[k]=due+period\n                    ready=sorted((t,k) for k,t in next_due.items() if t<=now)\n        return [output,sorted([[k,v] for k,v in next_due.items()])]\n    return [run(c) for c in cases]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('repeat-clock scenario 0', solve([[5, 2, []]] * N), [[[], []]] * N)\ncheck('repeat-clock scenario 1', solve([[5, 2, [['down', 'A', 10], ['tick', '', 15]]]] * N), [[[['A', 10], ['A', 15]], [['A', 17]]]] * N)\ncheck('repeat-clock scenario 2', solve([[5, 2, [['down', 'A', 10], ['down', 'A', 12], ['tick', '', 17]]]] * N), [[[['A', 10], ['A', 15], ['A', 17]], [['A', 19]]]] * N)\ncheck('repeat-clock scenario 3', solve([[5, 2, [['down', 'Z', 0], ['down', 'A', 1], ['tick', '', 10]]]] * N), [[[['Z', 0], ['A', 1], ['Z', 5], ['A', 6], ['Z', 7], ['A', 8], ['Z', 9], ['A', 10]], [['A', 12], ['Z', 11]]]] * N)\ncheck('repeat-clock scenario 4', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 1], ['up', 'A', 2], ['tick', '', 9]]]] * N), [[[['A', 0], ['B', 1], ['B', 6], ['B', 8]], [['B', 10]]]] * N)\ncheck('repeat-clock scenario 5', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 1], ['blur', '', 3], ['tick', '', 10]]]] * N), [[[['A', 0], ['B', 1]], []]] * N)\ncheck('repeat-clock scenario 6', solve([[5, 2, [['down', 'A', 0], ['tick', '', 12]]]] * N), [[[['A', 0], ['A', 5], ['A', 7], ['A', 9], ['A', 11]], [['A', 13]]]] * N)\ncheck('repeat-clock scenario 7', solve([[5, 2, [['down', 'A', 0], ['down', 'B', 0], ['tick', '', 5]]]] * N), [[[['A', 0], ['B', 0], ['A', 5], ['B', 5]], [['A', 7], ['B', 7]]]] * N)\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":"Offline stipulated event model, not a browser implementation or web standard 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-keyboard-interactions-repeat-clock-up-unschedule","generated_at":"2026-09-29T14:41:58.584761+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Controlled keyboard event processing model for debugging application event logic.","repair":"Use the contract transition `next_due.pop(key,None)` at the up unschedule fault site; preserve the other state transitions.","root_cause":"Releasing one key cancels other keys or retains its own timer.","sha256":"0af1f2cc0a65ee7ebd491758ceec13d1a2d1781c2fee085132dcc8b462ee4ea6","title":"Owned repeat deadline scheduler: Releasing one key cancels other keys or retains its own timer · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.271,"exit_code":1,"observations":[{"actual":[[[],[]]],"check":"repeat-clock scenario 0","expected":[[[],[]]],"passed":true},{"actual":[[[["A",10],["A",15]],[["A",17]]]],"check":"repeat-clock scenario 1","expected":[[[["A",10],["A",15]],[["A",17]]]],"passed":true},{"actual":[[[["A",10],["A",15],["A",17]],[["A",19]]]],"check":"repeat-clock scenario 2","expected":[[[["A",10],["A",15],["A",17]],[["A",19]]]],"passed":true},{"actual":[[[["Z",0],["A",1],["Z",5],["A",6],["Z",7],["A",8],["Z",9],["A",10]],[["A",12],["Z",11]]]],"check":"repeat-clock scenario 3","expected":[[[["Z",0],["A",1],["Z",5],["A",6],["Z",7],["A",8],["Z",9],["A",10]],[["A",12],["Z",11]]]],"passed":true},{"actual":[[[["A",0],["B",1],["A",5],["B",6],["A",7],["B",8],["A",9]],[["A",11],["B",10]]]],"check":"repeat-clock scenario 4","expected":[[[["A",0],["B",1],["B",6],["B",8]],[["B",10]]]],"passed":false},{"actual":[[[["A",0],["B",1]],[]]],"check":"repeat-clock scenario 5","expected":[[[["A",0],["B",1]],[]]],"passed":true},{"actual":[[[["A",0],["A",5],["A",7],["A",9],["A",11]],[["A",13]]]],"check":"repeat-clock scenario 6","expected":[[[["A",0],["A",5],["A",7],["A",9],["A",11]],[["A",13]]]],"passed":true},{"actual":[[[["A",0],["B",0],["A",5],["B",5]],[["A",7],["B",7]]]],"check":"repeat-clock scenario 7","expected":[[[["A",0],["B",0],["A",5],["B",5]],[["A",7],["B",7]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"repeat-clock scenario 0\", \"actual\": [[[], []]], \"expected\": [[[], []]], \"passed\": true}, {\"check\": \"repeat-clock scenario 1\", \"actual\": [[[[\"A\", 10], [\"A\", 15]], [[\"A\", 17]]]], \"expected\": [[[[\"A\", 10], [\"A\", 15]], [[\"A\", 17]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 2\", \"actual\": [[[[\"A\", 10], [\"A\", 15], [\"A\", 17]], [[\"A\", 19]]]], \"expected\": [[[[\"A\", 10], [\"A\", 15], [\"A\", 17]], [[\"A\", 19]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 3\", \"actual\": [[[[\"Z\", 0], [\"A\", 1], [\"Z\", 5], [\"A\", 6], [\"Z\", 7], [\"A\", 8], [\"Z\", 9], [\"A\", 10]], [[\"A\", 12], [\"Z\", 11]]]], \"expected\": [[[[\"Z\", 0], [\"A\", 1], [\"Z\", 5], [\"A\", 6], [\"Z\", 7], [\"A\", 8], [\"Z\", 9], [\"A\", 10]], [[\"A\", 12], [\"Z\", 11]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 4\", \"actual\": [[[[\"A\", 0], [\"B\", 1], [\"A\", 5], [\"B\", 6], [\"A\", 7], [\"B\", 8], [\"A\", 9]], [[\"A\", 11], [\"B\", 10]]]], \"expected\": [[[[\"A\", 0], [\"B\", 1], [\"B\", 6], [\"B\", 8]], [[\"B\", 10]]]], \"passed\": false}, {\"check\": \"repeat-clock scenario 5\", \"actual\": [[[[\"A\", 0], [\"B\", 1]], []]], \"expected\": [[[[\"A\", 0], [\"B\", 1]], []]], \"passed\": true}, {\"check\": \"repeat-clock scenario 6\", \"actual\": [[[[\"A\", 0], [\"A\", 5], [\"A\", 7], [\"A\", 9], [\"A\", 11]], [[\"A\", 13]]]], \"expected\": [[[[\"A\", 0], [\"A\", 5], [\"A\", 7], [\"A\", 9], [\"A\", 11]], [[\"A\", 13]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 7\", \"actual\": [[[[\"A\", 0], [\"B\", 0], [\"A\", 5], [\"B\", 5]], [[\"A\", 7], [\"B\", 7]]]], \"expected\": [[[[\"A\", 0], [\"B\", 0], [\"A\", 5], [\"B\", 5]], [[\"A\", 7], [\"B\", 7]]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.558,"exit_code":1,"observations":[{"actual":[[[],[]]],"check":"repeat-clock scenario 0","expected":[[[],[]]],"passed":true},{"actual":[[[["A",10],["A",15]],[["A",17]]]],"check":"repeat-clock scenario 1","expected":[[[["A",10],["A",15]],[["A",17]]]],"passed":true},{"actual":[[[["A",10],["A",15],["A",17]],[["A",19]]]],"check":"repeat-clock scenario 2","expected":[[[["A",10],["A",15],["A",17]],[["A",19]]]],"passed":true},{"actual":[[[["Z",0],["A",1],["Z",5],["A",6],["Z",7],["A",8],["Z",9],["A",10]],[["A",12],["Z",11]]]],"check":"repeat-clock scenario 3","expected":[[[["Z",0],["A",1],["Z",5],["A",6],["Z",7],["A",8],["Z",9],["A",10]],[["A",12],["Z",11]]]],"passed":true},{"actual":[[[["A",0],["B",1]],[]]],"check":"repeat-clock scenario 4","expected":[[[["A",0],["B",1],["B",6],["B",8]],[["B",10]]]],"passed":false},{"actual":[[[["A",0],["B",1]],[]]],"check":"repeat-clock scenario 5","expected":[[[["A",0],["B",1]],[]]],"passed":true},{"actual":[[[["A",0],["A",5],["A",7],["A",9],["A",11]],[["A",13]]]],"check":"repeat-clock scenario 6","expected":[[[["A",0],["A",5],["A",7],["A",9],["A",11]],[["A",13]]]],"passed":true},{"actual":[[[["A",0],["B",0],["A",5],["B",5]],[["A",7],["B",7]]]],"check":"repeat-clock scenario 7","expected":[[[["A",0],["B",0],["A",5],["B",5]],[["A",7],["B",7]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"repeat-clock scenario 0\", \"actual\": [[[], []]], \"expected\": [[[], []]], \"passed\": true}, {\"check\": \"repeat-clock scenario 1\", \"actual\": [[[[\"A\", 10], [\"A\", 15]], [[\"A\", 17]]]], \"expected\": [[[[\"A\", 10], [\"A\", 15]], [[\"A\", 17]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 2\", \"actual\": [[[[\"A\", 10], [\"A\", 15], [\"A\", 17]], [[\"A\", 19]]]], \"expected\": [[[[\"A\", 10], [\"A\", 15], [\"A\", 17]], [[\"A\", 19]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 3\", \"actual\": [[[[\"Z\", 0], [\"A\", 1], [\"Z\", 5], [\"A\", 6], [\"Z\", 7], [\"A\", 8], [\"Z\", 9], [\"A\", 10]], [[\"A\", 12], [\"Z\", 11]]]], \"expected\": [[[[\"Z\", 0], [\"A\", 1], [\"Z\", 5], [\"A\", 6], [\"Z\", 7], [\"A\", 8], [\"Z\", 9], [\"A\", 10]], [[\"A\", 12], [\"Z\", 11]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 4\", \"actual\": [[[[\"A\", 0], [\"B\", 1]], []]], \"expected\": [[[[\"A\", 0], [\"B\", 1], [\"B\", 6], [\"B\", 8]], [[\"B\", 10]]]], \"passed\": false}, {\"check\": \"repeat-clock scenario 5\", \"actual\": [[[[\"A\", 0], [\"B\", 1]], []]], \"expected\": [[[[\"A\", 0], [\"B\", 1]], []]], \"passed\": true}, {\"check\": \"repeat-clock scenario 6\", \"actual\": [[[[\"A\", 0], [\"A\", 5], [\"A\", 7], [\"A\", 9], [\"A\", 11]], [[\"A\", 13]]]], \"expected\": [[[[\"A\", 0], [\"A\", 5], [\"A\", 7], [\"A\", 9], [\"A\", 11]], [[\"A\", 13]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 7\", \"actual\": [[[[\"A\", 0], [\"B\", 0], [\"A\", 5], [\"B\", 5]], [[\"A\", 7], [\"B\", 7]]]], \"expected\": [[[[\"A\", 0], [\"B\", 0], [\"A\", 5], [\"B\", 5]], [[\"A\", 7], [\"B\", 7]]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.374,"exit_code":0,"observations":[{"actual":[[[],[]]],"check":"repeat-clock scenario 0","expected":[[[],[]]],"passed":true},{"actual":[[[["A",10],["A",15]],[["A",17]]]],"check":"repeat-clock scenario 1","expected":[[[["A",10],["A",15]],[["A",17]]]],"passed":true},{"actual":[[[["A",10],["A",15],["A",17]],[["A",19]]]],"check":"repeat-clock scenario 2","expected":[[[["A",10],["A",15],["A",17]],[["A",19]]]],"passed":true},{"actual":[[[["Z",0],["A",1],["Z",5],["A",6],["Z",7],["A",8],["Z",9],["A",10]],[["A",12],["Z",11]]]],"check":"repeat-clock scenario 3","expected":[[[["Z",0],["A",1],["Z",5],["A",6],["Z",7],["A",8],["Z",9],["A",10]],[["A",12],["Z",11]]]],"passed":true},{"actual":[[[["A",0],["B",1],["B",6],["B",8]],[["B",10]]]],"check":"repeat-clock scenario 4","expected":[[[["A",0],["B",1],["B",6],["B",8]],[["B",10]]]],"passed":true},{"actual":[[[["A",0],["B",1]],[]]],"check":"repeat-clock scenario 5","expected":[[[["A",0],["B",1]],[]]],"passed":true},{"actual":[[[["A",0],["A",5],["A",7],["A",9],["A",11]],[["A",13]]]],"check":"repeat-clock scenario 6","expected":[[[["A",0],["A",5],["A",7],["A",9],["A",11]],[["A",13]]]],"passed":true},{"actual":[[[["A",0],["B",0],["A",5],["B",5]],[["A",7],["B",7]]]],"check":"repeat-clock scenario 7","expected":[[[["A",0],["B",0],["A",5],["B",5]],[["A",7],["B",7]]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"repeat-clock scenario 0\", \"actual\": [[[], []]], \"expected\": [[[], []]], \"passed\": true}, {\"check\": \"repeat-clock scenario 1\", \"actual\": [[[[\"A\", 10], [\"A\", 15]], [[\"A\", 17]]]], \"expected\": [[[[\"A\", 10], [\"A\", 15]], [[\"A\", 17]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 2\", \"actual\": [[[[\"A\", 10], [\"A\", 15], [\"A\", 17]], [[\"A\", 19]]]], \"expected\": [[[[\"A\", 10], [\"A\", 15], [\"A\", 17]], [[\"A\", 19]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 3\", \"actual\": [[[[\"Z\", 0], [\"A\", 1], [\"Z\", 5], [\"A\", 6], [\"Z\", 7], [\"A\", 8], [\"Z\", 9], [\"A\", 10]], [[\"A\", 12], [\"Z\", 11]]]], \"expected\": [[[[\"Z\", 0], [\"A\", 1], [\"Z\", 5], [\"A\", 6], [\"Z\", 7], [\"A\", 8], [\"Z\", 9], [\"A\", 10]], [[\"A\", 12], [\"Z\", 11]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 4\", \"actual\": [[[[\"A\", 0], [\"B\", 1], [\"B\", 6], [\"B\", 8]], [[\"B\", 10]]]], \"expected\": [[[[\"A\", 0], [\"B\", 1], [\"B\", 6], [\"B\", 8]], [[\"B\", 10]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 5\", \"actual\": [[[[\"A\", 0], [\"B\", 1]], []]], \"expected\": [[[[\"A\", 0], [\"B\", 1]], []]], \"passed\": true}, {\"check\": \"repeat-clock scenario 6\", \"actual\": [[[[\"A\", 0], [\"A\", 5], [\"A\", 7], [\"A\", 9], [\"A\", 11]], [[\"A\", 13]]]], \"expected\": [[[[\"A\", 0], [\"A\", 5], [\"A\", 7], [\"A\", 9], [\"A\", 11]], [[\"A\", 13]]]], \"passed\": true}, {\"check\": \"repeat-clock scenario 7\", \"actual\": [[[[\"A\", 0], [\"B\", 0], [\"A\", 5], [\"B\", 5]], [[\"A\", 7], [\"B\", 7]]]], \"expected\": [[[[\"A\", 0], [\"B\", 0], [\"A\", 5], [\"B\", 5]], [[\"A\", 7], [\"B\", 7]]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}