FA-79586 / Barcode symbology encoding / Open access

Expiry date AI expects eight digits · case 01

YYMMDD expiry dates are rejected while YYYYMMDD values are accepted.

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

ROOT CAUSE

AI 17 is declared with length 8.

VERIFIED REPAIR

AI 17 is a six-digit YYMMDD date.

Unsuccessful approach: Seven digits matches neither YYMMDD nor YYYYMMDD.

Case contract

Assemble GS1-128 data from [AI, value] pairs; "#" stands for FNC1. The string starts with FNC1. Predefined fixed-length AIs: 00 (18), 01 and 02 (14), 11/13/15/17 (6), 3103 (6); variable-length AIs with maximum length: 10 and 21 (20), 30 and 37 (8), 400 (30). Numeric AIs: 00, 01, 02, 11, 13, 15, 17, 3103, 30, 37. Values use printable ASCII 33..126 except "#". A variable-length field is followed by FNC1 unless it is last. Errors: unknown-ai, bad-value.

Why this case matters

Retail, logistics, pharmacy and document workflows depend on encoders that produce exactly the module pattern, code-set switches, separators and quiet zones scanners expect; one misplaced module or separator makes a label unreadable or, worse, scan as different data.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(fields):
    fixed_len = {'00': 18, '01': 14, '02': 14, '11': 6, '13': 6, '15': 6, '17': 8, '3103': 6}
    var_max = {'10': 20, '21': 20, '30': 8, '37': 8, '400': 30}
    numeric = {'00', '01', '02', '11', '13', '15', '17', '3103', '30', '37'}
    out = '#'
    for idx, (ai, val) in enumerate(fields):
        if ai in fixed_len:
            if len(val) != fixed_len[ai]:
                return {'error': 'bad-value', 'ai': ai}
        elif ai in var_max:
            if not 1 <= len(val) <= var_max[ai]:
                return {'error': 'bad-value', 'ai': ai}
        else:
            return {'error': 'unknown-ai', 'ai': ai}
        if ai in numeric and not all(c in '0123456789' for c in val):
            return {'error': 'bad-value', 'ai': ai}
        if not all(33 <= ord(c) <= 126 and c != '#' for c in val):
            return {'error': 'bad-value', 'ai': ai}
        out += ai + val
        if ai in var_max and idx < len(fields) - 1:
            out += '#'
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[['17', '124248'], ['400', 'BAB1XXX/9BAB1B1XC1BCX'], ['30', '86711'], ['11', '769392']], '#17124248400BAB1XXX/9BAB1B1XC1BCX#3086711#11769392'], [[['17', '473380'], ['10', 'BX-X/XC99'], ['400', 'CA'], ['10', '20240101']], '#1747338010BX-X/XC99#400CA#1020240101'], [[['400', 'X9B1-1X9--'], ['3103', '754725'], ['30', '31441746']], '#400X9B1-1X9--#31037547253031441746'], [[['00', '90045075234391735A']], {'error': 'bad-value', 'ai': '00'}], [[['30', '314304438']], {'error': 'bad-value', 'ai': '30'}], [[['30', '498926295']], {'error': 'bad-value', 'ai': '30'}], [[['400', '/111CAB9B19'], ['13', '210963'], ['30', '0326813'], ['01', '75824941622232']], '#400/111CAB9B19#13210963300326813#0175824941622232'], [[['17', '416957'], ['21', 'ACCBC-/-BCXBCB9B'], ['13', '52517']], {'error': 'bad-value', 'ai': '13'}]], [[[['11', '875343'], ['17', '156844'], ['37', '4945']], '#1187534317156844374945'], [[['17', '515339'], ['400', 'A/BCCC1C-X11A'], ['01', '63612123111605'], ['00', '132112603078520217']], '#17515339400A/BCCC1C-X11A#016361212311160500132112603078520217'], [[['11', '827833']], '#11827833'], [[['10', '999B9'], ['02', '83916947090792'], ['02', '6235977446030']], {'error': 'bad-value', 'ai': '02'}], [[['02', '50315475817306'], ['13', '780102'], ['30', '86357A'], ['21', '-9C/C9BB-']], {'error': 'bad-value', 'ai': '30'}], [[['15', '20240101'], ['01', '50134768665104']], {'error': 'bad-value', 'ai': '15'}], [[['15', '102414'], ['30', '347034523'], ['11', '22408']], {'error': 'bad-value', 'ai': '30'}], [[['400', '/XA1XB9A9/B/'], ['15', '153070'], ['17', '288329'], ['01', '17366692698106']], '#400/XA1XB9A9/B/#15153070172883290117366692698106']], [[[['17', '764648'], ['00', '803303724172524462'], ['3103', '62666 '], ['00', '862045118629427432']], {'error': 'bad-value', 'ai': '3103'}], [[['15', '160900'], ['15', '668029'], ['21', '/1A1/BCC/'], ['17', '123254']], '#151609001566802921/1A1/BCC/#17123254'], [[['400', '-']], '#400-'], [[['3103', '506096'], ['30', '1'], ['11', '465886']], '#3103506096301#11465886'], [[['3103', '']], {'error': 'bad-value', 'ai': '3103'}], [[['01', '16614057569424'], ['01', '04741883691497'], ['3103', '20240101'], ['17', '174564']], {'error': 'bad-value', 'ai': '3103'}], [[['37', '08071557'], ['10', 'BB9-C'], ['3103', '566874']], '#3708071557#10BB9-C#3103566874'], [[['00', '547081353249082327'], ['17', '124712'], ['400', '/1CA/AAB99X/AC91XAC9-X'], ['400', 'C/XCX1AX-AA/X99X9']], '#0054708135324908232717124712400/1CA/AAB99X/AC91XAC9-X#400C/XCX1AX-AA/X99X9']], [[[['17', '545896'], ['00', '836115217194119260'], ['3103', '506900'], ['3103', '54356A']], {'error': 'bad-value', 'ai': '3103'}], [[['17', '381963'], ['13', '319310'], ['02', '03156879573014']], '#17381963133193100203156879573014'], [[['400', '-CA9C-XA1X-9A/CBA/91-']], '#400-CA9C-XA1X-9A/CBA/91-'], [[['15', '29986'], ['11', '20240101']], {'error': 'bad-value', 'ai': '15'}], [[['17', ''], ['11', ''], ['13', '934852']], {'error': 'bad-value', 'ai': '17'}], [[['11', '293752']], '#11293752'], [[['3103', '774115'], ['21', 'X-XBX9'], ['13', '148432']], '#310377411521X-XBX9#13148432'], [[['17', '571639'], ['10', '1/99AAX19ABBXA1-AB1X'], ['3103', '938334'], ['30', '5']], '#17571639101/99AAX19ABBXA1-AB1X#3103938334305']], [[[['17', '877282']], '#17877282'], [[['17', '091323'], ['02', '21668709251946']], '#170913230221668709251946'], [[['01', '88338443484420'], ['15', '924591'], ['37', '']], {'error': 'bad-value', 'ai': '37'}], [[['15', '009908'], ['11', '813644']], '#1500990811813644'], [[['30', ''], ['13', '195409']], {'error': 'bad-value', 'ai': '30'}], [[['01', '21550398685673'], ['15', '789070'], ['13', '754989']], '#01215503986856731578907013754989'], [[['400', ''], ['10', 'AACB9CCBA--/B'], ['30', '1'], ['00', '040560967884581457']], {'error': 'bad-value', 'ai': '400'}], [[['11', '798565'], ['21', 'B-X1C/'], ['17', '896229']], '#1179856521B-X1C/#17896229']]]
labels = ["regression: date AI length", "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: date AI length 0	`{'ai': '17', 'error': 'bad-value'}`	`#17124248400BAB1XXX/9BAB1B1XC1BCX#3086711#11769392`	Failed
repair trap 1	`{'ai': '17', 'error': 'bad-value'}`	`#1747338010BX-X/XC99#400CA#1020240101`	Failed
combined fault 2	`#400X9B1-1X9--#31037547253031441746`	`#400X9B1-1X9--#31037547253031441746`	Passed
control 3	`{'ai': '00', 'error': 'bad-value'}`	`{'ai': '00', 'error': 'bad-value'}`	Passed
control 4	`{'ai': '30', 'error': 'bad-value'}`	`{'ai': '30', 'error': 'bad-value'}`	Passed
boundary 5	`{'ai': '30', 'error': 'bad-value'}`	`{'ai': '30', 'error': 'bad-value'}`	Passed
boundary 6	`#400/111CAB9B19#13210963300326813#0175824941622232`	`#400/111CAB9B19#13210963300326813#0175824941622232`	Passed
control 7	`{'ai': '17', 'error': 'bad-value'}`	`{'ai': '13', 'error': 'bad-value'}`	Failed

SHA-256 / 984317d883b2e10314cac10903691220ec53cef0f226414e1768f05e95d4f768

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(fields):
    fixed_len = {'00': 18, '01': 14, '02': 14, '11': 6, '13': 6, '15': 6, '17': 7, '3103': 6}
    var_max = {'10': 20, '21': 20, '30': 8, '37': 8, '400': 30}
    numeric = {'00', '01', '02', '11', '13', '15', '17', '3103', '30', '37'}
    out = '#'
    for idx, (ai, val) in enumerate(fields):
        if ai in fixed_len:
            if len(val) != fixed_len[ai]:
                return {'error': 'bad-value', 'ai': ai}
        elif ai in var_max:
            if not 1 <= len(val) <= var_max[ai]:
                return {'error': 'bad-value', 'ai': ai}
        else:
            return {'error': 'unknown-ai', 'ai': ai}
        if ai in numeric and not all(c in '0123456789' for c in val):
            return {'error': 'bad-value', 'ai': ai}
        if not all(33 <= ord(c) <= 126 and c != '#' for c in val):
            return {'error': 'bad-value', 'ai': ai}
        out += ai + val
        if ai in var_max and idx < len(fields) - 1:
            out += '#'
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[['17', '124248'], ['400', 'BAB1XXX/9BAB1B1XC1BCX'], ['30', '86711'], ['11', '769392']], '#17124248400BAB1XXX/9BAB1B1XC1BCX#3086711#11769392'], [[['17', '473380'], ['10', 'BX-X/XC99'], ['400', 'CA'], ['10', '20240101']], '#1747338010BX-X/XC99#400CA#1020240101'], [[['400', 'X9B1-1X9--'], ['3103', '754725'], ['30', '31441746']], '#400X9B1-1X9--#31037547253031441746'], [[['00', '90045075234391735A']], {'error': 'bad-value', 'ai': '00'}], [[['30', '314304438']], {'error': 'bad-value', 'ai': '30'}], [[['30', '498926295']], {'error': 'bad-value', 'ai': '30'}], [[['400', '/111CAB9B19'], ['13', '210963'], ['30', '0326813'], ['01', '75824941622232']], '#400/111CAB9B19#13210963300326813#0175824941622232'], [[['17', '416957'], ['21', 'ACCBC-/-BCXBCB9B'], ['13', '52517']], {'error': 'bad-value', 'ai': '13'}]], [[[['11', '875343'], ['17', '156844'], ['37', '4945']], '#1187534317156844374945'], [[['17', '515339'], ['400', 'A/BCCC1C-X11A'], ['01', '63612123111605'], ['00', '132112603078520217']], '#17515339400A/BCCC1C-X11A#016361212311160500132112603078520217'], [[['11', '827833']], '#11827833'], [[['10', '999B9'], ['02', '83916947090792'], ['02', '6235977446030']], {'error': 'bad-value', 'ai': '02'}], [[['02', '50315475817306'], ['13', '780102'], ['30', '86357A'], ['21', '-9C/C9BB-']], {'error': 'bad-value', 'ai': '30'}], [[['15', '20240101'], ['01', '50134768665104']], {'error': 'bad-value', 'ai': '15'}], [[['15', '102414'], ['30', '347034523'], ['11', '22408']], {'error': 'bad-value', 'ai': '30'}], [[['400', '/XA1XB9A9/B/'], ['15', '153070'], ['17', '288329'], ['01', '17366692698106']], '#400/XA1XB9A9/B/#15153070172883290117366692698106']], [[[['17', '764648'], ['00', '803303724172524462'], ['3103', '62666 '], ['00', '862045118629427432']], {'error': 'bad-value', 'ai': '3103'}], [[['15', '160900'], ['15', '668029'], ['21', '/1A1/BCC/'], ['17', '123254']], '#151609001566802921/1A1/BCC/#17123254'], [[['400', '-']], '#400-'], [[['3103', '506096'], ['30', '1'], ['11', '465886']], '#3103506096301#11465886'], [[['3103', '']], {'error': 'bad-value', 'ai': '3103'}], [[['01', '16614057569424'], ['01', '04741883691497'], ['3103', '20240101'], ['17', '174564']], {'error': 'bad-value', 'ai': '3103'}], [[['37', '08071557'], ['10', 'BB9-C'], ['3103', '566874']], '#3708071557#10BB9-C#3103566874'], [[['00', '547081353249082327'], ['17', '124712'], ['400', '/1CA/AAB99X/AC91XAC9-X'], ['400', 'C/XCX1AX-AA/X99X9']], '#0054708135324908232717124712400/1CA/AAB99X/AC91XAC9-X#400C/XCX1AX-AA/X99X9']], [[[['17', '545896'], ['00', '836115217194119260'], ['3103', '506900'], ['3103', '54356A']], {'error': 'bad-value', 'ai': '3103'}], [[['17', '381963'], ['13', '319310'], ['02', '03156879573014']], '#17381963133193100203156879573014'], [[['400', '-CA9C-XA1X-9A/CBA/91-']], '#400-CA9C-XA1X-9A/CBA/91-'], [[['15', '29986'], ['11', '20240101']], {'error': 'bad-value', 'ai': '15'}], [[['17', ''], ['11', ''], ['13', '934852']], {'error': 'bad-value', 'ai': '17'}], [[['11', '293752']], '#11293752'], [[['3103', '774115'], ['21', 'X-XBX9'], ['13', '148432']], '#310377411521X-XBX9#13148432'], [[['17', '571639'], ['10', '1/99AAX19ABBXA1-AB1X'], ['3103', '938334'], ['30', '5']], '#17571639101/99AAX19ABBXA1-AB1X#3103938334305']], [[[['17', '877282']], '#17877282'], [[['17', '091323'], ['02', '21668709251946']], '#170913230221668709251946'], [[['01', '88338443484420'], ['15', '924591'], ['37', '']], {'error': 'bad-value', 'ai': '37'}], [[['15', '009908'], ['11', '813644']], '#1500990811813644'], [[['30', ''], ['13', '195409']], {'error': 'bad-value', 'ai': '30'}], [[['01', '21550398685673'], ['15', '789070'], ['13', '754989']], '#01215503986856731578907013754989'], [[['400', ''], ['10', 'AACB9CCBA--/B'], ['30', '1'], ['00', '040560967884581457']], {'error': 'bad-value', 'ai': '400'}], [[['11', '798565'], ['21', 'B-X1C/'], ['17', '896229']], '#1179856521B-X1C/#17896229']]]
labels = ["regression: date AI length", "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: date AI length 0	`{'ai': '17', 'error': 'bad-value'}`	`#17124248400BAB1XXX/9BAB1B1XC1BCX#3086711#11769392`	Failed
repair trap 1	`{'ai': '17', 'error': 'bad-value'}`	`#1747338010BX-X/XC99#400CA#1020240101`	Failed
combined fault 2	`#400X9B1-1X9--#31037547253031441746`	`#400X9B1-1X9--#31037547253031441746`	Passed
control 3	`{'ai': '00', 'error': 'bad-value'}`	`{'ai': '00', 'error': 'bad-value'}`	Passed
control 4	`{'ai': '30', 'error': 'bad-value'}`	`{'ai': '30', 'error': 'bad-value'}`	Passed
boundary 5	`{'ai': '30', 'error': 'bad-value'}`	`{'ai': '30', 'error': 'bad-value'}`	Passed
boundary 6	`#400/111CAB9B19#13210963300326813#0175824941622232`	`#400/111CAB9B19#13210963300326813#0175824941622232`	Passed
control 7	`{'ai': '17', 'error': 'bad-value'}`	`{'ai': '13', 'error': 'bad-value'}`	Failed

SHA-256 / 40ef5d0f0d8400487377f9a4a69886b8283b95952430b78b27a8930d344a1ca5

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(fields):
    fixed_len = {'00': 18, '01': 14, '02': 14, '11': 6, '13': 6, '15': 6, '17': 6, '3103': 6}
    var_max = {'10': 20, '21': 20, '30': 8, '37': 8, '400': 30}
    numeric = {'00', '01', '02', '11', '13', '15', '17', '3103', '30', '37'}
    out = '#'
    for idx, (ai, val) in enumerate(fields):
        if ai in fixed_len:
            if len(val) != fixed_len[ai]:
                return {'error': 'bad-value', 'ai': ai}
        elif ai in var_max:
            if not 1 <= len(val) <= var_max[ai]:
                return {'error': 'bad-value', 'ai': ai}
        else:
            return {'error': 'unknown-ai', 'ai': ai}
        if ai in numeric and not all(c in '0123456789' for c in val):
            return {'error': 'bad-value', 'ai': ai}
        if not all(33 <= ord(c) <= 126 and c != '#' for c in val):
            return {'error': 'bad-value', 'ai': ai}
        out += ai + val
        if ai in var_max and idx < len(fields) - 1:
            out += '#'
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[['17', '124248'], ['400', 'BAB1XXX/9BAB1B1XC1BCX'], ['30', '86711'], ['11', '769392']], '#17124248400BAB1XXX/9BAB1B1XC1BCX#3086711#11769392'], [[['17', '473380'], ['10', 'BX-X/XC99'], ['400', 'CA'], ['10', '20240101']], '#1747338010BX-X/XC99#400CA#1020240101'], [[['400', 'X9B1-1X9--'], ['3103', '754725'], ['30', '31441746']], '#400X9B1-1X9--#31037547253031441746'], [[['00', '90045075234391735A']], {'error': 'bad-value', 'ai': '00'}], [[['30', '314304438']], {'error': 'bad-value', 'ai': '30'}], [[['30', '498926295']], {'error': 'bad-value', 'ai': '30'}], [[['400', '/111CAB9B19'], ['13', '210963'], ['30', '0326813'], ['01', '75824941622232']], '#400/111CAB9B19#13210963300326813#0175824941622232'], [[['17', '416957'], ['21', 'ACCBC-/-BCXBCB9B'], ['13', '52517']], {'error': 'bad-value', 'ai': '13'}]], [[[['11', '875343'], ['17', '156844'], ['37', '4945']], '#1187534317156844374945'], [[['17', '515339'], ['400', 'A/BCCC1C-X11A'], ['01', '63612123111605'], ['00', '132112603078520217']], '#17515339400A/BCCC1C-X11A#016361212311160500132112603078520217'], [[['11', '827833']], '#11827833'], [[['10', '999B9'], ['02', '83916947090792'], ['02', '6235977446030']], {'error': 'bad-value', 'ai': '02'}], [[['02', '50315475817306'], ['13', '780102'], ['30', '86357A'], ['21', '-9C/C9BB-']], {'error': 'bad-value', 'ai': '30'}], [[['15', '20240101'], ['01', '50134768665104']], {'error': 'bad-value', 'ai': '15'}], [[['15', '102414'], ['30', '347034523'], ['11', '22408']], {'error': 'bad-value', 'ai': '30'}], [[['400', '/XA1XB9A9/B/'], ['15', '153070'], ['17', '288329'], ['01', '17366692698106']], '#400/XA1XB9A9/B/#15153070172883290117366692698106']], [[[['17', '764648'], ['00', '803303724172524462'], ['3103', '62666 '], ['00', '862045118629427432']], {'error': 'bad-value', 'ai': '3103'}], [[['15', '160900'], ['15', '668029'], ['21', '/1A1/BCC/'], ['17', '123254']], '#151609001566802921/1A1/BCC/#17123254'], [[['400', '-']], '#400-'], [[['3103', '506096'], ['30', '1'], ['11', '465886']], '#3103506096301#11465886'], [[['3103', '']], {'error': 'bad-value', 'ai': '3103'}], [[['01', '16614057569424'], ['01', '04741883691497'], ['3103', '20240101'], ['17', '174564']], {'error': 'bad-value', 'ai': '3103'}], [[['37', '08071557'], ['10', 'BB9-C'], ['3103', '566874']], '#3708071557#10BB9-C#3103566874'], [[['00', '547081353249082327'], ['17', '124712'], ['400', '/1CA/AAB99X/AC91XAC9-X'], ['400', 'C/XCX1AX-AA/X99X9']], '#0054708135324908232717124712400/1CA/AAB99X/AC91XAC9-X#400C/XCX1AX-AA/X99X9']], [[[['17', '545896'], ['00', '836115217194119260'], ['3103', '506900'], ['3103', '54356A']], {'error': 'bad-value', 'ai': '3103'}], [[['17', '381963'], ['13', '319310'], ['02', '03156879573014']], '#17381963133193100203156879573014'], [[['400', '-CA9C-XA1X-9A/CBA/91-']], '#400-CA9C-XA1X-9A/CBA/91-'], [[['15', '29986'], ['11', '20240101']], {'error': 'bad-value', 'ai': '15'}], [[['17', ''], ['11', ''], ['13', '934852']], {'error': 'bad-value', 'ai': '17'}], [[['11', '293752']], '#11293752'], [[['3103', '774115'], ['21', 'X-XBX9'], ['13', '148432']], '#310377411521X-XBX9#13148432'], [[['17', '571639'], ['10', '1/99AAX19ABBXA1-AB1X'], ['3103', '938334'], ['30', '5']], '#17571639101/99AAX19ABBXA1-AB1X#3103938334305']], [[[['17', '877282']], '#17877282'], [[['17', '091323'], ['02', '21668709251946']], '#170913230221668709251946'], [[['01', '88338443484420'], ['15', '924591'], ['37', '']], {'error': 'bad-value', 'ai': '37'}], [[['15', '009908'], ['11', '813644']], '#1500990811813644'], [[['30', ''], ['13', '195409']], {'error': 'bad-value', 'ai': '30'}], [[['01', '21550398685673'], ['15', '789070'], ['13', '754989']], '#01215503986856731578907013754989'], [[['400', ''], ['10', 'AACB9CCBA--/B'], ['30', '1'], ['00', '040560967884581457']], {'error': 'bad-value', 'ai': '400'}], [[['11', '798565'], ['21', 'B-X1C/'], ['17', '896229']], '#1179856521B-X1C/#17896229']]]
labels = ["regression: date AI length", "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: date AI length 0	`#17124248400BAB1XXX/9BAB1B1XC1BCX#3086711#11769392`	`#17124248400BAB1XXX/9BAB1B1XC1BCX#3086711#11769392`	Passed
repair trap 1	`#1747338010BX-X/XC99#400CA#1020240101`	`#1747338010BX-X/XC99#400CA#1020240101`	Passed
combined fault 2	`#400X9B1-1X9--#31037547253031441746`	`#400X9B1-1X9--#31037547253031441746`	Passed
control 3	`{'ai': '00', 'error': 'bad-value'}`	`{'ai': '00', 'error': 'bad-value'}`	Passed
control 4	`{'ai': '30', 'error': 'bad-value'}`	`{'ai': '30', 'error': 'bad-value'}`	Passed
boundary 5	`{'ai': '30', 'error': 'bad-value'}`	`{'ai': '30', 'error': 'bad-value'}`	Passed
boundary 6	`#400/111CAB9B19#13210963300326813#0175824941622232`	`#400/111CAB9B19#13210963300326813#0175824941622232`	Passed
control 7	`{'ai': '13', 'error': 'bad-value'}`	`{'ai': '13', 'error': 'bad-value'}`	Passed

SHA-256 / 3883ef20b52bbab92c42910a46304a53dca5984dae992fa1f463b2f7f7f95a37

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

Case digest / 878d8bc2069abb337a6397aecec34596314d1ed02ba529e1efdf97b2b600250a