FA-53206 / Raster memory layout / Open access
Heterogeneous Channel Records: Record-row guard omitted or inserted per pixel · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitch.
ROOT CAUSE
Record-row guard omitted or inserted per pixel The faulty expression is p["w"]*pixel_pitch.
VERIFIED REPAIR
Apply the stipulated layout rule at row_pitch: p["w"]*pixel_pitch+3.
Unsuccessful approach: The attempted repair uses p["w"]*(pixel_pitch+3) 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"])+2
physical_channel = p["remap"][p["channel"]]
row_pitch = p["w"]*pixel_pitch
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': 10} | {'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': 142, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 141, 'footer_start': 149, 'other_channel_ranges': [[142, 144], [144, 145], [145, 149]], 'physical_channel': 0, 'pixel_origin': 141, 'pixel_pitch': 10, 'row_pitch': 60} | {'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': 699, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 695, 'footer_start': 699, 'other_channel_ranges': [[691, 692], [692, 694], [694, 695]], 'physical_channel': 3, 'pixel_origin': 691, 'pixel_pitch': 10, 'row_pitch': 100} | {'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': 1284, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 1282, 'footer_start': 1289, 'other_channel_ranges': [[1281, 1282], [1284, 1285], [1285, 1289]], 'physical_channel': 1, 'pixel_origin': 1281, 'pixel_pitch': 10, 'row_pitch': 160} | {'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': 1615, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1614, 'footer_start': 1619, 'other_channel_ranges': [[1611, 1612], [1612, 1614], [1615, 1619]], 'physical_channel': 2, 'pixel_origin': 1611, 'pixel_pitch': 10, 'row_pitch': 180} | {'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': 882, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 881, 'footer_start': 889, 'other_channel_ranges': [[882, 884], [884, 885], [885, 889]], 'physical_channel': 0, 'pixel_origin': 881, 'pixel_pitch': 10, 'row_pitch': 70} | {'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 / a319270388d015959c52bae802889675a4b16a1d2c7fb9341548fb7cd3166285
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 = 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': 178, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 177, 'footer_start': 185, 'other_channel_ranges': [[178, 180], [180, 181], [181, 185]], 'physical_channel': 0, 'pixel_origin': 177, 'pixel_pitch': 10, 'row_pitch': 78} | {'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': 879, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 4, 'channel_start': 875, 'footer_start': 879, 'other_channel_ranges': [[871, 872], [872, 874], [874, 875]], 'physical_channel': 3, 'pixel_origin': 871, 'pixel_pitch': 10, 'row_pitch': 130} | {'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': 1620, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 2, 'channel_start': 1618, 'footer_start': 1625, 'other_channel_ranges': [[1617, 1618], [1620, 1621], [1621, 1625]], 'physical_channel': 1, 'pixel_origin': 1617, 'pixel_pitch': 10, 'row_pitch': 208} | {'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': 2047, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 2046, 'footer_start': 2051, 'other_channel_ranges': [[2043, 2044], [2044, 2046], [2047, 2051]], 'physical_channel': 2, 'pixel_origin': 2043, 'pixel_pitch': 10, 'row_pitch': 234} | {'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': 1134, 'channel_offsets': [0, 1, 3, 4], 'channel_size': 1, 'channel_start': 1133, 'footer_start': 1141, 'other_channel_ranges': [[1134, 1136], [1136, 1137], [1137, 1141]], 'physical_channel': 0, 'pixel_origin': 1133, 'pixel_pitch': 10, 'row_pitch': 91} | {'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 / ad142a725641eab34a334bc3dd0da235293610c2f17da7fc994cd98ab5671aca
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.644062+00:00.
Case digest / 4ab3816d7c219d43b971ba1b985e1b047e69b70ed8b9aa9785557eea198ca744