{"abstract":"Clip lengths come out as the complement of the real length.","category":"Broadcast timecode arithmetic","checks":7,"contract":"Clips [SOM, EOM] use non-drop labels at fps with EOM inclusive; a clip may cross midnight on tape. Clips air back to back from start with gap black frames between consecutive clips. Return the on-air label of each clip followed by the exclusive end label of the schedule, wrapping at 24 hours.","contract_signature":"start, clips, gap, fps","evaluation_group":"w2-broadcast-timecode-arithmetic-playout-schedule","failed_approach":"Subtracting the schedule start instead of SOM confuses tape and air timelines.","family":"w2-broadcast-timecode-arithmetic-playout-schedule-span-operand-order","id":"FA-78736","implementations":{"attempt":{"sha256":"68c8d3ae8987d6e3defbe8986f52febeddd9fbe456bd91de393b29b093ce8ded","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(start, clips, gap, 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 lab(n):\n        n%=86400*fps\n        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)\n    t=fr(start)\n    out=[]\n    for i,(som,eom) in enumerate(clips):\n        if i:\n            t+=gap\n        out.append(lab(t))\n        d=(fr(eom)-fr(start))%(86400*fps)\n        t+=d+1\n    out.append(lab(t))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: span operand order', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('regression variant: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '13:59:50:01']), ('partial repair probe: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '13:59:51:06', '00:00:21:26', '01:00:51:27']), ('partial repair variant: span operand order', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:01:11', '04:00:11:12', '04:00:11:13', '13:00:41:13']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 30], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 25, 30], ['23:59:50:00'])], [('regression: span operand order', ['23:59:59:00', [['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 25], ['23:59:59:00', '00:00:00:06', '00:00:00:07']), ('regression variant: span operand order', ['18:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:10:00'], ['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:10']], 25, 25], ['18:00:00:00', '17:00:02:01', '02:00:13:02', '02:00:15:13', '02:00:15:24']), ('partial repair probe: span operand order', ['18:00:00:00', [['23:59:59:00', '01:00:30:00']], 5, 30], ['18:00:00:00', '19:00:31:01']), ('partial repair variant: span operand order', ['00:00:00:00', [['00:00:00:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['10:00:00:00', '00:00:01:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['00:00:00:00', '00:00:00:11', '15:00:30:12', '05:00:31:13', '15:01:01:13']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 1, 25], ['23:59:50:00']), ('normal control', ['00:00:00:00', [], 25, 30], ['00:00:00:00'])], [('regression: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '13:59:51:06', '00:00:21:26', '01:00:51:27']), ('regression variant: span operand order', ['18:00:00:00', [['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '10:00:10:00']], 0, 30], ['18:00:00:00', '04:00:29:25', '14:00:39:26']), ('partial repair probe: span operand order', ['18:00:00:00', [['00:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:29:24'], ['23:59:59:00', '00:00:01:00']], 0, 25], ['18:00:00:00', '18:00:01:01', '03:00:31:01', '03:00:33:02']), ('partial repair variant: span operand order', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['23:59:59:00', '00:00:01:00']], 5, 25], ['18:00:00:00', '18:00:01:16', '18:00:03:17']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 25], ['00:00:00:00'])], [('regression: span operand order', ['18:00:00:00', [['23:59:59:00', '01:00:30:00']], 5, 30], ['18:00:00:00', '19:00:31:01']), ('regression variant: span operand order', ['23:59:50:00', [['10:00:00:00', '01:00:30:00'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '15:00:20:26', '16:00:50:27']), ('partial repair probe: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '13:59:50:01']), ('partial repair variant: span operand order', ['00:00:00:00', [['10:00:00:00', '00:00:01:00'], ['10:00:00:00', '00:00:00:10']], 1, 30], ['00:00:00:00', '14:00:01:02', '04:00:01:13']), ('normal control', ['00:00:00:00', [], 0, 30], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 1, 30], ['23:59:50:00'])], [('regression: span operand order', ['18:00:00:00', [['00:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:29:24'], ['23:59:59:00', '00:00:01:00']], 0, 25], ['18:00:00:00', '18:00:01:01', '03:00:31:01', '03:00:33:02']), ('regression variant: span operand order', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:01:11', '04:00:11:12', '04:00:11:13', '13:00:41:13']), ('partial repair probe: span operand order', ['18:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:10:00'], ['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:10']], 25, 25], ['18:00:00:00', '17:00:02:01', '02:00:13:02', '02:00:15:13', '02:00:15:24']), ('partial repair variant: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 5, 25], ['23:59:50:00', '13:59:50:01']), ('normal control', ['23:59:50:00', [], 0, 25], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['18:00:00:00', [], 25, 30], ['18:00:00:00'])]]\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":"df3e8ae773e3e91f24ab87d7bedd5b1c30ed36dfc117bb765d851d84da742d5f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(start, clips, gap, 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 lab(n):\n        n%=86400*fps\n        return '%02d:%02d:%02d:%02d'%(n//(3600*fps),n//(60*fps)%60,n//fps%60,n%fps)\n    t=fr(start)\n    out=[]\n    for i,(som,eom) in enumerate(clips):\n        if i:\n            t+=gap\n        out.append(lab(t))\n        d=(fr(som)-fr(eom))%(86400*fps)\n        t+=d+1\n    out.append(lab(t))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: span operand order', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('regression variant: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '13:59:50:01']), ('partial repair probe: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '13:59:51:06', '00:00:21:26', '01:00:51:27']), ('partial repair variant: span operand order', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:01:11', '04:00:11:12', '04:00:11:13', '13:00:41:13']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 30], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 25, 30], ['23:59:50:00'])], [('regression: span operand order', ['23:59:59:00', [['00:00:00:00', '00:00:01:00'], ['00:00:00:00', '00:00:00:00']], 5, 25], ['23:59:59:00', '00:00:00:06', '00:00:00:07']), ('regression variant: span operand order', ['18:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:10:00'], ['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:10']], 25, 25], ['18:00:00:00', '17:00:02:01', '02:00:13:02', '02:00:15:13', '02:00:15:24']), ('partial repair probe: span operand order', ['18:00:00:00', [['23:59:59:00', '01:00:30:00']], 5, 30], ['18:00:00:00', '19:00:31:01']), ('partial repair variant: span operand order', ['00:00:00:00', [['00:00:00:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['10:00:00:00', '00:00:01:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['00:00:00:00', '00:00:00:11', '15:00:30:12', '05:00:31:13', '15:01:01:13']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 1, 25], ['23:59:50:00']), ('normal control', ['00:00:00:00', [], 25, 30], ['00:00:00:00'])], [('regression: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:10'], ['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '13:59:51:06', '00:00:21:26', '01:00:51:27']), ('regression variant: span operand order', ['18:00:00:00', [['00:00:00:00', '10:00:29:24'], ['00:00:00:00', '10:00:10:00']], 0, 30], ['18:00:00:00', '04:00:29:25', '14:00:39:26']), ('partial repair probe: span operand order', ['18:00:00:00', [['00:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:29:24'], ['23:59:59:00', '00:00:01:00']], 0, 25], ['18:00:00:00', '18:00:01:01', '03:00:31:01', '03:00:33:02']), ('partial repair variant: span operand order', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['23:59:59:00', '00:00:01:00']], 5, 25], ['18:00:00:00', '18:00:01:16', '18:00:03:17']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 5, 25], ['00:00:00:00'])], [('regression: span operand order', ['18:00:00:00', [['23:59:59:00', '01:00:30:00']], 5, 30], ['18:00:00:00', '19:00:31:01']), ('regression variant: span operand order', ['23:59:50:00', [['10:00:00:00', '01:00:30:00'], ['00:00:00:00', '01:00:30:00']], 25, 30], ['23:59:50:00', '15:00:20:26', '16:00:50:27']), ('partial repair probe: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '13:59:50:01']), ('partial repair variant: span operand order', ['00:00:00:00', [['10:00:00:00', '00:00:01:00'], ['10:00:00:00', '00:00:00:10']], 1, 30], ['00:00:00:00', '14:00:01:02', '04:00:01:13']), ('normal control', ['00:00:00:00', [], 0, 30], ['00:00:00:00']), ('normal control', ['00:00:00:00', [], 25, 25], ['00:00:00:00']), ('normal control', ['23:59:50:00', [], 1, 30], ['23:59:50:00'])], [('regression: span operand order', ['18:00:00:00', [['00:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:29:24'], ['23:59:59:00', '00:00:01:00']], 0, 25], ['18:00:00:00', '18:00:01:01', '03:00:31:01', '03:00:33:02']), ('regression variant: span operand order', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '10:00:10:00'], ['00:00:00:00', '00:00:00:00'], ['01:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:01:11', '04:00:11:12', '04:00:11:13', '13:00:41:13']), ('partial repair probe: span operand order', ['18:00:00:00', [['01:00:00:00', '00:00:01:00'], ['01:00:00:00', '10:00:10:00'], ['23:59:59:00', '00:00:00:10'], ['00:00:00:00', '00:00:00:10']], 25, 25], ['18:00:00:00', '17:00:02:01', '02:00:13:02', '02:00:15:13', '02:00:15:24']), ('partial repair variant: span operand order', ['23:59:50:00', [['10:00:00:00', '00:00:00:00']], 5, 25], ['23:59:50:00', '13:59:50:01']), ('normal control', ['23:59:50:00', [], 0, 25], ['23:59:50:00']), ('normal control', ['23:59:50:00', [], 0, 30], ['23:59:50:00']), ('normal control', ['18:00:00:00', [], 25, 30], ['18:00:00:00'])]]\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-playout-schedule-span-operand-order","generated_at":"2026-09-29T14:49:37.976289+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 span subtracts EOM from SOM.","sha256":"839190b13f611ec5d48d0e30403eabb317e3c0e799f0e14cb20462f00c1de08c","title":"Playout schedule on-air times: span operand order · 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":39.964,"exit_code":1,"observations":[{"actual":["18:00:00:00","10:00:01:00"],"check":"regression: span operand order","expected":["18:00:00:00","18:00:01:00"],"passed":false},{"actual":["23:59:50:00","00:00:00:01"],"check":"regression variant: span operand order","expected":["23:59:50:00","13:59:50:01"],"passed":false},{"actual":["23:59:50:00","00:00:01:06","10:00:41:26","11:01:21:27"],"check":"partial repair probe: span operand order","expected":["23:59:50:00","13:59:51:06","00:00:21:26","01:00:51:27"],"passed":false},{"actual":["18:00:00:00","00:00:00:11","16:00:10:12","22:00:10:13","14:00:40:13"],"check":"partial repair variant: span operand order","expected":["18:00:00:00","18:00:01:11","04:00:11:12","04:00:11:13","13:00:41:13"],"passed":false},{"actual":["00:00:00:00"],"check":"normal control","expected":["00:00:00:00"],"passed":true},{"actual":["00:00:00:00"],"check":"normal control","expected":["00:00:00:00"],"passed":true},{"actual":["23:59:50:00"],"check":"normal control","expected":["23:59:50:00"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: span operand order\", \"actual\": [\"18:00:00:00\", \"10:00:01:00\"], \"expected\": [\"18:00:00:00\", \"18:00:01:00\"], \"passed\": false}, {\"check\": \"regression variant: span operand order\", \"actual\": [\"23:59:50:00\", \"00:00:00:01\"], \"expected\": [\"23:59:50:00\", \"13:59:50:01\"], \"passed\": false}, {\"check\": \"partial repair probe: span operand order\", \"actual\": [\"23:59:50:00\", \"00:00:01:06\", \"10:00:41:26\", \"11:01:21:27\"], \"expected\": [\"23:59:50:00\", \"13:59:51:06\", \"00:00:21:26\", \"01:00:51:27\"], \"passed\": false}, {\"check\": \"partial repair variant: span operand order\", \"actual\": [\"18:00:00:00\", \"00:00:00:11\", \"16:00:10:12\", \"22:00:10:13\", \"14:00:40:13\"], \"expected\": [\"18:00:00:00\", \"18:00:01:11\", \"04:00:11:12\", \"04:00:11:13\", \"13:00:41:13\"], \"passed\": false}, {\"check\": \"normal control\", \"actual\": [\"00:00:00:00\"], \"expected\": [\"00:00:00:00\"], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"00:00:00:00\"], \"expected\": [\"00:00:00:00\"], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"23:59:50:00\"], \"expected\": [\"23:59:50:00\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.266,"exit_code":1,"observations":[{"actual":["18:00:00:00","17:59:59:02"],"check":"regression: span operand order","expected":["18:00:00:00","18:00:01:00"],"passed":false},{"actual":["23:59:50:00","09:59:50:01"],"check":"regression variant: span operand order","expected":["23:59:50:00","13:59:50:01"],"passed":false},{"actual":["23:59:50:00","09:59:50:16","23:59:21:18","22:58:51:19"],"check":"partial repair probe: span operand order","expected":["23:59:50:00","13:59:51:06","00:00:21:26","01:00:51:27"],"passed":false},{"actual":["18:00:00:00","17:59:58:16","07:59:48:17","07:59:48:18","22:59:18:20"],"check":"partial repair variant: span operand order","expected":["18:00:00:00","18:00:01:11","04:00:11:12","04:00:11:13","13:00:41:13"],"passed":false},{"actual":["00:00:00:00"],"check":"normal control","expected":["00:00:00:00"],"passed":true},{"actual":["00:00:00:00"],"check":"normal control","expected":["00:00:00:00"],"passed":true},{"actual":["23:59:50:00"],"check":"normal control","expected":["23:59:50:00"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: span operand order\", \"actual\": [\"18:00:00:00\", \"17:59:59:02\"], \"expected\": [\"18:00:00:00\", \"18:00:01:00\"], \"passed\": false}, {\"check\": \"regression variant: span operand order\", \"actual\": [\"23:59:50:00\", \"09:59:50:01\"], \"expected\": [\"23:59:50:00\", \"13:59:50:01\"], \"passed\": false}, {\"check\": \"partial repair probe: span operand order\", \"actual\": [\"23:59:50:00\", \"09:59:50:16\", \"23:59:21:18\", \"22:58:51:19\"], \"expected\": [\"23:59:50:00\", \"13:59:51:06\", \"00:00:21:26\", \"01:00:51:27\"], \"passed\": false}, {\"check\": \"partial repair variant: span operand order\", \"actual\": [\"18:00:00:00\", \"17:59:58:16\", \"07:59:48:17\", \"07:59:48:18\", \"22:59:18:20\"], \"expected\": [\"18:00:00:00\", \"18:00:01:11\", \"04:00:11:12\", \"04:00:11:13\", \"13:00:41:13\"], \"passed\": false}, {\"check\": \"normal control\", \"actual\": [\"00:00:00:00\"], \"expected\": [\"00:00:00:00\"], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"00:00:00:00\"], \"expected\": [\"00:00:00:00\"], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [\"23:59:50:00\"], \"expected\": [\"23:59:50:00\"], \"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."}}