{"abstract":"Cues late in the programme are never extended no matter how short they are.","category":"Subtitle cue timing","checks":9,"contract":"Cues [start,end] may be unsorted; the neighbour of a cue is the next cue in (start, input index) order. A cue shorter than min_dur has its end extended to start+min_dur, limited to neighbour_start - min_gap; an end is never shortened. Output keeps input order.","evaluation_group":"w2-subtitle-cue-timing-min-duration","failed_approach":"Loosening the threshold by min_gap leaves cues just below the minimum unextended.","family":"w2-subtitle-cue-timing-min-duration-shortness-test","id":"FA-78011","implementations":{"attempt":{"sha256":"ffacf6c3e2669eaab30b48a47cbc585d006a57096d3b6c420242dfa33b87595a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cues, min_dur, min_gap):\n    out=[list(c) for c in cues]\n    order=sorted(range(len(out)),key=lambda k:(out[k][0],k))\n    for pos,i in enumerate(order):\n        c=out[i]\n        if c[1]-c[0]>=min_dur-min_gap:\n            continue\n        target=c[0]+min_dur\n        if pos+1<len(order):\n            target=min(target,out[order[pos+1]][0]-min_gap)\n        c[1]=max(c[1],target)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: shortness test', [[[1000, 2120], [200, 1400]], 1200, 80], [[1000, 2200], [200, 1400]]), ('regression variant: shortness test', [[[479, 2479], [2000, 2300], [1000, 2120], [800, 2001]], 1200, 80], [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]]), ('partial repair probe: shortness test', [[[0, 700], [1000, 1001], [2000, 2699]], 700, 80], [[0, 700], [1000, 1700], [2000, 2700]]), ('partial repair variant: shortness test', [[[200, 901], [1500, 1800], [1500, 2120]], 700, 80], [[200, 901], [1500, 1800], [1500, 2200]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('normal control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('normal control', [[[0, 1], [200, 900], [2000, 4000]], 700, 0], [[0, 200], [200, 900], [2000, 4000]]), ('normal control', [[[1000, 3000]], 1200, 0], [[1000, 3000]])], [('regression: shortness test', [[[2000, 2001], [800, 1100]], 1000, 80], [[2000, 3000], [800, 1800]]), ('regression variant: shortness test', [[[2000, 2999], [500, 1501]], 1000, 80], [[2000, 3000], [500, 1501]]), ('partial repair probe: shortness test', [[[200, 500], [496, 1497], [800, 1799], [3000, 3999]], 1000, 40], [[200, 500], [496, 1497], [800, 1800], [3000, 4000]]), ('partial repair variant: shortness test', [[[200, 500], [1394, 2593], [3000, 3300]], 1200, 80], [[200, 1314], [1394, 2594], [3000, 4200]]), ('boundary control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('normal control', [[[500, 800], [500, 2500], [800, 1799], [1000, 1001], [1000, 3000]], 1000, 40], [[500, 800], [500, 2500], [800, 1799], [1000, 1001], [1000, 3000]]), ('normal control', [[[0, 1]], 1200, 40], [[0, 1200]]), ('normal control', [[[500, 501]], 1200, 40], [[500, 1700]])], [('regression: shortness test', [[[1000, 1960], [2000, 2300], [3000, 3999], [3000, 3001]], 1000, 40], [[1000, 1960], [2000, 2960], [3000, 3999], [3000, 4000]]), ('regression variant: shortness test', [[[0, 700], [1000, 1001], [2000, 2699]], 700, 80], [[0, 700], [1000, 1700], [2000, 2700]]), ('partial repair probe: shortness test', [[[800, 1999]], 1200, 40], [[800, 2000]]), ('partial repair variant: shortness test', [[[1000, 3000], [3955, 4055], [208, 1207], [1500, 2420]], 1000, 80], [[1000, 3000], [3955, 4955], [208, 1207], [1500, 2500]]), ('boundary control', [[[0, 1000]], 1000, 0], [[0, 1000]]), ('boundary control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('normal control', [[[200, 900], [3000, 3701]], 700, 40], [[200, 900], [3000, 3701]]), ('normal control', [[[1500, 3500]], 700, 0], [[1500, 3500]]), ('normal control', [[[1000, 1701], [1500, 2200]], 700, 80], [[1000, 1701], [1500, 2200]])], [('regression: shortness test', [[[200, 500], [500, 800], [1500, 3500], [1500, 2699], [2000, 2001]], 1200, 40], [[200, 500], [500, 1460], [1500, 3500], [1500, 2699], [2000, 3200]]), ('regression variant: shortness test', [[[200, 500], [496, 1497], [800, 1799], [3000, 3999]], 1000, 40], [[200, 500], [496, 1497], [800, 1800], [3000, 4000]]), ('partial repair probe: shortness test', [[[800, 1760], [800, 1800], [1000, 1100], [1000, 1999]], 1000, 40], [[800, 1760], [800, 1800], [1000, 1100], [1000, 2000]]), ('partial repair variant: shortness test', [[[800, 801], [2000, 2620], [3000, 3699]], 700, 80], [[800, 1500], [2000, 2700], [3000, 3700]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('boundary control', [[[0, 1000]], 1000, 0], [[0, 1000]]), ('normal control', [[[200, 300], [800, 801]], 1000, 80], [[200, 720], [800, 1800]]), ('normal control', [[[800, 801]], 1000, 0], [[800, 1800]]), ('normal control', [[[1000, 3000], [3000, 4200]], 1200, 80], [[1000, 3000], [3000, 4200]])], [('regression: shortness test', [[[0, 1001], [1500, 2500], [3000, 3999], [800, 2800], [0, 1]], 1000, 0], [[0, 1001], [1500, 2500], [3000, 4000], [800, 2800], [0, 800]]), ('regression variant: shortness test', [[[800, 2800], [800, 900], [1500, 1501], [1000, 1700], [3000, 3300]], 700, 0], [[800, 2800], [800, 1000], [1500, 2200], [1000, 1700], [3000, 3700]]), ('partial repair probe: shortness test', [[[500, 2500], [500, 1120], [1000, 1699], [2000, 2701], [2766, 3465]], 700, 80], [[500, 2500], [500, 1120], [1000, 1700], [2000, 2701], [2766, 3466]]), ('partial repair variant: shortness test', [[[2000, 2620], [0, 700]], 700, 80], [[2000, 2700], [0, 700]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('normal control', [[[500, 1500]], 1000, 0], [[500, 1500]]), ('normal control', [[[1500, 2501], [800, 1801], [1000, 2000], [200, 300], [200, 201]], 1000, 40], [[1500, 2501], [800, 1801], [1000, 2000], [200, 300], [200, 760]]), ('normal control', [[[0, 300], [1000, 3000]], 1200, 0], [[0, 1000], [1000, 3000]])]]\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":"5fa60b0698ea150e509952c38586e5525254293fc9d7888b38d1c922d9ad1ca5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cues, min_dur, min_gap):\n    out=[list(c) for c in cues]\n    order=sorted(range(len(out)),key=lambda k:(out[k][0],k))\n    for pos,i in enumerate(order):\n        c=out[i]\n        if c[1]>=min_dur:\n            continue\n        target=c[0]+min_dur\n        if pos+1<len(order):\n            target=min(target,out[order[pos+1]][0]-min_gap)\n        c[1]=max(c[1],target)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: shortness test', [[[1000, 2120], [200, 1400]], 1200, 80], [[1000, 2200], [200, 1400]]), ('regression variant: shortness test', [[[479, 2479], [2000, 2300], [1000, 2120], [800, 2001]], 1200, 80], [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]]), ('partial repair probe: shortness test', [[[0, 700], [1000, 1001], [2000, 2699]], 700, 80], [[0, 700], [1000, 1700], [2000, 2700]]), ('partial repair variant: shortness test', [[[200, 901], [1500, 1800], [1500, 2120]], 700, 80], [[200, 901], [1500, 1800], [1500, 2200]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('normal control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('normal control', [[[0, 1], [200, 900], [2000, 4000]], 700, 0], [[0, 200], [200, 900], [2000, 4000]]), ('normal control', [[[1000, 3000]], 1200, 0], [[1000, 3000]])], [('regression: shortness test', [[[2000, 2001], [800, 1100]], 1000, 80], [[2000, 3000], [800, 1800]]), ('regression variant: shortness test', [[[2000, 2999], [500, 1501]], 1000, 80], [[2000, 3000], [500, 1501]]), ('partial repair probe: shortness test', [[[200, 500], [496, 1497], [800, 1799], [3000, 3999]], 1000, 40], [[200, 500], [496, 1497], [800, 1800], [3000, 4000]]), ('partial repair variant: shortness test', [[[200, 500], [1394, 2593], [3000, 3300]], 1200, 80], [[200, 1314], [1394, 2594], [3000, 4200]]), ('boundary control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('normal control', [[[500, 800], [500, 2500], [800, 1799], [1000, 1001], [1000, 3000]], 1000, 40], [[500, 800], [500, 2500], [800, 1799], [1000, 1001], [1000, 3000]]), ('normal control', [[[0, 1]], 1200, 40], [[0, 1200]]), ('normal control', [[[500, 501]], 1200, 40], [[500, 1700]])], [('regression: shortness test', [[[1000, 1960], [2000, 2300], [3000, 3999], [3000, 3001]], 1000, 40], [[1000, 1960], [2000, 2960], [3000, 3999], [3000, 4000]]), ('regression variant: shortness test', [[[0, 700], [1000, 1001], [2000, 2699]], 700, 80], [[0, 700], [1000, 1700], [2000, 2700]]), ('partial repair probe: shortness test', [[[800, 1999]], 1200, 40], [[800, 2000]]), ('partial repair variant: shortness test', [[[1000, 3000], [3955, 4055], [208, 1207], [1500, 2420]], 1000, 80], [[1000, 3000], [3955, 4955], [208, 1207], [1500, 2500]]), ('boundary control', [[[0, 1000]], 1000, 0], [[0, 1000]]), ('boundary control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('normal control', [[[200, 900], [3000, 3701]], 700, 40], [[200, 900], [3000, 3701]]), ('normal control', [[[1500, 3500]], 700, 0], [[1500, 3500]]), ('normal control', [[[1000, 1701], [1500, 2200]], 700, 80], [[1000, 1701], [1500, 2200]])], [('regression: shortness test', [[[200, 500], [500, 800], [1500, 3500], [1500, 2699], [2000, 2001]], 1200, 40], [[200, 500], [500, 1460], [1500, 3500], [1500, 2699], [2000, 3200]]), ('regression variant: shortness test', [[[200, 500], [496, 1497], [800, 1799], [3000, 3999]], 1000, 40], [[200, 500], [496, 1497], [800, 1800], [3000, 4000]]), ('partial repair probe: shortness test', [[[800, 1760], [800, 1800], [1000, 1100], [1000, 1999]], 1000, 40], [[800, 1760], [800, 1800], [1000, 1100], [1000, 2000]]), ('partial repair variant: shortness test', [[[800, 801], [2000, 2620], [3000, 3699]], 700, 80], [[800, 1500], [2000, 2700], [3000, 3700]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('boundary control', [[[0, 1000]], 1000, 0], [[0, 1000]]), ('normal control', [[[200, 300], [800, 801]], 1000, 80], [[200, 720], [800, 1800]]), ('normal control', [[[800, 801]], 1000, 0], [[800, 1800]]), ('normal control', [[[1000, 3000], [3000, 4200]], 1200, 80], [[1000, 3000], [3000, 4200]])], [('regression: shortness test', [[[0, 1001], [1500, 2500], [3000, 3999], [800, 2800], [0, 1]], 1000, 0], [[0, 1001], [1500, 2500], [3000, 4000], [800, 2800], [0, 800]]), ('regression variant: shortness test', [[[800, 2800], [800, 900], [1500, 1501], [1000, 1700], [3000, 3300]], 700, 0], [[800, 2800], [800, 1000], [1500, 2200], [1000, 1700], [3000, 3700]]), ('partial repair probe: shortness test', [[[500, 2500], [500, 1120], [1000, 1699], [2000, 2701], [2766, 3465]], 700, 80], [[500, 2500], [500, 1120], [1000, 1700], [2000, 2701], [2766, 3466]]), ('partial repair variant: shortness test', [[[2000, 2620], [0, 700]], 700, 80], [[2000, 2700], [0, 700]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('normal control', [[[500, 1500]], 1000, 0], [[500, 1500]]), ('normal control', [[[1500, 2501], [800, 1801], [1000, 2000], [200, 300], [200, 201]], 1000, 40], [[1500, 2501], [800, 1801], [1000, 2000], [200, 300], [200, 760]]), ('normal control', [[[0, 300], [1000, 3000]], 1200, 0], [[0, 1000], [1000, 3000]])]]\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"},"fixed":{"sha256":"b3b111f2069eeed746cf219b965b7649f72f6202457403112c72db58f82c968b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cues, min_dur, min_gap):\n    out=[list(c) for c in cues]\n    order=sorted(range(len(out)),key=lambda k:(out[k][0],k))\n    for pos,i in enumerate(order):\n        c=out[i]\n        if c[1]-c[0]>=min_dur:\n            continue\n        target=c[0]+min_dur\n        if pos+1<len(order):\n            target=min(target,out[order[pos+1]][0]-min_gap)\n        c[1]=max(c[1],target)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: shortness test', [[[1000, 2120], [200, 1400]], 1200, 80], [[1000, 2200], [200, 1400]]), ('regression variant: shortness test', [[[479, 2479], [2000, 2300], [1000, 2120], [800, 2001]], 1200, 80], [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]]), ('partial repair probe: shortness test', [[[0, 700], [1000, 1001], [2000, 2699]], 700, 80], [[0, 700], [1000, 1700], [2000, 2700]]), ('partial repair variant: shortness test', [[[200, 901], [1500, 1800], [1500, 2120]], 700, 80], [[200, 901], [1500, 1800], [1500, 2200]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('normal control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('normal control', [[[0, 1], [200, 900], [2000, 4000]], 700, 0], [[0, 200], [200, 900], [2000, 4000]]), ('normal control', [[[1000, 3000]], 1200, 0], [[1000, 3000]])], [('regression: shortness test', [[[2000, 2001], [800, 1100]], 1000, 80], [[2000, 3000], [800, 1800]]), ('regression variant: shortness test', [[[2000, 2999], [500, 1501]], 1000, 80], [[2000, 3000], [500, 1501]]), ('partial repair probe: shortness test', [[[200, 500], [496, 1497], [800, 1799], [3000, 3999]], 1000, 40], [[200, 500], [496, 1497], [800, 1800], [3000, 4000]]), ('partial repair variant: shortness test', [[[200, 500], [1394, 2593], [3000, 3300]], 1200, 80], [[200, 1314], [1394, 2594], [3000, 4200]]), ('boundary control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('normal control', [[[500, 800], [500, 2500], [800, 1799], [1000, 1001], [1000, 3000]], 1000, 40], [[500, 800], [500, 2500], [800, 1799], [1000, 1001], [1000, 3000]]), ('normal control', [[[0, 1]], 1200, 40], [[0, 1200]]), ('normal control', [[[500, 501]], 1200, 40], [[500, 1700]])], [('regression: shortness test', [[[1000, 1960], [2000, 2300], [3000, 3999], [3000, 3001]], 1000, 40], [[1000, 1960], [2000, 2960], [3000, 3999], [3000, 4000]]), ('regression variant: shortness test', [[[0, 700], [1000, 1001], [2000, 2699]], 700, 80], [[0, 700], [1000, 1700], [2000, 2700]]), ('partial repair probe: shortness test', [[[800, 1999]], 1200, 40], [[800, 2000]]), ('partial repair variant: shortness test', [[[1000, 3000], [3955, 4055], [208, 1207], [1500, 2420]], 1000, 80], [[1000, 3000], [3955, 4955], [208, 1207], [1500, 2500]]), ('boundary control', [[[0, 1000]], 1000, 0], [[0, 1000]]), ('boundary control', [[[0, 300], [500, 3000]], 1000, 80], [[0, 420], [500, 3000]]), ('normal control', [[[200, 900], [3000, 3701]], 700, 40], [[200, 900], [3000, 3701]]), ('normal control', [[[1500, 3500]], 700, 0], [[1500, 3500]]), ('normal control', [[[1000, 1701], [1500, 2200]], 700, 80], [[1000, 1701], [1500, 2200]])], [('regression: shortness test', [[[200, 500], [500, 800], [1500, 3500], [1500, 2699], [2000, 2001]], 1200, 40], [[200, 500], [500, 1460], [1500, 3500], [1500, 2699], [2000, 3200]]), ('regression variant: shortness test', [[[200, 500], [496, 1497], [800, 1799], [3000, 3999]], 1000, 40], [[200, 500], [496, 1497], [800, 1800], [3000, 4000]]), ('partial repair probe: shortness test', [[[800, 1760], [800, 1800], [1000, 1100], [1000, 1999]], 1000, 40], [[800, 1760], [800, 1800], [1000, 1100], [1000, 2000]]), ('partial repair variant: shortness test', [[[800, 801], [2000, 2620], [3000, 3699]], 700, 80], [[800, 1500], [2000, 2700], [3000, 3700]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('boundary control', [[[0, 1000]], 1000, 0], [[0, 1000]]), ('normal control', [[[200, 300], [800, 801]], 1000, 80], [[200, 720], [800, 1800]]), ('normal control', [[[800, 801]], 1000, 0], [[800, 1800]]), ('normal control', [[[1000, 3000], [3000, 4200]], 1200, 80], [[1000, 3000], [3000, 4200]])], [('regression: shortness test', [[[0, 1001], [1500, 2500], [3000, 3999], [800, 2800], [0, 1]], 1000, 0], [[0, 1001], [1500, 2500], [3000, 4000], [800, 2800], [0, 800]]), ('regression variant: shortness test', [[[800, 2800], [800, 900], [1500, 1501], [1000, 1700], [3000, 3300]], 700, 0], [[800, 2800], [800, 1000], [1500, 2200], [1000, 1700], [3000, 3700]]), ('partial repair probe: shortness test', [[[500, 2500], [500, 1120], [1000, 1699], [2000, 2701], [2766, 3465]], 700, 80], [[500, 2500], [500, 1120], [1000, 1700], [2000, 2701], [2766, 3466]]), ('partial repair variant: shortness test', [[[2000, 2620], [0, 700]], 700, 80], [[2000, 2700], [0, 700]]), ('boundary control', [[[0, 300], [2000, 3000]], 1000, 80], [[0, 1000], [2000, 3000]]), ('boundary control', [[[500, 600], [0, 100]], 700, 40], [[500, 1200], [0, 460]]), ('normal control', [[[500, 1500]], 1000, 0], [[500, 1500]]), ('normal control', [[[1500, 2501], [800, 1801], [1000, 2000], [200, 300], [200, 201]], 1000, 40], [[1500, 2501], [800, 1801], [1000, 2000], [200, 300], [200, 760]]), ('normal control', [[[0, 300], [1000, 3000]], 1200, 0], [[0, 1000], [1000, 3000]])]]\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-min-duration-shortness-test","generated_at":"2026-09-29T14:49:31.312391+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.","repair":"Compare the duration end-start with min_dur.","root_cause":"The shortness test compares the absolute end time with min_dur instead of the duration.","sha256":"e3b64c41dcf1bef251134c2f3d6d2666e16ed1410fd97ecf1c917249075bf7a7","title":"Minimum cue duration extension: shortness test · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.536,"exit_code":1,"observations":[{"actual":[[1000,2120],[200,1400]],"check":"regression: shortness test","expected":[[1000,2200],[200,1400]],"passed":false},{"actual":[[479,2479],[2000,3200],[1000,2120],[800,2001]],"check":"regression variant: shortness test","expected":[[479,2479],[2000,3200],[1000,2120],[800,2001]],"passed":true},{"actual":[[0,700],[1000,1700],[2000,2699]],"check":"partial repair probe: shortness test","expected":[[0,700],[1000,1700],[2000,2700]],"passed":false},{"actual":[[200,901],[1500,1800],[1500,2120]],"check":"partial repair variant: shortness test","expected":[[200,901],[1500,1800],[1500,2200]],"passed":false},{"actual":[[0,1000],[2000,3000]],"check":"boundary control","expected":[[0,1000],[2000,3000]],"passed":true},{"actual":[[500,1200],[0,460]],"check":"boundary control","expected":[[500,1200],[0,460]],"passed":true},{"actual":[[0,420],[500,3000]],"check":"normal control","expected":[[0,420],[500,3000]],"passed":true},{"actual":[[0,200],[200,900],[2000,4000]],"check":"normal control","expected":[[0,200],[200,900],[2000,4000]],"passed":true},{"actual":[[1000,3000]],"check":"normal control","expected":[[1000,3000]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: shortness test\", \"actual\": [[1000, 2120], [200, 1400]], \"expected\": [[1000, 2200], [200, 1400]], \"passed\": false}, {\"check\": \"regression variant: shortness test\", \"actual\": [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]], \"expected\": [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]], \"passed\": true}, {\"check\": \"partial repair probe: shortness test\", \"actual\": [[0, 700], [1000, 1700], [2000, 2699]], \"expected\": [[0, 700], [1000, 1700], [2000, 2700]], \"passed\": false}, {\"check\": \"partial repair variant: shortness test\", \"actual\": [[200, 901], [1500, 1800], [1500, 2120]], \"expected\": [[200, 901], [1500, 1800], [1500, 2200]], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [[0, 1000], [2000, 3000]], \"expected\": [[0, 1000], [2000, 3000]], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [[500, 1200], [0, 460]], \"expected\": [[500, 1200], [0, 460]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[0, 420], [500, 3000]], \"expected\": [[0, 420], [500, 3000]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[0, 200], [200, 900], [2000, 4000]], \"expected\": [[0, 200], [200, 900], [2000, 4000]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1000, 3000]], \"expected\": [[1000, 3000]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.376,"exit_code":1,"observations":[{"actual":[[1000,2120],[200,1400]],"check":"regression: shortness test","expected":[[1000,2200],[200,1400]],"passed":false},{"actual":[[479,2479],[2000,2300],[1000,2120],[800,2001]],"check":"regression variant: shortness test","expected":[[479,2479],[2000,3200],[1000,2120],[800,2001]],"passed":false},{"actual":[[0,700],[1000,1001],[2000,2699]],"check":"partial repair probe: shortness test","expected":[[0,700],[1000,1700],[2000,2700]],"passed":false},{"actual":[[200,901],[1500,1800],[1500,2120]],"check":"partial repair variant: shortness test","expected":[[200,901],[1500,1800],[1500,2200]],"passed":false},{"actual":[[0,1000],[2000,3000]],"check":"boundary control","expected":[[0,1000],[2000,3000]],"passed":true},{"actual":[[500,1200],[0,460]],"check":"boundary control","expected":[[500,1200],[0,460]],"passed":true},{"actual":[[0,420],[500,3000]],"check":"normal control","expected":[[0,420],[500,3000]],"passed":true},{"actual":[[0,200],[200,900],[2000,4000]],"check":"normal control","expected":[[0,200],[200,900],[2000,4000]],"passed":true},{"actual":[[1000,3000]],"check":"normal control","expected":[[1000,3000]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: shortness test\", \"actual\": [[1000, 2120], [200, 1400]], \"expected\": [[1000, 2200], [200, 1400]], \"passed\": false}, {\"check\": \"regression variant: shortness test\", \"actual\": [[479, 2479], [2000, 2300], [1000, 2120], [800, 2001]], \"expected\": [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]], \"passed\": false}, {\"check\": \"partial repair probe: shortness test\", \"actual\": [[0, 700], [1000, 1001], [2000, 2699]], \"expected\": [[0, 700], [1000, 1700], [2000, 2700]], \"passed\": false}, {\"check\": \"partial repair variant: shortness test\", \"actual\": [[200, 901], [1500, 1800], [1500, 2120]], \"expected\": [[200, 901], [1500, 1800], [1500, 2200]], \"passed\": false}, {\"check\": \"boundary control\", \"actual\": [[0, 1000], [2000, 3000]], \"expected\": [[0, 1000], [2000, 3000]], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [[500, 1200], [0, 460]], \"expected\": [[500, 1200], [0, 460]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[0, 420], [500, 3000]], \"expected\": [[0, 420], [500, 3000]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[0, 200], [200, 900], [2000, 4000]], \"expected\": [[0, 200], [200, 900], [2000, 4000]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1000, 3000]], \"expected\": [[1000, 3000]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.891,"exit_code":0,"observations":[{"actual":[[1000,2200],[200,1400]],"check":"regression: shortness test","expected":[[1000,2200],[200,1400]],"passed":true},{"actual":[[479,2479],[2000,3200],[1000,2120],[800,2001]],"check":"regression variant: shortness test","expected":[[479,2479],[2000,3200],[1000,2120],[800,2001]],"passed":true},{"actual":[[0,700],[1000,1700],[2000,2700]],"check":"partial repair probe: shortness test","expected":[[0,700],[1000,1700],[2000,2700]],"passed":true},{"actual":[[200,901],[1500,1800],[1500,2200]],"check":"partial repair variant: shortness test","expected":[[200,901],[1500,1800],[1500,2200]],"passed":true},{"actual":[[0,1000],[2000,3000]],"check":"boundary control","expected":[[0,1000],[2000,3000]],"passed":true},{"actual":[[500,1200],[0,460]],"check":"boundary control","expected":[[500,1200],[0,460]],"passed":true},{"actual":[[0,420],[500,3000]],"check":"normal control","expected":[[0,420],[500,3000]],"passed":true},{"actual":[[0,200],[200,900],[2000,4000]],"check":"normal control","expected":[[0,200],[200,900],[2000,4000]],"passed":true},{"actual":[[1000,3000]],"check":"normal control","expected":[[1000,3000]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: shortness test\", \"actual\": [[1000, 2200], [200, 1400]], \"expected\": [[1000, 2200], [200, 1400]], \"passed\": true}, {\"check\": \"regression variant: shortness test\", \"actual\": [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]], \"expected\": [[479, 2479], [2000, 3200], [1000, 2120], [800, 2001]], \"passed\": true}, {\"check\": \"partial repair probe: shortness test\", \"actual\": [[0, 700], [1000, 1700], [2000, 2700]], \"expected\": [[0, 700], [1000, 1700], [2000, 2700]], \"passed\": true}, {\"check\": \"partial repair variant: shortness test\", \"actual\": [[200, 901], [1500, 1800], [1500, 2200]], \"expected\": [[200, 901], [1500, 1800], [1500, 2200]], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [[0, 1000], [2000, 3000]], \"expected\": [[0, 1000], [2000, 3000]], \"passed\": true}, {\"check\": \"boundary control\", \"actual\": [[500, 1200], [0, 460]], \"expected\": [[500, 1200], [0, 460]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[0, 420], [500, 3000]], \"expected\": [[0, 420], [500, 3000]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[0, 200], [200, 900], [2000, 4000]], \"expected\": [[0, 200], [200, 900], [2000, 4000]], \"passed\": true}, {\"check\": \"normal control\", \"actual\": [[1000, 3000]], \"expected\": [[1000, 3000]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}