{"abstract":"Opaque samples outside a draw clip occlude backgrounds.","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":"Treating an empty draw clip as absent exposes and occludes the whole primitive.","family":"s3-raster-clipping-opaque-occlusion-clip-clip-before-occlusion","id":"FA-51341","implementations":{"attempt":{"sha256":"368c80cb4f5aa3be55b48f34d9059c28e3e2e908db7bc9075da47fec18fb3385","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) or full)&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"},"broken":{"sha256":"d9271c71f5cb04478d76839da356f3ddf25109c81a80dcbdffc7fd0ab9203c56","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(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"},"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-clip-before-occlusion","generated_at":"2026-09-29T14:45:18.005157+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 clip before occlusion. 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":"Opaque samples outside a draw clip occlude backgrounds.","sha256":"ab48b1bdfa12db2dad9e27318eef18df137ec13934f8158e2aced46ba050230b","title":"Opaque occlusion clip: clip before occlusion · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.986,"exit_code":1,"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",[0]],["b",[1]]]],"check":"explicit sequence 7","expected":[[["a",[]],["b",[1]]]],"passed":false},{"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\", [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\", [0]], [\"b\", [1]]]], \"expected\": [[[\"a\", []], [\"b\", [1]]]], \"passed\": false}, {\"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":40.588,"exit_code":1,"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",[]],["front",[0,1]]]],"check":"explicit sequence 2","expected":[[["back",[1]],["front",[0]]]],"passed":false},{"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",[0]],["b",[1]]]],"check":"explicit sequence 7","expected":[[["a",[]],["b",[1]]]],"passed":false},{"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\", [0, 1]], [\"front\", [0, 1]]]], \"expected\": [[[\"back\", [0, 1]], [\"front\", [0, 1]]]], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [[[\"back\", []], [\"front\", [0, 1]]]], \"expected\": [[[\"back\", [1]], [\"front\", [0]]]], \"passed\": false}, {\"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\", [0]], [\"b\", [1]]]], \"expected\": [[[\"a\", []], [\"b\", [1]]]], \"passed\": false}, {\"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.143,"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"}