{"abstract":"Monthly bank service charges raise the adjusted book balance.","category":"Double-entry ledger accounting","checks":7,"contract":"x = {'bank': statement balance, 'book': ledger cash balance, 'items': [[kind, ...]]}. Bank side: deposit_in_transit adds, outstanding_check subtracts, bank_error adds its signed correction. Book side (each produces an adjusting entry [kind, signed amount] in input order): bank_fee and nsf subtract, interest adds, collection [kind, face, fee] adds face - fee, check_error [kind, recorded, actual] adds recorded - actual. Other kinds are ignored. Return {'adjusted_bank', 'adjusted_book', 'reconciled', 'entries'}.","contract_signature":"x","evaluation_group":"w2-double-entry-ledger-accounting-bank-reconciliation","failed_approach":"Negating only NSF items still adds service charges to cash.","family":"w2-double-entry-ledger-accounting-bank-reconciliation-service-charge-direction","id":"FA-57971","implementations":{"attempt":{"sha256":"54abba0f473557ab1793cf3a937399774703f5365bc7538a03354b4152613f85","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bank = x['bank']\n    book = x['book']\n    entries = []\n    for item in x['items']:\n        kind = item[0]\n        if kind == 'deposit_in_transit':\n            bank += item[1]\n        elif kind == 'outstanding_check':\n            bank -= item[1]\n        elif kind == 'bank_error':\n            bank += item[1]\n        else:\n            if kind == 'bank_fee' or kind == 'nsf':\n                adj = -item[1] if kind == 'nsf' else item[1]\n            elif kind == 'interest':\n                adj = item[1]\n            elif kind == 'collection':\n                adj = item[1] - item[2]\n            elif kind == 'check_error':\n                adj = item[1] - item[2]\n            else:\n                continue\n            book += adj\n            entries.append([kind, adj])\n    return {'adjusted_bank': bank, 'adjusted_book': book, 'reconciled': bank == book, 'entries': entries}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: service charge direction', {'bank': 10000, 'book': 10000, 'items': [['bank_fee', 90], ['interest', 15], ['bank_error', 1200], ['nsf', 1200], ['memo', 250], ['memo', 1200]]}, {'adjusted_bank': 11200, 'adjusted_book': 8725, 'reconciled': False, 'entries': [['bank_fee', -90], ['interest', 15], ['nsf', -1200]]}], ['control 1', {'bank': 8000, 'book': 9000, 'items': [['interest', 1200], ['bank_error', 400], ['interest', 400], ['bank_error', 250], ['interest', 400]]}, {'adjusted_bank': 8650, 'adjusted_book': 11000, 'reconciled': False, 'entries': [['interest', 1200], ['interest', 400], ['interest', 400]]}], ['control 2', {'bank': 12500, 'book': 9000, 'items': [['deposit_in_transit', 250], ['collection', 12000, 0], ['check_error', 1200, 1020]]}, {'adjusted_bank': 12750, 'adjusted_book': 21180, 'reconciled': False, 'entries': [['collection', 12000], ['check_error', 180]]}], ['control 3', {'bank': 10000, 'book': 9000, 'items': [['outstanding_check', 15], ['interest', 1200], ['interest', 1200], ['collection', 12000, 0], ['collection', 4000, 15], ['outstanding_check', 90]]}, {'adjusted_bank': 9895, 'adjusted_book': 27385, 'reconciled': False, 'entries': [['interest', 1200], ['interest', 1200], ['collection', 12000], ['collection', 3985]]}], ['control 4', {'bank': 8000, 'book': 9000, 'items': [['memo', 15], ['memo', 400], ['bank_error', 400], ['check_error', 540, 2010], ['memo', 400]]}, {'adjusted_bank': 8400, 'adjusted_book': 7530, 'reconciled': False, 'entries': [['check_error', -1470]]}], ['control 5', {'bank': 10000, 'book': 10000, 'items': [['interest', 250], ['outstanding_check', 250], ['memo', 400], ['memo', 90], ['deposit_in_transit', 250], ['outstanding_check', 15]]}, {'adjusted_bank': 9985, 'adjusted_book': 10250, 'reconciled': False, 'entries': [['interest', 250]]}], ['control 6', {'bank': 12500, 'book': 9000, 'items': [['memo', 15], ['deposit_in_transit', 1200], ['memo', 400]]}, {'adjusted_bank': 13700, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}]], [['regression: service charge direction', {'bank': 12500, 'book': 9000, 'items': [['nsf', 400], ['bank_error', -90], ['bank_fee', 90]]}, {'adjusted_bank': 12410, 'adjusted_book': 8510, 'reconciled': False, 'entries': [['nsf', -400], ['bank_fee', -90]]}], ['control 1', {'bank': 8000, 'book': 9000, 'items': [['deposit_in_transit', 400], ['outstanding_check', 400], ['memo', 15], ['outstanding_check', 250], ['memo', 1200], ['deposit_in_transit', 250]]}, {'adjusted_bank': 8000, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}], ['control 2', {'bank': 12500, 'book': 9000, 'items': [['bank_error', 90], ['deposit_in_transit', 400], ['bank_error', -400], ['outstanding_check', 400]]}, {'adjusted_bank': 12190, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}], ['control 3', {'bank': 10000, 'book': 11800, 'items': [['bank_error', 1200], ['collection', 4000, 25], ['memo', 90], ['collection', 12000, 15], ['collection', 150, 25], ['collection', 150, 25], ['collection', 12000, 0]]}, {'adjusted_bank': 11200, 'adjusted_book': 40010, 'reconciled': False, 'entries': [['collection', 3975], ['collection', 11985], ['collection', 125], ['collection', 125], ['collection', 12000]]}], ['control 4', {'bank': 8000, 'book': 10000, 'items': [['bank_error', -400], ['outstanding_check', 1200], ['bank_error', 15], ['deposit_in_transit', 250], ['check_error', 450, 459], ['outstanding_check', 15]]}, {'adjusted_bank': 6650, 'adjusted_book': 9991, 'reconciled': False, 'entries': [['check_error', -9]]}], ['control 5', {'bank': 10000, 'book': 9000, 'items': [['deposit_in_transit', 90], ['outstanding_check', 1200], ['collection', 900, 0]]}, {'adjusted_bank': 8890, 'adjusted_book': 9900, 'reconciled': False, 'entries': [['collection', 900]]}], ['control 6', {'bank': 8000, 'book': 9000, 'items': [['check_error', 540, 450], ['outstanding_check', 90], ['interest', 250], ['interest', 400]]}, {'adjusted_bank': 7910, 'adjusted_book': 9740, 'reconciled': False, 'entries': [['check_error', 90], ['interest', 250], ['interest', 400]]}]], [['regression: service charge direction', {'bank': 10000, 'book': 11800, 'items': [['collection', 4000, 15], ['outstanding_check', 1200], ['bank_error', 400], ['bank_fee', 1200], ['bank_error', 400]]}, {'adjusted_bank': 9600, 'adjusted_book': 14585, 'reconciled': False, 'entries': [['collection', 3985], ['bank_fee', -1200]]}], ['control 1', {'bank': 10000, 'book': 11800, 'items': [['deposit_in_transit', 1200], ['check_error', 450, 459], ['check_error', 540, 450], ['bank_error', 15]]}, {'adjusted_bank': 11215, 'adjusted_book': 11881, 'reconciled': False, 'entries': [['check_error', -9], ['check_error', 90]]}], ['control 2', {'bank': 8000, 'book': 11800, 'items': [['check_error', 450, 450], ['outstanding_check', 1200], ['bank_error', -400], ['check_error', 2100, 2010]]}, {'adjusted_bank': 6400, 'adjusted_book': 11890, 'reconciled': False, 'entries': [['check_error', 0], ['check_error', 90]]}], ['control 3', {'bank': 12500, 'book': 11800, 'items': [['bank_error', -90], ['deposit_in_transit', 400], ['collection', 12000, 15], ['deposit_in_transit', 90], ['bank_error', 250], ['check_error', 540, 540]]}, {'adjusted_bank': 13150, 'adjusted_book': 23785, 'reconciled': False, 'entries': [['collection', 11985], ['check_error', 0]]}], ['control 4', {'bank': 12500, 'book': 10000, 'items': [['deposit_in_transit', 250], ['interest', 15], ['bank_error', 90], ['interest', 90], ['collection', 150, 0], ['outstanding_check', 400]]}, {'adjusted_bank': 12440, 'adjusted_book': 10255, 'reconciled': False, 'entries': [['interest', 15], ['interest', 90], ['collection', 150]]}], ['control 5', {'bank': 10000, 'book': 11800, 'items': [['bank_error', 90], ['outstanding_check', 1200], ['collection', 900, 0], ['deposit_in_transit', 1200], ['deposit_in_transit', 15], ['interest', 90], ['check_error', 450, 540]]}, {'adjusted_bank': 10105, 'adjusted_book': 12700, 'reconciled': False, 'entries': [['collection', 900], ['interest', 90], ['check_error', -90]]}], ['control 6', {'bank': 12500, 'book': 10000, 'items': [['bank_error', -15], ['memo', 250], ['collection', 12000, 25], ['bank_error', 15], ['outstanding_check', 1200]]}, {'adjusted_bank': 11300, 'adjusted_book': 21975, 'reconciled': False, 'entries': [['collection', 11975]]}]], [['regression: service charge direction', {'bank': 12500, 'book': 10000, 'items': [['deposit_in_transit', 15], ['bank_error', -15], ['nsf', 90], ['collection', 2500, 25], ['outstanding_check', 90], ['collection', 900, 0]]}, {'adjusted_bank': 12410, 'adjusted_book': 13285, 'reconciled': False, 'entries': [['nsf', -90], ['collection', 2475], ['collection', 900]]}], ['regression: service charge direction, partial-repair probe', {'bank': 12500, 'book': 9000, 'items': [['bank_error', -1200], ['memo', 15], ['bank_fee', 15], ['outstanding_check', 400], ['outstanding_check', 400]]}, {'adjusted_bank': 10500, 'adjusted_book': 8985, 'reconciled': False, 'entries': [['bank_fee', -15]]}], ['control 1', {'bank': 12500, 'book': 11800, 'items': [['collection', 4000, 0], ['bank_error', 400], ['check_error', 450, 459]]}, {'adjusted_bank': 12900, 'adjusted_book': 15791, 'reconciled': False, 'entries': [['collection', 4000], ['check_error', -9]]}], ['control 2', {'bank': 12500, 'book': 9000, 'items': [['deposit_in_transit', 250], ['bank_error', -90], ['bank_error', 90]]}, {'adjusted_bank': 12750, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}], ['control 3', {'bank': 8000, 'book': 10000, 'items': [['deposit_in_transit', 400], ['deposit_in_transit', 1200], ['memo', 90], ['interest', 250], ['check_error', 540, 540], ['check_error', 2100, 2109], ['interest', 250]]}, {'adjusted_bank': 9600, 'adjusted_book': 10491, 'reconciled': False, 'entries': [['interest', 250], ['check_error', 0], ['check_error', -9], ['interest', 250]]}], ['control 4', {'bank': 8000, 'book': 10000, 'items': [['deposit_in_transit', 90], ['bank_error', 15], ['collection', 4000, 0], ['interest', 250]]}, {'adjusted_bank': 8105, 'adjusted_book': 14250, 'reconciled': False, 'entries': [['collection', 4000], ['interest', 250]]}], ['control 5', {'bank': 8000, 'book': 9000, 'items': [['deposit_in_transit', 250], ['bank_error', -90], ['deposit_in_transit', 400], ['collection', 12000, 0]]}, {'adjusted_bank': 8560, 'adjusted_book': 21000, 'reconciled': False, 'entries': [['collection', 12000]]}]], [['regression: service charge direction', {'bank': 12500, 'book': 10000, 'items': [['outstanding_check', 250], ['collection', 4000, 25], ['check_error', 2100, 450], ['outstanding_check', 250], ['bank_fee', 90], ['interest', 1200], ['outstanding_check', 15]]}, {'adjusted_bank': 11985, 'adjusted_book': 16735, 'reconciled': False, 'entries': [['collection', 3975], ['check_error', 1650], ['bank_fee', -90], ['interest', 1200]]}], ['control 1', {'bank': 8000, 'book': 9000, 'items': [['check_error', 450, 459], ['outstanding_check', 400], ['interest', 1200]]}, {'adjusted_bank': 7600, 'adjusted_book': 10191, 'reconciled': False, 'entries': [['check_error', -9], ['interest', 1200]]}], ['control 2', {'bank': 12500, 'book': 11800, 'items': [['check_error', 1200, 540], ['bank_error', -250], ['check_error', 2100, 450], ['bank_error', -15]]}, {'adjusted_bank': 12235, 'adjusted_book': 14110, 'reconciled': False, 'entries': [['check_error', 660], ['check_error', 1650]]}], ['control 3', {'bank': 12500, 'book': 10000, 'items': [['bank_error', -15], ['bank_error', 250], ['memo', 400], ['bank_error', 15], ['memo', 1200]]}, {'adjusted_bank': 12750, 'adjusted_book': 10000, 'reconciled': False, 'entries': []}], ['control 4', {'bank': 12500, 'book': 11800, 'items': [['check_error', 540, 540], ['bank_error', -90], ['outstanding_check', 1200]]}, {'adjusted_bank': 11210, 'adjusted_book': 11800, 'reconciled': False, 'entries': [['check_error', 0]]}], ['control 5', {'bank': 10000, 'book': 9000, 'items': [['check_error', 450, 2010], ['outstanding_check', 90], ['memo', 1200]]}, {'adjusted_bank': 9910, 'adjusted_book': 7440, 'reconciled': False, 'entries': [['check_error', -1560]]}], ['control 6', {'bank': 8000, 'book': 9000, 'items': [['deposit_in_transit', 1200], ['collection', 150, 15], ['bank_error', 90], ['interest', 1200]]}, {'adjusted_bank': 9290, 'adjusted_book': 10335, 'reconciled': False, 'entries': [['collection', 135], ['interest', 1200]]}]]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'raised ' + type(exc).__name__\n    check(label, actual, 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":"4192444bfcd8f3ba36524d709ff728819c256953651de19fe68015626a8c9d67","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    bank = x['bank']\n    book = x['book']\n    entries = []\n    for item in x['items']:\n        kind = item[0]\n        if kind == 'deposit_in_transit':\n            bank += item[1]\n        elif kind == 'outstanding_check':\n            bank -= item[1]\n        elif kind == 'bank_error':\n            bank += item[1]\n        else:\n            if kind == 'bank_fee' or kind == 'nsf':\n                adj = item[1]\n            elif kind == 'interest':\n                adj = item[1]\n            elif kind == 'collection':\n                adj = item[1] - item[2]\n            elif kind == 'check_error':\n                adj = item[1] - item[2]\n            else:\n                continue\n            book += adj\n            entries.append([kind, adj])\n    return {'adjusted_bank': bank, 'adjusted_book': book, 'reconciled': bank == book, 'entries': entries}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: service charge direction', {'bank': 10000, 'book': 10000, 'items': [['bank_fee', 90], ['interest', 15], ['bank_error', 1200], ['nsf', 1200], ['memo', 250], ['memo', 1200]]}, {'adjusted_bank': 11200, 'adjusted_book': 8725, 'reconciled': False, 'entries': [['bank_fee', -90], ['interest', 15], ['nsf', -1200]]}], ['control 1', {'bank': 8000, 'book': 9000, 'items': [['interest', 1200], ['bank_error', 400], ['interest', 400], ['bank_error', 250], ['interest', 400]]}, {'adjusted_bank': 8650, 'adjusted_book': 11000, 'reconciled': False, 'entries': [['interest', 1200], ['interest', 400], ['interest', 400]]}], ['control 2', {'bank': 12500, 'book': 9000, 'items': [['deposit_in_transit', 250], ['collection', 12000, 0], ['check_error', 1200, 1020]]}, {'adjusted_bank': 12750, 'adjusted_book': 21180, 'reconciled': False, 'entries': [['collection', 12000], ['check_error', 180]]}], ['control 3', {'bank': 10000, 'book': 9000, 'items': [['outstanding_check', 15], ['interest', 1200], ['interest', 1200], ['collection', 12000, 0], ['collection', 4000, 15], ['outstanding_check', 90]]}, {'adjusted_bank': 9895, 'adjusted_book': 27385, 'reconciled': False, 'entries': [['interest', 1200], ['interest', 1200], ['collection', 12000], ['collection', 3985]]}], ['control 4', {'bank': 8000, 'book': 9000, 'items': [['memo', 15], ['memo', 400], ['bank_error', 400], ['check_error', 540, 2010], ['memo', 400]]}, {'adjusted_bank': 8400, 'adjusted_book': 7530, 'reconciled': False, 'entries': [['check_error', -1470]]}], ['control 5', {'bank': 10000, 'book': 10000, 'items': [['interest', 250], ['outstanding_check', 250], ['memo', 400], ['memo', 90], ['deposit_in_transit', 250], ['outstanding_check', 15]]}, {'adjusted_bank': 9985, 'adjusted_book': 10250, 'reconciled': False, 'entries': [['interest', 250]]}], ['control 6', {'bank': 12500, 'book': 9000, 'items': [['memo', 15], ['deposit_in_transit', 1200], ['memo', 400]]}, {'adjusted_bank': 13700, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}]], [['regression: service charge direction', {'bank': 12500, 'book': 9000, 'items': [['nsf', 400], ['bank_error', -90], ['bank_fee', 90]]}, {'adjusted_bank': 12410, 'adjusted_book': 8510, 'reconciled': False, 'entries': [['nsf', -400], ['bank_fee', -90]]}], ['control 1', {'bank': 8000, 'book': 9000, 'items': [['deposit_in_transit', 400], ['outstanding_check', 400], ['memo', 15], ['outstanding_check', 250], ['memo', 1200], ['deposit_in_transit', 250]]}, {'adjusted_bank': 8000, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}], ['control 2', {'bank': 12500, 'book': 9000, 'items': [['bank_error', 90], ['deposit_in_transit', 400], ['bank_error', -400], ['outstanding_check', 400]]}, {'adjusted_bank': 12190, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}], ['control 3', {'bank': 10000, 'book': 11800, 'items': [['bank_error', 1200], ['collection', 4000, 25], ['memo', 90], ['collection', 12000, 15], ['collection', 150, 25], ['collection', 150, 25], ['collection', 12000, 0]]}, {'adjusted_bank': 11200, 'adjusted_book': 40010, 'reconciled': False, 'entries': [['collection', 3975], ['collection', 11985], ['collection', 125], ['collection', 125], ['collection', 12000]]}], ['control 4', {'bank': 8000, 'book': 10000, 'items': [['bank_error', -400], ['outstanding_check', 1200], ['bank_error', 15], ['deposit_in_transit', 250], ['check_error', 450, 459], ['outstanding_check', 15]]}, {'adjusted_bank': 6650, 'adjusted_book': 9991, 'reconciled': False, 'entries': [['check_error', -9]]}], ['control 5', {'bank': 10000, 'book': 9000, 'items': [['deposit_in_transit', 90], ['outstanding_check', 1200], ['collection', 900, 0]]}, {'adjusted_bank': 8890, 'adjusted_book': 9900, 'reconciled': False, 'entries': [['collection', 900]]}], ['control 6', {'bank': 8000, 'book': 9000, 'items': [['check_error', 540, 450], ['outstanding_check', 90], ['interest', 250], ['interest', 400]]}, {'adjusted_bank': 7910, 'adjusted_book': 9740, 'reconciled': False, 'entries': [['check_error', 90], ['interest', 250], ['interest', 400]]}]], [['regression: service charge direction', {'bank': 10000, 'book': 11800, 'items': [['collection', 4000, 15], ['outstanding_check', 1200], ['bank_error', 400], ['bank_fee', 1200], ['bank_error', 400]]}, {'adjusted_bank': 9600, 'adjusted_book': 14585, 'reconciled': False, 'entries': [['collection', 3985], ['bank_fee', -1200]]}], ['control 1', {'bank': 10000, 'book': 11800, 'items': [['deposit_in_transit', 1200], ['check_error', 450, 459], ['check_error', 540, 450], ['bank_error', 15]]}, {'adjusted_bank': 11215, 'adjusted_book': 11881, 'reconciled': False, 'entries': [['check_error', -9], ['check_error', 90]]}], ['control 2', {'bank': 8000, 'book': 11800, 'items': [['check_error', 450, 450], ['outstanding_check', 1200], ['bank_error', -400], ['check_error', 2100, 2010]]}, {'adjusted_bank': 6400, 'adjusted_book': 11890, 'reconciled': False, 'entries': [['check_error', 0], ['check_error', 90]]}], ['control 3', {'bank': 12500, 'book': 11800, 'items': [['bank_error', -90], ['deposit_in_transit', 400], ['collection', 12000, 15], ['deposit_in_transit', 90], ['bank_error', 250], ['check_error', 540, 540]]}, {'adjusted_bank': 13150, 'adjusted_book': 23785, 'reconciled': False, 'entries': [['collection', 11985], ['check_error', 0]]}], ['control 4', {'bank': 12500, 'book': 10000, 'items': [['deposit_in_transit', 250], ['interest', 15], ['bank_error', 90], ['interest', 90], ['collection', 150, 0], ['outstanding_check', 400]]}, {'adjusted_bank': 12440, 'adjusted_book': 10255, 'reconciled': False, 'entries': [['interest', 15], ['interest', 90], ['collection', 150]]}], ['control 5', {'bank': 10000, 'book': 11800, 'items': [['bank_error', 90], ['outstanding_check', 1200], ['collection', 900, 0], ['deposit_in_transit', 1200], ['deposit_in_transit', 15], ['interest', 90], ['check_error', 450, 540]]}, {'adjusted_bank': 10105, 'adjusted_book': 12700, 'reconciled': False, 'entries': [['collection', 900], ['interest', 90], ['check_error', -90]]}], ['control 6', {'bank': 12500, 'book': 10000, 'items': [['bank_error', -15], ['memo', 250], ['collection', 12000, 25], ['bank_error', 15], ['outstanding_check', 1200]]}, {'adjusted_bank': 11300, 'adjusted_book': 21975, 'reconciled': False, 'entries': [['collection', 11975]]}]], [['regression: service charge direction', {'bank': 12500, 'book': 10000, 'items': [['deposit_in_transit', 15], ['bank_error', -15], ['nsf', 90], ['collection', 2500, 25], ['outstanding_check', 90], ['collection', 900, 0]]}, {'adjusted_bank': 12410, 'adjusted_book': 13285, 'reconciled': False, 'entries': [['nsf', -90], ['collection', 2475], ['collection', 900]]}], ['regression: service charge direction, partial-repair probe', {'bank': 12500, 'book': 9000, 'items': [['bank_error', -1200], ['memo', 15], ['bank_fee', 15], ['outstanding_check', 400], ['outstanding_check', 400]]}, {'adjusted_bank': 10500, 'adjusted_book': 8985, 'reconciled': False, 'entries': [['bank_fee', -15]]}], ['control 1', {'bank': 12500, 'book': 11800, 'items': [['collection', 4000, 0], ['bank_error', 400], ['check_error', 450, 459]]}, {'adjusted_bank': 12900, 'adjusted_book': 15791, 'reconciled': False, 'entries': [['collection', 4000], ['check_error', -9]]}], ['control 2', {'bank': 12500, 'book': 9000, 'items': [['deposit_in_transit', 250], ['bank_error', -90], ['bank_error', 90]]}, {'adjusted_bank': 12750, 'adjusted_book': 9000, 'reconciled': False, 'entries': []}], ['control 3', {'bank': 8000, 'book': 10000, 'items': [['deposit_in_transit', 400], ['deposit_in_transit', 1200], ['memo', 90], ['interest', 250], ['check_error', 540, 540], ['check_error', 2100, 2109], ['interest', 250]]}, {'adjusted_bank': 9600, 'adjusted_book': 10491, 'reconciled': False, 'entries': [['interest', 250], ['check_error', 0], ['check_error', -9], ['interest', 250]]}], ['control 4', {'bank': 8000, 'book': 10000, 'items': [['deposit_in_transit', 90], ['bank_error', 15], ['collection', 4000, 0], ['interest', 250]]}, {'adjusted_bank': 8105, 'adjusted_book': 14250, 'reconciled': False, 'entries': [['collection', 4000], ['interest', 250]]}], ['control 5', {'bank': 8000, 'book': 9000, 'items': [['deposit_in_transit', 250], ['bank_error', -90], ['deposit_in_transit', 400], ['collection', 12000, 0]]}, {'adjusted_bank': 8560, 'adjusted_book': 21000, 'reconciled': False, 'entries': [['collection', 12000]]}]], [['regression: service charge direction', {'bank': 12500, 'book': 10000, 'items': [['outstanding_check', 250], ['collection', 4000, 25], ['check_error', 2100, 450], ['outstanding_check', 250], ['bank_fee', 90], ['interest', 1200], ['outstanding_check', 15]]}, {'adjusted_bank': 11985, 'adjusted_book': 16735, 'reconciled': False, 'entries': [['collection', 3975], ['check_error', 1650], ['bank_fee', -90], ['interest', 1200]]}], ['control 1', {'bank': 8000, 'book': 9000, 'items': [['check_error', 450, 459], ['outstanding_check', 400], ['interest', 1200]]}, {'adjusted_bank': 7600, 'adjusted_book': 10191, 'reconciled': False, 'entries': [['check_error', -9], ['interest', 1200]]}], ['control 2', {'bank': 12500, 'book': 11800, 'items': [['check_error', 1200, 540], ['bank_error', -250], ['check_error', 2100, 450], ['bank_error', -15]]}, {'adjusted_bank': 12235, 'adjusted_book': 14110, 'reconciled': False, 'entries': [['check_error', 660], ['check_error', 1650]]}], ['control 3', {'bank': 12500, 'book': 10000, 'items': [['bank_error', -15], ['bank_error', 250], ['memo', 400], ['bank_error', 15], ['memo', 1200]]}, {'adjusted_bank': 12750, 'adjusted_book': 10000, 'reconciled': False, 'entries': []}], ['control 4', {'bank': 12500, 'book': 11800, 'items': [['check_error', 540, 540], ['bank_error', -90], ['outstanding_check', 1200]]}, {'adjusted_bank': 11210, 'adjusted_book': 11800, 'reconciled': False, 'entries': [['check_error', 0]]}], ['control 5', {'bank': 10000, 'book': 9000, 'items': [['check_error', 450, 2010], ['outstanding_check', 90], ['memo', 1200]]}, {'adjusted_bank': 9910, 'adjusted_book': 7440, 'reconciled': False, 'entries': [['check_error', -1560]]}], ['control 6', {'bank': 8000, 'book': 9000, 'items': [['deposit_in_transit', 1200], ['collection', 150, 15], ['bank_error', 90], ['interest', 1200]]}, {'adjusted_bank': 9290, 'adjusted_book': 10335, 'reconciled': False, 'entries': [['collection', 135], ['interest', 1200]]}]]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'raised ' + type(exc).__name__\n    check(label, actual, 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 stipulated toy bookkeeping rules stated in the contract; amounts are integer cents; it makes no claim of conformance to any accounting standard or product. 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-double-entry-ledger-accounting-bank-reconciliation-service-charge-direction","generated_at":"2026-09-29T14:46:22.190518+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Ledger software must keep debits equal to credits and apply normal-balance, period and cutoff rules exactly; small sign or boundary slips silently misstate financial statements.","root_cause":"Bank fees and NSF items are posted as book increases.","sha256":"9048df9a9d7deb382b2240bf389b6723566e127e5edfa730a8d5ed75de1fe4c5","title":"Bank reconciliation: service charge direction · 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":42.979,"exit_code":1,"observations":[{"actual":{"adjusted_bank":11200,"adjusted_book":8905,"entries":[["bank_fee",90],["interest",15],["nsf",-1200]],"reconciled":false},"check":"regression: service charge direction","expected":{"adjusted_bank":11200,"adjusted_book":8725,"entries":[["bank_fee",-90],["interest",15],["nsf",-1200]],"reconciled":false},"passed":false},{"actual":{"adjusted_bank":8650,"adjusted_book":11000,"entries":[["interest",1200],["interest",400],["interest",400]],"reconciled":false},"check":"control 1","expected":{"adjusted_bank":8650,"adjusted_book":11000,"entries":[["interest",1200],["interest",400],["interest",400]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":12750,"adjusted_book":21180,"entries":[["collection",12000],["check_error",180]],"reconciled":false},"check":"control 2","expected":{"adjusted_bank":12750,"adjusted_book":21180,"entries":[["collection",12000],["check_error",180]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":9895,"adjusted_book":27385,"entries":[["interest",1200],["interest",1200],["collection",12000],["collection",3985]],"reconciled":false},"check":"control 3","expected":{"adjusted_bank":9895,"adjusted_book":27385,"entries":[["interest",1200],["interest",1200],["collection",12000],["collection",3985]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":8400,"adjusted_book":7530,"entries":[["check_error",-1470]],"reconciled":false},"check":"control 4","expected":{"adjusted_bank":8400,"adjusted_book":7530,"entries":[["check_error",-1470]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":9985,"adjusted_book":10250,"entries":[["interest",250]],"reconciled":false},"check":"control 5","expected":{"adjusted_bank":9985,"adjusted_book":10250,"entries":[["interest",250]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":13700,"adjusted_book":9000,"entries":[],"reconciled":false},"check":"control 6","expected":{"adjusted_bank":13700,"adjusted_book":9000,"entries":[],"reconciled":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: service charge direction\", \"actual\": {\"adjusted_bank\": 11200, \"adjusted_book\": 8905, \"reconciled\": false, \"entries\": [[\"bank_fee\", 90], [\"interest\", 15], [\"nsf\", -1200]]}, \"expected\": {\"adjusted_bank\": 11200, \"adjusted_book\": 8725, \"reconciled\": false, \"entries\": [[\"bank_fee\", -90], [\"interest\", 15], [\"nsf\", -1200]]}, \"passed\": false}, {\"check\": \"control 1\", \"actual\": {\"adjusted_bank\": 8650, \"adjusted_book\": 11000, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 400], [\"interest\", 400]]}, \"expected\": {\"adjusted_bank\": 8650, \"adjusted_book\": 11000, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 400], [\"interest\", 400]]}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"adjusted_bank\": 12750, \"adjusted_book\": 21180, \"reconciled\": false, \"entries\": [[\"collection\", 12000], [\"check_error\", 180]]}, \"expected\": {\"adjusted_bank\": 12750, \"adjusted_book\": 21180, \"reconciled\": false, \"entries\": [[\"collection\", 12000], [\"check_error\", 180]]}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"adjusted_bank\": 9895, \"adjusted_book\": 27385, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 1200], [\"collection\", 12000], [\"collection\", 3985]]}, \"expected\": {\"adjusted_bank\": 9895, \"adjusted_book\": 27385, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 1200], [\"collection\", 12000], [\"collection\", 3985]]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"adjusted_bank\": 8400, \"adjusted_book\": 7530, \"reconciled\": false, \"entries\": [[\"check_error\", -1470]]}, \"expected\": {\"adjusted_bank\": 8400, \"adjusted_book\": 7530, \"reconciled\": false, \"entries\": [[\"check_error\", -1470]]}, \"passed\": true}, {\"check\": \"control 5\", \"actual\": {\"adjusted_bank\": 9985, \"adjusted_book\": 10250, \"reconciled\": false, \"entries\": [[\"interest\", 250]]}, \"expected\": {\"adjusted_bank\": 9985, \"adjusted_book\": 10250, \"reconciled\": false, \"entries\": [[\"interest\", 250]]}, \"passed\": true}, {\"check\": \"control 6\", \"actual\": {\"adjusted_bank\": 13700, \"adjusted_book\": 9000, \"reconciled\": false, \"entries\": []}, \"expected\": {\"adjusted_bank\": 13700, \"adjusted_book\": 9000, \"reconciled\": false, \"entries\": []}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.626,"exit_code":1,"observations":[{"actual":{"adjusted_bank":11200,"adjusted_book":11305,"entries":[["bank_fee",90],["interest",15],["nsf",1200]],"reconciled":false},"check":"regression: service charge direction","expected":{"adjusted_bank":11200,"adjusted_book":8725,"entries":[["bank_fee",-90],["interest",15],["nsf",-1200]],"reconciled":false},"passed":false},{"actual":{"adjusted_bank":8650,"adjusted_book":11000,"entries":[["interest",1200],["interest",400],["interest",400]],"reconciled":false},"check":"control 1","expected":{"adjusted_bank":8650,"adjusted_book":11000,"entries":[["interest",1200],["interest",400],["interest",400]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":12750,"adjusted_book":21180,"entries":[["collection",12000],["check_error",180]],"reconciled":false},"check":"control 2","expected":{"adjusted_bank":12750,"adjusted_book":21180,"entries":[["collection",12000],["check_error",180]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":9895,"adjusted_book":27385,"entries":[["interest",1200],["interest",1200],["collection",12000],["collection",3985]],"reconciled":false},"check":"control 3","expected":{"adjusted_bank":9895,"adjusted_book":27385,"entries":[["interest",1200],["interest",1200],["collection",12000],["collection",3985]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":8400,"adjusted_book":7530,"entries":[["check_error",-1470]],"reconciled":false},"check":"control 4","expected":{"adjusted_bank":8400,"adjusted_book":7530,"entries":[["check_error",-1470]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":9985,"adjusted_book":10250,"entries":[["interest",250]],"reconciled":false},"check":"control 5","expected":{"adjusted_bank":9985,"adjusted_book":10250,"entries":[["interest",250]],"reconciled":false},"passed":true},{"actual":{"adjusted_bank":13700,"adjusted_book":9000,"entries":[],"reconciled":false},"check":"control 6","expected":{"adjusted_bank":13700,"adjusted_book":9000,"entries":[],"reconciled":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: service charge direction\", \"actual\": {\"adjusted_bank\": 11200, \"adjusted_book\": 11305, \"reconciled\": false, \"entries\": [[\"bank_fee\", 90], [\"interest\", 15], [\"nsf\", 1200]]}, \"expected\": {\"adjusted_bank\": 11200, \"adjusted_book\": 8725, \"reconciled\": false, \"entries\": [[\"bank_fee\", -90], [\"interest\", 15], [\"nsf\", -1200]]}, \"passed\": false}, {\"check\": \"control 1\", \"actual\": {\"adjusted_bank\": 8650, \"adjusted_book\": 11000, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 400], [\"interest\", 400]]}, \"expected\": {\"adjusted_bank\": 8650, \"adjusted_book\": 11000, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 400], [\"interest\", 400]]}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"adjusted_bank\": 12750, \"adjusted_book\": 21180, \"reconciled\": false, \"entries\": [[\"collection\", 12000], [\"check_error\", 180]]}, \"expected\": {\"adjusted_bank\": 12750, \"adjusted_book\": 21180, \"reconciled\": false, \"entries\": [[\"collection\", 12000], [\"check_error\", 180]]}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"adjusted_bank\": 9895, \"adjusted_book\": 27385, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 1200], [\"collection\", 12000], [\"collection\", 3985]]}, \"expected\": {\"adjusted_bank\": 9895, \"adjusted_book\": 27385, \"reconciled\": false, \"entries\": [[\"interest\", 1200], [\"interest\", 1200], [\"collection\", 12000], [\"collection\", 3985]]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"adjusted_bank\": 8400, \"adjusted_book\": 7530, \"reconciled\": false, \"entries\": [[\"check_error\", -1470]]}, \"expected\": {\"adjusted_bank\": 8400, \"adjusted_book\": 7530, \"reconciled\": false, \"entries\": [[\"check_error\", -1470]]}, \"passed\": true}, {\"check\": \"control 5\", \"actual\": {\"adjusted_bank\": 9985, \"adjusted_book\": 10250, \"reconciled\": false, \"entries\": [[\"interest\", 250]]}, \"expected\": {\"adjusted_bank\": 9985, \"adjusted_book\": 10250, \"reconciled\": false, \"entries\": [[\"interest\", 250]]}, \"passed\": true}, {\"check\": \"control 6\", \"actual\": {\"adjusted_bank\": 13700, \"adjusted_book\": 9000, \"reconciled\": false, \"entries\": []}, \"expected\": {\"adjusted_bank\": 13700, \"adjusted_book\": 9000, \"reconciled\": false, \"entries\": []}, \"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."}}