{"abstract":"All-sample resolve requires disabled lanes to be covered.","category":"Raster clipping","checks":11,"contract":"Each command defines a pixel with a list of per-sample clip bits and an equally long integer weight list. Modes return any/all/parity/weighted majority. Invert precedes resolve; disabled samples do not participate. An empty enabled set never covers. Rotation permutes the bits before enabled lanes are selected.","evaluation_group":"s3-raster-clipping-multisample-clip-resolve","failed_approach":"Using the length of the enable list counts duplicate or out-of-range enabled indices.","family":"s3-raster-clipping-multisample-clip-resolve-all-enabled-count","id":"FA-50571","implementations":{"attempt":{"sha256":"0539927bc1191ca3bbf932b5d3eaf4724db0d372c7e4dc1395b7ffa2d2a60c9e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    for cmd in commands:\n        bits,weights,enabled,mode,invert,rotation=cmd\n        count=len(bits)\n        rotation=rotation%count if count else 0\n        rotated=bits[-rotation:]+bits[:-rotation] if rotation else list(bits)\n        chosen=[(bool(rotated[i]) ^ invert,weights[i]) for i in range(count) if i in enabled]\n        if not chosen: out.append(False); continue\n        hits=sum(1 for bit,weight in chosen if bit)\n        total=sum(weight for bit,weight in chosen)\n        covered=sum(weight for bit,weight in chosen if bit)\n        if mode=='any': answer=hits>0\n        elif mode=='all': answer=hits==len(enabled)\n        elif mode=='parity': answer=hits%2==1\n        elif mode=='majority': answer=covered*2>=total and total>0\n        elif mode=='strict': answer=covered*2>total\n        elif mode=='first': answer=chosen[0][0]\n        else: answer=chosen[-1][0]\n        out.append(answer)\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, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 4), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 4), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 4), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 4), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 4), [True])\nif N == 2:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 5), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 5), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 5), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 5), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 5), [True])\nif N == 3:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 6), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 6), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 6), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 6), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 6), [True])\nif N == 4:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 7), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 7), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 7), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 7), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 7), [True])\nif N == 5:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 8), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 8), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 8), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 8), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 8), [True])\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":"9cbd62ef4183fceefadac40d4d748fc9f7140c0fad79ca104de2315f8a7597f8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    for cmd in commands:\n        bits,weights,enabled,mode,invert,rotation=cmd\n        count=len(bits)\n        rotation=rotation%count if count else 0\n        rotated=bits[-rotation:]+bits[:-rotation] if rotation else list(bits)\n        chosen=[(bool(rotated[i]) ^ invert,weights[i]) for i in range(count) if i in enabled]\n        if not chosen: out.append(False); continue\n        hits=sum(1 for bit,weight in chosen if bit)\n        total=sum(weight for bit,weight in chosen)\n        covered=sum(weight for bit,weight in chosen if bit)\n        if mode=='any': answer=hits>0\n        elif mode=='all': answer=hits==count\n        elif mode=='parity': answer=hits%2==1\n        elif mode=='majority': answer=covered*2>=total and total>0\n        elif mode=='strict': answer=covered*2>total\n        elif mode=='first': answer=chosen[0][0]\n        else: answer=chosen[-1][0]\n        out.append(answer)\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, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 4), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 4), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 4), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 4), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 4), [True])\nif N == 2:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 5), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 5), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 5), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 5), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 5), [True])\nif N == 3:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 6), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 6), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 6), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 6), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 6), [True])\nif N == 4:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 7), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 7), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 7), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 7), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 7), [True])\nif N == 5:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 8), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 8), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 8), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 8), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 8), [True])\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":"f72e196555b8b1e467d3f92e37b1991dcad4e964a11c3ab638010600d1c8bc01","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    for cmd in commands:\n        bits,weights,enabled,mode,invert,rotation=cmd\n        count=len(bits)\n        rotation=rotation%count if count else 0\n        rotated=bits[-rotation:]+bits[:-rotation] if rotation else list(bits)\n        chosen=[(bool(rotated[i]) ^ invert,weights[i]) for i in range(count) if i in enabled]\n        if not chosen: out.append(False); continue\n        hits=sum(1 for bit,weight in chosen if bit)\n        total=sum(weight for bit,weight in chosen)\n        covered=sum(weight for bit,weight in chosen if bit)\n        if mode=='any': answer=hits>0\n        elif mode=='all': answer=hits==len(chosen)\n        elif mode=='parity': answer=hits%2==1\n        elif mode=='majority': answer=covered*2>=total and total>0\n        elif mode=='strict': answer=covered*2>total\n        elif mode=='first': answer=chosen[0][0]\n        else: answer=chosen[-1][0]\n        out.append(answer)\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, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 4), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 4), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 4), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 4), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 4), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 4), [True])\nif N == 2:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 5), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 5), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 5), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 5), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 5), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 5), [True])\nif N == 3:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 6), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 6), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 6), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 6), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 6), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 6), [True])\nif N == 4:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 7), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 7), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 7), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 7), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 7), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 7), [True])\nif N == 5:\n    check('explicit sequence 0', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 1', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 2', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 3', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 4', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 5', solve([[[1, 0, 0, 1], [1, 2, 4, 8], [0], 'any', False, 1], [[1, 0], [1, 1], [0, 1], 'any', True, 0], [[0, 1], [1, 1], [1], 'all', False, 0], [[1, 1], [1, 1], [], 'all', False, 0], [[1, 0], [4, 20], [0], 'majority', False, 0], [[1, 0], [4, 1], [0, 1], 'majority', False, 0], [[1, 1], [1, 1], [0, 1], 'parity', False, 0], [[1, 0], [1, 1], [0, 1], 'strict', False, 0], [[0, 1], [1, 1], [1], 'first', False, 0], [[0, 0], [1, 1], [0, 1], 'last', False, 0]], 8), [True, True, True, False, True, True, False, False, True, False])\n    check('explicit sequence 6', solve([[[1, 0], [1, 8], [0, 1], 'majority', False, 0]], 8), [False])\n    check('explicit sequence 7', solve([[[1, 0], [1, 1], [0, 0], 'all', False, 0]], 8), [True])\n    check('explicit sequence 8', solve([[[1, 1, 1], [1, 1, 1], [0, 1, 2], 'parity', False, 0]], 8), [True])\n    check('explicit sequence 9', solve([[[0, 1], [1, 1], [0, 1], 'first', False, 0]], 8), [False])\n    check('explicit sequence 10', solve([[[0, 1, 1, 0, 1, 0, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1], [0, 2, 4, 6], 'any', False, 1]], 8), [True])\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-multisample-clip-resolve-all-enabled-count","generated_at":"2026-09-29T14:45:10.385301+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 all enabled count. Each command defines a pixel with a list of per-sample clip bits and an equally long integer weight list. Modes return any/all/parity/weighted majority. Invert precedes resolve; disabled samples do not participate. An empty enabled set never covers. Rotation permutes the bits before enabled lanes are selected.","root_cause":"All-sample resolve requires disabled lanes to be covered.","sha256":"565efbfc9ac192a0f335fa3e344e568a43de622df0159823bd3056c3c99f939f","title":"Multisample clip resolve: all enabled count · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.404,"exit_code":1,"observations":[{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 0","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 1","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 2","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 3","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 4","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 5","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[false],"check":"explicit sequence 6","expected":[false],"passed":true},{"actual":[false],"check":"explicit sequence 7","expected":[true],"passed":false},{"actual":[true],"check":"explicit sequence 8","expected":[true],"passed":true},{"actual":[false],"check":"explicit sequence 9","expected":[false],"passed":true},{"actual":[true],"check":"explicit sequence 10","expected":[true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [false], \"expected\": [false], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [false], \"expected\": [true], \"passed\": false}, {\"check\": \"explicit sequence 8\", \"actual\": [true], \"expected\": [true], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [false], \"expected\": [false], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [true], \"expected\": [true], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.731,"exit_code":1,"observations":[{"actual":[true,true,false,false,true,true,false,false,true,false],"check":"explicit sequence 0","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,false,false,true,true,false,false,true,false],"check":"explicit sequence 1","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,false,false,true,true,false,false,true,false],"check":"explicit sequence 2","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,false,false,true,true,false,false,true,false],"check":"explicit sequence 3","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,false,false,true,true,false,false,true,false],"check":"explicit sequence 4","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,false,false,true,true,false,false,true,false],"check":"explicit sequence 5","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[false],"check":"explicit sequence 6","expected":[false],"passed":true},{"actual":[false],"check":"explicit sequence 7","expected":[true],"passed":false},{"actual":[true],"check":"explicit sequence 8","expected":[true],"passed":true},{"actual":[false],"check":"explicit sequence 9","expected":[false],"passed":true},{"actual":[true],"check":"explicit sequence 10","expected":[true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [true, true, false, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 1\", \"actual\": [true, true, false, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 2\", \"actual\": [true, true, false, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 3\", \"actual\": [true, true, false, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 4\", \"actual\": [true, true, false, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 5\", \"actual\": [true, true, false, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 6\", \"actual\": [false], \"expected\": [false], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [false], \"expected\": [true], \"passed\": false}, {\"check\": \"explicit sequence 8\", \"actual\": [true], \"expected\": [true], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [false], \"expected\": [false], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [true], \"expected\": [true], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.208,"exit_code":0,"observations":[{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 0","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 1","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 2","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 3","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 4","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[true,true,true,false,true,true,false,false,true,false],"check":"explicit sequence 5","expected":[true,true,true,false,true,true,false,false,true,false],"passed":true},{"actual":[false],"check":"explicit sequence 6","expected":[false],"passed":true},{"actual":[true],"check":"explicit sequence 7","expected":[true],"passed":true},{"actual":[true],"check":"explicit sequence 8","expected":[true],"passed":true},{"actual":[false],"check":"explicit sequence 9","expected":[false],"passed":true},{"actual":[true],"check":"explicit sequence 10","expected":[true],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [true, true, true, false, true, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [false], \"expected\": [false], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [true], \"expected\": [true], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [true], \"expected\": [true], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [false], \"expected\": [false], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [true], \"expected\": [true], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}