{"abstract":"Check values below 10 produce a 19-character LEI.","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":"Space padding keeps the length but inserts an invalid character.","family":"w2-check_digit_algorithms-lei-generate-two-digit-padding","id":"FA-72771","implementations":{"attempt":{"sha256":"42477a76acbf4703a1984371e242e276e4fe22cf8936f200aef06d64f6fc07ac","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 + '00'))\n    return t + '%2d' % (98 - n % 97)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['control [\"NH4O4Q9HMI8RUJ0D6Y\"]', ['NH4O4Q9HMI8RUJ0D6Y'], 'NH4O4Q9HMI8RUJ0D6Y73'], ['control [\"9K6IWOG7TS4VC3SHAM\"]', ['9K6IWOG7TS4VC3SHAM'], '9K6IWOG7TS4VC3SHAM78'], ['control [\"HTJBP9O1O9QSYUUD3R\"]', ['HTJBP9O1O9QSYUUD3R'], 'HTJBP9O1O9QSYUUD3R38'], ['control [\"ACLPCCV3EGBW4QG3I6\"]', ['ACLPCCV3EGBW4QG3I6'], 'ACLPCCV3EGBW4QG3I685'], ['control [\"II5XCIYZ03SDPPSQ7Z\"]', ['II5XCIYZ03SDPPSQ7Z'], 'II5XCIYZ03SDPPSQ7Z30'], ['control [\"H6UNZ3Z93AZ7BYYPJC\"]', ['H6UNZ3Z93AZ7BYYPJC'], 'H6UNZ3Z93AZ7BYYPJC84']], [['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['control [\"H6UNZ3Z93AZ7BYYPJC\"]', ['H6UNZ3Z93AZ7BYYPJC'], 'H6UNZ3Z93AZ7BYYPJC84'], ['control [\"2G388X3WHEMWPIB3DO\"]', ['2G388X3WHEMWPIB3DO'], '2G388X3WHEMWPIB3DO38'], ['control [\"WYITG3CIA2EMN51FG8\"]', ['WYITG3CIA2EMN51FG8'], 'WYITG3CIA2EMN51FG854'], ['control [\"X22YG0E1MY8V7QUQUU\"]', ['X22YG0E1MY8V7QUQUU'], 'X22YG0E1MY8V7QUQUU47'], ['control [\"3KL2WVMON87A9JVRD8\"]', ['3KL2WVMON87A9JVRD8'], '3KL2WVMON87A9JVRD876'], ['control [\"U6G55SH046WQ164I4P\"]', ['U6G55SH046WQ164I4P'], 'U6G55SH046WQ164I4P20']], [['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['control [\"U6G55SH046WQ164I4P\"]', ['U6G55SH046WQ164I4P'], 'U6G55SH046WQ164I4P20'], ['control [\"2Y76WQMSKZ26SJ35YB\"]', ['2Y76WQMSKZ26SJ35YB'], '2Y76WQMSKZ26SJ35YB12'], ['control [\"CU3JXPUYQHVR22PKEM\"]', ['CU3JXPUYQHVR22PKEM'], 'CU3JXPUYQHVR22PKEM49'], ['control [\"EPXGBGA2NLNHRPYT3N\"]', ['EPXGBGA2NLNHRPYT3N'], 'EPXGBGA2NLNHRPYT3N83'], ['control [\"BQGZ110JXMYQ68HH60\"]', ['BQGZ110JXMYQ68HH60'], 'BQGZ110JXMYQ68HH6058'], ['control [\"V6E7H467R3XXTF0UX2\"]', ['V6E7H467R3XXTF0UX2'], 'V6E7H467R3XXTF0UX240']], [['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['control [\"V6E7H467R3XXTF0UX2\"]', ['V6E7H467R3XXTF0UX2'], 'V6E7H467R3XXTF0UX240'], ['control [\"11H96GYM52SNV78B6G\"]', ['11H96GYM52SNV78B6G'], '11H96GYM52SNV78B6G12'], ['control [\"8WZS9XRTCO6DTNCKMU\"]', ['8WZS9XRTCO6DTNCKMU'], '8WZS9XRTCO6DTNCKMU93'], ['control [\"QBZJYTHC8GNQSKDJSD\"]', ['QBZJYTHC8GNQSKDJSD'], 'QBZJYTHC8GNQSKDJSD15'], ['control [\"PDZ2BB459ICKWDCEN4\"]', ['PDZ2BB459ICKWDCEN4'], 'PDZ2BB459ICKWDCEN446'], ['control [\"EMP8BUVSBRJMR8P6P0\"]', ['EMP8BUVSBRJMR8P6P0'], 'EMP8BUVSBRJMR8P6P049']], [['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['control [\"EMP8BUVSBRJMR8P6P0\"]', ['EMP8BUVSBRJMR8P6P0'], 'EMP8BUVSBRJMR8P6P049'], ['control [\"JA1SCUCU57DVVWD2MF\"]', ['JA1SCUCU57DVVWD2MF'], 'JA1SCUCU57DVVWD2MF33'], ['control [\"FUNIAT1L7171F0KBF9\"]', ['FUNIAT1L7171F0KBF9'], 'FUNIAT1L7171F0KBF963'], ['control [\"Z62YQ0YUTHLSESKG4A\"]', ['Z62YQ0YUTHLSESKG4A'], 'Z62YQ0YUTHLSESKG4A79'], ['control [\"5493001KJTIIGC8Y1R\"]', ['5493001KJTIIGC8Y1R'], '5493001KJTIIGC8Y1R12'], ['control [\"5493001kjtiigc8y1r\"]', ['5493001kjtiigc8y1r'], '5493001KJTIIGC8Y1R12']]]\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":"84b0f29de1e53678466c09fb84d9dc7e6706a3d40d8305895dc9e20cea224125","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 + '00'))\n    return t + str(98 - n % 97)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['control [\"NH4O4Q9HMI8RUJ0D6Y\"]', ['NH4O4Q9HMI8RUJ0D6Y'], 'NH4O4Q9HMI8RUJ0D6Y73'], ['control [\"9K6IWOG7TS4VC3SHAM\"]', ['9K6IWOG7TS4VC3SHAM'], '9K6IWOG7TS4VC3SHAM78'], ['control [\"HTJBP9O1O9QSYUUD3R\"]', ['HTJBP9O1O9QSYUUD3R'], 'HTJBP9O1O9QSYUUD3R38'], ['control [\"ACLPCCV3EGBW4QG3I6\"]', ['ACLPCCV3EGBW4QG3I6'], 'ACLPCCV3EGBW4QG3I685'], ['control [\"II5XCIYZ03SDPPSQ7Z\"]', ['II5XCIYZ03SDPPSQ7Z'], 'II5XCIYZ03SDPPSQ7Z30'], ['control [\"H6UNZ3Z93AZ7BYYPJC\"]', ['H6UNZ3Z93AZ7BYYPJC'], 'H6UNZ3Z93AZ7BYYPJC84']], [['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['control [\"H6UNZ3Z93AZ7BYYPJC\"]', ['H6UNZ3Z93AZ7BYYPJC'], 'H6UNZ3Z93AZ7BYYPJC84'], ['control [\"2G388X3WHEMWPIB3DO\"]', ['2G388X3WHEMWPIB3DO'], '2G388X3WHEMWPIB3DO38'], ['control [\"WYITG3CIA2EMN51FG8\"]', ['WYITG3CIA2EMN51FG8'], 'WYITG3CIA2EMN51FG854'], ['control [\"X22YG0E1MY8V7QUQUU\"]', ['X22YG0E1MY8V7QUQUU'], 'X22YG0E1MY8V7QUQUU47'], ['control [\"3KL2WVMON87A9JVRD8\"]', ['3KL2WVMON87A9JVRD8'], '3KL2WVMON87A9JVRD876'], ['control [\"U6G55SH046WQ164I4P\"]', ['U6G55SH046WQ164I4P'], 'U6G55SH046WQ164I4P20']], [['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['control [\"U6G55SH046WQ164I4P\"]', ['U6G55SH046WQ164I4P'], 'U6G55SH046WQ164I4P20'], ['control [\"2Y76WQMSKZ26SJ35YB\"]', ['2Y76WQMSKZ26SJ35YB'], '2Y76WQMSKZ26SJ35YB12'], ['control [\"CU3JXPUYQHVR22PKEM\"]', ['CU3JXPUYQHVR22PKEM'], 'CU3JXPUYQHVR22PKEM49'], ['control [\"EPXGBGA2NLNHRPYT3N\"]', ['EPXGBGA2NLNHRPYT3N'], 'EPXGBGA2NLNHRPYT3N83'], ['control [\"BQGZ110JXMYQ68HH60\"]', ['BQGZ110JXMYQ68HH60'], 'BQGZ110JXMYQ68HH6058'], ['control [\"V6E7H467R3XXTF0UX2\"]', ['V6E7H467R3XXTF0UX2'], 'V6E7H467R3XXTF0UX240']], [['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['control [\"V6E7H467R3XXTF0UX2\"]', ['V6E7H467R3XXTF0UX2'], 'V6E7H467R3XXTF0UX240'], ['control [\"11H96GYM52SNV78B6G\"]', ['11H96GYM52SNV78B6G'], '11H96GYM52SNV78B6G12'], ['control [\"8WZS9XRTCO6DTNCKMU\"]', ['8WZS9XRTCO6DTNCKMU'], '8WZS9XRTCO6DTNCKMU93'], ['control [\"QBZJYTHC8GNQSKDJSD\"]', ['QBZJYTHC8GNQSKDJSD'], 'QBZJYTHC8GNQSKDJSD15'], ['control [\"PDZ2BB459ICKWDCEN4\"]', ['PDZ2BB459ICKWDCEN4'], 'PDZ2BB459ICKWDCEN446'], ['control [\"EMP8BUVSBRJMR8P6P0\"]', ['EMP8BUVSBRJMR8P6P0'], 'EMP8BUVSBRJMR8P6P049']], [['regression [\"TD7FDXWKLVRV07ALBK\"]', ['TD7FDXWKLVRV07ALBK'], 'TD7FDXWKLVRV07ALBK05'], ['regression [\"64WI551TBNLAZEBU15\"]', ['64WI551TBNLAZEBU15'], '64WI551TBNLAZEBU1502'], ['control [\"EMP8BUVSBRJMR8P6P0\"]', ['EMP8BUVSBRJMR8P6P0'], 'EMP8BUVSBRJMR8P6P049'], ['control [\"JA1SCUCU57DVVWD2MF\"]', ['JA1SCUCU57DVVWD2MF'], 'JA1SCUCU57DVVWD2MF33'], ['control [\"FUNIAT1L7171F0KBF9\"]', ['FUNIAT1L7171F0KBF9'], 'FUNIAT1L7171F0KBF963'], ['control [\"Z62YQ0YUTHLSESKG4A\"]', ['Z62YQ0YUTHLSESKG4A'], 'Z62YQ0YUTHLSESKG4A79'], ['control [\"5493001KJTIIGC8Y1R\"]', ['5493001KJTIIGC8Y1R'], '5493001KJTIIGC8Y1R12'], ['control [\"5493001kjtiigc8y1r\"]', ['5493001kjtiigc8y1r'], '5493001KJTIIGC8Y1R12']]]\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-two-digit-padding","generated_at":"2026-09-29T14:48:41.502641+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 check is appended with str(), dropping the leading zero.","sha256":"36b73aa311a268ec92c5048bb77fd5938a339c002bc8c094743da9ab593fda07","title":"LEI check digits lose the leading zero · 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":38.022,"exit_code":1,"observations":[{"actual":"TD7FDXWKLVRV07ALBK 5","check":"regression [\"TD7FDXWKLVRV07ALBK\"]","expected":"TD7FDXWKLVRV07ALBK05","passed":false},{"actual":"64WI551TBNLAZEBU15 2","check":"regression [\"64WI551TBNLAZEBU15\"]","expected":"64WI551TBNLAZEBU1502","passed":false},{"actual":"NH4O4Q9HMI8RUJ0D6Y73","check":"control [\"NH4O4Q9HMI8RUJ0D6Y\"]","expected":"NH4O4Q9HMI8RUJ0D6Y73","passed":true},{"actual":"9K6IWOG7TS4VC3SHAM78","check":"control [\"9K6IWOG7TS4VC3SHAM\"]","expected":"9K6IWOG7TS4VC3SHAM78","passed":true},{"actual":"HTJBP9O1O9QSYUUD3R38","check":"control [\"HTJBP9O1O9QSYUUD3R\"]","expected":"HTJBP9O1O9QSYUUD3R38","passed":true},{"actual":"ACLPCCV3EGBW4QG3I685","check":"control [\"ACLPCCV3EGBW4QG3I6\"]","expected":"ACLPCCV3EGBW4QG3I685","passed":true},{"actual":"II5XCIYZ03SDPPSQ7Z30","check":"control [\"II5XCIYZ03SDPPSQ7Z\"]","expected":"II5XCIYZ03SDPPSQ7Z30","passed":true},{"actual":"H6UNZ3Z93AZ7BYYPJC84","check":"control [\"H6UNZ3Z93AZ7BYYPJC\"]","expected":"H6UNZ3Z93AZ7BYYPJC84","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [\\\"TD7FDXWKLVRV07ALBK\\\"]\", \"actual\": \"TD7FDXWKLVRV07ALBK 5\", \"expected\": \"TD7FDXWKLVRV07ALBK05\", \"passed\": false}, {\"check\": \"regression [\\\"64WI551TBNLAZEBU15\\\"]\", \"actual\": \"64WI551TBNLAZEBU15 2\", \"expected\": \"64WI551TBNLAZEBU1502\", \"passed\": false}, {\"check\": \"control [\\\"NH4O4Q9HMI8RUJ0D6Y\\\"]\", \"actual\": \"NH4O4Q9HMI8RUJ0D6Y73\", \"expected\": \"NH4O4Q9HMI8RUJ0D6Y73\", \"passed\": true}, {\"check\": \"control [\\\"9K6IWOG7TS4VC3SHAM\\\"]\", \"actual\": \"9K6IWOG7TS4VC3SHAM78\", \"expected\": \"9K6IWOG7TS4VC3SHAM78\", \"passed\": true}, {\"check\": \"control [\\\"HTJBP9O1O9QSYUUD3R\\\"]\", \"actual\": \"HTJBP9O1O9QSYUUD3R38\", \"expected\": \"HTJBP9O1O9QSYUUD3R38\", \"passed\": true}, {\"check\": \"control [\\\"ACLPCCV3EGBW4QG3I6\\\"]\", \"actual\": \"ACLPCCV3EGBW4QG3I685\", \"expected\": \"ACLPCCV3EGBW4QG3I685\", \"passed\": true}, {\"check\": \"control [\\\"II5XCIYZ03SDPPSQ7Z\\\"]\", \"actual\": \"II5XCIYZ03SDPPSQ7Z30\", \"expected\": \"II5XCIYZ03SDPPSQ7Z30\", \"passed\": true}, {\"check\": \"control [\\\"H6UNZ3Z93AZ7BYYPJC\\\"]\", \"actual\": \"H6UNZ3Z93AZ7BYYPJC84\", \"expected\": \"H6UNZ3Z93AZ7BYYPJC84\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.777,"exit_code":1,"observations":[{"actual":"TD7FDXWKLVRV07ALBK5","check":"regression [\"TD7FDXWKLVRV07ALBK\"]","expected":"TD7FDXWKLVRV07ALBK05","passed":false},{"actual":"64WI551TBNLAZEBU152","check":"regression [\"64WI551TBNLAZEBU15\"]","expected":"64WI551TBNLAZEBU1502","passed":false},{"actual":"NH4O4Q9HMI8RUJ0D6Y73","check":"control [\"NH4O4Q9HMI8RUJ0D6Y\"]","expected":"NH4O4Q9HMI8RUJ0D6Y73","passed":true},{"actual":"9K6IWOG7TS4VC3SHAM78","check":"control [\"9K6IWOG7TS4VC3SHAM\"]","expected":"9K6IWOG7TS4VC3SHAM78","passed":true},{"actual":"HTJBP9O1O9QSYUUD3R38","check":"control [\"HTJBP9O1O9QSYUUD3R\"]","expected":"HTJBP9O1O9QSYUUD3R38","passed":true},{"actual":"ACLPCCV3EGBW4QG3I685","check":"control [\"ACLPCCV3EGBW4QG3I6\"]","expected":"ACLPCCV3EGBW4QG3I685","passed":true},{"actual":"II5XCIYZ03SDPPSQ7Z30","check":"control [\"II5XCIYZ03SDPPSQ7Z\"]","expected":"II5XCIYZ03SDPPSQ7Z30","passed":true},{"actual":"H6UNZ3Z93AZ7BYYPJC84","check":"control [\"H6UNZ3Z93AZ7BYYPJC\"]","expected":"H6UNZ3Z93AZ7BYYPJC84","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression [\\\"TD7FDXWKLVRV07ALBK\\\"]\", \"actual\": \"TD7FDXWKLVRV07ALBK5\", \"expected\": \"TD7FDXWKLVRV07ALBK05\", \"passed\": false}, {\"check\": \"regression [\\\"64WI551TBNLAZEBU15\\\"]\", \"actual\": \"64WI551TBNLAZEBU152\", \"expected\": \"64WI551TBNLAZEBU1502\", \"passed\": false}, {\"check\": \"control [\\\"NH4O4Q9HMI8RUJ0D6Y\\\"]\", \"actual\": \"NH4O4Q9HMI8RUJ0D6Y73\", \"expected\": \"NH4O4Q9HMI8RUJ0D6Y73\", \"passed\": true}, {\"check\": \"control [\\\"9K6IWOG7TS4VC3SHAM\\\"]\", \"actual\": \"9K6IWOG7TS4VC3SHAM78\", \"expected\": \"9K6IWOG7TS4VC3SHAM78\", \"passed\": true}, {\"check\": \"control [\\\"HTJBP9O1O9QSYUUD3R\\\"]\", \"actual\": \"HTJBP9O1O9QSYUUD3R38\", \"expected\": \"HTJBP9O1O9QSYUUD3R38\", \"passed\": true}, {\"check\": \"control [\\\"ACLPCCV3EGBW4QG3I6\\\"]\", \"actual\": \"ACLPCCV3EGBW4QG3I685\", \"expected\": \"ACLPCCV3EGBW4QG3I685\", \"passed\": true}, {\"check\": \"control [\\\"II5XCIYZ03SDPPSQ7Z\\\"]\", \"actual\": \"II5XCIYZ03SDPPSQ7Z30\", \"expected\": \"II5XCIYZ03SDPPSQ7Z30\", \"passed\": true}, {\"check\": \"control [\\\"H6UNZ3Z93AZ7BYYPJC\\\"]\", \"actual\": \"H6UNZ3Z93AZ7BYYPJC84\", \"expected\": \"H6UNZ3Z93AZ7BYYPJC84\", \"passed\": true}], \"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."}}