{"abstract":"Weighted coverage uses the count of covered lanes rather than their weights.","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":"Scaling hit count by the maximum lane weight ignores heterogeneous sample weights.","family":"s3-raster-clipping-multisample-clip-resolve-weighted-hit-count","id":"FA-50566","implementations":{"attempt":{"sha256":"f5eea218d69dc044bcae6c7ec95b01bc36bcc76f4927fe91c496b944d6b5e8fa","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=hits*max(weights,default=0)\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":"f60de2ff9c51fa6c874175dd3d14b813a4740014f2d947d8ceaf2893c3545971","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=hits\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"},"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-weighted-hit-count","generated_at":"2026-09-29T14:45:10.244199+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 weighted hit 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":"Weighted coverage uses the count of covered lanes rather than their weights.","sha256":"7cb19ad0f9a67b3833e62b5379eb8e4735a2fb7b399ffff891f086d491e31707","title":"Multisample clip resolve: weighted hit count · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.017,"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":[true],"check":"explicit sequence 6","expected":[false],"passed":false},{"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, 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\": [true], \"expected\": [false], \"passed\": false}, {\"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":46.897,"exit_code":1,"observations":[{"actual":[true,true,true,false,false,false,false,false,true,false],"check":"explicit sequence 0","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,true,false,false,false,false,false,true,false],"check":"explicit sequence 1","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,true,false,false,false,false,false,true,false],"check":"explicit sequence 2","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,true,false,false,false,false,false,true,false],"check":"explicit sequence 3","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,true,false,false,false,false,false,true,false],"check":"explicit sequence 4","expected":[true,true,true,false,true,true,false,false,true,false],"passed":false},{"actual":[true,true,true,false,false,false,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":[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, true, false, false, false, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 1\", \"actual\": [true, true, true, false, false, false, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 2\", \"actual\": [true, true, true, false, false, false, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 3\", \"actual\": [true, true, true, false, false, false, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 4\", \"actual\": [true, true, true, false, false, false, false, false, true, false], \"expected\": [true, true, true, false, true, true, false, false, true, false], \"passed\": false}, {\"check\": \"explicit sequence 5\", \"actual\": [true, true, true, false, false, false, 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\": [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"},"fixed":{"elapsed_ms":46.956,"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"}