{"abstract":"Lane enable indices are confused with Boolean coverage values.","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.","contract_signature":"commands, size","evaluation_group":"s3-raster-clipping-multisample-clip-resolve","failed_approach":"Replacing membership with a maximum enabled lane assumes the enabled mask has no holes.","family":"s3-raster-clipping-multisample-clip-resolve-enable-domain","id":"FA-50551","implementations":{"attempt":{"sha256":"6b912a0a5c2138613998c6a6acbdcf97cd0e73cac71a669c24b20831e81d8994","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<=max(enabled,default=-1)]\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"},"broken":{"sha256":"b2135354b2aca8ad4a9590a213abc607efbef62de5388fdb5a14d17ec6aeed95","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 rotated[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-enable-domain","generated_at":"2026-09-29T14:45:10.557733+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.","root_cause":"Lane enable indices are confused with Boolean coverage values.","sha256":"f73f89031136ce12c0d5e4fed8db25ac489a80aff23bb4a451860affc697f981","title":"Multisample clip resolve: enable domain · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":44.726,"exit_code":1,"observations":[{"actual":[true,true,false,false,true,true,false,false,false,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,false,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,false,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,false,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,false,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,false,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":[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":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [true, true, false, false, true, true, false, false, false, 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, false, 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, false, 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, false, 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, false, 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, false, 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\": [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\": false}\n"},"broken":{"elapsed_ms":45.475,"exit_code":1,"observations":[{"actual":[false,true,true,false,false,true,false,false,true,false],"check":"explicit sequence 0","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[false,true,true,false,false,true,false,false,true,false],"check":"explicit sequence 1","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[false,true,true,false,false,true,false,false,true,false],"check":"explicit sequence 2","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[false,true,true,false,false,true,false,false,true,false],"check":"explicit sequence 3","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[false,true,true,false,false,true,false,false,true,false],"check":"explicit sequence 4","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[false,true,true,false,false,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":[false],"check":"explicit sequence 10","expected":[true],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [false, true, true, false, false, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 1\", \"actual\": [false, true, true, false, false, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 2\", \"actual\": [false, true, true, false, false, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 3\", \"actual\": [false, true, true, false, false, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 4\", \"actual\": [false, true, true, false, false, true, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 5\", \"actual\": [false, true, true, false, false, 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\": [false], \"expected\": [true], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}