{"abstract":"Loosely typed labels such as 1:00:00:00 are accepted into the edit list.","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":"Allowing up to two digits still accepts single-digit fields.","family":"w2-broadcast-timecode-arithmetic-ndf-parse-field-width","id":"FA-78356","implementations":{"attempt":{"sha256":"ccb7ed44a628a07f18b089c22237f4ed1b36c8964a9c49f10be795283b5a7799","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: field width', ['1:59:59:24', 30], None), ('regression variant: field width', ['1:00:00:00', 30], None), ('partial repair probe: field width', ['00:59:5:00', 25], None), ('partial repair variant: field width', ['00:59:5:24', 30], 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', ['01:00:00;00', 30], None), ('normal control', ['00:07:00.24', 25], None)], [('regression: field width', ['1:59:59:00', 24], None), ('regression variant: field width', ['1:00:00:24', 25], None), ('partial repair probe: field width', ['00:00:5:00', 25], None), ('partial repair variant: field width', ['1:07:00:24', 30], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['01:00:00.00', 24], None), ('normal control', ['00:59:00.25', 25], None), ('normal control', ['00:60:5:30', 24], None)], [('regression: field width', ['00:59:5:00', 25], None), ('regression variant: field width', ['01:07:5:24', 25], None), ('partial repair probe: field width', ['1:59:5:23', 24], None), ('partial repair variant: field width', ['1:07:00:29', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['99:59:59:29', 30], None), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['01:07:00:25', 24], None)], [('regression: field width', ['00:00:5:00', 25], None), ('regression variant: field width', ['1:59:00:00', 30], None), ('partial repair probe: field width', ['1:00:00:00', 30], None), ('partial repair variant: field width', ['1:00:5:24', 30], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('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: field width', ['1:59:5:23', 24], None), ('regression variant: field width', ['00:59:5:24', 30], None), ('partial repair probe: field width', ['1:00:00:24', 25], None), ('partial repair variant: field width', ['01:59:5:29', 30], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 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":"46d73fefc8c511d4920c2c96ef5b421d7e86d4d754c8800c515f842e173d8162","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(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: field width', ['1:59:59:24', 30], None), ('regression variant: field width', ['1:00:00:00', 30], None), ('partial repair probe: field width', ['00:59:5:00', 25], None), ('partial repair variant: field width', ['00:59:5:24', 30], 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', ['01:00:00;00', 30], None), ('normal control', ['00:07:00.24', 25], None)], [('regression: field width', ['1:59:59:00', 24], None), ('regression variant: field width', ['1:00:00:24', 25], None), ('partial repair probe: field width', ['00:00:5:00', 25], None), ('partial repair variant: field width', ['1:07:00:24', 30], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['01:00:00.00', 24], None), ('normal control', ['00:59:00.25', 25], None), ('normal control', ['00:60:5:30', 24], None)], [('regression: field width', ['00:59:5:00', 25], None), ('regression variant: field width', ['01:07:5:24', 25], None), ('partial repair probe: field width', ['1:59:5:23', 24], None), ('partial repair variant: field width', ['1:07:00:29', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['99:59:59:29', 30], None), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['01:07:00:25', 24], None)], [('regression: field width', ['00:00:5:00', 25], None), ('regression variant: field width', ['1:59:00:00', 30], None), ('partial repair probe: field width', ['1:00:00:00', 30], None), ('partial repair variant: field width', ['1:00:5:24', 30], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('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: field width', ['1:59:5:23', 24], None), ('regression variant: field width', ['00:59:5:24', 30], None), ('partial repair probe: field width', ['1:00:00:24', 25], None), ('partial repair variant: field width', ['01:59:5:29', 30], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 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":"99e01d59427f54e54717718733a5816a1a01b23bb4940ce6fc0e28d52d2c31b0","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: field width', ['1:59:59:24', 30], None), ('regression variant: field width', ['1:00:00:00', 30], None), ('partial repair probe: field width', ['00:59:5:00', 25], None), ('partial repair variant: field width', ['00:59:5:24', 30], 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', ['01:00:00;00', 30], None), ('normal control', ['00:07:00.24', 25], None)], [('regression: field width', ['1:59:59:00', 24], None), ('regression variant: field width', ['1:00:00:24', 25], None), ('partial repair probe: field width', ['00:00:5:00', 25], None), ('partial repair variant: field width', ['1:07:00:24', 30], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['01:00:00.00', 24], None), ('normal control', ['00:59:00.25', 25], None), ('normal control', ['00:60:5:30', 24], None)], [('regression: field width', ['00:59:5:00', 25], None), ('regression variant: field width', ['01:07:5:24', 25], None), ('partial repair probe: field width', ['1:59:5:23', 24], None), ('partial repair variant: field width', ['1:07:00:29', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['99:59:59:29', 30], None), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['01:07:00:25', 24], None)], [('regression: field width', ['00:00:5:00', 25], None), ('regression variant: field width', ['1:59:00:00', 30], None), ('partial repair probe: field width', ['1:00:00:00', 30], None), ('partial repair variant: field width', ['1:00:5:24', 30], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('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: field width', ['1:59:5:23', 24], None), ('regression variant: field width', ['00:59:5:24', 30], None), ('partial repair probe: field width', ['1:00:00:24', 25], None), ('partial repair variant: field width', ['01:59:5:29', 30], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 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-field-width","generated_at":"2026-09-29T14:49:34.639123+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":"Require exactly two digits per field.","root_cause":"Field widths are not validated.","sha256":"1ab3cbd7a27a8e5adf4679afedbc6edabcf426fcfb7df1e83283146ba8aefe3a","title":"Non-drop timecode label parsing: field width · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.054,"exit_code":1,"observations":[{"actual":215994,"check":"regression: field width","expected":null,"passed":false},{"actual":108000,"check":"regression variant: field width","expected":null,"passed":false},{"actual":88625,"check":"partial repair probe: field width","expected":null,"passed":false},{"actual":106374,"check":"partial repair variant: field width","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: field width\", \"actual\": 215994, \"expected\": null, \"passed\": false}, {\"check\": \"regression variant: field width\", \"actual\": 108000, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair probe: field width\", \"actual\": 88625, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair variant: field width\", \"actual\": 106374, \"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.393,"exit_code":1,"observations":[{"actual":215994,"check":"regression: field width","expected":null,"passed":false},{"actual":108000,"check":"regression variant: field width","expected":null,"passed":false},{"actual":88625,"check":"partial repair probe: field width","expected":null,"passed":false},{"actual":106374,"check":"partial repair variant: field width","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: field width\", \"actual\": 215994, \"expected\": null, \"passed\": false}, {\"check\": \"regression variant: field width\", \"actual\": 108000, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair probe: field width\", \"actual\": 88625, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair variant: field width\", \"actual\": 106374, \"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"},"fixed":{"elapsed_ms":43.21,"exit_code":0,"observations":[{"actual":null,"check":"regression: field width","expected":null,"passed":true},{"actual":null,"check":"regression variant: field width","expected":null,"passed":true},{"actual":null,"check":"partial repair probe: field width","expected":null,"passed":true},{"actual":null,"check":"partial repair variant: field width","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: field width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"regression variant: field width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair probe: field width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair variant: field width\", \"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"}