{"abstract":"Items whose code ends in 3 are looked up under the wrong product.","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.","contract_signature":"e","evaluation_group":"w2-barcode-symbology-encoding-upce-expansion","failed_approach":"Swapping d4 and d5 keeps the length but reverses the product digits.","family":"w2-barcode-symbology-encoding-upce-expansion-rule-three","id":"FA-79376","implementations":{"attempt":{"sha256":"d53c74b77b8f3f5b241b18bf4631d76e2ac5194ade2bc993d10ce885253e1638","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[4] + d[3]\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'], ['03046239', '030400000629'], ['25279409', None], ['04319958', '043199000058'], ['08023781', '080237000081'], ['16787022', '167200008702'], ['24955674', None], ['09341436', '093400000146']], [['00286336', '002800000636'], ['10930437', '109300000047'], ['00109039', '001000000909'], ['06482006', '064000008206'], ['13115485', '131154000085'], ['28046301', None], ['15524099', '155240000099'], ['07706936', '077000000696']], [['15918031', '159100000801'], ['04057239', '040500000729'], ['11882825', '118200008285'], ['21587198', None], ['07273910', '072100007390'], ['29592260', None], ['00838090', '008380000090'], ['01282734', '012800000274']], [['07065639', '070600000569'], ['03368937', '033600000897'], ['12867038', '128600000708'], ['08533799', '085337000099'], ['00787643', '007870000063'], ['08858661', '088586000061'], ['24707936', None], ['17766731', '177600000671']], [['00537830', '005300000780'], ['01585438', '015800000548'], ['08283998', '082839000098'], ['28773952', None], ['18771250', '187712000050'], ['13513558', '135135000058'], ['03833572', '038335000072'], ['02109436', '021000000946']]]\nlabels = [\"regression: final digit 3 layout\", \"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":"83c3aa47c6993668514ea42d1fd4d4a08a55fd8742a617b940726342e6af74b4","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:4] + '00000' + d[4]\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'], ['03046239', '030400000629'], ['25279409', None], ['04319958', '043199000058'], ['08023781', '080237000081'], ['16787022', '167200008702'], ['24955674', None], ['09341436', '093400000146']], [['00286336', '002800000636'], ['10930437', '109300000047'], ['00109039', '001000000909'], ['06482006', '064000008206'], ['13115485', '131154000085'], ['28046301', None], ['15524099', '155240000099'], ['07706936', '077000000696']], [['15918031', '159100000801'], ['04057239', '040500000729'], ['11882825', '118200008285'], ['21587198', None], ['07273910', '072100007390'], ['29592260', None], ['00838090', '008380000090'], ['01282734', '012800000274']], [['07065639', '070600000569'], ['03368937', '033600000897'], ['12867038', '128600000708'], ['08533799', '085337000099'], ['00787643', '007870000063'], ['08858661', '088586000061'], ['24707936', None], ['17766731', '177600000671']], [['00537830', '005300000780'], ['01585438', '015800000548'], ['08283998', '082839000098'], ['28773952', None], ['18771250', '187712000050'], ['13513558', '135135000058'], ['03833572', '038335000072'], ['02109436', '021000000946']]]\nlabels = [\"regression: final digit 3 layout\", \"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-rule-three","generated_at":"2026-09-29T14:49:43.844348+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.","root_cause":"The d6 = 3 case uses the four-digit manufacturer layout of rule 4.","sha256":"294d405760ce13c7ede2813240ebd854122721ff37063c02db246696b0f87470","title":"UPC-E rule 3 keeps four manufacturer digits · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.416,"exit_code":1,"observations":[{"actual":"011800000596","check":"regression: final digit 3 layout 0","expected":"011800000956","passed":false},{"actual":"030400000269","check":"repair trap 1","expected":"030400000629","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":"167200008702","check":"boundary 5","expected":"167200008702","passed":true},{"actual":null,"check":"boundary 6","expected":null,"passed":true},{"actual":"093400000416","check":"control 7","expected":"093400000146","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: final digit 3 layout 0\", \"actual\": \"011800000596\", \"expected\": \"011800000956\", \"passed\": false}, {\"check\": \"repair trap 1\", \"actual\": \"030400000269\", \"expected\": \"030400000629\", \"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\": \"167200008702\", \"expected\": \"167200008702\", \"passed\": true}, {\"check\": \"boundary 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 7\", \"actual\": \"093400000416\", \"expected\": \"093400000146\", \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.17,"exit_code":1,"observations":[{"actual":"011890000056","check":"regression: final digit 3 layout 0","expected":"011800000956","passed":false},{"actual":"030460000029","check":"repair trap 1","expected":"030400000629","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":"167200008702","check":"boundary 5","expected":"167200008702","passed":true},{"actual":null,"check":"boundary 6","expected":null,"passed":true},{"actual":"093410000046","check":"control 7","expected":"093400000146","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: final digit 3 layout 0\", \"actual\": \"011890000056\", \"expected\": \"011800000956\", \"passed\": false}, {\"check\": \"repair trap 1\", \"actual\": \"030460000029\", \"expected\": \"030400000629\", \"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\": \"167200008702\", \"expected\": \"167200008702\", \"passed\": true}, {\"check\": \"boundary 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control 7\", \"actual\": \"093410000046\", \"expected\": \"093400000146\", \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}