{"abstract":"High frame rate counts wrap at noon instead of midnight.","category":"Broadcast timecode arithmetic","checks":9,"contract":"Convert a frame count (any integer, wrapped modulo 24 hours) to HH:MM:SS:FF. For fps above 30 the frame field counts frame pairs (frame//2) and the last separator is \".\" for the second frame of a pair and \":\" otherwise.","evaluation_group":"w2-broadcast-timecode-arithmetic-frames-to-label","failed_approach":"Hard-coding 30 fps wraps every other rate at the wrong count.","family":"w2-broadcast-timecode-arithmetic-frames-to-label-day-length","id":"FA-78371","implementations":{"attempt":{"sha256":"edabc546d8cfdf0dadda8b2e9709a7a36c969f5569a5e1771a30461878cfea6c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(frames, fps):\n    day=24*3600*30\n    frames%=day\n    fr=frames%fps\n    s=frames//fps\n    hh,mm,ss=s//3600,s//60%60,s%60\n    if fps>30:\n        return '%02d:%02d:%02d%s%02d'%(hh,mm,ss,'.' if fr%2 else ':',fr//2)\n    return '%02d:%02d:%02d:%02d'%(hh,mm,ss,fr)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: day length', [3745221, 48], '21:40:25.10'), ('regression variant: day length', [-1, 60], '23:59:59.29'), ('partial repair probe: day length', [8640011, 50], '00:00:00.05'), ('partial repair variant: day length', [-1, 24], '23:59:59:23'), ('boundary control', [0, 25], '00:00:00:00'), ('boundary control', [59, 60], '00:00:00.29'), ('normal control', [3, 50], '00:00:00.01'), ('normal control', [30, 30], '00:00:01:00'), ('normal control', [216007, 60], '01:00:00.03')], [('regression: day length', [4319999, 50], '23:59:59.24'), ('regression variant: day length', [16335211, 50], '18:45:04.05'), ('partial repair probe: day length', [3745221, 48], '21:40:25.10'), ('partial repair variant: day length', [7086760, 24], '10:01:21:16'), ('boundary control', [3, 50], '00:00:00.01'), ('boundary control', [30, 30], '00:00:01:00'), ('normal control', [8166989, 30], '03:37:12:29'), ('normal control', [2, 48], '00:00:00:01'), ('normal control', [5184000, 60], '00:00:00:00')], [('regression: day length', [-5184003, 60], '23:59:59.28'), ('regression variant: day length', [2364826, 50], '13:08:16:13'), ('partial repair probe: day length', [4147205, 48], '00:00:00.02'), ('partial repair variant: day length', [2073600, 24], '00:00:00:00'), ('boundary control', [2, 50], '00:00:00:01'), ('boundary control', [0, 25], '00:00:00:00'), ('normal control', [1443, 24], '00:01:00:03'), ('normal control', [0, 24], '00:00:00:00'), ('normal control', [180007, 50], '01:00:00.03')], [('regression: day length', [-1, 50], '23:59:59.24'), ('regression variant: day length', [5183999, 60], '23:59:59.29'), ('partial repair probe: day length', [4319999, 50], '23:59:59.24'), ('partial repair variant: day length', [4320005, 50], '00:00:00.02'), ('boundary control', [59, 60], '00:00:00.29'), ('boundary control', [3, 50], '00:00:00.01'), ('normal control', [2592000, 30], '00:00:00:00'), ('normal control', [954706, 24], '11:02:59:10'), ('normal control', [1754516, 50], '09:44:50:08')], [('regression: day length', [-4147203, 48], '23:59:59.22'), ('regression variant: day length', [15958672, 48], '20:21:12:08'), ('partial repair probe: day length', [-5184003, 60], '23:59:59.28'), ('partial repair variant: day length', [2160005, 25], '00:00:00:05'), ('boundary control', [30, 30], '00:00:01:00'), ('boundary control', [2, 50], '00:00:00:01'), ('normal control', [5184005, 60], '00:00:00.02'), ('normal control', [-2592003, 30], '23:59:59:27'), ('normal control', [0, 48], '00: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":"ba0c32d32fa80354b05792e787fa93b876e1bdbe34b9f69183db65f0afd7bdbe","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(frames, fps):\n    day=24*3600*(fps if fps<=30 else fps//2)\n    frames%=day\n    fr=frames%fps\n    s=frames//fps\n    hh,mm,ss=s//3600,s//60%60,s%60\n    if fps>30:\n        return '%02d:%02d:%02d%s%02d'%(hh,mm,ss,'.' if fr%2 else ':',fr//2)\n    return '%02d:%02d:%02d:%02d'%(hh,mm,ss,fr)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: day length', [3745221, 48], '21:40:25.10'), ('regression variant: day length', [-1, 60], '23:59:59.29'), ('partial repair probe: day length', [8640011, 50], '00:00:00.05'), ('partial repair variant: day length', [-1, 24], '23:59:59:23'), ('boundary control', [0, 25], '00:00:00:00'), ('boundary control', [59, 60], '00:00:00.29'), ('normal control', [3, 50], '00:00:00.01'), ('normal control', [30, 30], '00:00:01:00'), ('normal control', [216007, 60], '01:00:00.03')], [('regression: day length', [4319999, 50], '23:59:59.24'), ('regression variant: day length', [16335211, 50], '18:45:04.05'), ('partial repair probe: day length', [3745221, 48], '21:40:25.10'), ('partial repair variant: day length', [7086760, 24], '10:01:21:16'), ('boundary control', [3, 50], '00:00:00.01'), ('boundary control', [30, 30], '00:00:01:00'), ('normal control', [8166989, 30], '03:37:12:29'), ('normal control', [2, 48], '00:00:00:01'), ('normal control', [5184000, 60], '00:00:00:00')], [('regression: day length', [-5184003, 60], '23:59:59.28'), ('regression variant: day length', [2364826, 50], '13:08:16:13'), ('partial repair probe: day length', [4147205, 48], '00:00:00.02'), ('partial repair variant: day length', [2073600, 24], '00:00:00:00'), ('boundary control', [2, 50], '00:00:00:01'), ('boundary control', [0, 25], '00:00:00:00'), ('normal control', [1443, 24], '00:01:00:03'), ('normal control', [0, 24], '00:00:00:00'), ('normal control', [180007, 50], '01:00:00.03')], [('regression: day length', [-1, 50], '23:59:59.24'), ('regression variant: day length', [5183999, 60], '23:59:59.29'), ('partial repair probe: day length', [4319999, 50], '23:59:59.24'), ('partial repair variant: day length', [4320005, 50], '00:00:00.02'), ('boundary control', [59, 60], '00:00:00.29'), ('boundary control', [3, 50], '00:00:00.01'), ('normal control', [2592000, 30], '00:00:00:00'), ('normal control', [954706, 24], '11:02:59:10'), ('normal control', [1754516, 50], '09:44:50:08')], [('regression: day length', [-4147203, 48], '23:59:59.22'), ('regression variant: day length', [15958672, 48], '20:21:12:08'), ('partial repair probe: day length', [-5184003, 60], '23:59:59.28'), ('partial repair variant: day length', [2160005, 25], '00:00:00:05'), ('boundary control', [30, 30], '00:00:01:00'), ('boundary control', [2, 50], '00:00:00:01'), ('normal control', [5184005, 60], '00:00:00.02'), ('normal control', [-2592003, 30], '23:59:59:27'), ('normal control', [0, 48], '00: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":"62784b113ab1b6d99b83ee75ea7509d57ce6657e53996af8aaec1262bf0bbf18","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(frames, fps):\n    day=24*3600*fps\n    frames%=day\n    fr=frames%fps\n    s=frames//fps\n    hh,mm,ss=s//3600,s//60%60,s%60\n    if fps>30:\n        return '%02d:%02d:%02d%s%02d'%(hh,mm,ss,'.' if fr%2 else ':',fr//2)\n    return '%02d:%02d:%02d:%02d'%(hh,mm,ss,fr)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: day length', [3745221, 48], '21:40:25.10'), ('regression variant: day length', [-1, 60], '23:59:59.29'), ('partial repair probe: day length', [8640011, 50], '00:00:00.05'), ('partial repair variant: day length', [-1, 24], '23:59:59:23'), ('boundary control', [0, 25], '00:00:00:00'), ('boundary control', [59, 60], '00:00:00.29'), ('normal control', [3, 50], '00:00:00.01'), ('normal control', [30, 30], '00:00:01:00'), ('normal control', [216007, 60], '01:00:00.03')], [('regression: day length', [4319999, 50], '23:59:59.24'), ('regression variant: day length', [16335211, 50], '18:45:04.05'), ('partial repair probe: day length', [3745221, 48], '21:40:25.10'), ('partial repair variant: day length', [7086760, 24], '10:01:21:16'), ('boundary control', [3, 50], '00:00:00.01'), ('boundary control', [30, 30], '00:00:01:00'), ('normal control', [8166989, 30], '03:37:12:29'), ('normal control', [2, 48], '00:00:00:01'), ('normal control', [5184000, 60], '00:00:00:00')], [('regression: day length', [-5184003, 60], '23:59:59.28'), ('regression variant: day length', [2364826, 50], '13:08:16:13'), ('partial repair probe: day length', [4147205, 48], '00:00:00.02'), ('partial repair variant: day length', [2073600, 24], '00:00:00:00'), ('boundary control', [2, 50], '00:00:00:01'), ('boundary control', [0, 25], '00:00:00:00'), ('normal control', [1443, 24], '00:01:00:03'), ('normal control', [0, 24], '00:00:00:00'), ('normal control', [180007, 50], '01:00:00.03')], [('regression: day length', [-1, 50], '23:59:59.24'), ('regression variant: day length', [5183999, 60], '23:59:59.29'), ('partial repair probe: day length', [4319999, 50], '23:59:59.24'), ('partial repair variant: day length', [4320005, 50], '00:00:00.02'), ('boundary control', [59, 60], '00:00:00.29'), ('boundary control', [3, 50], '00:00:00.01'), ('normal control', [2592000, 30], '00:00:00:00'), ('normal control', [954706, 24], '11:02:59:10'), ('normal control', [1754516, 50], '09:44:50:08')], [('regression: day length', [-4147203, 48], '23:59:59.22'), ('regression variant: day length', [15958672, 48], '20:21:12:08'), ('partial repair probe: day length', [-5184003, 60], '23:59:59.28'), ('partial repair variant: day length', [2160005, 25], '00:00:00:05'), ('boundary control', [30, 30], '00:00:01:00'), ('boundary control', [2, 50], '00:00:00:01'), ('normal control', [5184005, 60], '00:00:00.02'), ('normal control', [-2592003, 30], '23:59:59:27'), ('normal control', [0, 48], '00: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-frames-to-label-day-length","generated_at":"2026-09-29T14:49:34.681664+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 24*3600*fps frames per day.","root_cause":"The day length is computed from frame pairs rather than frames for high rates.","sha256":"5d0304f774ecf50cf04d48f7588259ffb1bc3fca34106e89c85f4aaab30ea70f","title":"Frame count to timecode label with frame pairs: day length · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.544,"exit_code":1,"observations":[{"actual":"06:40:25.10","check":"regression: day length","expected":"21:40:25.10","passed":false},{"actual":"11:59:59.29","check":"regression variant: day length","expected":"23:59:59.29","passed":false},{"actual":"04:48:00.05","check":"partial repair probe: day length","expected":"00:00:00.05","passed":false},{"actual":"29:59:59:23","check":"partial repair variant: day length","expected":"23:59:59:23","passed":false},{"actual":"00:00:00:00","check":"boundary control","expected":"00:00:00:00","passed":true},{"actual":"00:00:00.29","check":"boundary control","expected":"00:00:00.29","passed":true},{"actual":"00:00:00.01","check":"normal control","expected":"00:00:00.01","passed":true},{"actual":"00:00:01:00","check":"normal control","expected":"00:00:01:00","passed":true},{"actual":"01:00:00.03","check":"normal control","expected":"01:00:00.03","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: day length\", \"actual\": \"06:40:25.10\", \"expected\": \"21:40:25.10\", \"passed\": false}, {\"check\": \"regression variant: day length\", \"actual\": \"11:59:59.29\", \"expected\": \"23:59:59.29\", \"passed\": false}, {\"check\": \"partial repair probe: day length\", \"actual\": \"04:48:00.05\", \"expected\": \"00:00:00.05\", \"passed\": false}, {\"check\": \"partial repair variant: day length\", \"actual\": \"29:59:59:23\", \"expected\": \"23:59:59:23\", \"passed\": false}, {\"check\": \"boundary control\", \"actual\": \"00:00:00:00\", \"expected\": \"00:00:00:00\", \"passed\": true}, {\"check\": \"boundary control\", \"actual\": \"00:00:00.29\", \"expected\": \"00:00:00.29\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:00:00.01\", \"expected\": \"00:00:00.01\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:00:01:00\", \"expected\": \"00:00:01:00\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"01:00:00.03\", \"expected\": \"01:00:00.03\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.287,"exit_code":1,"observations":[{"actual":"09:40:25.10","check":"regression: day length","expected":"21:40:25.10","passed":false},{"actual":"11:59:59.29","check":"regression variant: day length","expected":"23:59:59.29","passed":false},{"actual":"00:00:00.05","check":"partial repair probe: day length","expected":"00:00:00.05","passed":true},{"actual":"23:59:59:23","check":"partial repair variant: day length","expected":"23:59:59:23","passed":true},{"actual":"00:00:00:00","check":"boundary control","expected":"00:00:00:00","passed":true},{"actual":"00:00:00.29","check":"boundary control","expected":"00:00:00.29","passed":true},{"actual":"00:00:00.01","check":"normal control","expected":"00:00:00.01","passed":true},{"actual":"00:00:01:00","check":"normal control","expected":"00:00:01:00","passed":true},{"actual":"01:00:00.03","check":"normal control","expected":"01:00:00.03","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: day length\", \"actual\": \"09:40:25.10\", \"expected\": \"21:40:25.10\", \"passed\": false}, {\"check\": \"regression variant: day length\", \"actual\": \"11:59:59.29\", \"expected\": \"23:59:59.29\", \"passed\": false}, {\"check\": \"partial repair probe: day length\", \"actual\": \"00:00:00.05\", \"expected\": \"00:00:00.05\", \"passed\": true}, {\"check\": \"partial repair variant: day length\", \"actual\": \"23:59:59:23\", \"expected\": \"23:59:59:23\", \"passed\": true}, {\"check\": \"boundary control\", \"actual\": \"00:00:00:00\", \"expected\": \"00:00:00:00\", \"passed\": true}, {\"check\": \"boundary control\", \"actual\": \"00:00:00.29\", \"expected\": \"00:00:00.29\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:00:00.01\", \"expected\": \"00:00:00.01\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:00:01:00\", \"expected\": \"00:00:01:00\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"01:00:00.03\", \"expected\": \"01:00:00.03\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.0,"exit_code":0,"observations":[{"actual":"21:40:25.10","check":"regression: day length","expected":"21:40:25.10","passed":true},{"actual":"23:59:59.29","check":"regression variant: day length","expected":"23:59:59.29","passed":true},{"actual":"00:00:00.05","check":"partial repair probe: day length","expected":"00:00:00.05","passed":true},{"actual":"23:59:59:23","check":"partial repair variant: day length","expected":"23:59:59:23","passed":true},{"actual":"00:00:00:00","check":"boundary control","expected":"00:00:00:00","passed":true},{"actual":"00:00:00.29","check":"boundary control","expected":"00:00:00.29","passed":true},{"actual":"00:00:00.01","check":"normal control","expected":"00:00:00.01","passed":true},{"actual":"00:00:01:00","check":"normal control","expected":"00:00:01:00","passed":true},{"actual":"01:00:00.03","check":"normal control","expected":"01:00:00.03","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: day length\", \"actual\": \"21:40:25.10\", \"expected\": \"21:40:25.10\", \"passed\": true}, {\"check\": \"regression variant: day length\", \"actual\": \"23:59:59.29\", \"expected\": \"23:59:59.29\", \"passed\": true}, {\"check\": \"partial repair probe: day length\", \"actual\": \"00:00:00.05\", \"expected\": \"00:00:00.05\", \"passed\": true}, {\"check\": \"partial repair variant: day length\", \"actual\": \"23:59:59:23\", \"expected\": \"23:59:59:23\", \"passed\": true}, {\"check\": \"boundary control\", \"actual\": \"00:00:00:00\", \"expected\": \"00:00:00:00\", \"passed\": true}, {\"check\": \"boundary control\", \"actual\": \"00:00:00.29\", \"expected\": \"00:00:00.29\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:00:00.01\", \"expected\": \"00:00:00.01\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:00:01:00\", \"expected\": \"00:00:01:00\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"01:00:00.03\", \"expected\": \"01:00:00.03\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}