{"abstract":"Split pieces are separated by one-millisecond holes.","category":"Subtitle cue timing","checks":7,"contract":"Split cue [start,end] into len(parts) consecutive cues. Each part weighs max(1, len(part.strip())). Boundary after part k is start + floor(dur * cumulative_weight_k / total_weight); pieces are contiguous and the last ends at end. Output [s,e,part.strip()].","contract_signature":"cue, parts","evaluation_group":"w2-subtitle-cue-timing-cue-split","failed_approach":"Starting one millisecond early makes adjacent pieces overlap.","family":"w2-subtitle-cue-timing-cue-split-piece-contiguity","id":"FA-78131","implementations":{"attempt":{"sha256":"c6b023711c561352bf9e926f74ea214d53b8e812e1a01d37b7521b7f6df1b2d1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cue, parts):\n    start,end=cue\n    w=[max(1,len(p.strip())) for p in parts]\n    total=sum(w)\n    dur=end-start\n    out=[]\n    acc=0\n    prev=start\n    for p,x in zip(parts,w):\n        acc+=x\n        b=start+dur*acc//total\n        out.append([prev,b,p.strip()])\n        prev=b-1\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: piece contiguity', [[0, 1000], ['ab', 'cd']], [[0, 500, 'ab'], [500, 1000, 'cd']]), ('regression variant: piece contiguity', [[1000, 1007], ['a', 'xyz', 'friend', 'a']], [[1000, 1000, 'a'], [1000, 1002, 'xyz'], [1002, 1006, 'friend'], [1006, 1007, 'a']]), ('partial repair probe: piece contiguity', [[0, 7], ['abc', 'de', 'f']], [[0, 3, 'abc'], [3, 5, 'de'], [5, 7, 'f']]), ('partial repair variant: piece contiguity', [[1000, 1999], ['ok ', 'Hello']], [[1000, 1285, 'ok'], [1285, 1999, 'Hello']]), ('normal control', [[0, 2500], ['xyz']], [[0, 2500, 'xyz']]), ('normal control', [[1000, 1999], ['a']], [[1000, 1999, 'a']]), ('normal control', [[1000, 1999], ['  ']], [[1000, 1999, '']])], [('regression: piece contiguity', [[0, 1000], ['a', '']], [[0, 500, 'a'], [500, 1000, '']]), ('regression variant: piece contiguity', [[1000, 1999], ['Longer chunk of text', 'xyz']], [[1000, 1868, 'Longer chunk of text'], [1868, 1999, 'xyz']]), ('partial repair probe: piece contiguity', [[100, 1100], [' x ', 'y']], [[100, 600, 'x'], [600, 1100, 'y']]), ('partial repair variant: piece contiguity', [[1000, 1999], ['ok ', '  ', 'friend', 'ok ']], [[1000, 1181, 'ok'], [1181, 1272, ''], [1272, 1817, 'friend'], [1817, 1999, 'ok']]), ('normal control', [[1000, 2000], ['a']], [[1000, 2000, 'a']]), ('normal control', [[1000, 3500], ['Hello']], [[1000, 3500, 'Hello']]), ('normal control', [[12345, 12352], ['xyz']], [[12345, 12352, 'xyz']])], [('regression: piece contiguity', [[0, 7], ['abc', 'de', 'f']], [[0, 3, 'abc'], [3, 5, 'de'], [5, 7, 'f']]), ('regression variant: piece contiguity', [[0, 100], ['friend', 'ok ', 'ok ']], [[0, 60, 'friend'], [60, 80, 'ok'], [80, 100, 'ok']]), ('partial repair probe: piece contiguity', [[0, 7], ['friend', 'Hello', 'ok ']], [[0, 3, 'friend'], [3, 5, 'Hello'], [5, 7, 'ok']]), ('partial repair variant: piece contiguity', [[12345, 13344], ['ok ', 'ok ', '  ']], [[12345, 12744, 'ok'], [12744, 13144, 'ok'], [13144, 13344, '']]), ('normal control', [[12345, 12445], ['a']], [[12345, 12445, 'a']]), ('normal control', [[12345, 13345], ['xyz']], [[12345, 13345, 'xyz']]), ('normal control', [[0, 999], ['ok ']], [[0, 999, 'ok']])], [('regression: piece contiguity', [[100, 1100], [' x ', 'y']], [[100, 600, 'x'], [600, 1100, 'y']]), ('regression variant: piece contiguity', [[0, 3001], ['ok ', ' there ']], [[0, 857, 'ok'], [857, 3001, 'there']]), ('partial repair probe: piece contiguity', [[1000, 1007], ['a', 'xyz', 'friend', 'a']], [[1000, 1000, 'a'], [1000, 1002, 'xyz'], [1002, 1006, 'friend'], [1006, 1007, 'a']]), ('partial repair variant: piece contiguity', [[1000, 1100], [' there ', 'ok ', 'Longer chunk of text']], [[1000, 1018, 'there'], [1018, 1025, 'ok'], [1025, 1100, 'Longer chunk of text']]), ('normal control', [[12345, 13345], ['  ']], [[12345, 13345, '']]), ('normal control', [[1000, 1007], ['friend']], [[1000, 1007, 'friend']]), ('normal control', [[1000, 1007], [' there ']], [[1000, 1007, 'there']])], [('regression: piece contiguity', [[0, 7], ['friend', 'Hello', 'ok ']], [[0, 3, 'friend'], [3, 5, 'Hello'], [5, 7, 'ok']]), ('regression variant: piece contiguity', [[1000, 1999], ['ok ', 'Hello']], [[1000, 1285, 'ok'], [1285, 1999, 'Hello']]), ('partial repair probe: piece contiguity', [[1000, 1999], ['Longer chunk of text', 'xyz']], [[1000, 1868, 'Longer chunk of text'], [1868, 1999, 'xyz']]), ('partial repair variant: piece contiguity', [[0, 100], ['a', 'xyz', 'Longer chunk of text']], [[0, 4, 'a'], [4, 16, 'xyz'], [16, 100, 'Longer chunk of text']]), ('normal control', [[12345, 13345], ['ok ']], [[12345, 13345, 'ok']]), ('normal control', [[0, 1000], ['Longer chunk of text']], [[0, 1000, 'Longer chunk of text']]), ('normal control', [[12345, 14845], [' there ']], [[12345, 14845, 'there']])]]\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":"2ec574110fd7dab35f266b0438283425783df5028a74da6fbc6e7ac248243c22","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cue, parts):\n    start,end=cue\n    w=[max(1,len(p.strip())) for p in parts]\n    total=sum(w)\n    dur=end-start\n    out=[]\n    acc=0\n    prev=start\n    for p,x in zip(parts,w):\n        acc+=x\n        b=start+dur*acc//total\n        out.append([prev,b,p.strip()])\n        prev=b+1\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: piece contiguity', [[0, 1000], ['ab', 'cd']], [[0, 500, 'ab'], [500, 1000, 'cd']]), ('regression variant: piece contiguity', [[1000, 1007], ['a', 'xyz', 'friend', 'a']], [[1000, 1000, 'a'], [1000, 1002, 'xyz'], [1002, 1006, 'friend'], [1006, 1007, 'a']]), ('partial repair probe: piece contiguity', [[0, 7], ['abc', 'de', 'f']], [[0, 3, 'abc'], [3, 5, 'de'], [5, 7, 'f']]), ('partial repair variant: piece contiguity', [[1000, 1999], ['ok ', 'Hello']], [[1000, 1285, 'ok'], [1285, 1999, 'Hello']]), ('normal control', [[0, 2500], ['xyz']], [[0, 2500, 'xyz']]), ('normal control', [[1000, 1999], ['a']], [[1000, 1999, 'a']]), ('normal control', [[1000, 1999], ['  ']], [[1000, 1999, '']])], [('regression: piece contiguity', [[0, 1000], ['a', '']], [[0, 500, 'a'], [500, 1000, '']]), ('regression variant: piece contiguity', [[1000, 1999], ['Longer chunk of text', 'xyz']], [[1000, 1868, 'Longer chunk of text'], [1868, 1999, 'xyz']]), ('partial repair probe: piece contiguity', [[100, 1100], [' x ', 'y']], [[100, 600, 'x'], [600, 1100, 'y']]), ('partial repair variant: piece contiguity', [[1000, 1999], ['ok ', '  ', 'friend', 'ok ']], [[1000, 1181, 'ok'], [1181, 1272, ''], [1272, 1817, 'friend'], [1817, 1999, 'ok']]), ('normal control', [[1000, 2000], ['a']], [[1000, 2000, 'a']]), ('normal control', [[1000, 3500], ['Hello']], [[1000, 3500, 'Hello']]), ('normal control', [[12345, 12352], ['xyz']], [[12345, 12352, 'xyz']])], [('regression: piece contiguity', [[0, 7], ['abc', 'de', 'f']], [[0, 3, 'abc'], [3, 5, 'de'], [5, 7, 'f']]), ('regression variant: piece contiguity', [[0, 100], ['friend', 'ok ', 'ok ']], [[0, 60, 'friend'], [60, 80, 'ok'], [80, 100, 'ok']]), ('partial repair probe: piece contiguity', [[0, 7], ['friend', 'Hello', 'ok ']], [[0, 3, 'friend'], [3, 5, 'Hello'], [5, 7, 'ok']]), ('partial repair variant: piece contiguity', [[12345, 13344], ['ok ', 'ok ', '  ']], [[12345, 12744, 'ok'], [12744, 13144, 'ok'], [13144, 13344, '']]), ('normal control', [[12345, 12445], ['a']], [[12345, 12445, 'a']]), ('normal control', [[12345, 13345], ['xyz']], [[12345, 13345, 'xyz']]), ('normal control', [[0, 999], ['ok ']], [[0, 999, 'ok']])], [('regression: piece contiguity', [[100, 1100], [' x ', 'y']], [[100, 600, 'x'], [600, 1100, 'y']]), ('regression variant: piece contiguity', [[0, 3001], ['ok ', ' there ']], [[0, 857, 'ok'], [857, 3001, 'there']]), ('partial repair probe: piece contiguity', [[1000, 1007], ['a', 'xyz', 'friend', 'a']], [[1000, 1000, 'a'], [1000, 1002, 'xyz'], [1002, 1006, 'friend'], [1006, 1007, 'a']]), ('partial repair variant: piece contiguity', [[1000, 1100], [' there ', 'ok ', 'Longer chunk of text']], [[1000, 1018, 'there'], [1018, 1025, 'ok'], [1025, 1100, 'Longer chunk of text']]), ('normal control', [[12345, 13345], ['  ']], [[12345, 13345, '']]), ('normal control', [[1000, 1007], ['friend']], [[1000, 1007, 'friend']]), ('normal control', [[1000, 1007], [' there ']], [[1000, 1007, 'there']])], [('regression: piece contiguity', [[0, 7], ['friend', 'Hello', 'ok ']], [[0, 3, 'friend'], [3, 5, 'Hello'], [5, 7, 'ok']]), ('regression variant: piece contiguity', [[1000, 1999], ['ok ', 'Hello']], [[1000, 1285, 'ok'], [1285, 1999, 'Hello']]), ('partial repair probe: piece contiguity', [[1000, 1999], ['Longer chunk of text', 'xyz']], [[1000, 1868, 'Longer chunk of text'], [1868, 1999, 'xyz']]), ('partial repair variant: piece contiguity', [[0, 100], ['a', 'xyz', 'Longer chunk of text']], [[0, 4, 'a'], [4, 16, 'xyz'], [16, 100, 'Longer chunk of text']]), ('normal control', [[12345, 13345], ['ok ']], [[12345, 13345, 'ok']]), ('normal control', [[0, 1000], ['Longer chunk of text']], [[0, 1000, 'Longer chunk of text']]), ('normal control', [[12345, 14845], [' there ']], [[12345, 14845, 'there']])]]\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-cue-split-piece-contiguity","generated_at":"2026-09-29T14:49:32.446447+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":"The next piece starts one millisecond after the previous boundary.","sha256":"b094d1991e9e227e99f3031869cc22a52ad25a24adaaaecf7eee0a2c2a2823b2","title":"Proportional cue splitting: piece contiguity · 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":42.694,"exit_code":1,"observations":[{"actual":[[0,500,"ab"],[499,1000,"cd"]],"check":"regression: piece contiguity","expected":[[0,500,"ab"],[500,1000,"cd"]],"passed":false},{"actual":[[1000,1000,"a"],[999,1002,"xyz"],[1001,1006,"friend"],[1005,1007,"a"]],"check":"regression variant: piece contiguity","expected":[[1000,1000,"a"],[1000,1002,"xyz"],[1002,1006,"friend"],[1006,1007,"a"]],"passed":false},{"actual":[[0,3,"abc"],[2,5,"de"],[4,7,"f"]],"check":"partial repair probe: piece contiguity","expected":[[0,3,"abc"],[3,5,"de"],[5,7,"f"]],"passed":false},{"actual":[[1000,1285,"ok"],[1284,1999,"Hello"]],"check":"partial repair variant: piece contiguity","expected":[[1000,1285,"ok"],[1285,1999,"Hello"]],"passed":false},{"actual":[[0,2500,"xyz"]],"check":"normal control","expected":[[0,2500,"xyz"]],"passed":true},{"actual":[[1000,1999,"a"]],"check":"normal control","expected":[[1000,1999,"a"]],"passed":true},{"actual":[[1000,1999,""]],"check":"normal control","expected":[[1000,1999,""]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: piece contiguity\", \"actual\": [[0, 500, \"ab\"], [499, 1000, \"cd\"]], \"expected\": [[0, 500, \"ab\"], [500, 1000, \"cd\"]], \"passed\": false}, {\"check\": \"regression variant: piece contiguity\", \"actual\": [[1000, 1000, \"a\"], [999, 1002, \"xyz\"], [1001, 1006, \"friend\"], [1005, 1007, \"a\"]], \"expected\": [[1000, 1000, \"a\"], [1000, 1002, \"xyz\"], [1002, 1006, \"friend\"], [1006, 1007, \"a\"]], \"passed\": false}, {\"check\": \"partial repair probe: piece contiguity\", \"actual\": [[0, 3, \"abc\"], [2, 5, \"de\"], [4, 7, \"f\"]], \"expected\": [[0, 3, \"abc\"], [3, 5, \"de\"], [5, 7, \"f\"]], \"passed\": false}, {\"check\": \"partial repair variant: piece contiguity\", \"actual\": [[1000, 1285, \"ok\"], [1284, 1999, \"Hello\"]], \"expected\": [[1000, 1285, \"ok\"], [1285, 1999, \"Hello\"]], \"passed\": false}, {\"check\": \"normal control\", \"actual\": [[0, 2500, \"xyz\"]], \"expected\": [[0, 2500, \"xyz\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1000, 1999, \"a\"]], \"expected\": [[1000, 1999, \"a\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1000, 1999, \"\"]], \"expected\": [[1000, 1999, \"\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.898,"exit_code":1,"observations":[{"actual":[[0,500,"ab"],[501,1000,"cd"]],"check":"regression: piece contiguity","expected":[[0,500,"ab"],[500,1000,"cd"]],"passed":false},{"actual":[[1000,1000,"a"],[1001,1002,"xyz"],[1003,1006,"friend"],[1007,1007,"a"]],"check":"regression variant: piece contiguity","expected":[[1000,1000,"a"],[1000,1002,"xyz"],[1002,1006,"friend"],[1006,1007,"a"]],"passed":false},{"actual":[[0,3,"abc"],[4,5,"de"],[6,7,"f"]],"check":"partial repair probe: piece contiguity","expected":[[0,3,"abc"],[3,5,"de"],[5,7,"f"]],"passed":false},{"actual":[[1000,1285,"ok"],[1286,1999,"Hello"]],"check":"partial repair variant: piece contiguity","expected":[[1000,1285,"ok"],[1285,1999,"Hello"]],"passed":false},{"actual":[[0,2500,"xyz"]],"check":"normal control","expected":[[0,2500,"xyz"]],"passed":true},{"actual":[[1000,1999,"a"]],"check":"normal control","expected":[[1000,1999,"a"]],"passed":true},{"actual":[[1000,1999,""]],"check":"normal control","expected":[[1000,1999,""]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: piece contiguity\", \"actual\": [[0, 500, \"ab\"], [501, 1000, \"cd\"]], \"expected\": [[0, 500, \"ab\"], [500, 1000, \"cd\"]], \"passed\": false}, {\"check\": \"regression variant: piece contiguity\", \"actual\": [[1000, 1000, \"a\"], [1001, 1002, \"xyz\"], [1003, 1006, \"friend\"], [1007, 1007, \"a\"]], \"expected\": [[1000, 1000, \"a\"], [1000, 1002, \"xyz\"], [1002, 1006, \"friend\"], [1006, 1007, \"a\"]], \"passed\": false}, {\"check\": \"partial repair probe: piece contiguity\", \"actual\": [[0, 3, \"abc\"], [4, 5, \"de\"], [6, 7, \"f\"]], \"expected\": [[0, 3, \"abc\"], [3, 5, \"de\"], [5, 7, \"f\"]], \"passed\": false}, {\"check\": \"partial repair variant: piece contiguity\", \"actual\": [[1000, 1285, \"ok\"], [1286, 1999, \"Hello\"]], \"expected\": [[1000, 1285, \"ok\"], [1285, 1999, \"Hello\"]], \"passed\": false}, {\"check\": \"normal control\", \"actual\": [[0, 2500, \"xyz\"]], \"expected\": [[0, 2500, \"xyz\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1000, 1999, \"a\"]], \"expected\": [[1000, 1999, \"a\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1000, 1999, \"\"]], \"expected\": [[1000, 1999, \"\"]], \"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."}}