{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at block_size.","category":"Raster memory layout","checks":6,"contract":"A stipulated 4x3 block format stores 5 endpoint bytes followed by twelve one-byte texel selectors. Block rows are padded to a multiple of three blocks; selector lookup never decodes 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-compressed-block-payload","failed_approach":"The attempted repair uses 12 and still violates the layout contract.","family":"s3-raster-memory-layout-compressed-block-payload-block-size","id":"FA-52006","implementations":{"attempt":{"sha256":"9c5a7f18d752edfc7ad79ca9248b2df0f336e28d9cdb0b2812a435a76474672f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    block_columns = (p[\"w\"]+3)//4\n    block_rows = (p[\"h\"]+2)//3\n    padded_columns = ((block_columns+2)//3)*3\n    block_size = 12\n    row_pitch = padded_columns*block_size\n    block_start = p[\"base\"]+(p[\"y\"]//3)*row_pitch+(p[\"x\"]//4)*block_size\n    selector_id = (p[\"y\"]%3)*4+p[\"x\"]%4\n    selector_address = block_start+p[\"endpoints\"]+selector_id\n    allocation = row_pitch*block_rows\n    block_valid_texels = min(4,p[\"w\"]-(p[\"x\"]//4)*4)*min(3,p[\"h\"]-(p[\"y\"]//3)*3)\n    return {'block_columns': block_columns, 'block_rows': block_rows, 'padded_columns': padded_columns, 'block_size': block_size, 'row_pitch': row_pitch, 'block_start': block_start, 'selector_id': selector_id, 'selector_address': selector_address, 'allocation': allocation, 'block_valid_texels': block_valid_texels}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 11, 'selector_id': 0, 'selector_address': 16, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 2, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 11, 'selector_id': 9, 'selector_address': 25, 'allocation': 102, 'block_valid_texels': 12}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 147, 'selector_id': 0, 'selector_address': 152, 'allocation': 153, 'block_valid_texels': 4}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 266, 'selector_id': 7, 'selector_address': 278, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 5, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 283, 'selector_id': 8, 'selector_address': 296, 'allocation': 408, 'block_valid_texels': 6}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 215, 'selector_id': 3, 'selector_address': 223, 'allocation': 255, 'block_valid_texels': 4})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 22, 'selector_id': 0, 'selector_address': 27, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 2, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 22, 'selector_id': 9, 'selector_address': 36, 'allocation': 102, 'block_valid_texels': 12}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 158, 'selector_id': 0, 'selector_address': 163, 'allocation': 153, 'block_valid_texels': 9}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 277, 'selector_id': 7, 'selector_address': 289, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 5, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 294, 'selector_id': 8, 'selector_address': 307, 'allocation': 408, 'block_valid_texels': 9}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 226, 'selector_id': 3, 'selector_address': 234, 'allocation': 255, 'block_valid_texels': 4})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 33, 'selector_id': 0, 'selector_address': 38, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 2, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 33, 'selector_id': 9, 'selector_address': 47, 'allocation': 102, 'block_valid_texels': 12}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 4, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 169, 'selector_id': 0, 'selector_address': 174, 'allocation': 204, 'block_valid_texels': 12}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 288, 'selector_id': 7, 'selector_address': 300, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 5, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 305, 'selector_id': 8, 'selector_address': 318, 'allocation': 408, 'block_valid_texels': 12}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 237, 'selector_id': 3, 'selector_address': 245, 'allocation': 255, 'block_valid_texels': 4})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 44, 'selector_id': 0, 'selector_address': 49, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 44, 'selector_id': 9, 'selector_address': 58, 'allocation': 153, 'block_valid_texels': 12}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 282, 'selector_id': 0, 'selector_address': 287, 'allocation': 408, 'block_valid_texels': 12}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 299, 'selector_id': 7, 'selector_address': 311, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 6, 'block_rows': 5, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 316, 'selector_id': 8, 'selector_address': 329, 'allocation': 510, 'block_valid_texels': 12}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 248, 'selector_id': 3, 'selector_address': 256, 'allocation': 255, 'block_valid_texels': 4})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 55, 'selector_id': 0, 'selector_address': 60, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 55, 'selector_id': 9, 'selector_address': 69, 'allocation': 153, 'block_valid_texels': 12}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 293, 'selector_id': 0, 'selector_address': 298, 'allocation': 408, 'block_valid_texels': 12}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 310, 'selector_id': 7, 'selector_address': 322, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 6, 'block_rows': 5, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 327, 'selector_id': 8, 'selector_address': 340, 'allocation': 510, 'block_valid_texels': 12}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 259, 'selector_id': 3, 'selector_address': 267, 'allocation': 255, 'block_valid_texels': 4})]}\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":"ab51f15092e38dc70dfb8d472e67f988a7d3c0df729c1a9fa8ddc8aa6379968e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    block_columns = (p[\"w\"]+3)//4\n    block_rows = (p[\"h\"]+2)//3\n    padded_columns = ((block_columns+2)//3)*3\n    block_size = p[\"endpoints\"]*12\n    row_pitch = padded_columns*block_size\n    block_start = p[\"base\"]+(p[\"y\"]//3)*row_pitch+(p[\"x\"]//4)*block_size\n    selector_id = (p[\"y\"]%3)*4+p[\"x\"]%4\n    selector_address = block_start+p[\"endpoints\"]+selector_id\n    allocation = row_pitch*block_rows\n    block_valid_texels = min(4,p[\"w\"]-(p[\"x\"]//4)*4)*min(3,p[\"h\"]-(p[\"y\"]//3)*3)\n    return {'block_columns': block_columns, 'block_rows': block_rows, 'padded_columns': padded_columns, 'block_size': block_size, 'row_pitch': row_pitch, 'block_start': block_start, 'selector_id': selector_id, 'selector_address': selector_address, 'allocation': allocation, 'block_valid_texels': block_valid_texels}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 11, 'selector_id': 0, 'selector_address': 16, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 2, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 11, 'selector_id': 9, 'selector_address': 25, 'allocation': 102, 'block_valid_texels': 12}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 147, 'selector_id': 0, 'selector_address': 152, 'allocation': 153, 'block_valid_texels': 4}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 266, 'selector_id': 7, 'selector_address': 278, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 5, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 283, 'selector_id': 8, 'selector_address': 296, 'allocation': 408, 'block_valid_texels': 6}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 215, 'selector_id': 3, 'selector_address': 223, 'allocation': 255, 'block_valid_texels': 4})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 22, 'selector_id': 0, 'selector_address': 27, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 2, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 22, 'selector_id': 9, 'selector_address': 36, 'allocation': 102, 'block_valid_texels': 12}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 158, 'selector_id': 0, 'selector_address': 163, 'allocation': 153, 'block_valid_texels': 9}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 277, 'selector_id': 7, 'selector_address': 289, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 5, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 294, 'selector_id': 8, 'selector_address': 307, 'allocation': 408, 'block_valid_texels': 9}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 226, 'selector_id': 3, 'selector_address': 234, 'allocation': 255, 'block_valid_texels': 4})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 33, 'selector_id': 0, 'selector_address': 38, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 2, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 33, 'selector_id': 9, 'selector_address': 47, 'allocation': 102, 'block_valid_texels': 12}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 4, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 169, 'selector_id': 0, 'selector_address': 174, 'allocation': 204, 'block_valid_texels': 12}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 288, 'selector_id': 7, 'selector_address': 300, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 5, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 305, 'selector_id': 8, 'selector_address': 318, 'allocation': 408, 'block_valid_texels': 12}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 237, 'selector_id': 3, 'selector_address': 245, 'allocation': 255, 'block_valid_texels': 4})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 44, 'selector_id': 0, 'selector_address': 49, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 44, 'selector_id': 9, 'selector_address': 58, 'allocation': 153, 'block_valid_texels': 12}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 282, 'selector_id': 0, 'selector_address': 287, 'allocation': 408, 'block_valid_texels': 12}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 299, 'selector_id': 7, 'selector_address': 311, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 6, 'block_rows': 5, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 316, 'selector_id': 8, 'selector_address': 329, 'allocation': 510, 'block_valid_texels': 12}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 248, 'selector_id': 3, 'selector_address': 256, 'allocation': 255, 'block_valid_texels': 4})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 1, 'block_rows': 1, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 55, 'selector_id': 0, 'selector_address': 60, 'allocation': 51, 'block_valid_texels': 1}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 3, 'block_rows': 3, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 55, 'selector_id': 9, 'selector_address': 69, 'allocation': 153, 'block_valid_texels': 12}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 4, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 293, 'selector_id': 0, 'selector_address': 298, 'allocation': 408, 'block_valid_texels': 12}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 4, 'block_rows': 3, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 310, 'selector_id': 7, 'selector_address': 322, 'allocation': 306, 'block_valid_texels': 8}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 6, 'block_rows': 5, 'padded_columns': 6, 'block_size': 17, 'row_pitch': 102, 'block_start': 327, 'selector_id': 8, 'selector_address': 340, 'allocation': 510, 'block_valid_texels': 12}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'endpoints': 5}, {'block_columns': 2, 'block_rows': 5, 'padded_columns': 3, 'block_size': 17, 'row_pitch': 51, 'block_start': 259, 'selector_id': 3, 'selector_address': 267, 'allocation': 255, 'block_valid_texels': 4})]}\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-compressed-block-payload-block-size","generated_at":"2026-09-29T14:45:24.987356+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":"Endpoint and selector segments are multiplied or prefix dropped The faulty expression is p[\"endpoints\"]*12.","sha256":"caacff49ce3c6ccaf1e0a0a3a8ccde1d87f72e610ec1b9994dd07397df0275bf","title":"Compressed Block Payload: Endpoint and selector segments are multiplied or prefix dropped · 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":48.375,"exit_code":1,"observations":[{"actual":{"allocation":36,"block_columns":1,"block_rows":1,"block_size":12,"block_start":11,"block_valid_texels":1,"padded_columns":3,"row_pitch":36,"selector_address":16,"selector_id":0},"check":"layout fixture 1","expected":{"allocation":51,"block_columns":1,"block_rows":1,"block_size":17,"block_start":11,"block_valid_texels":1,"padded_columns":3,"row_pitch":51,"selector_address":16,"selector_id":0},"passed":false},{"actual":{"allocation":72,"block_columns":2,"block_rows":2,"block_size":12,"block_start":11,"block_valid_texels":12,"padded_columns":3,"row_pitch":36,"selector_address":25,"selector_id":9},"check":"layout fixture 2","expected":{"allocation":102,"block_columns":2,"block_rows":2,"block_size":17,"block_start":11,"block_valid_texels":12,"padded_columns":3,"row_pitch":51,"selector_address":25,"selector_id":9},"passed":false},{"actual":{"allocation":108,"block_columns":3,"block_rows":3,"block_size":12,"block_start":107,"block_valid_texels":4,"padded_columns":3,"row_pitch":36,"selector_address":112,"selector_id":0},"check":"layout fixture 3","expected":{"allocation":153,"block_columns":3,"block_rows":3,"block_size":17,"block_start":147,"block_valid_texels":4,"padded_columns":3,"row_pitch":51,"selector_address":152,"selector_id":0},"passed":false},{"actual":{"allocation":216,"block_columns":4,"block_rows":3,"block_size":12,"block_start":191,"block_valid_texels":8,"padded_columns":6,"row_pitch":72,"selector_address":203,"selector_id":7},"check":"layout fixture 4","expected":{"allocation":306,"block_columns":4,"block_rows":3,"block_size":17,"block_start":266,"block_valid_texels":8,"padded_columns":6,"row_pitch":102,"selector_address":278,"selector_id":7},"passed":false},{"actual":{"allocation":288,"block_columns":5,"block_rows":4,"block_size":12,"block_start":203,"block_valid_texels":6,"padded_columns":6,"row_pitch":72,"selector_address":216,"selector_id":8},"check":"layout fixture 5","expected":{"allocation":408,"block_columns":5,"block_rows":4,"block_size":17,"block_start":283,"block_valid_texels":6,"padded_columns":6,"row_pitch":102,"selector_address":296,"selector_id":8},"passed":false},{"actual":{"allocation":180,"block_columns":2,"block_rows":5,"block_size":12,"block_start":155,"block_valid_texels":4,"padded_columns":3,"row_pitch":36,"selector_address":163,"selector_id":3},"check":"layout fixture 6","expected":{"allocation":255,"block_columns":2,"block_rows":5,"block_size":17,"block_start":215,"block_valid_texels":4,"padded_columns":3,"row_pitch":51,"selector_address":223,"selector_id":3},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"block_columns\": 1, \"block_rows\": 1, \"padded_columns\": 3, \"block_size\": 12, \"row_pitch\": 36, \"block_start\": 11, \"selector_id\": 0, \"selector_address\": 16, \"allocation\": 36, \"block_valid_texels\": 1}, \"expected\": {\"block_columns\": 1, \"block_rows\": 1, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 11, \"selector_id\": 0, \"selector_address\": 16, \"allocation\": 51, \"block_valid_texels\": 1}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"block_columns\": 2, \"block_rows\": 2, \"padded_columns\": 3, \"block_size\": 12, \"row_pitch\": 36, \"block_start\": 11, \"selector_id\": 9, \"selector_address\": 25, \"allocation\": 72, \"block_valid_texels\": 12}, \"expected\": {\"block_columns\": 2, \"block_rows\": 2, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 11, \"selector_id\": 9, \"selector_address\": 25, \"allocation\": 102, \"block_valid_texels\": 12}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"block_columns\": 3, \"block_rows\": 3, \"padded_columns\": 3, \"block_size\": 12, \"row_pitch\": 36, \"block_start\": 107, \"selector_id\": 0, \"selector_address\": 112, \"allocation\": 108, \"block_valid_texels\": 4}, \"expected\": {\"block_columns\": 3, \"block_rows\": 3, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 147, \"selector_id\": 0, \"selector_address\": 152, \"allocation\": 153, \"block_valid_texels\": 4}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"block_columns\": 4, \"block_rows\": 3, \"padded_columns\": 6, \"block_size\": 12, \"row_pitch\": 72, \"block_start\": 191, \"selector_id\": 7, \"selector_address\": 203, \"allocation\": 216, \"block_valid_texels\": 8}, \"expected\": {\"block_columns\": 4, \"block_rows\": 3, \"padded_columns\": 6, \"block_size\": 17, \"row_pitch\": 102, \"block_start\": 266, \"selector_id\": 7, \"selector_address\": 278, \"allocation\": 306, \"block_valid_texels\": 8}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"block_columns\": 5, \"block_rows\": 4, \"padded_columns\": 6, \"block_size\": 12, \"row_pitch\": 72, \"block_start\": 203, \"selector_id\": 8, \"selector_address\": 216, \"allocation\": 288, \"block_valid_texels\": 6}, \"expected\": {\"block_columns\": 5, \"block_rows\": 4, \"padded_columns\": 6, \"block_size\": 17, \"row_pitch\": 102, \"block_start\": 283, \"selector_id\": 8, \"selector_address\": 296, \"allocation\": 408, \"block_valid_texels\": 6}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"block_columns\": 2, \"block_rows\": 5, \"padded_columns\": 3, \"block_size\": 12, \"row_pitch\": 36, \"block_start\": 155, \"selector_id\": 3, \"selector_address\": 163, \"allocation\": 180, \"block_valid_texels\": 4}, \"expected\": {\"block_columns\": 2, \"block_rows\": 5, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 215, \"selector_id\": 3, \"selector_address\": 223, \"allocation\": 255, \"block_valid_texels\": 4}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.344,"exit_code":1,"observations":[{"actual":{"allocation":180,"block_columns":1,"block_rows":1,"block_size":60,"block_start":11,"block_valid_texels":1,"padded_columns":3,"row_pitch":180,"selector_address":16,"selector_id":0},"check":"layout fixture 1","expected":{"allocation":51,"block_columns":1,"block_rows":1,"block_size":17,"block_start":11,"block_valid_texels":1,"padded_columns":3,"row_pitch":51,"selector_address":16,"selector_id":0},"passed":false},{"actual":{"allocation":360,"block_columns":2,"block_rows":2,"block_size":60,"block_start":11,"block_valid_texels":12,"padded_columns":3,"row_pitch":180,"selector_address":25,"selector_id":9},"check":"layout fixture 2","expected":{"allocation":102,"block_columns":2,"block_rows":2,"block_size":17,"block_start":11,"block_valid_texels":12,"padded_columns":3,"row_pitch":51,"selector_address":25,"selector_id":9},"passed":false},{"actual":{"allocation":540,"block_columns":3,"block_rows":3,"block_size":60,"block_start":491,"block_valid_texels":4,"padded_columns":3,"row_pitch":180,"selector_address":496,"selector_id":0},"check":"layout fixture 3","expected":{"allocation":153,"block_columns":3,"block_rows":3,"block_size":17,"block_start":147,"block_valid_texels":4,"padded_columns":3,"row_pitch":51,"selector_address":152,"selector_id":0},"passed":false},{"actual":{"allocation":1080,"block_columns":4,"block_rows":3,"block_size":60,"block_start":911,"block_valid_texels":8,"padded_columns":6,"row_pitch":360,"selector_address":923,"selector_id":7},"check":"layout fixture 4","expected":{"allocation":306,"block_columns":4,"block_rows":3,"block_size":17,"block_start":266,"block_valid_texels":8,"padded_columns":6,"row_pitch":102,"selector_address":278,"selector_id":7},"passed":false},{"actual":{"allocation":1440,"block_columns":5,"block_rows":4,"block_size":60,"block_start":971,"block_valid_texels":6,"padded_columns":6,"row_pitch":360,"selector_address":984,"selector_id":8},"check":"layout fixture 5","expected":{"allocation":408,"block_columns":5,"block_rows":4,"block_size":17,"block_start":283,"block_valid_texels":6,"padded_columns":6,"row_pitch":102,"selector_address":296,"selector_id":8},"passed":false},{"actual":{"allocation":900,"block_columns":2,"block_rows":5,"block_size":60,"block_start":731,"block_valid_texels":4,"padded_columns":3,"row_pitch":180,"selector_address":739,"selector_id":3},"check":"layout fixture 6","expected":{"allocation":255,"block_columns":2,"block_rows":5,"block_size":17,"block_start":215,"block_valid_texels":4,"padded_columns":3,"row_pitch":51,"selector_address":223,"selector_id":3},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"block_columns\": 1, \"block_rows\": 1, \"padded_columns\": 3, \"block_size\": 60, \"row_pitch\": 180, \"block_start\": 11, \"selector_id\": 0, \"selector_address\": 16, \"allocation\": 180, \"block_valid_texels\": 1}, \"expected\": {\"block_columns\": 1, \"block_rows\": 1, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 11, \"selector_id\": 0, \"selector_address\": 16, \"allocation\": 51, \"block_valid_texels\": 1}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"block_columns\": 2, \"block_rows\": 2, \"padded_columns\": 3, \"block_size\": 60, \"row_pitch\": 180, \"block_start\": 11, \"selector_id\": 9, \"selector_address\": 25, \"allocation\": 360, \"block_valid_texels\": 12}, \"expected\": {\"block_columns\": 2, \"block_rows\": 2, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 11, \"selector_id\": 9, \"selector_address\": 25, \"allocation\": 102, \"block_valid_texels\": 12}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"block_columns\": 3, \"block_rows\": 3, \"padded_columns\": 3, \"block_size\": 60, \"row_pitch\": 180, \"block_start\": 491, \"selector_id\": 0, \"selector_address\": 496, \"allocation\": 540, \"block_valid_texels\": 4}, \"expected\": {\"block_columns\": 3, \"block_rows\": 3, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 147, \"selector_id\": 0, \"selector_address\": 152, \"allocation\": 153, \"block_valid_texels\": 4}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"block_columns\": 4, \"block_rows\": 3, \"padded_columns\": 6, \"block_size\": 60, \"row_pitch\": 360, \"block_start\": 911, \"selector_id\": 7, \"selector_address\": 923, \"allocation\": 1080, \"block_valid_texels\": 8}, \"expected\": {\"block_columns\": 4, \"block_rows\": 3, \"padded_columns\": 6, \"block_size\": 17, \"row_pitch\": 102, \"block_start\": 266, \"selector_id\": 7, \"selector_address\": 278, \"allocation\": 306, \"block_valid_texels\": 8}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"block_columns\": 5, \"block_rows\": 4, \"padded_columns\": 6, \"block_size\": 60, \"row_pitch\": 360, \"block_start\": 971, \"selector_id\": 8, \"selector_address\": 984, \"allocation\": 1440, \"block_valid_texels\": 6}, \"expected\": {\"block_columns\": 5, \"block_rows\": 4, \"padded_columns\": 6, \"block_size\": 17, \"row_pitch\": 102, \"block_start\": 283, \"selector_id\": 8, \"selector_address\": 296, \"allocation\": 408, \"block_valid_texels\": 6}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"block_columns\": 2, \"block_rows\": 5, \"padded_columns\": 3, \"block_size\": 60, \"row_pitch\": 180, \"block_start\": 731, \"selector_id\": 3, \"selector_address\": 739, \"allocation\": 900, \"block_valid_texels\": 4}, \"expected\": {\"block_columns\": 2, \"block_rows\": 5, \"padded_columns\": 3, \"block_size\": 17, \"row_pitch\": 51, \"block_start\": 215, \"selector_id\": 3, \"selector_address\": 223, \"allocation\": 255, \"block_valid_texels\": 4}, \"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."}}