{"abstract":"A clock time of 00:00:01.5 evaluates to 1005 ms.","category":"Subtitle cue timing","checks":9,"contract":"Evaluate a timed-text time expression to integer ms, rounded half up. Offset form <number><metric> with metric h, m, s, ms, f (frames at frame_rate) or t (ticks at tick_rate). Clock form HH:MM:SS with optional .fraction (any digits) or :FF frames (FF < frame_rate). Minutes/seconds above 59 or malformed text give None.","contract_signature":"expr, frame_rate, tick_rate","evaluation_group":"w2-subtitle-cue-timing-ttml-time-expression","failed_approach":"Truncating to three digits still misreads short fractions and drops sub-millisecond rounding.","family":"w2-subtitle-cue-timing-ttml-time-expression-clock-fraction-digits","id":"FA-78201","implementations":{"attempt":{"sha256":"19a3326a8cdebb0e501120c530a198ec2082d95329dbe15c85b676b23ef81e59","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport re\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(expr, frame_rate, tick_rate):\n    m=re.fullmatch(r'(\\d+(?:\\.\\d+)?)(h|ms|m|s|f|t)',expr)\n    if m:\n        v=Fraction(m.group(1))\n        unit=m.group(2)\n        scale={'h':3600000,'m':60000,'s':1000,'ms':1}\n        if unit in scale:\n            x=v*scale[unit]\n        elif unit=='f':\n            x=v*1000/frame_rate\n        else:\n            x=v*1000/tick_rate\n        return math.floor(x+Fraction(1,2))\n    m=re.fullmatch(r'(\\d{2,}):(\\d{2}):(\\d{2})(?:\\.(\\d+)|:(\\d{2,}))?',expr)\n    if not m:\n        return None\n    h,mi,se,frac,fr=m.groups()\n    if int(mi)>59 or int(se)>59:\n        return None\n    x=Fraction(int(h)*3600+int(mi)*60+int(se))*1000\n    if frac:\n        x+=Fraction(int(frac[:3]),1000)*1000\n    if fr:\n        if int(fr)>=frame_rate:\n            return None\n        x+=Fraction(int(fr)*1000,frame_rate)\n    return (x*2+1)//2\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: clock fraction digits', ['00:00:01.0005', 25, 1000], 1001), ('regression variant: clock fraction digits', ['00:00:05.25', 30, 1000], 5250), ('partial repair probe: clock fraction digits', ['10:00:00.25', 16, 3], 36000250), ('partial repair variant: clock fraction digits', ['10:59:59.0005', 50, 90000], 39599001), ('boundary control', ['10t', 25, 1000], 10), ('boundary control', ['00:00:00:25', 25, 1000], None), ('normal control', ['3f', 16, 1000], 188), ('normal control', ['10:59:59:15', 40, 1000], 39599375), ('normal control', ['01:60:59:30', 50, 10000000], None)], [('regression: clock fraction digits', ['10:59:59.25', 25, 10000000], 39599250), ('regression variant: clock fraction digits', ['100:00:00.5', 25, 90000], 360000500), ('partial repair probe: clock fraction digits', ['10:30:59.5', 24, 1000], 37859500), ('partial repair variant: clock fraction digits', ['01:30:59.25', 40, 3], 5459250), ('boundary control', ['3f', 16, 1000], 188), ('boundary control', ['10t', 25, 1000], 10), ('normal control', ['0ms', 16, 90000], 0), ('normal control', ['10:59:00:15', 40, 90000], 39540375), ('normal control', ['00:00:59:12', 30, 10000000], 59400)], [('regression: clock fraction digits', ['10:00:00.25', 16, 3], 36000250), ('regression variant: clock fraction digits', ['100:59:59.1234', 40, 10000000], 363599123), ('partial repair probe: clock fraction digits', ['01:00:00.5', 50, 1000], 3600500), ('partial repair variant: clock fraction digits', ['00:30:00.5', 25, 10000000], 1800500), ('boundary control', ['00:00:01:15', 16, 1000], 1938), ('boundary control', ['3f', 16, 1000], 188), ('normal control', ['100:30:59:30', 25, 10000000], None), ('normal control', ['00:30:00:15', 16, 10000000], 1800938), ('normal control', ['2s', 50, 3], 2000)], [('regression: clock fraction digits', ['10:30:59.5', 24, 1000], 37859500), ('regression variant: clock fraction digits', ['10:00:05.5', 30, 90000], 36005500), ('partial repair probe: clock fraction digits', ['00:00:05.25', 30, 1000], 5250), ('partial repair variant: clock fraction digits', ['00:30:00.5', 40, 1000], 1800500), ('boundary control', ['00:00:00:25', 25, 1000], None), ('boundary control', ['00:00:01:15', 16, 1000], 1938), ('normal control', ['100:59:59:12', 24, 1000], 363599500), ('normal control', ['7t', 25, 10000000], 0), ('normal control', ['17s', 25, 1000], 17000)], [('regression: clock fraction digits', ['01:00:00.5', 50, 1000], 3600500), ('regression variant: clock fraction digits', ['100:00:05.25', 50, 90000], 360005250), ('partial repair probe: clock fraction digits', ['100:00:00.5', 25, 90000], 360000500), ('partial repair variant: clock fraction digits', ['100:59:00.0005', 16, 3], 363540001), ('boundary control', ['10t', 25, 1000], 10), ('boundary control', ['00:00:00:25', 25, 1000], None), ('normal control', ['2ms', 40, 90000], 2), ('normal control', ['0.001ms', 30, 90000], 0), ('normal control', ['10:00:00:30', 25, 1000], 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":"712b637ac2c377c900323fb412be0e0e161dd1cf4c8ad63c0ed0f23c2920533a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport re\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(expr, frame_rate, tick_rate):\n    m=re.fullmatch(r'(\\d+(?:\\.\\d+)?)(h|ms|m|s|f|t)',expr)\n    if m:\n        v=Fraction(m.group(1))\n        unit=m.group(2)\n        scale={'h':3600000,'m':60000,'s':1000,'ms':1}\n        if unit in scale:\n            x=v*scale[unit]\n        elif unit=='f':\n            x=v*1000/frame_rate\n        else:\n            x=v*1000/tick_rate\n        return math.floor(x+Fraction(1,2))\n    m=re.fullmatch(r'(\\d{2,}):(\\d{2}):(\\d{2})(?:\\.(\\d+)|:(\\d{2,}))?',expr)\n    if not m:\n        return None\n    h,mi,se,frac,fr=m.groups()\n    if int(mi)>59 or int(se)>59:\n        return None\n    x=Fraction(int(h)*3600+int(mi)*60+int(se))*1000\n    if frac:\n        x+=Fraction(int(frac),1000)*1000\n    if fr:\n        if int(fr)>=frame_rate:\n            return None\n        x+=Fraction(int(fr)*1000,frame_rate)\n    return (x*2+1)//2\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: clock fraction digits', ['00:00:01.0005', 25, 1000], 1001), ('regression variant: clock fraction digits', ['00:00:05.25', 30, 1000], 5250), ('partial repair probe: clock fraction digits', ['10:00:00.25', 16, 3], 36000250), ('partial repair variant: clock fraction digits', ['10:59:59.0005', 50, 90000], 39599001), ('boundary control', ['10t', 25, 1000], 10), ('boundary control', ['00:00:00:25', 25, 1000], None), ('normal control', ['3f', 16, 1000], 188), ('normal control', ['10:59:59:15', 40, 1000], 39599375), ('normal control', ['01:60:59:30', 50, 10000000], None)], [('regression: clock fraction digits', ['10:59:59.25', 25, 10000000], 39599250), ('regression variant: clock fraction digits', ['100:00:00.5', 25, 90000], 360000500), ('partial repair probe: clock fraction digits', ['10:30:59.5', 24, 1000], 37859500), ('partial repair variant: clock fraction digits', ['01:30:59.25', 40, 3], 5459250), ('boundary control', ['3f', 16, 1000], 188), ('boundary control', ['10t', 25, 1000], 10), ('normal control', ['0ms', 16, 90000], 0), ('normal control', ['10:59:00:15', 40, 90000], 39540375), ('normal control', ['00:00:59:12', 30, 10000000], 59400)], [('regression: clock fraction digits', ['10:00:00.25', 16, 3], 36000250), ('regression variant: clock fraction digits', ['100:59:59.1234', 40, 10000000], 363599123), ('partial repair probe: clock fraction digits', ['01:00:00.5', 50, 1000], 3600500), ('partial repair variant: clock fraction digits', ['00:30:00.5', 25, 10000000], 1800500), ('boundary control', ['00:00:01:15', 16, 1000], 1938), ('boundary control', ['3f', 16, 1000], 188), ('normal control', ['100:30:59:30', 25, 10000000], None), ('normal control', ['00:30:00:15', 16, 10000000], 1800938), ('normal control', ['2s', 50, 3], 2000)], [('regression: clock fraction digits', ['10:30:59.5', 24, 1000], 37859500), ('regression variant: clock fraction digits', ['10:00:05.5', 30, 90000], 36005500), ('partial repair probe: clock fraction digits', ['00:00:05.25', 30, 1000], 5250), ('partial repair variant: clock fraction digits', ['00:30:00.5', 40, 1000], 1800500), ('boundary control', ['00:00:00:25', 25, 1000], None), ('boundary control', ['00:00:01:15', 16, 1000], 1938), ('normal control', ['100:59:59:12', 24, 1000], 363599500), ('normal control', ['7t', 25, 10000000], 0), ('normal control', ['17s', 25, 1000], 17000)], [('regression: clock fraction digits', ['01:00:00.5', 50, 1000], 3600500), ('regression variant: clock fraction digits', ['100:00:05.25', 50, 90000], 360005250), ('partial repair probe: clock fraction digits', ['100:00:00.5', 25, 90000], 360000500), ('partial repair variant: clock fraction digits', ['100:59:00.0005', 16, 3], 363540001), ('boundary control', ['10t', 25, 1000], 10), ('boundary control', ['00:00:00:25', 25, 1000], None), ('normal control', ['2ms', 40, 90000], 2), ('normal control', ['0.001ms', 30, 90000], 0), ('normal control', ['10:00:00:30', 25, 1000], 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 any subtitle 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-subtitle-cue-timing-ttml-time-expression-clock-fraction-digits","generated_at":"2026-09-29T14:49:33.108797+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Subtitle timing defects shift, hide or overlap captions that viewers depend on for comprehension and accessibility.","root_cause":"Fraction digits are assumed to be milliseconds regardless of their count.","sha256":"546f5778a0047de09cb92af6a3439ba6e6c97cdbc03471549aac16f3130b56e0","title":"Timed-text time expression evaluation: clock fraction digits · 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":50.303,"exit_code":1,"observations":[{"actual":1000,"check":"regression: clock fraction digits","expected":1001,"passed":false},{"actual":5025,"check":"regression variant: clock fraction digits","expected":5250,"passed":false},{"actual":36000025,"check":"partial repair probe: clock fraction digits","expected":36000250,"passed":false},{"actual":39599000,"check":"partial repair variant: clock fraction digits","expected":39599001,"passed":false},{"actual":10,"check":"boundary control","expected":10,"passed":true},{"actual":null,"check":"boundary control","expected":null,"passed":true},{"actual":188,"check":"normal control","expected":188,"passed":true},{"actual":39599375,"check":"normal control","expected":39599375,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: clock fraction digits\", \"actual\": 1000, \"expected\": 1001, \"passed\": false}, {\"check\": \"regression variant: clock fraction digits\", \"actual\": 5025, \"expected\": 5250, \"passed\": false}, {\"check\": \"partial repair probe: clock fraction digits\", \"actual\": 36000025, \"expected\": 36000250, \"passed\": false}, {\"check\": \"partial repair variant: clock fraction digits\", \"actual\": 39599000, \"expected\": 39599001, \"passed\": false}, {\"check\": \"boundary control\", \"actual\": 10, \"expected\": 10, \"passed\": true}, {\"check\": \"boundary control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": 188, \"expected\": 188, \"passed\": true}, {\"check\": \"normal control\", \"actual\": 39599375, \"expected\": 39599375, \"passed\": true}, {\"check\": \"normal control\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.573,"exit_code":1,"observations":[{"actual":1005,"check":"regression: clock fraction digits","expected":1001,"passed":false},{"actual":5025,"check":"regression variant: clock fraction digits","expected":5250,"passed":false},{"actual":36000025,"check":"partial repair probe: clock fraction digits","expected":36000250,"passed":false},{"actual":39599005,"check":"partial repair variant: clock fraction digits","expected":39599001,"passed":false},{"actual":10,"check":"boundary control","expected":10,"passed":true},{"actual":null,"check":"boundary control","expected":null,"passed":true},{"actual":188,"check":"normal control","expected":188,"passed":true},{"actual":39599375,"check":"normal control","expected":39599375,"passed":true},{"actual":null,"check":"normal control","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: clock fraction digits\", \"actual\": 1005, \"expected\": 1001, \"passed\": false}, {\"check\": \"regression variant: clock fraction digits\", \"actual\": 5025, \"expected\": 5250, \"passed\": false}, {\"check\": \"partial repair probe: clock fraction digits\", \"actual\": 36000025, \"expected\": 36000250, \"passed\": false}, {\"check\": \"partial repair variant: clock fraction digits\", \"actual\": 39599005, \"expected\": 39599001, \"passed\": false}, {\"check\": \"boundary control\", \"actual\": 10, \"expected\": 10, \"passed\": true}, {\"check\": \"boundary control\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal control\", \"actual\": 188, \"expected\": 188, \"passed\": true}, {\"check\": \"normal control\", \"actual\": 39599375, \"expected\": 39599375, \"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."}}