{"abstract":"Senders end with negative balances after transferring their whole balance.","category":"Loyalty points ledgers","checks":7,"contract":"Input {members:{id:balance}, transfers:[[from,to,pts]], fee_bp, min_transfer, annual_cap, sent_ytd}. Self transfers or unknown members are \"invalid\"; pts below the minimum are \"below minimum\"; sent_ytd + pts above annual_cap is \"cap\" (fees do not count toward the cap). The fee is ceil(pts*fee_bp/10000) points charged to the sender, who must hold pts + fee (\"insufficient\" otherwise). The recipient receives pts. Return {results (fee or reason), balances:[[id,bal]] sorted}.","evaluation_group":"w2-loyalty-points-ledgers-member-transfers","failed_approach":"Approximating the fee as fee_bp/100 points ignores the transfer size.","family":"w2-loyalty-points-ledgers-member-transfers-sufficiency-includes-fee","id":"FA-60521","implementations":{"attempt":{"sha256":"f013e4dc9278f4873b80d0d4c41028c2b0b5e4e3255bf129398a4bf3d099cdd5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bal = dict(x['members'])\n    sent = dict(x['sent_ytd'])\n    out = []\n    for f, t, p in x['transfers']:\n        if f == t or f not in bal or t not in bal:\n            out.append('invalid')\n            continue\n        if p < x['min_transfer']:\n            out.append('below minimum')\n            continue\n        if sent.get(f, 0) + p > x['annual_cap']:\n            out.append('cap')\n            continue\n        fee = (p * x['fee_bp'] + 9999) // 10000\n        if bal[f] < p + x['fee_bp'] // 100:\n            out.append('insufficient')\n            continue\n        bal[f] -= p + fee\n        bal[t] += p\n        sent[f] = sent.get(f, 0) + p\n        out.append(fee)\n    return {'results': out, 'balances': [[k, bal[k]] for k in sorted(bal)]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2000]], 'sent_ytd': {}}, {'results': [50], 'balances': [['a', 2950], ['b', 2100]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1001]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1013], ['b', 1001]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14999}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5001]], 'sent_ytd': {'a': 14999}}, {'results': [126], 'balances': [['a', 84873], ['b', 5001]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1004], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48962], ['b', 1011]]}], ['fees do not use cap', {'fee_bp': 501, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [501, 501], 'balances': [['a', 68998], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2001]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2948], ['b', 2101]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1002]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1012], ['b', 1002]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14998}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5002]], 'sent_ytd': {'a': 14998}}, {'results': [126], 'balances': [['a', 84872], ['b', 5002]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1007], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48959], ['b', 1014]]}], ['fees do not use cap', {'fee_bp': 502, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [502, 502], 'balances': [['a', 68996], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2002]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2947], ['b', 2102]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1003]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1011], ['b', 1003]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14997}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5003]], 'sent_ytd': {'a': 14997}}, {'results': [126], 'balances': [['a', 84871], ['b', 5003]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1010], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48956], ['b', 1017]]}], ['fees do not use cap', {'fee_bp': 503, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [503, 503], 'balances': [['a', 68994], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2003]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2946], ['b', 2103]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1004]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1010], ['b', 1004]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14996}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5004]], 'sent_ytd': {'a': 14996}}, {'results': [126], 'balances': [['a', 84870], ['b', 5004]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1013], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48953], ['b', 1020]]}], ['fees do not use cap', {'fee_bp': 504, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [504, 504], 'balances': [['a', 68992], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2004]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2945], ['b', 2104]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1005]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1009], ['b', 1005]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14995}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5005]], 'sent_ytd': {'a': 14995}}, {'results': [126], 'balances': [['a', 84869], ['b', 5005]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1016], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48950], ['b', 1023]]}], ['fees do not use cap', {'fee_bp': 505, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [505, 505], 'balances': [['a', 68990], ['c', 20000]]}]]]\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":"934729568823a120e6f8c530338210b4347ac77730690f73bdcd9ab3047659bc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bal = dict(x['members'])\n    sent = dict(x['sent_ytd'])\n    out = []\n    for f, t, p in x['transfers']:\n        if f == t or f not in bal or t not in bal:\n            out.append('invalid')\n            continue\n        if p < x['min_transfer']:\n            out.append('below minimum')\n            continue\n        if sent.get(f, 0) + p > x['annual_cap']:\n            out.append('cap')\n            continue\n        fee = (p * x['fee_bp'] + 9999) // 10000\n        if bal[f] < p:\n            out.append('insufficient')\n            continue\n        bal[f] -= p + fee\n        bal[t] += p\n        sent[f] = sent.get(f, 0) + p\n        out.append(fee)\n    return {'results': out, 'balances': [[k, bal[k]] for k in sorted(bal)]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2000]], 'sent_ytd': {}}, {'results': [50], 'balances': [['a', 2950], ['b', 2100]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1001]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1013], ['b', 1001]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14999}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5001]], 'sent_ytd': {'a': 14999}}, {'results': [126], 'balances': [['a', 84873], ['b', 5001]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1004], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48962], ['b', 1011]]}], ['fees do not use cap', {'fee_bp': 501, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [501, 501], 'balances': [['a', 68998], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2001]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2948], ['b', 2101]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1002]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1012], ['b', 1002]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14998}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5002]], 'sent_ytd': {'a': 14998}}, {'results': [126], 'balances': [['a', 84872], ['b', 5002]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1007], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48959], ['b', 1014]]}], ['fees do not use cap', {'fee_bp': 502, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [502, 502], 'balances': [['a', 68996], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2002]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2947], ['b', 2102]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1003]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1011], ['b', 1003]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14997}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5003]], 'sent_ytd': {'a': 14997}}, {'results': [126], 'balances': [['a', 84871], ['b', 5003]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1010], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48956], ['b', 1017]]}], ['fees do not use cap', {'fee_bp': 503, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [503, 503], 'balances': [['a', 68994], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2003]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2946], ['b', 2103]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1004]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1010], ['b', 1004]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14996}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5004]], 'sent_ytd': {'a': 14996}}, {'results': [126], 'balances': [['a', 84870], ['b', 5004]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1013], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48953], ['b', 1020]]}], ['fees do not use cap', {'fee_bp': 504, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [504, 504], 'balances': [['a', 68992], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2004]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2945], ['b', 2104]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1005]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1009], ['b', 1005]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14995}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5005]], 'sent_ytd': {'a': 14995}}, {'results': [126], 'balances': [['a', 84869], ['b', 5005]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1016], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48950], ['b', 1023]]}], ['fees do not use cap', {'fee_bp': 505, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [505, 505], 'balances': [['a', 68990], ['c', 20000]]}]]]\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"},"fixed":{"sha256":"0a42751c2cedf3c999c2821e0f9839e3edf8f99d18176d2a3fe0a7640591b437","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bal = dict(x['members'])\n    sent = dict(x['sent_ytd'])\n    out = []\n    for f, t, p in x['transfers']:\n        if f == t or f not in bal or t not in bal:\n            out.append('invalid')\n            continue\n        if p < x['min_transfer']:\n            out.append('below minimum')\n            continue\n        if sent.get(f, 0) + p > x['annual_cap']:\n            out.append('cap')\n            continue\n        fee = (p * x['fee_bp'] + 9999) // 10000\n        if bal[f] < p + fee:\n            out.append('insufficient')\n            continue\n        bal[f] -= p + fee\n        bal[t] += p\n        sent[f] = sent.get(f, 0) + p\n        out.append(fee)\n    return {'results': out, 'balances': [[k, bal[k]] for k in sorted(bal)]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2000]], 'sent_ytd': {}}, {'results': [50], 'balances': [['a', 2950], ['b', 2100]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1001]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1013], ['b', 1001]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14999}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5001]], 'sent_ytd': {'a': 14999}}, {'results': [126], 'balances': [['a', 84873], ['b', 5001]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1004], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48962], ['b', 1011]]}], ['fees do not use cap', {'fee_bp': 501, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [501, 501], 'balances': [['a', 68998], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2001]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2948], ['b', 2101]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1002]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1012], ['b', 1002]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14998}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5002]], 'sent_ytd': {'a': 14998}}, {'results': [126], 'balances': [['a', 84872], ['b', 5002]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1007], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48959], ['b', 1014]]}], ['fees do not use cap', {'fee_bp': 502, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [502, 502], 'balances': [['a', 68996], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2002]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2947], ['b', 2102]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1003]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1011], ['b', 1003]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14997}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5003]], 'sent_ytd': {'a': 14997}}, {'results': [126], 'balances': [['a', 84871], ['b', 5003]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1010], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48956], ['b', 1017]]}], ['fees do not use cap', {'fee_bp': 503, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [503, 503], 'balances': [['a', 68994], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2003]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2946], ['b', 2103]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1004]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1010], ['b', 1004]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14996}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5004]], 'sent_ytd': {'a': 14996}}, {'results': [126], 'balances': [['a', 84870], ['b', 5004]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1013], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48953], ['b', 1020]]}], ['fees do not use cap', {'fee_bp': 504, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [504, 504], 'balances': [['a', 68992], ['c', 20000]]}]], [['normal transfer', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 100}, 'transfers': [['a', 'b', 2004]], 'sent_ytd': {}}, {'results': [51], 'balances': [['a', 2945], ['b', 2104]]}], ['fee needs balance', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 2040, 'b': 0}, 'transfers': [['a', 'b', 2000], ['a', 'b', 1005]], 'sent_ytd': {}}, {'results': ['insufficient', 26], 'balances': [['a', 1009], ['b', 1005]]}], ['cap edge', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5000]], 'sent_ytd': {'a': 14995}}, {'results': [125], 'balances': [['a', 84875], ['b', 5000]]}], ['cap exact', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'b': 0}, 'transfers': [['a', 'b', 5005]], 'sent_ytd': {'a': 14995}}, {'results': [126], 'balances': [['a', 84869], ['b', 5005]]}], ['invalid parties', {'fee_bp': 250, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 5000, 'b': 0}, 'transfers': [['a', 'a', 1000], ['a', 'z', 1000], ['a', 'b', 999]], 'sent_ytd': {}}, {'results': ['invalid', 'invalid', 'below minimum'], 'balances': [['a', 5000], ['b', 0]]}], ['fee rounding', {'fee_bp': 333, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 50000, 'b': 7}, 'transfers': [['a', 'b', 1016], ['b', 'a', 1000]], 'sent_ytd': {}}, {'results': [34, 'insufficient'], 'balances': [['a', 48950], ['b', 1023]]}], ['fees do not use cap', {'fee_bp': 505, 'min_transfer': 1000, 'annual_cap': 20000, 'members': {'a': 90000, 'c': 0}, 'transfers': [['a', 'c', 10000], ['a', 'c', 10000]], 'sent_ytd': {'a': 0}}, {'results': [505, 505], 'balances': [['a', 68990], ['c', 20000]]}]]]\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":"Stipulated bounded loyalty-program model with explicit toy rules; not any real program terms. 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-loyalty-points-ledgers-member-transfers-sufficiency-includes-fee","generated_at":"2026-09-29T14:46:46.361591+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Member point balances, statements and the program liability depend on this ledger rule.","repair":"Require balance >= pts + fee.","root_cause":"The balance check covers the principal but not the fee.","sha256":"304bcff637574953fd225ccfca7cb785b935ebd9628b487ad7bed0615f822505","title":"Member-to-member point transfers: sufficiency includes fee · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.803,"exit_code":1,"observations":[{"actual":{"balances":[["a",2950],["b",2100]],"results":[50]},"check":"normal transfer","expected":{"balances":[["a",2950],["b",2100]],"results":[50]},"passed":true},{"actual":{"balances":[["a",-10],["b",2000]],"results":[50,"insufficient"]},"check":"fee needs balance","expected":{"balances":[["a",1013],["b",1001]],"results":["insufficient",26]},"passed":false},{"actual":{"balances":[["a",84875],["b",5000]],"results":[125]},"check":"cap edge","expected":{"balances":[["a",84875],["b",5000]],"results":[125]},"passed":true},{"actual":{"balances":[["a",84873],["b",5001]],"results":[126]},"check":"cap exact","expected":{"balances":[["a",84873],["b",5001]],"results":[126]},"passed":true},{"actual":{"balances":[["a",5000],["b",0]],"results":["invalid","invalid","below minimum"]},"check":"invalid parties","expected":{"balances":[["a",5000],["b",0]],"results":["invalid","invalid","below minimum"]},"passed":true},{"actual":{"balances":[["a",49962],["b",-23]],"results":[34,34]},"check":"fee rounding","expected":{"balances":[["a",48962],["b",1011]],"results":[34,"insufficient"]},"passed":false},{"actual":{"balances":[["a",68998],["c",20000]],"results":[501,501]},"check":"fees do not use cap","expected":{"balances":[["a",68998],["c",20000]],"results":[501,501]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal transfer\", \"actual\": {\"results\": [50], \"balances\": [[\"a\", 2950], [\"b\", 2100]]}, \"expected\": {\"results\": [50], \"balances\": [[\"a\", 2950], [\"b\", 2100]]}, \"passed\": true}, {\"check\": \"fee needs balance\", \"actual\": {\"results\": [50, \"insufficient\"], \"balances\": [[\"a\", -10], [\"b\", 2000]]}, \"expected\": {\"results\": [\"insufficient\", 26], \"balances\": [[\"a\", 1013], [\"b\", 1001]]}, \"passed\": false}, {\"check\": \"cap edge\", \"actual\": {\"results\": [125], \"balances\": [[\"a\", 84875], [\"b\", 5000]]}, \"expected\": {\"results\": [125], \"balances\": [[\"a\", 84875], [\"b\", 5000]]}, \"passed\": true}, {\"check\": \"cap exact\", \"actual\": {\"results\": [126], \"balances\": [[\"a\", 84873], [\"b\", 5001]]}, \"expected\": {\"results\": [126], \"balances\": [[\"a\", 84873], [\"b\", 5001]]}, \"passed\": true}, {\"check\": \"invalid parties\", \"actual\": {\"results\": [\"invalid\", \"invalid\", \"below minimum\"], \"balances\": [[\"a\", 5000], [\"b\", 0]]}, \"expected\": {\"results\": [\"invalid\", \"invalid\", \"below minimum\"], \"balances\": [[\"a\", 5000], [\"b\", 0]]}, \"passed\": true}, {\"check\": \"fee rounding\", \"actual\": {\"results\": [34, 34], \"balances\": [[\"a\", 49962], [\"b\", -23]]}, \"expected\": {\"results\": [34, \"insufficient\"], \"balances\": [[\"a\", 48962], [\"b\", 1011]]}, \"passed\": false}, {\"check\": \"fees do not use cap\", \"actual\": {\"results\": [501, 501], \"balances\": [[\"a\", 68998], [\"c\", 20000]]}, \"expected\": {\"results\": [501, 501], \"balances\": [[\"a\", 68998], [\"c\", 20000]]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.037,"exit_code":1,"observations":[{"actual":{"balances":[["a",2950],["b",2100]],"results":[50]},"check":"normal transfer","expected":{"balances":[["a",2950],["b",2100]],"results":[50]},"passed":true},{"actual":{"balances":[["a",-10],["b",2000]],"results":[50,"insufficient"]},"check":"fee needs balance","expected":{"balances":[["a",1013],["b",1001]],"results":["insufficient",26]},"passed":false},{"actual":{"balances":[["a",84875],["b",5000]],"results":[125]},"check":"cap edge","expected":{"balances":[["a",84875],["b",5000]],"results":[125]},"passed":true},{"actual":{"balances":[["a",84873],["b",5001]],"results":[126]},"check":"cap exact","expected":{"balances":[["a",84873],["b",5001]],"results":[126]},"passed":true},{"actual":{"balances":[["a",5000],["b",0]],"results":["invalid","invalid","below minimum"]},"check":"invalid parties","expected":{"balances":[["a",5000],["b",0]],"results":["invalid","invalid","below minimum"]},"passed":true},{"actual":{"balances":[["a",49962],["b",-23]],"results":[34,34]},"check":"fee rounding","expected":{"balances":[["a",48962],["b",1011]],"results":[34,"insufficient"]},"passed":false},{"actual":{"balances":[["a",68998],["c",20000]],"results":[501,501]},"check":"fees do not use cap","expected":{"balances":[["a",68998],["c",20000]],"results":[501,501]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal transfer\", \"actual\": {\"results\": [50], \"balances\": [[\"a\", 2950], [\"b\", 2100]]}, \"expected\": {\"results\": [50], \"balances\": [[\"a\", 2950], [\"b\", 2100]]}, \"passed\": true}, {\"check\": \"fee needs balance\", \"actual\": {\"results\": [50, \"insufficient\"], \"balances\": [[\"a\", -10], [\"b\", 2000]]}, \"expected\": {\"results\": [\"insufficient\", 26], \"balances\": [[\"a\", 1013], [\"b\", 1001]]}, \"passed\": false}, {\"check\": \"cap edge\", \"actual\": {\"results\": [125], \"balances\": [[\"a\", 84875], [\"b\", 5000]]}, \"expected\": {\"results\": [125], \"balances\": [[\"a\", 84875], [\"b\", 5000]]}, \"passed\": true}, {\"check\": \"cap exact\", \"actual\": {\"results\": [126], \"balances\": [[\"a\", 84873], [\"b\", 5001]]}, \"expected\": {\"results\": [126], \"balances\": [[\"a\", 84873], [\"b\", 5001]]}, \"passed\": true}, {\"check\": \"invalid parties\", \"actual\": {\"results\": [\"invalid\", \"invalid\", \"below minimum\"], \"balances\": [[\"a\", 5000], [\"b\", 0]]}, \"expected\": {\"results\": [\"invalid\", \"invalid\", \"below minimum\"], \"balances\": [[\"a\", 5000], [\"b\", 0]]}, \"passed\": true}, {\"check\": \"fee rounding\", \"actual\": {\"results\": [34, 34], \"balances\": [[\"a\", 49962], [\"b\", -23]]}, \"expected\": {\"results\": [34, \"insufficient\"], \"balances\": [[\"a\", 48962], [\"b\", 1011]]}, \"passed\": false}, {\"check\": \"fees do not use cap\", \"actual\": {\"results\": [501, 501], \"balances\": [[\"a\", 68998], [\"c\", 20000]]}, \"expected\": {\"results\": [501, 501], \"balances\": [[\"a\", 68998], [\"c\", 20000]]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.339,"exit_code":0,"observations":[{"actual":{"balances":[["a",2950],["b",2100]],"results":[50]},"check":"normal transfer","expected":{"balances":[["a",2950],["b",2100]],"results":[50]},"passed":true},{"actual":{"balances":[["a",1013],["b",1001]],"results":["insufficient",26]},"check":"fee needs balance","expected":{"balances":[["a",1013],["b",1001]],"results":["insufficient",26]},"passed":true},{"actual":{"balances":[["a",84875],["b",5000]],"results":[125]},"check":"cap edge","expected":{"balances":[["a",84875],["b",5000]],"results":[125]},"passed":true},{"actual":{"balances":[["a",84873],["b",5001]],"results":[126]},"check":"cap exact","expected":{"balances":[["a",84873],["b",5001]],"results":[126]},"passed":true},{"actual":{"balances":[["a",5000],["b",0]],"results":["invalid","invalid","below minimum"]},"check":"invalid parties","expected":{"balances":[["a",5000],["b",0]],"results":["invalid","invalid","below minimum"]},"passed":true},{"actual":{"balances":[["a",48962],["b",1011]],"results":[34,"insufficient"]},"check":"fee rounding","expected":{"balances":[["a",48962],["b",1011]],"results":[34,"insufficient"]},"passed":true},{"actual":{"balances":[["a",68998],["c",20000]],"results":[501,501]},"check":"fees do not use cap","expected":{"balances":[["a",68998],["c",20000]],"results":[501,501]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal transfer\", \"actual\": {\"results\": [50], \"balances\": [[\"a\", 2950], [\"b\", 2100]]}, \"expected\": {\"results\": [50], \"balances\": [[\"a\", 2950], [\"b\", 2100]]}, \"passed\": true}, {\"check\": \"fee needs balance\", \"actual\": {\"results\": [\"insufficient\", 26], \"balances\": [[\"a\", 1013], [\"b\", 1001]]}, \"expected\": {\"results\": [\"insufficient\", 26], \"balances\": [[\"a\", 1013], [\"b\", 1001]]}, \"passed\": true}, {\"check\": \"cap edge\", \"actual\": {\"results\": [125], \"balances\": [[\"a\", 84875], [\"b\", 5000]]}, \"expected\": {\"results\": [125], \"balances\": [[\"a\", 84875], [\"b\", 5000]]}, \"passed\": true}, {\"check\": \"cap exact\", \"actual\": {\"results\": [126], \"balances\": [[\"a\", 84873], [\"b\", 5001]]}, \"expected\": {\"results\": [126], \"balances\": [[\"a\", 84873], [\"b\", 5001]]}, \"passed\": true}, {\"check\": \"invalid parties\", \"actual\": {\"results\": [\"invalid\", \"invalid\", \"below minimum\"], \"balances\": [[\"a\", 5000], [\"b\", 0]]}, \"expected\": {\"results\": [\"invalid\", \"invalid\", \"below minimum\"], \"balances\": [[\"a\", 5000], [\"b\", 0]]}, \"passed\": true}, {\"check\": \"fee rounding\", \"actual\": {\"results\": [34, \"insufficient\"], \"balances\": [[\"a\", 48962], [\"b\", 1011]]}, \"expected\": {\"results\": [34, \"insufficient\"], \"balances\": [[\"a\", 48962], [\"b\", 1011]]}, \"passed\": true}, {\"check\": \"fees do not use cap\", \"actual\": {\"results\": [501, 501], \"balances\": [[\"a\", 68998], [\"c\", 20000]]}, \"expected\": {\"results\": [501, 501], \"balances\": [[\"a\", 68998], [\"c\", 20000]]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}