FA-51911 / Raster memory layout / Open access
Nested Macrotiles: Microtile x retains the macrotile component · case 01
The returned physical layout descriptor disagrees with the declared buffer mapping at micro_x.
ROOT CAUSE
Microtile x retains the macrotile component The faulty expression is p["x"]//4.
VERIFIED REPAIR
Apply the stipulated layout rule at micro_x: (p["x"]%8)//4.
Unsuccessful approach: The attempted repair uses p["x"]%4 and still violates the layout contract.
Case contract
An 8x8 macrotile contains four 4x4 microtiles in column-major order; texels within each microtile are row-major. Macrotiles are row-major and each macrotile has a configurable trailer. 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)
macro_columns = (p["w"]+7)//8
macro_x = p["x"]//8
macro_y = p["y"]//8
macro_id = macro_y*macro_columns+macro_x
micro_x = p["x"]//4
micro_y = (p["y"]%8)//4
micro_id = micro_x*2+micro_y
local_texel = (p["y"]%4)*4+p["x"]%4
macro_pitch = 64*p["b"]+p["trailer"]
address = p["base"]+macro_id*macro_pitch+(micro_id*16+local_texel)*p["b"]
return {'macro_columns': macro_columns, 'macro_x': macro_x, 'macro_y': macro_y, 'macro_id': macro_id, 'micro_x': micro_x, 'micro_y': micro_y, 'micro_id': micro_id, 'local_texel': local_texel, 'macro_pitch': macro_pitch, 'address': address}
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, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 132, 'address': 11}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 132, 'address': 29}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 132, 'address': 191}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 132, 'address': 269}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 132, 'address': 671}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 132, 'address': 181})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 197, 'address': 22}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 197, 'address': 49}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 197, 'address': 291}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 197, 'address': 408}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 197, 'address': 1007}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 197, 'address': 276})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 262, 'address': 33}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 262, 'address': 69}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 262, 'address': 391}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 262, 'address': 547}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 262, 'address': 1343}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 262, 'address': 371})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 327, 'address': 44}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 327, 'address': 89}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 327, 'address': 491}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 327, 'address': 686}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 327, 'address': 1679}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 327, 'address': 466})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 392, 'address': 55}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 392, 'address': 109}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 392, 'address': 591}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 392, 'address': 825}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 392, 'address': 2015}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 392, 'address': 561})]}
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 | {'address': 11, 'local_texel': 0, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | {'address': 11, 'local_texel': 0, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Passed |
| layout fixture 2 | {'address': 29, 'local_texel': 9, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | {'address': 29, 'local_texel': 9, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Passed |
| layout fixture 3 | {'address': 319, 'local_texel': 8, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 5, 'micro_x': 2, 'micro_y': 1} | {'address': 191, 'local_texel': 8, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | Failed |
| layout fixture 4 | {'address': 397, 'local_texel': 15, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 7, 'micro_x': 3, 'micro_y': 1} | {'address': 269, 'local_texel': 15, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 3, 'micro_x': 1, 'micro_y': 1} | Failed |
| layout fixture 5 | {'address': 927, 'local_texel': 0, 'macro_columns': 3, 'macro_id': 5, 'macro_pitch': 132, 'macro_x': 2, 'macro_y': 1, 'micro_id': 8, 'micro_x': 4, 'micro_y': 0} | {'address': 671, 'local_texel': 0, 'macro_columns': 3, 'macro_id': 5, 'macro_pitch': 132, 'macro_x': 2, 'macro_y': 1, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Failed |
| layout fixture 6 | {'address': 181, 'local_texel': 3, 'macro_columns': 1, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 1, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | {'address': 181, 'local_texel': 3, 'macro_columns': 1, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 1, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | Passed |
SHA-256 / 84b6cb3fc91585a0c70fff0e6c7fd5d4dcc41c065a3e6e6161ae0e26e8704074
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)
macro_columns = (p["w"]+7)//8
macro_x = p["x"]//8
macro_y = p["y"]//8
macro_id = macro_y*macro_columns+macro_x
micro_x = p["x"]%4
micro_y = (p["y"]%8)//4
micro_id = micro_x*2+micro_y
local_texel = (p["y"]%4)*4+p["x"]%4
macro_pitch = 64*p["b"]+p["trailer"]
address = p["base"]+macro_id*macro_pitch+(micro_id*16+local_texel)*p["b"]
return {'macro_columns': macro_columns, 'macro_x': macro_x, 'macro_y': macro_y, 'macro_id': macro_id, 'micro_x': micro_x, 'micro_y': micro_y, 'micro_id': micro_id, 'local_texel': local_texel, 'macro_pitch': macro_pitch, 'address': address}
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, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 132, 'address': 11}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 132, 'address': 29}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 132, 'address': 191}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 132, 'address': 269}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 132, 'address': 671}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 132, 'address': 181})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 197, 'address': 22}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 197, 'address': 49}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 197, 'address': 291}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 197, 'address': 408}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 197, 'address': 1007}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 197, 'address': 276})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 262, 'address': 33}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 262, 'address': 69}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 262, 'address': 391}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 262, 'address': 547}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 262, 'address': 1343}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 262, 'address': 371})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 327, 'address': 44}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 327, 'address': 89}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 327, 'address': 491}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 327, 'address': 686}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 327, 'address': 1679}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 327, 'address': 466})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 392, 'address': 55}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 392, 'address': 109}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 392, 'address': 591}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 392, 'address': 825}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 392, 'address': 2015}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 392, 'address': 561})]}
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 | {'address': 11, 'local_texel': 0, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | {'address': 11, 'local_texel': 0, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Passed |
| layout fixture 2 | {'address': 93, 'local_texel': 9, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 2, 'micro_x': 1, 'micro_y': 0} | {'address': 29, 'local_texel': 9, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Failed |
| layout fixture 3 | {'address': 191, 'local_texel': 8, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | {'address': 191, 'local_texel': 8, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | Passed |
| layout fixture 4 | {'address': 397, 'local_texel': 15, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 7, 'micro_x': 3, 'micro_y': 1} | {'address': 269, 'local_texel': 15, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 3, 'micro_x': 1, 'micro_y': 1} | Failed |
| layout fixture 5 | {'address': 671, 'local_texel': 0, 'macro_columns': 3, 'macro_id': 5, 'macro_pitch': 132, 'macro_x': 2, 'macro_y': 1, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | {'address': 671, 'local_texel': 0, 'macro_columns': 3, 'macro_id': 5, 'macro_pitch': 132, 'macro_x': 2, 'macro_y': 1, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Passed |
| layout fixture 6 | {'address': 373, 'local_texel': 3, 'macro_columns': 1, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 1, 'micro_id': 7, 'micro_x': 3, 'micro_y': 1} | {'address': 181, 'local_texel': 3, 'macro_columns': 1, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 1, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | Failed |
SHA-256 / 48662d75e1f4551d8bb1ec3de55ae2428d8d0e8d44870227d91d7179c5006d77
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)
macro_columns = (p["w"]+7)//8
macro_x = p["x"]//8
macro_y = p["y"]//8
macro_id = macro_y*macro_columns+macro_x
micro_x = (p["x"]%8)//4
micro_y = (p["y"]%8)//4
micro_id = micro_x*2+micro_y
local_texel = (p["y"]%4)*4+p["x"]%4
macro_pitch = 64*p["b"]+p["trailer"]
address = p["base"]+macro_id*macro_pitch+(micro_id*16+local_texel)*p["b"]
return {'macro_columns': macro_columns, 'macro_x': macro_x, 'macro_y': macro_y, 'macro_id': macro_id, 'micro_x': micro_x, 'micro_y': micro_y, 'micro_id': micro_id, 'local_texel': local_texel, 'macro_pitch': macro_pitch, 'address': address}
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, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 132, 'address': 11}), ({'w': 6, 'h': 4, 'x': 1, 'y': 2, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 132, 'address': 29}), ({'w': 10, 'h': 8, 'x': 8, 'y': 6, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 132, 'address': 191}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 132, 'address': 269}), ({'w': 18, 'h': 10, 'x': 16, 'y': 8, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 132, 'address': 671}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 2, 'base': 11, 'trailer': 4}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 132, 'address': 181})], 2: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 197, 'address': 22}), ({'w': 7, 'h': 5, 'x': 1, 'y': 2, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 197, 'address': 49}), ({'w': 11, 'h': 9, 'x': 8, 'y': 6, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 197, 'address': 291}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 197, 'address': 408}), ({'w': 19, 'h': 11, 'x': 16, 'y': 8, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 197, 'address': 1007}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 3, 'base': 22, 'trailer': 5}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 197, 'address': 276})], 3: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 262, 'address': 33}), ({'w': 8, 'h': 6, 'x': 1, 'y': 2, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 262, 'address': 69}), ({'w': 12, 'h': 10, 'x': 8, 'y': 6, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 262, 'address': 391}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 262, 'address': 547}), ({'w': 20, 'h': 12, 'x': 16, 'y': 8, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 262, 'address': 1343}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 4, 'base': 33, 'trailer': 6}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 262, 'address': 371})], 4: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 327, 'address': 44}), ({'w': 9, 'h': 7, 'x': 1, 'y': 2, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 327, 'address': 89}), ({'w': 13, 'h': 11, 'x': 8, 'y': 6, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 327, 'address': 491}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 327, 'address': 686}), ({'w': 21, 'h': 13, 'x': 16, 'y': 8, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 327, 'address': 1679}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 5, 'base': 44, 'trailer': 7}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 327, 'address': 466})], 5: [({'w': 1, 'h': 1, 'x': 0, 'y': 0, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 392, 'address': 55}), ({'w': 10, 'h': 8, 'x': 1, 'y': 2, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 0, 'macro_y': 0, 'macro_id': 0, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 9, 'macro_pitch': 392, 'address': 109}), ({'w': 14, 'h': 12, 'x': 8, 'y': 6, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 8, 'macro_pitch': 392, 'address': 591}), ({'w': 16, 'h': 8, 'x': 15, 'y': 7, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 2, 'macro_x': 1, 'macro_y': 0, 'macro_id': 1, 'micro_x': 1, 'micro_y': 1, 'micro_id': 3, 'local_texel': 15, 'macro_pitch': 392, 'address': 825}), ({'w': 22, 'h': 14, 'x': 16, 'y': 8, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 3, 'macro_x': 2, 'macro_y': 1, 'macro_id': 5, 'micro_x': 0, 'micro_y': 0, 'micro_id': 0, 'local_texel': 0, 'macro_pitch': 392, 'address': 2015}), ({'w': 7, 'h': 13, 'x': 3, 'y': 12, 'b': 6, 'base': 55, 'trailer': 8}, {'macro_columns': 1, 'macro_x': 0, 'macro_y': 1, 'macro_id': 1, 'micro_x': 0, 'micro_y': 1, 'micro_id': 1, 'local_texel': 3, 'macro_pitch': 392, 'address': 561})]}
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 | {'address': 11, 'local_texel': 0, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | {'address': 11, 'local_texel': 0, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Passed |
| layout fixture 2 | {'address': 29, 'local_texel': 9, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | {'address': 29, 'local_texel': 9, 'macro_columns': 1, 'macro_id': 0, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 0, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Passed |
| layout fixture 3 | {'address': 191, 'local_texel': 8, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | {'address': 191, 'local_texel': 8, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | Passed |
| layout fixture 4 | {'address': 269, 'local_texel': 15, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 3, 'micro_x': 1, 'micro_y': 1} | {'address': 269, 'local_texel': 15, 'macro_columns': 2, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 1, 'macro_y': 0, 'micro_id': 3, 'micro_x': 1, 'micro_y': 1} | Passed |
| layout fixture 5 | {'address': 671, 'local_texel': 0, 'macro_columns': 3, 'macro_id': 5, 'macro_pitch': 132, 'macro_x': 2, 'macro_y': 1, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | {'address': 671, 'local_texel': 0, 'macro_columns': 3, 'macro_id': 5, 'macro_pitch': 132, 'macro_x': 2, 'macro_y': 1, 'micro_id': 0, 'micro_x': 0, 'micro_y': 0} | Passed |
| layout fixture 6 | {'address': 181, 'local_texel': 3, 'macro_columns': 1, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 1, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | {'address': 181, 'local_texel': 3, 'macro_columns': 1, 'macro_id': 1, 'macro_pitch': 132, 'macro_x': 0, 'macro_y': 1, 'micro_id': 1, 'micro_x': 0, 'micro_y': 1} | Passed |
SHA-256 / fcfe43f249406e50ed8e9056f7c69d42dfc5e746743804eed4a239ea8753c21b
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:23.796836+00:00.
Case digest / 0a8c5b7f7284d700ca3d8f2f958e6b2df10fdcbef0b88f570a353c8f3f4974da