{"abstract":"Nearly every generated LEI fails validation.","category":"Check-digit algorithms","checks":8,"contract":"Generate ISO 17442 LEI check digits (ISO 7064 MOD 97-10): the 18-character alphanumeric prefix is upper-cased (other input returns None), \"00\" is appended, letters become 10..35, and the check is 98 - (number mod 97) written as exactly two digits. Return the 20-character LEI.","contract_signature":"prefix","evaluation_group":"w2-check_digit_algorithms-lei-generate","failed_approach":"Appending a single 0 shifts by only one decimal place.","family":"w2-check_digit_algorithms-lei-generate-placeholder-digits","id":"FA-72776","implementations":{"attempt":{"sha256":"86d872bc2bf9834246c74fd572cec82e156037ed628f3cae20c8cc567d74c6af","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(prefix):\n    t = prefix.upper()\n    if len(t) != 18 or not t.isascii() or not t.isalnum():\n        return None\n    n = int(''.join(str(int(ch, 36)) for ch in t + '0'))\n    return t + '%02d' % (98 - n % 97)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [\"NH4O4Q9HMI8RUJ0D6Y\"]', ['NH4O4Q9HMI8RUJ0D6Y'], 'NH4O4Q9HMI8RUJ0D6Y73'], ['regression [\"9K6IWOG7TS4VC3SHAM\"]', ['9K6IWOG7TS4VC3SHAM'], '9K6IWOG7TS4VC3SHAM78'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['control [\"ACLPCCV3EGBW4QG3I6\"]', ['ACLPCCV3EGBW4QG3I6'], 'ACLPCCV3EGBW4QG3I685'], ['control [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502']], [['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"ACLPCCV3EGBW4QG3I6\"]', ['ACLPCCV3EGBW4QG3I6'], 'ACLPCCV3EGBW4QG3I685'], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"2G388X3WHEMWPIB3DO\"]', ['2G388X3WHEMWPIB3DO'], '2G388X3WHEMWPIB3DO38'], ['control [\"WYITG3CIA2EMN51FG8\"]', ['WYITG3CIA2EMN51FG8'], 'WYITG3CIA2EMN51FG854'], ['control [\"X22YG0E1MY8V7QUQUU\"]', ['X22YG0E1MY8V7QUQUU'], 'X22YG0E1MY8V7QUQUU47']], [['regression [\"II5XCIYZ03SDPPSQ7Z\"]', ['II5XCIYZ03SDPPSQ7Z'], 'II5XCIYZ03SDPPSQ7Z30'], ['regression [\"H6UNZ3Z93AZ7BYYPJC\"]', ['H6UNZ3Z93AZ7BYYPJC'], 'H6UNZ3Z93AZ7BYYPJC84'], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"2Y76WQMSKZ26SJ35YB\"]', ['2Y76WQMSKZ26SJ35YB'], '2Y76WQMSKZ26SJ35YB12'], ['control [\"CU3JXPUYQHVR22PKEM\"]', ['CU3JXPUYQHVR22PKEM'], 'CU3JXPUYQHVR22PKEM49'], ['control [\"EPXGBGA2NLNHRPYT3N\"]', ['EPXGBGA2NLNHRPYT3N'], 'EPXGBGA2NLNHRPYT3N83']], [['regression [\"WYITG3CIA2EMN51FG8\"]', ['WYITG3CIA2EMN51FG8'], 'WYITG3CIA2EMN51FG854'], ['regression [\"X22YG0E1MY8V7QUQUU\"]', ['X22YG0E1MY8V7QUQUU'], 'X22YG0E1MY8V7QUQUU47'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"11H96GYM52SNV78B6G\"]', ['11H96GYM52SNV78B6G'], '11H96GYM52SNV78B6G12'], ['control [\"8WZS9XRTCO6DTNCKMU\"]', ['8WZS9XRTCO6DTNCKMU'], '8WZS9XRTCO6DTNCKMU93'], ['control [\"QBZJYTHC8GNQSKDJSD\"]', ['QBZJYTHC8GNQSKDJSD'], 'QBZJYTHC8GNQSKDJSD15']], [['regression [\"U6G55SH046WQ164I4P\"]', ['U6G55SH046WQ164I4P'], 'U6G55SH046WQ164I4P20'], ['regression [\"2Y76WQMSKZ26SJ35YB\"]', ['2Y76WQMSKZ26SJ35YB'], '2Y76WQMSKZ26SJ35YB12'], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"JA1SCUCU57DVVWD2MF\"]', ['JA1SCUCU57DVVWD2MF'], 'JA1SCUCU57DVVWD2MF33'], ['control [\"FUNIAT1L7171F0KBF9\"]', ['FUNIAT1L7171F0KBF9'], 'FUNIAT1L7171F0KBF963'], ['control [\"Z62YQ0YUTHLSESKG4A\"]', ['Z62YQ0YUTHLSESKG4A'], 'Z62YQ0YUTHLSESKG4A79']]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, 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":"4f81477bf6d6e1f4ce9d20dcb0eb0f2d735153787ae142f57fa9d3067b61511a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(prefix):\n    t = prefix.upper()\n    if len(t) != 18 or not t.isascii() or not t.isalnum():\n        return None\n    n = int(''.join(str(int(ch, 36)) for ch in t))\n    return t + '%02d' % (98 - n % 97)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [\"NH4O4Q9HMI8RUJ0D6Y\"]', ['NH4O4Q9HMI8RUJ0D6Y'], 'NH4O4Q9HMI8RUJ0D6Y73'], ['regression [\"9K6IWOG7TS4VC3SHAM\"]', ['9K6IWOG7TS4VC3SHAM'], '9K6IWOG7TS4VC3SHAM78'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['control [\"ACLPCCV3EGBW4QG3I6\"]', ['ACLPCCV3EGBW4QG3I6'], 'ACLPCCV3EGBW4QG3I685'], ['control [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502']], [['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"ACLPCCV3EGBW4QG3I6\"]', ['ACLPCCV3EGBW4QG3I6'], 'ACLPCCV3EGBW4QG3I685'], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"2G388X3WHEMWPIB3DO\"]', ['2G388X3WHEMWPIB3DO'], '2G388X3WHEMWPIB3DO38'], ['control [\"WYITG3CIA2EMN51FG8\"]', ['WYITG3CIA2EMN51FG8'], 'WYITG3CIA2EMN51FG854'], ['control [\"X22YG0E1MY8V7QUQUU\"]', ['X22YG0E1MY8V7QUQUU'], 'X22YG0E1MY8V7QUQUU47']], [['regression [\"II5XCIYZ03SDPPSQ7Z\"]', ['II5XCIYZ03SDPPSQ7Z'], 'II5XCIYZ03SDPPSQ7Z30'], ['regression [\"H6UNZ3Z93AZ7BYYPJC\"]', ['H6UNZ3Z93AZ7BYYPJC'], 'H6UNZ3Z93AZ7BYYPJC84'], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"2Y76WQMSKZ26SJ35YB\"]', ['2Y76WQMSKZ26SJ35YB'], '2Y76WQMSKZ26SJ35YB12'], ['control [\"CU3JXPUYQHVR22PKEM\"]', ['CU3JXPUYQHVR22PKEM'], 'CU3JXPUYQHVR22PKEM49'], ['control [\"EPXGBGA2NLNHRPYT3N\"]', ['EPXGBGA2NLNHRPYT3N'], 'EPXGBGA2NLNHRPYT3N83']], [['regression [\"WYITG3CIA2EMN51FG8\"]', ['WYITG3CIA2EMN51FG8'], 'WYITG3CIA2EMN51FG854'], ['regression [\"X22YG0E1MY8V7QUQUU\"]', ['X22YG0E1MY8V7QUQUU'], 'X22YG0E1MY8V7QUQUU47'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"11H96GYM52SNV78B6G\"]', ['11H96GYM52SNV78B6G'], '11H96GYM52SNV78B6G12'], ['control [\"8WZS9XRTCO6DTNCKMU\"]', ['8WZS9XRTCO6DTNCKMU'], '8WZS9XRTCO6DTNCKMU93'], ['control [\"QBZJYTHC8GNQSKDJSD\"]', ['QBZJYTHC8GNQSKDJSD'], 'QBZJYTHC8GNQSKDJSD15']], [['regression [\"U6G55SH046WQ164I4P\"]', ['U6G55SH046WQ164I4P'], 'U6G55SH046WQ164I4P20'], ['regression [\"2Y76WQMSKZ26SJ35YB\"]', ['2Y76WQMSKZ26SJ35YB'], '2Y76WQMSKZ26SJ35YB12'], ['control [\"000000000000000000\"]', ['000000000000000000'], '00000000000000000098'], ['control [\"5493001KJTIIGC8Y1\"]', ['5493001KJTIIGC8Y1'], None], ['control [\"5493001KJTIIGC8Y1R-\"]', ['5493001KJTIIGC8Y1R-'], None], ['control [\"JA1SCUCU57DVVWD2MF\"]', ['JA1SCUCU57DVVWD2MF'], 'JA1SCUCU57DVVWD2MF33'], ['control [\"FUNIAT1L7171F0KBF9\"]', ['FUNIAT1L7171F0KBF9'], 'FUNIAT1L7171F0KBF963'], ['control [\"Z62YQ0YUTHLSESKG4A\"]', ['Z62YQ0YUTHLSESKG4A'], 'Z62YQ0YUTHLSESKG4A79']]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, 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 of the named scheme under the stated contract; not a certified validator. 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-check_digit_algorithms-lei-generate-placeholder-digits","generated_at":"2026-09-29T14:48:41.506380+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Regulatory reporting tools assign and verify legal entity identifiers.","root_cause":"The number is formed from the prefix alone, so it is not shifted by two decimal places.","sha256":"b50e4e1aba5c95324fb15b1740b5d288ec5d606db21c8260ee1d09079879de75","title":"LEI check is computed without the 00 placeholder · 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":39.451,"exit_code":1,"observations":[{"actual":"NH4O4Q9HMI8RUJ0D6Y47","check":"regression [\"NH4O4Q9HMI8RUJ0D6Y\"]","expected":"NH4O4Q9HMI8RUJ0D6Y73","passed":false},{"actual":"9K6IWOG7TS4VC3SHAM96","check":"regression [\"9K6IWOG7TS4VC3SHAM\"]","expected":"9K6IWOG7TS4VC3SHAM78","passed":false},{"actual":null,"check":"control [\"5493001KJTIIGC8Y1\"]","expected":null,"passed":true},{"actual":null,"check":"control [\"5493001KJTIIGC8Y1R-\"]","expected":null,"passed":true},{"actual":"00000000000000000098","check":"control [\"000000000000000000\"]","expected":"00000000000000000098","passed":true},{"actual":"TD7FDXWKLVRV07ALBK79","check":"control [\"TD7FDXWKLVRV07ALBK\"]","expected":"TD7FDXWKLVRV07ALBK05","passed":false},{"actual":"ACLPCCV3EGBW4QG3I687","check":"control [\"ACLPCCV3EGBW4QG3I6\"]","expected":"ACLPCCV3EGBW4QG3I685","passed":false},{"actual":"64WI551TBNLAZEBU1569","check":"control [\"64WI551TBNLAZEBU15\"]","expected":"64WI551TBNLAZEBU1502","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [\\\"NH4O4Q9HMI8RUJ0D6Y\\\"]\", \"actual\": \"NH4O4Q9HMI8RUJ0D6Y47\", \"expected\": \"NH4O4Q9HMI8RUJ0D6Y73\", \"passed\": false}, {\"check\": \"regression [\\\"9K6IWOG7TS4VC3SHAM\\\"]\", \"actual\": \"9K6IWOG7TS4VC3SHAM96\", \"expected\": \"9K6IWOG7TS4VC3SHAM78\", \"passed\": false}, {\"check\": \"control [\\\"5493001KJTIIGC8Y1\\\"]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [\\\"5493001KJTIIGC8Y1R-\\\"]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [\\\"000000000000000000\\\"]\", \"actual\": \"00000000000000000098\", \"expected\": \"00000000000000000098\", \"passed\": true}, {\"check\": \"control [\\\"TD7FDXWKLVRV07ALBK\\\"]\", \"actual\": \"TD7FDXWKLVRV07ALBK79\", \"expected\": \"TD7FDXWKLVRV07ALBK05\", \"passed\": false}, {\"check\": \"control [\\\"ACLPCCV3EGBW4QG3I6\\\"]\", \"actual\": \"ACLPCCV3EGBW4QG3I687\", \"expected\": \"ACLPCCV3EGBW4QG3I685\", \"passed\": false}, {\"check\": \"control [\\\"64WI551TBNLAZEBU15\\\"]\", \"actual\": \"64WI551TBNLAZEBU1569\", \"expected\": \"64WI551TBNLAZEBU1502\", \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.764,"exit_code":1,"observations":[{"actual":"NH4O4Q9HMI8RUJ0D6Y25","check":"regression [\"NH4O4Q9HMI8RUJ0D6Y\"]","expected":"NH4O4Q9HMI8RUJ0D6Y73","passed":false},{"actual":"9K6IWOG7TS4VC3SHAM59","check":"regression [\"9K6IWOG7TS4VC3SHAM\"]","expected":"9K6IWOG7TS4VC3SHAM78","passed":false},{"actual":null,"check":"control [\"5493001KJTIIGC8Y1\"]","expected":null,"passed":true},{"actual":null,"check":"control [\"5493001KJTIIGC8Y1R-\"]","expected":null,"passed":true},{"actual":"00000000000000000098","check":"control [\"000000000000000000\"]","expected":"00000000000000000098","passed":true},{"actual":"TD7FDXWKLVRV07ALBK67","check":"control [\"TD7FDXWKLVRV07ALBK\"]","expected":"TD7FDXWKLVRV07ALBK05","passed":false},{"actual":"ACLPCCV3EGBW4QG3I629","check":"control [\"ACLPCCV3EGBW4QG3I6\"]","expected":"ACLPCCV3EGBW4QG3I685","passed":false},{"actual":"64WI551TBNLAZEBU1566","check":"control [\"64WI551TBNLAZEBU15\"]","expected":"64WI551TBNLAZEBU1502","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [\\\"NH4O4Q9HMI8RUJ0D6Y\\\"]\", \"actual\": \"NH4O4Q9HMI8RUJ0D6Y25\", \"expected\": \"NH4O4Q9HMI8RUJ0D6Y73\", \"passed\": false}, {\"check\": \"regression [\\\"9K6IWOG7TS4VC3SHAM\\\"]\", \"actual\": \"9K6IWOG7TS4VC3SHAM59\", \"expected\": \"9K6IWOG7TS4VC3SHAM78\", \"passed\": false}, {\"check\": \"control [\\\"5493001KJTIIGC8Y1\\\"]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [\\\"5493001KJTIIGC8Y1R-\\\"]\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"control [\\\"000000000000000000\\\"]\", \"actual\": \"00000000000000000098\", \"expected\": \"00000000000000000098\", \"passed\": true}, {\"check\": \"control [\\\"TD7FDXWKLVRV07ALBK\\\"]\", \"actual\": \"TD7FDXWKLVRV07ALBK67\", \"expected\": \"TD7FDXWKLVRV07ALBK05\", \"passed\": false}, {\"check\": \"control [\\\"ACLPCCV3EGBW4QG3I6\\\"]\", \"actual\": \"ACLPCCV3EGBW4QG3I629\", \"expected\": \"ACLPCCV3EGBW4QG3I685\", \"passed\": false}, {\"check\": \"control [\\\"64WI551TBNLAZEBU15\\\"]\", \"actual\": \"64WI551TBNLAZEBU1566\", \"expected\": \"64WI551TBNLAZEBU1502\", \"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."}}