{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at lane.","category":"Raster memory layout","checks":6,"contract":"A toy 4-sample image stores samples in lane order [2,0,3,1]. Two adjacent pixels share a bank record with a three-byte bank tag; rows contain complete banks even for odd width. Return the named intermediate layout descriptor and final address fields; all quantities are integer byte offsets unless explicitly stated.","evaluation_group":"s3-raster-memory-layout-pixel-interleaved-sample-banks","failed_approach":"The attempted repair uses [2,0,3,1][p[\"sample\"]] and still violates the layout contract.","family":"s3-raster-memory-layout-pixel-interleaved-sample-banks-lane","id":"FA-52496","implementations":{"attempt":{"sha256":"d7ea3a8d88dfe74f497acb2d2270b67d62ecf1e43e97f96716bee9bdc02597dd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    bank_columns = (p[\"w\"]+1)//2\n    lane = [2,0,3,1][p[\"sample\"]]\n    pixel_lane = p[\"x\"]%2\n    bank_index = p[\"y\"]*bank_columns+p[\"x\"]//2\n    bank_pitch = 8*p[\"b\"]+3\n    bank_start = p[\"base\"]+bank_index*bank_pitch\n    sample_slot = pixel_lane*4+lane\n    address = bank_start+3+sample_slot*p[\"b\"]\n    valid_lanes = 4*min(2,p[\"w\"]-2*(p[\"x\"]//2))\n    allocation_end = p[\"base\"]+p[\"h\"]*bank_columns*bank_pitch\n    return {'bank_columns': bank_columns, 'lane': lane, 'pixel_lane': pixel_lane, 'bank_index': bank_index, 'bank_pitch': bank_pitch, 'bank_start': bank_start, 'sample_slot': sample_slot, 'address': address, 'valid_lanes': valid_lanes, 'allocation_end': allocation_end}\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, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 19, 'bank_start': 11, 'sample_slot': 1, 'address': 16, 'valid_lanes': 4, 'allocation_end': 30}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'sample': 1}, {'bank_columns': 3, 'lane': 3, 'pixel_lane': 1, 'bank_index': 6, 'bank_pitch': 19, 'bank_start': 125, 'sample_slot': 7, 'address': 142, 'valid_lanes': 8, 'allocation_end': 239}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'sample': 2}, {'bank_columns': 5, 'lane': 0, 'pixel_lane': 0, 'bank_index': 34, 'bank_pitch': 19, 'bank_start': 657, 'sample_slot': 0, 'address': 660, 'valid_lanes': 8, 'allocation_end': 771}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 19, 'bank_start': 1208, 'sample_slot': 6, 'address': 1223, 'valid_lanes': 8, 'allocation_end': 1227}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'sample': 0}, {'bank_columns': 9, 'lane': 1, 'pixel_lane': 0, 'bank_index': 80, 'bank_pitch': 19, 'bank_start': 1531, 'sample_slot': 1, 'address': 1536, 'valid_lanes': 8, 'allocation_end': 1721}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 19, 'bank_start': 942, 'sample_slot': 7, 'address': 959, 'valid_lanes': 8, 'allocation_end': 999})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 27, 'bank_start': 22, 'sample_slot': 1, 'address': 28, 'valid_lanes': 4, 'allocation_end': 49}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 8, 'bank_pitch': 27, 'bank_start': 238, 'sample_slot': 7, 'address': 262, 'valid_lanes': 8, 'allocation_end': 562}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'sample': 2}, {'bank_columns': 6, 'lane': 0, 'pixel_lane': 0, 'bank_index': 40, 'bank_pitch': 27, 'bank_start': 1102, 'sample_slot': 0, 'address': 1105, 'valid_lanes': 8, 'allocation_end': 1480}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 27, 'bank_start': 1723, 'sample_slot': 6, 'address': 1744, 'valid_lanes': 8, 'allocation_end': 1750}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'sample': 0}, {'bank_columns': 10, 'lane': 1, 'pixel_lane': 0, 'bank_index': 88, 'bank_pitch': 27, 'bank_start': 2398, 'sample_slot': 1, 'address': 2404, 'valid_lanes': 8, 'allocation_end': 2992}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 27, 'bank_start': 1345, 'sample_slot': 7, 'address': 1369, 'valid_lanes': 8, 'allocation_end': 1426})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 35, 'bank_start': 33, 'sample_slot': 1, 'address': 40, 'valid_lanes': 4, 'allocation_end': 68}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 8, 'bank_pitch': 35, 'bank_start': 313, 'sample_slot': 7, 'address': 344, 'valid_lanes': 8, 'allocation_end': 873}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'sample': 2}, {'bank_columns': 6, 'lane': 0, 'pixel_lane': 0, 'bank_index': 40, 'bank_pitch': 35, 'bank_start': 1433, 'sample_slot': 0, 'address': 1436, 'valid_lanes': 8, 'allocation_end': 2133}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 35, 'bank_start': 2238, 'sample_slot': 6, 'address': 2265, 'valid_lanes': 8, 'allocation_end': 2273}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'sample': 0}, {'bank_columns': 10, 'lane': 1, 'pixel_lane': 0, 'bank_index': 88, 'bank_pitch': 35, 'bank_start': 3113, 'sample_slot': 1, 'address': 3120, 'valid_lanes': 8, 'allocation_end': 4233}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 35, 'bank_start': 1748, 'sample_slot': 7, 'address': 1779, 'valid_lanes': 8, 'allocation_end': 1853})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 43, 'bank_start': 44, 'sample_slot': 1, 'address': 52, 'valid_lanes': 4, 'allocation_end': 87}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'sample': 1}, {'bank_columns': 5, 'lane': 3, 'pixel_lane': 1, 'bank_index': 10, 'bank_pitch': 43, 'bank_start': 474, 'sample_slot': 7, 'address': 512, 'valid_lanes': 8, 'allocation_end': 1549}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'sample': 2}, {'bank_columns': 7, 'lane': 0, 'pixel_lane': 0, 'bank_index': 46, 'bank_pitch': 43, 'bank_start': 2022, 'sample_slot': 0, 'address': 2025, 'valid_lanes': 8, 'allocation_end': 3355}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 43, 'bank_start': 2753, 'sample_slot': 6, 'address': 2786, 'valid_lanes': 8, 'allocation_end': 2796}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'sample': 0}, {'bank_columns': 11, 'lane': 1, 'pixel_lane': 0, 'bank_index': 96, 'bank_pitch': 43, 'bank_start': 4172, 'sample_slot': 1, 'address': 4180, 'valid_lanes': 8, 'allocation_end': 6193}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 43, 'bank_start': 2151, 'sample_slot': 7, 'address': 2189, 'valid_lanes': 8, 'allocation_end': 2280})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 51, 'bank_start': 55, 'sample_slot': 1, 'address': 64, 'valid_lanes': 4, 'allocation_end': 106}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'sample': 1}, {'bank_columns': 5, 'lane': 3, 'pixel_lane': 1, 'bank_index': 10, 'bank_pitch': 51, 'bank_start': 565, 'sample_slot': 7, 'address': 610, 'valid_lanes': 8, 'allocation_end': 2095}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'sample': 2}, {'bank_columns': 7, 'lane': 0, 'pixel_lane': 0, 'bank_index': 46, 'bank_pitch': 51, 'bank_start': 2401, 'sample_slot': 0, 'address': 2404, 'valid_lanes': 8, 'allocation_end': 4339}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 51, 'bank_start': 3268, 'sample_slot': 6, 'address': 3307, 'valid_lanes': 8, 'allocation_end': 3319}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'sample': 0}, {'bank_columns': 11, 'lane': 1, 'pixel_lane': 0, 'bank_index': 96, 'bank_pitch': 51, 'bank_start': 4951, 'sample_slot': 1, 'address': 4960, 'valid_lanes': 8, 'allocation_end': 7909}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 51, 'bank_start': 2554, 'sample_slot': 7, 'address': 2599, 'valid_lanes': 8, 'allocation_end': 2707})]}\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":"7cf68a0033fb5522835d02e60dba1580fa8f57b56d380f419b50c7225a9d07f6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    bank_columns = (p[\"w\"]+1)//2\n    lane = p[\"sample\"]\n    pixel_lane = p[\"x\"]%2\n    bank_index = p[\"y\"]*bank_columns+p[\"x\"]//2\n    bank_pitch = 8*p[\"b\"]+3\n    bank_start = p[\"base\"]+bank_index*bank_pitch\n    sample_slot = pixel_lane*4+lane\n    address = bank_start+3+sample_slot*p[\"b\"]\n    valid_lanes = 4*min(2,p[\"w\"]-2*(p[\"x\"]//2))\n    allocation_end = p[\"base\"]+p[\"h\"]*bank_columns*bank_pitch\n    return {'bank_columns': bank_columns, 'lane': lane, 'pixel_lane': pixel_lane, 'bank_index': bank_index, 'bank_pitch': bank_pitch, 'bank_start': bank_start, 'sample_slot': sample_slot, 'address': address, 'valid_lanes': valid_lanes, 'allocation_end': allocation_end}\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, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 19, 'bank_start': 11, 'sample_slot': 1, 'address': 16, 'valid_lanes': 4, 'allocation_end': 30}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'sample': 1}, {'bank_columns': 3, 'lane': 3, 'pixel_lane': 1, 'bank_index': 6, 'bank_pitch': 19, 'bank_start': 125, 'sample_slot': 7, 'address': 142, 'valid_lanes': 8, 'allocation_end': 239}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'sample': 2}, {'bank_columns': 5, 'lane': 0, 'pixel_lane': 0, 'bank_index': 34, 'bank_pitch': 19, 'bank_start': 657, 'sample_slot': 0, 'address': 660, 'valid_lanes': 8, 'allocation_end': 771}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 19, 'bank_start': 1208, 'sample_slot': 6, 'address': 1223, 'valid_lanes': 8, 'allocation_end': 1227}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'sample': 0}, {'bank_columns': 9, 'lane': 1, 'pixel_lane': 0, 'bank_index': 80, 'bank_pitch': 19, 'bank_start': 1531, 'sample_slot': 1, 'address': 1536, 'valid_lanes': 8, 'allocation_end': 1721}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 19, 'bank_start': 942, 'sample_slot': 7, 'address': 959, 'valid_lanes': 8, 'allocation_end': 999})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 27, 'bank_start': 22, 'sample_slot': 1, 'address': 28, 'valid_lanes': 4, 'allocation_end': 49}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 8, 'bank_pitch': 27, 'bank_start': 238, 'sample_slot': 7, 'address': 262, 'valid_lanes': 8, 'allocation_end': 562}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'sample': 2}, {'bank_columns': 6, 'lane': 0, 'pixel_lane': 0, 'bank_index': 40, 'bank_pitch': 27, 'bank_start': 1102, 'sample_slot': 0, 'address': 1105, 'valid_lanes': 8, 'allocation_end': 1480}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 27, 'bank_start': 1723, 'sample_slot': 6, 'address': 1744, 'valid_lanes': 8, 'allocation_end': 1750}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'sample': 0}, {'bank_columns': 10, 'lane': 1, 'pixel_lane': 0, 'bank_index': 88, 'bank_pitch': 27, 'bank_start': 2398, 'sample_slot': 1, 'address': 2404, 'valid_lanes': 8, 'allocation_end': 2992}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 27, 'bank_start': 1345, 'sample_slot': 7, 'address': 1369, 'valid_lanes': 8, 'allocation_end': 1426})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 35, 'bank_start': 33, 'sample_slot': 1, 'address': 40, 'valid_lanes': 4, 'allocation_end': 68}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 8, 'bank_pitch': 35, 'bank_start': 313, 'sample_slot': 7, 'address': 344, 'valid_lanes': 8, 'allocation_end': 873}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'sample': 2}, {'bank_columns': 6, 'lane': 0, 'pixel_lane': 0, 'bank_index': 40, 'bank_pitch': 35, 'bank_start': 1433, 'sample_slot': 0, 'address': 1436, 'valid_lanes': 8, 'allocation_end': 2133}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 35, 'bank_start': 2238, 'sample_slot': 6, 'address': 2265, 'valid_lanes': 8, 'allocation_end': 2273}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'sample': 0}, {'bank_columns': 10, 'lane': 1, 'pixel_lane': 0, 'bank_index': 88, 'bank_pitch': 35, 'bank_start': 3113, 'sample_slot': 1, 'address': 3120, 'valid_lanes': 8, 'allocation_end': 4233}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 35, 'bank_start': 1748, 'sample_slot': 7, 'address': 1779, 'valid_lanes': 8, 'allocation_end': 1853})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 43, 'bank_start': 44, 'sample_slot': 1, 'address': 52, 'valid_lanes': 4, 'allocation_end': 87}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'sample': 1}, {'bank_columns': 5, 'lane': 3, 'pixel_lane': 1, 'bank_index': 10, 'bank_pitch': 43, 'bank_start': 474, 'sample_slot': 7, 'address': 512, 'valid_lanes': 8, 'allocation_end': 1549}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'sample': 2}, {'bank_columns': 7, 'lane': 0, 'pixel_lane': 0, 'bank_index': 46, 'bank_pitch': 43, 'bank_start': 2022, 'sample_slot': 0, 'address': 2025, 'valid_lanes': 8, 'allocation_end': 3355}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 43, 'bank_start': 2753, 'sample_slot': 6, 'address': 2786, 'valid_lanes': 8, 'allocation_end': 2796}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'sample': 0}, {'bank_columns': 11, 'lane': 1, 'pixel_lane': 0, 'bank_index': 96, 'bank_pitch': 43, 'bank_start': 4172, 'sample_slot': 1, 'address': 4180, 'valid_lanes': 8, 'allocation_end': 6193}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 43, 'bank_start': 2151, 'sample_slot': 7, 'address': 2189, 'valid_lanes': 8, 'allocation_end': 2280})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 51, 'bank_start': 55, 'sample_slot': 1, 'address': 64, 'valid_lanes': 4, 'allocation_end': 106}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'sample': 1}, {'bank_columns': 5, 'lane': 3, 'pixel_lane': 1, 'bank_index': 10, 'bank_pitch': 51, 'bank_start': 565, 'sample_slot': 7, 'address': 610, 'valid_lanes': 8, 'allocation_end': 2095}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'sample': 2}, {'bank_columns': 7, 'lane': 0, 'pixel_lane': 0, 'bank_index': 46, 'bank_pitch': 51, 'bank_start': 2401, 'sample_slot': 0, 'address': 2404, 'valid_lanes': 8, 'allocation_end': 4339}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 51, 'bank_start': 3268, 'sample_slot': 6, 'address': 3307, 'valid_lanes': 8, 'allocation_end': 3319}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'sample': 0}, {'bank_columns': 11, 'lane': 1, 'pixel_lane': 0, 'bank_index': 96, 'bank_pitch': 51, 'bank_start': 4951, 'sample_slot': 1, 'address': 4960, 'valid_lanes': 8, 'allocation_end': 7909}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 51, 'bank_start': 2554, 'sample_slot': 7, 'address': 2599, 'valid_lanes': 8, 'allocation_end': 2707})]}\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"},"fixed":{"sha256":"4401dbfabffc7db0f7218d5ff9c853dff54697dd5e760602409ed859c6ea65f0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    bank_columns = (p[\"w\"]+1)//2\n    lane = [1,3,0,2][p[\"sample\"]]\n    pixel_lane = p[\"x\"]%2\n    bank_index = p[\"y\"]*bank_columns+p[\"x\"]//2\n    bank_pitch = 8*p[\"b\"]+3\n    bank_start = p[\"base\"]+bank_index*bank_pitch\n    sample_slot = pixel_lane*4+lane\n    address = bank_start+3+sample_slot*p[\"b\"]\n    valid_lanes = 4*min(2,p[\"w\"]-2*(p[\"x\"]//2))\n    allocation_end = p[\"base\"]+p[\"h\"]*bank_columns*bank_pitch\n    return {'bank_columns': bank_columns, 'lane': lane, 'pixel_lane': pixel_lane, 'bank_index': bank_index, 'bank_pitch': bank_pitch, 'bank_start': bank_start, 'sample_slot': sample_slot, 'address': address, 'valid_lanes': valid_lanes, 'allocation_end': allocation_end}\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, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 19, 'bank_start': 11, 'sample_slot': 1, 'address': 16, 'valid_lanes': 4, 'allocation_end': 30}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'sample': 1}, {'bank_columns': 3, 'lane': 3, 'pixel_lane': 1, 'bank_index': 6, 'bank_pitch': 19, 'bank_start': 125, 'sample_slot': 7, 'address': 142, 'valid_lanes': 8, 'allocation_end': 239}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'sample': 2}, {'bank_columns': 5, 'lane': 0, 'pixel_lane': 0, 'bank_index': 34, 'bank_pitch': 19, 'bank_start': 657, 'sample_slot': 0, 'address': 660, 'valid_lanes': 8, 'allocation_end': 771}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 19, 'bank_start': 1208, 'sample_slot': 6, 'address': 1223, 'valid_lanes': 8, 'allocation_end': 1227}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'sample': 0}, {'bank_columns': 9, 'lane': 1, 'pixel_lane': 0, 'bank_index': 80, 'bank_pitch': 19, 'bank_start': 1531, 'sample_slot': 1, 'address': 1536, 'valid_lanes': 8, 'allocation_end': 1721}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 19, 'bank_start': 942, 'sample_slot': 7, 'address': 959, 'valid_lanes': 8, 'allocation_end': 999})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 27, 'bank_start': 22, 'sample_slot': 1, 'address': 28, 'valid_lanes': 4, 'allocation_end': 49}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 8, 'bank_pitch': 27, 'bank_start': 238, 'sample_slot': 7, 'address': 262, 'valid_lanes': 8, 'allocation_end': 562}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'sample': 2}, {'bank_columns': 6, 'lane': 0, 'pixel_lane': 0, 'bank_index': 40, 'bank_pitch': 27, 'bank_start': 1102, 'sample_slot': 0, 'address': 1105, 'valid_lanes': 8, 'allocation_end': 1480}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 27, 'bank_start': 1723, 'sample_slot': 6, 'address': 1744, 'valid_lanes': 8, 'allocation_end': 1750}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'sample': 0}, {'bank_columns': 10, 'lane': 1, 'pixel_lane': 0, 'bank_index': 88, 'bank_pitch': 27, 'bank_start': 2398, 'sample_slot': 1, 'address': 2404, 'valid_lanes': 8, 'allocation_end': 2992}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 27, 'bank_start': 1345, 'sample_slot': 7, 'address': 1369, 'valid_lanes': 8, 'allocation_end': 1426})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 35, 'bank_start': 33, 'sample_slot': 1, 'address': 40, 'valid_lanes': 4, 'allocation_end': 68}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 8, 'bank_pitch': 35, 'bank_start': 313, 'sample_slot': 7, 'address': 344, 'valid_lanes': 8, 'allocation_end': 873}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'sample': 2}, {'bank_columns': 6, 'lane': 0, 'pixel_lane': 0, 'bank_index': 40, 'bank_pitch': 35, 'bank_start': 1433, 'sample_slot': 0, 'address': 1436, 'valid_lanes': 8, 'allocation_end': 2133}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 35, 'bank_start': 2238, 'sample_slot': 6, 'address': 2265, 'valid_lanes': 8, 'allocation_end': 2273}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'sample': 0}, {'bank_columns': 10, 'lane': 1, 'pixel_lane': 0, 'bank_index': 88, 'bank_pitch': 35, 'bank_start': 3113, 'sample_slot': 1, 'address': 3120, 'valid_lanes': 8, 'allocation_end': 4233}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 35, 'bank_start': 1748, 'sample_slot': 7, 'address': 1779, 'valid_lanes': 8, 'allocation_end': 1853})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 43, 'bank_start': 44, 'sample_slot': 1, 'address': 52, 'valid_lanes': 4, 'allocation_end': 87}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'sample': 1}, {'bank_columns': 5, 'lane': 3, 'pixel_lane': 1, 'bank_index': 10, 'bank_pitch': 43, 'bank_start': 474, 'sample_slot': 7, 'address': 512, 'valid_lanes': 8, 'allocation_end': 1549}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'sample': 2}, {'bank_columns': 7, 'lane': 0, 'pixel_lane': 0, 'bank_index': 46, 'bank_pitch': 43, 'bank_start': 2022, 'sample_slot': 0, 'address': 2025, 'valid_lanes': 8, 'allocation_end': 3355}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 43, 'bank_start': 2753, 'sample_slot': 6, 'address': 2786, 'valid_lanes': 8, 'allocation_end': 2796}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'sample': 0}, {'bank_columns': 11, 'lane': 1, 'pixel_lane': 0, 'bank_index': 96, 'bank_pitch': 43, 'bank_start': 4172, 'sample_slot': 1, 'address': 4180, 'valid_lanes': 8, 'allocation_end': 6193}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 43, 'bank_start': 2151, 'sample_slot': 7, 'address': 2189, 'valid_lanes': 8, 'allocation_end': 2280})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'sample': 0}, {'bank_columns': 1, 'lane': 1, 'pixel_lane': 0, 'bank_index': 0, 'bank_pitch': 51, 'bank_start': 55, 'sample_slot': 1, 'address': 64, 'valid_lanes': 4, 'allocation_end': 106}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'sample': 1}, {'bank_columns': 5, 'lane': 3, 'pixel_lane': 1, 'bank_index': 10, 'bank_pitch': 51, 'bank_start': 565, 'sample_slot': 7, 'address': 610, 'valid_lanes': 8, 'allocation_end': 2095}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'sample': 2}, {'bank_columns': 7, 'lane': 0, 'pixel_lane': 0, 'bank_index': 46, 'bank_pitch': 51, 'bank_start': 2401, 'sample_slot': 0, 'address': 2404, 'valid_lanes': 8, 'allocation_end': 4339}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'sample': 3}, {'bank_columns': 8, 'lane': 2, 'pixel_lane': 1, 'bank_index': 63, 'bank_pitch': 51, 'bank_start': 3268, 'sample_slot': 6, 'address': 3307, 'valid_lanes': 8, 'allocation_end': 3319}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'sample': 0}, {'bank_columns': 11, 'lane': 1, 'pixel_lane': 0, 'bank_index': 96, 'bank_pitch': 51, 'bank_start': 4951, 'sample_slot': 1, 'address': 4960, 'valid_lanes': 8, 'allocation_end': 7909}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'sample': 1}, {'bank_columns': 4, 'lane': 3, 'pixel_lane': 1, 'bank_index': 49, 'bank_pitch': 51, 'bank_start': 2554, 'sample_slot': 7, 'address': 2599, 'valid_lanes': 8, 'allocation_end': 2707})]}\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-pixel-interleaved-sample-banks-lane","generated_at":"2026-09-29T14:45:29.471468+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.","repair":"Apply the stipulated layout rule at lane: [1,3,0,2][p[\"sample\"]].","root_cause":"Sample-to-storage inverse permutation replaced by identity or forward map The faulty expression is p[\"sample\"].","sha256":"bd21e0bf52d3084e11150e000ff7a93322a014eb6dae477dd1219d52960aa406","title":"Pixel Interleaved Sample Banks: Sample-to-storage inverse permutation replaced by identity or forward map · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.197,"exit_code":1,"observations":[{"actual":{"address":18,"allocation_end":30,"bank_columns":1,"bank_index":0,"bank_pitch":19,"bank_start":11,"lane":2,"pixel_lane":0,"sample_slot":2,"valid_lanes":4},"check":"layout fixture 1","expected":{"address":16,"allocation_end":30,"bank_columns":1,"bank_index":0,"bank_pitch":19,"bank_start":11,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":4},"passed":false},{"actual":{"address":136,"allocation_end":239,"bank_columns":3,"bank_index":6,"bank_pitch":19,"bank_start":125,"lane":0,"pixel_lane":1,"sample_slot":4,"valid_lanes":8},"check":"layout fixture 2","expected":{"address":142,"allocation_end":239,"bank_columns":3,"bank_index":6,"bank_pitch":19,"bank_start":125,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"passed":false},{"actual":{"address":666,"allocation_end":771,"bank_columns":5,"bank_index":34,"bank_pitch":19,"bank_start":657,"lane":3,"pixel_lane":0,"sample_slot":3,"valid_lanes":8},"check":"layout fixture 3","expected":{"address":660,"allocation_end":771,"bank_columns":5,"bank_index":34,"bank_pitch":19,"bank_start":657,"lane":0,"pixel_lane":0,"sample_slot":0,"valid_lanes":8},"passed":false},{"actual":{"address":1221,"allocation_end":1227,"bank_columns":8,"bank_index":63,"bank_pitch":19,"bank_start":1208,"lane":1,"pixel_lane":1,"sample_slot":5,"valid_lanes":8},"check":"layout fixture 4","expected":{"address":1223,"allocation_end":1227,"bank_columns":8,"bank_index":63,"bank_pitch":19,"bank_start":1208,"lane":2,"pixel_lane":1,"sample_slot":6,"valid_lanes":8},"passed":false},{"actual":{"address":1538,"allocation_end":1721,"bank_columns":9,"bank_index":80,"bank_pitch":19,"bank_start":1531,"lane":2,"pixel_lane":0,"sample_slot":2,"valid_lanes":8},"check":"layout fixture 5","expected":{"address":1536,"allocation_end":1721,"bank_columns":9,"bank_index":80,"bank_pitch":19,"bank_start":1531,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":8},"passed":false},{"actual":{"address":953,"allocation_end":999,"bank_columns":4,"bank_index":49,"bank_pitch":19,"bank_start":942,"lane":0,"pixel_lane":1,"sample_slot":4,"valid_lanes":8},"check":"layout fixture 6","expected":{"address":959,"allocation_end":999,"bank_columns":4,"bank_index":49,"bank_pitch":19,"bank_start":942,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"bank_columns\": 1, \"lane\": 2, \"pixel_lane\": 0, \"bank_index\": 0, \"bank_pitch\": 19, \"bank_start\": 11, \"sample_slot\": 2, \"address\": 18, \"valid_lanes\": 4, \"allocation_end\": 30}, \"expected\": {\"bank_columns\": 1, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 0, \"bank_pitch\": 19, \"bank_start\": 11, \"sample_slot\": 1, \"address\": 16, \"valid_lanes\": 4, \"allocation_end\": 30}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"bank_columns\": 3, \"lane\": 0, \"pixel_lane\": 1, \"bank_index\": 6, \"bank_pitch\": 19, \"bank_start\": 125, \"sample_slot\": 4, \"address\": 136, \"valid_lanes\": 8, \"allocation_end\": 239}, \"expected\": {\"bank_columns\": 3, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 6, \"bank_pitch\": 19, \"bank_start\": 125, \"sample_slot\": 7, \"address\": 142, \"valid_lanes\": 8, \"allocation_end\": 239}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"bank_columns\": 5, \"lane\": 3, \"pixel_lane\": 0, \"bank_index\": 34, \"bank_pitch\": 19, \"bank_start\": 657, \"sample_slot\": 3, \"address\": 666, \"valid_lanes\": 8, \"allocation_end\": 771}, \"expected\": {\"bank_columns\": 5, \"lane\": 0, \"pixel_lane\": 0, \"bank_index\": 34, \"bank_pitch\": 19, \"bank_start\": 657, \"sample_slot\": 0, \"address\": 660, \"valid_lanes\": 8, \"allocation_end\": 771}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"bank_columns\": 8, \"lane\": 1, \"pixel_lane\": 1, \"bank_index\": 63, \"bank_pitch\": 19, \"bank_start\": 1208, \"sample_slot\": 5, \"address\": 1221, \"valid_lanes\": 8, \"allocation_end\": 1227}, \"expected\": {\"bank_columns\": 8, \"lane\": 2, \"pixel_lane\": 1, \"bank_index\": 63, \"bank_pitch\": 19, \"bank_start\": 1208, \"sample_slot\": 6, \"address\": 1223, \"valid_lanes\": 8, \"allocation_end\": 1227}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"bank_columns\": 9, \"lane\": 2, \"pixel_lane\": 0, \"bank_index\": 80, \"bank_pitch\": 19, \"bank_start\": 1531, \"sample_slot\": 2, \"address\": 1538, \"valid_lanes\": 8, \"allocation_end\": 1721}, \"expected\": {\"bank_columns\": 9, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 80, \"bank_pitch\": 19, \"bank_start\": 1531, \"sample_slot\": 1, \"address\": 1536, \"valid_lanes\": 8, \"allocation_end\": 1721}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"bank_columns\": 4, \"lane\": 0, \"pixel_lane\": 1, \"bank_index\": 49, \"bank_pitch\": 19, \"bank_start\": 942, \"sample_slot\": 4, \"address\": 953, \"valid_lanes\": 8, \"allocation_end\": 999}, \"expected\": {\"bank_columns\": 4, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 49, \"bank_pitch\": 19, \"bank_start\": 942, \"sample_slot\": 7, \"address\": 959, \"valid_lanes\": 8, \"allocation_end\": 999}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.749,"exit_code":1,"observations":[{"actual":{"address":14,"allocation_end":30,"bank_columns":1,"bank_index":0,"bank_pitch":19,"bank_start":11,"lane":0,"pixel_lane":0,"sample_slot":0,"valid_lanes":4},"check":"layout fixture 1","expected":{"address":16,"allocation_end":30,"bank_columns":1,"bank_index":0,"bank_pitch":19,"bank_start":11,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":4},"passed":false},{"actual":{"address":138,"allocation_end":239,"bank_columns":3,"bank_index":6,"bank_pitch":19,"bank_start":125,"lane":1,"pixel_lane":1,"sample_slot":5,"valid_lanes":8},"check":"layout fixture 2","expected":{"address":142,"allocation_end":239,"bank_columns":3,"bank_index":6,"bank_pitch":19,"bank_start":125,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"passed":false},{"actual":{"address":664,"allocation_end":771,"bank_columns":5,"bank_index":34,"bank_pitch":19,"bank_start":657,"lane":2,"pixel_lane":0,"sample_slot":2,"valid_lanes":8},"check":"layout fixture 3","expected":{"address":660,"allocation_end":771,"bank_columns":5,"bank_index":34,"bank_pitch":19,"bank_start":657,"lane":0,"pixel_lane":0,"sample_slot":0,"valid_lanes":8},"passed":false},{"actual":{"address":1225,"allocation_end":1227,"bank_columns":8,"bank_index":63,"bank_pitch":19,"bank_start":1208,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"check":"layout fixture 4","expected":{"address":1223,"allocation_end":1227,"bank_columns":8,"bank_index":63,"bank_pitch":19,"bank_start":1208,"lane":2,"pixel_lane":1,"sample_slot":6,"valid_lanes":8},"passed":false},{"actual":{"address":1534,"allocation_end":1721,"bank_columns":9,"bank_index":80,"bank_pitch":19,"bank_start":1531,"lane":0,"pixel_lane":0,"sample_slot":0,"valid_lanes":8},"check":"layout fixture 5","expected":{"address":1536,"allocation_end":1721,"bank_columns":9,"bank_index":80,"bank_pitch":19,"bank_start":1531,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":8},"passed":false},{"actual":{"address":955,"allocation_end":999,"bank_columns":4,"bank_index":49,"bank_pitch":19,"bank_start":942,"lane":1,"pixel_lane":1,"sample_slot":5,"valid_lanes":8},"check":"layout fixture 6","expected":{"address":959,"allocation_end":999,"bank_columns":4,"bank_index":49,"bank_pitch":19,"bank_start":942,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"bank_columns\": 1, \"lane\": 0, \"pixel_lane\": 0, \"bank_index\": 0, \"bank_pitch\": 19, \"bank_start\": 11, \"sample_slot\": 0, \"address\": 14, \"valid_lanes\": 4, \"allocation_end\": 30}, \"expected\": {\"bank_columns\": 1, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 0, \"bank_pitch\": 19, \"bank_start\": 11, \"sample_slot\": 1, \"address\": 16, \"valid_lanes\": 4, \"allocation_end\": 30}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"bank_columns\": 3, \"lane\": 1, \"pixel_lane\": 1, \"bank_index\": 6, \"bank_pitch\": 19, \"bank_start\": 125, \"sample_slot\": 5, \"address\": 138, \"valid_lanes\": 8, \"allocation_end\": 239}, \"expected\": {\"bank_columns\": 3, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 6, \"bank_pitch\": 19, \"bank_start\": 125, \"sample_slot\": 7, \"address\": 142, \"valid_lanes\": 8, \"allocation_end\": 239}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"bank_columns\": 5, \"lane\": 2, \"pixel_lane\": 0, \"bank_index\": 34, \"bank_pitch\": 19, \"bank_start\": 657, \"sample_slot\": 2, \"address\": 664, \"valid_lanes\": 8, \"allocation_end\": 771}, \"expected\": {\"bank_columns\": 5, \"lane\": 0, \"pixel_lane\": 0, \"bank_index\": 34, \"bank_pitch\": 19, \"bank_start\": 657, \"sample_slot\": 0, \"address\": 660, \"valid_lanes\": 8, \"allocation_end\": 771}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"bank_columns\": 8, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 63, \"bank_pitch\": 19, \"bank_start\": 1208, \"sample_slot\": 7, \"address\": 1225, \"valid_lanes\": 8, \"allocation_end\": 1227}, \"expected\": {\"bank_columns\": 8, \"lane\": 2, \"pixel_lane\": 1, \"bank_index\": 63, \"bank_pitch\": 19, \"bank_start\": 1208, \"sample_slot\": 6, \"address\": 1223, \"valid_lanes\": 8, \"allocation_end\": 1227}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"bank_columns\": 9, \"lane\": 0, \"pixel_lane\": 0, \"bank_index\": 80, \"bank_pitch\": 19, \"bank_start\": 1531, \"sample_slot\": 0, \"address\": 1534, \"valid_lanes\": 8, \"allocation_end\": 1721}, \"expected\": {\"bank_columns\": 9, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 80, \"bank_pitch\": 19, \"bank_start\": 1531, \"sample_slot\": 1, \"address\": 1536, \"valid_lanes\": 8, \"allocation_end\": 1721}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"bank_columns\": 4, \"lane\": 1, \"pixel_lane\": 1, \"bank_index\": 49, \"bank_pitch\": 19, \"bank_start\": 942, \"sample_slot\": 5, \"address\": 955, \"valid_lanes\": 8, \"allocation_end\": 999}, \"expected\": {\"bank_columns\": 4, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 49, \"bank_pitch\": 19, \"bank_start\": 942, \"sample_slot\": 7, \"address\": 959, \"valid_lanes\": 8, \"allocation_end\": 999}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.879,"exit_code":0,"observations":[{"actual":{"address":16,"allocation_end":30,"bank_columns":1,"bank_index":0,"bank_pitch":19,"bank_start":11,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":4},"check":"layout fixture 1","expected":{"address":16,"allocation_end":30,"bank_columns":1,"bank_index":0,"bank_pitch":19,"bank_start":11,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":4},"passed":true},{"actual":{"address":142,"allocation_end":239,"bank_columns":3,"bank_index":6,"bank_pitch":19,"bank_start":125,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"check":"layout fixture 2","expected":{"address":142,"allocation_end":239,"bank_columns":3,"bank_index":6,"bank_pitch":19,"bank_start":125,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"passed":true},{"actual":{"address":660,"allocation_end":771,"bank_columns":5,"bank_index":34,"bank_pitch":19,"bank_start":657,"lane":0,"pixel_lane":0,"sample_slot":0,"valid_lanes":8},"check":"layout fixture 3","expected":{"address":660,"allocation_end":771,"bank_columns":5,"bank_index":34,"bank_pitch":19,"bank_start":657,"lane":0,"pixel_lane":0,"sample_slot":0,"valid_lanes":8},"passed":true},{"actual":{"address":1223,"allocation_end":1227,"bank_columns":8,"bank_index":63,"bank_pitch":19,"bank_start":1208,"lane":2,"pixel_lane":1,"sample_slot":6,"valid_lanes":8},"check":"layout fixture 4","expected":{"address":1223,"allocation_end":1227,"bank_columns":8,"bank_index":63,"bank_pitch":19,"bank_start":1208,"lane":2,"pixel_lane":1,"sample_slot":6,"valid_lanes":8},"passed":true},{"actual":{"address":1536,"allocation_end":1721,"bank_columns":9,"bank_index":80,"bank_pitch":19,"bank_start":1531,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":8},"check":"layout fixture 5","expected":{"address":1536,"allocation_end":1721,"bank_columns":9,"bank_index":80,"bank_pitch":19,"bank_start":1531,"lane":1,"pixel_lane":0,"sample_slot":1,"valid_lanes":8},"passed":true},{"actual":{"address":959,"allocation_end":999,"bank_columns":4,"bank_index":49,"bank_pitch":19,"bank_start":942,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"check":"layout fixture 6","expected":{"address":959,"allocation_end":999,"bank_columns":4,"bank_index":49,"bank_pitch":19,"bank_start":942,"lane":3,"pixel_lane":1,"sample_slot":7,"valid_lanes":8},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"bank_columns\": 1, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 0, \"bank_pitch\": 19, \"bank_start\": 11, \"sample_slot\": 1, \"address\": 16, \"valid_lanes\": 4, \"allocation_end\": 30}, \"expected\": {\"bank_columns\": 1, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 0, \"bank_pitch\": 19, \"bank_start\": 11, \"sample_slot\": 1, \"address\": 16, \"valid_lanes\": 4, \"allocation_end\": 30}, \"passed\": true}, {\"check\": \"layout fixture 2\", \"actual\": {\"bank_columns\": 3, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 6, \"bank_pitch\": 19, \"bank_start\": 125, \"sample_slot\": 7, \"address\": 142, \"valid_lanes\": 8, \"allocation_end\": 239}, \"expected\": {\"bank_columns\": 3, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 6, \"bank_pitch\": 19, \"bank_start\": 125, \"sample_slot\": 7, \"address\": 142, \"valid_lanes\": 8, \"allocation_end\": 239}, \"passed\": true}, {\"check\": \"layout fixture 3\", \"actual\": {\"bank_columns\": 5, \"lane\": 0, \"pixel_lane\": 0, \"bank_index\": 34, \"bank_pitch\": 19, \"bank_start\": 657, \"sample_slot\": 0, \"address\": 660, \"valid_lanes\": 8, \"allocation_end\": 771}, \"expected\": {\"bank_columns\": 5, \"lane\": 0, \"pixel_lane\": 0, \"bank_index\": 34, \"bank_pitch\": 19, \"bank_start\": 657, \"sample_slot\": 0, \"address\": 660, \"valid_lanes\": 8, \"allocation_end\": 771}, \"passed\": true}, {\"check\": \"layout fixture 4\", \"actual\": {\"bank_columns\": 8, \"lane\": 2, \"pixel_lane\": 1, \"bank_index\": 63, \"bank_pitch\": 19, \"bank_start\": 1208, \"sample_slot\": 6, \"address\": 1223, \"valid_lanes\": 8, \"allocation_end\": 1227}, \"expected\": {\"bank_columns\": 8, \"lane\": 2, \"pixel_lane\": 1, \"bank_index\": 63, \"bank_pitch\": 19, \"bank_start\": 1208, \"sample_slot\": 6, \"address\": 1223, \"valid_lanes\": 8, \"allocation_end\": 1227}, \"passed\": true}, {\"check\": \"layout fixture 5\", \"actual\": {\"bank_columns\": 9, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 80, \"bank_pitch\": 19, \"bank_start\": 1531, \"sample_slot\": 1, \"address\": 1536, \"valid_lanes\": 8, \"allocation_end\": 1721}, \"expected\": {\"bank_columns\": 9, \"lane\": 1, \"pixel_lane\": 0, \"bank_index\": 80, \"bank_pitch\": 19, \"bank_start\": 1531, \"sample_slot\": 1, \"address\": 1536, \"valid_lanes\": 8, \"allocation_end\": 1721}, \"passed\": true}, {\"check\": \"layout fixture 6\", \"actual\": {\"bank_columns\": 4, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 49, \"bank_pitch\": 19, \"bank_start\": 942, \"sample_slot\": 7, \"address\": 959, \"valid_lanes\": 8, \"allocation_end\": 999}, \"expected\": {\"bank_columns\": 4, \"lane\": 3, \"pixel_lane\": 1, \"bank_index\": 49, \"bank_pitch\": 19, \"bank_start\": 942, \"sample_slot\": 7, \"address\": 959, \"valid_lanes\": 8, \"allocation_end\": 999}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}