{"abstract":"Integer division discards fractional alpha before converting it to sample coverage.","category":"Raster clipping","checks":11,"contract":"Each command supplies alpha numerator over denominator, a permutation ranking the physical samples, rotation, geometric sample mask, fixed enable mask and optional shader mask. Alpha selects floor(alpha*size) ranks, clamped to [0,size]; alpha-disabled commands select all ranks. Rotate selected physical sample IDs modulo size, then intersect masks. A missing shader mask passes all samples; an explicit empty mask passes none. Return sorted surviving sample IDs.","evaluation_group":"s3-raster-clipping-ranked-alpha-clip-coverage","failed_approach":"Rounding alpha before multiplication still reduces fractional coverage to all-or-none.","family":"s3-raster-clipping-ranked-alpha-clip-coverage-fraction-before-scale","id":"FA-51481","implementations":{"attempt":{"sha256":"3750d5fa5ee7190b7b2fa292b2eb18792662b6c4330298189fa178991909f1f3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    full=set(range(size))\n    for numerator,denominator,rank,rotation,geometry,enabled,shader,alpha_enabled in commands:\n        count=max(0,min(size,round(numerator/denominator)*size)) if alpha_enabled else size\n        ordering=[x for x in rank if x in full]\n        selected={ordering[i] for i in range(min(count,len(ordering)))}\n        selected={(x+rotation)%size for x in selected}\n        geometric=set(geometry)&full\n        fixed=set(enabled)&full\n        shader_mask=full if shader is None else set(shader)&full\n        out.append(sorted(selected & geometric & fixed & shader_mask))\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 sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[3]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[1, 2]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 3]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 4), [[0, 1, 2, 3]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 4), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 4), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1, 2, 3]])\nif N == 2:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[4]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[1, 2]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 4]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 5), [[0, 1, 2, 3, 4]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 5), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 5), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2, 3, 4]])\nif N == 3:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[4, 5]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[1, 2, 3]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 5]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 6), [[0, 1, 2, 3, 4, 5]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 6), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 6), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3, 4, 5]])\nif N == 4:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[5, 6]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[1, 2, 3]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 6]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 7), [[0, 1, 2, 3, 4, 5, 6]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 7), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 7), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3, 4, 5, 6]])\nif N == 5:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[6, 7]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[1, 2, 3, 4]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 7]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 8), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 8), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])\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":"a4e50bb2952896a2ec88846f9f2281a75e27b1e48115a66f2c8964c5c1aa78b9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    full=set(range(size))\n    for numerator,denominator,rank,rotation,geometry,enabled,shader,alpha_enabled in commands:\n        count=max(0,min(size,(numerator//denominator)*size)) if alpha_enabled else size\n        ordering=[x for x in rank if x in full]\n        selected={ordering[i] for i in range(min(count,len(ordering)))}\n        selected={(x+rotation)%size for x in selected}\n        geometric=set(geometry)&full\n        fixed=set(enabled)&full\n        shader_mask=full if shader is None else set(shader)&full\n        out.append(sorted(selected & geometric & fixed & shader_mask))\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 sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[3]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[1, 2]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 3]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 4), [[0, 1, 2, 3]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 4), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 4), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1, 2, 3]])\nif N == 2:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[4]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[1, 2]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 4]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 5), [[0, 1, 2, 3, 4]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 5), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 5), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2, 3, 4]])\nif N == 3:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[4, 5]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[1, 2, 3]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 5]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 6), [[0, 1, 2, 3, 4, 5]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 6), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 6), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3, 4, 5]])\nif N == 4:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[5, 6]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[1, 2, 3]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 6]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 7), [[0, 1, 2, 3, 4, 5, 6]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 7), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 7), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3, 4, 5, 6]])\nif N == 5:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[6, 7]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[1, 2, 3, 4]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 7]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 8), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 8), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])\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":"033f1e3ebc473955488a6dd6c4c41fba31ef39962f63c452285ee420d8a9543b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    full=set(range(size))\n    for numerator,denominator,rank,rotation,geometry,enabled,shader,alpha_enabled in commands:\n        count=max(0,min(size,(numerator*size)//denominator)) if alpha_enabled else size\n        ordering=[x for x in rank if x in full]\n        selected={ordering[i] for i in range(min(count,len(ordering)))}\n        selected={(x+rotation)%size for x in selected}\n        geometric=set(geometry)&full\n        fixed=set(enabled)&full\n        shader_mask=full if shader is None else set(shader)&full\n        out.append(sorted(selected & geometric & fixed & shader_mask))\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 sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[3]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[1, 2]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 3]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 4), [[0, 1, 2, 3]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 4), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 4), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 4), [[0, 1, 2, 3]])\nif N == 2:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[4]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[1, 2]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 4]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 5), [[0, 1, 2, 3, 4]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 5), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 5), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 5), [[0, 1, 2, 3, 4]])\nif N == 3:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[4, 5]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[1, 2, 3]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 5]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 6), [[0, 1, 2, 3, 4, 5]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 6), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 6), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 6), [[0, 1, 2, 3, 4, 5]])\nif N == 4:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[5, 6]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[1, 2, 3]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 6]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 7), [[0, 1, 2, 3, 4, 5, 6]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 7), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 7), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 7), [[0, 1, 2, 3, 4, 5, 6]])\nif N == 5:\n    check('explicit sequence 0', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3]])\n    check('explicit sequence 1', solve([[1, 7, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0]])\n    check('explicit sequence 2', solve([[2, 3, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4]])\n    check('explicit sequence 3', solve([[1, 3, [9, 8, 7, 6, 5, 4, 3, 2, 1, 0], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[6, 7]])\n    check('explicit sequence 4', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[1, 2, 3, 4]])\n    check('explicit sequence 5', solve([[1, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], -1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 7]])\n    check('explicit sequence 6', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, False]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])\n    check('explicit sequence 7', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [], True]], 8), [[]])\n    check('explicit sequence 8', solve([[0, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[]])\n    check('explicit sequence 9', solve([[1, 1, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0], [1], True]], 8), [[]])\n    check('explicit sequence 10', solve([[3, 2, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 0, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], None, True]], 8), [[0, 1, 2, 3, 4, 5, 6, 7]])\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":"Finite one-dimensional integer sample sets model coverage state only; no geometric intersection, memory layout, GPU or graphics-standard 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-ranked-alpha-clip-coverage-fraction-before-scale","generated_at":"2026-09-29T14:45:19.378660+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Raster clip state can leak coverage across draws even when every individual region is valid.","repair":"Apply the documented state transition at fraction before scale. Each command supplies alpha numerator over denominator, a permutation ranking the physical samples, rotation, geometric sample mask, fixed enable mask and optional shader mask. Alpha selects floor(alpha*size) ranks, clamped to [0,size]; alpha-disabled commands select all ranks. Rotate selected physical sample IDs modulo size, then intersect masks. A missing shader mask passes all samples; an explicit empty mask passes none. Return sorted surviving sample IDs.","root_cause":"Integer division discards fractional alpha before converting it to sample coverage.","sha256":"a600bdfe8da767b3556bf8638105a3b3748ba2db68481c99b6c56180b2cda537","title":"Ranked alpha clip coverage: fraction before scale · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.593,"exit_code":1,"observations":[{"actual":[[]],"check":"explicit sequence 0","expected":[[0,1]],"passed":false},{"actual":[[]],"check":"explicit sequence 1","expected":[[]],"passed":true},{"actual":[[0,1,2,3]],"check":"explicit sequence 2","expected":[[0,1]],"passed":false},{"actual":[[]],"check":"explicit sequence 3","expected":[[3]],"passed":false},{"actual":[[]],"check":"explicit sequence 4","expected":[[1,2]],"passed":false},{"actual":[[]],"check":"explicit sequence 5","expected":[[0,3]],"passed":false},{"actual":[[0,1,2,3]],"check":"explicit sequence 6","expected":[[0,1,2,3]],"passed":true},{"actual":[[]],"check":"explicit sequence 7","expected":[[]],"passed":true},{"actual":[[]],"check":"explicit sequence 8","expected":[[]],"passed":true},{"actual":[[]],"check":"explicit sequence 9","expected":[[]],"passed":true},{"actual":[[0,1,2,3]],"check":"explicit sequence 10","expected":[[0,1,2,3]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[]], \"expected\": [[0, 1]], \"passed\": false}, {\"check\": \"explicit sequence 1\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [[0, 1, 2, 3]], \"expected\": [[0, 1]], \"passed\": false}, {\"check\": \"explicit sequence 3\", \"actual\": [[]], \"expected\": [[3]], \"passed\": false}, {\"check\": \"explicit sequence 4\", \"actual\": [[]], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"explicit sequence 5\", \"actual\": [[]], \"expected\": [[0, 3]], \"passed\": false}, {\"check\": \"explicit sequence 6\", \"actual\": [[0, 1, 2, 3]], \"expected\": [[0, 1, 2, 3]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[0, 1, 2, 3]], \"expected\": [[0, 1, 2, 3]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.871,"exit_code":1,"observations":[{"actual":[[]],"check":"explicit sequence 0","expected":[[0,1]],"passed":false},{"actual":[[]],"check":"explicit sequence 1","expected":[[]],"passed":true},{"actual":[[]],"check":"explicit sequence 2","expected":[[0,1]],"passed":false},{"actual":[[]],"check":"explicit sequence 3","expected":[[3]],"passed":false},{"actual":[[]],"check":"explicit sequence 4","expected":[[1,2]],"passed":false},{"actual":[[]],"check":"explicit sequence 5","expected":[[0,3]],"passed":false},{"actual":[[0,1,2,3]],"check":"explicit sequence 6","expected":[[0,1,2,3]],"passed":true},{"actual":[[]],"check":"explicit sequence 7","expected":[[]],"passed":true},{"actual":[[]],"check":"explicit sequence 8","expected":[[]],"passed":true},{"actual":[[]],"check":"explicit sequence 9","expected":[[]],"passed":true},{"actual":[[0,1,2,3]],"check":"explicit sequence 10","expected":[[0,1,2,3]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[]], \"expected\": [[0, 1]], \"passed\": false}, {\"check\": \"explicit sequence 1\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [[]], \"expected\": [[0, 1]], \"passed\": false}, {\"check\": \"explicit sequence 3\", \"actual\": [[]], \"expected\": [[3]], \"passed\": false}, {\"check\": \"explicit sequence 4\", \"actual\": [[]], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"explicit sequence 5\", \"actual\": [[]], \"expected\": [[0, 3]], \"passed\": false}, {\"check\": \"explicit sequence 6\", \"actual\": [[0, 1, 2, 3]], \"expected\": [[0, 1, 2, 3]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[0, 1, 2, 3]], \"expected\": [[0, 1, 2, 3]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.479,"exit_code":0,"observations":[{"actual":[[0,1]],"check":"explicit sequence 0","expected":[[0,1]],"passed":true},{"actual":[[]],"check":"explicit sequence 1","expected":[[]],"passed":true},{"actual":[[0,1]],"check":"explicit sequence 2","expected":[[0,1]],"passed":true},{"actual":[[3]],"check":"explicit sequence 3","expected":[[3]],"passed":true},{"actual":[[1,2]],"check":"explicit sequence 4","expected":[[1,2]],"passed":true},{"actual":[[0,3]],"check":"explicit sequence 5","expected":[[0,3]],"passed":true},{"actual":[[0,1,2,3]],"check":"explicit sequence 6","expected":[[0,1,2,3]],"passed":true},{"actual":[[]],"check":"explicit sequence 7","expected":[[]],"passed":true},{"actual":[[]],"check":"explicit sequence 8","expected":[[]],"passed":true},{"actual":[[]],"check":"explicit sequence 9","expected":[[]],"passed":true},{"actual":[[0,1,2,3]],"check":"explicit sequence 10","expected":[[0,1,2,3]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[0, 1]], \"expected\": [[0, 1]], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [[0, 1]], \"expected\": [[0, 1]], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [[3]], \"expected\": [[3]], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [[1, 2]], \"expected\": [[1, 2]], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [[0, 3]], \"expected\": [[0, 3]], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [[0, 1, 2, 3]], \"expected\": [[0, 1, 2, 3]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[0, 1, 2, 3]], \"expected\": [[0, 1, 2, 3]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}