{"abstract":"The cue that begins exactly at the chosen resync point keeps its old timing while all later cues move.","category":"Subtitle cue timing","checks":8,"contract":"Cues [start,end,text] (sorted by start) whose start is at or after from_ms are shifted by offset ms (start and end). A cue whose end becomes <= 0 is dropped; a negative start is clamped to 0 without moving its end. The result is re-sorted by (start,end) and numbered from 1 as [n,start,end,text].","contract_signature":"cues, offset, from_ms","evaluation_group":"w2-subtitle-cue-timing-partial-resync","failed_approach":"Testing the end time instead also drags earlier cues that merely straddle the resync point.","family":"w2-subtitle-cue-timing-partial-resync-resync-scope-boundary","id":"FA-77891","implementations":{"attempt":{"sha256":"6544c3685c8aa8d200b6416d9c81803b0bf3aa0fdce3ba6ca31496b92b18f09e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cues, offset, from_ms):\n    out=[]\n    for start,end,text in cues:\n        if end>=from_ms:\n            start+=offset\n            end+=offset\n        if end<=0:\n            continue\n        if start<0:\n            start=0\n        out.append([start,end,text])\n    out.sort(key=lambda c:(c[0],c[1]))\n    return [[i+1]+c for i,c in enumerate(out)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: resync scope boundary', [[[0, 500, 'a'], [600, 900, 'b']], -500, 600], [[1, 0, 500, 'a'], [2, 100, 400, 'b']]), ('regression variant: resync scope boundary', [[[2500, 2501, 'b']], -300, 2500], [[1, 2200, 2201, 'b']]), ('partial repair probe: resync scope boundary', [[[3000, 3001, 'a'], [3500, 3501, 'c'], [4750, 7750, 'c'], [6150, 6350, 'a'], [7550, 7750, 'c']], 250, 7550], [[1, 3000, 3001, 'a'], [2, 3500, 3501, 'c'], [3, 4750, 7750, 'c'], [4, 6150, 6350, 'a'], [5, 7800, 8000, 'c']]), ('partial repair variant: resync scope boundary', [[[400, 1200, 'c'], [800, 1000, 'e'], [1300, 2800, 'a'], [2300, 3100, 'a']], -800, 2300], [[1, 400, 1200, 'c'], [2, 800, 1000, 'e'], [3, 1300, 2800, 'a'], [4, 1500, 2300, 'a']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[150, 151, 'd'], [200, 400, 'e']], 1000, 3319], [[1, 150, 151, 'd'], [2, 200, 400, 'e']]), ('normal control', [[[400, 401, 'e'], [2900, 3700, 'd'], [5400, 5401, 'd'], [6600, 9600, 'e'], [8600, 8601, 'a']], 250, 1518], [[1, 400, 401, 'e'], [2, 3150, 3950, 'd'], [3, 5650, 5651, 'd'], [4, 6850, 9850, 'e'], [5, 8850, 8851, 'a']]), ('normal control', [[[2300, 5300, 'c'], [3300, 4800, 'e']], -1200, 813], [[1, 1100, 4100, 'c'], [2, 2100, 3600, 'e']])], [('regression: resync scope boundary', [[[100, 200, 'x']], 50, 100], [[1, 150, 250, 'x']]), ('regression variant: resync scope boundary', [[[1100, 1900, 'b'], [2650, 4150, 'c'], [2700, 2900, 'a'], [3100, 3300, 'e']], 4000, 1100], [[1, 5100, 5900, 'b'], [2, 6650, 8150, 'c'], [3, 6700, 6900, 'a'], [4, 7100, 7300, 'e']]), ('partial repair probe: resync scope boundary', [[[300, 500, 'd']], -1200, 500], [[1, 300, 500, 'd']]), ('partial repair variant: resync scope boundary', [[[2300, 2500, 'e']], -3000, 2500], [[1, 2300, 2500, 'e']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[150, 1650, 'b'], [250, 3250, 'b'], [450, 451, 'e'], [1450, 1451, 'd'], [2700, 3500, 'c']], 4000, 4769], [[1, 150, 1650, 'b'], [2, 250, 3250, 'b'], [3, 450, 451, 'e'], [4, 1450, 1451, 'd'], [5, 2700, 3500, 'c']]), ('normal control', [[[2050, 2051, 'c'], [2050, 2250, 'c']], -1200, 1309], [[1, 850, 851, 'c'], [2, 850, 1050, 'c']]), ('normal control', [[[300, 3300, 'b'], [3200, 4000, 'a'], [3500, 6500, 'd']], -800, 0], [[1, 0, 2500, 'b'], [2, 2400, 3200, 'a'], [3, 2700, 5700, 'd']])], [('regression: resync scope boundary', [[[2500, 5500, 'e']], 4000, 2500], [[1, 6500, 9500, 'e']]), ('regression variant: resync scope boundary', [[[400, 600, 'c'], [400, 1200, 'd'], [2900, 3100, 'b'], [5100, 5101, 'a']], -3000, 5100], [[1, 400, 600, 'c'], [2, 400, 1200, 'd'], [3, 2100, 2101, 'a'], [4, 2900, 3100, 'b']]), ('partial repair probe: resync scope boundary', [[[-200, 2800, 'b'], [0, 1500, 'd']], 250, 2098], [[1, 0, 1500, 'd'], [2, 0, 2800, 'b']]), ('partial repair variant: resync scope boundary', [[[2500, 4000, 'c']], -300, 4000], [[1, 2500, 4000, 'c']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[150, 3150, 'd'], [2350, 3850, 'c'], [2800, 3000, 'a']], -300, 5341], [[1, 150, 3150, 'd'], [2, 2350, 3850, 'c'], [3, 2800, 3000, 'a']]), ('normal control', [[[50, 51, 'c']], 1000, 1936], [[1, 50, 51, 'c']]), ('normal control', [[[800, 801, 'c'], [3700, 4500, 'b']], 1000, 0], [[1, 1800, 1801, 'c'], [2, 4700, 5500, 'b']])], [('regression: resync scope boundary', [[[3000, 3001, 'a'], [3500, 3501, 'c'], [4750, 7750, 'c'], [6150, 6350, 'a'], [7550, 7750, 'c']], 250, 7550], [[1, 3000, 3001, 'a'], [2, 3500, 3501, 'c'], [3, 4750, 7750, 'c'], [4, 6150, 6350, 'a'], [5, 7800, 8000, 'c']]), ('regression variant: resync scope boundary', [[[3000, 3800, 'c'], [3700, 6700, 'd']], -1200, 3000], [[1, 1800, 2600, 'c'], [2, 2500, 5500, 'd']]), ('partial repair probe: resync scope boundary', [[[550, 1350, 'b']], 4000, 1350], [[1, 550, 1350, 'b']]), ('partial repair variant: resync scope boundary', [[[3000, 3800, 'c'], [3050, 4550, 'b'], [4250, 5050, 'c']], 1000, 4250], [[1, 3000, 3800, 'c'], [2, 3050, 4550, 'b'], [3, 5250, 6050, 'c']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[550, 551, 'e']], -3000, 0], []), ('normal control', [[[3000, 3800, 'd'], [4400, 4401, 'd'], [6400, 7200, 'a'], [6450, 6451, 'a']], -1200, 0], [[1, 1800, 2600, 'd'], [2, 3200, 3201, 'd'], [3, 5200, 6000, 'a'], [4, 5250, 5251, 'a']]), ('normal control', [[[50, 1550, 'b'], [50, 1550, 'd'], [350, 1850, 'c']], 4000, 4374], [[1, 50, 1550, 'b'], [2, 50, 1550, 'd'], [3, 350, 1850, 'c']])], [('regression: resync scope boundary', [[[500, 3500, 'b'], [3000, 4500, 'd'], [4400, 4600, 'a']], -1200, 500], [[1, 0, 2300, 'b'], [2, 1800, 3300, 'd'], [3, 3200, 3400, 'a']]), ('regression variant: resync scope boundary', [[[3000, 3800, 'c'], [3500, 4300, 'e'], [6400, 6600, 'c'], [7900, 8700, 'e'], [9300, 10100, 'c']], 4000, 3000], [[1, 7000, 7800, 'c'], [2, 7500, 8300, 'e'], [3, 10400, 10600, 'c'], [4, 11900, 12700, 'e'], [5, 13300, 14100, 'c']]), ('partial repair probe: resync scope boundary', [[[500, 3500, 'c'], [3000, 3800, 'a'], [3050, 6050, 'c'], [3800, 4600, 'd'], [4250, 7250, 'd']], -3000, 6050], [[1, 500, 3500, 'c'], [2, 3000, 3800, 'a'], [3, 3050, 6050, 'c'], [4, 3800, 4600, 'd'], [5, 4250, 7250, 'd']]), ('partial repair variant: resync scope boundary', [[[400, 600, 'c'], [2900, 2901, 'c'], [3350, 3550, 'b']], 250, 2901], [[1, 400, 600, 'c'], [2, 2900, 2901, 'c'], [3, 3600, 3800, 'b']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[500, 1300, 'c'], [1000, 1200, 'b'], [1000, 1200, 'a']], 4000, 5861], [[1, 500, 1300, 'c'], [2, 1000, 1200, 'b'], [3, 1000, 1200, 'a']]), ('normal control', [[[0, 1500, 'e']], 1000, 3783], [[1, 0, 1500, 'e']]), ('normal control', [[[800, 1000, 'a'], [2300, 2500, 'd'], [4100, 5600, 'e'], [4300, 5800, 'e']], -3000, 0], [[1, 1100, 2600, 'e'], [2, 1300, 2800, 'e']])]]\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":"909c02f1e60129600034492a088b7543c4f5a994bdc77aefc0f27f260638056c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cues, offset, from_ms):\n    out=[]\n    for start,end,text in cues:\n        if start>from_ms:\n            start+=offset\n            end+=offset\n        if end<=0:\n            continue\n        if start<0:\n            start=0\n        out.append([start,end,text])\n    out.sort(key=lambda c:(c[0],c[1]))\n    return [[i+1]+c for i,c in enumerate(out)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: resync scope boundary', [[[0, 500, 'a'], [600, 900, 'b']], -500, 600], [[1, 0, 500, 'a'], [2, 100, 400, 'b']]), ('regression variant: resync scope boundary', [[[2500, 2501, 'b']], -300, 2500], [[1, 2200, 2201, 'b']]), ('partial repair probe: resync scope boundary', [[[3000, 3001, 'a'], [3500, 3501, 'c'], [4750, 7750, 'c'], [6150, 6350, 'a'], [7550, 7750, 'c']], 250, 7550], [[1, 3000, 3001, 'a'], [2, 3500, 3501, 'c'], [3, 4750, 7750, 'c'], [4, 6150, 6350, 'a'], [5, 7800, 8000, 'c']]), ('partial repair variant: resync scope boundary', [[[400, 1200, 'c'], [800, 1000, 'e'], [1300, 2800, 'a'], [2300, 3100, 'a']], -800, 2300], [[1, 400, 1200, 'c'], [2, 800, 1000, 'e'], [3, 1300, 2800, 'a'], [4, 1500, 2300, 'a']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[150, 151, 'd'], [200, 400, 'e']], 1000, 3319], [[1, 150, 151, 'd'], [2, 200, 400, 'e']]), ('normal control', [[[400, 401, 'e'], [2900, 3700, 'd'], [5400, 5401, 'd'], [6600, 9600, 'e'], [8600, 8601, 'a']], 250, 1518], [[1, 400, 401, 'e'], [2, 3150, 3950, 'd'], [3, 5650, 5651, 'd'], [4, 6850, 9850, 'e'], [5, 8850, 8851, 'a']]), ('normal control', [[[2300, 5300, 'c'], [3300, 4800, 'e']], -1200, 813], [[1, 1100, 4100, 'c'], [2, 2100, 3600, 'e']])], [('regression: resync scope boundary', [[[100, 200, 'x']], 50, 100], [[1, 150, 250, 'x']]), ('regression variant: resync scope boundary', [[[1100, 1900, 'b'], [2650, 4150, 'c'], [2700, 2900, 'a'], [3100, 3300, 'e']], 4000, 1100], [[1, 5100, 5900, 'b'], [2, 6650, 8150, 'c'], [3, 6700, 6900, 'a'], [4, 7100, 7300, 'e']]), ('partial repair probe: resync scope boundary', [[[300, 500, 'd']], -1200, 500], [[1, 300, 500, 'd']]), ('partial repair variant: resync scope boundary', [[[2300, 2500, 'e']], -3000, 2500], [[1, 2300, 2500, 'e']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[150, 1650, 'b'], [250, 3250, 'b'], [450, 451, 'e'], [1450, 1451, 'd'], [2700, 3500, 'c']], 4000, 4769], [[1, 150, 1650, 'b'], [2, 250, 3250, 'b'], [3, 450, 451, 'e'], [4, 1450, 1451, 'd'], [5, 2700, 3500, 'c']]), ('normal control', [[[2050, 2051, 'c'], [2050, 2250, 'c']], -1200, 1309], [[1, 850, 851, 'c'], [2, 850, 1050, 'c']]), ('normal control', [[[300, 3300, 'b'], [3200, 4000, 'a'], [3500, 6500, 'd']], -800, 0], [[1, 0, 2500, 'b'], [2, 2400, 3200, 'a'], [3, 2700, 5700, 'd']])], [('regression: resync scope boundary', [[[2500, 5500, 'e']], 4000, 2500], [[1, 6500, 9500, 'e']]), ('regression variant: resync scope boundary', [[[400, 600, 'c'], [400, 1200, 'd'], [2900, 3100, 'b'], [5100, 5101, 'a']], -3000, 5100], [[1, 400, 600, 'c'], [2, 400, 1200, 'd'], [3, 2100, 2101, 'a'], [4, 2900, 3100, 'b']]), ('partial repair probe: resync scope boundary', [[[-200, 2800, 'b'], [0, 1500, 'd']], 250, 2098], [[1, 0, 1500, 'd'], [2, 0, 2800, 'b']]), ('partial repair variant: resync scope boundary', [[[2500, 4000, 'c']], -300, 4000], [[1, 2500, 4000, 'c']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[150, 3150, 'd'], [2350, 3850, 'c'], [2800, 3000, 'a']], -300, 5341], [[1, 150, 3150, 'd'], [2, 2350, 3850, 'c'], [3, 2800, 3000, 'a']]), ('normal control', [[[50, 51, 'c']], 1000, 1936], [[1, 50, 51, 'c']]), ('normal control', [[[800, 801, 'c'], [3700, 4500, 'b']], 1000, 0], [[1, 1800, 1801, 'c'], [2, 4700, 5500, 'b']])], [('regression: resync scope boundary', [[[3000, 3001, 'a'], [3500, 3501, 'c'], [4750, 7750, 'c'], [6150, 6350, 'a'], [7550, 7750, 'c']], 250, 7550], [[1, 3000, 3001, 'a'], [2, 3500, 3501, 'c'], [3, 4750, 7750, 'c'], [4, 6150, 6350, 'a'], [5, 7800, 8000, 'c']]), ('regression variant: resync scope boundary', [[[3000, 3800, 'c'], [3700, 6700, 'd']], -1200, 3000], [[1, 1800, 2600, 'c'], [2, 2500, 5500, 'd']]), ('partial repair probe: resync scope boundary', [[[550, 1350, 'b']], 4000, 1350], [[1, 550, 1350, 'b']]), ('partial repair variant: resync scope boundary', [[[3000, 3800, 'c'], [3050, 4550, 'b'], [4250, 5050, 'c']], 1000, 4250], [[1, 3000, 3800, 'c'], [2, 3050, 4550, 'b'], [3, 5250, 6050, 'c']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[550, 551, 'e']], -3000, 0], []), ('normal control', [[[3000, 3800, 'd'], [4400, 4401, 'd'], [6400, 7200, 'a'], [6450, 6451, 'a']], -1200, 0], [[1, 1800, 2600, 'd'], [2, 3200, 3201, 'd'], [3, 5200, 6000, 'a'], [4, 5250, 5251, 'a']]), ('normal control', [[[50, 1550, 'b'], [50, 1550, 'd'], [350, 1850, 'c']], 4000, 4374], [[1, 50, 1550, 'b'], [2, 50, 1550, 'd'], [3, 350, 1850, 'c']])], [('regression: resync scope boundary', [[[500, 3500, 'b'], [3000, 4500, 'd'], [4400, 4600, 'a']], -1200, 500], [[1, 0, 2300, 'b'], [2, 1800, 3300, 'd'], [3, 3200, 3400, 'a']]), ('regression variant: resync scope boundary', [[[3000, 3800, 'c'], [3500, 4300, 'e'], [6400, 6600, 'c'], [7900, 8700, 'e'], [9300, 10100, 'c']], 4000, 3000], [[1, 7000, 7800, 'c'], [2, 7500, 8300, 'e'], [3, 10400, 10600, 'c'], [4, 11900, 12700, 'e'], [5, 13300, 14100, 'c']]), ('partial repair probe: resync scope boundary', [[[500, 3500, 'c'], [3000, 3800, 'a'], [3050, 6050, 'c'], [3800, 4600, 'd'], [4250, 7250, 'd']], -3000, 6050], [[1, 500, 3500, 'c'], [2, 3000, 3800, 'a'], [3, 3050, 6050, 'c'], [4, 3800, 4600, 'd'], [5, 4250, 7250, 'd']]), ('partial repair variant: resync scope boundary', [[[400, 600, 'c'], [2900, 2901, 'c'], [3350, 3550, 'b']], 250, 2901], [[1, 400, 600, 'c'], [2, 2900, 2901, 'c'], [3, 3600, 3800, 'b']]), ('boundary control', [[[1000, 2000, 'a'], [3000, 4000, 'b']], -1500, 0], [[1, 0, 500, 'a'], [2, 1500, 2500, 'b']]), ('normal control', [[[500, 1300, 'c'], [1000, 1200, 'b'], [1000, 1200, 'a']], 4000, 5861], [[1, 500, 1300, 'c'], [2, 1000, 1200, 'b'], [3, 1000, 1200, 'a']]), ('normal control', [[[0, 1500, 'e']], 1000, 3783], [[1, 0, 1500, 'e']]), ('normal control', [[[800, 1000, 'a'], [2300, 2500, 'd'], [4100, 5600, 'e'], [4300, 5800, 'e']], -3000, 0], [[1, 1100, 2600, 'e'], [2, 1300, 2800, 'e']])]]\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-partial-resync-resync-scope-boundary","generated_at":"2026-09-29T14:49:30.067541+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 scope test uses start>from_ms, excluding the cue at the resync point itself.","sha256":"3ebe27785bf1269a8385ac1d36039280ca1accf3914a89b6f042d8e10fa687e7","title":"Partial subtitle resync from a point: resync scope boundary · 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":43.164,"exit_code":1,"observations":[{"actual":[[1,0,500,"a"],[2,100,400,"b"]],"check":"regression: resync scope boundary","expected":[[1,0,500,"a"],[2,100,400,"b"]],"passed":true},{"actual":[[1,2200,2201,"b"]],"check":"regression variant: resync scope boundary","expected":[[1,2200,2201,"b"]],"passed":true},{"actual":[[1,3000,3001,"a"],[2,3500,3501,"c"],[3,5000,8000,"c"],[4,6150,6350,"a"],[5,7800,8000,"c"]],"check":"partial repair probe: resync scope boundary","expected":[[1,3000,3001,"a"],[2,3500,3501,"c"],[3,4750,7750,"c"],[4,6150,6350,"a"],[5,7800,8000,"c"]],"passed":false},{"actual":[[1,400,1200,"c"],[2,500,2000,"a"],[3,800,1000,"e"],[4,1500,2300,"a"]],"check":"partial repair variant: resync scope boundary","expected":[[1,400,1200,"c"],[2,800,1000,"e"],[3,1300,2800,"a"],[4,1500,2300,"a"]],"passed":false},{"actual":[[1,0,500,"a"],[2,1500,2500,"b"]],"check":"boundary control","expected":[[1,0,500,"a"],[2,1500,2500,"b"]],"passed":true},{"actual":[[1,150,151,"d"],[2,200,400,"e"]],"check":"normal control","expected":[[1,150,151,"d"],[2,200,400,"e"]],"passed":true},{"actual":[[1,400,401,"e"],[2,3150,3950,"d"],[3,5650,5651,"d"],[4,6850,9850,"e"],[5,8850,8851,"a"]],"check":"normal control","expected":[[1,400,401,"e"],[2,3150,3950,"d"],[3,5650,5651,"d"],[4,6850,9850,"e"],[5,8850,8851,"a"]],"passed":true},{"actual":[[1,1100,4100,"c"],[2,2100,3600,"e"]],"check":"normal control","expected":[[1,1100,4100,"c"],[2,2100,3600,"e"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: resync scope boundary\", \"actual\": [[1, 0, 500, \"a\"], [2, 100, 400, \"b\"]], \"expected\": [[1, 0, 500, \"a\"], [2, 100, 400, \"b\"]], \"passed\": true}, {\"check\": \"regression variant: resync scope boundary\", \"actual\": [[1, 2200, 2201, \"b\"]], \"expected\": [[1, 2200, 2201, \"b\"]], \"passed\": true}, {\"check\": \"partial repair probe: resync scope boundary\", \"actual\": [[1, 3000, 3001, \"a\"], [2, 3500, 3501, \"c\"], [3, 5000, 8000, \"c\"], [4, 6150, 6350, \"a\"], [5, 7800, 8000, \"c\"]], \"expected\": [[1, 3000, 3001, \"a\"], [2, 3500, 3501, \"c\"], [3, 4750, 7750, \"c\"], [4, 6150, 6350, \"a\"], [5, 7800, 8000, \"c\"]], \"passed\": false}, {\"check\": \"partial repair variant: resync scope boundary\", \"actual\": [[1, 400, 1200, \"c\"], [2, 500, 2000, \"a\"], [3, 800, 1000, \"e\"], [4, 1500, 2300, \"a\"]], \"expected\": [[1, 400, 1200, \"c\"], [2, 800, 1000, \"e\"], [3, 1300, 2800, \"a\"], [4, 1500, 2300, \"a\"]], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [[1, 0, 500, \"a\"], [2, 1500, 2500, \"b\"]], \"expected\": [[1, 0, 500, \"a\"], [2, 1500, 2500, \"b\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1, 150, 151, \"d\"], [2, 200, 400, \"e\"]], \"expected\": [[1, 150, 151, \"d\"], [2, 200, 400, \"e\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1, 400, 401, \"e\"], [2, 3150, 3950, \"d\"], [3, 5650, 5651, \"d\"], [4, 6850, 9850, \"e\"], [5, 8850, 8851, \"a\"]], \"expected\": [[1, 400, 401, \"e\"], [2, 3150, 3950, \"d\"], [3, 5650, 5651, \"d\"], [4, 6850, 9850, \"e\"], [5, 8850, 8851, \"a\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1, 1100, 4100, \"c\"], [2, 2100, 3600, \"e\"]], \"expected\": [[1, 1100, 4100, \"c\"], [2, 2100, 3600, \"e\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.291,"exit_code":1,"observations":[{"actual":[[1,0,500,"a"],[2,600,900,"b"]],"check":"regression: resync scope boundary","expected":[[1,0,500,"a"],[2,100,400,"b"]],"passed":false},{"actual":[[1,2500,2501,"b"]],"check":"regression variant: resync scope boundary","expected":[[1,2200,2201,"b"]],"passed":false},{"actual":[[1,3000,3001,"a"],[2,3500,3501,"c"],[3,4750,7750,"c"],[4,6150,6350,"a"],[5,7550,7750,"c"]],"check":"partial repair probe: resync scope boundary","expected":[[1,3000,3001,"a"],[2,3500,3501,"c"],[3,4750,7750,"c"],[4,6150,6350,"a"],[5,7800,8000,"c"]],"passed":false},{"actual":[[1,400,1200,"c"],[2,800,1000,"e"],[3,1300,2800,"a"],[4,2300,3100,"a"]],"check":"partial repair variant: resync scope boundary","expected":[[1,400,1200,"c"],[2,800,1000,"e"],[3,1300,2800,"a"],[4,1500,2300,"a"]],"passed":false},{"actual":[[1,0,500,"a"],[2,1500,2500,"b"]],"check":"boundary control","expected":[[1,0,500,"a"],[2,1500,2500,"b"]],"passed":true},{"actual":[[1,150,151,"d"],[2,200,400,"e"]],"check":"normal control","expected":[[1,150,151,"d"],[2,200,400,"e"]],"passed":true},{"actual":[[1,400,401,"e"],[2,3150,3950,"d"],[3,5650,5651,"d"],[4,6850,9850,"e"],[5,8850,8851,"a"]],"check":"normal control","expected":[[1,400,401,"e"],[2,3150,3950,"d"],[3,5650,5651,"d"],[4,6850,9850,"e"],[5,8850,8851,"a"]],"passed":true},{"actual":[[1,1100,4100,"c"],[2,2100,3600,"e"]],"check":"normal control","expected":[[1,1100,4100,"c"],[2,2100,3600,"e"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: resync scope boundary\", \"actual\": [[1, 0, 500, \"a\"], [2, 600, 900, \"b\"]], \"expected\": [[1, 0, 500, \"a\"], [2, 100, 400, \"b\"]], \"passed\": false}, {\"check\": \"regression variant: resync scope boundary\", \"actual\": [[1, 2500, 2501, \"b\"]], \"expected\": [[1, 2200, 2201, \"b\"]], \"passed\": false}, {\"check\": \"partial repair probe: resync scope boundary\", \"actual\": [[1, 3000, 3001, \"a\"], [2, 3500, 3501, \"c\"], [3, 4750, 7750, \"c\"], [4, 6150, 6350, \"a\"], [5, 7550, 7750, \"c\"]], \"expected\": [[1, 3000, 3001, \"a\"], [2, 3500, 3501, \"c\"], [3, 4750, 7750, \"c\"], [4, 6150, 6350, \"a\"], [5, 7800, 8000, \"c\"]], \"passed\": false}, {\"check\": \"partial repair variant: resync scope boundary\", \"actual\": [[1, 400, 1200, \"c\"], [2, 800, 1000, \"e\"], [3, 1300, 2800, \"a\"], [4, 2300, 3100, \"a\"]], \"expected\": [[1, 400, 1200, \"c\"], [2, 800, 1000, \"e\"], [3, 1300, 2800, \"a\"], [4, 1500, 2300, \"a\"]], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [[1, 0, 500, \"a\"], [2, 1500, 2500, \"b\"]], \"expected\": [[1, 0, 500, \"a\"], [2, 1500, 2500, \"b\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1, 150, 151, \"d\"], [2, 200, 400, \"e\"]], \"expected\": [[1, 150, 151, \"d\"], [2, 200, 400, \"e\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1, 400, 401, \"e\"], [2, 3150, 3950, \"d\"], [3, 5650, 5651, \"d\"], [4, 6850, 9850, \"e\"], [5, 8850, 8851, \"a\"]], \"expected\": [[1, 400, 401, \"e\"], [2, 3150, 3950, \"d\"], [3, 5650, 5651, \"d\"], [4, 6850, 9850, \"e\"], [5, 8850, 8851, \"a\"]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1, 1100, 4100, \"c\"], [2, 2100, 3600, \"e\"]], \"expected\": [[1, 1100, 4100, \"c\"], [2, 2100, 3600, \"e\"]], \"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."}}