{"abstract":"Continuing a piece appends the shared joint again, duplicating every interior vertex.","category":"Raster clipping","checks":11,"contract":"Each command is [points,closed]. Consecutive vertices (plus the closing edge when closed and at least three points) are clipped against the closed pixel-center window [0,size-1]x[0,size-1] with exact parametric clipping. Visible parts that start where the current piece ends extend it (skipping zero-length repeats); any other visible part starts a new piece; a fully rejected edge ends the current piece. For closed paths, a last piece ending where the first piece begins is merged in front of it without repeating the joint. Pieces with fewer than two vertices are dropped. Vertices are exact rational strings.","contract_signature":"commands, size","evaluation_group":"s3-raster-clipping-polyline-strip-window-clip","failed_approach":"Appending only the end point fixes joints but duplicates vertices for zero-length edges.","family":"s3-raster-clipping-polyline-strip-window-clip-joint-duplicated","id":"FA-51796","implementations":{"attempt":{"sha256":"ac11de32e1fe09b18dff910f9ae67141095eb0deaa394d833a962565e7251915","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(commands, size):\n    def seg(p,q):\n        t0,t1=Fraction(0),Fraction(1)\n        for d,e in ((q[0]-p[0],p[0]),(q[1]-p[1],p[1])):\n            for pp,qq in ((-d,e),(d,size-1-e)):\n                if pp==0:\n                    if qq<0: return None\n                else:\n                    u=qq/pp\n                    if pp<0: t0=max(t0,u)\n                    else: t1=min(t1,u)\n        if t0>t1: return None\n        a=(p[0]+t0*(q[0]-p[0]),p[1]+t0*(q[1]-p[1]))\n        b=(p[0]+t1*(q[0]-p[0]),p[1]+t1*(q[1]-p[1]))\n        return a,b\n    out=[]\n    for points,closed in commands:\n        pts=[(Fraction(x),Fraction(y)) for x,y in points]\n        edges=list(zip(pts,pts[1:]))\n        if closed and len(pts)>2: edges.append((pts[-1],pts[0]))\n        pieces=[]\n        current=None\n        for p,q in edges:\n            part=seg(p,q)\n            if part is None:\n                current=None\n                continue\n            a,b=part\n            if current is not None and current[-1]==a:\n                current.append(b)\n            else:\n                current=[a] if a==b else [a,b]\n                pieces.append(current)\n        if closed and len(pieces)>1 and pieces[0][0]==pieces[-1][-1]:\n            pieces[0][:0]=pieces.pop()[:-1]\n        pieces=[pc for pc in pieces if len(pc)>=2]\n        out.append([[[str(x),str(y)] for x,y in pc] for pc in pieces])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('explicit case 0', solve([[[[1, 1], [4, 1], [4, 4]], False]], 6), [[[['1', '1'], ['4', '1'], ['4', '4']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 6), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 6), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 6), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 6), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 6), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 6), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 6), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 6), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 6), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 6), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 2:\n    check('explicit case 0', solve([[[[1, 1], [5, 1], [5, 5]], False]], 7), [[[['1', '1'], ['5', '1'], ['5', '5']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 7), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 7), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 7), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 7), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 7), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 7), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 7), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 7), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 7), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 7), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 3:\n    check('explicit case 0', solve([[[[1, 1], [6, 1], [6, 6]], False]], 8), [[[['1', '1'], ['6', '1'], ['6', '6']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 8), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 8), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 8), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 8), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 8), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 8), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 8), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 8), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 8), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 8), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 4:\n    check('explicit case 0', solve([[[[1, 1], [7, 1], [7, 7]], False]], 9), [[[['1', '1'], ['7', '1'], ['7', '7']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 9), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 9), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 9), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 9), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 9), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 9), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 9), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 9), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 9), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 9), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 5:\n    check('explicit case 0', solve([[[[1, 1], [8, 1], [8, 8]], False]], 10), [[[['1', '1'], ['8', '1'], ['8', '8']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 10), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 10), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 10), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 10), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 10), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 10), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 10), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 10), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 10), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 10), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\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":"6a7042c9d6f9825de39861e5533429dc4c773d94753d227d464a8d2ac6391d81","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(commands, size):\n    def seg(p,q):\n        t0,t1=Fraction(0),Fraction(1)\n        for d,e in ((q[0]-p[0],p[0]),(q[1]-p[1],p[1])):\n            for pp,qq in ((-d,e),(d,size-1-e)):\n                if pp==0:\n                    if qq<0: return None\n                else:\n                    u=qq/pp\n                    if pp<0: t0=max(t0,u)\n                    else: t1=min(t1,u)\n        if t0>t1: return None\n        a=(p[0]+t0*(q[0]-p[0]),p[1]+t0*(q[1]-p[1]))\n        b=(p[0]+t1*(q[0]-p[0]),p[1]+t1*(q[1]-p[1]))\n        return a,b\n    out=[]\n    for points,closed in commands:\n        pts=[(Fraction(x),Fraction(y)) for x,y in points]\n        edges=list(zip(pts,pts[1:]))\n        if closed and len(pts)>2: edges.append((pts[-1],pts[0]))\n        pieces=[]\n        current=None\n        for p,q in edges:\n            part=seg(p,q)\n            if part is None:\n                current=None\n                continue\n            a,b=part\n            if current is not None and current[-1]==a:\n                current.extend([a,b])\n            else:\n                current=[a] if a==b else [a,b]\n                pieces.append(current)\n        if closed and len(pieces)>1 and pieces[0][0]==pieces[-1][-1]:\n            pieces[0][:0]=pieces.pop()[:-1]\n        pieces=[pc for pc in pieces if len(pc)>=2]\n        out.append([[[str(x),str(y)] for x,y in pc] for pc in pieces])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('explicit case 0', solve([[[[1, 1], [4, 1], [4, 4]], False]], 6), [[[['1', '1'], ['4', '1'], ['4', '4']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 6), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 6), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 6), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 6), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 6), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 6), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 6), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 6), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 6), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 6), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 2:\n    check('explicit case 0', solve([[[[1, 1], [5, 1], [5, 5]], False]], 7), [[[['1', '1'], ['5', '1'], ['5', '5']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 7), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 7), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 7), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 7), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 7), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 7), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 7), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 7), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 7), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 7), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 3:\n    check('explicit case 0', solve([[[[1, 1], [6, 1], [6, 6]], False]], 8), [[[['1', '1'], ['6', '1'], ['6', '6']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 8), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 8), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 8), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 8), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 8), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 8), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 8), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 8), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 8), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 8), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 4:\n    check('explicit case 0', solve([[[[1, 1], [7, 1], [7, 7]], False]], 9), [[[['1', '1'], ['7', '1'], ['7', '7']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 9), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 9), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 9), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 9), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 9), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 9), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 9), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 9), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 9), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 9), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\nif N == 5:\n    check('explicit case 0', solve([[[[1, 1], [8, 1], [8, 8]], False]], 10), [[[['1', '1'], ['8', '1'], ['8', '8']]]])\n    check('explicit case 1', solve([[[[1, 1], [1, -3], [3, 1]], False]], 10), [[[['1', '1'], ['1', '0']], [['5/2', '0'], ['3', '1']]]])\n    check('explicit case 2', solve([[[[1, 1], [2, 1], [2, 1], [3, 2]], False]], 10), [[[['1', '1'], ['2', '1'], ['3', '2']]]])\n    check('explicit case 3', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], False]], 10), [[[['1', '1'], ['1', '0']], [['3', '0'], ['3', '1']]]])\n    check('explicit case 4', solve([[[[1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 10), [[[['1', '0'], ['2', '2']]]])\n    check('explicit case 5', solve([[[[-1, 1], [1, -1]], False]], 10), [[]])\n    check('explicit case 6', solve([[[[1, 1], [3, 1], [2, 3]], True]], 10), [[[['1', '1'], ['3', '1'], ['2', '3'], ['1', '1']]]])\n    check('explicit case 7', solve([[[[1, 1], [3, 1]], True]], 10), [[[['1', '1'], ['3', '1']]]])\n    check('explicit case 8', solve([[[[1, 1], [1, -2], [3, -2], [3, 1]], True]], 10), [[[['3', '0'], ['3', '1'], ['1', '1'], ['1', '0']]]])\n    check('explicit case 9', solve([[[[-2, 2], [2, 2], [2, -2], [-2, 2]], False]], 10), [[[['0', '2'], ['2', '2'], ['2', '0']]]])\n    check('explicit case 10', solve([[[[2, 1], [1, 0], [1, -2], [3, -2], [1, 0], [2, 2]], False]], 10), [[[['2', '1'], ['1', '0']], [['1', '0'], ['2', '2']]]])\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":"Exact integer/rational arithmetic on small stipulated fixtures models the clipping decision only; no memory layout, GPU pipeline, graphics API or standards conformance is claimed. 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":"s3-raster-clipping-polyline-strip-window-clip-joint-duplicated","generated_at":"2026-09-29T14:45:22.591566+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Raster clipping decides which pixels a primitive may touch; a single wrong clip decision writes outside the target or scissor, or silently drops visible coverage.","root_cause":"Continuing a piece appends the shared joint again, duplicating every interior vertex.","sha256":"6fcae27bfa07a7662ceb905a533bf5c9985756bfefd66e54079ded64b82e8b4e","title":"Polyline strip window clip: joint duplicated · 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":48.22,"exit_code":1,"observations":[{"actual":[[[["1","1"],["4","1"],["4","4"]]]],"check":"explicit case 0","expected":[[[["1","1"],["4","1"],["4","4"]]]],"passed":true},{"actual":[[[["1","1"],["1","0"]],[["5/2","0"],["3","1"]]]],"check":"explicit case 1","expected":[[[["1","1"],["1","0"]],[["5/2","0"],["3","1"]]]],"passed":true},{"actual":[[[["1","1"],["2","1"],["2","1"],["3","2"]]]],"check":"explicit case 2","expected":[[[["1","1"],["2","1"],["3","2"]]]],"passed":false},{"actual":[[[["1","1"],["1","0"]],[["3","0"],["3","1"]]]],"check":"explicit case 3","expected":[[[["1","1"],["1","0"]],[["3","0"],["3","1"]]]],"passed":true},{"actual":[[[["1","0"],["2","2"]]]],"check":"explicit case 4","expected":[[[["1","0"],["2","2"]]]],"passed":true},{"actual":[[]],"check":"explicit case 5","expected":[[]],"passed":true},{"actual":[[[["1","1"],["3","1"],["2","3"],["1","1"]]]],"check":"explicit case 6","expected":[[[["1","1"],["3","1"],["2","3"],["1","1"]]]],"passed":true},{"actual":[[[["1","1"],["3","1"]]]],"check":"explicit case 7","expected":[[[["1","1"],["3","1"]]]],"passed":true},{"actual":[[[["3","0"],["3","1"],["1","1"],["1","0"]]]],"check":"explicit case 8","expected":[[[["3","0"],["3","1"],["1","1"],["1","0"]]]],"passed":true},{"actual":[[[["0","2"],["2","2"],["2","0"]]]],"check":"explicit case 9","expected":[[[["0","2"],["2","2"],["2","0"]]]],"passed":true},{"actual":[[[["2","1"],["1","0"],["1","0"]],[["1","0"],["2","2"]]]],"check":"explicit case 10","expected":[[[["2","1"],["1","0"]],[["1","0"],["2","2"]]]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit case 0\", \"actual\": [[[[\"1\", \"1\"], [\"4\", \"1\"], [\"4\", \"4\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"4\", \"1\"], [\"4\", \"4\"]]]], \"passed\": true}, {\"check\": \"explicit case 1\", \"actual\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"5/2\", \"0\"], [\"3\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"5/2\", \"0\"], [\"3\", \"1\"]]]], \"passed\": true}, {\"check\": \"explicit case 2\", \"actual\": [[[[\"1\", \"1\"], [\"2\", \"1\"], [\"2\", \"1\"], [\"3\", \"2\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"2\", \"1\"], [\"3\", \"2\"]]]], \"passed\": false}, {\"check\": \"explicit case 3\", \"actual\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"3\", \"0\"], [\"3\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"3\", \"0\"], [\"3\", \"1\"]]]], \"passed\": true}, {\"check\": \"explicit case 4\", \"actual\": [[[[\"1\", \"0\"], [\"2\", \"2\"]]]], \"expected\": [[[[\"1\", \"0\"], [\"2\", \"2\"]]]], \"passed\": true}, {\"check\": \"explicit case 5\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit case 6\", \"actual\": [[[[\"1\", \"1\"], [\"3\", \"1\"], [\"2\", \"3\"], [\"1\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"3\", \"1\"], [\"2\", \"3\"], [\"1\", \"1\"]]]], \"passed\": true}, {\"check\": \"explicit case 7\", \"actual\": [[[[\"1\", \"1\"], [\"3\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"3\", \"1\"]]]], \"passed\": true}, {\"check\": \"explicit case 8\", \"actual\": [[[[\"3\", \"0\"], [\"3\", \"1\"], [\"1\", \"1\"], [\"1\", \"0\"]]]], \"expected\": [[[[\"3\", \"0\"], [\"3\", \"1\"], [\"1\", \"1\"], [\"1\", \"0\"]]]], \"passed\": true}, {\"check\": \"explicit case 9\", \"actual\": [[[[\"0\", \"2\"], [\"2\", \"2\"], [\"2\", \"0\"]]]], \"expected\": [[[[\"0\", \"2\"], [\"2\", \"2\"], [\"2\", \"0\"]]]], \"passed\": true}, {\"check\": \"explicit case 10\", \"actual\": [[[[\"2\", \"1\"], [\"1\", \"0\"], [\"1\", \"0\"]], [[\"1\", \"0\"], [\"2\", \"2\"]]]], \"expected\": [[[[\"2\", \"1\"], [\"1\", \"0\"]], [[\"1\", \"0\"], [\"2\", \"2\"]]]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.438,"exit_code":1,"observations":[{"actual":[[[["1","1"],["4","1"],["4","1"],["4","4"]]]],"check":"explicit case 0","expected":[[[["1","1"],["4","1"],["4","4"]]]],"passed":false},{"actual":[[[["1","1"],["1","0"]],[["5/2","0"],["3","1"]]]],"check":"explicit case 1","expected":[[[["1","1"],["1","0"]],[["5/2","0"],["3","1"]]]],"passed":true},{"actual":[[[["1","1"],["2","1"],["2","1"],["2","1"],["2","1"],["3","2"]]]],"check":"explicit case 2","expected":[[[["1","1"],["2","1"],["3","2"]]]],"passed":false},{"actual":[[[["1","1"],["1","0"]],[["3","0"],["3","1"]]]],"check":"explicit case 3","expected":[[[["1","1"],["1","0"]],[["3","0"],["3","1"]]]],"passed":true},{"actual":[[[["1","0"],["1","0"],["2","2"]]]],"check":"explicit case 4","expected":[[[["1","0"],["2","2"]]]],"passed":false},{"actual":[[]],"check":"explicit case 5","expected":[[]],"passed":true},{"actual":[[[["1","1"],["3","1"],["3","1"],["2","3"],["2","3"],["1","1"]]]],"check":"explicit case 6","expected":[[[["1","1"],["3","1"],["2","3"],["1","1"]]]],"passed":false},{"actual":[[[["1","1"],["3","1"]]]],"check":"explicit case 7","expected":[[[["1","1"],["3","1"]]]],"passed":true},{"actual":[[[["3","0"],["3","1"],["3","1"],["1","1"],["1","0"]]]],"check":"explicit case 8","expected":[[[["3","0"],["3","1"],["1","1"],["1","0"]]]],"passed":false},{"actual":[[[["0","2"],["2","2"],["2","2"],["2","0"]]]],"check":"explicit case 9","expected":[[[["0","2"],["2","2"],["2","0"]]]],"passed":false},{"actual":[[[["2","1"],["1","0"],["1","0"],["1","0"]],[["1","0"],["1","0"],["2","2"]]]],"check":"explicit case 10","expected":[[[["2","1"],["1","0"]],[["1","0"],["2","2"]]]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit case 0\", \"actual\": [[[[\"1\", \"1\"], [\"4\", \"1\"], [\"4\", \"1\"], [\"4\", \"4\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"4\", \"1\"], [\"4\", \"4\"]]]], \"passed\": false}, {\"check\": \"explicit case 1\", \"actual\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"5/2\", \"0\"], [\"3\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"5/2\", \"0\"], [\"3\", \"1\"]]]], \"passed\": true}, {\"check\": \"explicit case 2\", \"actual\": [[[[\"1\", \"1\"], [\"2\", \"1\"], [\"2\", \"1\"], [\"2\", \"1\"], [\"2\", \"1\"], [\"3\", \"2\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"2\", \"1\"], [\"3\", \"2\"]]]], \"passed\": false}, {\"check\": \"explicit case 3\", \"actual\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"3\", \"0\"], [\"3\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"1\", \"0\"]], [[\"3\", \"0\"], [\"3\", \"1\"]]]], \"passed\": true}, {\"check\": \"explicit case 4\", \"actual\": [[[[\"1\", \"0\"], [\"1\", \"0\"], [\"2\", \"2\"]]]], \"expected\": [[[[\"1\", \"0\"], [\"2\", \"2\"]]]], \"passed\": false}, {\"check\": \"explicit case 5\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit case 6\", \"actual\": [[[[\"1\", \"1\"], [\"3\", \"1\"], [\"3\", \"1\"], [\"2\", \"3\"], [\"2\", \"3\"], [\"1\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"3\", \"1\"], [\"2\", \"3\"], [\"1\", \"1\"]]]], \"passed\": false}, {\"check\": \"explicit case 7\", \"actual\": [[[[\"1\", \"1\"], [\"3\", \"1\"]]]], \"expected\": [[[[\"1\", \"1\"], [\"3\", \"1\"]]]], \"passed\": true}, {\"check\": \"explicit case 8\", \"actual\": [[[[\"3\", \"0\"], [\"3\", \"1\"], [\"3\", \"1\"], [\"1\", \"1\"], [\"1\", \"0\"]]]], \"expected\": [[[[\"3\", \"0\"], [\"3\", \"1\"], [\"1\", \"1\"], [\"1\", \"0\"]]]], \"passed\": false}, {\"check\": \"explicit case 9\", \"actual\": [[[[\"0\", \"2\"], [\"2\", \"2\"], [\"2\", \"2\"], [\"2\", \"0\"]]]], \"expected\": [[[[\"0\", \"2\"], [\"2\", \"2\"], [\"2\", \"0\"]]]], \"passed\": false}, {\"check\": \"explicit case 10\", \"actual\": [[[[\"2\", \"1\"], [\"1\", \"0\"], [\"1\", \"0\"], [\"1\", \"0\"]], [[\"1\", \"0\"], [\"1\", \"0\"], [\"2\", \"2\"]]]], \"expected\": [[[[\"2\", \"1\"], [\"1\", \"0\"]], [[\"1\", \"0\"], [\"2\", \"2\"]]]], \"passed\": false}], \"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."}}