{"abstract":"Labels are skipped at minutes 10, 20 and 30 but kept at the other minutes.","category":"Broadcast timecode arithmetic","checks":8,"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":"Exempting only minute zero skips labels at minutes 10 through 50.","family":"w2-broadcast-timecode-arithmetic-df-label-increment-tenth-minute-exemption","id":"FA-78456","implementations":{"attempt":{"sha256":"c4ec1f3c13498459a988b2fbec70acac0a36e02a9e077d54a3ad67e4357685d1","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!=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: tenth-minute exemption', ['00:00:59;29', '29.97'], '00:01:00;02'), ('regression variant: tenth-minute exemption', ['09:10:59;29', '29.97'], '09:11:00;02'), ('partial repair probe: tenth-minute exemption', ['23:09:59;29', '29.97'], '23:10:00;00'), ('partial repair variant: tenth-minute exemption', ['01:09:59;29', '29.97'], '01:10:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['01:01:01;02', '29.97'], '01:01:01;03'), ('normal control', ['09:19:58;05', '59.94'], '09:19:58;06'), ('normal control', ['09:19:59;58', '59.94'], '09:19:59;59')], [('regression: tenth-minute exemption', ['00:09:59;29', '29.97'], '00:10:00;00'), ('regression variant: tenth-minute exemption', ['09:00:59;29', '29.97'], '09:01:00;02'), ('partial repair probe: tenth-minute exemption', ['09:29:59;59', '59.94'], '09:30:00;00'), ('partial repair variant: tenth-minute exemption', ['23:19:59;29', '29.97'], '23:20:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['00:29:59;00', '59.94'], '00:29:59;01'), ('normal control', ['00:10:59;01', '59.94'], '00:10:59;02'), ('normal control', ['01:19:00;04', '59.94'], '01:19:00;05')], [('regression: tenth-minute exemption', ['00:00:59;59', '59.94'], '00:01:00;04'), ('regression variant: tenth-minute exemption', ['23:59:59;59', '59.94'], '00:00:00;00'), ('partial repair probe: tenth-minute exemption', ['23:29:59;59', '59.94'], '23:30:00;00'), ('partial repair variant: tenth-minute exemption', ['00:19:59;59', '59.94'], '00:20:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['00:29:58;02', '59.94'], '00:29:58;03'), ('normal control', ['00:00:01;58', '59.94'], '00:00:01;59'), ('normal control', ['23:29:01;15', '29.97'], '23:29:01;16')], [('regression: tenth-minute exemption', ['23:59:59;29', '29.97'], '00:00:00;00'), ('regression variant: tenth-minute exemption', ['23:09:59;59', '59.94'], '23:10:00;00'), ('partial repair probe: tenth-minute exemption', ['09:29:59;29', '29.97'], '09:30:00;00'), ('partial repair variant: tenth-minute exemption', ['00:29:59;29', '29.97'], '00:30:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['23:29:00;04', '59.94'], '23:29:00;05'), ('normal control', ['01:10:58;15', '29.97'], '01:10:58;16'), ('normal control', ['09:01:01;01', '29.97'], '09:01:01;02')], [('regression: tenth-minute exemption', ['09:01:59;29', '29.97'], '09:02:00;02'), ('regression variant: tenth-minute exemption', ['23:09:59;29', '29.97'], '23:10:00;00'), ('partial repair probe: tenth-minute exemption', ['01:19:59;59', '59.94'], '01:20:00;00'), ('partial repair variant: tenth-minute exemption', ['00:19:59;29', '29.97'], '00:20:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['23:10:58;03', '29.97'], '23:10:58;04'), ('normal control', ['01:19:01;05', '59.94'], '01:19:01;06'), ('normal control', ['01:09:01;58', '59.94'], '01:09:01;59')]]\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":"8ececa7360ffdd18569d55596459bdb385fe4625df878106a1df3e45869660a2","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: tenth-minute exemption', ['00:00:59;29', '29.97'], '00:01:00;02'), ('regression variant: tenth-minute exemption', ['09:10:59;29', '29.97'], '09:11:00;02'), ('partial repair probe: tenth-minute exemption', ['23:09:59;29', '29.97'], '23:10:00;00'), ('partial repair variant: tenth-minute exemption', ['01:09:59;29', '29.97'], '01:10:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['01:01:01;02', '29.97'], '01:01:01;03'), ('normal control', ['09:19:58;05', '59.94'], '09:19:58;06'), ('normal control', ['09:19:59;58', '59.94'], '09:19:59;59')], [('regression: tenth-minute exemption', ['00:09:59;29', '29.97'], '00:10:00;00'), ('regression variant: tenth-minute exemption', ['09:00:59;29', '29.97'], '09:01:00;02'), ('partial repair probe: tenth-minute exemption', ['09:29:59;59', '59.94'], '09:30:00;00'), ('partial repair variant: tenth-minute exemption', ['23:19:59;29', '29.97'], '23:20:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['00:29:59;00', '59.94'], '00:29:59;01'), ('normal control', ['00:10:59;01', '59.94'], '00:10:59;02'), ('normal control', ['01:19:00;04', '59.94'], '01:19:00;05')], [('regression: tenth-minute exemption', ['00:00:59;59', '59.94'], '00:01:00;04'), ('regression variant: tenth-minute exemption', ['23:59:59;59', '59.94'], '00:00:00;00'), ('partial repair probe: tenth-minute exemption', ['23:29:59;59', '59.94'], '23:30:00;00'), ('partial repair variant: tenth-minute exemption', ['00:19:59;59', '59.94'], '00:20:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['00:29:58;02', '59.94'], '00:29:58;03'), ('normal control', ['00:00:01;58', '59.94'], '00:00:01;59'), ('normal control', ['23:29:01;15', '29.97'], '23:29:01;16')], [('regression: tenth-minute exemption', ['23:59:59;29', '29.97'], '00:00:00;00'), ('regression variant: tenth-minute exemption', ['23:09:59;59', '59.94'], '23:10:00;00'), ('partial repair probe: tenth-minute exemption', ['09:29:59;29', '29.97'], '09:30:00;00'), ('partial repair variant: tenth-minute exemption', ['00:29:59;29', '29.97'], '00:30:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['23:29:00;04', '59.94'], '23:29:00;05'), ('normal control', ['01:10:58;15', '29.97'], '01:10:58;16'), ('normal control', ['09:01:01;01', '29.97'], '09:01:01;02')], [('regression: tenth-minute exemption', ['09:01:59;29', '29.97'], '09:02:00;02'), ('regression variant: tenth-minute exemption', ['23:09:59;29', '29.97'], '23:10:00;00'), ('partial repair probe: tenth-minute exemption', ['01:19:59;59', '59.94'], '01:20:00;00'), ('partial repair variant: tenth-minute exemption', ['00:19:59;29', '29.97'], '00:20:00;00'), ('boundary control', ['00:01:00;02', '29.97'], '00:01:00;03'), ('normal control', ['23:10:58;03', '29.97'], '23:10:58;04'), ('normal control', ['01:19:01;05', '59.94'], '01:19:01;06'), ('normal control', ['01:09:01;58', '59.94'], '01:09:01;59')]]\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-tenth-minute-exemption","generated_at":"2026-09-29T14:49:35.323174+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 exemption test is inverted.","sha256":"19e81faefe899d6d7bfde3b25bb28b8d4bbc6fe25f53b78e6979cbe91878088f","title":"Drop-frame label increment: tenth-minute exemption · 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":38.078,"exit_code":1,"observations":[{"actual":"00:01:00;02","check":"regression: tenth-minute exemption","expected":"00:01:00;02","passed":true},{"actual":"09:11:00;02","check":"regression variant: tenth-minute exemption","expected":"09:11:00;02","passed":true},{"actual":"23:10:00;02","check":"partial repair probe: tenth-minute exemption","expected":"23:10:00;00","passed":false},{"actual":"01:10:00;02","check":"partial repair variant: tenth-minute exemption","expected":"01:10:00;00","passed":false},{"actual":"00:01:00;03","check":"boundary control","expected":"00:01:00;03","passed":true},{"actual":"01:01:01;03","check":"normal control","expected":"01:01:01;03","passed":true},{"actual":"09:19:58;06","check":"normal control","expected":"09:19:58;06","passed":true},{"actual":"09:19:59;59","check":"normal control","expected":"09:19:59;59","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: tenth-minute exemption\", \"actual\": \"00:01:00;02\", \"expected\": \"00:01:00;02\", \"passed\": true}, {\"check\": \"regression variant: tenth-minute exemption\", \"actual\": \"09:11:00;02\", \"expected\": \"09:11:00;02\", \"passed\": true}, {\"check\": \"partial repair probe: tenth-minute exemption\", \"actual\": \"23:10:00;02\", \"expected\": \"23:10:00;00\", \"passed\": false}, {\"check\": \"partial repair variant: tenth-minute exemption\", \"actual\": \"01:10:00;02\", \"expected\": \"01:10:00;00\", \"passed\": false}, {\"check\": \"boundary control\", \"actual\": \"00:01:00;03\", \"expected\": \"00:01:00;03\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"01:01:01;03\", \"expected\": \"01:01:01;03\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:19:58;06\", \"expected\": \"09:19:58;06\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:19:59;59\", \"expected\": \"09:19:59;59\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.532,"exit_code":1,"observations":[{"actual":"00:01:00;00","check":"regression: tenth-minute exemption","expected":"00:01:00;02","passed":false},{"actual":"09:11:00;00","check":"regression variant: tenth-minute exemption","expected":"09:11:00;02","passed":false},{"actual":"23:10:00;02","check":"partial repair probe: tenth-minute exemption","expected":"23:10:00;00","passed":false},{"actual":"01:10:00;02","check":"partial repair variant: tenth-minute exemption","expected":"01:10:00;00","passed":false},{"actual":"00:01:00;03","check":"boundary control","expected":"00:01:00;03","passed":true},{"actual":"01:01:01;03","check":"normal control","expected":"01:01:01;03","passed":true},{"actual":"09:19:58;06","check":"normal control","expected":"09:19:58;06","passed":true},{"actual":"09:19:59;59","check":"normal control","expected":"09:19:59;59","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: tenth-minute exemption\", \"actual\": \"00:01:00;00\", \"expected\": \"00:01:00;02\", \"passed\": false}, {\"check\": \"regression variant: tenth-minute exemption\", \"actual\": \"09:11:00;00\", \"expected\": \"09:11:00;02\", \"passed\": false}, {\"check\": \"partial repair probe: tenth-minute exemption\", \"actual\": \"23:10:00;02\", \"expected\": \"23:10:00;00\", \"passed\": false}, {\"check\": \"partial repair variant: tenth-minute exemption\", \"actual\": \"01:10:00;02\", \"expected\": \"01:10:00;00\", \"passed\": false}, {\"check\": \"boundary control\", \"actual\": \"00:01:00;03\", \"expected\": \"00:01:00;03\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"01:01:01;03\", \"expected\": \"01:01:01;03\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:19:58;06\", \"expected\": \"09:19:58;06\", \"passed\": true}, {\"check\": \"normal control\", \"actual\": \"09:19:59;59\", \"expected\": \"09:19:59;59\", \"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."}}