{"abstract":"The forward rate loses the fractional pip that the dealing screen shows.","category":"Currency rounding and FX conversion","checks":7,"contract":"solve(pair, spot, points, notional): pair is BASEQUOTE. The pip exponent depends on the quote currency: JPY 2, HUF 2, KRW 0, otherwise 4 (pip = 10**-exp). points is a decimal string of pips (fractional pips allowed, negative for discount). forward = spot + points*pip rounded half-even to exp+1 decimals (one fractional pip). The pip value in quote currency is notional*pip rounded half-even to 2 decimals. Return [forward, pip_value] as plain strings.","contract_signature":"pair, spot, points, notional","evaluation_group":"w2-currency_rounding_and_fx_conversion-forward-points-pips","failed_approach":"A fixed five-decimal precision is right only for four-decimal pip pairs.","family":"w2-currency_rounding_and_fx_conversion-forward-points-pips-forward-precision","id":"FA-62091","implementations":{"attempt":{"sha256":"5d70dfc3de0bf1ba271c53d16907ee8dcbb7a8a21baa0bea6da917a63900a0b6","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(pair, spot, points, notional):\n    pip_exp = {'JPY': 2, 'HUF': 2, 'KRW': 0}\n    quote = pair[3:]\n    pe = pip_exp.get(quote, 4)\n    pip = Decimal(1).scaleb(-pe)\n    fwd = Decimal(spot) + Decimal(points) * pip\n    fwd = fwd.quantize(Decimal(1).scaleb(-5), rounding=ROUND_HALF_EVEN)\n    pv = (Decimal(notional) * pip).quantize(Decimal('0.01'), rounding=ROUND_HALF_EVEN)\n    return [format(fwd, 'f'), format(pv, 'f')]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression forward-precision 1', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00']),\n  ('regression forward-precision 2', ('USDJPY', '151.234', '-45.25', 1000000), ['150.782', '10000.00']),\n  ('partial repair guard 2', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00']),\n  ('control: forint', ('EURHUF', '395.12', '-0.35', 250000), ['395.116', '2500.00']),\n  ('control: yen base pair', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00'])],\n [('regression forward-precision 1', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00']),\n  ('regression forward-precision 2', ('EURHUF', '395.12', '-0.35', 250000), ['395.116', '2500.00']),\n  ('partial repair guard 2', ('EURHUF', '698.3982', '193.71', 1000), ['700.335', '10.00']),\n  ('control: yen base pair', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('control: euro premium', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00'])],\n [('regression forward-precision 1', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('regression forward-precision 2', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('partial repair guard 1', ('USDKRW', '16113.982', '12947', 1000000), ['29061.0', '1000000.00']),\n  ('partial repair guard 2', ('EURHUF', '138.28482', '-67.66', 1000), ['137.608', '10.00']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('control: euro premium', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00']),\n  ('control: yen discount', ('USDJPY', '151.234', '-45.25', 1000000), ['150.782', '10000.00']),\n  ('control: won pips', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00'])],\n [('regression forward-precision 1', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('regression forward-precision 2', ('EURHUF', '698.3982', '193.71', 1000), ['700.335', '10.00']),\n  ('partial repair guard 1', ('EURHUF', '4938.658', '-58.12', 1000000), ['4938.077', '10000.00']),\n  ('partial repair guard 2', ('EURJPY', '12323.166', '18282', 1000), ['12505.986', '10.00']),\n  ('control: won pips', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00']),\n  ('control: forint', ('EURHUF', '395.12', '-0.35', 250000), ['395.116', '2500.00']),\n  ('control: yen base pair', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33'])],\n [('regression forward-precision 1', ('USDKRW', '16113.982', '12947', 1000000), ['29061.0', '1000000.00']),\n  ('regression forward-precision 2', ('EURHUF', '138.28482', '-67.66', 1000), ['137.608', '10.00']),\n  ('partial repair guard 1', ('EURJPY', '145.95899', '-6845', 333333), ['77.509', '3333.33']),\n  ('partial repair guard 2', ('EURHUF', '1299.5246', '197.88', 100000), ['1301.503', '1000.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('control: euro premium', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00']),\n  ('control: yen discount', ('USDJPY', '151.234', '-45.25', 1000000), ['150.782', '10000.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":"a4dfb88ef4986d132c60c383960382d3b5ab3a40e094d2615bb6f441c9eb910d","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(pair, spot, points, notional):\n    pip_exp = {'JPY': 2, 'HUF': 2, 'KRW': 0}\n    quote = pair[3:]\n    pe = pip_exp.get(quote, 4)\n    pip = Decimal(1).scaleb(-pe)\n    fwd = Decimal(spot) + Decimal(points) * pip\n    fwd = fwd.quantize(Decimal(1).scaleb(-pe), rounding=ROUND_HALF_EVEN)\n    pv = (Decimal(notional) * pip).quantize(Decimal('0.01'), rounding=ROUND_HALF_EVEN)\n    return [format(fwd, 'f'), format(pv, 'f')]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('regression forward-precision 1', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00']),\n  ('regression forward-precision 2', ('USDJPY', '151.234', '-45.25', 1000000), ['150.782', '10000.00']),\n  ('partial repair guard 2', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00']),\n  ('control: forint', ('EURHUF', '395.12', '-0.35', 250000), ['395.116', '2500.00']),\n  ('control: yen base pair', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00'])],\n [('regression forward-precision 1', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00']),\n  ('regression forward-precision 2', ('EURHUF', '395.12', '-0.35', 250000), ['395.116', '2500.00']),\n  ('partial repair guard 2', ('EURHUF', '698.3982', '193.71', 1000), ['700.335', '10.00']),\n  ('control: yen base pair', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('control: euro premium', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00'])],\n [('regression forward-precision 1', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('regression forward-precision 2', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('partial repair guard 1', ('USDKRW', '16113.982', '12947', 1000000), ['29061.0', '1000000.00']),\n  ('partial repair guard 2', ('EURHUF', '138.28482', '-67.66', 1000), ['137.608', '10.00']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('control: euro premium', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00']),\n  ('control: yen discount', ('USDJPY', '151.234', '-45.25', 1000000), ['150.782', '10000.00']),\n  ('control: won pips', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00'])],\n [('regression forward-precision 1', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('regression forward-precision 2', ('EURHUF', '698.3982', '193.71', 1000), ['700.335', '10.00']),\n  ('partial repair guard 1', ('EURHUF', '4938.658', '-58.12', 1000000), ['4938.077', '10000.00']),\n  ('partial repair guard 2', ('EURJPY', '12323.166', '18282', 1000), ['12505.986', '10.00']),\n  ('control: won pips', ('USDKRW', '1352.5', '3.2', 1000000), ['1355.7', '1000000.00']),\n  ('control: forint', ('EURHUF', '395.12', '-0.35', 250000), ['395.116', '2500.00']),\n  ('control: yen base pair', ('JPYSEK', '0.07012', '1.5', 5000000), ['0.07027', '500.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33'])],\n [('regression forward-precision 1', ('USDKRW', '16113.982', '12947', 1000000), ['29061.0', '1000000.00']),\n  ('regression forward-precision 2', ('EURHUF', '138.28482', '-67.66', 1000), ['137.608', '10.00']),\n  ('partial repair guard 1', ('EURJPY', '145.95899', '-6845', 333333), ['77.509', '3333.33']),\n  ('partial repair guard 2', ('EURHUF', '1299.5246', '197.88', 100000), ['1301.503', '1000.00']),\n  ('control: sterling', ('GBPUSD', '1.26501', '-0.75', 333333), ['1.26494', '33.33']),\n  ('control: zero points', ('AUDNZD', '1.09876', '0', 100000), ['1.09876', '10.00']),\n  ('control: euro premium', ('EURUSD', '1.08345', '12.5', 1000000), ['1.08470', '100.00']),\n  ('control: yen discount', ('USDJPY', '151.234', '-45.25', 1000000), ['150.782', '10000.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-forward-points-pips-forward-precision","generated_at":"2026-09-29T14:47:01.369132+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.","root_cause":"The forward is quantized at the pip exponent instead of one decimal beyond it.","sha256":"fa3b07169968f9b7011eb635da4c67f1585aa6761f46fa4ab45598047bf1bf08","title":"The outright forward is rounded to whole pips · 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":43.409,"exit_code":1,"observations":[{"actual":["1.08470","100.00"],"check":"regression forward-precision 1","expected":["1.08470","100.00"],"passed":true},{"actual":["150.78150","10000.00"],"check":"regression forward-precision 2","expected":["150.782","10000.00"],"passed":false},{"actual":["1355.70000","1000000.00"],"check":"partial repair guard 2","expected":["1355.7","1000000.00"],"passed":false},{"actual":["395.11650","2500.00"],"check":"control: forint","expected":["395.116","2500.00"],"passed":false},{"actual":["0.07027","500.00"],"check":"control: yen base pair","expected":["0.07027","500.00"],"passed":true},{"actual":["1.26494","33.33"],"check":"control: sterling","expected":["1.26494","33.33"],"passed":true},{"actual":["1.09876","10.00"],"check":"control: zero points","expected":["1.09876","10.00"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression forward-precision 1\", \"actual\": [\"1.08470\", \"100.00\"], \"expected\": [\"1.08470\", \"100.00\"], \"passed\": true}, {\"check\": \"regression forward-precision 2\", \"actual\": [\"150.78150\", \"10000.00\"], \"expected\": [\"150.782\", \"10000.00\"], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [\"1355.70000\", \"1000000.00\"], \"expected\": [\"1355.7\", \"1000000.00\"], \"passed\": false}, {\"check\": \"control: forint\", \"actual\": [\"395.11650\", \"2500.00\"], \"expected\": [\"395.116\", \"2500.00\"], \"passed\": false}, {\"check\": \"control: yen base pair\", \"actual\": [\"0.07027\", \"500.00\"], \"expected\": [\"0.07027\", \"500.00\"], \"passed\": true}, {\"check\": \"control: sterling\", \"actual\": [\"1.26494\", \"33.33\"], \"expected\": [\"1.26494\", \"33.33\"], \"passed\": true}, {\"check\": \"control: zero points\", \"actual\": [\"1.09876\", \"10.00\"], \"expected\": [\"1.09876\", \"10.00\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.803,"exit_code":1,"observations":[{"actual":["1.0847","100.00"],"check":"regression forward-precision 1","expected":["1.08470","100.00"],"passed":false},{"actual":["150.78","10000.00"],"check":"regression forward-precision 2","expected":["150.782","10000.00"],"passed":false},{"actual":["1356","1000000.00"],"check":"partial repair guard 2","expected":["1355.7","1000000.00"],"passed":false},{"actual":["395.12","2500.00"],"check":"control: forint","expected":["395.116","2500.00"],"passed":false},{"actual":["0.0703","500.00"],"check":"control: yen base pair","expected":["0.07027","500.00"],"passed":false},{"actual":["1.2649","33.33"],"check":"control: sterling","expected":["1.26494","33.33"],"passed":false},{"actual":["1.0988","10.00"],"check":"control: zero points","expected":["1.09876","10.00"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression forward-precision 1\", \"actual\": [\"1.0847\", \"100.00\"], \"expected\": [\"1.08470\", \"100.00\"], \"passed\": false}, {\"check\": \"regression forward-precision 2\", \"actual\": [\"150.78\", \"10000.00\"], \"expected\": [\"150.782\", \"10000.00\"], \"passed\": false}, {\"check\": \"partial repair guard 2\", \"actual\": [\"1356\", \"1000000.00\"], \"expected\": [\"1355.7\", \"1000000.00\"], \"passed\": false}, {\"check\": \"control: forint\", \"actual\": [\"395.12\", \"2500.00\"], \"expected\": [\"395.116\", \"2500.00\"], \"passed\": false}, {\"check\": \"control: yen base pair\", \"actual\": [\"0.0703\", \"500.00\"], \"expected\": [\"0.07027\", \"500.00\"], \"passed\": false}, {\"check\": \"control: sterling\", \"actual\": [\"1.2649\", \"33.33\"], \"expected\": [\"1.26494\", \"33.33\"], \"passed\": false}, {\"check\": \"control: zero points\", \"actual\": [\"1.0988\", \"10.00\"], \"expected\": [\"1.09876\", \"10.00\"], \"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."}}