FA-79071 / Image orientation metadata / Open access

Lossless transform emits a zero-width image · case 01

Tiny images narrower than one MCU produce an empty output instead of a refusal.

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

ROOT CAUSE

The refusal requires both trimmed sides to be zero.

VERIFIED REPAIR

Refuse when either trimmed side becomes zero.

Unsuccessful approach: Sizes are never negative, so testing < 0 never refuses.

Case contract

Input [w, h, tag, sampling]. A lossless JPEG transform that bakes the orientation can only move whole MCUs (444: 8x8, 422: 16 wide x 8 high, 420: 16x16, 440: 8 wide x 16 high), so any partial MCU column or row that would move to the leading edge is trimmed. The tag decomposes into stored-space flips (fx, fy) followed by an optional transpose; fx trims the width and fy trims the height to a multiple of the MCU size. Invalid tags are treated as 1. Return the displayed [width, height], "refuse" when a trimmed side becomes 0, or "unknown-sampling".

Why this case matters

Camera, phone and scanner images carry an orientation hint separately from the stored pixels; galleries, thumbnailers, editors and upload pipelines must interpret it consistently or photos appear sideways, mirrored or doubly rotated.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    w, h, tag, sampling = x
    mcu = {'444': (8, 8), '422': (16, 8), '420': (16, 16), '440': (8, 16)}
    if sampling not in mcu:
        return 'unknown-sampling'
    mw, mh = mcu[sampling]
    flips = {1: (0, 0, 0), 2: (1, 0, 0), 3: (1, 1, 0), 4: (0, 1, 0), 5: (0, 0, 1), 6: (0, 1, 1), 7: (1, 1, 1), 8: (1, 0, 1)}
    fx, fy, tr = flips.get(tag, (0, 0, 0))
    tw = w - w % mw if fx else w
    th = h - h % mh if fy else h
    if tw == 0 and th == 0:
        return 'refuse'
    if tr:
        tw, th = th, tw
    return [tw, th]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[8, 24, 3, '422'], 'refuse'], [[12, 8, 8, '422'], 'refuse'], [[24, 12, 0, '440'], [24, 12]], [[2969, 96, 1, '422'], [2969, 96]], [[24, 16, 5, '422'], [16, 24]], [[40, 2600, 0, '440'], [40, 2600]], [[24, 20, 0, '444'], [24, 20]], [[8, 8, 4, '440'], 'refuse']], [[[12, 24, 8, '422'], 'refuse'], [[8, 12, 7, '420'], 'refuse'], [[12, 16, 8, '422'], 'refuse'], [[12, 1946, 4, '420'], [12, 1936]], [[8, 12, 1, '411'], 'unknown-sampling'], [[25, 8, 8, '420'], [8, 16]], [[24, 24, 2, '440'], [24, 24]], [[40, 8, 3, '440'], 'refuse']], [[[8, 8, 8, '422'], 'refuse'], [[16, 8, 7, '440'], 'refuse'], [[1449, 8, 4, '440'], 'refuse'], [[24, 12, 6, '422'], [8, 24]], [[24, 8, 4, '444'], [24, 8]], [[24, 24, 0, '420'], [24, 24]], [[8, 20, 6, '420'], [16, 8]], [[8, 12, 8, '420'], 'refuse']], [[[16, 12, 7, '420'], 'refuse'], [[8, 71, 8, '420'], 'refuse'], [[114, 8, 6, '440'], 'refuse'], [[40, 20, 6, '444'], [16, 40]], [[40, 8, 5, '440'], [8, 40]], [[16, 272, 4, '422'], [16, 272]], [[24, 16, 6, '440'], [16, 24]], [[24, 4, 3, '422'], 'refuse']], [[[12, 20, 2, '422'], 'refuse'], [[24, 12, 7, '420'], 'refuse'], [[24, 8, 6, '422'], [8, 24]], [[8, 67, 7, '444'], [64, 8]], [[16, 24, 2, '411'], 'unknown-sampling'], [[40, 18, 1, '420'], [40, 18]], [[16, 74, 7, '422'], [72, 16]], [[8, 16, 8, '422'], 'refuse']]]
labels = ["regression: empty result refusal", "repair trap", "combined fault", "control", "control", "boundary", "boundary", "control"]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("%s %d" % (labels[i % len(labels)], i), solve(args), 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
regression: empty result refusal 0	`[0, 24]`	`refuse`	Failed
repair trap 1	`[8, 0]`	`refuse`	Failed
combined fault 2	`[24, 12]`	`[24, 12]`	Passed
control 3	`[2969, 96]`	`[2969, 96]`	Passed
control 4	`[16, 24]`	`[16, 24]`	Passed
boundary 5	`[40, 2600]`	`[40, 2600]`	Passed
boundary 6	`[24, 20]`	`[24, 20]`	Passed
control 7	`[8, 0]`	`refuse`	Failed

SHA-256 / f68bc60c74e3f30186fcad6ce87c894900792379450b759e675a737e20aed781

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    w, h, tag, sampling = x
    mcu = {'444': (8, 8), '422': (16, 8), '420': (16, 16), '440': (8, 16)}
    if sampling not in mcu:
        return 'unknown-sampling'
    mw, mh = mcu[sampling]
    flips = {1: (0, 0, 0), 2: (1, 0, 0), 3: (1, 1, 0), 4: (0, 1, 0), 5: (0, 0, 1), 6: (0, 1, 1), 7: (1, 1, 1), 8: (1, 0, 1)}
    fx, fy, tr = flips.get(tag, (0, 0, 0))
    tw = w - w % mw if fx else w
    th = h - h % mh if fy else h
    if tw < 0 or th < 0:
        return 'refuse'
    if tr:
        tw, th = th, tw
    return [tw, th]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[8, 24, 3, '422'], 'refuse'], [[12, 8, 8, '422'], 'refuse'], [[24, 12, 0, '440'], [24, 12]], [[2969, 96, 1, '422'], [2969, 96]], [[24, 16, 5, '422'], [16, 24]], [[40, 2600, 0, '440'], [40, 2600]], [[24, 20, 0, '444'], [24, 20]], [[8, 8, 4, '440'], 'refuse']], [[[12, 24, 8, '422'], 'refuse'], [[8, 12, 7, '420'], 'refuse'], [[12, 16, 8, '422'], 'refuse'], [[12, 1946, 4, '420'], [12, 1936]], [[8, 12, 1, '411'], 'unknown-sampling'], [[25, 8, 8, '420'], [8, 16]], [[24, 24, 2, '440'], [24, 24]], [[40, 8, 3, '440'], 'refuse']], [[[8, 8, 8, '422'], 'refuse'], [[16, 8, 7, '440'], 'refuse'], [[1449, 8, 4, '440'], 'refuse'], [[24, 12, 6, '422'], [8, 24]], [[24, 8, 4, '444'], [24, 8]], [[24, 24, 0, '420'], [24, 24]], [[8, 20, 6, '420'], [16, 8]], [[8, 12, 8, '420'], 'refuse']], [[[16, 12, 7, '420'], 'refuse'], [[8, 71, 8, '420'], 'refuse'], [[114, 8, 6, '440'], 'refuse'], [[40, 20, 6, '444'], [16, 40]], [[40, 8, 5, '440'], [8, 40]], [[16, 272, 4, '422'], [16, 272]], [[24, 16, 6, '440'], [16, 24]], [[24, 4, 3, '422'], 'refuse']], [[[12, 20, 2, '422'], 'refuse'], [[24, 12, 7, '420'], 'refuse'], [[24, 8, 6, '422'], [8, 24]], [[8, 67, 7, '444'], [64, 8]], [[16, 24, 2, '411'], 'unknown-sampling'], [[40, 18, 1, '420'], [40, 18]], [[16, 74, 7, '422'], [72, 16]], [[8, 16, 8, '422'], 'refuse']]]
labels = ["regression: empty result refusal", "repair trap", "combined fault", "control", "control", "boundary", "boundary", "control"]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("%s %d" % (labels[i % len(labels)], i), solve(args), 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
regression: empty result refusal 0	`[0, 24]`	`refuse`	Failed
repair trap 1	`[8, 0]`	`refuse`	Failed
combined fault 2	`[24, 12]`	`[24, 12]`	Passed
control 3	`[2969, 96]`	`[2969, 96]`	Passed
control 4	`[16, 24]`	`[16, 24]`	Passed
boundary 5	`[40, 2600]`	`[40, 2600]`	Passed
boundary 6	`[24, 20]`	`[24, 20]`	Passed
control 7	`[8, 0]`	`refuse`	Failed

SHA-256 / 7bc14c95348f110e27ffdf093b2dbfdbb6998ea64391a8113d7cabf8bd2d3e76

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    w, h, tag, sampling = x
    mcu = {'444': (8, 8), '422': (16, 8), '420': (16, 16), '440': (8, 16)}
    if sampling not in mcu:
        return 'unknown-sampling'
    mw, mh = mcu[sampling]
    flips = {1: (0, 0, 0), 2: (1, 0, 0), 3: (1, 1, 0), 4: (0, 1, 0), 5: (0, 0, 1), 6: (0, 1, 1), 7: (1, 1, 1), 8: (1, 0, 1)}
    fx, fy, tr = flips.get(tag, (0, 0, 0))
    tw = w - w % mw if fx else w
    th = h - h % mh if fy else h
    if tw == 0 or th == 0:
        return 'refuse'
    if tr:
        tw, th = th, tw
    return [tw, th]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[8, 24, 3, '422'], 'refuse'], [[12, 8, 8, '422'], 'refuse'], [[24, 12, 0, '440'], [24, 12]], [[2969, 96, 1, '422'], [2969, 96]], [[24, 16, 5, '422'], [16, 24]], [[40, 2600, 0, '440'], [40, 2600]], [[24, 20, 0, '444'], [24, 20]], [[8, 8, 4, '440'], 'refuse']], [[[12, 24, 8, '422'], 'refuse'], [[8, 12, 7, '420'], 'refuse'], [[12, 16, 8, '422'], 'refuse'], [[12, 1946, 4, '420'], [12, 1936]], [[8, 12, 1, '411'], 'unknown-sampling'], [[25, 8, 8, '420'], [8, 16]], [[24, 24, 2, '440'], [24, 24]], [[40, 8, 3, '440'], 'refuse']], [[[8, 8, 8, '422'], 'refuse'], [[16, 8, 7, '440'], 'refuse'], [[1449, 8, 4, '440'], 'refuse'], [[24, 12, 6, '422'], [8, 24]], [[24, 8, 4, '444'], [24, 8]], [[24, 24, 0, '420'], [24, 24]], [[8, 20, 6, '420'], [16, 8]], [[8, 12, 8, '420'], 'refuse']], [[[16, 12, 7, '420'], 'refuse'], [[8, 71, 8, '420'], 'refuse'], [[114, 8, 6, '440'], 'refuse'], [[40, 20, 6, '444'], [16, 40]], [[40, 8, 5, '440'], [8, 40]], [[16, 272, 4, '422'], [16, 272]], [[24, 16, 6, '440'], [16, 24]], [[24, 4, 3, '422'], 'refuse']], [[[12, 20, 2, '422'], 'refuse'], [[24, 12, 7, '420'], 'refuse'], [[24, 8, 6, '422'], [8, 24]], [[8, 67, 7, '444'], [64, 8]], [[16, 24, 2, '411'], 'unknown-sampling'], [[40, 18, 1, '420'], [40, 18]], [[16, 74, 7, '422'], [72, 16]], [[8, 16, 8, '422'], 'refuse']]]
labels = ["regression: empty result refusal", "repair trap", "combined fault", "control", "control", "boundary", "boundary", "control"]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("%s %d" % (labels[i % len(labels)], i), solve(args), 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
regression: empty result refusal 0	`refuse`	`refuse`	Passed
repair trap 1	`refuse`	`refuse`	Passed
combined fault 2	`[24, 12]`	`[24, 12]`	Passed
control 3	`[2969, 96]`	`[2969, 96]`	Passed
control 4	`[16, 24]`	`[16, 24]`	Passed
boundary 5	`[40, 2600]`	`[40, 2600]`	Passed
boundary 6	`[24, 20]`	`[24, 20]`	Passed
control 7	`refuse`	`refuse`	Passed

SHA-256 / c74d070022ba3e45c72a781cbf6806f9bfe67a365c2ad54b5c8eb6d3ed389569

Verification & scope

A deterministic bounded teaching model with a stipulated contract; it makes no claim of conformance to any published specification. 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:49:41.160223+00:00.

Case digest / 75cc876b5cbf908656188862b17b1eb14cf3d985d9663ac8df7e97dea4bc6211