{"abstract":"The label after 00:59:59;29 shows minute 60.","category":"Broadcast timecode arithmetic","checks":9,"contract":"Given a valid drop-frame label at rate \"29.97\" (nominal 30, drop 2) or \"59.94\" (nominal 60, drop 4), return the next label: frames carry into seconds at the nominal rate, seconds into minutes, minutes into hours (wrapping at 24); on entering a new minute not divisible by 10 the first drop labels are skipped.","contract_signature":"tc, rate","evaluation_group":"w2-broadcast-timecode-arithmetic-df-label-increment","failed_approach":"Carrying at minute 59 skips the last minute of every hour.","family":"w2-broadcast-timecode-arithmetic-df-label-increment-minute-carry","id":"FA-78461","implementations":{"attempt":{"sha256":"2dbd9e6d543989927b9156b2a68c5f23140a3dbbc3599dd8f1caaea15ddf7aab","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport re\nN = 1\nobservations = []\ndef solve(tc, rate):\n    n=30 if rate=='29.97' else 60\n    drop=2 if n==30 else 4\n    h,m,s,f=map(int,re.split('[:;]',tc))\n    f+=1\n    if f==n:\n        f=0\n        s+=1\n        if s==60:\n            s=0\n            m+=1\n            if m==59:\n                m=0\n                h=(h+1)%24\n            if m%10!=0:\n                f=drop\n    return '%02d:%02d:%02d;%02d'%(h,m,s,f)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: minute carry', ['23:59:59;29', '29.97'], '00:00:00;00'), ('regression variant: minute carry', ['01:59:59;29', '29.97'], '02:00:00;00'), ('partial repair probe: minute carry', ['00:59:59;59', '59.94'], '01:00:00;00'), ('partial repair variant: minute carry', ['23:59:59;59', '59.94'], '00:00:00;00'), ('boundary control', ['00:00:59;29', '29.97'], '00:01:00;02'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['00:09:59;29', '29.97'], '00:10:00;00'), ('normal control', ['09:01:59;29', '29.97'], '09:02:00;02'), ('normal control', ['09:10:59;29', '29.97'], '09:11:00;02')], [('regression: minute carry', ['23:59:59;59', '59.94'], '00:00:00;00'), ('regression variant: minute carry', ['09:59:59;59', '59.94'], '10:00:00;00'), ('partial repair probe: minute carry', ['09:59:59;29', '29.97'], '10:00:00;00'), ('partial repair variant: minute carry', ['00:59:59;59', '59.94'], '01:00:00;00'), ('boundary control', ['00:09:59;29', '29.97'], '00:10:00;00'), ('boundary control', ['00:00:59;29', '29.97'], '00:01:00;02'), ('normal control', ['01:01:01;02', '29.97'], '01:01:01;03'), ('normal control', ['23:09:59;59', '59.94'], '23:10:00;00'), ('normal control', ['09:19:59;58', '59.94'], '09:19:59;59')], [('regression: minute carry', ['00:59:59;59', '59.94'], '01:00:00;00'), ('regression variant: minute carry', ['01:59:59;59', '59.94'], '02:00:00;00'), ('partial repair probe: minute carry', ['00:59:59;29', '29.97'], '01:00:00;00'), ('partial repair variant: minute carry', ['09:59:59;29', '29.97'], '10:00:00;00'), ('boundary control', ['00:00:59;59', '59.94'], '00:01:00;04'), ('boundary control', ['00:09:59;29', '29.97'], '00:10:00;00'), ('normal control', ['23:09:59;29', '29.97'], '23:10:00;00'), ('normal control', ['09:19:00;04', '59.94'], '09:19:00;05'), ('normal control', ['09:01:01;00', '29.97'], '09:01:01;01')], [('regression: minute carry', ['09:59:59;29', '29.97'], '10:00:00;00'), ('regression variant: minute carry', ['23:59:59;29', '29.97'], '00:00:00;00'), ('partial repair probe: minute carry', ['01:59:59;29', '29.97'], '02:00:00;00'), ('partial repair variant: minute carry', ['00:59:59;29', '29.97'], '01:00:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('boundary control', ['00:00:59;59', '59.94'], '00:01:00;04'), ('normal control', ['01:29:58;58', '59.94'], '01:29:58;59'), ('normal control', ['23:00:00;00', '59.94'], '23:00:00;01'), ('normal control', ['00:00:01;58', '59.94'], '00:00:01;59')], [('regression: minute carry', ['00:59:59;29', '29.97'], '01:00:00;00'), ('regression variant: minute carry', ['23:59:59;59', '59.94'], '00:00:00;00'), ('partial repair probe: minute carry', ['09:59:59;59', '59.94'], '10:00:00;00'), ('partial repair variant: minute carry', ['01:59:59;29', '29.97'], '02:00:00;00'), ('boundary control', ['00:00:59;29', '29.97'], '00:01:00;02'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['01:01:59;29', '29.97'], '01:02:00;02'), ('normal control', ['23:29:01;15', '29.97'], '23:29:01;16'), ('normal control', ['23:29:00;04', '59.94'], '23:29:00;05')]]\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":"748c67847406ca90d93e6db2652a6322806d29caacb0be5e059b657c77972549","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport re\nN = 1\nobservations = []\ndef solve(tc, rate):\n    n=30 if rate=='29.97' else 60\n    drop=2 if n==30 else 4\n    h,m,s,f=map(int,re.split('[:;]',tc))\n    f+=1\n    if f==n:\n        f=0\n        s+=1\n        if s==60:\n            s=0\n            m+=1\n            if m>60:\n                m=0\n                h=(h+1)%24\n            if m%10!=0:\n                f=drop\n    return '%02d:%02d:%02d;%02d'%(h,m,s,f)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: minute carry', ['23:59:59;29', '29.97'], '00:00:00;00'), ('regression variant: minute carry', ['01:59:59;29', '29.97'], '02:00:00;00'), ('partial repair probe: minute carry', ['00:59:59;59', '59.94'], '01:00:00;00'), ('partial repair variant: minute carry', ['23:59:59;59', '59.94'], '00:00:00;00'), ('boundary control', ['00:00:59;29', '29.97'], '00:01:00;02'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['00:09:59;29', '29.97'], '00:10:00;00'), ('normal control', ['09:01:59;29', '29.97'], '09:02:00;02'), ('normal control', ['09:10:59;29', '29.97'], '09:11:00;02')], [('regression: minute carry', ['23:59:59;59', '59.94'], '00:00:00;00'), ('regression variant: minute carry', ['09:59:59;59', '59.94'], '10:00:00;00'), ('partial repair probe: minute carry', ['09:59:59;29', '29.97'], '10:00:00;00'), ('partial repair variant: minute carry', ['00:59:59;59', '59.94'], '01:00:00;00'), ('boundary control', ['00:09:59;29', '29.97'], '00:10:00;00'), ('boundary control', ['00:00:59;29', '29.97'], '00:01:00;02'), ('normal control', ['01:01:01;02', '29.97'], '01:01:01;03'), ('normal control', ['23:09:59;59', '59.94'], '23:10:00;00'), ('normal control', ['09:19:59;58', '59.94'], '09:19:59;59')], [('regression: minute carry', ['00:59:59;59', '59.94'], '01:00:00;00'), ('regression variant: minute carry', ['01:59:59;59', '59.94'], '02:00:00;00'), ('partial repair probe: minute carry', ['00:59:59;29', '29.97'], '01:00:00;00'), ('partial repair variant: minute carry', ['09:59:59;29', '29.97'], '10:00:00;00'), ('boundary control', ['00:00:59;59', '59.94'], '00:01:00;04'), ('boundary control', ['00:09:59;29', '29.97'], '00:10:00;00'), ('normal control', ['23:09:59;29', '29.97'], '23:10:00;00'), ('normal control', ['09:19:00;04', '59.94'], '09:19:00;05'), ('normal control', ['09:01:01;00', '29.97'], '09:01:01;01')], [('regression: minute carry', ['09:59:59;29', '29.97'], '10:00:00;00'), ('regression variant: minute carry', ['23:59:59;29', '29.97'], '00:00:00;00'), ('partial repair probe: minute carry', ['01:59:59;29', '29.97'], '02:00:00;00'), ('partial repair variant: minute carry', ['00:59:59;29', '29.97'], '01:00:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('boundary control', ['00:00:59;59', '59.94'], '00:01:00;04'), ('normal control', ['01:29:58;58', '59.94'], '01:29:58;59'), ('normal control', ['23:00:00;00', '59.94'], '23:00:00;01'), ('normal control', ['00:00:01;58', '59.94'], '00:00:01;59')], [('regression: minute carry', ['00:59:59;29', '29.97'], '01:00:00;00'), ('regression variant: minute carry', ['23:59:59;59', '59.94'], '00:00:00;00'), ('partial repair probe: minute carry', ['09:59:59;59', '59.94'], '10:00:00;00'), ('partial repair variant: minute carry', ['01:59:59;29', '29.97'], '02:00:00;00'), ('boundary control', ['00:00:59;29', '29.97'], '00:01:00;02'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['01:01:59;29', '29.97'], '01:02:00;02'), ('normal control', ['23:29:01;15', '29.97'], '23:29:01;16'), ('normal control', ['23:29:00;04', '59.94'], '23:29:00;05')]]\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-df-label-increment-minute-carry","generated_at":"2026-09-29T14:49:35.361181+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":"Minutes carry into the hour only above 60.","sha256":"4e41b6f5694a12633453f1df5d1eb2343f405a7ad3500140e31638d0c371f4ef","title":"Drop-frame label increment: minute carry · 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":39.624,"exit_code":1,"observations":[{"actual":"23:60:00;00","check":"regression: minute carry","expected":"00:00:00;00","passed":false},{"actual":"01:60:00;00","check":"regression variant: minute carry","expected":"02:00:00;00","passed":false},{"actual":"00:60:00;00","check":"partial repair probe: minute carry","expected":"01:00:00;00","passed":false},{"actual":"23:60:00;00","check":"partial repair variant: minute carry","expected":"00:00:00;00","passed":false},{"actual":"00:01:00;02","check":"boundary control","expected":"00:01:00;02","passed":true},{"actual":"00:01:00;03","check":"boundary control","expected":"00:01:00;03","passed":true},{"actual":"00:10:00;00","check":"normal control","expected":"00:10:00;00","passed":true},{"actual":"09:02:00;02","check":"normal control","expected":"09:02:00;02","passed":true},{"actual":"09:11:00;02","check":"normal control","expected":"09:11:00;02","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: minute carry\", \"actual\": \"23:60:00;00\", \"expected\": \"00:00:00;00\", \"passed\": false}, {\"check\": \"regression variant: minute carry\", \"actual\": \"01:60:00;00\", \"expected\": \"02:00:00;00\", \"passed\": false}, {\"check\": \"partial repair probe: minute carry\", \"actual\": \"00:60:00;00\", \"expected\": \"01:00:00;00\", \"passed\": false}, {\"check\": \"partial repair variant: minute carry\", \"actual\": \"23:60:00;00\", \"expected\": \"00:00:00;00\", \"passed\": false}, {\"check\": \"boundary control\", \"actual\": \"00:01:00;02\", \"expected\": \"00:01:00;02\", \"passed\": true}, {\"check\": \"boundary control\", \"actual\": \"00:01:00;03\", \"expected\": \"00:01:00;03\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:10:00;00\", \"expected\": \"00:10:00;00\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:02:00;02\", \"expected\": \"09:02:00;02\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:11:00;02\", \"expected\": \"09:11:00;02\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.534,"exit_code":1,"observations":[{"actual":"23:60:00;00","check":"regression: minute carry","expected":"00:00:00;00","passed":false},{"actual":"01:60:00;00","check":"regression variant: minute carry","expected":"02:00:00;00","passed":false},{"actual":"00:60:00;00","check":"partial repair probe: minute carry","expected":"01:00:00;00","passed":false},{"actual":"23:60:00;00","check":"partial repair variant: minute carry","expected":"00:00:00;00","passed":false},{"actual":"00:01:00;02","check":"boundary control","expected":"00:01:00;02","passed":true},{"actual":"00:01:00;03","check":"boundary control","expected":"00:01:00;03","passed":true},{"actual":"00:10:00;00","check":"normal control","expected":"00:10:00;00","passed":true},{"actual":"09:02:00;02","check":"normal control","expected":"09:02:00;02","passed":true},{"actual":"09:11:00;02","check":"normal control","expected":"09:11:00;02","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: minute carry\", \"actual\": \"23:60:00;00\", \"expected\": \"00:00:00;00\", \"passed\": false}, {\"check\": \"regression variant: minute carry\", \"actual\": \"01:60:00;00\", \"expected\": \"02:00:00;00\", \"passed\": false}, {\"check\": \"partial repair probe: minute carry\", \"actual\": \"00:60:00;00\", \"expected\": \"01:00:00;00\", \"passed\": false}, {\"check\": \"partial repair variant: minute carry\", \"actual\": \"23:60:00;00\", \"expected\": \"00:00:00;00\", \"passed\": false}, {\"check\": \"boundary control\", \"actual\": \"00:01:00;02\", \"expected\": \"00:01:00;02\", \"passed\": true}, {\"check\": \"boundary control\", \"actual\": \"00:01:00;03\", \"expected\": \"00:01:00;03\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"00:10:00;00\", \"expected\": \"00:10:00;00\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:02:00;02\", \"expected\": \"09:02:00;02\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:11:00;02\", \"expected\": \"09:11:00;02\", \"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."}}