{"abstract":"An unsupported code such as 'GBX' is formatted as if it were a cent currency.","category":"Currency rounding and FX conversion","checks":7,"contract":"solve(amount, ccy): amount is an exact decimal string, ccy an ISO-like code that is trimmed and upper-cased. Minor-unit exponents: USD 2, EUR 2, JPY 0, KRW 0, KWD 3, BHD 3, CLF 4. Round the exact decimal half-even at the currency exponent and return a plain string with exactly that many fraction digits; a zero result is unsigned. Unknown codes return 'ERR:unknown-currency'.","evaluation_group":"w2-currency_rounding_and_fx_conversion-minor-unit-quantize","failed_approach":"Rejecting only codes whose length is not three still accepts well-formed but unsupported codes.","family":"w2-currency_rounding_and_fx_conversion-minor-unit-quantize-unknown-currency","id":"FA-61856","implementations":{"attempt":{"sha256":"f413fca2d9e95c7c52be5a209ffd607de6a1cde295e739f2eda23de8b107951e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom decimal import Decimal, ROUND_HALF_EVEN, ROUND_HALF_UP, ROUND_FLOOR, ROUND_CEILING, ROUND_DOWN, ROUND_UP, ROUND_HALF_DOWN\nN = 1\nobservations = []\ndef solve(amount, ccy):\n    exps = {'USD': 2, 'EUR': 2, 'JPY': 0, 'KRW': 0, 'KWD': 3, 'BHD': 3, 'CLF': 4}\n    code = ccy.strip().upper()\n    if code not in exps and len(code) != 3: return 'ERR:unknown-currency'\n    e = exps.get(code, 2)\n    x = Decimal(amount)\n    q = x.quantize(Decimal(1).scaleb(-e), rounding=ROUND_HALF_EVEN)\n    if q == 0: q = abs(q)\n    return format(q, 'f')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression unknown-currency 1', ('1.005', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('1.0', 'ABCD'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('control: cents tie to even', ('2.665', 'USD'), '2.66'), ('control: yen tie', ('1235.5', 'JPY'), '1236'),\n  ('control: dinar three places', ('10.0005', 'KWD'), '10.000'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346')],\n [('regression unknown-currency 1', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('15200.78697', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('47176.41', 'GBX'), 'ERR:unknown-currency'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346'),\n  ('control: lowercase code', ('12.345', ' eur '), '12.34'), ('control: negative small', ('-0.004', 'USD'), '0.00'),\n  ('control: integer input', ('7', 'BHD'), '7.000')],\n [('regression unknown-currency 1', ('47176.41', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('24558.1895', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('20428.404', 'GBX'), 'ERR:unknown-currency'),\n  ('control: integer input', ('7', 'BHD'), '7.000'), ('control: unknown code', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('control: large amount', ('123456789.125', 'USD'), '123456789.12'),\n  ('control: negative tie', ('-2.5', 'KRW'), '-2')],\n [('regression unknown-currency 1', ('20428.404', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('11999.89380', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('44143.650', 'GBX'), 'ERR:unknown-currency'),\n  ('control: negative tie', ('-2.5', 'KRW'), '-2'), ('control: cents tie to even', ('2.665', 'USD'), '2.66'),\n  ('control: yen tie', ('1235.5', 'JPY'), '1236'), ('control: dinar three places', ('10.0005', 'KWD'), '10.000')],\n [('regression unknown-currency 1', ('44143.650', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('34654.813830', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('17622.45', 'GBX'), 'ERR:unknown-currency'),\n  ('control: dinar three places', ('10.0005', 'KWD'), '10.000'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346'),\n  ('control: lowercase code', ('12.345', ' eur '), '12.34'), ('control: negative small', ('-0.004', 'USD'), '0.00')]]\nfor label, args, expected in cases[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":"26f1095f793ee67d0c42204c16adf27d72d066949f70100e7116827efd7ab3fb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom decimal import Decimal, ROUND_HALF_EVEN, ROUND_HALF_UP, ROUND_FLOOR, ROUND_CEILING, ROUND_DOWN, ROUND_UP, ROUND_HALF_DOWN\nN = 1\nobservations = []\ndef solve(amount, ccy):\n    exps = {'USD': 2, 'EUR': 2, 'JPY': 0, 'KRW': 0, 'KWD': 3, 'BHD': 3, 'CLF': 4}\n    code = ccy.strip().upper()\n    e = exps.get(code, 2)\n    x = Decimal(amount)\n    q = x.quantize(Decimal(1).scaleb(-e), rounding=ROUND_HALF_EVEN)\n    if q == 0: q = abs(q)\n    return format(q, 'f')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression unknown-currency 1', ('1.005', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('1.0', 'ABCD'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('control: cents tie to even', ('2.665', 'USD'), '2.66'), ('control: yen tie', ('1235.5', 'JPY'), '1236'),\n  ('control: dinar three places', ('10.0005', 'KWD'), '10.000'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346')],\n [('regression unknown-currency 1', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('15200.78697', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('47176.41', 'GBX'), 'ERR:unknown-currency'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346'),\n  ('control: lowercase code', ('12.345', ' eur '), '12.34'), ('control: negative small', ('-0.004', 'USD'), '0.00'),\n  ('control: integer input', ('7', 'BHD'), '7.000')],\n [('regression unknown-currency 1', ('47176.41', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('24558.1895', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('20428.404', 'GBX'), 'ERR:unknown-currency'),\n  ('control: integer input', ('7', 'BHD'), '7.000'), ('control: unknown code', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('control: large amount', ('123456789.125', 'USD'), '123456789.12'),\n  ('control: negative tie', ('-2.5', 'KRW'), '-2')],\n [('regression unknown-currency 1', ('20428.404', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('11999.89380', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('44143.650', 'GBX'), 'ERR:unknown-currency'),\n  ('control: negative tie', ('-2.5', 'KRW'), '-2'), ('control: cents tie to even', ('2.665', 'USD'), '2.66'),\n  ('control: yen tie', ('1235.5', 'JPY'), '1236'), ('control: dinar three places', ('10.0005', 'KWD'), '10.000')],\n [('regression unknown-currency 1', ('44143.650', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('34654.813830', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('17622.45', 'GBX'), 'ERR:unknown-currency'),\n  ('control: dinar three places', ('10.0005', 'KWD'), '10.000'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346'),\n  ('control: lowercase code', ('12.345', ' eur '), '12.34'), ('control: negative small', ('-0.004', 'USD'), '0.00')]]\nfor label, args, expected in cases[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"},"fixed":{"sha256":"ca711d7c1fb2b58a25f6e9ec07634a3644d498c347dea29fb2b70f1a4c55eec0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom decimal import Decimal, ROUND_HALF_EVEN, ROUND_HALF_UP, ROUND_FLOOR, ROUND_CEILING, ROUND_DOWN, ROUND_UP, ROUND_HALF_DOWN\nN = 1\nobservations = []\ndef solve(amount, ccy):\n    exps = {'USD': 2, 'EUR': 2, 'JPY': 0, 'KRW': 0, 'KWD': 3, 'BHD': 3, 'CLF': 4}\n    code = ccy.strip().upper()\n    if code not in exps: return 'ERR:unknown-currency'\n    e = exps[code]\n    x = Decimal(amount)\n    q = x.quantize(Decimal(1).scaleb(-e), rounding=ROUND_HALF_EVEN)\n    if q == 0: q = abs(q)\n    return format(q, 'f')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression unknown-currency 1', ('1.005', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('1.0', 'ABCD'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('control: cents tie to even', ('2.665', 'USD'), '2.66'), ('control: yen tie', ('1235.5', 'JPY'), '1236'),\n  ('control: dinar three places', ('10.0005', 'KWD'), '10.000'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346')],\n [('regression unknown-currency 1', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('15200.78697', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('47176.41', 'GBX'), 'ERR:unknown-currency'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346'),\n  ('control: lowercase code', ('12.345', ' eur '), '12.34'), ('control: negative small', ('-0.004', 'USD'), '0.00'),\n  ('control: integer input', ('7', 'BHD'), '7.000')],\n [('regression unknown-currency 1', ('47176.41', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('24558.1895', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('20428.404', 'GBX'), 'ERR:unknown-currency'),\n  ('control: integer input', ('7', 'BHD'), '7.000'), ('control: unknown code', ('1.00', 'ABC'), 'ERR:unknown-currency'),\n  ('control: large amount', ('123456789.125', 'USD'), '123456789.12'),\n  ('control: negative tie', ('-2.5', 'KRW'), '-2')],\n [('regression unknown-currency 1', ('20428.404', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('11999.89380', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('44143.650', 'GBX'), 'ERR:unknown-currency'),\n  ('control: negative tie', ('-2.5', 'KRW'), '-2'), ('control: cents tie to even', ('2.665', 'USD'), '2.66'),\n  ('control: yen tie', ('1235.5', 'JPY'), '1236'), ('control: dinar three places', ('10.0005', 'KWD'), '10.000')],\n [('regression unknown-currency 1', ('44143.650', 'GBX'), 'ERR:unknown-currency'),\n  ('regression unknown-currency 2', ('34654.813830', 'GBX'), 'ERR:unknown-currency'),\n  ('partial repair guard 2', ('17622.45', 'GBX'), 'ERR:unknown-currency'),\n  ('control: dinar three places', ('10.0005', 'KWD'), '10.000'),\n  ('control: unit of account four places', ('1.23456', 'CLF'), '1.2346'),\n  ('control: lowercase code', ('12.345', ' eur '), '12.34'), ('control: negative small', ('-0.004', 'USD'), '0.00')]]\nfor label, args, expected in cases[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 with a stipulated toy contract; it makes no claim of conformance to any real regulation, standard, or institution's rules. 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-currency_rounding_and_fx_conversion-minor-unit-quantize-unknown-currency","generated_at":"2026-09-29T14:46:59.154655+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Currency amounts must be rounded at the right stage and in the right unit, or ledgers, quotes and settlements drift by minor units.","repair":"Return 'ERR:unknown-currency' for every normalized code missing from the exponent table.","root_cause":"The exponent lookup falls back to 2 instead of rejecting codes outside the table.","sha256":"e41cdc811fb090ceded782214a77c109b0634387865deae852b395ef1098ff31","title":"An unknown currency silently defaults to two minor digits · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.931,"exit_code":1,"observations":[{"actual":"1.00","check":"regression unknown-currency 1","expected":"ERR:unknown-currency","passed":false},{"actual":"ERR:unknown-currency","check":"regression unknown-currency 2","expected":"ERR:unknown-currency","passed":true},{"actual":"1.00","check":"partial repair guard 2","expected":"ERR:unknown-currency","passed":false},{"actual":"2.66","check":"control: cents tie to even","expected":"2.66","passed":true},{"actual":"1236","check":"control: yen tie","expected":"1236","passed":true},{"actual":"10.000","check":"control: dinar three places","expected":"10.000","passed":true},{"actual":"1.2346","check":"control: unit of account four places","expected":"1.2346","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression unknown-currency 1\", \"actual\": \"1.00\", \"expected\": \"ERR:unknown-currency\", \"passed\": false}, {\"check\": \"regression unknown-currency 2\", \"actual\": \"ERR:unknown-currency\", \"expected\": \"ERR:unknown-currency\", \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": \"1.00\", \"expected\": \"ERR:unknown-currency\", \"passed\": false}, {\"check\": \"control: cents tie to even\", \"actual\": \"2.66\", \"expected\": \"2.66\", \"passed\": true}, {\"check\": \"control: yen tie\", \"actual\": \"1236\", \"expected\": \"1236\", \"passed\": true}, {\"check\": \"control: dinar three places\", \"actual\": \"10.000\", \"expected\": \"10.000\", \"passed\": true}, {\"check\": \"control: unit of account four places\", \"actual\": \"1.2346\", \"expected\": \"1.2346\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.406,"exit_code":1,"observations":[{"actual":"1.00","check":"regression unknown-currency 1","expected":"ERR:unknown-currency","passed":false},{"actual":"1.00","check":"regression unknown-currency 2","expected":"ERR:unknown-currency","passed":false},{"actual":"1.00","check":"partial repair guard 2","expected":"ERR:unknown-currency","passed":false},{"actual":"2.66","check":"control: cents tie to even","expected":"2.66","passed":true},{"actual":"1236","check":"control: yen tie","expected":"1236","passed":true},{"actual":"10.000","check":"control: dinar three places","expected":"10.000","passed":true},{"actual":"1.2346","check":"control: unit of account four places","expected":"1.2346","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression unknown-currency 1\", \"actual\": \"1.00\", \"expected\": \"ERR:unknown-currency\", \"passed\": false}, {\"check\": \"regression unknown-currency 2\", \"actual\": \"1.00\", \"expected\": \"ERR:unknown-currency\", \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": \"1.00\", \"expected\": \"ERR:unknown-currency\", \"passed\": false}, {\"check\": \"control: cents tie to even\", \"actual\": \"2.66\", \"expected\": \"2.66\", \"passed\": true}, {\"check\": \"control: yen tie\", \"actual\": \"1236\", \"expected\": \"1236\", \"passed\": true}, {\"check\": \"control: dinar three places\", \"actual\": \"10.000\", \"expected\": \"10.000\", \"passed\": true}, {\"check\": \"control: unit of account four places\", \"actual\": \"1.2346\", \"expected\": \"1.2346\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.101,"exit_code":0,"observations":[{"actual":"ERR:unknown-currency","check":"regression unknown-currency 1","expected":"ERR:unknown-currency","passed":true},{"actual":"ERR:unknown-currency","check":"regression unknown-currency 2","expected":"ERR:unknown-currency","passed":true},{"actual":"ERR:unknown-currency","check":"partial repair guard 2","expected":"ERR:unknown-currency","passed":true},{"actual":"2.66","check":"control: cents tie to even","expected":"2.66","passed":true},{"actual":"1236","check":"control: yen tie","expected":"1236","passed":true},{"actual":"10.000","check":"control: dinar three places","expected":"10.000","passed":true},{"actual":"1.2346","check":"control: unit of account four places","expected":"1.2346","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression unknown-currency 1\", \"actual\": \"ERR:unknown-currency\", \"expected\": \"ERR:unknown-currency\", \"passed\": true}, {\"check\": \"regression unknown-currency 2\", \"actual\": \"ERR:unknown-currency\", \"expected\": \"ERR:unknown-currency\", \"passed\": true}, {\"check\": \"partial repair guard 2\", \"actual\": \"ERR:unknown-currency\", \"expected\": \"ERR:unknown-currency\", \"passed\": true}, {\"check\": \"control: cents tie to even\", \"actual\": \"2.66\", \"expected\": \"2.66\", \"passed\": true}, {\"check\": \"control: yen tie\", \"actual\": \"1236\", \"expected\": \"1236\", \"passed\": true}, {\"check\": \"control: dinar three places\", \"actual\": \"10.000\", \"expected\": \"10.000\", \"passed\": true}, {\"check\": \"control: unit of account four places\", \"actual\": \"1.2346\", \"expected\": \"1.2346\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}