{"abstract":"Stencil operations run on every sample whenever incoming coverage is nonempty.","category":"Raster clipping","checks":16,"contract":"Finite integer stencil values use three low bits. A clip pass compares masked stored values to masked reference, then applies distinct pass/fail operations only inside the incoming coverage set. Write masking preserves unrelated bits. Supported operations keep, zero, replace, saturating increment/decrement and invert.","evaluation_group":"s3-raster-clipping-stencil-clip-pass","failed_approach":"A bounding interval around incoming samples fills holes in their actual coverage.","family":"s3-raster-clipping-stencil-clip-pass-coverage-gate","id":"FA-50591","implementations":{"attempt":{"sha256":"1a236d3a8abf847d8241764e00247c44c31d3a8c440ea4487101452666febc99","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    values=[0]*size\n    out=[]\n    for cmd in commands:\n        if cmd[0]=='seed': values=[cmd[1][i%len(cmd[1])] & 7 for i in range(size)]; continue\n        mask,reference,readmask,writemask,comparison,onpass,onfail=cmd\n        for i in range(size):\n            if i<min(mask,default=size) or i>max(mask,default=-1): continue\n            old=values[i]\n            left=old & readmask\n            right=reference & readmask\n            passed=(left==right if comparison=='equal' else left<right if comparison=='less' else left!=right)\n            op=onpass if passed else onfail\n            if op=='keep': new=old\n            elif op=='zero': new=0\n            elif op=='replace': new=reference\n            elif op=='inc': new=min(7,old+1)\n            elif op=='dec': new=max(0,old-1)\n            else: new=old^7\n            values[i]=((old & (~writemask & 7)) | (new & writemask)) & 7\n        out.append(list(values))\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([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 4), [[1, 2, 7, 0]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 4), [[0, 0, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 4), [[2, 2, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 4), [[4, 4, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 4), [[7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 4), [[0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 4), [[4, 4, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 4), [[7, 7, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 4), [[0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 4), [[2, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 4), [[0, 1, 0, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 4), [[2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 4), [[5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 4), [[6, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 4), [[4, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 4), [[2, 5, 5, 5]])\nif N == 2:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 5), [[1, 2, 7, 0, 1]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 5), [[0, 0, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 5), [[2, 2, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 5), [[4, 4, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 5), [[7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 5), [[0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 5), [[4, 4, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 5), [[7, 7, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 5), [[0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 5), [[2, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 5), [[0, 1, 0, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 5), [[2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 5), [[5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 5), [[6, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 5), [[4, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 5), [[2, 5, 5, 5, 5]])\nif N == 3:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 6), [[1, 2, 7, 0, 1, 2]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 6), [[0, 0, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 6), [[2, 2, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 6), [[4, 4, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 6), [[7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 6), [[0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 6), [[4, 4, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 6), [[7, 7, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 6), [[0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 6), [[2, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 6), [[0, 1, 0, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 6), [[2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 6), [[5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 6), [[6, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 6), [[4, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 6), [[2, 5, 5, 5, 5, 5]])\nif N == 4:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 7), [[1, 2, 7, 0, 1, 2, 7]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 7), [[0, 0, 5, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 7), [[2, 2, 1, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 7), [[4, 4, 0, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 7), [[7, 7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 7), [[0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 7), [[4, 4, 3, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 7), [[7, 7, 6, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 7), [[0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 7), [[2, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 7), [[0, 1, 0, 1, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 7), [[2, 2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 7), [[5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 7), [[6, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 7), [[4, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 7), [[2, 5, 5, 5, 5, 5, 5]])\nif N == 5:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 8), [[1, 2, 7, 0, 1, 2, 7, 0]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 8), [[0, 0, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 8), [[2, 2, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 8), [[4, 4, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 8), [[7, 7, 7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 8), [[0, 0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 8), [[4, 4, 3, 3, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 8), [[7, 7, 6, 6, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 8), [[0, 0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 8), [[2, 1, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 8), [[0, 1, 0, 1, 1, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 8), [[2, 2, 2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 8), [[5, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 8), [[6, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 8), [[4, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 8), [[2, 5, 5, 5, 5, 5, 5, 5]])\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":"aacd5d0ceac89bdec79e12eb7ce5a9b93c4dc480edc6c51e96e8a5ba7ef7684d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    values=[0]*size\n    out=[]\n    for cmd in commands:\n        if cmd[0]=='seed': values=[cmd[1][i%len(cmd[1])] & 7 for i in range(size)]; continue\n        mask,reference,readmask,writemask,comparison,onpass,onfail=cmd\n        for i in range(size):\n            if not mask: continue\n            old=values[i]\n            left=old & readmask\n            right=reference & readmask\n            passed=(left==right if comparison=='equal' else left<right if comparison=='less' else left!=right)\n            op=onpass if passed else onfail\n            if op=='keep': new=old\n            elif op=='zero': new=0\n            elif op=='replace': new=reference\n            elif op=='inc': new=min(7,old+1)\n            elif op=='dec': new=max(0,old-1)\n            else: new=old^7\n            values[i]=((old & (~writemask & 7)) | (new & writemask)) & 7\n        out.append(list(values))\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([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 4), [[1, 2, 7, 0]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 4), [[0, 0, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 4), [[2, 2, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 4), [[4, 4, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 4), [[7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 4), [[0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 4), [[4, 4, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 4), [[7, 7, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 4), [[0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 4), [[2, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 4), [[0, 1, 0, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 4), [[2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 4), [[5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 4), [[6, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 4), [[4, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 4), [[2, 5, 5, 5]])\nif N == 2:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 5), [[1, 2, 7, 0, 1]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 5), [[0, 0, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 5), [[2, 2, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 5), [[4, 4, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 5), [[7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 5), [[0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 5), [[4, 4, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 5), [[7, 7, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 5), [[0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 5), [[2, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 5), [[0, 1, 0, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 5), [[2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 5), [[5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 5), [[6, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 5), [[4, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 5), [[2, 5, 5, 5, 5]])\nif N == 3:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 6), [[1, 2, 7, 0, 1, 2]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 6), [[0, 0, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 6), [[2, 2, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 6), [[4, 4, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 6), [[7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 6), [[0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 6), [[4, 4, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 6), [[7, 7, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 6), [[0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 6), [[2, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 6), [[0, 1, 0, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 6), [[2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 6), [[5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 6), [[6, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 6), [[4, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 6), [[2, 5, 5, 5, 5, 5]])\nif N == 4:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 7), [[1, 2, 7, 0, 1, 2, 7]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 7), [[0, 0, 5, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 7), [[2, 2, 1, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 7), [[4, 4, 0, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 7), [[7, 7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 7), [[0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 7), [[4, 4, 3, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 7), [[7, 7, 6, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 7), [[0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 7), [[2, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 7), [[0, 1, 0, 1, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 7), [[2, 2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 7), [[5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 7), [[6, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 7), [[4, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 7), [[2, 5, 5, 5, 5, 5, 5]])\nif N == 5:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 8), [[1, 2, 7, 0, 1, 2, 7, 0]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 8), [[0, 0, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 8), [[2, 2, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 8), [[4, 4, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 8), [[7, 7, 7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 8), [[0, 0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 8), [[4, 4, 3, 3, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 8), [[7, 7, 6, 6, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 8), [[0, 0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 8), [[2, 1, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 8), [[0, 1, 0, 1, 1, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 8), [[2, 2, 2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 8), [[5, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 8), [[6, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 8), [[4, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 8), [[2, 5, 5, 5, 5, 5, 5, 5]])\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":"ade565d7d5442fb9c14e776f2729d6b3eab08199870554a910e4c6958b1e9cfc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(commands, size):\n    values=[0]*size\n    out=[]\n    for cmd in commands:\n        if cmd[0]=='seed': values=[cmd[1][i%len(cmd[1])] & 7 for i in range(size)]; continue\n        mask,reference,readmask,writemask,comparison,onpass,onfail=cmd\n        for i in range(size):\n            if i not in mask: continue\n            old=values[i]\n            left=old & readmask\n            right=reference & readmask\n            passed=(left==right if comparison=='equal' else left<right if comparison=='less' else left!=right)\n            op=onpass if passed else onfail\n            if op=='keep': new=old\n            elif op=='zero': new=0\n            elif op=='replace': new=reference\n            elif op=='inc': new=min(7,old+1)\n            elif op=='dec': new=max(0,old-1)\n            else: new=old^7\n            values[i]=((old & (~writemask & 7)) | (new & writemask)) & 7\n        out.append(list(values))\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([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 4), [[1, 2, 7, 0]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 4), [[0, 0, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 4), [[2, 2, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 4), [[4, 4, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 4), [[7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 4), [[0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 4), [[4, 4, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 4), [[7, 7, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 4), [[0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 4), [[2, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 4), [[0, 1, 0, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 4), [[2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 4), [[5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 4), [[6, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 4), [[4, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 4), [[2, 5, 5, 5]])\nif N == 2:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 5), [[1, 2, 7, 0, 1]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 5), [[0, 0, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 5), [[2, 2, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 5), [[4, 4, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 5), [[7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 5), [[0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 5), [[4, 4, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 5), [[7, 7, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 5), [[0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 5), [[2, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 5), [[0, 1, 0, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 5), [[2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 5), [[5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 5), [[6, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 5), [[4, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 5), [[2, 5, 5, 5, 5]])\nif N == 3:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 6), [[1, 2, 7, 0, 1, 2]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 6), [[0, 0, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 6), [[2, 2, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 6), [[4, 4, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 6), [[7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 6), [[0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 6), [[4, 4, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 6), [[7, 7, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 6), [[0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 6), [[2, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 6), [[0, 1, 0, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 6), [[2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 6), [[5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 6), [[6, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 6), [[4, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 6), [[2, 5, 5, 5, 5, 5]])\nif N == 4:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 7), [[1, 2, 7, 0, 1, 2, 7]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 7), [[0, 0, 5, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 7), [[2, 2, 1, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 7), [[4, 4, 0, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 7), [[7, 7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 7), [[0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 7), [[4, 4, 3, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 7), [[7, 7, 6, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 7), [[0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 7), [[2, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 7), [[0, 1, 0, 1, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 7), [[2, 2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 7), [[5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 7), [[6, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 7), [[4, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 7), [[2, 5, 5, 5, 5, 5, 5]])\nif N == 5:\n    check('explicit sequence 0', solve([['seed', [1, 2, 7, 0]], [[0], 1, 7, 7, 'equal', 'keep', 'zero']], 8), [[1, 2, 7, 0, 1, 2, 7, 0]])\n    check('explicit sequence 1', solve([['seed', [5]], [[0, 1], 1, 3, 7, 'equal', 'zero', 'keep']], 8), [[0, 0, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 2', solve([['seed', [1]], [[0, 1], 2, 7, 7, 'less', 'replace', 'zero']], 8), [[2, 2, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 3', solve([['seed', [0]], [[0, 1], 4, 0, 7, 'equal', 'replace', 'keep']], 8), [[4, 4, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 4', solve([['seed', [7]], [[0, 1], 0, 7, 7, 'equal', 'keep', 'inc']], 8), [[7, 7, 7, 7, 7, 7, 7, 7]])\n    check('explicit sequence 5', solve([['seed', [0]], [[0, 1], 0, 7, 7, 'equal', 'dec', 'keep']], 8), [[0, 0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 6', solve([['seed', [3]], [[0, 1], 3, 7, 7, 'equal', 'invert', 'keep']], 8), [[4, 4, 3, 3, 3, 3, 3, 3]])\n    check('explicit sequence 7', solve([['seed', [6]], [[0, 1], 1, 7, 1, 'not', 'replace', 'zero']], 8), [[7, 7, 6, 6, 6, 6, 6, 6]])\n    check('explicit sequence 8', solve([['seed', [0]], [[], 0, 7, 7, 'equal', 'inc', 'keep']], 8), [[0, 0, 0, 0, 0, 0, 0, 0]])\n    check('explicit sequence 9', solve([['seed', [1]], [[0], 2, 7, 7, 'equal', 'zero', 'replace']], 8), [[2, 1, 1, 1, 1, 1, 1, 1]])\n    check('explicit sequence 10', solve([['seed', [1]], [[0, 2], 1, 7, 7, 'equal', 'zero', 'keep']], 8), [[0, 1, 0, 1, 1, 1, 1, 1]])\n    check('explicit sequence 11', solve([['seed', [2]], [[0], 2, 7, 7, 'less', 'zero', 'keep']], 8), [[2, 2, 2, 2, 2, 2, 2, 2]])\n    check('explicit sequence 12', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'keep', 'zero']], 8), [[5, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 13', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'inc', 'zero']], 8), [[6, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 14', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'dec', 'zero']], 8), [[4, 5, 5, 5, 5, 5, 5, 5]])\n    check('explicit sequence 15', solve([['seed', [5]], [[0], 1, 3, 7, 'equal', 'invert', 'zero']], 8), [[2, 5, 5, 5, 5, 5, 5, 5]])\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-stencil-clip-pass-coverage-gate","generated_at":"2026-09-29T14:45:10.602176+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 coverage gate. Finite integer stencil values use three low bits. A clip pass compares masked stored values to masked reference, then applies distinct pass/fail operations only inside the incoming coverage set. Write masking preserves unrelated bits. Supported operations keep, zero, replace, saturating increment/decrement and invert.","root_cause":"Stencil operations run on every sample whenever incoming coverage is nonempty.","sha256":"e8e55818b7d702970a9220f7e616feea629db81ecae89d21d56d9d5866122fc9","title":"Stencil clip pass: coverage gate · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.06,"exit_code":1,"observations":[{"actual":[[1,2,7,0]],"check":"explicit sequence 0","expected":[[1,2,7,0]],"passed":true},{"actual":[[0,0,5,5]],"check":"explicit sequence 1","expected":[[0,0,5,5]],"passed":true},{"actual":[[2,2,1,1]],"check":"explicit sequence 2","expected":[[2,2,1,1]],"passed":true},{"actual":[[4,4,0,0]],"check":"explicit sequence 3","expected":[[4,4,0,0]],"passed":true},{"actual":[[7,7,7,7]],"check":"explicit sequence 4","expected":[[7,7,7,7]],"passed":true},{"actual":[[0,0,0,0]],"check":"explicit sequence 5","expected":[[0,0,0,0]],"passed":true},{"actual":[[4,4,3,3]],"check":"explicit sequence 6","expected":[[4,4,3,3]],"passed":true},{"actual":[[7,7,6,6]],"check":"explicit sequence 7","expected":[[7,7,6,6]],"passed":true},{"actual":[[0,0,0,0]],"check":"explicit sequence 8","expected":[[0,0,0,0]],"passed":true},{"actual":[[2,1,1,1]],"check":"explicit sequence 9","expected":[[2,1,1,1]],"passed":true},{"actual":[[0,0,0,1]],"check":"explicit sequence 10","expected":[[0,1,0,1]],"passed":false},{"actual":[[2,2,2,2]],"check":"explicit sequence 11","expected":[[2,2,2,2]],"passed":true},{"actual":[[5,5,5,5]],"check":"explicit sequence 12","expected":[[5,5,5,5]],"passed":true},{"actual":[[6,5,5,5]],"check":"explicit sequence 13","expected":[[6,5,5,5]],"passed":true},{"actual":[[4,5,5,5]],"check":"explicit sequence 14","expected":[[4,5,5,5]],"passed":true},{"actual":[[2,5,5,5]],"check":"explicit sequence 15","expected":[[2,5,5,5]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[1, 2, 7, 0]], \"expected\": [[1, 2, 7, 0]], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [[0, 0, 5, 5]], \"expected\": [[0, 0, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [[2, 2, 1, 1]], \"expected\": [[2, 2, 1, 1]], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [[4, 4, 0, 0]], \"expected\": [[4, 4, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [[7, 7, 7, 7]], \"expected\": [[7, 7, 7, 7]], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 0, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [[4, 4, 3, 3]], \"expected\": [[4, 4, 3, 3]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[7, 7, 6, 6]], \"expected\": [[7, 7, 6, 6]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 0, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[2, 1, 1, 1]], \"expected\": [[2, 1, 1, 1]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[0, 0, 0, 1]], \"expected\": [[0, 1, 0, 1]], \"passed\": false}, {\"check\": \"explicit sequence 11\", \"actual\": [[2, 2, 2, 2]], \"expected\": [[2, 2, 2, 2]], \"passed\": true}, {\"check\": \"explicit sequence 12\", \"actual\": [[5, 5, 5, 5]], \"expected\": [[5, 5, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 13\", \"actual\": [[6, 5, 5, 5]], \"expected\": [[6, 5, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 14\", \"actual\": [[4, 5, 5, 5]], \"expected\": [[4, 5, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 15\", \"actual\": [[2, 5, 5, 5]], \"expected\": [[2, 5, 5, 5]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.467,"exit_code":1,"observations":[{"actual":[[1,0,0,0]],"check":"explicit sequence 0","expected":[[1,2,7,0]],"passed":false},{"actual":[[0,0,0,0]],"check":"explicit sequence 1","expected":[[0,0,5,5]],"passed":false},{"actual":[[2,2,2,2]],"check":"explicit sequence 2","expected":[[2,2,1,1]],"passed":false},{"actual":[[4,4,4,4]],"check":"explicit sequence 3","expected":[[4,4,0,0]],"passed":false},{"actual":[[7,7,7,7]],"check":"explicit sequence 4","expected":[[7,7,7,7]],"passed":true},{"actual":[[0,0,0,0]],"check":"explicit sequence 5","expected":[[0,0,0,0]],"passed":true},{"actual":[[4,4,4,4]],"check":"explicit sequence 6","expected":[[4,4,3,3]],"passed":false},{"actual":[[7,7,7,7]],"check":"explicit sequence 7","expected":[[7,7,6,6]],"passed":false},{"actual":[[0,0,0,0]],"check":"explicit sequence 8","expected":[[0,0,0,0]],"passed":true},{"actual":[[2,2,2,2]],"check":"explicit sequence 9","expected":[[2,1,1,1]],"passed":false},{"actual":[[0,0,0,0]],"check":"explicit sequence 10","expected":[[0,1,0,1]],"passed":false},{"actual":[[2,2,2,2]],"check":"explicit sequence 11","expected":[[2,2,2,2]],"passed":true},{"actual":[[5,5,5,5]],"check":"explicit sequence 12","expected":[[5,5,5,5]],"passed":true},{"actual":[[6,6,6,6]],"check":"explicit sequence 13","expected":[[6,5,5,5]],"passed":false},{"actual":[[4,4,4,4]],"check":"explicit sequence 14","expected":[[4,5,5,5]],"passed":false},{"actual":[[2,2,2,2]],"check":"explicit sequence 15","expected":[[2,5,5,5]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[1, 0, 0, 0]], \"expected\": [[1, 2, 7, 0]], \"passed\": false}, {\"check\": \"explicit sequence 1\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 0, 5, 5]], \"passed\": false}, {\"check\": \"explicit sequence 2\", \"actual\": [[2, 2, 2, 2]], \"expected\": [[2, 2, 1, 1]], \"passed\": false}, {\"check\": \"explicit sequence 3\", \"actual\": [[4, 4, 4, 4]], \"expected\": [[4, 4, 0, 0]], \"passed\": false}, {\"check\": \"explicit sequence 4\", \"actual\": [[7, 7, 7, 7]], \"expected\": [[7, 7, 7, 7]], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 0, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [[4, 4, 4, 4]], \"expected\": [[4, 4, 3, 3]], \"passed\": false}, {\"check\": \"explicit sequence 7\", \"actual\": [[7, 7, 7, 7]], \"expected\": [[7, 7, 6, 6]], \"passed\": false}, {\"check\": \"explicit sequence 8\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 0, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[2, 2, 2, 2]], \"expected\": [[2, 1, 1, 1]], \"passed\": false}, {\"check\": \"explicit sequence 10\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 1, 0, 1]], \"passed\": false}, {\"check\": \"explicit sequence 11\", \"actual\": [[2, 2, 2, 2]], \"expected\": [[2, 2, 2, 2]], \"passed\": true}, {\"check\": \"explicit sequence 12\", \"actual\": [[5, 5, 5, 5]], \"expected\": [[5, 5, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 13\", \"actual\": [[6, 6, 6, 6]], \"expected\": [[6, 5, 5, 5]], \"passed\": false}, {\"check\": \"explicit sequence 14\", \"actual\": [[4, 4, 4, 4]], \"expected\": [[4, 5, 5, 5]], \"passed\": false}, {\"check\": \"explicit sequence 15\", \"actual\": [[2, 2, 2, 2]], \"expected\": [[2, 5, 5, 5]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.375,"exit_code":0,"observations":[{"actual":[[1,2,7,0]],"check":"explicit sequence 0","expected":[[1,2,7,0]],"passed":true},{"actual":[[0,0,5,5]],"check":"explicit sequence 1","expected":[[0,0,5,5]],"passed":true},{"actual":[[2,2,1,1]],"check":"explicit sequence 2","expected":[[2,2,1,1]],"passed":true},{"actual":[[4,4,0,0]],"check":"explicit sequence 3","expected":[[4,4,0,0]],"passed":true},{"actual":[[7,7,7,7]],"check":"explicit sequence 4","expected":[[7,7,7,7]],"passed":true},{"actual":[[0,0,0,0]],"check":"explicit sequence 5","expected":[[0,0,0,0]],"passed":true},{"actual":[[4,4,3,3]],"check":"explicit sequence 6","expected":[[4,4,3,3]],"passed":true},{"actual":[[7,7,6,6]],"check":"explicit sequence 7","expected":[[7,7,6,6]],"passed":true},{"actual":[[0,0,0,0]],"check":"explicit sequence 8","expected":[[0,0,0,0]],"passed":true},{"actual":[[2,1,1,1]],"check":"explicit sequence 9","expected":[[2,1,1,1]],"passed":true},{"actual":[[0,1,0,1]],"check":"explicit sequence 10","expected":[[0,1,0,1]],"passed":true},{"actual":[[2,2,2,2]],"check":"explicit sequence 11","expected":[[2,2,2,2]],"passed":true},{"actual":[[5,5,5,5]],"check":"explicit sequence 12","expected":[[5,5,5,5]],"passed":true},{"actual":[[6,5,5,5]],"check":"explicit sequence 13","expected":[[6,5,5,5]],"passed":true},{"actual":[[4,5,5,5]],"check":"explicit sequence 14","expected":[[4,5,5,5]],"passed":true},{"actual":[[2,5,5,5]],"check":"explicit sequence 15","expected":[[2,5,5,5]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit sequence 0\", \"actual\": [[1, 2, 7, 0]], \"expected\": [[1, 2, 7, 0]], \"passed\": true}, {\"check\": \"explicit sequence 1\", \"actual\": [[0, 0, 5, 5]], \"expected\": [[0, 0, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 2\", \"actual\": [[2, 2, 1, 1]], \"expected\": [[2, 2, 1, 1]], \"passed\": true}, {\"check\": \"explicit sequence 3\", \"actual\": [[4, 4, 0, 0]], \"expected\": [[4, 4, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 4\", \"actual\": [[7, 7, 7, 7]], \"expected\": [[7, 7, 7, 7]], \"passed\": true}, {\"check\": \"explicit sequence 5\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 0, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 6\", \"actual\": [[4, 4, 3, 3]], \"expected\": [[4, 4, 3, 3]], \"passed\": true}, {\"check\": \"explicit sequence 7\", \"actual\": [[7, 7, 6, 6]], \"expected\": [[7, 7, 6, 6]], \"passed\": true}, {\"check\": \"explicit sequence 8\", \"actual\": [[0, 0, 0, 0]], \"expected\": [[0, 0, 0, 0]], \"passed\": true}, {\"check\": \"explicit sequence 9\", \"actual\": [[2, 1, 1, 1]], \"expected\": [[2, 1, 1, 1]], \"passed\": true}, {\"check\": \"explicit sequence 10\", \"actual\": [[0, 1, 0, 1]], \"expected\": [[0, 1, 0, 1]], \"passed\": true}, {\"check\": \"explicit sequence 11\", \"actual\": [[2, 2, 2, 2]], \"expected\": [[2, 2, 2, 2]], \"passed\": true}, {\"check\": \"explicit sequence 12\", \"actual\": [[5, 5, 5, 5]], \"expected\": [[5, 5, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 13\", \"actual\": [[6, 5, 5, 5]], \"expected\": [[6, 5, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 14\", \"actual\": [[4, 5, 5, 5]], \"expected\": [[4, 5, 5, 5]], \"passed\": true}, {\"check\": \"explicit sequence 15\", \"actual\": [[2, 5, 5, 5]], \"expected\": [[2, 5, 5, 5]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}