FA-79336 / Image orientation metadata / Open access

Padded sidecar text orientation is rejected · case 01

Sidecars written with a leading space are ignored.

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

ROOT CAUSE

String values are matched without trimming whitespace.

VERIFIED REPAIR

Trim before matching exactly one digit 1..8.

Unsuccessful approach: Stripping signs and zeros accepts "06" and "+3", which are not canonical XMP values.

Case contract

A photo manager reconciles the embedded orientation with an XMP sidecar. Values are valid if they are integers 1..8 or strings that are exactly one digit 1..8 after trimming. Policy "sidecar" prefers the sidecar, "embedded" prefers the file, and "newest" (also used for unknown policies) prefers the sidecar when both are valid and sidecar_mtime >= file_mtime; the other valid value is the fallback, then 1.

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(d):
    def ok(v):
        if isinstance(v, str) and v in ('1', '2', '3', '4', '5', '6', '7', '8'):
            return int(v)
        if isinstance(v, int) and not isinstance(v, bool) and 1 <= v <= 8:
            return v
        return None
    e = ok(d.get('embedded'))
    s = ok(d.get('sidecar'))
    pol = d.get('policy')
    if pol not in ('newest', 'sidecar', 'embedded'):
        pol = 'newest'
    if pol == 'sidecar':
        order = [s, e]
    elif pol == 'embedded':
        order = [e, s]
    elif s is not None and e is not None:
        order = [s, e] if d['sidecar_mtime'] >= d['file_mtime'] else [e, s]
    else:
        order = [s, e]
    for v in order:
        if v is not None:
            return v
    return 1
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[{'embedded': 'x', 'sidecar': ' 8', 'file_mtime': 106, 'sidecar_mtime': 105, 'policy': 'latest'}, 8], [{'embedded': 5, 'sidecar': '+3', 'file_mtime': 103, 'sidecar_mtime': 108, 'policy': 'newest'}, 5], [{'embedded': '06', 'sidecar': ' 8', 'file_mtime': 101, 'sidecar_mtime': 100, 'policy': 'embedded'}, 8], [{'embedded': 'x', 'sidecar': 'x', 'file_mtime': 109, 'sidecar_mtime': 109, 'policy': 'embedded'}, 1], [{'embedded': 8, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 101, 'policy': 'newest'}, 8], [{'embedded': 9, 'sidecar': 9, 'file_mtime': 108, 'sidecar_mtime': 109, 'policy': None}, 1], [{'embedded': ' 8', 'sidecar': 5, 'file_mtime': 105, 'sidecar_mtime': 105, 'policy': 'newest'}, 5], [{'embedded': 3, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 105, 'policy': 'latest'}, 8]], [[{'embedded': 5, 'sidecar': ' 8', 'file_mtime': 104, 'sidecar_mtime': 105, 'policy': 'newest'}, 8], [{'embedded': 0, 'sidecar': '+3', 'file_mtime': 102, 'sidecar_mtime': 103, 'policy': 'newest'}, 1], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 103, 'sidecar_mtime': 103, 'policy': 'sidecar'}, 8], [{'embedded': 3, 'sidecar': None, 'file_mtime': 106, 'sidecar_mtime': 106, 'policy': 'embedded'}, 3], [{'embedded': ' 8', 'sidecar': 8, 'file_mtime': 107, 'sidecar_mtime': 112, 'policy': 'embedded'}, 8], [{'embedded': 3, 'sidecar': 6, 'file_mtime': 101, 'sidecar_mtime': 96, 'policy': 'sidecar'}, 6], [{'embedded': 3, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 103, 'policy': 'newest'}, 3], [{'embedded': 6, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 106, 'policy': 'latest'}, 8]], [[{'embedded': ' 8', 'sidecar': 3, 'file_mtime': 101, 'sidecar_mtime': 96, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 100, 'sidecar_mtime': 101, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': 3, 'file_mtime': 102, 'sidecar_mtime': 102, 'policy': 'latest'}, 3], [{'embedded': 8, 'sidecar': 1, 'file_mtime': 108, 'sidecar_mtime': 108, 'policy': None}, 1], [{'embedded': 5, 'sidecar': 9, 'file_mtime': 105, 'sidecar_mtime': 110, 'policy': 'latest'}, 5], [{'embedded': 3, 'sidecar': '6', 'file_mtime': 109, 'sidecar_mtime': 104, 'policy': 'latest'}, 3], [{'embedded': 'x', 'sidecar': 8, 'file_mtime': 105, 'sidecar_mtime': 110, 'policy': 'sidecar'}, 8], [{'embedded': 0, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 100, 'policy': None}, 8]], [[{'embedded': ' 8', 'sidecar': None, 'file_mtime': 108, 'sidecar_mtime': 109, 'policy': None}, 8], [{'embedded': '06', 'sidecar': None, 'file_mtime': 103, 'sidecar_mtime': 102, 'policy': 'latest'}, 1], [{'embedded': ' 8', 'sidecar': '+3', 'file_mtime': 110, 'sidecar_mtime': 115, 'policy': 'sidecar'}, 8], [{'embedded': 6, 'sidecar': 6, 'file_mtime': 100, 'sidecar_mtime': 105, 'policy': 'sidecar'}, 6], [{'embedded': 5, 'sidecar': 8, 'file_mtime': 109, 'sidecar_mtime': 114, 'policy': 'newest'}, 8], [{'embedded': None, 'sidecar': '6', 'file_mtime': 104, 'sidecar_mtime': 104, 'policy': 'latest'}, 6], [{'embedded': 'x', 'sidecar': 8, 'file_mtime': 103, 'sidecar_mtime': 102, 'policy': None}, 8], [{'embedded': 6, 'sidecar': ' 8', 'file_mtime': 103, 'sidecar_mtime': 104, 'policy': 'sidecar'}, 8]], [[{'embedded': ' 8', 'sidecar': 0, 'file_mtime': 104, 'sidecar_mtime': 99, 'policy': 'embedded'}, 8], [{'embedded': '06', 'sidecar': '06', 'file_mtime': 110, 'sidecar_mtime': 105, 'policy': 'latest'}, 1], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 101, 'sidecar_mtime': 106, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': 8, 'file_mtime': 110, 'sidecar_mtime': 110, 'policy': 'embedded'}, 8], [{'embedded': 0, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 102, 'policy': 'embedded'}, 1], [{'embedded': 0, 'sidecar': 9, 'file_mtime': 100, 'sidecar_mtime': 99, 'policy': 'latest'}, 1], [{'embedded': 8, 'sidecar': 9, 'file_mtime': 102, 'sidecar_mtime': 101, 'policy': 'sidecar'}, 8], [{'embedded': ' 8', 'sidecar': 0, 'file_mtime': 100, 'sidecar_mtime': 100, 'policy': None}, 8]]]
labels = ["regression: text orientation parsing", "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: text orientation parsing 0	`1`	`8`	Failed
repair trap 1	`5`	`5`	Passed
combined fault 2	`1`	`8`	Failed
control 3	`1`	`1`	Passed
control 4	`8`	`8`	Passed
boundary 5	`1`	`1`	Passed
boundary 6	`5`	`5`	Passed
control 7	`3`	`8`	Failed

SHA-256 / c3f17234f511d92a27475cbc889cc8f718fa41db2793defeceb3bef134e9f8b2

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(d):
    def ok(v):
        if isinstance(v, str) and v.strip().lstrip('+0').isdigit():
            v = int(v)
        if isinstance(v, int) and not isinstance(v, bool) and 1 <= v <= 8:
            return v
        return None
    e = ok(d.get('embedded'))
    s = ok(d.get('sidecar'))
    pol = d.get('policy')
    if pol not in ('newest', 'sidecar', 'embedded'):
        pol = 'newest'
    if pol == 'sidecar':
        order = [s, e]
    elif pol == 'embedded':
        order = [e, s]
    elif s is not None and e is not None:
        order = [s, e] if d['sidecar_mtime'] >= d['file_mtime'] else [e, s]
    else:
        order = [s, e]
    for v in order:
        if v is not None:
            return v
    return 1
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[{'embedded': 'x', 'sidecar': ' 8', 'file_mtime': 106, 'sidecar_mtime': 105, 'policy': 'latest'}, 8], [{'embedded': 5, 'sidecar': '+3', 'file_mtime': 103, 'sidecar_mtime': 108, 'policy': 'newest'}, 5], [{'embedded': '06', 'sidecar': ' 8', 'file_mtime': 101, 'sidecar_mtime': 100, 'policy': 'embedded'}, 8], [{'embedded': 'x', 'sidecar': 'x', 'file_mtime': 109, 'sidecar_mtime': 109, 'policy': 'embedded'}, 1], [{'embedded': 8, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 101, 'policy': 'newest'}, 8], [{'embedded': 9, 'sidecar': 9, 'file_mtime': 108, 'sidecar_mtime': 109, 'policy': None}, 1], [{'embedded': ' 8', 'sidecar': 5, 'file_mtime': 105, 'sidecar_mtime': 105, 'policy': 'newest'}, 5], [{'embedded': 3, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 105, 'policy': 'latest'}, 8]], [[{'embedded': 5, 'sidecar': ' 8', 'file_mtime': 104, 'sidecar_mtime': 105, 'policy': 'newest'}, 8], [{'embedded': 0, 'sidecar': '+3', 'file_mtime': 102, 'sidecar_mtime': 103, 'policy': 'newest'}, 1], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 103, 'sidecar_mtime': 103, 'policy': 'sidecar'}, 8], [{'embedded': 3, 'sidecar': None, 'file_mtime': 106, 'sidecar_mtime': 106, 'policy': 'embedded'}, 3], [{'embedded': ' 8', 'sidecar': 8, 'file_mtime': 107, 'sidecar_mtime': 112, 'policy': 'embedded'}, 8], [{'embedded': 3, 'sidecar': 6, 'file_mtime': 101, 'sidecar_mtime': 96, 'policy': 'sidecar'}, 6], [{'embedded': 3, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 103, 'policy': 'newest'}, 3], [{'embedded': 6, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 106, 'policy': 'latest'}, 8]], [[{'embedded': ' 8', 'sidecar': 3, 'file_mtime': 101, 'sidecar_mtime': 96, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 100, 'sidecar_mtime': 101, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': 3, 'file_mtime': 102, 'sidecar_mtime': 102, 'policy': 'latest'}, 3], [{'embedded': 8, 'sidecar': 1, 'file_mtime': 108, 'sidecar_mtime': 108, 'policy': None}, 1], [{'embedded': 5, 'sidecar': 9, 'file_mtime': 105, 'sidecar_mtime': 110, 'policy': 'latest'}, 5], [{'embedded': 3, 'sidecar': '6', 'file_mtime': 109, 'sidecar_mtime': 104, 'policy': 'latest'}, 3], [{'embedded': 'x', 'sidecar': 8, 'file_mtime': 105, 'sidecar_mtime': 110, 'policy': 'sidecar'}, 8], [{'embedded': 0, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 100, 'policy': None}, 8]], [[{'embedded': ' 8', 'sidecar': None, 'file_mtime': 108, 'sidecar_mtime': 109, 'policy': None}, 8], [{'embedded': '06', 'sidecar': None, 'file_mtime': 103, 'sidecar_mtime': 102, 'policy': 'latest'}, 1], [{'embedded': ' 8', 'sidecar': '+3', 'file_mtime': 110, 'sidecar_mtime': 115, 'policy': 'sidecar'}, 8], [{'embedded': 6, 'sidecar': 6, 'file_mtime': 100, 'sidecar_mtime': 105, 'policy': 'sidecar'}, 6], [{'embedded': 5, 'sidecar': 8, 'file_mtime': 109, 'sidecar_mtime': 114, 'policy': 'newest'}, 8], [{'embedded': None, 'sidecar': '6', 'file_mtime': 104, 'sidecar_mtime': 104, 'policy': 'latest'}, 6], [{'embedded': 'x', 'sidecar': 8, 'file_mtime': 103, 'sidecar_mtime': 102, 'policy': None}, 8], [{'embedded': 6, 'sidecar': ' 8', 'file_mtime': 103, 'sidecar_mtime': 104, 'policy': 'sidecar'}, 8]], [[{'embedded': ' 8', 'sidecar': 0, 'file_mtime': 104, 'sidecar_mtime': 99, 'policy': 'embedded'}, 8], [{'embedded': '06', 'sidecar': '06', 'file_mtime': 110, 'sidecar_mtime': 105, 'policy': 'latest'}, 1], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 101, 'sidecar_mtime': 106, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': 8, 'file_mtime': 110, 'sidecar_mtime': 110, 'policy': 'embedded'}, 8], [{'embedded': 0, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 102, 'policy': 'embedded'}, 1], [{'embedded': 0, 'sidecar': 9, 'file_mtime': 100, 'sidecar_mtime': 99, 'policy': 'latest'}, 1], [{'embedded': 8, 'sidecar': 9, 'file_mtime': 102, 'sidecar_mtime': 101, 'policy': 'sidecar'}, 8], [{'embedded': ' 8', 'sidecar': 0, 'file_mtime': 100, 'sidecar_mtime': 100, 'policy': None}, 8]]]
labels = ["regression: text orientation parsing", "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: text orientation parsing 0	`8`	`8`	Passed
repair trap 1	`3`	`5`	Failed
combined fault 2	`6`	`8`	Failed
control 3	`1`	`1`	Passed
control 4	`8`	`8`	Passed
boundary 5	`1`	`1`	Passed
boundary 6	`5`	`5`	Passed
control 7	`8`	`8`	Passed

SHA-256 / b1d6ed3a8d6494b6b8ff147504770ad12ad031f53f98c3cef8afb3ce273c4599

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(d):
    def ok(v):
        if isinstance(v, str) and v.strip() in ('1', '2', '3', '4', '5', '6', '7', '8'):
            return int(v.strip())
        if isinstance(v, int) and not isinstance(v, bool) and 1 <= v <= 8:
            return v
        return None
    e = ok(d.get('embedded'))
    s = ok(d.get('sidecar'))
    pol = d.get('policy')
    if pol not in ('newest', 'sidecar', 'embedded'):
        pol = 'newest'
    if pol == 'sidecar':
        order = [s, e]
    elif pol == 'embedded':
        order = [e, s]
    elif s is not None and e is not None:
        order = [s, e] if d['sidecar_mtime'] >= d['file_mtime'] else [e, s]
    else:
        order = [s, e]
    for v in order:
        if v is not None:
            return v
    return 1
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[{'embedded': 'x', 'sidecar': ' 8', 'file_mtime': 106, 'sidecar_mtime': 105, 'policy': 'latest'}, 8], [{'embedded': 5, 'sidecar': '+3', 'file_mtime': 103, 'sidecar_mtime': 108, 'policy': 'newest'}, 5], [{'embedded': '06', 'sidecar': ' 8', 'file_mtime': 101, 'sidecar_mtime': 100, 'policy': 'embedded'}, 8], [{'embedded': 'x', 'sidecar': 'x', 'file_mtime': 109, 'sidecar_mtime': 109, 'policy': 'embedded'}, 1], [{'embedded': 8, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 101, 'policy': 'newest'}, 8], [{'embedded': 9, 'sidecar': 9, 'file_mtime': 108, 'sidecar_mtime': 109, 'policy': None}, 1], [{'embedded': ' 8', 'sidecar': 5, 'file_mtime': 105, 'sidecar_mtime': 105, 'policy': 'newest'}, 5], [{'embedded': 3, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 105, 'policy': 'latest'}, 8]], [[{'embedded': 5, 'sidecar': ' 8', 'file_mtime': 104, 'sidecar_mtime': 105, 'policy': 'newest'}, 8], [{'embedded': 0, 'sidecar': '+3', 'file_mtime': 102, 'sidecar_mtime': 103, 'policy': 'newest'}, 1], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 103, 'sidecar_mtime': 103, 'policy': 'sidecar'}, 8], [{'embedded': 3, 'sidecar': None, 'file_mtime': 106, 'sidecar_mtime': 106, 'policy': 'embedded'}, 3], [{'embedded': ' 8', 'sidecar': 8, 'file_mtime': 107, 'sidecar_mtime': 112, 'policy': 'embedded'}, 8], [{'embedded': 3, 'sidecar': 6, 'file_mtime': 101, 'sidecar_mtime': 96, 'policy': 'sidecar'}, 6], [{'embedded': 3, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 103, 'policy': 'newest'}, 3], [{'embedded': 6, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 106, 'policy': 'latest'}, 8]], [[{'embedded': ' 8', 'sidecar': 3, 'file_mtime': 101, 'sidecar_mtime': 96, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 100, 'sidecar_mtime': 101, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': 3, 'file_mtime': 102, 'sidecar_mtime': 102, 'policy': 'latest'}, 3], [{'embedded': 8, 'sidecar': 1, 'file_mtime': 108, 'sidecar_mtime': 108, 'policy': None}, 1], [{'embedded': 5, 'sidecar': 9, 'file_mtime': 105, 'sidecar_mtime': 110, 'policy': 'latest'}, 5], [{'embedded': 3, 'sidecar': '6', 'file_mtime': 109, 'sidecar_mtime': 104, 'policy': 'latest'}, 3], [{'embedded': 'x', 'sidecar': 8, 'file_mtime': 105, 'sidecar_mtime': 110, 'policy': 'sidecar'}, 8], [{'embedded': 0, 'sidecar': ' 8', 'file_mtime': 105, 'sidecar_mtime': 100, 'policy': None}, 8]], [[{'embedded': ' 8', 'sidecar': None, 'file_mtime': 108, 'sidecar_mtime': 109, 'policy': None}, 8], [{'embedded': '06', 'sidecar': None, 'file_mtime': 103, 'sidecar_mtime': 102, 'policy': 'latest'}, 1], [{'embedded': ' 8', 'sidecar': '+3', 'file_mtime': 110, 'sidecar_mtime': 115, 'policy': 'sidecar'}, 8], [{'embedded': 6, 'sidecar': 6, 'file_mtime': 100, 'sidecar_mtime': 105, 'policy': 'sidecar'}, 6], [{'embedded': 5, 'sidecar': 8, 'file_mtime': 109, 'sidecar_mtime': 114, 'policy': 'newest'}, 8], [{'embedded': None, 'sidecar': '6', 'file_mtime': 104, 'sidecar_mtime': 104, 'policy': 'latest'}, 6], [{'embedded': 'x', 'sidecar': 8, 'file_mtime': 103, 'sidecar_mtime': 102, 'policy': None}, 8], [{'embedded': 6, 'sidecar': ' 8', 'file_mtime': 103, 'sidecar_mtime': 104, 'policy': 'sidecar'}, 8]], [[{'embedded': ' 8', 'sidecar': 0, 'file_mtime': 104, 'sidecar_mtime': 99, 'policy': 'embedded'}, 8], [{'embedded': '06', 'sidecar': '06', 'file_mtime': 110, 'sidecar_mtime': 105, 'policy': 'latest'}, 1], [{'embedded': ' 8', 'sidecar': '06', 'file_mtime': 101, 'sidecar_mtime': 106, 'policy': 'newest'}, 8], [{'embedded': ' 8', 'sidecar': 8, 'file_mtime': 110, 'sidecar_mtime': 110, 'policy': 'embedded'}, 8], [{'embedded': 0, 'sidecar': 'x', 'file_mtime': 102, 'sidecar_mtime': 102, 'policy': 'embedded'}, 1], [{'embedded': 0, 'sidecar': 9, 'file_mtime': 100, 'sidecar_mtime': 99, 'policy': 'latest'}, 1], [{'embedded': 8, 'sidecar': 9, 'file_mtime': 102, 'sidecar_mtime': 101, 'policy': 'sidecar'}, 8], [{'embedded': ' 8', 'sidecar': 0, 'file_mtime': 100, 'sidecar_mtime': 100, 'policy': None}, 8]]]
labels = ["regression: text orientation parsing", "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: text orientation parsing 0	`8`	`8`	Passed
repair trap 1	`5`	`5`	Passed
combined fault 2	`8`	`8`	Passed
control 3	`1`	`1`	Passed
control 4	`8`	`8`	Passed
boundary 5	`1`	`1`	Passed
boundary 6	`5`	`5`	Passed
control 7	`8`	`8`	Passed

SHA-256 / 88e98d6d6377e1c99ea74db5ed218cd8260890f46e3e1f100061f84c10f9edd5

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

Case digest / 8e136e314d7d7842e2d6db4bf810cf557be9dbf418cc79a7305bad50ea138723