{"abstract":"Compressed codes ending in 3 expand to a different manufacturer number.","category":"Barcode symbology encoding","checks":8,"contract":"Expand an 8-digit zero-suppressed UPC-E string (number system 0 or 1, six digits d1..d6, check digit passed through) into 12-digit UPC-A: d6 in 0-2 -> d1 d2 d6 0000 d3 d4 d5; d6 = 3 -> d1 d2 d3 00000 d4 d5; d6 = 4 -> d1 d2 d3 d4 00000 d5; d6 in 5-9 -> d1..d5 0000 d6. Invalid input returns None.","evaluation_group":"w2-barcode-symbology-encoding-upce-expansion","failed_approach":"Restricting it to 0 and 1 sends 2 to the fall-through rule.","family":"w2-barcode-symbology-encoding-upce-expansion-case-boundary","id":"FA-79371","implementations":{"attempt":{"sha256":"6044c46e0577ce78383cb3245b3523c79b7335f3bba43ea7fa97c8b2b19bd2b9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(e):\n    if len(e) != 8 or not all(ch in '0123456789' for ch in e):\n        return None\n    ns, d, chk = e[0], e[1:7], e[7]\n    if ns not in ('0', '1'):\n        return None\n    last = d[5]\n    if last in '01':\n        body = d[0:2] + last + '0000' + d[2:5]\n    elif last == '3':\n        body = d[0:3] + '00000' + d[3:5]\n    elif last == '4':\n        body = d[0:4] + '00000' + d[4]\n    else:\n        body = d[0:5] + '0000' + last\n    return ns + body + chk\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['01189536', '011800000956'], ['16787022', '167200008702'], ['25279409', None], ['04319958', '043199000058'], ['08023781', '080237000081'], ['24955674', None], ['29819666', None], ['09341436', '093400000146']], [['10930437', '109300000047'], ['09520429', '095200002049'], ['06482006', '064000008206'], ['13115485', '131154000085'], ['28046301', None], ['15524099', '155240000099'], ['18039301', '180000003931'], ['00286336', '002800000636']], [['15918031', '159100000801'], ['14075822', '140200007582'], ['07273910', '072100007390'], ['29592260', None], ['00838090', '008380000090'], ['19840591', '198405000091'], ['21922317', None], ['01282734', '012800000274']], [['03368937', '033600000897'], ['07252722', '072200005272'], ['08533799', '085337000099'], ['00787643', '007870000063'], ['08858661', '088586000061'], ['24707936', None], ['06596582', '065965000082'], ['06465438', '064600000548']], [['00537830', '005300000780'], ['19262728', '192200006278'], ['28773952', None], ['18771250', '187712000050'], ['13513558', '135135000058'], ['03833572', '038335000072'], ['17673991', '176739000091'], ['02109436', '021000000946']]]\nlabels = [\"regression: manufacturer rule boundary\", \"repair trap\", \"combined fault\", \"control\", \"control\", \"boundary\", \"boundary\", \"control\"]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (labels[i % len(labels)], i), solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"f1e17d5b7164dca8a2815930f329585ae845bde3914d0a8d24c3c359474266a9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(e):\n    if len(e) != 8 or not all(ch in '0123456789' for ch in e):\n        return None\n    ns, d, chk = e[0], e[1:7], e[7]\n    if ns not in ('0', '1'):\n        return None\n    last = d[5]\n    if last in '0123':\n        body = d[0:2] + last + '0000' + d[2:5]\n    elif last == '3':\n        body = d[0:3] + '00000' + d[3:5]\n    elif last == '4':\n        body = d[0:4] + '00000' + d[4]\n    else:\n        body = d[0:5] + '0000' + last\n    return ns + body + chk\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['01189536', '011800000956'], ['16787022', '167200008702'], ['25279409', None], ['04319958', '043199000058'], ['08023781', '080237000081'], ['24955674', None], ['29819666', None], ['09341436', '093400000146']], [['10930437', '109300000047'], ['09520429', '095200002049'], ['06482006', '064000008206'], ['13115485', '131154000085'], ['28046301', None], ['15524099', '155240000099'], ['18039301', '180000003931'], ['00286336', '002800000636']], [['15918031', '159100000801'], ['14075822', '140200007582'], ['07273910', '072100007390'], ['29592260', None], ['00838090', '008380000090'], ['19840591', '198405000091'], ['21922317', None], ['01282734', '012800000274']], [['03368937', '033600000897'], ['07252722', '072200005272'], ['08533799', '085337000099'], ['00787643', '007870000063'], ['08858661', '088586000061'], ['24707936', None], ['06596582', '065965000082'], ['06465438', '064600000548']], [['00537830', '005300000780'], ['19262728', '192200006278'], ['28773952', None], ['18771250', '187712000050'], ['13513558', '135135000058'], ['03833572', '038335000072'], ['17673991', '176739000091'], ['02109436', '021000000946']]]\nlabels = [\"regression: manufacturer rule boundary\", \"repair trap\", \"combined fault\", \"control\", \"control\", \"boundary\", \"boundary\", \"control\"]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (labels[i % len(labels)], i), solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"27cfca0e824271824f8db9e676990938345316285bb2533eb9f7337486012818","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(e):\n    if len(e) != 8 or not all(ch in '0123456789' for ch in e):\n        return None\n    ns, d, chk = e[0], e[1:7], e[7]\n    if ns not in ('0', '1'):\n        return None\n    last = d[5]\n    if last in '012':\n        body = d[0:2] + last + '0000' + d[2:5]\n    elif last == '3':\n        body = d[0:3] + '00000' + d[3:5]\n    elif last == '4':\n        body = d[0:4] + '00000' + d[4]\n    else:\n        body = d[0:5] + '0000' + last\n    return ns + body + chk\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['01189536', '011800000956'], ['16787022', '167200008702'], ['25279409', None], ['04319958', '043199000058'], ['08023781', '080237000081'], ['24955674', None], ['29819666', None], ['09341436', '093400000146']], [['10930437', '109300000047'], ['09520429', '095200002049'], ['06482006', '064000008206'], ['13115485', '131154000085'], ['28046301', None], ['15524099', '155240000099'], ['18039301', '180000003931'], ['00286336', '002800000636']], [['15918031', '159100000801'], ['14075822', '140200007582'], ['07273910', '072100007390'], ['29592260', None], ['00838090', '008380000090'], ['19840591', '198405000091'], ['21922317', None], ['01282734', '012800000274']], [['03368937', '033600000897'], ['07252722', '072200005272'], ['08533799', '085337000099'], ['00787643', '007870000063'], ['08858661', '088586000061'], ['24707936', None], ['06596582', '065965000082'], ['06465438', '064600000548']], [['00537830', '005300000780'], ['19262728', '192200006278'], ['28773952', None], ['18771250', '187712000050'], ['13513558', '135135000058'], ['03833572', '038335000072'], ['17673991', '176739000091'], ['02109436', '021000000946']]]\nlabels = [\"regression: manufacturer rule boundary\", \"repair trap\", \"combined fault\", \"control\", \"control\", \"boundary\", \"boundary\", \"control\"]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (labels[i % len(labels)], i), solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-barcode-symbology-encoding-upce-expansion-case-boundary","generated_at":"2026-09-29T14:49:43.824649+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"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.","repair":"Apply the d6-into-manufacturer rule only for final digits 0, 1 and 2.","root_cause":"The first rule captures d6 = 3, so the dedicated 3 rule never runs.","sha256":"9ff24c8e13e134acc922631a51e0b8089322a464c3c7755c4169e94c6cdeabb9","title":"UPC-E expansion applies the 0-2 rule to a final 3 · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.706,"exit_code":1,"observations":[{"actual":"011800000956","check":"regression: manufacturer rule boundary 0","expected":"011800000956","passed":true},{"actual":"167870000022","check":"repair trap 1","expected":"167200008702","passed":false},{"actual":null,"check":"combined fault 2","expected":null,"passed":true},{"actual":"043199000058","check":"control 3","expected":"043199000058","passed":true},{"actual":"080237000081","check":"control 4","expected":"080237000081","passed":true},{"actual":null,"check":"boundary 5","expected":null,"passed":true},{"actual":null,"check":"boundary 6","expected":null,"passed":true},{"actual":"093400000146","check":"control 7","expected":"093400000146","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: manufacturer rule boundary 0\", \"actual\": \"011800000956\", \"expected\": \"011800000956\", \"passed\": true}, {\"check\": \"repair trap 1\", \"actual\": \"167870000022\", \"expected\": \"167200008702\", \"passed\": false}, {\"check\": \"combined fault 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 3\", \"actual\": \"043199000058\", \"expected\": \"043199000058\", \"passed\": true}, {\"check\": \"control 4\", \"actual\": \"080237000081\", \"expected\": \"080237000081\", \"passed\": true}, {\"check\": \"boundary 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"boundary 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 7\", \"actual\": \"093400000146\", \"expected\": \"093400000146\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.994,"exit_code":1,"observations":[{"actual":"011300008956","check":"regression: manufacturer rule boundary 0","expected":"011800000956","passed":false},{"actual":"167200008702","check":"repair trap 1","expected":"167200008702","passed":true},{"actual":null,"check":"combined fault 2","expected":null,"passed":true},{"actual":"043199000058","check":"control 3","expected":"043199000058","passed":true},{"actual":"080237000081","check":"control 4","expected":"080237000081","passed":true},{"actual":null,"check":"boundary 5","expected":null,"passed":true},{"actual":null,"check":"boundary 6","expected":null,"passed":true},{"actual":"093300004146","check":"control 7","expected":"093400000146","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: manufacturer rule boundary 0\", \"actual\": \"011300008956\", \"expected\": \"011800000956\", \"passed\": false}, {\"check\": \"repair trap 1\", \"actual\": \"167200008702\", \"expected\": \"167200008702\", \"passed\": true}, {\"check\": \"combined fault 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 3\", \"actual\": \"043199000058\", \"expected\": \"043199000058\", \"passed\": true}, {\"check\": \"control 4\", \"actual\": \"080237000081\", \"expected\": \"080237000081\", \"passed\": true}, {\"check\": \"boundary 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"boundary 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 7\", \"actual\": \"093300004146\", \"expected\": \"093400000146\", \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.244,"exit_code":0,"observations":[{"actual":"011800000956","check":"regression: manufacturer rule boundary 0","expected":"011800000956","passed":true},{"actual":"167200008702","check":"repair trap 1","expected":"167200008702","passed":true},{"actual":null,"check":"combined fault 2","expected":null,"passed":true},{"actual":"043199000058","check":"control 3","expected":"043199000058","passed":true},{"actual":"080237000081","check":"control 4","expected":"080237000081","passed":true},{"actual":null,"check":"boundary 5","expected":null,"passed":true},{"actual":null,"check":"boundary 6","expected":null,"passed":true},{"actual":"093400000146","check":"control 7","expected":"093400000146","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: manufacturer rule boundary 0\", \"actual\": \"011800000956\", \"expected\": \"011800000956\", \"passed\": true}, {\"check\": \"repair trap 1\", \"actual\": \"167200008702\", \"expected\": \"167200008702\", \"passed\": true}, {\"check\": \"combined fault 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 3\", \"actual\": \"043199000058\", \"expected\": \"043199000058\", \"passed\": true}, {\"check\": \"control 4\", \"actual\": \"080237000081\", \"expected\": \"080237000081\", \"passed\": true}, {\"check\": \"boundary 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"boundary 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 7\", \"actual\": \"093400000146\", \"expected\": \"093400000146\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}