{"abstract":"Transparent coverage is treated as fully occluding.","category":"Raster clipping","checks":11,"contract":"Draws are supplied back to front as ID, coverage set, opaque flag, clip set and sample-write-enable set. Visibility traverses front to back, subtracting only front opaque written samples. Transparent draws remain visible but do not occlude. Return every draw in original order, including empty visibility, labeled by ID. Repeated IDs are distinct draws. All coverage is finite-target bounded.","evaluation_group":"s3-raster-clipping-opaque-occlusion-clip","failed_approach":"Restricting false occlusion to multi-sample transparent draws still hides visible backgrounds.","family":"s3-raster-clipping-opaque-occlusion-clip-transparent-occludes","id":"FA-51336","implementations":{"attempt":{"sha256":"6ddfed95c7d18430aa13d58a97ede8b06886937901faf2fc6a065d6c38934c3b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    full=set(range(size))\n    out=[]\n    for draws in commands:\n        occluded=set()\n        visible=[]\n        for key,coverage,opaque,clip,writes in reversed(draws):\n            effective=set(coverage)&set(clip)&set(writes)&full\n            remaining=effective-occluded\n            visible.append([key,sorted(remaining)])\n            if opaque or len(effective)>1: occluded |= effective\n        out.append(list(reversed(visible)))\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([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 4), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 4), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 4), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 4), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 4), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 4), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 4), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 4), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 4), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 4), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 4), [[['a', [0, 1, 2, 3]]]])\nif N == 2:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 5), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 5), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 5), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 5), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 5), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 5), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 5), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 5), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 5), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 5), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 5), [[['a', [0, 1, 2, 3, 4]]]])\nif N == 3:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 6), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 6), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 6), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 6), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 6), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 6), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 6), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 6), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 6), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 6), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 6), [[['a', [0, 1, 2, 3, 4, 5]]]])\nif N == 4:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 7), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 7), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 7), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 7), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 7), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 7), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 7), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 7), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 7), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 7), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 7), [[['a', [0, 1, 2, 3, 4, 5, 6]]]])\nif N == 5:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 8), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 8), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 8), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 8), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 8), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 8), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 8), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 8), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 8), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 8), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 8), [[['a', [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":"c5a50302ca8eeb4122d725676cab883250498d6b6ca9e61842ac6fe3300bb708","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    full=set(range(size))\n    out=[]\n    for draws in commands:\n        occluded=set()\n        visible=[]\n        for key,coverage,opaque,clip,writes in reversed(draws):\n            effective=set(coverage)&set(clip)&set(writes)&full\n            remaining=effective-occluded\n            visible.append([key,sorted(remaining)])\n            occluded |= effective\n        out.append(list(reversed(visible)))\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([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 4), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 4), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 4), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 4), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 4), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 4), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 4), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 4), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 4), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 4), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 4), [[['a', [0, 1, 2, 3]]]])\nif N == 2:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 5), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 5), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 5), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 5), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 5), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 5), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 5), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 5), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 5), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 5), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 5), [[['a', [0, 1, 2, 3, 4]]]])\nif N == 3:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 6), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 6), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 6), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 6), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 6), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 6), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 6), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 6), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 6), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 6), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 6), [[['a', [0, 1, 2, 3, 4, 5]]]])\nif N == 4:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 7), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 7), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 7), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 7), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 7), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 7), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 7), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 7), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 7), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 7), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 7), [[['a', [0, 1, 2, 3, 4, 5, 6]]]])\nif N == 5:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 8), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 8), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 8), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 8), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 8), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 8), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 8), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 8), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 8), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 8), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 8), [[['a', [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":"6169de50c1291df6dc0b60fa03bafcdbcbf6458d702f440d60d51429b6a89c9a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    full=set(range(size))\n    out=[]\n    for draws in commands:\n        occluded=set()\n        visible=[]\n        for key,coverage,opaque,clip,writes in reversed(draws):\n            effective=set(coverage)&set(clip)&set(writes)&full\n            remaining=effective-occluded\n            visible.append([key,sorted(remaining)])\n            if opaque: occluded |= effective\n        out.append(list(reversed(visible)))\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([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 4), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 4), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 4), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 4), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 4), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 4), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 4), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 4), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 4), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 4), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 4), [[['a', [0, 1, 2, 3]]]])\nif N == 2:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 5), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 5), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 5), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 5), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 5), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 5), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 5), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 5), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 5), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 5), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 5), [[['a', [0, 1, 2, 3, 4]]]])\nif N == 3:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 6), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 6), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 6), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 6), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 6), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 6), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 6), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 6), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 6), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 6), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 6), [[['a', [0, 1, 2, 3, 4, 5]]]])\nif N == 4:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 7), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 7), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 7), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 7), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 7), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 7), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 7), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 7), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 7), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 7), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 7), [[['a', [0, 1, 2, 3, 4, 5, 6]]]])\nif N == 5:\n    check('explicit sequence 0', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [1], True, [1], [1]]]], 8), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 1', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], False, [0, 1], [0, 1]]]], 8), [[['back', [0, 1]], ['front', [0, 1]]]])\n    check('explicit sequence 2', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0], [0, 1]]]], 8), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 3', solve([[['back', [0, 1], True, [0, 1], [0, 1]], ['front', [0, 1], True, [0, 1], [0]]]], 8), [[['back', [1]], ['front', [0]]]])\n    check('explicit sequence 4', solve([[['back', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 8), [[['back', [0]], ['front', [1]]]])\n    check('explicit sequence 5', solve([[['back', [0, 1, 2], True, [0, 1, 2], [0, 1, 2]], ['middle', [0], True, [0], [0]], ['front', [1], True, [1], [1]]]], 8), [[['back', [2]], ['middle', [0]], ['front', [1]]]])\n    check('explicit sequence 6', solve([[['z', [0], False, [0], [0]], ['a', [1], False, [1], [1]]]], 8), [[['z', [0]], ['a', [1]]]])\n    check('explicit sequence 7', solve([[['a', [0], False, [], [0]], ['b', [1], True, [1], [1]]]], 8), [[['a', []], ['b', [1]]]])\n    check('explicit sequence 8', solve([[['same', [0], False, [0], [0]], ['same', [1], False, [1], [1]]]], 8), [[['same', [0]], ['same', [1]]]])\n    check('explicit sequence 9', solve([[['a', [0], True, [0], []]]], 8), [[['a', []]]])\n    check('explicit sequence 10', solve([[['a', [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], True, [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]]]], 8), [[['a', [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-opaque-occlusion-clip-transparent-occludes","generated_at":"2026-09-29T14:45:17.899173+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 transparent occludes. Draws are supplied back to front as ID, coverage set, opaque flag, clip set and sample-write-enable set. Visibility traverses front to back, subtracting only front opaque written samples. Transparent draws remain visible but do not occlude. Return every draw in original order, including empty visibility, labeled by ID. Repeated IDs are distinct draws. All coverage is finite-target bounded.","root_cause":"Transparent coverage is treated as fully occluding.","sha256":"309c97f8f0ce24ca8f5772859d35d847194acf4b5bbde52ecdd206bc7a6d20c7","title":"Opaque occlusion clip: transparent occludes · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.483,"exit_code":1,"observations":[{"actual":[[["back",[0]],["front",[1]]]],"check":"explicit sequence 0","expected":[[["back",[0]],["front",[1]]]],"passed":true},{"actual":[[["back",[]],["front",[0,1]]]],"check":"explicit sequence 1","expected":[[["back",[0,1]],["front",[0,1]]]],"passed":false},{"actual":[[["back",[1]],["front",[0]]]],"check":"explicit sequence 2","expected":[[["back",[1]],["front",[0]]]],"passed":true},{"actual":[[["back",[1]],["front",[0]]]],"check":"explicit sequence 3","expected":[[["back",[1]],["front",[0]]]],"passed":true},{"actual":[[["back",[0]],["front",[1]]]],"check":"explicit sequence 4","expected":[[["back",[0]],["front",[1]]]],"passed":true},{"actual":[[["back",[2]],["middle",[0]],["front",[1]]]],"check":"explicit sequence 5","expected":[[["back",[2]],["middle",[0]],["front",[1]]]],"passed":true},{"actual":[[["z",[0]],["a",[1]]]],"check":"explicit sequence 6","expected":[[["z",[0]],["a",[1]]]],"passed":true},{"actual":[[["a",[]],["b",[1]]]],"check":"explicit sequence 7","expected":[[["a",[]],["b",[1]]]],"passed":true},{"actual":[[["same",[0]],["same",[1]]]],"check":"explicit sequence 8","expected":[[["same",[0]],["same",[1]]]],"passed":true},{"actual":[[["a",[]]]],"check":"explicit sequence 9","expected":[[["a",[]]]],"passed":true},{"actual":[[["a",[0,1,2,3]]]],"check":"explicit sequence 10","expected":[[["a",[0,1,2,3]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[[\"back\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [[[\"back\", []], [\"front\", [0, 1]]]], \"expected\": [[[\"back\", [0, 1]], [\"front\", [0, 1]]]], \"passed\": false}, {\"check\": \"explicit sequence 2\", \"actual\": [[[\"back\", [1]], [\"front\", [0]]]], \"expected\": [[[\"back\", [1]], [\"front\", [0]]]], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [[[\"back\", [1]], [\"front\", [0]]]], \"expected\": [[[\"back\", [1]], [\"front\", [0]]]], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [[[\"back\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [[[\"back\", [2]], [\"middle\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [2]], [\"middle\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [[[\"z\", [0]], [\"a\", [1]]]], \"expected\": [[[\"z\", [0]], [\"a\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[[\"a\", []], [\"b\", [1]]]], \"expected\": [[[\"a\", []], [\"b\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[[\"same\", [0]], [\"same\", [1]]]], \"expected\": [[[\"same\", [0]], [\"same\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[[\"a\", []]]], \"expected\": [[[\"a\", []]]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[[\"a\", [0, 1, 2, 3]]]], \"expected\": [[[\"a\", [0, 1, 2, 3]]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.042,"exit_code":1,"observations":[{"actual":[[["back",[0]],["front",[1]]]],"check":"explicit sequence 0","expected":[[["back",[0]],["front",[1]]]],"passed":true},{"actual":[[["back",[]],["front",[0,1]]]],"check":"explicit sequence 1","expected":[[["back",[0,1]],["front",[0,1]]]],"passed":false},{"actual":[[["back",[1]],["front",[0]]]],"check":"explicit sequence 2","expected":[[["back",[1]],["front",[0]]]],"passed":true},{"actual":[[["back",[1]],["front",[0]]]],"check":"explicit sequence 3","expected":[[["back",[1]],["front",[0]]]],"passed":true},{"actual":[[["back",[0]],["front",[1]]]],"check":"explicit sequence 4","expected":[[["back",[0]],["front",[1]]]],"passed":true},{"actual":[[["back",[2]],["middle",[0]],["front",[1]]]],"check":"explicit sequence 5","expected":[[["back",[2]],["middle",[0]],["front",[1]]]],"passed":true},{"actual":[[["z",[0]],["a",[1]]]],"check":"explicit sequence 6","expected":[[["z",[0]],["a",[1]]]],"passed":true},{"actual":[[["a",[]],["b",[1]]]],"check":"explicit sequence 7","expected":[[["a",[]],["b",[1]]]],"passed":true},{"actual":[[["same",[0]],["same",[1]]]],"check":"explicit sequence 8","expected":[[["same",[0]],["same",[1]]]],"passed":true},{"actual":[[["a",[]]]],"check":"explicit sequence 9","expected":[[["a",[]]]],"passed":true},{"actual":[[["a",[0,1,2,3]]]],"check":"explicit sequence 10","expected":[[["a",[0,1,2,3]]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[[\"back\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [[[\"back\", []], [\"front\", [0, 1]]]], \"expected\": [[[\"back\", [0, 1]], [\"front\", [0, 1]]]], \"passed\": false}, {\"check\": \"explicit sequence 2\", \"actual\": [[[\"back\", [1]], [\"front\", [0]]]], \"expected\": [[[\"back\", [1]], [\"front\", [0]]]], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [[[\"back\", [1]], [\"front\", [0]]]], \"expected\": [[[\"back\", [1]], [\"front\", [0]]]], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [[[\"back\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [[[\"back\", [2]], [\"middle\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [2]], [\"middle\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [[[\"z\", [0]], [\"a\", [1]]]], \"expected\": [[[\"z\", [0]], [\"a\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[[\"a\", []], [\"b\", [1]]]], \"expected\": [[[\"a\", []], [\"b\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[[\"same\", [0]], [\"same\", [1]]]], \"expected\": [[[\"same\", [0]], [\"same\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[[\"a\", []]]], \"expected\": [[[\"a\", []]]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[[\"a\", [0, 1, 2, 3]]]], \"expected\": [[[\"a\", [0, 1, 2, 3]]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.855,"exit_code":0,"observations":[{"actual":[[["back",[0]],["front",[1]]]],"check":"explicit sequence 0","expected":[[["back",[0]],["front",[1]]]],"passed":true},{"actual":[[["back",[0,1]],["front",[0,1]]]],"check":"explicit sequence 1","expected":[[["back",[0,1]],["front",[0,1]]]],"passed":true},{"actual":[[["back",[1]],["front",[0]]]],"check":"explicit sequence 2","expected":[[["back",[1]],["front",[0]]]],"passed":true},{"actual":[[["back",[1]],["front",[0]]]],"check":"explicit sequence 3","expected":[[["back",[1]],["front",[0]]]],"passed":true},{"actual":[[["back",[0]],["front",[1]]]],"check":"explicit sequence 4","expected":[[["back",[0]],["front",[1]]]],"passed":true},{"actual":[[["back",[2]],["middle",[0]],["front",[1]]]],"check":"explicit sequence 5","expected":[[["back",[2]],["middle",[0]],["front",[1]]]],"passed":true},{"actual":[[["z",[0]],["a",[1]]]],"check":"explicit sequence 6","expected":[[["z",[0]],["a",[1]]]],"passed":true},{"actual":[[["a",[]],["b",[1]]]],"check":"explicit sequence 7","expected":[[["a",[]],["b",[1]]]],"passed":true},{"actual":[[["same",[0]],["same",[1]]]],"check":"explicit sequence 8","expected":[[["same",[0]],["same",[1]]]],"passed":true},{"actual":[[["a",[]]]],"check":"explicit sequence 9","expected":[[["a",[]]]],"passed":true},{"actual":[[["a",[0,1,2,3]]]],"check":"explicit sequence 10","expected":[[["a",[0,1,2,3]]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[[\"back\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [[[\"back\", [0, 1]], [\"front\", [0, 1]]]], \"expected\": [[[\"back\", [0, 1]], [\"front\", [0, 1]]]], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [[[\"back\", [1]], [\"front\", [0]]]], \"expected\": [[[\"back\", [1]], [\"front\", [0]]]], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [[[\"back\", [1]], [\"front\", [0]]]], \"expected\": [[[\"back\", [1]], [\"front\", [0]]]], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [[[\"back\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [[[\"back\", [2]], [\"middle\", [0]], [\"front\", [1]]]], \"expected\": [[[\"back\", [2]], [\"middle\", [0]], [\"front\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [[[\"z\", [0]], [\"a\", [1]]]], \"expected\": [[[\"z\", [0]], [\"a\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[[\"a\", []], [\"b\", [1]]]], \"expected\": [[[\"a\", []], [\"b\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[[\"same\", [0]], [\"same\", [1]]]], \"expected\": [[[\"same\", [0]], [\"same\", [1]]]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[[\"a\", []]]], \"expected\": [[[\"a\", []]]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[[\"a\", [0, 1, 2, 3]]]], \"expected\": [[[\"a\", [0, 1, 2, 3]]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}