{"abstract":"Record out labels are one frame early, colliding with the next event.","category":"Broadcast timecode arithmetic","checks":7,"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].","contract_signature":"event, fps","evaluation_group":"w2-broadcast-timecode-arithmetic-edl-speed-event","failed_approach":"Using the source duration ignores the speed change on the record side.","family":"w2-broadcast-timecode-arithmetic-edl-speed-event-record-out-exclusivity","id":"FA-78511","implementations":{"attempt":{"sha256":"8ce7e2741bfc964ed41c05e00217ab915a975a6fba11630f9fcde7265a7631de","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)+dur),rec]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: record out exclusivity', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('regression variant: record out exclusivity', [['00:29:01:12', '10:00:59:01', '23:00:59:01', -100], 24], ['08:32:56:14', 823621]), ('partial repair probe: record out exclusivity', [['00:01:59:01', '23:00:00:00', '23:00:01:12', 33], 25], ['20:35:49:21', 6263709]), ('partial repair variant: record out exclusivity', [['10:59:00:23', '00:00:30:00', '23:00:30:00', -50], 24], ['01:03:28:02', 2250674]), ('normal control', [['10:29:00:24', '23:01:59:00', '00:59:59:00', 0], 25], None), ('normal control', [['23:01:00:23', '23:29:01:00', '00:59:59:00', 0], 24], None), ('normal control', [['10:29:00:29', '10:59:01:29', '01:29:00:00', 0], 30], None)], [('regression: record out exclusivity', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('regression variant: record out exclusivity', [['23:01:00:00', '01:01:00:23', '01:00:30:12', 75], 24], ['03:40:31:19', 230431]), ('partial repair probe: record out exclusivity', [['10:01:00:12', '00:00:01:00', '23:29:30:24', 200], 25], ['06:29:01:06', 629257]), ('partial repair variant: record out exclusivity', [['23:00:30:01', '00:29:59:29', '00:29:59:29', 75], 30], ['02:29:19:26', 214797]), ('normal control', [['00:01:30:00', '23:59:30:24', '01:29:00:00', 0], 25], None), ('normal control', [['10:59:30:12', '23:59:00:23', '23:29:01:00', 0], 24], None), ('normal control', [['00:29:59:01', '10:01:30:01', '00:01:01:29', 0], 30], None)], [('regression: record out exclusivity', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('regression variant: record out exclusivity', [['01:59:30:00', '00:59:01:01', '23:29:59:00', 200], 30], ['10:59:44:16', 1241566]), ('partial repair probe: record out exclusivity', [['23:01:00:00', '01:01:00:23', '01:00:30:12', 75], 24], ['03:40:31:19', 230431]), ('partial repair variant: record out exclusivity', [['23:59:30:01', '00:00:01:01', '00:59:01:00', 75], 24], ['00:59:42:08', 992]), ('normal control', [['23:01:01:23', '01:59:00:00', '00:29:59:12', 0], 24], None), ('normal control', [['01:01:01:00', '00:01:01:01', '00:29:59:12', 0], 25], None), ('normal control', [['01:00:00:15', '23:01:59:29', '23:29:00:01', 0], 30], None)], [('regression: record out exclusivity', [['00:01:59:01', '23:00:00:00', '23:00:01:12', 33], 25], ['20:35:49:21', 6263709]), ('regression variant: record out exclusivity', [['01:00:59:00', '00:01:30:01', '23:29:01:12', 250], 24], ['08:41:13:22', 795178]), ('partial repair probe: record out exclusivity', [['01:59:30:00', '00:59:01:01', '23:29:59:00', 200], 30], ['10:59:44:16', 1241566]), ('partial repair variant: record out exclusivity', [['01:59:00:00', '23:59:01:00', '00:59:01:01', 200], 24], ['11:59:01:13', 950412]), ('normal control', [['00:01:01:00', '01:29:01:00', '01:59:59:29', 0], 30], None), ('normal control', [['00:01:30:00', '23:59:01:23', '01:00:30:12', 0], 24], None), ('normal control', [['23:59:30:12', '10:59:01:24', '00:00:01:01', 0], 25], None)], [('regression: record out exclusivity', [['10:01:00:12', '00:00:01:00', '23:29:30:24', 200], 25], ['06:29:01:06', 629257]), ('regression variant: record out exclusivity', [['01:59:30:12', '23:00:01:24', '23:00:30:01', 100], 25], ['20:01:01:13', 1890787]), ('partial repair probe: record out exclusivity', [['01:00:59:00', '00:01:30:01', '23:29:01:12', 250], 24], ['08:41:13:22', 795178]), ('partial repair variant: record out exclusivity', [['00:01:00:01', '00:29:01:23', '23:00:01:00', 250], 24], ['23:11:13:18', 16146]), ('normal control', [['00:00:59:00', '00:01:00:01', '23:59:01:15', 0], 30], None), ('normal control', [['01:00:30:24', '00:00:00:12', '00:01:01:01', 0], 25], None), ('normal control', [['01:00:00:12', '10:29:59:01', '01:01:59:00', 0], 25], None)]]\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":"258790c4f85ba9c044dc743fa12e7a5f62c32d68096ead834b52b25cd28e35cd","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-1),rec]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: record out exclusivity', [['01:00:00:00', '01:00:01:00', '10:00:00:00', 50], 25], ['10:00:02:00', 50]), ('regression variant: record out exclusivity', [['00:29:01:12', '10:00:59:01', '23:00:59:01', -100], 24], ['08:32:56:14', 823621]), ('partial repair probe: record out exclusivity', [['00:01:59:01', '23:00:00:00', '23:00:01:12', 33], 25], ['20:35:49:21', 6263709]), ('partial repair variant: record out exclusivity', [['10:59:00:23', '00:00:30:00', '23:00:30:00', -50], 24], ['01:03:28:02', 2250674]), ('normal control', [['10:29:00:24', '23:01:59:00', '00:59:59:00', 0], 25], None), ('normal control', [['23:01:00:23', '23:29:01:00', '00:59:59:00', 0], 24], None), ('normal control', [['10:29:00:29', '10:59:01:29', '01:29:00:00', 0], 30], None)], [('regression: record out exclusivity', [['23:59:59:00', '00:00:01:00', '00:00:00:00', 100], 25], ['00:00:02:00', 50]), ('regression variant: record out exclusivity', [['23:01:00:00', '01:01:00:23', '01:00:30:12', 75], 24], ['03:40:31:19', 230431]), ('partial repair probe: record out exclusivity', [['10:01:00:12', '00:00:01:00', '23:29:30:24', 200], 25], ['06:29:01:06', 629257]), ('partial repair variant: record out exclusivity', [['23:00:30:01', '00:29:59:29', '00:29:59:29', 75], 30], ['02:29:19:26', 214797]), ('normal control', [['00:01:30:00', '23:59:30:24', '01:29:00:00', 0], 25], None), ('normal control', [['10:59:30:12', '23:59:00:23', '23:29:01:00', 0], 24], None), ('normal control', [['00:29:59:01', '10:01:30:01', '00:01:01:29', 0], 30], None)], [('regression: record out exclusivity', [['00:00:00:00', '00:00:00:03', '00:00:00:00', 200], 30], ['00:00:00:02', 2]), ('regression variant: record out exclusivity', [['01:59:30:00', '00:59:01:01', '23:29:59:00', 200], 30], ['10:59:44:16', 1241566]), ('partial repair probe: record out exclusivity', [['23:01:00:00', '01:01:00:23', '01:00:30:12', 75], 24], ['03:40:31:19', 230431]), ('partial repair variant: record out exclusivity', [['23:59:30:01', '00:00:01:01', '00:59:01:00', 75], 24], ['00:59:42:08', 992]), ('normal control', [['23:01:01:23', '01:59:00:00', '00:29:59:12', 0], 24], None), ('normal control', [['01:01:01:00', '00:01:01:01', '00:29:59:12', 0], 25], None), ('normal control', [['01:00:00:15', '23:01:59:29', '23:29:00:01', 0], 30], None)], [('regression: record out exclusivity', [['00:01:59:01', '23:00:00:00', '23:00:01:12', 33], 25], ['20:35:49:21', 6263709]), ('regression variant: record out exclusivity', [['01:00:59:00', '00:01:30:01', '23:29:01:12', 250], 24], ['08:41:13:22', 795178]), ('partial repair probe: record out exclusivity', [['01:59:30:00', '00:59:01:01', '23:29:59:00', 200], 30], ['10:59:44:16', 1241566]), ('partial repair variant: record out exclusivity', [['01:59:00:00', '23:59:01:00', '00:59:01:01', 200], 24], ['11:59:01:13', 950412]), ('normal control', [['00:01:01:00', '01:29:01:00', '01:59:59:29', 0], 30], None), ('normal control', [['00:01:30:00', '23:59:01:23', '01:00:30:12', 0], 24], None), ('normal control', [['23:59:30:12', '10:59:01:24', '00:00:01:01', 0], 25], None)], [('regression: record out exclusivity', [['10:01:00:12', '00:00:01:00', '23:29:30:24', 200], 25], ['06:29:01:06', 629257]), ('regression variant: record out exclusivity', [['01:59:30:12', '23:00:01:24', '23:00:30:01', 100], 25], ['20:01:01:13', 1890787]), ('partial repair probe: record out exclusivity', [['01:00:59:00', '00:01:30:01', '23:29:01:12', 250], 24], ['08:41:13:22', 795178]), ('partial repair variant: record out exclusivity', [['00:01:00:01', '00:29:01:23', '23:00:01:00', 250], 24], ['23:11:13:18', 16146]), ('normal control', [['00:00:59:00', '00:01:00:01', '23:59:01:15', 0], 30], None), ('normal control', [['01:00:30:24', '00:00:00:12', '00:01:01:01', 0], 25], None), ('normal control', [['01:00:00:12', '10:29:59:01', '01:01:59:00', 0], 25], None)]]\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-record-out-exclusivity","generated_at":"2026-09-29T14:49:35.942628+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.","root_cause":"The record out is reported as the inclusive last frame.","sha256":"1e794c6ba5fe9ae9ec10f25092fdf89bbbeaca84301c5d674554a1f69f82b6ac","title":"EDL speed-change record out: record out exclusivity · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.327,"exit_code":1,"observations":[{"actual":["10:00:01:00",50],"check":"regression: record out exclusivity","expected":["10:00:02:00",50],"passed":false},{"actual":["08:32:56:14",823621],"check":"regression variant: record out exclusivity","expected":["08:32:56:14",823621],"passed":true},{"actual":["21:58:02:11",6263709],"check":"partial repair probe: record out exclusivity","expected":["20:35:49:21",6263709],"passed":false},{"actual":["12:01:59:01",2250674],"check":"partial repair variant: record out exclusivity","expected":["01:03:28:02",2250674],"passed":false},{"actual":null,"check":"normal control","expected":null,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: record out exclusivity\", \"actual\": [\"10:00:01:00\", 50], \"expected\": [\"10:00:02:00\", 50], \"passed\": false}, {\"check\": \"regression variant: record out exclusivity\", \"actual\": [\"08:32:56:14\", 823621], \"expected\": [\"08:32:56:14\", 823621], \"passed\": true}, {\"check\": \"partial repair probe: record out exclusivity\", \"actual\": [\"21:58:02:11\", 6263709], \"expected\": [\"20:35:49:21\", 6263709], \"passed\": false}, {\"check\": \"partial repair variant: record out exclusivity\", \"actual\": [\"12:01:59:01\", 2250674], \"expected\": [\"01:03:28:02\", 2250674], \"passed\": false}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.411,"exit_code":1,"observations":[{"actual":["10:00:01:24",50],"check":"regression: record out exclusivity","expected":["10:00:02:00",50],"passed":false},{"actual":["08:32:56:13",823621],"check":"regression variant: record out exclusivity","expected":["08:32:56:14",823621],"passed":false},{"actual":["20:35:49:20",6263709],"check":"partial repair probe: record out exclusivity","expected":["20:35:49:21",6263709],"passed":false},{"actual":["01:03:28:01",2250674],"check":"partial repair variant: record out exclusivity","expected":["01:03:28:02",2250674],"passed":false},{"actual":null,"check":"normal control","expected":null,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: record out exclusivity\", \"actual\": [\"10:00:01:24\", 50], \"expected\": [\"10:00:02:00\", 50], \"passed\": false}, {\"check\": \"regression variant: record out exclusivity\", \"actual\": [\"08:32:56:13\", 823621], \"expected\": [\"08:32:56:14\", 823621], \"passed\": false}, {\"check\": \"partial repair probe: record out exclusivity\", \"actual\": [\"20:35:49:20\", 6263709], \"expected\": [\"20:35:49:21\", 6263709], \"passed\": false}, {\"check\": \"partial repair variant: record out exclusivity\", \"actual\": [\"01:03:28:01\", 2250674], \"expected\": [\"01:03:28:02\", 2250674], \"passed\": false}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}