{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at row_bytes.","category":"Raster memory layout","checks":6,"contract":"A four-plane bitmap uses sixteen-bit words, most-significant-bit-first pixels, independent plane headers, and plane-major storage. Each row contains an extra sentinel word. Return word location and update mask without decoding colors. Return the named intermediate layout descriptor and final address fields; all quantities are integer byte offsets unless explicitly stated.","contract_signature":"p","evaluation_group":"s3-raster-memory-layout-bitplane-word-storage","failed_approach":"The attempted repair uses words*2 and still violates the layout contract.","family":"s3-raster-memory-layout-bitplane-word-storage-row-bytes","id":"FA-52351","implementations":{"attempt":{"sha256":"550b608498c72eb91a032406a1ee3596bb45b8c0b4b2d037b724b3e9fcbfeddc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    words = (p[\"w\"]+15)//16\n    row_words = words+1\n    row_bytes = words*2\n    plane_bytes = p[\"h\"]*row_bytes+4\n    plane_origin = p[\"base\"]+p[\"plane\"]*plane_bytes+4\n    word_column = p[\"x\"]//16\n    bit_index = 15-p[\"x\"]%16\n    mask = 1<<bit_index\n    address = plane_origin+p[\"y\"]*row_bytes+word_column*2\n    last_word_mask = ((1<<(p[\"w\"]%16))-1)<<(16-p[\"w\"]%16) if p[\"w\"]%16 else 65535\n    return {'words': words, 'row_words': row_words, 'row_bytes': row_bytes, 'plane_bytes': plane_bytes, 'plane_origin': plane_origin, 'word_column': word_column, 'bit_index': bit_index, 'mask': mask, 'address': address, 'last_word_mask': last_word_mask}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'w': 18, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 15, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 15, 'last_word_mask': 49152}), ({'w': 19, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 37, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 43, 'last_word_mask': 57344}), ({'w': 20, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 71, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 83, 'last_word_mask': 61440}), ({'w': 21, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 117, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 137, 'last_word_mask': 63488}), ({'w': 22, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 15, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 41, 'last_word_mask': 64512}), ({'w': 23, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 61, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 93, 'last_word_mask': 65024})], 2: [({'w': 19, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 26, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 26, 'last_word_mask': 57344}), ({'w': 20, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 48, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 54, 'last_word_mask': 61440}), ({'w': 21, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 82, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 94, 'last_word_mask': 63488}), ({'w': 22, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 128, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 148, 'last_word_mask': 64512}), ({'w': 23, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 26, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 52, 'last_word_mask': 65024}), ({'w': 24, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 72, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 104, 'last_word_mask': 65280})], 3: [({'w': 20, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 37, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 37, 'last_word_mask': 61440}), ({'w': 21, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 59, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 65, 'last_word_mask': 63488}), ({'w': 22, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 93, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 105, 'last_word_mask': 64512}), ({'w': 23, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 139, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 159, 'last_word_mask': 65024}), ({'w': 24, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 37, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 63, 'last_word_mask': 65280}), ({'w': 25, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 83, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 115, 'last_word_mask': 65408})], 4: [({'w': 21, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 48, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 48, 'last_word_mask': 63488}), ({'w': 22, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 70, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 76, 'last_word_mask': 64512}), ({'w': 23, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 104, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 116, 'last_word_mask': 65024}), ({'w': 24, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 150, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 170, 'last_word_mask': 65280}), ({'w': 25, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 48, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 74, 'last_word_mask': 65408}), ({'w': 26, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 94, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 126, 'last_word_mask': 65472})], 5: [({'w': 22, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 59, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 59, 'last_word_mask': 64512}), ({'w': 23, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 81, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 87, 'last_word_mask': 65024}), ({'w': 24, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 115, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 127, 'last_word_mask': 65280}), ({'w': 25, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 161, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 181, 'last_word_mask': 65408}), ({'w': 26, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 59, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 85, 'last_word_mask': 65472}), ({'w': 27, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 105, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 137, 'last_word_mask': 65504})]}\nfor i, (p, expected) in enumerate(cases[N]):\n    check(\"layout fixture \" + str(i + 1), solve(p), expected)\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":"0a6aa5878c146ce57259eb26176f4c9b88867c35846a3237f4c418b3a138b54e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    words = (p[\"w\"]+15)//16\n    row_words = words+1\n    row_bytes = row_words\n    plane_bytes = p[\"h\"]*row_bytes+4\n    plane_origin = p[\"base\"]+p[\"plane\"]*plane_bytes+4\n    word_column = p[\"x\"]//16\n    bit_index = 15-p[\"x\"]%16\n    mask = 1<<bit_index\n    address = plane_origin+p[\"y\"]*row_bytes+word_column*2\n    last_word_mask = ((1<<(p[\"w\"]%16))-1)<<(16-p[\"w\"]%16) if p[\"w\"]%16 else 65535\n    return {'words': words, 'row_words': row_words, 'row_bytes': row_bytes, 'plane_bytes': plane_bytes, 'plane_origin': plane_origin, 'word_column': word_column, 'bit_index': bit_index, 'mask': mask, 'address': address, 'last_word_mask': last_word_mask}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'w': 18, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 15, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 15, 'last_word_mask': 49152}), ({'w': 19, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 37, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 43, 'last_word_mask': 57344}), ({'w': 20, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 71, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 83, 'last_word_mask': 61440}), ({'w': 21, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 117, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 137, 'last_word_mask': 63488}), ({'w': 22, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 15, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 41, 'last_word_mask': 64512}), ({'w': 23, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 11}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 61, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 93, 'last_word_mask': 65024})], 2: [({'w': 19, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 26, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 26, 'last_word_mask': 57344}), ({'w': 20, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 48, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 54, 'last_word_mask': 61440}), ({'w': 21, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 82, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 94, 'last_word_mask': 63488}), ({'w': 22, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 128, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 148, 'last_word_mask': 64512}), ({'w': 23, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 26, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 52, 'last_word_mask': 65024}), ({'w': 24, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 22}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 72, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 104, 'last_word_mask': 65280})], 3: [({'w': 20, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 37, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 37, 'last_word_mask': 61440}), ({'w': 21, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 59, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 65, 'last_word_mask': 63488}), ({'w': 22, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 93, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 105, 'last_word_mask': 64512}), ({'w': 23, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 139, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 159, 'last_word_mask': 65024}), ({'w': 24, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 37, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 63, 'last_word_mask': 65280}), ({'w': 25, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 33}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 83, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 115, 'last_word_mask': 65408})], 4: [({'w': 21, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 48, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 48, 'last_word_mask': 63488}), ({'w': 22, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 70, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 76, 'last_word_mask': 64512}), ({'w': 23, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 104, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 116, 'last_word_mask': 65024}), ({'w': 24, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 150, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 170, 'last_word_mask': 65280}), ({'w': 25, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 48, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 74, 'last_word_mask': 65408}), ({'w': 26, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 44}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 94, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 126, 'last_word_mask': 65472})], 5: [({'w': 22, 'h': 2, 'x': 0, 'y': 0, 'plane': 0, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 16, 'plane_origin': 59, 'word_column': 0, 'bit_index': 15, 'mask': 32768, 'address': 59, 'last_word_mask': 64512}), ({'w': 23, 'h': 3, 'x': 1, 'y': 1, 'plane': 1, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 22, 'plane_origin': 81, 'word_column': 0, 'bit_index': 14, 'mask': 16384, 'address': 87, 'last_word_mask': 65024}), ({'w': 24, 'h': 4, 'x': 15, 'y': 2, 'plane': 2, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 28, 'plane_origin': 115, 'word_column': 0, 'bit_index': 0, 'mask': 1, 'address': 127, 'last_word_mask': 65280}), ({'w': 25, 'h': 5, 'x': 16, 'y': 3, 'plane': 3, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 34, 'plane_origin': 161, 'word_column': 1, 'bit_index': 15, 'mask': 32768, 'address': 181, 'last_word_mask': 65408}), ({'w': 26, 'h': 6, 'x': 17, 'y': 4, 'plane': 0, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 40, 'plane_origin': 59, 'word_column': 1, 'bit_index': 14, 'mask': 16384, 'address': 85, 'last_word_mask': 65472}), ({'w': 27, 'h': 7, 'x': 18, 'y': 5, 'plane': 1, 'base': 55}, {'words': 2, 'row_words': 3, 'row_bytes': 6, 'plane_bytes': 46, 'plane_origin': 105, 'word_column': 1, 'bit_index': 13, 'mask': 8192, 'address': 137, 'last_word_mask': 65504})]}\nfor i, (p, expected) in enumerate(cases[N]):\n    check(\"layout fixture \" + str(i + 1), solve(p), expected)\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":"Stipulated deterministic toy buffer layout; not a graphics API, codec, GPU vendor tiling specification, or hardware-conformance claim. Inputs satisfy the dimensions and bounds stated by the model. 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-memory-layout-bitplane-word-storage-row-bytes","generated_at":"2026-09-29T14:45:28.420523+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline raster resource, upload, readback, and storage-layout regression model.","root_cause":"Bitplane row-byte conversion loses word width or sentinel The faulty expression is row_words.","sha256":"f28f2931dd7567ccd2f9dcfa16cf39d67488384ea2e93bbc5bb2e0759623cd32","title":"Bitplane Word Storage: Bitplane row-byte conversion loses word width or sentinel · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":49.911,"exit_code":1,"observations":[{"actual":{"address":15,"bit_index":15,"last_word_mask":49152,"mask":32768,"plane_bytes":12,"plane_origin":15,"row_bytes":4,"row_words":3,"word_column":0,"words":2},"check":"layout fixture 1","expected":{"address":15,"bit_index":15,"last_word_mask":49152,"mask":32768,"plane_bytes":16,"plane_origin":15,"row_bytes":6,"row_words":3,"word_column":0,"words":2},"passed":false},{"actual":{"address":35,"bit_index":14,"last_word_mask":57344,"mask":16384,"plane_bytes":16,"plane_origin":31,"row_bytes":4,"row_words":3,"word_column":0,"words":2},"check":"layout fixture 2","expected":{"address":43,"bit_index":14,"last_word_mask":57344,"mask":16384,"plane_bytes":22,"plane_origin":37,"row_bytes":6,"row_words":3,"word_column":0,"words":2},"passed":false},{"actual":{"address":63,"bit_index":0,"last_word_mask":61440,"mask":1,"plane_bytes":20,"plane_origin":55,"row_bytes":4,"row_words":3,"word_column":0,"words":2},"check":"layout fixture 3","expected":{"address":83,"bit_index":0,"last_word_mask":61440,"mask":1,"plane_bytes":28,"plane_origin":71,"row_bytes":6,"row_words":3,"word_column":0,"words":2},"passed":false},{"actual":{"address":101,"bit_index":15,"last_word_mask":63488,"mask":32768,"plane_bytes":24,"plane_origin":87,"row_bytes":4,"row_words":3,"word_column":1,"words":2},"check":"layout fixture 4","expected":{"address":137,"bit_index":15,"last_word_mask":63488,"mask":32768,"plane_bytes":34,"plane_origin":117,"row_bytes":6,"row_words":3,"word_column":1,"words":2},"passed":false},{"actual":{"address":33,"bit_index":14,"last_word_mask":64512,"mask":16384,"plane_bytes":28,"plane_origin":15,"row_bytes":4,"row_words":3,"word_column":1,"words":2},"check":"layout fixture 5","expected":{"address":41,"bit_index":14,"last_word_mask":64512,"mask":16384,"plane_bytes":40,"plane_origin":15,"row_bytes":6,"row_words":3,"word_column":1,"words":2},"passed":false},{"actual":{"address":69,"bit_index":13,"last_word_mask":65024,"mask":8192,"plane_bytes":32,"plane_origin":47,"row_bytes":4,"row_words":3,"word_column":1,"words":2},"check":"layout fixture 6","expected":{"address":93,"bit_index":13,"last_word_mask":65024,"mask":8192,"plane_bytes":46,"plane_origin":61,"row_bytes":6,"row_words":3,"word_column":1,"words":2},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 4, \"plane_bytes\": 12, \"plane_origin\": 15, \"word_column\": 0, \"bit_index\": 15, \"mask\": 32768, \"address\": 15, \"last_word_mask\": 49152}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 16, \"plane_origin\": 15, \"word_column\": 0, \"bit_index\": 15, \"mask\": 32768, \"address\": 15, \"last_word_mask\": 49152}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 4, \"plane_bytes\": 16, \"plane_origin\": 31, \"word_column\": 0, \"bit_index\": 14, \"mask\": 16384, \"address\": 35, \"last_word_mask\": 57344}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 22, \"plane_origin\": 37, \"word_column\": 0, \"bit_index\": 14, \"mask\": 16384, \"address\": 43, \"last_word_mask\": 57344}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 4, \"plane_bytes\": 20, \"plane_origin\": 55, \"word_column\": 0, \"bit_index\": 0, \"mask\": 1, \"address\": 63, \"last_word_mask\": 61440}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 28, \"plane_origin\": 71, \"word_column\": 0, \"bit_index\": 0, \"mask\": 1, \"address\": 83, \"last_word_mask\": 61440}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 4, \"plane_bytes\": 24, \"plane_origin\": 87, \"word_column\": 1, \"bit_index\": 15, \"mask\": 32768, \"address\": 101, \"last_word_mask\": 63488}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 34, \"plane_origin\": 117, \"word_column\": 1, \"bit_index\": 15, \"mask\": 32768, \"address\": 137, \"last_word_mask\": 63488}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 4, \"plane_bytes\": 28, \"plane_origin\": 15, \"word_column\": 1, \"bit_index\": 14, \"mask\": 16384, \"address\": 33, \"last_word_mask\": 64512}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 40, \"plane_origin\": 15, \"word_column\": 1, \"bit_index\": 14, \"mask\": 16384, \"address\": 41, \"last_word_mask\": 64512}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 4, \"plane_bytes\": 32, \"plane_origin\": 47, \"word_column\": 1, \"bit_index\": 13, \"mask\": 8192, \"address\": 69, \"last_word_mask\": 65024}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 46, \"plane_origin\": 61, \"word_column\": 1, \"bit_index\": 13, \"mask\": 8192, \"address\": 93, \"last_word_mask\": 65024}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.478,"exit_code":1,"observations":[{"actual":{"address":15,"bit_index":15,"last_word_mask":49152,"mask":32768,"plane_bytes":10,"plane_origin":15,"row_bytes":3,"row_words":3,"word_column":0,"words":2},"check":"layout fixture 1","expected":{"address":15,"bit_index":15,"last_word_mask":49152,"mask":32768,"plane_bytes":16,"plane_origin":15,"row_bytes":6,"row_words":3,"word_column":0,"words":2},"passed":false},{"actual":{"address":31,"bit_index":14,"last_word_mask":57344,"mask":16384,"plane_bytes":13,"plane_origin":28,"row_bytes":3,"row_words":3,"word_column":0,"words":2},"check":"layout fixture 2","expected":{"address":43,"bit_index":14,"last_word_mask":57344,"mask":16384,"plane_bytes":22,"plane_origin":37,"row_bytes":6,"row_words":3,"word_column":0,"words":2},"passed":false},{"actual":{"address":53,"bit_index":0,"last_word_mask":61440,"mask":1,"plane_bytes":16,"plane_origin":47,"row_bytes":3,"row_words":3,"word_column":0,"words":2},"check":"layout fixture 3","expected":{"address":83,"bit_index":0,"last_word_mask":61440,"mask":1,"plane_bytes":28,"plane_origin":71,"row_bytes":6,"row_words":3,"word_column":0,"words":2},"passed":false},{"actual":{"address":83,"bit_index":15,"last_word_mask":63488,"mask":32768,"plane_bytes":19,"plane_origin":72,"row_bytes":3,"row_words":3,"word_column":1,"words":2},"check":"layout fixture 4","expected":{"address":137,"bit_index":15,"last_word_mask":63488,"mask":32768,"plane_bytes":34,"plane_origin":117,"row_bytes":6,"row_words":3,"word_column":1,"words":2},"passed":false},{"actual":{"address":29,"bit_index":14,"last_word_mask":64512,"mask":16384,"plane_bytes":22,"plane_origin":15,"row_bytes":3,"row_words":3,"word_column":1,"words":2},"check":"layout fixture 5","expected":{"address":41,"bit_index":14,"last_word_mask":64512,"mask":16384,"plane_bytes":40,"plane_origin":15,"row_bytes":6,"row_words":3,"word_column":1,"words":2},"passed":false},{"actual":{"address":57,"bit_index":13,"last_word_mask":65024,"mask":8192,"plane_bytes":25,"plane_origin":40,"row_bytes":3,"row_words":3,"word_column":1,"words":2},"check":"layout fixture 6","expected":{"address":93,"bit_index":13,"last_word_mask":65024,"mask":8192,"plane_bytes":46,"plane_origin":61,"row_bytes":6,"row_words":3,"word_column":1,"words":2},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 3, \"plane_bytes\": 10, \"plane_origin\": 15, \"word_column\": 0, \"bit_index\": 15, \"mask\": 32768, \"address\": 15, \"last_word_mask\": 49152}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 16, \"plane_origin\": 15, \"word_column\": 0, \"bit_index\": 15, \"mask\": 32768, \"address\": 15, \"last_word_mask\": 49152}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 3, \"plane_bytes\": 13, \"plane_origin\": 28, \"word_column\": 0, \"bit_index\": 14, \"mask\": 16384, \"address\": 31, \"last_word_mask\": 57344}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 22, \"plane_origin\": 37, \"word_column\": 0, \"bit_index\": 14, \"mask\": 16384, \"address\": 43, \"last_word_mask\": 57344}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 3, \"plane_bytes\": 16, \"plane_origin\": 47, \"word_column\": 0, \"bit_index\": 0, \"mask\": 1, \"address\": 53, \"last_word_mask\": 61440}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 28, \"plane_origin\": 71, \"word_column\": 0, \"bit_index\": 0, \"mask\": 1, \"address\": 83, \"last_word_mask\": 61440}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 3, \"plane_bytes\": 19, \"plane_origin\": 72, \"word_column\": 1, \"bit_index\": 15, \"mask\": 32768, \"address\": 83, \"last_word_mask\": 63488}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 34, \"plane_origin\": 117, \"word_column\": 1, \"bit_index\": 15, \"mask\": 32768, \"address\": 137, \"last_word_mask\": 63488}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 3, \"plane_bytes\": 22, \"plane_origin\": 15, \"word_column\": 1, \"bit_index\": 14, \"mask\": 16384, \"address\": 29, \"last_word_mask\": 64512}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 40, \"plane_origin\": 15, \"word_column\": 1, \"bit_index\": 14, \"mask\": 16384, \"address\": 41, \"last_word_mask\": 64512}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 3, \"plane_bytes\": 25, \"plane_origin\": 40, \"word_column\": 1, \"bit_index\": 13, \"mask\": 8192, \"address\": 57, \"last_word_mask\": 65024}, \"expected\": {\"words\": 2, \"row_words\": 3, \"row_bytes\": 6, \"plane_bytes\": 46, \"plane_origin\": 61, \"word_column\": 1, \"bit_index\": 13, \"mask\": 8192, \"address\": 93, \"last_word_mask\": 65024}, \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}