{"abstract":"Reverse motion effects get negative record durations.","category":"Broadcast timecode arithmetic","checks":9,"contract":"event [src_in, src_out, rec_in, speed_percent] with non-drop labels at fps; src_out is exclusive and may cross midnight. Record duration = source frames * 100 / |speed| rounded half up (reverse speeds use the magnitude; speed 0 returns None). Return [record_out label (exclusive, wrapped at 24 h), record duration].","evaluation_group":"w2-broadcast-timecode-arithmetic-edl-speed-event","failed_approach":"Treating reverse events as normal speed ignores the reverse effect rate.","family":"w2-broadcast-timecode-arithmetic-edl-speed-event-reverse-speed-magnitude","id":"FA-78491","implementations":{"attempt":{"sha256":"1e6933572807856f20f9937bb36cd5816347ef461469cb44ad157d65f4ab742d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, fps):\n    def fr(t):\n        h,m,s,f=map(int,t.split(':'))\n        return ((h*60+m)*60+s)*fps+f\n    def tc(n):\n        n%=86400*fps\n        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)\n    src_in,src_out,rec_in,speed=event\n    if speed==0:\n        return None\n    sp=speed if speed>0 else 100\n    dur=(fr(src_out)-fr(src_in))%(86400*fps)\n    rec=(dur*200+sp)//(2*sp)\n    return [tc(fr(rec_in)+rec),rec]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: reverse speed magnitude', [['00:29:01:12', '10:00:59:01', '23:00:59:01', -100], 24], ['08:32:56:14', 823621]), ('regression variant: reverse speed magnitude', [['01:00:59:24', '00:00:01:00', '00:59:59:01', -50], 25], ['22:58:01:03', 4137052]), ('partial repair probe: reverse speed magnitude', [['10:59:30:12', '00:01:01:00', '23:00:30:01', -200], 24], ['05:31:15:07', 562686]), ('partial repair variant: reverse speed magnitude', [['23:29:01:23', '00:01:59:23', '00:29:30:23', -50], 24], ['01:35:26:23', 94944]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('normal control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['00:01:59:01', '23:00:00:00', '23:00:01:12', 33], 25], ['20:35:49:21', 6263709]), ('normal control', [['23:01:00:00', '01:01:00:23', '01:00:30:12', 75], 24], ['03:40:31:19', 230431])], [('regression: reverse speed magnitude', [['00:00:01:12', '23:00:30:01', '00:01:59:00', -100], 25], ['23:02:27:14', 2070714]), ('regression variant: reverse speed magnitude', [['10:59:30:12', '00:01:01:00', '23:00:30:01', -200], 24], ['05:31:15:07', 562686]), ('partial repair probe: reverse speed magnitude', [['00:01:59:23', '00:01:30:23', '23:59:00:12', -50], 24], ['23:58:02:12', 4145808]), ('partial repair variant: reverse speed magnitude', [['00:29:59:24', '01:00:59:01', '00:00:00:01', -50], 25], ['01:01:58:05', 92954]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['01:00:59:00', '00:01:30:01', '23:29:01:12', 250], 24], ['08:41:13:22', 795178]), ('normal control', [['23:01:01:01', '01:59:01:29', '23:59:01:01', 250], 30], ['01:10:13:12', 128171]), ('normal control', [['23:01:01:00', '00:00:30:23', '01:01:30:01', 100], 24], ['02:01:00:00', 85679])], [('regression: reverse speed magnitude', [['10:59:00:23', '00:00:30:00', '23:00:30:00', -50], 24], ['01:03:28:02', 2250674]), ('regression variant: reverse speed magnitude', [['00:01:59:23', '00:01:30:23', '23:59:00:12', -50], 24], ['23:58:02:12', 4145808]), ('partial repair probe: reverse speed magnitude', [['23:29:59:15', '10:00:01:29', '23:29:00:00', -50], 30], ['20:29:04:28', 2268148]), ('partial repair variant: reverse speed magnitude', [['01:00:00:00', '23:00:00:23', '23:01:59:23', -50], 24], ['19:02:01:21', 3801646]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('normal control', [['23:29:00:00', '23:59:00:23', '00:59:00:01', 0], 24], None), ('normal control', [['23:59:30:01', '00:00:01:01', '00:59:01:00', 75], 24], ['00:59:42:08', 992]), ('normal control', [['10:00:30:01', '23:00:00:01', '23:29:01:01', 100], 30], ['12:28:31:01', 1403100])], [('regression: reverse speed magnitude', [['00:01:00:00', '10:29:00:12', '23:59:01:12', -100], 25], ['10:27:01:24', 942012]), ('regression variant: reverse speed magnitude', [['23:29:59:15', '10:00:01:29', '23:29:00:00', -50], 30], ['20:29:04:28', 2268148]), ('partial repair probe: reverse speed magnitude', [['23:29:01:00', '23:59:00:23', '23:29:59:01', -200], 24], ['23:44:59:01', 21600]), ('partial repair variant: reverse speed magnitude', [['00:00:59:12', '23:29:00:23', '00:29:00:01', -50], 24], ['23:25:02:23', 4055110]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('normal control', [['00:29:59:01', '01:59:30:24', '00:01:59:12', 200], 25], ['00:46:45:11', 67149]), ('normal control', [['01:01:30:01', '10:59:01:01', '23:59:59:01', 100], 25], ['09:57:30:01', 896275]), ('normal control', [['00:29:59:12', '00:59:01:12', '01:29:00:12', 75], 24], ['02:07:43:04', 55744])], [('regression: reverse speed magnitude', [['10:29:30:23', '23:59:59:00', '00:59:30:01', -200], 24], ['07:44:44:02', 583537]), ('regression variant: reverse speed magnitude', [['23:29:01:00', '23:59:00:23', '23:29:59:01', -200], 24], ['23:44:59:01', 21600]), ('partial repair probe: reverse speed magnitude', [['00:01:59:00', '23:00:59:01', '00:00:59:23', -50], 24], ['21:59:00:01', 3971522]), ('partial repair variant: reverse speed magnitude', [['10:29:59:24', '10:00:00:12', '23:29:59:01', -200], 25], ['11:14:59:08', 1057507]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['00:29:00:12', '23:29:59:12', '00:59:01:00', 33], 25], ['22:43:48:22', 6277197]), ('normal control', [['00:29:59:01', '23:00:01:01', '01:59:01:12', 200], 25], ['13:14:02:12', 1012525]), ('normal control', [['10:59:59:24', '01:29:59:01', '23:59:30:12', 75], 25], ['19:19:29:06', 1739969])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\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":"19cbdd1173263b5a80d1ae157b91cdb18a1f94bc02fc10878e7cd2f9edbd2a64","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, fps):\n    def fr(t):\n        h,m,s,f=map(int,t.split(':'))\n        return ((h*60+m)*60+s)*fps+f\n    def tc(n):\n        n%=86400*fps\n        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)\n    src_in,src_out,rec_in,speed=event\n    if speed==0:\n        return None\n    sp=speed\n    dur=(fr(src_out)-fr(src_in))%(86400*fps)\n    rec=(dur*200+sp)//(2*sp)\n    return [tc(fr(rec_in)+rec),rec]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: reverse speed magnitude', [['00:29:01:12', '10:00:59:01', '23:00:59:01', -100], 24], ['08:32:56:14', 823621]), ('regression variant: reverse speed magnitude', [['01:00:59:24', '00:00:01:00', '00:59:59:01', -50], 25], ['22:58:01:03', 4137052]), ('partial repair probe: reverse speed magnitude', [['10:59:30:12', '00:01:01:00', '23:00:30:01', -200], 24], ['05:31:15:07', 562686]), ('partial repair variant: reverse speed magnitude', [['23:29:01:23', '00:01:59:23', '00:29:30:23', -50], 24], ['01:35:26:23', 94944]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('normal control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['00:01:59:01', '23:00:00:00', '23:00:01:12', 33], 25], ['20:35:49:21', 6263709]), ('normal control', [['23:01:00:00', '01:01:00:23', '01:00:30:12', 75], 24], ['03:40:31:19', 230431])], [('regression: reverse speed magnitude', [['00:00:01:12', '23:00:30:01', '00:01:59:00', -100], 25], ['23:02:27:14', 2070714]), ('regression variant: reverse speed magnitude', [['10:59:30:12', '00:01:01:00', '23:00:30:01', -200], 24], ['05:31:15:07', 562686]), ('partial repair probe: reverse speed magnitude', [['00:01:59:23', '00:01:30:23', '23:59:00:12', -50], 24], ['23:58:02:12', 4145808]), ('partial repair variant: reverse speed magnitude', [['00:29:59:24', '01:00:59:01', '00:00:00:01', -50], 25], ['01:01:58:05', 92954]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['01:00:59:00', '00:01:30:01', '23:29:01:12', 250], 24], ['08:41:13:22', 795178]), ('normal control', [['23:01:01:01', '01:59:01:29', '23:59:01:01', 250], 30], ['01:10:13:12', 128171]), ('normal control', [['23:01:01:00', '00:00:30:23', '01:01:30:01', 100], 24], ['02:01:00:00', 85679])], [('regression: reverse speed magnitude', [['10:59:00:23', '00:00:30:00', '23:00:30:00', -50], 24], ['01:03:28:02', 2250674]), ('regression variant: reverse speed magnitude', [['00:01:59:23', '00:01:30:23', '23:59:00:12', -50], 24], ['23:58:02:12', 4145808]), ('partial repair probe: reverse speed magnitude', [['23:29:59:15', '10:00:01:29', '23:29:00:00', -50], 30], ['20:29:04:28', 2268148]), ('partial repair variant: reverse speed magnitude', [['01:00:00:00', '23:00:00:23', '23:01:59:23', -50], 24], ['19:02:01:21', 3801646]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('normal control', [['23:29:00:00', '23:59:00:23', '00:59:00:01', 0], 24], None), ('normal control', [['23:59:30:01', '00:00:01:01', '00:59:01:00', 75], 24], ['00:59:42:08', 992]), ('normal control', [['10:00:30:01', '23:00:00:01', '23:29:01:01', 100], 30], ['12:28:31:01', 1403100])], [('regression: reverse speed magnitude', [['00:01:00:00', '10:29:00:12', '23:59:01:12', -100], 25], ['10:27:01:24', 942012]), ('regression variant: reverse speed magnitude', [['23:29:59:15', '10:00:01:29', '23:29:00:00', -50], 30], ['20:29:04:28', 2268148]), ('partial repair probe: reverse speed magnitude', [['23:29:01:00', '23:59:00:23', '23:29:59:01', -200], 24], ['23:44:59:01', 21600]), ('partial repair variant: reverse speed magnitude', [['00:00:59:12', '23:29:00:23', '00:29:00:01', -50], 24], ['23:25:02:23', 4055110]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('normal control', [['00:29:59:01', '01:59:30:24', '00:01:59:12', 200], 25], ['00:46:45:11', 67149]), ('normal control', [['01:01:30:01', '10:59:01:01', '23:59:59:01', 100], 25], ['09:57:30:01', 896275]), ('normal control', [['00:29:59:12', '00:59:01:12', '01:29:00:12', 75], 24], ['02:07:43:04', 55744])], [('regression: reverse speed magnitude', [['10:29:30:23', '23:59:59:00', '00:59:30:01', -200], 24], ['07:44:44:02', 583537]), ('regression variant: reverse speed magnitude', [['23:29:01:00', '23:59:00:23', '23:29:59:01', -200], 24], ['23:44:59:01', 21600]), ('partial repair probe: reverse speed magnitude', [['00:01:59:00', '23:00:59:01', '00:00:59:23', -50], 24], ['21:59:00:01', 3971522]), ('partial repair variant: reverse speed magnitude', [['10:29:59:24', '10:00:00:12', '23:29:59:01', -200], 25], ['11:14:59:08', 1057507]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['00:29:00:12', '23:29:59:12', '00:59:01:00', 33], 25], ['22:43:48:22', 6277197]), ('normal control', [['00:29:59:01', '23:00:01:01', '01:59:01:12', 200], 25], ['13:14:02:12', 1012525]), ('normal control', [['10:59:59:24', '01:29:59:01', '23:59:30:12', 75], 25], ['19:19:29:06', 1739969])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\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":"808a7c85840e6adbdd299746d03b1609c6dd7e600812eadc558912a767fa031f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, fps):\n    def fr(t):\n        h,m,s,f=map(int,t.split(':'))\n        return ((h*60+m)*60+s)*fps+f\n    def tc(n):\n        n%=86400*fps\n        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)\n    src_in,src_out,rec_in,speed=event\n    if speed==0:\n        return None\n    sp=abs(speed)\n    dur=(fr(src_out)-fr(src_in))%(86400*fps)\n    rec=(dur*200+sp)//(2*sp)\n    return [tc(fr(rec_in)+rec),rec]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: reverse speed magnitude', [['00:29:01:12', '10:00:59:01', '23:00:59:01', -100], 24], ['08:32:56:14', 823621]), ('regression variant: reverse speed magnitude', [['01:00:59:24', '00:00:01:00', '00:59:59:01', -50], 25], ['22:58:01:03', 4137052]), ('partial repair probe: reverse speed magnitude', [['10:59:30:12', '00:01:01:00', '23:00:30:01', -200], 24], ['05:31:15:07', 562686]), ('partial repair variant: reverse speed magnitude', [['23:29:01:23', '00:01:59:23', '00:29:30:23', -50], 24], ['01:35:26:23', 94944]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('normal control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['00:01:59:01', '23:00:00:00', '23:00:01:12', 33], 25], ['20:35:49:21', 6263709]), ('normal control', [['23:01:00:00', '01:01:00:23', '01:00:30:12', 75], 24], ['03:40:31:19', 230431])], [('regression: reverse speed magnitude', [['00:00:01:12', '23:00:30:01', '00:01:59:00', -100], 25], ['23:02:27:14', 2070714]), ('regression variant: reverse speed magnitude', [['10:59:30:12', '00:01:01:00', '23:00:30:01', -200], 24], ['05:31:15:07', 562686]), ('partial repair probe: reverse speed magnitude', [['00:01:59:23', '00:01:30:23', '23:59:00:12', -50], 24], ['23:58:02:12', 4145808]), ('partial repair variant: reverse speed magnitude', [['00:29:59:24', '01:00:59:01', '00:00:00:01', -50], 25], ['01:01:58:05', 92954]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['01:00:59:00', '00:01:30:01', '23:29:01:12', 250], 24], ['08:41:13:22', 795178]), ('normal control', [['23:01:01:01', '01:59:01:29', '23:59:01:01', 250], 30], ['01:10:13:12', 128171]), ('normal control', [['23:01:01:00', '00:00:30:23', '01:01:30:01', 100], 24], ['02:01:00:00', 85679])], [('regression: reverse speed magnitude', [['10:59:00:23', '00:00:30:00', '23:00:30:00', -50], 24], ['01:03:28:02', 2250674]), ('regression variant: reverse speed magnitude', [['00:01:59:23', '00:01:30:23', '23:59:00:12', -50], 24], ['23:58:02:12', 4145808]), ('partial repair probe: reverse speed magnitude', [['23:29:59:15', '10:00:01:29', '23:29:00:00', -50], 30], ['20:29:04:28', 2268148]), ('partial repair variant: reverse speed magnitude', [['01:00:00:00', '23:00:00:23', '23:01:59:23', -50], 24], ['19:02:01:21', 3801646]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('normal control', [['23:29:00:00', '23:59:00:23', '00:59:00:01', 0], 24], None), ('normal control', [['23:59:30:01', '00:00:01:01', '00:59:01:00', 75], 24], ['00:59:42:08', 992]), ('normal control', [['10:00:30:01', '23:00:00:01', '23:29:01:01', 100], 30], ['12:28:31:01', 1403100])], [('regression: reverse speed magnitude', [['00:01:00:00', '10:29:00:12', '23:59:01:12', -100], 25], ['10:27:01:24', 942012]), ('regression variant: reverse speed magnitude', [['23:29:59:15', '10:00:01:29', '23:29:00:00', -50], 30], ['20:29:04:28', 2268148]), ('partial repair probe: reverse speed magnitude', [['23:29:01:00', '23:59:00:23', '23:29:59:01', -200], 24], ['23:44:59:01', 21600]), ('partial repair variant: reverse speed magnitude', [['00:00:59:12', '23:29:00:23', '00:29:00:01', -50], 24], ['23:25:02:23', 4055110]), ('boundary control', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('normal control', [['00:29:59:01', '01:59:30:24', '00:01:59:12', 200], 25], ['00:46:45:11', 67149]), ('normal control', [['01:01:30:01', '10:59:01:01', '23:59:59:01', 100], 25], ['09:57:30:01', 896275]), ('normal control', [['00:29:59:12', '00:59:01:12', '01:29:00:12', 75], 24], ['02:07:43:04', 55744])], [('regression: reverse speed magnitude', [['10:29:30:23', '23:59:59:00', '00:59:30:01', -200], 24], ['07:44:44:02', 583537]), ('regression variant: reverse speed magnitude', [['23:29:01:00', '23:59:00:23', '23:29:59:01', -200], 24], ['23:44:59:01', 21600]), ('partial repair probe: reverse speed magnitude', [['00:01:59:00', '23:00:59:01', '00:00:59:23', -50], 24], ['21:59:00:01', 3971522]), ('partial repair variant: reverse speed magnitude', [['10:29:59:24', '10:00:00:12', '23:29:59:01', -200], 25], ['11:14:59:08', 1057507]), ('boundary control', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('boundary control', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('normal control', [['00:29:00:12', '23:29:59:12', '00:59:01:00', 33], 25], ['22:43:48:22', 6277197]), ('normal control', [['00:29:59:01', '23:00:01:01', '01:59:01:12', 200], 25], ['13:14:02:12', 1012525]), ('normal control', [['10:59:59:24', '01:29:59:01', '23:59:30:12', 75], 25], ['19:19:29:06', 1739969])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\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":"A deterministic bounded teaching model with a stipulated toy contract; it does not claim conformance to SMPTE or any broadcast standard. 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":"w2-broadcast-timecode-arithmetic-edl-speed-event-reverse-speed-magnitude","generated_at":"2026-09-29T14:49:35.902073+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Timecode arithmetic errors misplace edits, commercial breaks and captions against the broadcast clock.","repair":"Use the magnitude of the speed for the duration.","root_cause":"The signed speed is used as the divisor.","sha256":"9bb4fd8960b622e6f71f6da3ba5a8b6c473040a2646d7bdb24026854a8e75df2","title":"EDL speed-change record out: reverse speed magnitude · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.618,"exit_code":1,"observations":[{"actual":["08:32:56:14",823621],"check":"regression: reverse speed magnitude","expected":["08:32:56:14",823621],"passed":true},{"actual":["23:59:00:02",2068526],"check":"regression variant: reverse speed magnitude","expected":["22:58:01:03",4137052],"passed":false},{"actual":["12:02:00:13",1125372],"check":"partial repair probe: reverse speed magnitude","expected":["05:31:15:07",562686],"passed":false},{"actual":["01:02:28:23",47472],"check":"partial repair variant: reverse speed magnitude","expected":["01:35:26:23",94944],"passed":false},{"actual":["10:00:02:00",50],"check":"boundary control","expected":["10:00:02:00",50],"passed":true},{"actual":["00:00:02:00",50],"check":"boundary control","expected":["00:00:02:00",50],"passed":true},{"actual":["00:00:00:02",2],"check":"normal control","expected":["00:00:00:02",2],"passed":true},{"actual":["20:35:49:21",6263709],"check":"normal control","expected":["20:35:49:21",6263709],"passed":true},{"actual":["03:40:31:19",230431],"check":"normal control","expected":["03:40:31:19",230431],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: reverse speed magnitude\", \"actual\": [\"08:32:56:14\", 823621], \"expected\": [\"08:32:56:14\", 823621], \"passed\": true}, {\"check\": \"regression variant: reverse speed magnitude\", \"actual\": [\"23:59:00:02\", 2068526], \"expected\": [\"22:58:01:03\", 4137052], \"passed\": false}, {\"check\": \"partial repair probe: reverse speed magnitude\", \"actual\": [\"12:02:00:13\", 1125372], \"expected\": [\"05:31:15:07\", 562686], \"passed\": false}, {\"check\": \"partial repair variant: reverse speed magnitude\", \"actual\": [\"01:02:28:23\", 47472], \"expected\": [\"01:35:26:23\", 94944], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [\"10:00:02:00\", 50], \"expected\": [\"10:00:02:00\", 50], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [\"00:00:02:00\", 50], \"expected\": [\"00:00:02:00\", 50], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"00:00:00:02\", 2], \"expected\": [\"00:00:00:02\", 2], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"20:35:49:21\", 6263709], \"expected\": [\"20:35:49:21\", 6263709], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"03:40:31:19\", 230431], \"expected\": [\"03:40:31:19\", 230431], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.727,"exit_code":1,"observations":[{"actual":["13:29:01:12",-823621],"check":"regression: reverse speed magnitude","expected":["08:32:56:14",823621],"passed":false},{"actual":["03:01:56:24",-4137052],"check":"regression variant: reverse speed magnitude","expected":["22:58:01:03",4137052],"passed":false},{"actual":["16:29:44:19",-562686],"check":"partial repair probe: reverse speed magnitude","expected":["05:31:15:07",562686],"passed":false},{"actual":["23:23:34:23",-94944],"check":"partial repair variant: reverse speed magnitude","expected":["01:35:26:23",94944],"passed":false},{"actual":["10:00:02:00",50],"check":"boundary control","expected":["10:00:02:00",50],"passed":true},{"actual":["00:00:02:00",50],"check":"boundary control","expected":["00:00:02:00",50],"passed":true},{"actual":["00:00:00:02",2],"check":"normal control","expected":["00:00:00:02",2],"passed":true},{"actual":["20:35:49:21",6263709],"check":"normal control","expected":["20:35:49:21",6263709],"passed":true},{"actual":["03:40:31:19",230431],"check":"normal control","expected":["03:40:31:19",230431],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: reverse speed magnitude\", \"actual\": [\"13:29:01:12\", -823621], \"expected\": [\"08:32:56:14\", 823621], \"passed\": false}, {\"check\": \"regression variant: reverse speed magnitude\", \"actual\": [\"03:01:56:24\", -4137052], \"expected\": [\"22:58:01:03\", 4137052], \"passed\": false}, {\"check\": \"partial repair probe: reverse speed magnitude\", \"actual\": [\"16:29:44:19\", -562686], \"expected\": [\"05:31:15:07\", 562686], \"passed\": false}, {\"check\": \"partial repair variant: reverse speed magnitude\", \"actual\": [\"23:23:34:23\", -94944], \"expected\": [\"01:35:26:23\", 94944], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [\"10:00:02:00\", 50], \"expected\": [\"10:00:02:00\", 50], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [\"00:00:02:00\", 50], \"expected\": [\"00:00:02:00\", 50], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"00:00:00:02\", 2], \"expected\": [\"00:00:00:02\", 2], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"20:35:49:21\", 6263709], \"expected\": [\"20:35:49:21\", 6263709], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"03:40:31:19\", 230431], \"expected\": [\"03:40:31:19\", 230431], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.704,"exit_code":0,"observations":[{"actual":["08:32:56:14",823621],"check":"regression: reverse speed magnitude","expected":["08:32:56:14",823621],"passed":true},{"actual":["22:58:01:03",4137052],"check":"regression variant: reverse speed magnitude","expected":["22:58:01:03",4137052],"passed":true},{"actual":["05:31:15:07",562686],"check":"partial repair probe: reverse speed magnitude","expected":["05:31:15:07",562686],"passed":true},{"actual":["01:35:26:23",94944],"check":"partial repair variant: reverse speed magnitude","expected":["01:35:26:23",94944],"passed":true},{"actual":["10:00:02:00",50],"check":"boundary control","expected":["10:00:02:00",50],"passed":true},{"actual":["00:00:02:00",50],"check":"boundary control","expected":["00:00:02:00",50],"passed":true},{"actual":["00:00:00:02",2],"check":"normal control","expected":["00:00:00:02",2],"passed":true},{"actual":["20:35:49:21",6263709],"check":"normal control","expected":["20:35:49:21",6263709],"passed":true},{"actual":["03:40:31:19",230431],"check":"normal control","expected":["03:40:31:19",230431],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: reverse speed magnitude\", \"actual\": [\"08:32:56:14\", 823621], \"expected\": [\"08:32:56:14\", 823621], \"passed\": true}, {\"check\": \"regression variant: reverse speed magnitude\", \"actual\": [\"22:58:01:03\", 4137052], \"expected\": [\"22:58:01:03\", 4137052], \"passed\": true}, {\"check\": \"partial repair probe: reverse speed magnitude\", \"actual\": [\"05:31:15:07\", 562686], \"expected\": [\"05:31:15:07\", 562686], \"passed\": true}, {\"check\": \"partial repair variant: reverse speed magnitude\", \"actual\": [\"01:35:26:23\", 94944], \"expected\": [\"01:35:26:23\", 94944], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [\"10:00:02:00\", 50], \"expected\": [\"10:00:02:00\", 50], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [\"00:00:02:00\", 50], \"expected\": [\"00:00:02:00\", 50], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"00:00:00:02\", 2], \"expected\": [\"00:00:00:02\", 2], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"20:35:49:21\", 6263709], \"expected\": [\"20:35:49:21\", 6263709], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"03:40:31:19\", 230431], \"expected\": [\"03:40:31:19\", 230431], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}