{"abstract":"A PAL label ending in :25 is accepted and lands on the first frame of the next second.","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.","contract_signature":"tc, fps","evaluation_group":"w2-broadcast-timecode-arithmetic-ndf-parse","failed_approach":"A fixed bound of 30 still accepts frame 25 through 29 at 25 fps.","family":"w2-broadcast-timecode-arithmetic-ndf-parse-frame-field-bound","id":"FA-78341","implementations":{"attempt":{"sha256":"36e244e706413f84b4fc0cd2c77819e394b49cf68dde63e03f57de1b8ad29703","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>=30:\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: frame field bound', ['00:00:00:25', 25], None), ('regression variant: frame field bound', ['01:59:00:24', 24], None), ('partial repair probe: frame field bound', ['00:59:00:29', 25], None), ('partial repair variant: frame field bound', ['23:00:59:25', 24], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['23:59:59:24', 25], 2159999), ('normal control', ['1:59:59:24', 30], None), ('normal control', ['00:07:00.24', 25], None)], [('regression: frame field bound', ['00:59:59:24', 24], None), ('regression variant: frame field bound', ['00:07:59:30', 30], None), ('partial repair probe: frame field bound', ['23:07:00:24', 24], None), ('partial repair variant: frame field bound', ['23:00:00:25', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['01:00:00.00', 24], None), ('normal control', ['00:59:00.25', 25], None), ('normal control', ['24:07:60:30', 30], None)], [('regression: frame field bound', ['23:07:00:24', 24], None), ('regression variant: frame field bound', ['23:00:00:24', 24], None), ('partial repair probe: frame field bound', ['01:00:59:29', 24], None), ('partial repair variant: frame field bound', ['01:07:59:24', 24], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['00:07:60:30', 30], None), ('normal control', ['00:59:5:00', 25], None), ('normal control', ['01:59:59;25', 30], None)], [('regression: frame field bound', ['01:59:00:30', 30], None), ('regression variant: frame field bound', ['00:59:00:25', 25], None), ('partial repair probe: frame field bound', ['01:00:59:29', 24], None), ('partial repair variant: frame field bound', ['00:00:59:25', 24], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['00:00:59.29', 24], None), ('normal control', ['99:07:59;29', 30], None), ('normal control', ['23:59:5:29', 25], None)], [('regression: frame field bound', ['00:59:59:30', 30], None), ('regression variant: frame field bound', ['00:07:00:30', 30], None), ('partial repair probe: frame field bound', ['01:59:00:24', 24], None), ('partial repair variant: frame field bound', ['00:00:59:24', 24], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['1:59:00;25', 25], None), ('normal control', ['1:60:00:24', 24], None), ('normal control', ['24:00:60:25', 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":"7f1b191a80764e144dac4bf9fb6c8b4d91ed3210a692e0cc3ce1e6f21909612f","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: frame field bound', ['00:00:00:25', 25], None), ('regression variant: frame field bound', ['01:59:00:24', 24], None), ('partial repair probe: frame field bound', ['00:59:00:29', 25], None), ('partial repair variant: frame field bound', ['23:00:59:25', 24], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['23:59:59:24', 25], 2159999), ('normal control', ['1:59:59:24', 30], None), ('normal control', ['00:07:00.24', 25], None)], [('regression: frame field bound', ['00:59:59:24', 24], None), ('regression variant: frame field bound', ['00:07:59:30', 30], None), ('partial repair probe: frame field bound', ['23:07:00:24', 24], None), ('partial repair variant: frame field bound', ['23:00:00:25', 24], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('boundary control', ['00:00:00:00', 25], 0), ('normal control', ['01:00:00.00', 24], None), ('normal control', ['00:59:00.25', 25], None), ('normal control', ['24:07:60:30', 30], None)], [('regression: frame field bound', ['23:07:00:24', 24], None), ('regression variant: frame field bound', ['23:00:00:24', 24], None), ('partial repair probe: frame field bound', ['01:00:59:29', 24], None), ('partial repair variant: frame field bound', ['01:07:59:24', 24], None), ('boundary control', ['24:00:00:00', 25], None), ('boundary control', ['23:59:59:24', 25], 2159999), ('normal control', ['00:07:60:30', 30], None), ('normal control', ['00:59:5:00', 25], None), ('normal control', ['01:59:59;25', 30], None)], [('regression: frame field bound', ['01:59:00:30', 30], None), ('regression variant: frame field bound', ['00:59:00:25', 25], None), ('partial repair probe: frame field bound', ['01:00:59:29', 24], None), ('partial repair variant: frame field bound', ['00:00:59:25', 24], None), ('boundary control', ['01:00:00;00', 30], None), ('boundary control', ['24:00:00:00', 25], None), ('normal control', ['00:00:59.29', 24], None), ('normal control', ['99:07:59;29', 30], None), ('normal control', ['23:59:5:29', 25], None)], [('regression: frame field bound', ['00:59:59:30', 30], None), ('regression variant: frame field bound', ['00:07:00:30', 30], None), ('partial repair probe: frame field bound', ['01:59:00:24', 24], None), ('partial repair variant: frame field bound', ['00:00:59:24', 24], None), ('boundary control', ['00:00:00:00', 25], 0), ('boundary control', ['01:00:00;00', 30], None), ('normal control', ['1:59:00;25', 25], None), ('normal control', ['1:60:00:24', 24], None), ('normal control', ['24:00:60:25', 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-frame-field-bound","generated_at":"2026-09-29T14:49:34.420288+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.","root_cause":"The frame field check allows a value equal to the frame rate.","sha256":"9a049833146d8d69937df44f1dc298b6ec357de2d7261cf307f2c2885bcce149","title":"Non-drop timecode label parsing: frame field bound · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.226,"exit_code":1,"observations":[{"actual":25,"check":"regression: frame field bound","expected":null,"passed":false},{"actual":171384,"check":"regression variant: frame field bound","expected":null,"passed":false},{"actual":88529,"check":"partial repair probe: frame field bound","expected":null,"passed":false},{"actual":1988641,"check":"partial repair variant: frame field bound","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: frame field bound\", \"actual\": 25, \"expected\": null, \"passed\": false}, {\"check\": \"regression variant: frame field bound\", \"actual\": 171384, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair probe: frame field bound\", \"actual\": 88529, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair variant: frame field bound\", \"actual\": 1988641, \"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":40.641,"exit_code":1,"observations":[{"actual":25,"check":"regression: frame field bound","expected":null,"passed":false},{"actual":171384,"check":"regression variant: frame field bound","expected":null,"passed":false},{"actual":null,"check":"partial repair probe: frame field bound","expected":null,"passed":true},{"actual":null,"check":"partial repair variant: frame field bound","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: frame field bound\", \"actual\": 25, \"expected\": null, \"passed\": false}, {\"check\": \"regression variant: frame field bound\", \"actual\": 171384, \"expected\": null, \"passed\": false}, {\"check\": \"partial repair probe: frame field bound\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"partial repair variant: frame field bound\", \"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"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}