{"abstract":"Listed on-air times point at the start of the black rather than the first picture frame.","category":"Broadcast timecode arithmetic","checks":8,"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.","evaluation_group":"w2-broadcast-timecode-arithmetic-playout-schedule","failed_approach":"Adding another gap to the label pushes every on-air time past the real start.","family":"w2-broadcast-timecode-arithmetic-playout-schedule-on-air-label-after-black","id":"FA-78731","implementations":{"attempt":{"sha256":"3b0ada426dfd8043cb275a2c42655aaedda16a789467db3db9a860299a0c2105","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+gap))\n        d=(fr(eom)-fr(som))%(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: on-air label after black', ['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: on-air label after black', ['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']), ('partial repair probe: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['01:00:00:00', '10:00:29:24'], ['01:00:00:00', '00:00:01:00'], ['23:59:59:00', '01:00:30:00']], 1, 30], ['00:00:00:00', '09:00:29:26', '08:00:30:28', '09:01:01:29']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01: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']), ('normal control', ['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: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['01:00:00:00', '10:00:29:24'], ['01:00:00:00', '00:00:01:00'], ['23:59:59:00', '01:00:30:00']], 1, 30], ['00:00:00:00', '09:00:29:26', '08:00:30:28', '09:01:01:29']), ('partial repair probe: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['10:00:00:00', '00:00:00:10'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '10:00:10:00']], 25, 25], ['00:00:00:00', '14:00:01:11', '14:00:03:12', '00:00:13:13']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['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']), ('normal control', ['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', ['18:00:00:00', [], 0, 30], ['18:00:00:00'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '00:00:00:10'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '10:00:10:00']], 25, 25], ['00:00:00:00', '14:00:01:11', '14:00:03:12', '00:00:13:13']), ('partial repair probe: on-air label after black', ['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 variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '00:00:00:10']], 5, 30], ['00:00:00:00', '00:00:10:06', '23:00:10:17']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['18:00:00:00', [], 1, 30], ['18:00:00:00']), ('normal control', ['18:00:00:00', [], 25, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [['23:59:59:00', '10:00:29:24']], 0, 30], ['00:00:00:00', '10:00:30:25'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '00:00:00:10']], 5, 30], ['00:00:00:00', '00:00:10:06', '23:00:10:17']), ('partial repair probe: on-air label after black', ['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']), ('partial repair variant: on-air label after black', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '23:59:52:06', '15:00:23:02', '15:00:24:03']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['10:00:00:00', '00:00:01:00'], ['23:59:59:00', '10:00:29:24'], ['23:59:59:00', '10:00:29:24']], 0, 25], ['00:00:00:00', '00:00:10:01', '14:00:11:02', '00:00:42:02', '10:01:13:02']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '10:00:10:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:00:01', '04:00:11:02', '14:00:41:02'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '23:59:52:06', '15:00:23:02', '15:00:24:03']), ('partial repair probe: on-air label after black', ['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']), ('partial repair variant: on-air label after black', ['23:59:50:00', [['10:00:00:00', '00:00:00:10']], 5, 25], ['23:59:50:00', '13:59:50:11']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '01:00:30:00']], 0, 25], ['18:00:00:00', '18:00:01:11', '18:00:11:12', '18:00:41:13']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['18:00:00:00', [], 5, 25], ['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":"d1acd39011fed6a98a940ba5547779fe34ef51fa9af4e8b6dd8456731b8827b8","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-gap if i else t))\n        d=(fr(eom)-fr(som))%(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: on-air label after black', ['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: on-air label after black', ['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']), ('partial repair probe: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['01:00:00:00', '10:00:29:24'], ['01:00:00:00', '00:00:01:00'], ['23:59:59:00', '01:00:30:00']], 1, 30], ['00:00:00:00', '09:00:29:26', '08:00:30:28', '09:01:01:29']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01: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']), ('normal control', ['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: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['01:00:00:00', '10:00:29:24'], ['01:00:00:00', '00:00:01:00'], ['23:59:59:00', '01:00:30:00']], 1, 30], ['00:00:00:00', '09:00:29:26', '08:00:30:28', '09:01:01:29']), ('partial repair probe: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['10:00:00:00', '00:00:00:10'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '10:00:10:00']], 25, 25], ['00:00:00:00', '14:00:01:11', '14:00:03:12', '00:00:13:13']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['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']), ('normal control', ['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', ['18:00:00:00', [], 0, 30], ['18:00:00:00'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '00:00:00:10'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '10:00:10:00']], 25, 25], ['00:00:00:00', '14:00:01:11', '14:00:03:12', '00:00:13:13']), ('partial repair probe: on-air label after black', ['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 variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '00:00:00:10']], 5, 30], ['00:00:00:00', '00:00:10:06', '23:00:10:17']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['18:00:00:00', [], 1, 30], ['18:00:00:00']), ('normal control', ['18:00:00:00', [], 25, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [['23:59:59:00', '10:00:29:24']], 0, 30], ['00:00:00:00', '10:00:30:25'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '00:00:00:10']], 5, 30], ['00:00:00:00', '00:00:10:06', '23:00:10:17']), ('partial repair probe: on-air label after black', ['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']), ('partial repair variant: on-air label after black', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '23:59:52:06', '15:00:23:02', '15:00:24:03']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['10:00:00:00', '00:00:01:00'], ['23:59:59:00', '10:00:29:24'], ['23:59:59:00', '10:00:29:24']], 0, 25], ['00:00:00:00', '00:00:10:01', '14:00:11:02', '00:00:42:02', '10:01:13:02']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '10:00:10:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:00:01', '04:00:11:02', '14:00:41:02'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '23:59:52:06', '15:00:23:02', '15:00:24:03']), ('partial repair probe: on-air label after black', ['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']), ('partial repair variant: on-air label after black', ['23:59:50:00', [['10:00:00:00', '00:00:00:10']], 5, 25], ['23:59:50:00', '13:59:50:11']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '01:00:30:00']], 0, 25], ['18:00:00:00', '18:00:01:11', '18:00:11:12', '18:00:41:13']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['18:00:00:00', [], 5, 25], ['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"},"fixed":{"sha256":"a2785be7341e15c138998eb84bd9b962f03f93952751df9ac56f9f69aca504a5","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(som))%(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: on-air label after black', ['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: on-air label after black', ['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']), ('partial repair probe: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['01:00:00:00', '10:00:29:24'], ['01:00:00:00', '00:00:01:00'], ['23:59:59:00', '01:00:30:00']], 1, 30], ['00:00:00:00', '09:00:29:26', '08:00:30:28', '09:01:01:29']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01: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']), ('normal control', ['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: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['01:00:00:00', '10:00:29:24'], ['01:00:00:00', '00:00:01:00'], ['23:59:59:00', '01:00:30:00']], 1, 30], ['00:00:00:00', '09:00:29:26', '08:00:30:28', '09:01:01:29']), ('partial repair probe: on-air label after black', ['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: on-air label after black', ['00:00:00:00', [['10:00:00:00', '00:00:00:10'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '10:00:10:00']], 25, 25], ['00:00:00:00', '14:00:01:11', '14:00:03:12', '00:00:13:13']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['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']), ('normal control', ['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', ['18:00:00:00', [], 0, 30], ['18:00:00:00'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '00:00:00:10'], ['23:59:59:00', '00:00:00:00'], ['00:00:00:00', '10:00:10:00']], 25, 25], ['00:00:00:00', '14:00:01:11', '14:00:03:12', '00:00:13:13']), ('partial repair probe: on-air label after black', ['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 variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '00:00:00:10']], 5, 30], ['00:00:00:00', '00:00:10:06', '23:00:10:17']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['18:00:00:00', [], 1, 30], ['18:00:00:00']), ('normal control', ['18:00:00:00', [], 25, 25], ['18:00:00:00']), ('normal control', ['00:00:00:00', [['23:59:59:00', '10:00:29:24']], 0, 30], ['00:00:00:00', '10:00:30:25'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '00:00:00:10']], 5, 30], ['00:00:00:00', '00:00:10:06', '23:00:10:17']), ('partial repair probe: on-air label after black', ['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']), ('partial repair variant: on-air label after black', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '23:59:52:06', '15:00:23:02', '15:00:24:03']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['00:00:00:00', [['10:00:00:00', '10:00:10:00'], ['10:00:00:00', '00:00:01:00'], ['23:59:59:00', '10:00:29:24'], ['23:59:59:00', '10:00:29:24']], 0, 25], ['00:00:00:00', '00:00:10:01', '14:00:11:02', '00:00:42:02', '10:01:13:02']), ('normal control', ['18:00:00:00', [], 1, 25], ['18:00:00:00']), ('normal control', ['18:00:00:00', [['00:00:00:00', '00:00:00:00'], ['23:59:59:00', '10:00:10:00'], ['00:00:00:00', '10:00:29:24']], 0, 25], ['18:00:00:00', '18:00:00:01', '04:00:11:02', '14:00:41:02'])], [('regression: on-air label after black', ['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']), ('regression variant: on-air label after black', ['23:59:50:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '01:00:30:00'], ['23:59:59:00', '00:00:00:00']], 25, 30], ['23:59:50:00', '23:59:52:06', '15:00:23:02', '15:00:24:03']), ('partial repair probe: on-air label after black', ['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']), ('partial repair variant: on-air label after black', ['23:59:50:00', [['10:00:00:00', '00:00:00:10']], 5, 25], ['23:59:50:00', '13:59:50:11']), ('boundary control', ['18:00:00:00', [['10:00:00:00', '10:00:00:24']], 0, 25], ['18:00:00:00', '18:00:01:00']), ('normal control', ['18:00:00:00', [['23:59:59:00', '00:00:00:10'], ['10:00:00:00', '10:00:10:00'], ['01:00:00:00', '01:00:30:00']], 0, 25], ['18:00:00:00', '18:00:01:11', '18:00:11:12', '18:00:41:13']), ('normal control', ['00:00:00:00', [], 0, 25], ['00:00:00:00']), ('normal control', ['18:00:00:00', [], 5, 25], ['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-on-air-label-after-black","generated_at":"2026-09-29T14:49:37.970584+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":"Label each clip after the gap has been inserted.","root_cause":"The on-air label subtracts the inserted gap again.","sha256":"5f93aa0e1bfc7f2054a7fb1422b6543cde5d091df9c8c4b94a2cf69933f5555c","title":"Playout schedule on-air times: on-air label after black · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":37.822,"exit_code":1,"observations":[{"actual":["23:59:59:05","00:00:00:11","00:00:00:07"],"check":"regression: on-air label after black","expected":["23:59:59:00","00:00:00:06","00:00:00:07"],"passed":false},{"actual":["00:00:00:01","14:00:01:03","04:00:01:13"],"check":"regression variant: on-air label after black","expected":["00:00:00:00","14:00:01:02","04:00:01:13"],"passed":false},{"actual":["18:00:00:05","19:00:31:01"],"check":"partial repair probe: on-air label after black","expected":["18:00:00:00","19:00:31:01"],"passed":false},{"actual":["00:00:00:01","09:00:29:27","08:00:30:29","09:01:01:29"],"check":"partial repair variant: on-air label after black","expected":["00:00:00:00","09:00:29:26","08:00:30:28","09:01:01:29"],"passed":false},{"actual":["18:00:00:00","18:00:01:00"],"check":"boundary control","expected":["18:00:00:00","18:00:01: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},{"actual":["18:00:00:00","18:00:01:01","03:00:31:01","03:00:33:02"],"check":"normal control","expected":["18:00:00:00","18:00:01:01","03:00:31:01","03:00:33:02"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: on-air label after black\", \"actual\": [\"23:59:59:05\", \"00:00:00:11\", \"00:00:00:07\"], \"expected\": [\"23:59:59:00\", \"00:00:00:06\", \"00:00:00:07\"], \"passed\": false}, {\"check\": \"regression variant: on-air label after black\", \"actual\": [\"00:00:00:01\", \"14:00:01:03\", \"04:00:01:13\"], \"expected\": [\"00:00:00:00\", \"14:00:01:02\", \"04:00:01:13\"], \"passed\": false}, {\"check\": \"partial repair probe: on-air label after black\", \"actual\": [\"18:00:00:05\", \"19:00:31:01\"], \"expected\": [\"18:00:00:00\", \"19:00:31:01\"], \"passed\": false}, {\"check\": \"partial repair variant: on-air label after black\", \"actual\": [\"00:00:00:01\", \"09:00:29:27\", \"08:00:30:29\", \"09:01:01:29\"], \"expected\": [\"00:00:00:00\", \"09:00:29:26\", \"08:00:30:28\", \"09:01:01:29\"], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [\"18:00:00:00\", \"18:00:01:00\"], \"expected\": [\"18:00:00:00\", \"18:00:01: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}, {\"check\": \"normal control\", \"actual\": [\"18:00:00:00\", \"18:00:01:01\", \"03:00:31:01\", \"03:00:33:02\"], \"expected\": [\"18:00:00:00\", \"18:00:01:01\", \"03:00:31:01\", \"03:00:33:02\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.412,"exit_code":1,"observations":[{"actual":["23:59:59:00","00:00:00:01","00:00:00:07"],"check":"regression: on-air label after black","expected":["23:59:59:00","00:00:00:06","00:00:00:07"],"passed":false},{"actual":["00:00:00:00","14:00:01:01","04:00:01:13"],"check":"regression variant: on-air label after black","expected":["00:00:00:00","14:00:01:02","04:00:01:13"],"passed":false},{"actual":["18:00:00:00","19:00:31:01"],"check":"partial repair probe: on-air label after black","expected":["18:00:00:00","19:00:31:01"],"passed":true},{"actual":["00:00:00:00","09:00:29:25","08:00:30:27","09:01:01:29"],"check":"partial repair variant: on-air label after black","expected":["00:00:00:00","09:00:29:26","08:00:30:28","09:01:01:29"],"passed":false},{"actual":["18:00:00:00","18:00:01:00"],"check":"boundary control","expected":["18:00:00:00","18:00:01: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},{"actual":["18:00:00:00","18:00:01:01","03:00:31:01","03:00:33:02"],"check":"normal control","expected":["18:00:00:00","18:00:01:01","03:00:31:01","03:00:33:02"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: on-air label after black\", \"actual\": [\"23:59:59:00\", \"00:00:00:01\", \"00:00:00:07\"], \"expected\": [\"23:59:59:00\", \"00:00:00:06\", \"00:00:00:07\"], \"passed\": false}, {\"check\": \"regression variant: on-air label after black\", \"actual\": [\"00:00:00:00\", \"14:00:01:01\", \"04:00:01:13\"], \"expected\": [\"00:00:00:00\", \"14:00:01:02\", \"04:00:01:13\"], \"passed\": false}, {\"check\": \"partial repair probe: on-air label after black\", \"actual\": [\"18:00:00:00\", \"19:00:31:01\"], \"expected\": [\"18:00:00:00\", \"19:00:31:01\"], \"passed\": true}, {\"check\": \"partial repair variant: on-air label after black\", \"actual\": [\"00:00:00:00\", \"09:00:29:25\", \"08:00:30:27\", \"09:01:01:29\"], \"expected\": [\"00:00:00:00\", \"09:00:29:26\", \"08:00:30:28\", \"09:01:01:29\"], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [\"18:00:00:00\", \"18:00:01:00\"], \"expected\": [\"18:00:00:00\", \"18:00:01: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}, {\"check\": \"normal control\", \"actual\": [\"18:00:00:00\", \"18:00:01:01\", \"03:00:31:01\", \"03:00:33:02\"], \"expected\": [\"18:00:00:00\", \"18:00:01:01\", \"03:00:31:01\", \"03:00:33:02\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.885,"exit_code":0,"observations":[{"actual":["23:59:59:00","00:00:00:06","00:00:00:07"],"check":"regression: on-air label after black","expected":["23:59:59:00","00:00:00:06","00:00:00:07"],"passed":true},{"actual":["00:00:00:00","14:00:01:02","04:00:01:13"],"check":"regression variant: on-air label after black","expected":["00:00:00:00","14:00:01:02","04:00:01:13"],"passed":true},{"actual":["18:00:00:00","19:00:31:01"],"check":"partial repair probe: on-air label after black","expected":["18:00:00:00","19:00:31:01"],"passed":true},{"actual":["00:00:00:00","09:00:29:26","08:00:30:28","09:01:01:29"],"check":"partial repair variant: on-air label after black","expected":["00:00:00:00","09:00:29:26","08:00:30:28","09:01:01:29"],"passed":true},{"actual":["18:00:00:00","18:00:01:00"],"check":"boundary control","expected":["18:00:00:00","18:00:01: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},{"actual":["18:00:00:00","18:00:01:01","03:00:31:01","03:00:33:02"],"check":"normal control","expected":["18:00:00:00","18:00:01:01","03:00:31:01","03:00:33:02"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: on-air label after black\", \"actual\": [\"23:59:59:00\", \"00:00:00:06\", \"00:00:00:07\"], \"expected\": [\"23:59:59:00\", \"00:00:00:06\", \"00:00:00:07\"], \"passed\": true}, {\"check\": \"regression variant: on-air label after black\", \"actual\": [\"00:00:00:00\", \"14:00:01:02\", \"04:00:01:13\"], \"expected\": [\"00:00:00:00\", \"14:00:01:02\", \"04:00:01:13\"], \"passed\": true}, {\"check\": \"partial repair probe: on-air label after black\", \"actual\": [\"18:00:00:00\", \"19:00:31:01\"], \"expected\": [\"18:00:00:00\", \"19:00:31:01\"], \"passed\": true}, {\"check\": \"partial repair variant: on-air label after black\", \"actual\": [\"00:00:00:00\", \"09:00:29:26\", \"08:00:30:28\", \"09:01:01:29\"], \"expected\": [\"00:00:00:00\", \"09:00:29:26\", \"08:00:30:28\", \"09:01:01:29\"], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [\"18:00:00:00\", \"18:00:01:00\"], \"expected\": [\"18:00:00:00\", \"18:00:01: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}, {\"check\": \"normal control\", \"actual\": [\"18:00:00:00\", \"18:00:01:01\", \"03:00:31:01\", \"03:00:33:02\"], \"expected\": [\"18:00:00:00\", \"18:00:01:01\", \"03:00:31:01\", \"03:00:33:02\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}