{"abstract":"Labels with a seconds field of 60 are accepted and roll into the next minute.","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":"Moving the off-by-one to the minute field still accepts a minute of 60.","family":"w2-broadcast-timecode-arithmetic-ndf-parse-sexagesimal-bounds","id":"FA-78351","implementations":{"attempt":{"sha256":"bca9681f11883dc96e458925209ae2b77cfd09035d752356072c9690ae3afed8","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>60 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: sexagesimal bounds', ['01:00:60:00', 25], None), ('regression variant: sexagesimal bounds', ['23:59:60:25', 30], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:24', 30], None), ('partial repair variant: sexagesimal bounds', ['23:60:00: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', ['1:59:59:24', 30], None)], [('regression: sexagesimal bounds', ['00:59:60:24', 25], None), ('regression variant: sexagesimal bounds', ['00:00:60:23', 24], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:00', 24], None), ('partial repair variant: sexagesimal bounds', ['00:60:59:23', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['23:07:60.30', 30], None), ('normal control', ['24:07:59:30', 30], None), ('normal control', ['1:59:59:00', 24], None)], [('regression: sexagesimal bounds', ['01:00:60:23', 24], None), ('regression variant: sexagesimal bounds', ['01:00:60:00', 30], None), ('partial repair probe: sexagesimal bounds', ['23:60:59:29', 30], None), ('partial repair variant: sexagesimal bounds', ['01:60:59:24', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['00:60:5:30', 24], None), ('normal control', ['99:07:00:30', 25], None), ('normal control', ['00:00:5:00', 25], None)], [('regression: sexagesimal bounds', ['00:07:60:29', 30], None), ('regression variant: sexagesimal bounds', ['00:00:60:00', 24], None), ('partial repair probe: sexagesimal bounds', ['01:60:00:23', 24], None), ('partial repair variant: sexagesimal bounds', ['01:60:59:00', 24], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['1:07:59.29', 25], None), ('normal control', ['99:07:59;29', 30], None)], [('regression: sexagesimal bounds', ['00:07:60:00', 25], None), ('regression variant: sexagesimal bounds', ['00:07:60:24', 30], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:24', 25], None), ('partial repair variant: sexagesimal bounds', ['23:60:59:29', 30], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['23:59:5:29', 25], None), ('normal control', ['23:00:59;30', 30], None), ('normal control', ['1:60:00:24', 24], 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":"25a4c33d68395300e8304482c3666fa5390c59c18effa9250f1c7ff21e1ff15a","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>60:\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: sexagesimal bounds', ['01:00:60:00', 25], None), ('regression variant: sexagesimal bounds', ['23:59:60:25', 30], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:24', 30], None), ('partial repair variant: sexagesimal bounds', ['23:60:00: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', ['1:59:59:24', 30], None)], [('regression: sexagesimal bounds', ['00:59:60:24', 25], None), ('regression variant: sexagesimal bounds', ['00:00:60:23', 24], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:00', 24], None), ('partial repair variant: sexagesimal bounds', ['00:60:59:23', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['23:07:60.30', 30], None), ('normal control', ['24:07:59:30', 30], None), ('normal control', ['1:59:59:00', 24], None)], [('regression: sexagesimal bounds', ['01:00:60:23', 24], None), ('regression variant: sexagesimal bounds', ['01:00:60:00', 30], None), ('partial repair probe: sexagesimal bounds', ['23:60:59:29', 30], None), ('partial repair variant: sexagesimal bounds', ['01:60:59:24', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['00:60:5:30', 24], None), ('normal control', ['99:07:00:30', 25], None), ('normal control', ['00:00:5:00', 25], None)], [('regression: sexagesimal bounds', ['00:07:60:29', 30], None), ('regression variant: sexagesimal bounds', ['00:00:60:00', 24], None), ('partial repair probe: sexagesimal bounds', ['01:60:00:23', 24], None), ('partial repair variant: sexagesimal bounds', ['01:60:59:00', 24], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['1:07:59.29', 25], None), ('normal control', ['99:07:59;29', 30], None)], [('regression: sexagesimal bounds', ['00:07:60:00', 25], None), ('regression variant: sexagesimal bounds', ['00:07:60:24', 30], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:24', 25], None), ('partial repair variant: sexagesimal bounds', ['23:60:59:29', 30], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['23:59:5:29', 25], None), ('normal control', ['23:00:59;30', 30], None), ('normal control', ['1:60:00:24', 24], 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":"876b6b75b85e0fbda0c398a4f5c6a0eecfa1416beebd26a61542b11f2f673a3a","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: sexagesimal bounds', ['01:00:60:00', 25], None), ('regression variant: sexagesimal bounds', ['23:59:60:25', 30], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:24', 30], None), ('partial repair variant: sexagesimal bounds', ['23:60:00: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', ['1:59:59:24', 30], None)], [('regression: sexagesimal bounds', ['00:59:60:24', 25], None), ('regression variant: sexagesimal bounds', ['00:00:60:23', 24], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:00', 24], None), ('partial repair variant: sexagesimal bounds', ['00:60:59:23', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['23:07:60.30', 30], None), ('normal control', ['24:07:59:30', 30], None), ('normal control', ['1:59:59:00', 24], None)], [('regression: sexagesimal bounds', ['01:00:60:23', 24], None), ('regression variant: sexagesimal bounds', ['01:00:60:00', 30], None), ('partial repair probe: sexagesimal bounds', ['23:60:59:29', 30], None), ('partial repair variant: sexagesimal bounds', ['01:60:59:24', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['00:60:5:30', 24], None), ('normal control', ['99:07:00:30', 25], None), ('normal control', ['00:00:5:00', 25], None)], [('regression: sexagesimal bounds', ['00:07:60:29', 30], None), ('regression variant: sexagesimal bounds', ['00:00:60:00', 24], None), ('partial repair probe: sexagesimal bounds', ['01:60:00:23', 24], None), ('partial repair variant: sexagesimal bounds', ['01:60:59:00', 24], None), ('boundary control', ['00:00:00:25', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['00:59:59:24', 25], 89999), ('normal control', ['1:07:59.29', 25], None), ('normal control', ['99:07:59;29', 30], None)], [('regression: sexagesimal bounds', ['00:07:60:00', 25], None), ('regression variant: sexagesimal bounds', ['00:07:60:24', 30], None), ('partial repair probe: sexagesimal bounds', ['01:60:59:24', 25], None), ('partial repair variant: sexagesimal bounds', ['23:60:59:29', 30], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['23:59:5:29', 25], None), ('normal control', ['23:00:59;30', 30], None), ('normal control', ['1:60:00:24', 24], 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-sexagesimal-bounds","generated_at":"2026-09-29T14:49:34.633138+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":"Reject minute and second fields above 59.","root_cause":"The seconds limit is 60 instead of 59.","sha256":"303540a513295da3a01b72d0d0b9e108102f68fb9475e4448cae777d3c3d91ad","title":"Non-drop timecode label parsing: sexagesimal bounds · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.043,"exit_code":1,"observations":[{"actual":null,"check":"regression: sexagesimal bounds","expected":null,"passed":true},{"actual":null,"check":"regression variant: sexagesimal bounds","expected":null,"passed":true},{"actual":217794,"check":"partial repair probe: sexagesimal bounds","expected":null,"passed":false},{"actual":2592024,"check":"partial repair variant: sexagesimal bounds","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: sexagesimal bounds\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"regression variant: sexagesimal bounds\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair probe: sexagesimal bounds\", \"actual\": 217794, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair variant: sexagesimal bounds\", \"actual\": 2592024, \"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":41.161,"exit_code":1,"observations":[{"actual":91500,"check":"regression: sexagesimal bounds","expected":null,"passed":false},{"actual":2592025,"check":"regression variant: sexagesimal bounds","expected":null,"passed":false},{"actual":null,"check":"partial repair probe: sexagesimal bounds","expected":null,"passed":true},{"actual":null,"check":"partial repair variant: sexagesimal bounds","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: sexagesimal bounds\", \"actual\": 91500, \"expected\": null, \"passed\": false}, {\"check\": \"regression variant: sexagesimal bounds\", \"actual\": 2592025, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair probe: sexagesimal bounds\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair variant: sexagesimal bounds\", \"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.615,"exit_code":0,"observations":[{"actual":null,"check":"regression: sexagesimal bounds","expected":null,"passed":true},{"actual":null,"check":"regression variant: sexagesimal bounds","expected":null,"passed":true},{"actual":null,"check":"partial repair probe: sexagesimal bounds","expected":null,"passed":true},{"actual":null,"check":"partial repair variant: sexagesimal bounds","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: sexagesimal bounds\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"regression variant: sexagesimal bounds\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair probe: sexagesimal bounds\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair variant: sexagesimal bounds\", \"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"}