FA-53196 / Raster memory layout / Open access
Heterogeneous Channel Records: Pixel record pitch omits footer or pads all channels to largest width · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at pixel_pitch.
ROOT CAUSE
Pixel record pitch omits footer or pads all channels to largest width The faulty expression is sum(p["widths"]).
VERIFIED REPAIR
Apply the stipulated layout rule at pixel_pitch: sum(p["widths"])+2.
Unsuccessful approach: The attempted repair uses 4*max(p["widths"])+2 and still violates the layout contract.
Case contract
A toy pixel record stores channels with widths [1,2,1,4] bytes and a two-byte per-pixel footer. A view remaps logical channel indices through [2,0,3,1], and image rows have a three-byte guard. Return byte ranges without numeric interpretation. Return the named intermediate layout descriptor and final address fields; all quantities are integer byte offsets unless explicitly stated.
Why this case matters
Offline raster resource, upload, readback, and storage-layout regression model.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(p):
p = dict(p)
channel_offsets = [sum(p["widths"][:i]) for i in range(4)]
pixel_pitch = sum(p["widths"])
physical_channel = p["remap"][p["channel"]]
row_pitch = p["w"]*pixel_pitch+3
pixel_origin = p["base"]+p["y"]*row_pitch+p["x"]*pixel_pitch
channel_start = pixel_origin+channel_offsets[physical_channel]
channel_size = p["widths"][physical_channel]
channel_end = channel_start+channel_size
footer_start = pixel_origin+sum(p["widths"])
other_channel_ranges = [[pixel_origin+channel_offsets[i],pixel_origin+channel_offsets[i]+p["widths"][i]] for i in range(4) if i!=physical_channel]
return {'channel_offsets': channel_offsets, 'pixel_pitch': pixel_pitch, 'physical_channel': physical_channel, 'row_pitch': row_pitch, 'pixel_origin': pixel_origin, 'channel_start': channel_start, 'channel_size': channel_size, 'channel_end': channel_end, 'footer_start': footer_start, 'other_channel_ranges': other_channel_ranges}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 2, 'base': 11, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 11, 'channel_start': 14, 'channel_size': 1, 'channel_end': 15, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]]}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 63, 'pixel_origin': 147, 'channel_start': 147, 'channel_size': 1, 'channel_end': 148, 'footer_start': 155, 'other_channel_ranges': [[148, 150], [150, 151], [151, 155]]}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 103, 'pixel_origin': 709, 'channel_start': 713, 'channel_size': 4, 'channel_end': 717, 'footer_start': 717, 'other_channel_ranges': [[709, 710], [710, 712], [712, 713]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1302, 'channel_start': 1303, 'channel_size': 2, 'channel_end': 1305, 'footer_start': 1310, 'other_channel_ranges': [[1302, 1303], [1305, 1306], [1306, 1310]]}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 183, 'pixel_origin': 1635, 'channel_start': 1638, 'channel_size': 1, 'channel_end': 1639, 'footer_start': 1643, 'other_channel_ranges': [[1635, 1636], [1636, 1638], [1639, 1643]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 917, 'channel_start': 917, 'channel_size': 1, 'channel_end': 918, 'footer_start': 925, 'other_channel_ranges': [[918, 920], [920, 921], [921, 925]]})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 22, 'channel_start': 25, 'channel_size': 1, 'channel_end': 26, 'footer_start': 30, 'other_channel_ranges': [[22, 23], [23, 25], [26, 30]]}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 178, 'channel_start': 178, 'channel_size': 1, 'channel_end': 179, 'footer_start': 186, 'other_channel_ranges': [[179, 181], [181, 182], [182, 186]]}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 113, 'pixel_origin': 780, 'channel_start': 784, 'channel_size': 4, 'channel_end': 788, 'footer_start': 788, 'other_channel_ranges': [[780, 781], [781, 783], [783, 784]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1313, 'channel_start': 1314, 'channel_size': 2, 'channel_end': 1316, 'footer_start': 1321, 'other_channel_ranges': [[1313, 1314], [1316, 1317], [1317, 1321]]}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 193, 'pixel_origin': 1726, 'channel_start': 1729, 'channel_size': 1, 'channel_end': 1730, 'footer_start': 1734, 'other_channel_ranges': [[1726, 1727], [1727, 1729], [1730, 1734]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 928, 'channel_start': 928, 'channel_size': 1, 'channel_end': 929, 'footer_start': 936, 'other_channel_ranges': [[929, 931], [931, 932], [932, 936]]})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 33, 'channel_start': 36, 'channel_size': 1, 'channel_end': 37, 'footer_start': 41, 'other_channel_ranges': [[33, 34], [34, 36], [37, 41]]}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 83, 'pixel_origin': 209, 'channel_start': 209, 'channel_size': 1, 'channel_end': 210, 'footer_start': 217, 'other_channel_ranges': [[210, 212], [212, 213], [213, 217]]}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 123, 'pixel_origin': 851, 'channel_start': 855, 'channel_size': 4, 'channel_end': 859, 'footer_start': 859, 'other_channel_ranges': [[851, 852], [852, 854], [854, 855]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1324, 'channel_start': 1325, 'channel_size': 2, 'channel_end': 1327, 'footer_start': 1332, 'other_channel_ranges': [[1324, 1325], [1327, 1328], [1328, 1332]]}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 203, 'pixel_origin': 1817, 'channel_start': 1820, 'channel_size': 1, 'channel_end': 1821, 'footer_start': 1825, 'other_channel_ranges': [[1817, 1818], [1818, 1820], [1821, 1825]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 939, 'channel_start': 939, 'channel_size': 1, 'channel_end': 940, 'footer_start': 947, 'other_channel_ranges': [[940, 942], [942, 943], [943, 947]]})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 44, 'channel_start': 47, 'channel_size': 1, 'channel_end': 48, 'footer_start': 52, 'other_channel_ranges': [[44, 45], [45, 47], [48, 52]]}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 93, 'pixel_origin': 240, 'channel_start': 240, 'channel_size': 1, 'channel_end': 241, 'footer_start': 248, 'other_channel_ranges': [[241, 243], [243, 244], [244, 248]]}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 133, 'pixel_origin': 922, 'channel_start': 926, 'channel_size': 4, 'channel_end': 930, 'footer_start': 930, 'other_channel_ranges': [[922, 923], [923, 925], [925, 926]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1335, 'channel_start': 1336, 'channel_size': 2, 'channel_end': 1338, 'footer_start': 1343, 'other_channel_ranges': [[1335, 1336], [1338, 1339], [1339, 1343]]}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 213, 'pixel_origin': 1908, 'channel_start': 1911, 'channel_size': 1, 'channel_end': 1912, 'footer_start': 1916, 'other_channel_ranges': [[1908, 1909], [1909, 1911], [1912, 1916]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 950, 'channel_start': 950, 'channel_size': 1, 'channel_end': 951, 'footer_start': 958, 'other_channel_ranges': [[951, 953], [953, 954], [954, 958]]})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 55, 'channel_start': 58, 'channel_size': 1, 'channel_end': 59, 'footer_start': 63, 'other_channel_ranges': [[55, 56], [56, 58], [59, 63]]}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 103, 'pixel_origin': 271, 'channel_start': 271, 'channel_size': 1, 'channel_end': 272, 'footer_start': 279, 'other_channel_ranges': [[272, 274], [274, 275], [275, 279]]}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 143, 'pixel_origin': 993, 'channel_start': 997, 'channel_size': 4, 'channel_end': 1001, 'footer_start': 1001, 'other_channel_ranges': [[993, 994], [994, 996], [996, 997]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1346, 'channel_start': 1347, 'channel_size': 2, 'channel_end': 1349, 'footer_start': 1354, 'other_channel_ranges': [[1346, 1347], [1349, 1350], [1350, 1354]]}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 223, 'pixel_origin': 1999, 'channel_start': 2002, 'channel_size': 1, 'channel_end': 2003, 'footer_start': 2007, 'other_channel_ranges': [[1999, 2000], [2000, 2002], [2003, 2007]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 961, 'channel_start': 961, 'channel_size': 1, 'channel_end': 962, 'footer_start': 969, 'other_channel_ranges': [[962, 964], [964, 965], [965, 969]]})]}
for i, (p, expected) in enumerate(cases[N]):
check("layout fixture " + str(i + 1), solve(p), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| layout fixture 1 | {'channel_end': 15, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 14, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]], 'physical_channel': 2, 'pixel_origin': 11, 'pixel_pitch': 8, 'row_pitch': 11} | {'channel_end': 15, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 14, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]], 'physical_channel': 2, 'pixel_origin': 11, 'pixel_pitch': 10, 'row_pitch': 13} | Failed |
| layout fixture 2 | {'channel_end': 122, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 121, 'footer_start': 129, 'other_channel_ranges': [[122, 124], [124, 125], [125, 129]], 'physical_channel': 0, 'pixel_origin': 121, 'pixel_pitch': 8, 'row_pitch': 51} | {'channel_end': 148, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 147, 'footer_start': 155, 'other_channel_ranges': [[148, 150], [150, 151], [151, 155]], 'physical_channel': 0, 'pixel_origin': 147, 'pixel_pitch': 10, 'row_pitch': 63} | Failed |
| layout fixture 3 | {'channel_end': 581, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 577, 'footer_start': 581, 'other_channel_ranges': [[573, 574], [574, 576], [576, 577]], 'physical_channel': 3, 'pixel_origin': 573, 'pixel_pitch': 8, 'row_pitch': 83} | {'channel_end': 717, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 713, 'footer_start': 717, 'other_channel_ranges': [[709, 710], [710, 712], [712, 713]], 'physical_channel': 3, 'pixel_origin': 709, 'pixel_pitch': 10, 'row_pitch': 103} | Failed |
| layout fixture 4 | {'channel_end': 1051, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 1049, 'footer_start': 1056, 'other_channel_ranges': [[1048, 1049], [1051, 1052], [1052, 1056]], 'physical_channel': 1, 'pixel_origin': 1048, 'pixel_pitch': 8, 'row_pitch': 131} | {'channel_end': 1305, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 1303, 'footer_start': 1310, 'other_channel_ranges': [[1302, 1303], [1305, 1306], [1306, 1310]], 'physical_channel': 1, 'pixel_origin': 1302, 'pixel_pitch': 10, 'row_pitch': 163} | Failed |
| layout fixture 5 | {'channel_end': 1319, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1318, 'footer_start': 1323, 'other_channel_ranges': [[1315, 1316], [1316, 1318], [1319, 1323]], 'physical_channel': 2, 'pixel_origin': 1315, 'pixel_pitch': 8, 'row_pitch': 147} | {'channel_end': 1639, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1638, 'footer_start': 1643, 'other_channel_ranges': [[1635, 1636], [1636, 1638], [1639, 1643]], 'physical_channel': 2, 'pixel_origin': 1635, 'pixel_pitch': 10, 'row_pitch': 183} | Failed |
| layout fixture 6 | {'channel_end': 744, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 743, 'footer_start': 751, 'other_channel_ranges': [[744, 746], [746, 747], [747, 751]], 'physical_channel': 0, 'pixel_origin': 743, 'pixel_pitch': 8, 'row_pitch': 59} | {'channel_end': 918, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 917, 'footer_start': 925, 'other_channel_ranges': [[918, 920], [920, 921], [921, 925]], 'physical_channel': 0, 'pixel_origin': 917, 'pixel_pitch': 10, 'row_pitch': 73} | Failed |
SHA-256 / fe5719ab13b36c4f54fbb702dd123a4fe45d3f8b2087b9bdbf7905674f7b63f0
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(p):
p = dict(p)
channel_offsets = [sum(p["widths"][:i]) for i in range(4)]
pixel_pitch = 4*max(p["widths"])+2
physical_channel = p["remap"][p["channel"]]
row_pitch = p["w"]*pixel_pitch+3
pixel_origin = p["base"]+p["y"]*row_pitch+p["x"]*pixel_pitch
channel_start = pixel_origin+channel_offsets[physical_channel]
channel_size = p["widths"][physical_channel]
channel_end = channel_start+channel_size
footer_start = pixel_origin+sum(p["widths"])
other_channel_ranges = [[pixel_origin+channel_offsets[i],pixel_origin+channel_offsets[i]+p["widths"][i]] for i in range(4) if i!=physical_channel]
return {'channel_offsets': channel_offsets, 'pixel_pitch': pixel_pitch, 'physical_channel': physical_channel, 'row_pitch': row_pitch, 'pixel_origin': pixel_origin, 'channel_start': channel_start, 'channel_size': channel_size, 'channel_end': channel_end, 'footer_start': footer_start, 'other_channel_ranges': other_channel_ranges}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 2, 'base': 11, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 11, 'channel_start': 14, 'channel_size': 1, 'channel_end': 15, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]]}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 63, 'pixel_origin': 147, 'channel_start': 147, 'channel_size': 1, 'channel_end': 148, 'footer_start': 155, 'other_channel_ranges': [[148, 150], [150, 151], [151, 155]]}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 103, 'pixel_origin': 709, 'channel_start': 713, 'channel_size': 4, 'channel_end': 717, 'footer_start': 717, 'other_channel_ranges': [[709, 710], [710, 712], [712, 713]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1302, 'channel_start': 1303, 'channel_size': 2, 'channel_end': 1305, 'footer_start': 1310, 'other_channel_ranges': [[1302, 1303], [1305, 1306], [1306, 1310]]}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 183, 'pixel_origin': 1635, 'channel_start': 1638, 'channel_size': 1, 'channel_end': 1639, 'footer_start': 1643, 'other_channel_ranges': [[1635, 1636], [1636, 1638], [1639, 1643]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 917, 'channel_start': 917, 'channel_size': 1, 'channel_end': 918, 'footer_start': 925, 'other_channel_ranges': [[918, 920], [920, 921], [921, 925]]})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 22, 'channel_start': 25, 'channel_size': 1, 'channel_end': 26, 'footer_start': 30, 'other_channel_ranges': [[22, 23], [23, 25], [26, 30]]}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 178, 'channel_start': 178, 'channel_size': 1, 'channel_end': 179, 'footer_start': 186, 'other_channel_ranges': [[179, 181], [181, 182], [182, 186]]}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 113, 'pixel_origin': 780, 'channel_start': 784, 'channel_size': 4, 'channel_end': 788, 'footer_start': 788, 'other_channel_ranges': [[780, 781], [781, 783], [783, 784]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1313, 'channel_start': 1314, 'channel_size': 2, 'channel_end': 1316, 'footer_start': 1321, 'other_channel_ranges': [[1313, 1314], [1316, 1317], [1317, 1321]]}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 193, 'pixel_origin': 1726, 'channel_start': 1729, 'channel_size': 1, 'channel_end': 1730, 'footer_start': 1734, 'other_channel_ranges': [[1726, 1727], [1727, 1729], [1730, 1734]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 928, 'channel_start': 928, 'channel_size': 1, 'channel_end': 929, 'footer_start': 936, 'other_channel_ranges': [[929, 931], [931, 932], [932, 936]]})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 33, 'channel_start': 36, 'channel_size': 1, 'channel_end': 37, 'footer_start': 41, 'other_channel_ranges': [[33, 34], [34, 36], [37, 41]]}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 83, 'pixel_origin': 209, 'channel_start': 209, 'channel_size': 1, 'channel_end': 210, 'footer_start': 217, 'other_channel_ranges': [[210, 212], [212, 213], [213, 217]]}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 123, 'pixel_origin': 851, 'channel_start': 855, 'channel_size': 4, 'channel_end': 859, 'footer_start': 859, 'other_channel_ranges': [[851, 852], [852, 854], [854, 855]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1324, 'channel_start': 1325, 'channel_size': 2, 'channel_end': 1327, 'footer_start': 1332, 'other_channel_ranges': [[1324, 1325], [1327, 1328], [1328, 1332]]}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 203, 'pixel_origin': 1817, 'channel_start': 1820, 'channel_size': 1, 'channel_end': 1821, 'footer_start': 1825, 'other_channel_ranges': [[1817, 1818], [1818, 1820], [1821, 1825]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 939, 'channel_start': 939, 'channel_size': 1, 'channel_end': 940, 'footer_start': 947, 'other_channel_ranges': [[940, 942], [942, 943], [943, 947]]})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 44, 'channel_start': 47, 'channel_size': 1, 'channel_end': 48, 'footer_start': 52, 'other_channel_ranges': [[44, 45], [45, 47], [48, 52]]}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 93, 'pixel_origin': 240, 'channel_start': 240, 'channel_size': 1, 'channel_end': 241, 'footer_start': 248, 'other_channel_ranges': [[241, 243], [243, 244], [244, 248]]}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 133, 'pixel_origin': 922, 'channel_start': 926, 'channel_size': 4, 'channel_end': 930, 'footer_start': 930, 'other_channel_ranges': [[922, 923], [923, 925], [925, 926]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1335, 'channel_start': 1336, 'channel_size': 2, 'channel_end': 1338, 'footer_start': 1343, 'other_channel_ranges': [[1335, 1336], [1338, 1339], [1339, 1343]]}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 213, 'pixel_origin': 1908, 'channel_start': 1911, 'channel_size': 1, 'channel_end': 1912, 'footer_start': 1916, 'other_channel_ranges': [[1908, 1909], [1909, 1911], [1912, 1916]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 950, 'channel_start': 950, 'channel_size': 1, 'channel_end': 951, 'footer_start': 958, 'other_channel_ranges': [[951, 953], [953, 954], [954, 958]]})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 55, 'channel_start': 58, 'channel_size': 1, 'channel_end': 59, 'footer_start': 63, 'other_channel_ranges': [[55, 56], [56, 58], [59, 63]]}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 103, 'pixel_origin': 271, 'channel_start': 271, 'channel_size': 1, 'channel_end': 272, 'footer_start': 279, 'other_channel_ranges': [[272, 274], [274, 275], [275, 279]]}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 143, 'pixel_origin': 993, 'channel_start': 997, 'channel_size': 4, 'channel_end': 1001, 'footer_start': 1001, 'other_channel_ranges': [[993, 994], [994, 996], [996, 997]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1346, 'channel_start': 1347, 'channel_size': 2, 'channel_end': 1349, 'footer_start': 1354, 'other_channel_ranges': [[1346, 1347], [1349, 1350], [1350, 1354]]}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 223, 'pixel_origin': 1999, 'channel_start': 2002, 'channel_size': 1, 'channel_end': 2003, 'footer_start': 2007, 'other_channel_ranges': [[1999, 2000], [2000, 2002], [2003, 2007]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 961, 'channel_start': 961, 'channel_size': 1, 'channel_end': 962, 'footer_start': 969, 'other_channel_ranges': [[962, 964], [964, 965], [965, 969]]})]}
for i, (p, expected) in enumerate(cases[N]):
check("layout fixture " + str(i + 1), solve(p), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| layout fixture 1 | {'channel_end': 15, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 14, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]], 'physical_channel': 2, 'pixel_origin': 11, 'pixel_pitch': 18, 'row_pitch': 21} | {'channel_end': 15, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 14, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]], 'physical_channel': 2, 'pixel_origin': 11, 'pixel_pitch': 10, 'row_pitch': 13} | Failed |
| layout fixture 2 | {'channel_end': 252, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 251, 'footer_start': 259, 'other_channel_ranges': [[252, 254], [254, 255], [255, 259]], 'physical_channel': 0, 'pixel_origin': 251, 'pixel_pitch': 18, 'row_pitch': 111} | {'channel_end': 148, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 147, 'footer_start': 155, 'other_channel_ranges': [[148, 150], [150, 151], [151, 155]], 'physical_channel': 0, 'pixel_origin': 147, 'pixel_pitch': 10, 'row_pitch': 63} | Failed |
| layout fixture 3 | {'channel_end': 1261, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 1257, 'footer_start': 1261, 'other_channel_ranges': [[1253, 1254], [1254, 1256], [1256, 1257]], 'physical_channel': 3, 'pixel_origin': 1253, 'pixel_pitch': 18, 'row_pitch': 183} | {'channel_end': 717, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 713, 'footer_start': 717, 'other_channel_ranges': [[709, 710], [710, 712], [712, 713]], 'physical_channel': 3, 'pixel_origin': 709, 'pixel_pitch': 10, 'row_pitch': 103} | Failed |
| layout fixture 4 | {'channel_end': 2321, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 2319, 'footer_start': 2326, 'other_channel_ranges': [[2318, 2319], [2321, 2322], [2322, 2326]], 'physical_channel': 1, 'pixel_origin': 2318, 'pixel_pitch': 18, 'row_pitch': 291} | {'channel_end': 1305, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 1303, 'footer_start': 1310, 'other_channel_ranges': [[1302, 1303], [1305, 1306], [1306, 1310]], 'physical_channel': 1, 'pixel_origin': 1302, 'pixel_pitch': 10, 'row_pitch': 163} | Failed |
| layout fixture 5 | {'channel_end': 2919, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 2918, 'footer_start': 2923, 'other_channel_ranges': [[2915, 2916], [2916, 2918], [2919, 2923]], 'physical_channel': 2, 'pixel_origin': 2915, 'pixel_pitch': 18, 'row_pitch': 327} | {'channel_end': 1639, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1638, 'footer_start': 1643, 'other_channel_ranges': [[1635, 1636], [1636, 1638], [1639, 1643]], 'physical_channel': 2, 'pixel_origin': 1635, 'pixel_pitch': 10, 'row_pitch': 183} | Failed |
| layout fixture 6 | {'channel_end': 1614, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1613, 'footer_start': 1621, 'other_channel_ranges': [[1614, 1616], [1616, 1617], [1617, 1621]], 'physical_channel': 0, 'pixel_origin': 1613, 'pixel_pitch': 18, 'row_pitch': 129} | {'channel_end': 918, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 917, 'footer_start': 925, 'other_channel_ranges': [[918, 920], [920, 921], [921, 925]], 'physical_channel': 0, 'pixel_origin': 917, 'pixel_pitch': 10, 'row_pitch': 73} | Failed |
SHA-256 / 5622524fb58fdf972b30f7729014ea8b2eb635644649fb78c9b73f1cdb4b2587
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(p):
p = dict(p)
channel_offsets = [sum(p["widths"][:i]) for i in range(4)]
pixel_pitch = sum(p["widths"])+2
physical_channel = p["remap"][p["channel"]]
row_pitch = p["w"]*pixel_pitch+3
pixel_origin = p["base"]+p["y"]*row_pitch+p["x"]*pixel_pitch
channel_start = pixel_origin+channel_offsets[physical_channel]
channel_size = p["widths"][physical_channel]
channel_end = channel_start+channel_size
footer_start = pixel_origin+sum(p["widths"])
other_channel_ranges = [[pixel_origin+channel_offsets[i],pixel_origin+channel_offsets[i]+p["widths"][i]] for i in range(4) if i!=physical_channel]
return {'channel_offsets': channel_offsets, 'pixel_pitch': pixel_pitch, 'physical_channel': physical_channel, 'row_pitch': row_pitch, 'pixel_origin': pixel_origin, 'channel_start': channel_start, 'channel_size': channel_size, 'channel_end': channel_end, 'footer_start': footer_start, 'other_channel_ranges': other_channel_ranges}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 2, 'base': 11, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 11, 'channel_start': 14, 'channel_size': 1, 'channel_end': 15, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]]}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 63, 'pixel_origin': 147, 'channel_start': 147, 'channel_size': 1, 'channel_end': 148, 'footer_start': 155, 'other_channel_ranges': [[148, 150], [150, 151], [151, 155]]}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 103, 'pixel_origin': 709, 'channel_start': 713, 'channel_size': 4, 'channel_end': 717, 'footer_start': 717, 'other_channel_ranges': [[709, 710], [710, 712], [712, 713]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1302, 'channel_start': 1303, 'channel_size': 2, 'channel_end': 1305, 'footer_start': 1310, 'other_channel_ranges': [[1302, 1303], [1305, 1306], [1306, 1310]]}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 183, 'pixel_origin': 1635, 'channel_start': 1638, 'channel_size': 1, 'channel_end': 1639, 'footer_start': 1643, 'other_channel_ranges': [[1635, 1636], [1636, 1638], [1639, 1643]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 917, 'channel_start': 917, 'channel_size': 1, 'channel_end': 918, 'footer_start': 925, 'other_channel_ranges': [[918, 920], [920, 921], [921, 925]]})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 22, 'channel_start': 25, 'channel_size': 1, 'channel_end': 26, 'footer_start': 30, 'other_channel_ranges': [[22, 23], [23, 25], [26, 30]]}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 178, 'channel_start': 178, 'channel_size': 1, 'channel_end': 179, 'footer_start': 186, 'other_channel_ranges': [[179, 181], [181, 182], [182, 186]]}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 113, 'pixel_origin': 780, 'channel_start': 784, 'channel_size': 4, 'channel_end': 788, 'footer_start': 788, 'other_channel_ranges': [[780, 781], [781, 783], [783, 784]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1313, 'channel_start': 1314, 'channel_size': 2, 'channel_end': 1316, 'footer_start': 1321, 'other_channel_ranges': [[1313, 1314], [1316, 1317], [1317, 1321]]}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 193, 'pixel_origin': 1726, 'channel_start': 1729, 'channel_size': 1, 'channel_end': 1730, 'footer_start': 1734, 'other_channel_ranges': [[1726, 1727], [1727, 1729], [1730, 1734]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 928, 'channel_start': 928, 'channel_size': 1, 'channel_end': 929, 'footer_start': 936, 'other_channel_ranges': [[929, 931], [931, 932], [932, 936]]})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 33, 'channel_start': 36, 'channel_size': 1, 'channel_end': 37, 'footer_start': 41, 'other_channel_ranges': [[33, 34], [34, 36], [37, 41]]}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 83, 'pixel_origin': 209, 'channel_start': 209, 'channel_size': 1, 'channel_end': 210, 'footer_start': 217, 'other_channel_ranges': [[210, 212], [212, 213], [213, 217]]}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 123, 'pixel_origin': 851, 'channel_start': 855, 'channel_size': 4, 'channel_end': 859, 'footer_start': 859, 'other_channel_ranges': [[851, 852], [852, 854], [854, 855]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1324, 'channel_start': 1325, 'channel_size': 2, 'channel_end': 1327, 'footer_start': 1332, 'other_channel_ranges': [[1324, 1325], [1327, 1328], [1328, 1332]]}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 203, 'pixel_origin': 1817, 'channel_start': 1820, 'channel_size': 1, 'channel_end': 1821, 'footer_start': 1825, 'other_channel_ranges': [[1817, 1818], [1818, 1820], [1821, 1825]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 939, 'channel_start': 939, 'channel_size': 1, 'channel_end': 940, 'footer_start': 947, 'other_channel_ranges': [[940, 942], [942, 943], [943, 947]]})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 44, 'channel_start': 47, 'channel_size': 1, 'channel_end': 48, 'footer_start': 52, 'other_channel_ranges': [[44, 45], [45, 47], [48, 52]]}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 93, 'pixel_origin': 240, 'channel_start': 240, 'channel_size': 1, 'channel_end': 241, 'footer_start': 248, 'other_channel_ranges': [[241, 243], [243, 244], [244, 248]]}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 133, 'pixel_origin': 922, 'channel_start': 926, 'channel_size': 4, 'channel_end': 930, 'footer_start': 930, 'other_channel_ranges': [[922, 923], [923, 925], [925, 926]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1335, 'channel_start': 1336, 'channel_size': 2, 'channel_end': 1338, 'footer_start': 1343, 'other_channel_ranges': [[1335, 1336], [1338, 1339], [1339, 1343]]}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 213, 'pixel_origin': 1908, 'channel_start': 1911, 'channel_size': 1, 'channel_end': 1912, 'footer_start': 1916, 'other_channel_ranges': [[1908, 1909], [1909, 1911], [1912, 1916]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 950, 'channel_start': 950, 'channel_size': 1, 'channel_end': 951, 'footer_start': 958, 'other_channel_ranges': [[951, 953], [953, 954], [954, 958]]})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 13, 'pixel_origin': 55, 'channel_start': 58, 'channel_size': 1, 'channel_end': 59, 'footer_start': 63, 'other_channel_ranges': [[55, 56], [56, 58], [59, 63]]}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 103, 'pixel_origin': 271, 'channel_start': 271, 'channel_size': 1, 'channel_end': 272, 'footer_start': 279, 'other_channel_ranges': [[272, 274], [274, 275], [275, 279]]}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'channel': 2, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 3, 'row_pitch': 143, 'pixel_origin': 993, 'channel_start': 997, 'channel_size': 4, 'channel_end': 1001, 'footer_start': 1001, 'other_channel_ranges': [[993, 994], [994, 996], [996, 997]]}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'channel': 3, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 1, 'row_pitch': 163, 'pixel_origin': 1346, 'channel_start': 1347, 'channel_size': 2, 'channel_end': 1349, 'footer_start': 1354, 'other_channel_ranges': [[1346, 1347], [1349, 1350], [1350, 1354]]}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'channel': 0, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 2, 'row_pitch': 223, 'pixel_origin': 1999, 'channel_start': 2002, 'channel_size': 1, 'channel_end': 2003, 'footer_start': 2007, 'other_channel_ranges': [[1999, 2000], [2000, 2002], [2003, 2007]]}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'channel': 1, 'remap': [2, 0, 3, 1], 'widths': [1, 2, 1, 4]}, {'channel_offsets': [0, 1, 3, 4], 'pixel_pitch': 10, 'physical_channel': 0, 'row_pitch': 73, 'pixel_origin': 961, 'channel_start': 961, 'channel_size': 1, 'channel_end': 962, 'footer_start': 969, 'other_channel_ranges': [[962, 964], [964, 965], [965, 969]]})]}
for i, (p, expected) in enumerate(cases[N]):
check("layout fixture " + str(i + 1), solve(p), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| layout fixture 1 | {'channel_end': 15, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 14, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]], 'physical_channel': 2, 'pixel_origin': 11, 'pixel_pitch': 10, 'row_pitch': 13} | {'channel_end': 15, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 14, 'footer_start': 19, 'other_channel_ranges': [[11, 12], [12, 14], [15, 19]], 'physical_channel': 2, 'pixel_origin': 11, 'pixel_pitch': 10, 'row_pitch': 13} | Passed |
| layout fixture 2 | {'channel_end': 148, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 147, 'footer_start': 155, 'other_channel_ranges': [[148, 150], [150, 151], [151, 155]], 'physical_channel': 0, 'pixel_origin': 147, 'pixel_pitch': 10, 'row_pitch': 63} | {'channel_end': 148, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 147, 'footer_start': 155, 'other_channel_ranges': [[148, 150], [150, 151], [151, 155]], 'physical_channel': 0, 'pixel_origin': 147, 'pixel_pitch': 10, 'row_pitch': 63} | Passed |
| layout fixture 3 | {'channel_end': 717, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 713, 'footer_start': 717, 'other_channel_ranges': [[709, 710], [710, 712], [712, 713]], 'physical_channel': 3, 'pixel_origin': 709, 'pixel_pitch': 10, 'row_pitch': 103} | {'channel_end': 717, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 713, 'footer_start': 717, 'other_channel_ranges': [[709, 710], [710, 712], [712, 713]], 'physical_channel': 3, 'pixel_origin': 709, 'pixel_pitch': 10, 'row_pitch': 103} | Passed |
| layout fixture 4 | {'channel_end': 1305, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 1303, 'footer_start': 1310, 'other_channel_ranges': [[1302, 1303], [1305, 1306], [1306, 1310]], 'physical_channel': 1, 'pixel_origin': 1302, 'pixel_pitch': 10, 'row_pitch': 163} | {'channel_end': 1305, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 1303, 'footer_start': 1310, 'other_channel_ranges': [[1302, 1303], [1305, 1306], [1306, 1310]], 'physical_channel': 1, 'pixel_origin': 1302, 'pixel_pitch': 10, 'row_pitch': 163} | Passed |
| layout fixture 5 | {'channel_end': 1639, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1638, 'footer_start': 1643, 'other_channel_ranges': [[1635, 1636], [1636, 1638], [1639, 1643]], 'physical_channel': 2, 'pixel_origin': 1635, 'pixel_pitch': 10, 'row_pitch': 183} | {'channel_end': 1639, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1638, 'footer_start': 1643, 'other_channel_ranges': [[1635, 1636], [1636, 1638], [1639, 1643]], 'physical_channel': 2, 'pixel_origin': 1635, 'pixel_pitch': 10, 'row_pitch': 183} | Passed |
| layout fixture 6 | {'channel_end': 918, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 917, 'footer_start': 925, 'other_channel_ranges': [[918, 920], [920, 921], [921, 925]], 'physical_channel': 0, 'pixel_origin': 917, 'pixel_pitch': 10, 'row_pitch': 73} | {'channel_end': 918, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 917, 'footer_start': 925, 'other_channel_ranges': [[918, 920], [920, 921], [921, 925]], 'physical_channel': 0, 'pixel_origin': 917, 'pixel_pitch': 10, 'row_pitch': 73} | Passed |
SHA-256 / 016a9bda869b72e8f1ae3876ea0ebcbafac9412f7f10d42db3a3ac415526f4c2
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:45:36.599810+00:00.
Case digest / dfa5c221b6ef62acba90ef6523d9cee533fb840495c27462742b066d3ebbda9f