{"abstract":"Account 1010 is listed before account 150.","category":"Double-entry ledger accounting","checks":7,"contract":"x = [[account_code (digit string), type, total_debits, total_credits], ...]. Net = debits - credits. Zero-net accounts are omitted. A positive net goes in the debit column, a negative net (as a positive number) in the credit column. Rows are ordered by numeric account code. An account is abnormal when its column differs from its normal side (asset, expense, dividend debit-normal; others credit-normal). Return {'rows': [[code, debit, credit]], 'totals': [debits, credits], 'balanced': totals equal exactly, 'abnormal': codes in numeric order}.","contract_signature":"x","evaluation_group":"w2-double-entry-ledger-accounting-trial-balance","failed_approach":"Grouping by leading digit then string order still puts 1010 before 150 in the same group.","family":"w2-double-entry-ledger-accounting-trial-balance-numeric-code-ordering","id":"FA-57891","implementations":{"attempt":{"sha256":"9fe799a23d82b51bb7552a8da8672843678471c057cc707e043923af6ed823bb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    debit_normal = ('asset', 'expense', 'dividend')\n    rows = []\n    td = tc = 0\n    abnormal = []\n    for acct, kind, dr, cr in x:\n        net = dr - cr\n        if net == 0:\n            continue\n        if net > 0:\n            rows.append([acct, net, 0])\n            td += net\n        else:\n            rows.append([acct, 0, -net])\n            tc += -net\n        if (net > 0) != (kind in debit_normal):\n            abnormal.append(acct)\n    rows.sort(key=lambda r: (r[0][0], r[0]))\n    return {'rows': rows, 'totals': [td, tc], 'balanced': td == tc, 'abnormal': sorted(abnormal, key=int)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: numeric code ordering', [['101', 'expense', 900, 0], ['2100', 'revenue', 0, 1], ['510', 'liability', 0, 250], ['7200', 'expense', 1234, 5000], ['1500', 'expense', 1234, 1235], ['150', 'expense', 250, 249], ['4000', 'expense', 0, 0]], {'rows': [['101', 900, 0], ['150', 1, 0], ['510', 0, 250], ['1500', 0, 1], ['2100', 0, 1], ['7200', 0, 3766]], 'totals': [901, 4018], 'balanced': False, 'abnormal': ['1500', '7200']}], ['control 1', [['4000', 'dividend', 250, 0], ['7200', 'dividend', 5000, 0], ['1500', 'equity', 0, 1]], {'rows': [['1500', 0, 1], ['4000', 250, 0], ['7200', 5000, 0]], 'totals': [5250, 1], 'balanced': False, 'abnormal': []}], ['control 2', [['150', 'liability', 1234, 1234], ['101', 'asset', 0, -1], ['205', 'equity', 0, 0], ['7200', 'dividend', 900, 250]], {'rows': [['101', 1, 0], ['7200', 650, 0]], 'totals': [651, 0], 'balanced': False, 'abnormal': []}], ['control 3', [['2100', 'revenue', 0, 0], ['4000', 'revenue', 0, 0], ['99', 'equity', 5000, 5000], ['510', 'asset', 0, 0]], {'rows': [], 'totals': [0, 0], 'balanced': True, 'abnormal': []}], ['control 4', [['30', 'dividend', 1234, 1234], ['150', 'asset', 0, 250], ['4000', 'dividend', 1234, 0], ['101', 'dividend', 900, 0]], {'rows': [['101', 900, 0], ['150', 0, 250], ['4000', 1234, 0]], 'totals': [2134, 250], 'balanced': False, 'abnormal': ['150']}], ['control 5', [['2100', 'revenue', 0, 5000], ['150', 'revenue', 1234, 0], ['7200', 'revenue', 5000, 5000]], {'rows': [['150', 1234, 0], ['2100', 0, 5000]], 'totals': [1234, 5000], 'balanced': False, 'abnormal': ['150']}], ['control 6', [['1010', 'dividend', 0, 100], ['205', 'liability', 5000, 5000], ['510', 'asset', 0, 0], ['1500', 'expense', 250, 1234]], {'rows': [['1010', 0, 100], ['1500', 0, 984]], 'totals': [0, 1084], 'balanced': False, 'abnormal': ['1010', '1500']}]], [['regression: numeric code ordering', [['6', 'expense', 0, 0], ['30', 'asset', 250, 249], ['7200', 'expense', 5000, 5000], ['150', 'expense', 100, 100], ['2100', 'dividend', 900, 901], ['205', 'equity', 100, 101]], {'rows': [['30', 1, 0], ['205', 0, 1], ['2100', 0, 1]], 'totals': [1, 2], 'balanced': False, 'abnormal': ['2100']}], ['control 1', [['510', 'expense', 900, 5000], ['6', 'dividend', 0, 0], ['150', 'expense', 1234, 1234]], {'rows': [['510', 0, 4100]], 'totals': [0, 4100], 'balanced': False, 'abnormal': ['510']}], ['control 2', [['7200', 'revenue', 0, 1234], ['4000', 'dividend', 100, 100], ['101', 'liability', 250, 250], ['1500', 'expense', 250, 900]], {'rows': [['1500', 0, 650], ['7200', 0, 1234]], 'totals': [0, 1884], 'balanced': False, 'abnormal': ['1500']}], ['control 3', [['1010', 'liability', 900, 0], ['205', 'expense', 100, 100], ['150', 'equity', 0, 0]], {'rows': [['1010', 900, 0]], 'totals': [900, 0], 'balanced': False, 'abnormal': ['1010']}], ['control 4', [['6', 'equity', 0, 0], ['150', 'equity', 0, 0], ['4000', 'asset', 900, 1234], ['1500', 'revenue', 1234, 0]], {'rows': [['1500', 1234, 0], ['4000', 0, 334]], 'totals': [1234, 334], 'balanced': False, 'abnormal': ['1500', '4000']}], ['control 5', [['7200', 'asset', 5000, 4999], ['205', 'asset', 1234, 5000], ['1500', 'dividend', 0, 0]], {'rows': [['205', 0, 3766], ['7200', 1, 0]], 'totals': [1, 3766], 'balanced': False, 'abnormal': ['205']}], ['control 6', [['7200', 'revenue', 5000, 100], ['4000', 'revenue', 250, 249], ['1500', 'liability', 1234, 1234]], {'rows': [['4000', 1, 0], ['7200', 4900, 0]], 'totals': [4901, 0], 'balanced': False, 'abnormal': ['4000', '7200']}]], [['regression: numeric code ordering', [['2100', 'expense', 100, 5000], ['7200', 'liability', 5000, 100], ['6', 'dividend', 250, 1234], ['99', 'dividend', 0, 1234], ['205', 'expense', 5000, 5001], ['101', 'equity', 0, 1234], ['4000', 'revenue', 250, 5000]], {'rows': [['6', 0, 984], ['99', 0, 1234], ['101', 0, 1234], ['205', 0, 1], ['2100', 0, 4900], ['4000', 0, 4750], ['7200', 4900, 0]], 'totals': [4900, 13103], 'balanced': False, 'abnormal': ['6', '99', '205', '2100', '7200']}], ['control 1', [['7200', 'expense', 250, 100], ['1500', 'dividend', 100, 250], ['510', 'equity', 5000, 5000], ['150', 'revenue', 900, 1234], ['101', 'dividend', 900, 900]], {'rows': [['150', 0, 334], ['1500', 0, 150], ['7200', 150, 0]], 'totals': [150, 484], 'balanced': False, 'abnormal': ['1500']}], ['control 2', [['4000', 'dividend', 900, 900], ['101', 'expense', 250, 1234], ['150', 'liability', 900, 0]], {'rows': [['101', 0, 984], ['150', 900, 0]], 'totals': [900, 984], 'balanced': False, 'abnormal': ['101', '150']}], ['control 3', [['99', 'liability', 0, 0], ['510', 'liability', 900, 900], ['205', 'equity', 250, 5000]], {'rows': [['205', 0, 4750]], 'totals': [0, 4750], 'balanced': False, 'abnormal': []}], ['control 4', [['510', 'equity', 1234, 1234], ['150', 'liability', 0, 100], ['6', 'equity', 1234, 1234], ['205', 'revenue', 900, 1234], ['2100', 'dividend', 0, 0], ['101', 'liability', 0, 1]], {'rows': [['101', 0, 1], ['150', 0, 100], ['205', 0, 334]], 'totals': [0, 435], 'balanced': False, 'abnormal': []}], ['control 5', [['101', 'equity', 0, 1], ['150', 'dividend', 5000, 0], ['4000', 'revenue', 100, 250], ['205', 'dividend', 250, 900], ['6', 'asset', 250, 250]], {'rows': [['101', 0, 1], ['150', 5000, 0], ['205', 0, 650], ['4000', 0, 150]], 'totals': [5000, 801], 'balanced': False, 'abnormal': ['205']}], ['control 6', [['1010', 'equity', 250, 250], ['101', 'expense', 0, 5000], ['1500', 'equity', 5000, 5000], ['150', 'liability', 5000, 4999]], {'rows': [['101', 0, 5000], ['150', 1, 0]], 'totals': [1, 5000], 'balanced': False, 'abnormal': ['101', '150']}]], [['regression: numeric code ordering', [['99', 'liability', 1234, 1233], ['30', 'dividend', 5000, 900], ['150', 'liability', 1234, 1234], ['1010', 'liability', 250, 1234], ['510', 'liability', 100, 0], ['4000', 'expense', 100, 100]], {'rows': [['30', 4100, 0], ['99', 1, 0], ['510', 100, 0], ['1010', 0, 984]], 'totals': [4201, 984], 'balanced': False, 'abnormal': ['99', '510']}], ['control 1', [['2100', 'asset', 0, 900], ['150', 'expense', 0, 0], ['1500', 'equity', 100, 100], ['4000', 'liability', 0, 0], ['101', 'revenue', 0, 1]], {'rows': [['101', 0, 1], ['2100', 0, 900]], 'totals': [0, 901], 'balanced': False, 'abnormal': ['2100']}], ['control 2', [['7200', 'asset', 1234, 5000], ['150', 'revenue', 5000, 4999], ['1500', 'dividend', 0, 100]], {'rows': [['150', 1, 0], ['1500', 0, 100], ['7200', 0, 3766]], 'totals': [1, 3866], 'balanced': False, 'abnormal': ['150', '1500', '7200']}], ['control 3', [['150', 'expense', 0, 5000], ['1500', 'revenue', 1234, 1233], ['101', 'liability', 0, 900], ['7200', 'dividend', 250, 900]], {'rows': [['101', 0, 900], ['150', 0, 5000], ['1500', 1, 0], ['7200', 0, 650]], 'totals': [1, 6550], 'balanced': False, 'abnormal': ['150', '1500', '7200']}], ['control 4', [['2100', 'expense', 0, 100], ['1010', 'expense', 100, 99], ['101', 'expense', 900, 5000], ['7200', 'dividend', 1234, 900], ['205', 'liability', 0, 0], ['4000', 'revenue', 900, 900]], {'rows': [['101', 0, 4100], ['1010', 1, 0], ['2100', 0, 100], ['7200', 334, 0]], 'totals': [335, 4200], 'balanced': False, 'abnormal': ['101', '2100']}], ['control 5', [['1010', 'liability', 5000, 5000], ['101', 'equity', 5000, 900], ['7200', 'revenue', 900, 900], ['1500', 'dividend', 0, -1], ['2100', 'asset', 0, -1]], {'rows': [['101', 4100, 0], ['1500', 1, 0], ['2100', 1, 0]], 'totals': [4102, 0], 'balanced': False, 'abnormal': ['101']}], ['control 6', [['205', 'dividend', 1234, 1234], ['2100', 'liability', 0, 250], ['510', 'liability', 900, 900], ['1500', 'expense', 900, 5000], ['101', 'equity', 250, 251], ['7200', 'dividend', 1234, 1233]], {'rows': [['101', 0, 1], ['1500', 0, 4100], ['2100', 0, 250], ['7200', 1, 0]], 'totals': [1, 4351], 'balanced': False, 'abnormal': ['1500']}]], [['regression: numeric code ordering', [['99', 'liability', 5000, 0], ['30', 'liability', 0, 0], ['4000', 'expense', 0, 900], ['205', 'revenue', 900, 5000], ['1010', 'liability', 0, 250]], {'rows': [['99', 5000, 0], ['205', 0, 4100], ['1010', 0, 250], ['4000', 0, 900]], 'totals': [5000, 5250], 'balanced': False, 'abnormal': ['99', '4000']}], ['control 1', [['4000', 'revenue', 0, 1], ['30', 'expense', 250, 250], ['2100', 'asset', 900, 100]], {'rows': [['2100', 800, 0], ['4000', 0, 1]], 'totals': [800, 1], 'balanced': False, 'abnormal': []}], ['control 2', [['101', 'equity', 100, 900], ['4000', 'equity', 0, 1], ['7200', 'expense', 100, 0], ['2100', 'dividend', 0, 5000], ['6', 'liability', 250, 250], ['150', 'equity', 0, 250]], {'rows': [['101', 0, 800], ['150', 0, 250], ['2100', 0, 5000], ['4000', 0, 1], ['7200', 100, 0]], 'totals': [100, 6051], 'balanced': False, 'abnormal': ['2100']}], ['control 3', [['1500', 'liability', 5000, 0], ['510', 'equity', 0, 0], ['99', 'equity', 0, 0], ['7200', 'liability', 1234, 0], ['101', 'liability', 1234, 1234], ['1010', 'dividend', 1234, 1233]], {'rows': [['1010', 1, 0], ['1500', 5000, 0], ['7200', 1234, 0]], 'totals': [6235, 0], 'balanced': False, 'abnormal': ['1500', '7200']}], ['control 4', [['1500', 'equity', 100, 250], ['1010', 'liability', 0, 0], ['4000', 'liability', 5000, 900], ['99', 'asset', 100, 100]], {'rows': [['1500', 0, 150], ['4000', 4100, 0]], 'totals': [4100, 150], 'balanced': False, 'abnormal': ['4000']}], ['control 5', [['4000', 'equity', 0, 1], ['30', 'asset', 1234, 1234], ['101', 'expense', 250, 5000], ['7200', 'revenue', 100, 99]], {'rows': [['101', 0, 4750], ['4000', 0, 1], ['7200', 1, 0]], 'totals': [1, 4751], 'balanced': False, 'abnormal': ['101', '7200']}], ['control 6', [['150', 'expense', 100, 0], ['101', 'liability', 250, 250], ['99', 'liability', 100, 100], ['205', 'equity', 100, 100], ['510', 'expense', 100, 0], ['7200', 'asset', 5000, 5000]], {'rows': [['150', 100, 0], ['510', 100, 0]], 'totals': [200, 0], 'balanced': False, 'abnormal': []}]]]\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":"3932fc789d87dbf032ceeed6a24b757e0ca58e4e6ffb937f176aa12887eb47c7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    debit_normal = ('asset', 'expense', 'dividend')\n    rows = []\n    td = tc = 0\n    abnormal = []\n    for acct, kind, dr, cr in x:\n        net = dr - cr\n        if net == 0:\n            continue\n        if net > 0:\n            rows.append([acct, net, 0])\n            td += net\n        else:\n            rows.append([acct, 0, -net])\n            tc += -net\n        if (net > 0) != (kind in debit_normal):\n            abnormal.append(acct)\n    rows.sort(key=lambda r: r[0])\n    return {'rows': rows, 'totals': [td, tc], 'balanced': td == tc, 'abnormal': sorted(abnormal, key=int)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: numeric code ordering', [['101', 'expense', 900, 0], ['2100', 'revenue', 0, 1], ['510', 'liability', 0, 250], ['7200', 'expense', 1234, 5000], ['1500', 'expense', 1234, 1235], ['150', 'expense', 250, 249], ['4000', 'expense', 0, 0]], {'rows': [['101', 900, 0], ['150', 1, 0], ['510', 0, 250], ['1500', 0, 1], ['2100', 0, 1], ['7200', 0, 3766]], 'totals': [901, 4018], 'balanced': False, 'abnormal': ['1500', '7200']}], ['control 1', [['4000', 'dividend', 250, 0], ['7200', 'dividend', 5000, 0], ['1500', 'equity', 0, 1]], {'rows': [['1500', 0, 1], ['4000', 250, 0], ['7200', 5000, 0]], 'totals': [5250, 1], 'balanced': False, 'abnormal': []}], ['control 2', [['150', 'liability', 1234, 1234], ['101', 'asset', 0, -1], ['205', 'equity', 0, 0], ['7200', 'dividend', 900, 250]], {'rows': [['101', 1, 0], ['7200', 650, 0]], 'totals': [651, 0], 'balanced': False, 'abnormal': []}], ['control 3', [['2100', 'revenue', 0, 0], ['4000', 'revenue', 0, 0], ['99', 'equity', 5000, 5000], ['510', 'asset', 0, 0]], {'rows': [], 'totals': [0, 0], 'balanced': True, 'abnormal': []}], ['control 4', [['30', 'dividend', 1234, 1234], ['150', 'asset', 0, 250], ['4000', 'dividend', 1234, 0], ['101', 'dividend', 900, 0]], {'rows': [['101', 900, 0], ['150', 0, 250], ['4000', 1234, 0]], 'totals': [2134, 250], 'balanced': False, 'abnormal': ['150']}], ['control 5', [['2100', 'revenue', 0, 5000], ['150', 'revenue', 1234, 0], ['7200', 'revenue', 5000, 5000]], {'rows': [['150', 1234, 0], ['2100', 0, 5000]], 'totals': [1234, 5000], 'balanced': False, 'abnormal': ['150']}], ['control 6', [['1010', 'dividend', 0, 100], ['205', 'liability', 5000, 5000], ['510', 'asset', 0, 0], ['1500', 'expense', 250, 1234]], {'rows': [['1010', 0, 100], ['1500', 0, 984]], 'totals': [0, 1084], 'balanced': False, 'abnormal': ['1010', '1500']}]], [['regression: numeric code ordering', [['6', 'expense', 0, 0], ['30', 'asset', 250, 249], ['7200', 'expense', 5000, 5000], ['150', 'expense', 100, 100], ['2100', 'dividend', 900, 901], ['205', 'equity', 100, 101]], {'rows': [['30', 1, 0], ['205', 0, 1], ['2100', 0, 1]], 'totals': [1, 2], 'balanced': False, 'abnormal': ['2100']}], ['control 1', [['510', 'expense', 900, 5000], ['6', 'dividend', 0, 0], ['150', 'expense', 1234, 1234]], {'rows': [['510', 0, 4100]], 'totals': [0, 4100], 'balanced': False, 'abnormal': ['510']}], ['control 2', [['7200', 'revenue', 0, 1234], ['4000', 'dividend', 100, 100], ['101', 'liability', 250, 250], ['1500', 'expense', 250, 900]], {'rows': [['1500', 0, 650], ['7200', 0, 1234]], 'totals': [0, 1884], 'balanced': False, 'abnormal': ['1500']}], ['control 3', [['1010', 'liability', 900, 0], ['205', 'expense', 100, 100], ['150', 'equity', 0, 0]], {'rows': [['1010', 900, 0]], 'totals': [900, 0], 'balanced': False, 'abnormal': ['1010']}], ['control 4', [['6', 'equity', 0, 0], ['150', 'equity', 0, 0], ['4000', 'asset', 900, 1234], ['1500', 'revenue', 1234, 0]], {'rows': [['1500', 1234, 0], ['4000', 0, 334]], 'totals': [1234, 334], 'balanced': False, 'abnormal': ['1500', '4000']}], ['control 5', [['7200', 'asset', 5000, 4999], ['205', 'asset', 1234, 5000], ['1500', 'dividend', 0, 0]], {'rows': [['205', 0, 3766], ['7200', 1, 0]], 'totals': [1, 3766], 'balanced': False, 'abnormal': ['205']}], ['control 6', [['7200', 'revenue', 5000, 100], ['4000', 'revenue', 250, 249], ['1500', 'liability', 1234, 1234]], {'rows': [['4000', 1, 0], ['7200', 4900, 0]], 'totals': [4901, 0], 'balanced': False, 'abnormal': ['4000', '7200']}]], [['regression: numeric code ordering', [['2100', 'expense', 100, 5000], ['7200', 'liability', 5000, 100], ['6', 'dividend', 250, 1234], ['99', 'dividend', 0, 1234], ['205', 'expense', 5000, 5001], ['101', 'equity', 0, 1234], ['4000', 'revenue', 250, 5000]], {'rows': [['6', 0, 984], ['99', 0, 1234], ['101', 0, 1234], ['205', 0, 1], ['2100', 0, 4900], ['4000', 0, 4750], ['7200', 4900, 0]], 'totals': [4900, 13103], 'balanced': False, 'abnormal': ['6', '99', '205', '2100', '7200']}], ['control 1', [['7200', 'expense', 250, 100], ['1500', 'dividend', 100, 250], ['510', 'equity', 5000, 5000], ['150', 'revenue', 900, 1234], ['101', 'dividend', 900, 900]], {'rows': [['150', 0, 334], ['1500', 0, 150], ['7200', 150, 0]], 'totals': [150, 484], 'balanced': False, 'abnormal': ['1500']}], ['control 2', [['4000', 'dividend', 900, 900], ['101', 'expense', 250, 1234], ['150', 'liability', 900, 0]], {'rows': [['101', 0, 984], ['150', 900, 0]], 'totals': [900, 984], 'balanced': False, 'abnormal': ['101', '150']}], ['control 3', [['99', 'liability', 0, 0], ['510', 'liability', 900, 900], ['205', 'equity', 250, 5000]], {'rows': [['205', 0, 4750]], 'totals': [0, 4750], 'balanced': False, 'abnormal': []}], ['control 4', [['510', 'equity', 1234, 1234], ['150', 'liability', 0, 100], ['6', 'equity', 1234, 1234], ['205', 'revenue', 900, 1234], ['2100', 'dividend', 0, 0], ['101', 'liability', 0, 1]], {'rows': [['101', 0, 1], ['150', 0, 100], ['205', 0, 334]], 'totals': [0, 435], 'balanced': False, 'abnormal': []}], ['control 5', [['101', 'equity', 0, 1], ['150', 'dividend', 5000, 0], ['4000', 'revenue', 100, 250], ['205', 'dividend', 250, 900], ['6', 'asset', 250, 250]], {'rows': [['101', 0, 1], ['150', 5000, 0], ['205', 0, 650], ['4000', 0, 150]], 'totals': [5000, 801], 'balanced': False, 'abnormal': ['205']}], ['control 6', [['1010', 'equity', 250, 250], ['101', 'expense', 0, 5000], ['1500', 'equity', 5000, 5000], ['150', 'liability', 5000, 4999]], {'rows': [['101', 0, 5000], ['150', 1, 0]], 'totals': [1, 5000], 'balanced': False, 'abnormal': ['101', '150']}]], [['regression: numeric code ordering', [['99', 'liability', 1234, 1233], ['30', 'dividend', 5000, 900], ['150', 'liability', 1234, 1234], ['1010', 'liability', 250, 1234], ['510', 'liability', 100, 0], ['4000', 'expense', 100, 100]], {'rows': [['30', 4100, 0], ['99', 1, 0], ['510', 100, 0], ['1010', 0, 984]], 'totals': [4201, 984], 'balanced': False, 'abnormal': ['99', '510']}], ['control 1', [['2100', 'asset', 0, 900], ['150', 'expense', 0, 0], ['1500', 'equity', 100, 100], ['4000', 'liability', 0, 0], ['101', 'revenue', 0, 1]], {'rows': [['101', 0, 1], ['2100', 0, 900]], 'totals': [0, 901], 'balanced': False, 'abnormal': ['2100']}], ['control 2', [['7200', 'asset', 1234, 5000], ['150', 'revenue', 5000, 4999], ['1500', 'dividend', 0, 100]], {'rows': [['150', 1, 0], ['1500', 0, 100], ['7200', 0, 3766]], 'totals': [1, 3866], 'balanced': False, 'abnormal': ['150', '1500', '7200']}], ['control 3', [['150', 'expense', 0, 5000], ['1500', 'revenue', 1234, 1233], ['101', 'liability', 0, 900], ['7200', 'dividend', 250, 900]], {'rows': [['101', 0, 900], ['150', 0, 5000], ['1500', 1, 0], ['7200', 0, 650]], 'totals': [1, 6550], 'balanced': False, 'abnormal': ['150', '1500', '7200']}], ['control 4', [['2100', 'expense', 0, 100], ['1010', 'expense', 100, 99], ['101', 'expense', 900, 5000], ['7200', 'dividend', 1234, 900], ['205', 'liability', 0, 0], ['4000', 'revenue', 900, 900]], {'rows': [['101', 0, 4100], ['1010', 1, 0], ['2100', 0, 100], ['7200', 334, 0]], 'totals': [335, 4200], 'balanced': False, 'abnormal': ['101', '2100']}], ['control 5', [['1010', 'liability', 5000, 5000], ['101', 'equity', 5000, 900], ['7200', 'revenue', 900, 900], ['1500', 'dividend', 0, -1], ['2100', 'asset', 0, -1]], {'rows': [['101', 4100, 0], ['1500', 1, 0], ['2100', 1, 0]], 'totals': [4102, 0], 'balanced': False, 'abnormal': ['101']}], ['control 6', [['205', 'dividend', 1234, 1234], ['2100', 'liability', 0, 250], ['510', 'liability', 900, 900], ['1500', 'expense', 900, 5000], ['101', 'equity', 250, 251], ['7200', 'dividend', 1234, 1233]], {'rows': [['101', 0, 1], ['1500', 0, 4100], ['2100', 0, 250], ['7200', 1, 0]], 'totals': [1, 4351], 'balanced': False, 'abnormal': ['1500']}]], [['regression: numeric code ordering', [['99', 'liability', 5000, 0], ['30', 'liability', 0, 0], ['4000', 'expense', 0, 900], ['205', 'revenue', 900, 5000], ['1010', 'liability', 0, 250]], {'rows': [['99', 5000, 0], ['205', 0, 4100], ['1010', 0, 250], ['4000', 0, 900]], 'totals': [5000, 5250], 'balanced': False, 'abnormal': ['99', '4000']}], ['control 1', [['4000', 'revenue', 0, 1], ['30', 'expense', 250, 250], ['2100', 'asset', 900, 100]], {'rows': [['2100', 800, 0], ['4000', 0, 1]], 'totals': [800, 1], 'balanced': False, 'abnormal': []}], ['control 2', [['101', 'equity', 100, 900], ['4000', 'equity', 0, 1], ['7200', 'expense', 100, 0], ['2100', 'dividend', 0, 5000], ['6', 'liability', 250, 250], ['150', 'equity', 0, 250]], {'rows': [['101', 0, 800], ['150', 0, 250], ['2100', 0, 5000], ['4000', 0, 1], ['7200', 100, 0]], 'totals': [100, 6051], 'balanced': False, 'abnormal': ['2100']}], ['control 3', [['1500', 'liability', 5000, 0], ['510', 'equity', 0, 0], ['99', 'equity', 0, 0], ['7200', 'liability', 1234, 0], ['101', 'liability', 1234, 1234], ['1010', 'dividend', 1234, 1233]], {'rows': [['1010', 1, 0], ['1500', 5000, 0], ['7200', 1234, 0]], 'totals': [6235, 0], 'balanced': False, 'abnormal': ['1500', '7200']}], ['control 4', [['1500', 'equity', 100, 250], ['1010', 'liability', 0, 0], ['4000', 'liability', 5000, 900], ['99', 'asset', 100, 100]], {'rows': [['1500', 0, 150], ['4000', 4100, 0]], 'totals': [4100, 150], 'balanced': False, 'abnormal': ['4000']}], ['control 5', [['4000', 'equity', 0, 1], ['30', 'asset', 1234, 1234], ['101', 'expense', 250, 5000], ['7200', 'revenue', 100, 99]], {'rows': [['101', 0, 4750], ['4000', 0, 1], ['7200', 1, 0]], 'totals': [1, 4751], 'balanced': False, 'abnormal': ['101', '7200']}], ['control 6', [['150', 'expense', 100, 0], ['101', 'liability', 250, 250], ['99', 'liability', 100, 100], ['205', 'equity', 100, 100], ['510', 'expense', 100, 0], ['7200', 'asset', 5000, 5000]], {'rows': [['150', 100, 0], ['510', 100, 0]], 'totals': [200, 0], 'balanced': False, 'abnormal': []}]]]\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-trial-balance-numeric-code-ordering","generated_at":"2026-09-29T14:46:21.444483+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":"Rows are sorted as strings rather than as numeric account codes.","sha256":"3bf0078ddc4683f731466cb07e18ac2474b3cc28763d0f98efd439e87403c5f6","title":"Trial balance columns: numeric code ordering · 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":45.483,"exit_code":1,"observations":[{"actual":{"abnormal":["1500","7200"],"balanced":false,"rows":[["101",900,0],["150",1,0],["1500",0,1],["2100",0,1],["510",0,250],["7200",0,3766]],"totals":[901,4018]},"check":"regression: numeric code ordering","expected":{"abnormal":["1500","7200"],"balanced":false,"rows":[["101",900,0],["150",1,0],["510",0,250],["1500",0,1],["2100",0,1],["7200",0,3766]],"totals":[901,4018]},"passed":false},{"actual":{"abnormal":[],"balanced":false,"rows":[["1500",0,1],["4000",250,0],["7200",5000,0]],"totals":[5250,1]},"check":"control 1","expected":{"abnormal":[],"balanced":false,"rows":[["1500",0,1],["4000",250,0],["7200",5000,0]],"totals":[5250,1]},"passed":true},{"actual":{"abnormal":[],"balanced":false,"rows":[["101",1,0],["7200",650,0]],"totals":[651,0]},"check":"control 2","expected":{"abnormal":[],"balanced":false,"rows":[["101",1,0],["7200",650,0]],"totals":[651,0]},"passed":true},{"actual":{"abnormal":[],"balanced":true,"rows":[],"totals":[0,0]},"check":"control 3","expected":{"abnormal":[],"balanced":true,"rows":[],"totals":[0,0]},"passed":true},{"actual":{"abnormal":["150"],"balanced":false,"rows":[["101",900,0],["150",0,250],["4000",1234,0]],"totals":[2134,250]},"check":"control 4","expected":{"abnormal":["150"],"balanced":false,"rows":[["101",900,0],["150",0,250],["4000",1234,0]],"totals":[2134,250]},"passed":true},{"actual":{"abnormal":["150"],"balanced":false,"rows":[["150",1234,0],["2100",0,5000]],"totals":[1234,5000]},"check":"control 5","expected":{"abnormal":["150"],"balanced":false,"rows":[["150",1234,0],["2100",0,5000]],"totals":[1234,5000]},"passed":true},{"actual":{"abnormal":["1010","1500"],"balanced":false,"rows":[["1010",0,100],["1500",0,984]],"totals":[0,1084]},"check":"control 6","expected":{"abnormal":["1010","1500"],"balanced":false,"rows":[["1010",0,100],["1500",0,984]],"totals":[0,1084]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: numeric code ordering\", \"actual\": {\"rows\": [[\"101\", 900, 0], [\"150\", 1, 0], [\"1500\", 0, 1], [\"2100\", 0, 1], [\"510\", 0, 250], [\"7200\", 0, 3766]], \"totals\": [901, 4018], \"balanced\": false, \"abnormal\": [\"1500\", \"7200\"]}, \"expected\": {\"rows\": [[\"101\", 900, 0], [\"150\", 1, 0], [\"510\", 0, 250], [\"1500\", 0, 1], [\"2100\", 0, 1], [\"7200\", 0, 3766]], \"totals\": [901, 4018], \"balanced\": false, \"abnormal\": [\"1500\", \"7200\"]}, \"passed\": false}, {\"check\": \"control 1\", \"actual\": {\"rows\": [[\"1500\", 0, 1], [\"4000\", 250, 0], [\"7200\", 5000, 0]], \"totals\": [5250, 1], \"balanced\": false, \"abnormal\": []}, \"expected\": {\"rows\": [[\"1500\", 0, 1], [\"4000\", 250, 0], [\"7200\", 5000, 0]], \"totals\": [5250, 1], \"balanced\": false, \"abnormal\": []}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"rows\": [[\"101\", 1, 0], [\"7200\", 650, 0]], \"totals\": [651, 0], \"balanced\": false, \"abnormal\": []}, \"expected\": {\"rows\": [[\"101\", 1, 0], [\"7200\", 650, 0]], \"totals\": [651, 0], \"balanced\": false, \"abnormal\": []}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"rows\": [], \"totals\": [0, 0], \"balanced\": true, \"abnormal\": []}, \"expected\": {\"rows\": [], \"totals\": [0, 0], \"balanced\": true, \"abnormal\": []}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"rows\": [[\"101\", 900, 0], [\"150\", 0, 250], [\"4000\", 1234, 0]], \"totals\": [2134, 250], \"balanced\": false, \"abnormal\": [\"150\"]}, \"expected\": {\"rows\": [[\"101\", 900, 0], [\"150\", 0, 250], [\"4000\", 1234, 0]], \"totals\": [2134, 250], \"balanced\": false, \"abnormal\": [\"150\"]}, \"passed\": true}, {\"check\": \"control 5\", \"actual\": {\"rows\": [[\"150\", 1234, 0], [\"2100\", 0, 5000]], \"totals\": [1234, 5000], \"balanced\": false, \"abnormal\": [\"150\"]}, \"expected\": {\"rows\": [[\"150\", 1234, 0], [\"2100\", 0, 5000]], \"totals\": [1234, 5000], \"balanced\": false, \"abnormal\": [\"150\"]}, \"passed\": true}, {\"check\": \"control 6\", \"actual\": {\"rows\": [[\"1010\", 0, 100], [\"1500\", 0, 984]], \"totals\": [0, 1084], \"balanced\": false, \"abnormal\": [\"1010\", \"1500\"]}, \"expected\": {\"rows\": [[\"1010\", 0, 100], [\"1500\", 0, 984]], \"totals\": [0, 1084], \"balanced\": false, \"abnormal\": [\"1010\", \"1500\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.434,"exit_code":1,"observations":[{"actual":{"abnormal":["1500","7200"],"balanced":false,"rows":[["101",900,0],["150",1,0],["1500",0,1],["2100",0,1],["510",0,250],["7200",0,3766]],"totals":[901,4018]},"check":"regression: numeric code ordering","expected":{"abnormal":["1500","7200"],"balanced":false,"rows":[["101",900,0],["150",1,0],["510",0,250],["1500",0,1],["2100",0,1],["7200",0,3766]],"totals":[901,4018]},"passed":false},{"actual":{"abnormal":[],"balanced":false,"rows":[["1500",0,1],["4000",250,0],["7200",5000,0]],"totals":[5250,1]},"check":"control 1","expected":{"abnormal":[],"balanced":false,"rows":[["1500",0,1],["4000",250,0],["7200",5000,0]],"totals":[5250,1]},"passed":true},{"actual":{"abnormal":[],"balanced":false,"rows":[["101",1,0],["7200",650,0]],"totals":[651,0]},"check":"control 2","expected":{"abnormal":[],"balanced":false,"rows":[["101",1,0],["7200",650,0]],"totals":[651,0]},"passed":true},{"actual":{"abnormal":[],"balanced":true,"rows":[],"totals":[0,0]},"check":"control 3","expected":{"abnormal":[],"balanced":true,"rows":[],"totals":[0,0]},"passed":true},{"actual":{"abnormal":["150"],"balanced":false,"rows":[["101",900,0],["150",0,250],["4000",1234,0]],"totals":[2134,250]},"check":"control 4","expected":{"abnormal":["150"],"balanced":false,"rows":[["101",900,0],["150",0,250],["4000",1234,0]],"totals":[2134,250]},"passed":true},{"actual":{"abnormal":["150"],"balanced":false,"rows":[["150",1234,0],["2100",0,5000]],"totals":[1234,5000]},"check":"control 5","expected":{"abnormal":["150"],"balanced":false,"rows":[["150",1234,0],["2100",0,5000]],"totals":[1234,5000]},"passed":true},{"actual":{"abnormal":["1010","1500"],"balanced":false,"rows":[["1010",0,100],["1500",0,984]],"totals":[0,1084]},"check":"control 6","expected":{"abnormal":["1010","1500"],"balanced":false,"rows":[["1010",0,100],["1500",0,984]],"totals":[0,1084]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: numeric code ordering\", \"actual\": {\"rows\": [[\"101\", 900, 0], [\"150\", 1, 0], [\"1500\", 0, 1], [\"2100\", 0, 1], [\"510\", 0, 250], [\"7200\", 0, 3766]], \"totals\": [901, 4018], \"balanced\": false, \"abnormal\": [\"1500\", \"7200\"]}, \"expected\": {\"rows\": [[\"101\", 900, 0], [\"150\", 1, 0], [\"510\", 0, 250], [\"1500\", 0, 1], [\"2100\", 0, 1], [\"7200\", 0, 3766]], \"totals\": [901, 4018], \"balanced\": false, \"abnormal\": [\"1500\", \"7200\"]}, \"passed\": false}, {\"check\": \"control 1\", \"actual\": {\"rows\": [[\"1500\", 0, 1], [\"4000\", 250, 0], [\"7200\", 5000, 0]], \"totals\": [5250, 1], \"balanced\": false, \"abnormal\": []}, \"expected\": {\"rows\": [[\"1500\", 0, 1], [\"4000\", 250, 0], [\"7200\", 5000, 0]], \"totals\": [5250, 1], \"balanced\": false, \"abnormal\": []}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"rows\": [[\"101\", 1, 0], [\"7200\", 650, 0]], \"totals\": [651, 0], \"balanced\": false, \"abnormal\": []}, \"expected\": {\"rows\": [[\"101\", 1, 0], [\"7200\", 650, 0]], \"totals\": [651, 0], \"balanced\": false, \"abnormal\": []}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"rows\": [], \"totals\": [0, 0], \"balanced\": true, \"abnormal\": []}, \"expected\": {\"rows\": [], \"totals\": [0, 0], \"balanced\": true, \"abnormal\": []}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"rows\": [[\"101\", 900, 0], [\"150\", 0, 250], [\"4000\", 1234, 0]], \"totals\": [2134, 250], \"balanced\": false, \"abnormal\": [\"150\"]}, \"expected\": {\"rows\": [[\"101\", 900, 0], [\"150\", 0, 250], [\"4000\", 1234, 0]], \"totals\": [2134, 250], \"balanced\": false, \"abnormal\": [\"150\"]}, \"passed\": true}, {\"check\": \"control 5\", \"actual\": {\"rows\": [[\"150\", 1234, 0], [\"2100\", 0, 5000]], \"totals\": [1234, 5000], \"balanced\": false, \"abnormal\": [\"150\"]}, \"expected\": {\"rows\": [[\"150\", 1234, 0], [\"2100\", 0, 5000]], \"totals\": [1234, 5000], \"balanced\": false, \"abnormal\": [\"150\"]}, \"passed\": true}, {\"check\": \"control 6\", \"actual\": {\"rows\": [[\"1010\", 0, 100], [\"1500\", 0, 984]], \"totals\": [0, 1084], \"balanced\": false, \"abnormal\": [\"1010\", \"1500\"]}, \"expected\": {\"rows\": [[\"1010\", 0, 100], [\"1500\", 0, 984]], \"totals\": [0, 1084], \"balanced\": false, \"abnormal\": [\"1010\", \"1500\"]}, \"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."}}