FAILURE MAP
← Case archive

FA-52841 / Raster memory layout / Open access

Packed 422 Macropixels: Packed 422 allocation loses odd macropixel or doubles pairs · case 01

The returned physical layout descriptor disagrees with the declared buffer mapping at pairs.

Verified by executionVariant 1 · 6 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Packed 422 allocation loses odd macropixel or doubles pairs The faulty expression is p["w"]//2.

VERIFIED REPAIR

Apply the stipulated layout rule at pairs: (p["w"]+1)//2.

Unsuccessful approach: The attempted repair uses p["w"] and still violates the layout contract.

Case contract

A stipulated 4:2:2 image stores each pair as [Y0,U,Y1,V], with two bytes per component. Odd final pairs still reserve both luma slots. Three-byte row prefixes precede complete macropixels. 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)
    pairs = p["w"]//2
    pair_id = p["x"]//2
    luma_lane = 0 if p["x"]%2==0 else 2
    component_lane = luma_lane if p["component"]==0 else (1 if p["component"]==1 else 3)
    row_pitch = pairs*8+3
    row_origin = p["base"]+p["y"]*row_pitch+3
    pair_origin = row_origin+pair_id*8
    address = pair_origin+component_lane*2
    valid_luma_slots = min(2,p["w"]-pair_id*2)
    allocation_end = p["base"]+p["h"]*row_pitch
    return {'pairs': pairs, 'pair_id': pair_id, 'luma_lane': luma_lane, 'component_lane': component_lane, 'row_pitch': row_pitch, 'row_origin': row_origin, 'pair_origin': pair_origin, 'address': address, 'valid_luma_slots': valid_luma_slots, 'allocation_end': allocation_end}
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, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 14, 'pair_origin': 14, 'address': 14, 'valid_luma_slots': 1, 'allocation_end': 22}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'component': 1}, {'pairs': 3, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 27, 'row_origin': 68, 'pair_origin': 68, 'address': 70, 'valid_luma_slots': 2, 'allocation_end': 119}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'component': 2}, {'pairs': 5, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 43, 'row_origin': 272, 'pair_origin': 304, 'address': 310, 'valid_luma_slots': 2, 'allocation_end': 355}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 483, 'pair_origin': 539, 'address': 543, 'valid_luma_slots': 2, 'allocation_end': 547}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'component': 1}, {'pairs': 9, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 75, 'row_origin': 614, 'pair_origin': 678, 'address': 680, 'valid_luma_slots': 2, 'allocation_end': 761}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 434, 'pair_origin': 442, 'address': 448, 'valid_luma_slots': 2, 'allocation_end': 466})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 25, 'pair_origin': 25, 'address': 25, 'valid_luma_slots': 1, 'allocation_end': 33}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'component': 1}, {'pairs': 4, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 35, 'row_origin': 95, 'pair_origin': 95, 'address': 97, 'valid_luma_slots': 2, 'allocation_end': 197}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'component': 2}, {'pairs': 6, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 51, 'row_origin': 331, 'pair_origin': 363, 'address': 369, 'valid_luma_slots': 2, 'allocation_end': 481}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 494, 'pair_origin': 550, 'address': 554, 'valid_luma_slots': 2, 'allocation_end': 558}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'component': 1}, {'pairs': 10, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 83, 'row_origin': 689, 'pair_origin': 753, 'address': 755, 'valid_luma_slots': 2, 'allocation_end': 935}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 445, 'pair_origin': 453, 'address': 459, 'valid_luma_slots': 2, 'allocation_end': 477})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 36, 'pair_origin': 36, 'address': 36, 'valid_luma_slots': 1, 'allocation_end': 44}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'component': 1}, {'pairs': 4, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 35, 'row_origin': 106, 'pair_origin': 106, 'address': 108, 'valid_luma_slots': 2, 'allocation_end': 243}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'component': 2}, {'pairs': 6, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 51, 'row_origin': 342, 'pair_origin': 374, 'address': 380, 'valid_luma_slots': 2, 'allocation_end': 543}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 505, 'pair_origin': 561, 'address': 565, 'valid_luma_slots': 2, 'allocation_end': 569}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'component': 1}, {'pairs': 10, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 83, 'row_origin': 700, 'pair_origin': 764, 'address': 766, 'valid_luma_slots': 2, 'allocation_end': 1029}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 456, 'pair_origin': 464, 'address': 470, 'valid_luma_slots': 2, 'allocation_end': 488})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 47, 'pair_origin': 47, 'address': 47, 'valid_luma_slots': 1, 'allocation_end': 55}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'component': 1}, {'pairs': 5, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 43, 'row_origin': 133, 'pair_origin': 133, 'address': 135, 'valid_luma_slots': 2, 'allocation_end': 345}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'component': 2}, {'pairs': 7, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 59, 'row_origin': 401, 'pair_origin': 433, 'address': 439, 'valid_luma_slots': 2, 'allocation_end': 693}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 516, 'pair_origin': 572, 'address': 576, 'valid_luma_slots': 2, 'allocation_end': 580}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'component': 1}, {'pairs': 11, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 91, 'row_origin': 775, 'pair_origin': 839, 'address': 841, 'valid_luma_slots': 2, 'allocation_end': 1227}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 467, 'pair_origin': 475, 'address': 481, 'valid_luma_slots': 2, 'allocation_end': 499})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 58, 'pair_origin': 58, 'address': 58, 'valid_luma_slots': 1, 'allocation_end': 66}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'component': 1}, {'pairs': 5, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 43, 'row_origin': 144, 'pair_origin': 144, 'address': 146, 'valid_luma_slots': 2, 'allocation_end': 399}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'component': 2}, {'pairs': 7, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 59, 'row_origin': 412, 'pair_origin': 444, 'address': 450, 'valid_luma_slots': 2, 'allocation_end': 763}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 527, 'pair_origin': 583, 'address': 587, 'valid_luma_slots': 2, 'allocation_end': 591}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'component': 1}, {'pairs': 11, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 91, 'row_origin': 786, 'pair_origin': 850, 'address': 852, 'valid_luma_slots': 2, 'allocation_end': 1329}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 478, 'pair_origin': 486, 'address': 492, 'valid_luma_slots': 2, 'allocation_end': 510})]}
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 fixtureActualExpectedOutcome
layout fixture 1{'address': 14, 'allocation_end': 14, 'component_lane': 0, 'luma_lane': 0, 'pair_id': 0, 'pair_origin': 14, 'pairs': 0, 'row_origin': 14, 'row_pitch': 3, 'valid_luma_slots': 1}{'address': 14, 'allocation_end': 22, 'component_lane': 0, 'luma_lane': 0, 'pair_id': 0, 'pair_origin': 14, 'pairs': 1, 'row_origin': 14, 'row_pitch': 11, 'valid_luma_slots': 1}Failed
layout fixture 2{'address': 70, 'allocation_end': 119, 'component_lane': 1, 'luma_lane': 2, 'pair_id': 0, 'pair_origin': 68, 'pairs': 3, 'row_origin': 68, 'row_pitch': 27, 'valid_luma_slots': 2}{'address': 70, 'allocation_end': 119, 'component_lane': 1, 'luma_lane': 2, 'pair_id': 0, 'pair_origin': 68, 'pairs': 3, 'row_origin': 68, 'row_pitch': 27, 'valid_luma_slots': 2}Passed
layout fixture 3{'address': 310, 'allocation_end': 355, 'component_lane': 3, 'luma_lane': 0, 'pair_id': 4, 'pair_origin': 304, 'pairs': 5, 'row_origin': 272, 'row_pitch': 43, 'valid_luma_slots': 2}{'address': 310, 'allocation_end': 355, 'component_lane': 3, 'luma_lane': 0, 'pair_id': 4, 'pair_origin': 304, 'pairs': 5, 'row_origin': 272, 'row_pitch': 43, 'valid_luma_slots': 2}Passed
layout fixture 4{'address': 543, 'allocation_end': 547, 'component_lane': 2, 'luma_lane': 2, 'pair_id': 7, 'pair_origin': 539, 'pairs': 8, 'row_origin': 483, 'row_pitch': 67, 'valid_luma_slots': 2}{'address': 543, 'allocation_end': 547, 'component_lane': 2, 'luma_lane': 2, 'pair_id': 7, 'pair_origin': 539, 'pairs': 8, 'row_origin': 483, 'row_pitch': 67, 'valid_luma_slots': 2}Passed
layout fixture 5{'address': 680, 'allocation_end': 761, 'component_lane': 1, 'luma_lane': 0, 'pair_id': 8, 'pair_origin': 678, 'pairs': 9, 'row_origin': 614, 'row_pitch': 75, 'valid_luma_slots': 2}{'address': 680, 'allocation_end': 761, 'component_lane': 1, 'luma_lane': 0, 'pair_id': 8, 'pair_origin': 678, 'pairs': 9, 'row_origin': 614, 'row_pitch': 75, 'valid_luma_slots': 2}Passed
layout fixture 6{'address': 352, 'allocation_end': 362, 'component_lane': 3, 'luma_lane': 2, 'pair_id': 1, 'pair_origin': 346, 'pairs': 3, 'row_origin': 338, 'row_pitch': 27, 'valid_luma_slots': 2}{'address': 448, 'allocation_end': 466, 'component_lane': 3, 'luma_lane': 2, 'pair_id': 1, 'pair_origin': 442, 'pairs': 4, 'row_origin': 434, 'row_pitch': 35, 'valid_luma_slots': 2}Failed

SHA-256 / 4f8b00a322bf5add5043a8b4e435afa42636029f771a2549f2c5ea0835f1d61b

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)
    pairs = p["w"]
    pair_id = p["x"]//2
    luma_lane = 0 if p["x"]%2==0 else 2
    component_lane = luma_lane if p["component"]==0 else (1 if p["component"]==1 else 3)
    row_pitch = pairs*8+3
    row_origin = p["base"]+p["y"]*row_pitch+3
    pair_origin = row_origin+pair_id*8
    address = pair_origin+component_lane*2
    valid_luma_slots = min(2,p["w"]-pair_id*2)
    allocation_end = p["base"]+p["h"]*row_pitch
    return {'pairs': pairs, 'pair_id': pair_id, 'luma_lane': luma_lane, 'component_lane': component_lane, 'row_pitch': row_pitch, 'row_origin': row_origin, 'pair_origin': pair_origin, 'address': address, 'valid_luma_slots': valid_luma_slots, 'allocation_end': allocation_end}
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, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 14, 'pair_origin': 14, 'address': 14, 'valid_luma_slots': 1, 'allocation_end': 22}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'component': 1}, {'pairs': 3, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 27, 'row_origin': 68, 'pair_origin': 68, 'address': 70, 'valid_luma_slots': 2, 'allocation_end': 119}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'component': 2}, {'pairs': 5, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 43, 'row_origin': 272, 'pair_origin': 304, 'address': 310, 'valid_luma_slots': 2, 'allocation_end': 355}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 483, 'pair_origin': 539, 'address': 543, 'valid_luma_slots': 2, 'allocation_end': 547}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'component': 1}, {'pairs': 9, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 75, 'row_origin': 614, 'pair_origin': 678, 'address': 680, 'valid_luma_slots': 2, 'allocation_end': 761}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 434, 'pair_origin': 442, 'address': 448, 'valid_luma_slots': 2, 'allocation_end': 466})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 25, 'pair_origin': 25, 'address': 25, 'valid_luma_slots': 1, 'allocation_end': 33}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'component': 1}, {'pairs': 4, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 35, 'row_origin': 95, 'pair_origin': 95, 'address': 97, 'valid_luma_slots': 2, 'allocation_end': 197}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'component': 2}, {'pairs': 6, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 51, 'row_origin': 331, 'pair_origin': 363, 'address': 369, 'valid_luma_slots': 2, 'allocation_end': 481}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 494, 'pair_origin': 550, 'address': 554, 'valid_luma_slots': 2, 'allocation_end': 558}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'component': 1}, {'pairs': 10, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 83, 'row_origin': 689, 'pair_origin': 753, 'address': 755, 'valid_luma_slots': 2, 'allocation_end': 935}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 445, 'pair_origin': 453, 'address': 459, 'valid_luma_slots': 2, 'allocation_end': 477})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 36, 'pair_origin': 36, 'address': 36, 'valid_luma_slots': 1, 'allocation_end': 44}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'component': 1}, {'pairs': 4, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 35, 'row_origin': 106, 'pair_origin': 106, 'address': 108, 'valid_luma_slots': 2, 'allocation_end': 243}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'component': 2}, {'pairs': 6, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 51, 'row_origin': 342, 'pair_origin': 374, 'address': 380, 'valid_luma_slots': 2, 'allocation_end': 543}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 505, 'pair_origin': 561, 'address': 565, 'valid_luma_slots': 2, 'allocation_end': 569}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'component': 1}, {'pairs': 10, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 83, 'row_origin': 700, 'pair_origin': 764, 'address': 766, 'valid_luma_slots': 2, 'allocation_end': 1029}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 456, 'pair_origin': 464, 'address': 470, 'valid_luma_slots': 2, 'allocation_end': 488})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 47, 'pair_origin': 47, 'address': 47, 'valid_luma_slots': 1, 'allocation_end': 55}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'component': 1}, {'pairs': 5, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 43, 'row_origin': 133, 'pair_origin': 133, 'address': 135, 'valid_luma_slots': 2, 'allocation_end': 345}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'component': 2}, {'pairs': 7, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 59, 'row_origin': 401, 'pair_origin': 433, 'address': 439, 'valid_luma_slots': 2, 'allocation_end': 693}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 516, 'pair_origin': 572, 'address': 576, 'valid_luma_slots': 2, 'allocation_end': 580}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'component': 1}, {'pairs': 11, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 91, 'row_origin': 775, 'pair_origin': 839, 'address': 841, 'valid_luma_slots': 2, 'allocation_end': 1227}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 467, 'pair_origin': 475, 'address': 481, 'valid_luma_slots': 2, 'allocation_end': 499})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 58, 'pair_origin': 58, 'address': 58, 'valid_luma_slots': 1, 'allocation_end': 66}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'component': 1}, {'pairs': 5, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 43, 'row_origin': 144, 'pair_origin': 144, 'address': 146, 'valid_luma_slots': 2, 'allocation_end': 399}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'component': 2}, {'pairs': 7, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 59, 'row_origin': 412, 'pair_origin': 444, 'address': 450, 'valid_luma_slots': 2, 'allocation_end': 763}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 527, 'pair_origin': 583, 'address': 587, 'valid_luma_slots': 2, 'allocation_end': 591}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'component': 1}, {'pairs': 11, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 91, 'row_origin': 786, 'pair_origin': 850, 'address': 852, 'valid_luma_slots': 2, 'allocation_end': 1329}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 478, 'pair_origin': 486, 'address': 492, 'valid_luma_slots': 2, 'allocation_end': 510})]}
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 fixtureActualExpectedOutcome
layout fixture 1{'address': 14, 'allocation_end': 22, 'component_lane': 0, 'luma_lane': 0, 'pair_id': 0, 'pair_origin': 14, 'pairs': 1, 'row_origin': 14, 'row_pitch': 11, 'valid_luma_slots': 1}{'address': 14, 'allocation_end': 22, 'component_lane': 0, 'luma_lane': 0, 'pair_id': 0, 'pair_origin': 14, 'pairs': 1, 'row_origin': 14, 'row_pitch': 11, 'valid_luma_slots': 1}Passed
layout fixture 2{'address': 118, 'allocation_end': 215, 'component_lane': 1, 'luma_lane': 2, 'pair_id': 0, 'pair_origin': 116, 'pairs': 6, 'row_origin': 116, 'row_pitch': 51, 'valid_luma_slots': 2}{'address': 70, 'allocation_end': 119, 'component_lane': 1, 'luma_lane': 2, 'pair_id': 0, 'pair_origin': 68, 'pairs': 3, 'row_origin': 68, 'row_pitch': 27, 'valid_luma_slots': 2}Failed
layout fixture 3{'address': 550, 'allocation_end': 675, 'component_lane': 3, 'luma_lane': 0, 'pair_id': 4, 'pair_origin': 544, 'pairs': 10, 'row_origin': 512, 'row_pitch': 83, 'valid_luma_slots': 2}{'address': 310, 'allocation_end': 355, 'component_lane': 3, 'luma_lane': 0, 'pair_id': 4, 'pair_origin': 304, 'pairs': 5, 'row_origin': 272, 'row_pitch': 43, 'valid_luma_slots': 2}Failed
layout fixture 4{'address': 991, 'allocation_end': 1059, 'component_lane': 2, 'luma_lane': 2, 'pair_id': 7, 'pair_origin': 987, 'pairs': 16, 'row_origin': 931, 'row_pitch': 131, 'valid_luma_slots': 2}{'address': 543, 'allocation_end': 547, 'component_lane': 2, 'luma_lane': 2, 'pair_id': 7, 'pair_origin': 539, 'pairs': 8, 'row_origin': 483, 'row_pitch': 67, 'valid_luma_slots': 2}Failed
layout fixture 5{'address': 1256, 'allocation_end': 1481, 'component_lane': 1, 'luma_lane': 0, 'pair_id': 8, 'pair_origin': 1254, 'pairs': 18, 'row_origin': 1190, 'row_pitch': 147, 'valid_luma_slots': 2}{'address': 680, 'allocation_end': 761, 'component_lane': 1, 'luma_lane': 0, 'pair_id': 8, 'pair_origin': 678, 'pairs': 9, 'row_origin': 614, 'row_pitch': 75, 'valid_luma_slots': 2}Failed
layout fixture 6{'address': 736, 'allocation_end': 778, 'component_lane': 3, 'luma_lane': 2, 'pair_id': 1, 'pair_origin': 730, 'pairs': 7, 'row_origin': 722, 'row_pitch': 59, 'valid_luma_slots': 2}{'address': 448, 'allocation_end': 466, 'component_lane': 3, 'luma_lane': 2, 'pair_id': 1, 'pair_origin': 442, 'pairs': 4, 'row_origin': 434, 'row_pitch': 35, 'valid_luma_slots': 2}Failed

SHA-256 / 95863e246fc62d9edd0be437f83d3242d5ad42ec18f636596246e81c0664ea4e

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)
    pairs = (p["w"]+1)//2
    pair_id = p["x"]//2
    luma_lane = 0 if p["x"]%2==0 else 2
    component_lane = luma_lane if p["component"]==0 else (1 if p["component"]==1 else 3)
    row_pitch = pairs*8+3
    row_origin = p["base"]+p["y"]*row_pitch+3
    pair_origin = row_origin+pair_id*8
    address = pair_origin+component_lane*2
    valid_luma_slots = min(2,p["w"]-pair_id*2)
    allocation_end = p["base"]+p["h"]*row_pitch
    return {'pairs': pairs, 'pair_id': pair_id, 'luma_lane': luma_lane, 'component_lane': component_lane, 'row_pitch': row_pitch, 'row_origin': row_origin, 'pair_origin': pair_origin, 'address': address, 'valid_luma_slots': valid_luma_slots, 'allocation_end': allocation_end}
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, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 14, 'pair_origin': 14, 'address': 14, 'valid_luma_slots': 1, 'allocation_end': 22}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'component': 1}, {'pairs': 3, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 27, 'row_origin': 68, 'pair_origin': 68, 'address': 70, 'valid_luma_slots': 2, 'allocation_end': 119}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'component': 2}, {'pairs': 5, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 43, 'row_origin': 272, 'pair_origin': 304, 'address': 310, 'valid_luma_slots': 2, 'allocation_end': 355}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 483, 'pair_origin': 539, 'address': 543, 'valid_luma_slots': 2, 'allocation_end': 547}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'component': 1}, {'pairs': 9, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 75, 'row_origin': 614, 'pair_origin': 678, 'address': 680, 'valid_luma_slots': 2, 'allocation_end': 761}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 434, 'pair_origin': 442, 'address': 448, 'valid_luma_slots': 2, 'allocation_end': 466})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 25, 'pair_origin': 25, 'address': 25, 'valid_luma_slots': 1, 'allocation_end': 33}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'component': 1}, {'pairs': 4, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 35, 'row_origin': 95, 'pair_origin': 95, 'address': 97, 'valid_luma_slots': 2, 'allocation_end': 197}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'component': 2}, {'pairs': 6, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 51, 'row_origin': 331, 'pair_origin': 363, 'address': 369, 'valid_luma_slots': 2, 'allocation_end': 481}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 494, 'pair_origin': 550, 'address': 554, 'valid_luma_slots': 2, 'allocation_end': 558}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'component': 1}, {'pairs': 10, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 83, 'row_origin': 689, 'pair_origin': 753, 'address': 755, 'valid_luma_slots': 2, 'allocation_end': 935}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 445, 'pair_origin': 453, 'address': 459, 'valid_luma_slots': 2, 'allocation_end': 477})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 36, 'pair_origin': 36, 'address': 36, 'valid_luma_slots': 1, 'allocation_end': 44}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'component': 1}, {'pairs': 4, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 35, 'row_origin': 106, 'pair_origin': 106, 'address': 108, 'valid_luma_slots': 2, 'allocation_end': 243}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'component': 2}, {'pairs': 6, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 51, 'row_origin': 342, 'pair_origin': 374, 'address': 380, 'valid_luma_slots': 2, 'allocation_end': 543}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 505, 'pair_origin': 561, 'address': 565, 'valid_luma_slots': 2, 'allocation_end': 569}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'component': 1}, {'pairs': 10, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 83, 'row_origin': 700, 'pair_origin': 764, 'address': 766, 'valid_luma_slots': 2, 'allocation_end': 1029}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 456, 'pair_origin': 464, 'address': 470, 'valid_luma_slots': 2, 'allocation_end': 488})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 47, 'pair_origin': 47, 'address': 47, 'valid_luma_slots': 1, 'allocation_end': 55}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'component': 1}, {'pairs': 5, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 43, 'row_origin': 133, 'pair_origin': 133, 'address': 135, 'valid_luma_slots': 2, 'allocation_end': 345}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'component': 2}, {'pairs': 7, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 59, 'row_origin': 401, 'pair_origin': 433, 'address': 439, 'valid_luma_slots': 2, 'allocation_end': 693}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 516, 'pair_origin': 572, 'address': 576, 'valid_luma_slots': 2, 'allocation_end': 580}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'component': 1}, {'pairs': 11, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 91, 'row_origin': 775, 'pair_origin': 839, 'address': 841, 'valid_luma_slots': 2, 'allocation_end': 1227}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 467, 'pair_origin': 475, 'address': 481, 'valid_luma_slots': 2, 'allocation_end': 499})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'component': 0}, {'pairs': 1, 'pair_id': 0, 'luma_lane': 0, 'component_lane': 0, 'row_pitch': 11, 'row_origin': 58, 'pair_origin': 58, 'address': 58, 'valid_luma_slots': 1, 'allocation_end': 66}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'component': 1}, {'pairs': 5, 'pair_id': 0, 'luma_lane': 2, 'component_lane': 1, 'row_pitch': 43, 'row_origin': 144, 'pair_origin': 144, 'address': 146, 'valid_luma_slots': 2, 'allocation_end': 399}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'component': 2}, {'pairs': 7, 'pair_id': 4, 'luma_lane': 0, 'component_lane': 3, 'row_pitch': 59, 'row_origin': 412, 'pair_origin': 444, 'address': 450, 'valid_luma_slots': 2, 'allocation_end': 763}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'component': 0}, {'pairs': 8, 'pair_id': 7, 'luma_lane': 2, 'component_lane': 2, 'row_pitch': 67, 'row_origin': 527, 'pair_origin': 583, 'address': 587, 'valid_luma_slots': 2, 'allocation_end': 591}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'component': 1}, {'pairs': 11, 'pair_id': 8, 'luma_lane': 0, 'component_lane': 1, 'row_pitch': 91, 'row_origin': 786, 'pair_origin': 850, 'address': 852, 'valid_luma_slots': 2, 'allocation_end': 1329}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'component': 2}, {'pairs': 4, 'pair_id': 1, 'luma_lane': 2, 'component_lane': 3, 'row_pitch': 35, 'row_origin': 478, 'pair_origin': 486, 'address': 492, 'valid_luma_slots': 2, 'allocation_end': 510})]}
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 fixtureActualExpectedOutcome
layout fixture 1{'address': 14, 'allocation_end': 22, 'component_lane': 0, 'luma_lane': 0, 'pair_id': 0, 'pair_origin': 14, 'pairs': 1, 'row_origin': 14, 'row_pitch': 11, 'valid_luma_slots': 1}{'address': 14, 'allocation_end': 22, 'component_lane': 0, 'luma_lane': 0, 'pair_id': 0, 'pair_origin': 14, 'pairs': 1, 'row_origin': 14, 'row_pitch': 11, 'valid_luma_slots': 1}Passed
layout fixture 2{'address': 70, 'allocation_end': 119, 'component_lane': 1, 'luma_lane': 2, 'pair_id': 0, 'pair_origin': 68, 'pairs': 3, 'row_origin': 68, 'row_pitch': 27, 'valid_luma_slots': 2}{'address': 70, 'allocation_end': 119, 'component_lane': 1, 'luma_lane': 2, 'pair_id': 0, 'pair_origin': 68, 'pairs': 3, 'row_origin': 68, 'row_pitch': 27, 'valid_luma_slots': 2}Passed
layout fixture 3{'address': 310, 'allocation_end': 355, 'component_lane': 3, 'luma_lane': 0, 'pair_id': 4, 'pair_origin': 304, 'pairs': 5, 'row_origin': 272, 'row_pitch': 43, 'valid_luma_slots': 2}{'address': 310, 'allocation_end': 355, 'component_lane': 3, 'luma_lane': 0, 'pair_id': 4, 'pair_origin': 304, 'pairs': 5, 'row_origin': 272, 'row_pitch': 43, 'valid_luma_slots': 2}Passed
layout fixture 4{'address': 543, 'allocation_end': 547, 'component_lane': 2, 'luma_lane': 2, 'pair_id': 7, 'pair_origin': 539, 'pairs': 8, 'row_origin': 483, 'row_pitch': 67, 'valid_luma_slots': 2}{'address': 543, 'allocation_end': 547, 'component_lane': 2, 'luma_lane': 2, 'pair_id': 7, 'pair_origin': 539, 'pairs': 8, 'row_origin': 483, 'row_pitch': 67, 'valid_luma_slots': 2}Passed
layout fixture 5{'address': 680, 'allocation_end': 761, 'component_lane': 1, 'luma_lane': 0, 'pair_id': 8, 'pair_origin': 678, 'pairs': 9, 'row_origin': 614, 'row_pitch': 75, 'valid_luma_slots': 2}{'address': 680, 'allocation_end': 761, 'component_lane': 1, 'luma_lane': 0, 'pair_id': 8, 'pair_origin': 678, 'pairs': 9, 'row_origin': 614, 'row_pitch': 75, 'valid_luma_slots': 2}Passed
layout fixture 6{'address': 448, 'allocation_end': 466, 'component_lane': 3, 'luma_lane': 2, 'pair_id': 1, 'pair_origin': 442, 'pairs': 4, 'row_origin': 434, 'row_pitch': 35, 'valid_luma_slots': 2}{'address': 448, 'allocation_end': 466, 'component_lane': 3, 'luma_lane': 2, 'pair_id': 1, 'pair_origin': 442, 'pairs': 4, 'row_origin': 434, 'row_pitch': 35, 'valid_luma_slots': 2}Passed

SHA-256 / 6ae813e5be31561b8a1bd9c4ceeaeaefbe5ee5b156ccf5fb1f414f969c7eb978

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:32.940473+00:00.

Case digest / 9e1efeb2126ff0741f088ab1810a8fb45b48643e428b1413dd5ebbd6331766c5