{"abstract":"Drop-frame labels are silently parsed as non-drop counts, shifting events by up to 108 frames per hour.","category":"Broadcast timecode arithmetic","checks":9,"contract":"Parse a non-drop label HH:MM:SS:FF (exactly two digits per field, colons only) at integer fps to a frame count from midnight. Hours 0-23, minutes and seconds 0-59, frames below fps; anything else, including drop-frame separators, returns None.","evaluation_group":"w2-broadcast-timecode-arithmetic-ndf-parse","failed_approach":"Normalizing the period separator still accepts a drop-frame spelling.","family":"w2-broadcast-timecode-arithmetic-ndf-parse-separator-policy","id":"FA-78361","implementations":{"attempt":{"sha256":"a9713417f3f972d48b855363018dd67b9eae899c2150cc6c7de6c95fc00e2978","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(tc, fps):\n    f=tc.replace('.',':').split(':')\n    if len(f)!=4 or not all(len(x)==2 and x.isdigit() for x in f):\n        return None\n    h,m,s,fr=map(int,f)\n    if h>23:\n        return None\n    if m>59 or s>59:\n        return None\n    if fr>=fps:\n        return None\n    return ((h*60+m)*60+s)*fps+fr\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: separator policy', ['01:00:00;00', 30], None), ('regression variant: separator policy', ['23:00:59;00', 30], None), ('partial repair probe: separator policy', ['23:59:59.00', 24], None), ('partial repair variant: separator policy', ['00:07:00.24', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['00:00:00:25', 25], None), ('normal control', ['23:59:59:24', 25], 2159999), ('normal control', ['1:59:59:24', 30], None), ('normal control', ['23:07:60.30', 30], None)], [('regression: separator policy', ['01:59:59;25', 30], None), ('regression variant: separator policy', ['01:07:59;24', 25], None), ('partial repair probe: separator policy', ['01:00:00.24', 25], None), ('partial repair variant: separator policy', ['01:00:00.00', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['24:07:59:30', 30], None), ('normal control', ['24:07:60:30', 30], None), ('normal control', ['00:07:60:30', 30], None)], [('regression: separator policy', ['00:00:59;00', 24], None), ('regression variant: separator policy', ['00:07:59;00', 25], None), ('partial repair probe: separator policy', ['00:00:59.24', 30], None), ('partial repair variant: separator policy', ['23:59:59.00', 24], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['99:07:00:30', 25], None), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['01:07:00:25', 24], None)], [('regression: separator policy', ['01:00:59;24', 25], None), ('regression variant: separator policy', ['00:07:59;29', 30], None), ('partial repair probe: separator policy', ['23:59:59.29', 30], None), ('partial repair variant: separator policy', ['01:00:00.24', 25], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['01:00:60:29', 24], None), ('normal control', ['23:59:5:29', 25], None), ('normal control', ['1:59:00;25', 25], None)], [('regression: separator policy', ['23:59:00;24', 25], None), ('regression variant: separator policy', ['01:00:00;00', 30], None), ('partial repair probe: separator policy', ['23:59:59.00', 30], None), ('partial repair variant: separator policy', ['00:00:59.24', 30], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['00:00:00:25', 25], None), ('normal control', ['99:60:59:25', 25], None), ('normal control', ['24:00:60:25', 30], None), ('normal control', ['24:60:5.00', 30], 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":"312bfd00a199a7685fc7fc2ed23e0e9ecb5523096372a9b65059471008e235e1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(tc, fps):\n    f=tc.replace(';',':').split(':')\n    if len(f)!=4 or not all(len(x)==2 and x.isdigit() for x in f):\n        return None\n    h,m,s,fr=map(int,f)\n    if h>23:\n        return None\n    if m>59 or s>59:\n        return None\n    if fr>=fps:\n        return None\n    return ((h*60+m)*60+s)*fps+fr\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: separator policy', ['01:00:00;00', 30], None), ('regression variant: separator policy', ['23:00:59;00', 30], None), ('partial repair probe: separator policy', ['23:59:59.00', 24], None), ('partial repair variant: separator policy', ['00:07:00.24', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['00:00:00:25', 25], None), ('normal control', ['23:59:59:24', 25], 2159999), ('normal control', ['1:59:59:24', 30], None), ('normal control', ['23:07:60.30', 30], None)], [('regression: separator policy', ['01:59:59;25', 30], None), ('regression variant: separator policy', ['01:07:59;24', 25], None), ('partial repair probe: separator policy', ['01:00:00.24', 25], None), ('partial repair variant: separator policy', ['01:00:00.00', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['24:07:59:30', 30], None), ('normal control', ['24:07:60:30', 30], None), ('normal control', ['00:07:60:30', 30], None)], [('regression: separator policy', ['00:00:59;00', 24], None), ('regression variant: separator policy', ['00:07:59;00', 25], None), ('partial repair probe: separator policy', ['00:00:59.24', 30], None), ('partial repair variant: separator policy', ['23:59:59.00', 24], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['99:07:00:30', 25], None), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['01:07:00:25', 24], None)], [('regression: separator policy', ['01:00:59;24', 25], None), ('regression variant: separator policy', ['00:07:59;29', 30], None), ('partial repair probe: separator policy', ['23:59:59.29', 30], None), ('partial repair variant: separator policy', ['01:00:00.24', 25], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['01:00:60:29', 24], None), ('normal control', ['23:59:5:29', 25], None), ('normal control', ['1:59:00;25', 25], None)], [('regression: separator policy', ['23:59:00;24', 25], None), ('regression variant: separator policy', ['01:00:00;00', 30], None), ('partial repair probe: separator policy', ['23:59:59.00', 30], None), ('partial repair variant: separator policy', ['00:00:59.24', 30], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['00:00:00:25', 25], None), ('normal control', ['99:60:59:25', 25], None), ('normal control', ['24:00:60:25', 30], None), ('normal control', ['24:60:5.00', 30], 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"},"fixed":{"sha256":"4fee335be459ea31f6b98e4a58b796dfafab8a73b621d93b853359f48dee61ed","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(tc, fps):\n    f=tc.split(':')\n    if len(f)!=4 or not all(len(x)==2 and x.isdigit() for x in f):\n        return None\n    h,m,s,fr=map(int,f)\n    if h>23:\n        return None\n    if m>59 or s>59:\n        return None\n    if fr>=fps:\n        return None\n    return ((h*60+m)*60+s)*fps+fr\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: separator policy', ['01:00:00;00', 30], None), ('regression variant: separator policy', ['23:00:59;00', 30], None), ('partial repair probe: separator policy', ['23:59:59.00', 24], None), ('partial repair variant: separator policy', ['00:07:00.24', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['00:00:00:25', 25], None), ('normal control', ['23:59:59:24', 25], 2159999), ('normal control', ['1:59:59:24', 30], None), ('normal control', ['23:07:60.30', 30], None)], [('regression: separator policy', ['01:59:59;25', 30], None), ('regression variant: separator policy', ['01:07:59;24', 25], None), ('partial repair probe: separator policy', ['01:00:00.24', 25], None), ('partial repair variant: separator policy', ['01:00:00.00', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['24:07:59:30', 30], None), ('normal control', ['24:07:60:30', 30], None), ('normal control', ['00:07:60:30', 30], None)], [('regression: separator policy', ['00:00:59;00', 24], None), ('regression variant: separator policy', ['00:07:59;00', 25], None), ('partial repair probe: separator policy', ['00:00:59.24', 30], None), ('partial repair variant: separator policy', ['23:59:59.00', 24], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['99:07:00:30', 25], None), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['01:07:00:25', 24], None)], [('regression: separator policy', ['01:00:59;24', 25], None), ('regression variant: separator policy', ['00:07:59;29', 30], None), ('partial repair probe: separator policy', ['23:59:59.29', 30], None), ('partial repair variant: separator policy', ['01:00:00.24', 25], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['01:00:60:29', 24], None), ('normal control', ['23:59:5:29', 25], None), ('normal control', ['1:59:00;25', 25], None)], [('regression: separator policy', ['23:59:00;24', 25], None), ('regression variant: separator policy', ['01:00:00;00', 30], None), ('partial repair probe: separator policy', ['23:59:59.00', 30], None), ('partial repair variant: separator policy', ['00:00:59.24', 30], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['00:00:00:25', 25], None), ('normal control', ['99:60:59:25', 25], None), ('normal control', ['24:00:60:25', 30], None), ('normal control', ['24:60:5.00', 30], 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-ndf-parse-separator-policy","generated_at":"2026-09-29T14:49:34.680996+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":"Split on colons only so drop-frame labels are refused.","root_cause":"The parser normalizes the drop-frame semicolon to a colon.","sha256":"71880f7a692f0bd9bd18b6ac91e617b2f140078b0b8feeb0fee83ee06de49f5f","title":"Non-drop timecode label parsing: separator policy · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.533,"exit_code":1,"observations":[{"actual":null,"check":"regression: separator policy","expected":null,"passed":true},{"actual":null,"check":"regression variant: separator policy","expected":null,"passed":true},{"actual":2073576,"check":"partial repair probe: separator policy","expected":null,"passed":false},{"actual":10524,"check":"partial repair variant: separator policy","expected":null,"passed":false},{"actual":0,"check":"boundary control","expected":0,"passed":true},{"actual":null,"check":"boundary control","expected":null,"passed":true},{"actual":2159999,"check":"normal control","expected":2159999,"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: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"regression variant: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair probe: separator policy\", \"actual\": 2073576, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair variant: separator policy\", \"actual\": 10524, \"expected\": null, \"passed\": false}, {\"check\": \"boundary control\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"boundary control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": 2159999, \"expected\": 2159999, \"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":38.441,"exit_code":1,"observations":[{"actual":108000,"check":"regression: separator policy","expected":null,"passed":false},{"actual":2485770,"check":"regression variant: separator policy","expected":null,"passed":false},{"actual":null,"check":"partial repair probe: separator policy","expected":null,"passed":true},{"actual":null,"check":"partial repair variant: separator policy","expected":null,"passed":true},{"actual":0,"check":"boundary control","expected":0,"passed":true},{"actual":null,"check":"boundary control","expected":null,"passed":true},{"actual":2159999,"check":"normal control","expected":2159999,"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: separator policy\", \"actual\": 108000, \"expected\": null, \"passed\": false}, {\"check\": \"regression variant: separator policy\", \"actual\": 2485770, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair probe: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair variant: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"boundary control\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"boundary control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": 2159999, \"expected\": 2159999, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.143,"exit_code":0,"observations":[{"actual":null,"check":"regression: separator policy","expected":null,"passed":true},{"actual":null,"check":"regression variant: separator policy","expected":null,"passed":true},{"actual":null,"check":"partial repair probe: separator policy","expected":null,"passed":true},{"actual":null,"check":"partial repair variant: separator policy","expected":null,"passed":true},{"actual":0,"check":"boundary control","expected":0,"passed":true},{"actual":null,"check":"boundary control","expected":null,"passed":true},{"actual":2159999,"check":"normal control","expected":2159999,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"regression variant: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair probe: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair variant: separator policy\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"boundary control\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"boundary control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": 2159999, \"expected\": 2159999, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}