FA-57936 / Double-entry ledger accounting / Open access
Period closing entries: nonzero closing filter · case 01
Zero-balance temporary accounts receive pointless closing entries.
ROOT CAUSE
The closing list does not skip accounts whose balance is already zero.
VERIFIED REPAIR
Close only temporary accounts with a nonzero balance.
Unsuccessful approach: Requiring a positive balance skips temporary accounts carrying an abnormal negative balance.
Case contract
x = {'accounts': {name: [type, normal-signed balance]}, 'retained': opening retained earnings, 'aoci': opening accumulated OCI}. Temporary types are revenue, contra_revenue, expense, gain, loss, dividend and oci. Income summary = revenue - contra_revenue + gain - expense - loss and is net income. Retained earnings close = opening + net income - dividends. OCI closes to AOCI, never to income or retained earnings. 'closed' lists temporary accounts with a nonzero balance (including abnormal negative ones), sorted. Return {'net_income', 'retained', 'aoci', 'closed'}.
Why this case matters
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.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
acc = x['accounts']
def total(kind):
return sum(b for k, b in acc.values() if k == kind)
rev = total('revenue')
contra = total('contra_revenue')
exp = total('expense')
gain = total('gain')
loss = total('loss')
div = total('dividend')
oci = total('oci')
income_summary = rev - contra + gain - exp - loss
retained = x['retained'] + income_summary - div
aoci = x['aoci'] + oci
temporary = ('revenue', 'contra_revenue', 'expense', 'gain', 'loss', 'dividend', 'oci')
closed = sorted(n for n, (k, b) in acc.items() if k in temporary)
return {'net_income': income_summary, 'retained': retained, 'aoci': aoci, 'closed': closed}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: nonzero closing filter', {'accounts': {'reve_0': ['revenue', 1200], 'cont_1': ['contra_revenue', 3000], 'loss_2': ['loss', 3000], 'liab_3': ['liability', 400], 'loss_4': ['loss', -200], 'expe_5': ['expense', 0], 'divi_6': ['dividend', 3000], 'reve_7': ['revenue', 400], 'loss_8': ['loss', -200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -4000, 'retained': -6000, 'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7']}], ['control 1', {'accounts': {'oci_0': ['oci', 150], 'oci_1': ['oci', 400], 'expe_2': ['expense', 7500], 'loss_3': ['loss', 3000]}, 'retained': 1000, 'aoci': -100}, {'net_income': -10500, 'retained': -9500, 'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1']}], ['control 2', {'accounts': {'reve_0': ['revenue', 3000], 'oci_1': ['oci', 1200], 'divi_2': ['dividend', 400], 'expe_3': ['expense', 150]}, 'retained': 0, 'aoci': -100}, {'net_income': 2850, 'retained': 2450, 'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0']}], ['control 3', {'accounts': {'asse_0': ['asset', 400], 'gain_1': ['gain', 150], 'reve_2': ['revenue', 7500], 'gain_3': ['gain', 7500], 'asse_4': ['asset', 3000], 'reve_5': ['revenue', 3000], 'expe_6': ['expense', 400], 'reve_7': ['revenue', 400], 'reve_8': ['revenue', 3000]}, 'retained': 25000, 'aoci': 300}, {'net_income': 21150, 'retained': 46150, 'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8']}], ['control 4', {'accounts': {'cont_0': ['contra_revenue', 150], 'divi_1': ['dividend', 150], 'divi_2': ['dividend', -200], 'asse_3': ['asset', 3000]}, 'retained': 1000, 'aoci': -100}, {'net_income': -150, 'retained': 900, 'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2']}], ['control 5', {'accounts': {'divi_0': ['dividend', 7500], 'expe_1': ['expense', 150], 'divi_2': ['dividend', 7500], 'asse_3': ['asset', -200], 'loss_4': ['loss', 400], 'gain_5': ['gain', 3000]}, 'retained': -500, 'aoci': 0}, {'net_income': 2450, 'retained': -13050, 'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4']}], ['control 6', {'accounts': {'cont_0': ['contra_revenue', 400], 'liab_1': ['liability', 3000], 'loss_2': ['loss', 400], 'cont_3': ['contra_revenue', 150], 'gain_4': ['gain', -200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -1150, 'retained': -150, 'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2']}]], [['regression: nonzero closing filter', {'accounts': {'asse_0': ['asset', 7500], 'expe_1': ['expense', 7500], 'gain_2': ['gain', 400], 'loss_3': ['loss', 0], 'liab_4': ['liability', 400], 'oci_5': ['oci', -200], 'cont_6': ['contra_revenue', 150], 'oci_7': ['oci', -200]}, 'retained': 25000, 'aoci': 300}, {'net_income': -7250, 'retained': 17750, 'aoci': -100, 'closed': ['cont_6', 'expe_1', 'gain_2', 'oci_5', 'oci_7']}], ['control 1', {'accounts': {'reve_0': ['revenue', 1200], 'expe_1': ['expense', 7500], 'asse_2': ['asset', -200], 'cont_3': ['contra_revenue', 7500], 'cont_4': ['contra_revenue', 7500], 'divi_5': ['dividend', 7500], 'divi_6': ['dividend', 3000], 'cont_7': ['contra_revenue', 7500]}, 'retained': 0, 'aoci': -100}, {'net_income': -28800, 'retained': -39300, 'aoci': -100, 'closed': ['cont_3', 'cont_4', 'cont_7', 'divi_5', 'divi_6', 'expe_1', 'reve_0']}], ['control 2', {'accounts': {'oci_0': ['oci', 150], 'gain_1': ['gain', 7500], 'loss_2': ['loss', 400], 'divi_3': ['dividend', 7500], 'cont_4': ['contra_revenue', 150], 'liab_5': ['liability', 7500], 'asse_6': ['asset', 150]}, 'retained': 1000, 'aoci': 0}, {'net_income': 6950, 'retained': 450, 'aoci': 150, 'closed': ['cont_4', 'divi_3', 'gain_1', 'loss_2', 'oci_0']}], ['control 3', {'accounts': {'gain_0': ['gain', -200], 'reve_1': ['revenue', 1200], 'loss_2': ['loss', 7500], 'asse_3': ['asset', 0], 'divi_4': ['dividend', 150], 'liab_5': ['liability', 0], 'liab_6': ['liability', 3000], 'reve_7': ['revenue', 150]}, 'retained': 0, 'aoci': 0}, {'net_income': -6350, 'retained': -6500, 'aoci': 0, 'closed': ['divi_4', 'gain_0', 'loss_2', 'reve_1', 'reve_7']}], ['control 4', {'accounts': {'loss_0': ['loss', 1200], 'cont_1': ['contra_revenue', 3000], 'reve_2': ['revenue', 1200], 'expe_3': ['expense', 7500], 'reve_4': ['revenue', 400], 'liab_5': ['liability', 400]}, 'retained': -500, 'aoci': 300}, {'net_income': -10100, 'retained': -10600, 'aoci': 300, 'closed': ['cont_1', 'expe_3', 'loss_0', 'reve_2', 'reve_4']}], ['control 5', {'accounts': {'reve_0': ['revenue', 1200], 'liab_1': ['liability', 150], 'gain_2': ['gain', 3000], 'expe_3': ['expense', 400], 'cont_4': ['contra_revenue', 1200], 'asse_5': ['asset', 3000]}, 'retained': 1000, 'aoci': 0}, {'net_income': 2600, 'retained': 3600, 'aoci': 0, 'closed': ['cont_4', 'expe_3', 'gain_2', 'reve_0']}], ['control 6', {'accounts': {'oci_0': ['oci', 7500], 'loss_1': ['loss', -200], 'asse_2': ['asset', 0], 'loss_3': ['loss', 150], 'loss_4': ['loss', 7500], 'cont_5': ['contra_revenue', 400], 'reve_6': ['revenue', 400], 'gain_7': ['gain', 150], 'cont_8': ['contra_revenue', 7500]}, 'retained': 25000, 'aoci': -100}, {'net_income': -14800, 'retained': 10200, 'aoci': 7400, 'closed': ['cont_5', 'cont_8', 'gain_7', 'loss_1', 'loss_3', 'loss_4', 'oci_0', 'reve_6']}]], [['regression: nonzero closing filter', {'accounts': {'reve_0': ['revenue', 400], 'gain_1': ['gain', 0], 'liab_2': ['liability', 400], 'gain_3': ['gain', -200], 'asse_4': ['asset', 0], 'divi_5': ['dividend', 400]}, 'retained': 0, 'aoci': 300}, {'net_income': 200, 'retained': -200, 'aoci': 300, 'closed': ['divi_5', 'gain_3', 'reve_0']}], ['control 1', {'accounts': {'cont_0': ['contra_revenue', -200], 'expe_1': ['expense', -200], 'liab_2': ['liability', 0], 'asse_3': ['asset', 3000], 'gain_4': ['gain', 1200], 'gain_5': ['gain', 150], 'liab_6': ['liability', 1200], 'gain_7': ['gain', 400], 'liab_8': ['liability', 0]}, 'retained': 25000, 'aoci': -100}, {'net_income': 2150, 'retained': 27150, 'aoci': -100, 'closed': ['cont_0', 'expe_1', 'gain_4', 'gain_5', 'gain_7']}], ['control 2', {'accounts': {'liab_0': ['liability', 1200], 'cont_1': ['contra_revenue', 400], 'expe_2': ['expense', 1200], 'loss_3': ['loss', 400], 'liab_4': ['liability', 1200], 'expe_5': ['expense', 400], 'asse_6': ['asset', 3000], 'oci_7': ['oci', 3000]}, 'retained': 0, 'aoci': 0}, {'net_income': -2400, 'retained': -2400, 'aoci': 3000, 'closed': ['cont_1', 'expe_2', 'expe_5', 'loss_3', 'oci_7']}], ['control 3', {'accounts': {'reve_0': ['revenue', 3000], 'liab_1': ['liability', -200], 'asse_2': ['asset', 7500], 'asse_3': ['asset', 0]}, 'retained': -500, 'aoci': -100}, {'net_income': 3000, 'retained': 2500, 'aoci': -100, 'closed': ['reve_0']}], ['control 4', {'accounts': {'expe_0': ['expense', -200], 'cont_1': ['contra_revenue', 1200], 'cont_2': ['contra_revenue', 1200], 'liab_3': ['liability', -200], 'cont_4': ['contra_revenue', 1200], 'oci_5': ['oci', 400], 'reve_6': ['revenue', -200], 'liab_7': ['liability', -200], 'loss_8': ['loss', 1200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -4800, 'retained': -3800, 'aoci': 400, 'closed': ['cont_1', 'cont_2', 'cont_4', 'expe_0', 'loss_8', 'oci_5', 'reve_6']}], ['control 5', {'accounts': {'oci_0': ['oci', 7500], 'liab_1': ['liability', 7500], 'liab_2': ['liability', 0], 'asse_3': ['asset', 7500], 'liab_4': ['liability', 7500], 'gain_5': ['gain', 1200], 'divi_6': ['dividend', 7500], 'reve_7': ['revenue', 150], 'oci_8': ['oci', 7500]}, 'retained': 0, 'aoci': 0}, {'net_income': 1350, 'retained': -6150, 'aoci': 15000, 'closed': ['divi_6', 'gain_5', 'oci_0', 'oci_8', 'reve_7']}], ['control 6', {'accounts': {'cont_0': ['contra_revenue', 7500], 'reve_1': ['revenue', 1200], 'divi_2': ['dividend', 150], 'expe_3': ['expense', 150], 'oci_4': ['oci', 1200]}, 'retained': 25000, 'aoci': 0}, {'net_income': -6450, 'retained': 18400, 'aoci': 1200, 'closed': ['cont_0', 'divi_2', 'expe_3', 'oci_4', 'reve_1']}]], [['regression: nonzero closing filter', {'accounts': {'liab_0': ['liability', 0], 'expe_1': ['expense', 150], 'gain_2': ['gain', 0], 'liab_3': ['liability', 1200], 'gain_4': ['gain', -200], 'divi_5': ['dividend', 7500], 'divi_6': ['dividend', 1200], 'oci_7': ['oci', -200], 'asse_8': ['asset', -200]}, 'retained': 0, 'aoci': 300}, {'net_income': -350, 'retained': -9050, 'aoci': 100, 'closed': ['divi_5', 'divi_6', 'expe_1', 'gain_4', 'oci_7']}], ['control 1', {'accounts': {'oci_0': ['oci', 1200], 'liab_1': ['liability', 3000], 'expe_2': ['expense', 1200], 'loss_3': ['loss', 3000], 'liab_4': ['liability', 1200], 'loss_5': ['loss', 150], 'asse_6': ['asset', -200]}, 'retained': -500, 'aoci': 300}, {'net_income': -4350, 'retained': -4850, 'aoci': 1500, 'closed': ['expe_2', 'loss_3', 'loss_5', 'oci_0']}], ['control 2', {'accounts': {'oci_0': ['oci', 400], 'liab_1': ['liability', 1200], 'asse_2': ['asset', 7500], 'expe_3': ['expense', 3000], 'asse_4': ['asset', 400], 'liab_5': ['liability', 3000], 'liab_6': ['liability', 7500]}, 'retained': -500, 'aoci': -100}, {'net_income': -3000, 'retained': -3500, 'aoci': 300, 'closed': ['expe_3', 'oci_0']}], ['control 3', {'accounts': {'divi_0': ['dividend', 150], 'divi_1': ['dividend', -200], 'asse_2': ['asset', 150], 'cont_3': ['contra_revenue', 400], 'gain_4': ['gain', 150]}, 'retained': 0, 'aoci': 300}, {'net_income': -250, 'retained': -200, 'aoci': 300, 'closed': ['cont_3', 'divi_0', 'divi_1', 'gain_4']}], ['control 4', {'accounts': {'reve_0': ['revenue', 150], 'asse_1': ['asset', 7500], 'oci_2': ['oci', 1200], 'reve_3': ['revenue', 400], 'divi_4': ['dividend', 150], 'gain_5': ['gain', 1200], 'liab_6': ['liability', -200], 'asse_7': ['asset', 150], 'divi_8': ['dividend', 7500]}, 'retained': 1000, 'aoci': 300}, {'net_income': 1750, 'retained': -4900, 'aoci': 1500, 'closed': ['divi_4', 'divi_8', 'gain_5', 'oci_2', 'reve_0', 'reve_3']}], ['control 5', {'accounts': {'divi_0': ['dividend', -200], 'loss_1': ['loss', 1200], 'loss_2': ['loss', -200], 'cont_3': ['contra_revenue', 3000], 'cont_4': ['contra_revenue', 7500], 'expe_5': ['expense', 3000], 'divi_6': ['dividend', 1200]}, 'retained': 0, 'aoci': 0}, {'net_income': -14500, 'retained': -15500, 'aoci': 0, 'closed': ['cont_3', 'cont_4', 'divi_0', 'divi_6', 'expe_5', 'loss_1', 'loss_2']}], ['control 6', {'accounts': {'asse_0': ['asset', 7500], 'divi_1': ['dividend', 400], 'liab_2': ['liability', 400], 'reve_3': ['revenue', 3000], 'gain_4': ['gain', 400], 'expe_5': ['expense', 3000], 'loss_6': ['loss', 3000]}, 'retained': 1000, 'aoci': 300}, {'net_income': -2600, 'retained': -2000, 'aoci': 300, 'closed': ['divi_1', 'expe_5', 'gain_4', 'loss_6', 'reve_3']}]], [['regression: nonzero closing filter', {'accounts': {'oci_0': ['oci', 0], 'gain_1': ['gain', 0], 'oci_2': ['oci', 3000], 'expe_3': ['expense', 150], 'loss_4': ['loss', 150], 'divi_5': ['dividend', 150], 'cont_6': ['contra_revenue', 1200], 'expe_7': ['expense', 7500]}, 'retained': -500, 'aoci': 300}, {'net_income': -9000, 'retained': -9650, 'aoci': 3300, 'closed': ['cont_6', 'divi_5', 'expe_3', 'expe_7', 'loss_4', 'oci_2']}], ['regression: nonzero closing filter, partial-repair probe', {'accounts': {'gain_0': ['gain', 400], 'reve_1': ['revenue', 1200], 'reve_2': ['revenue', 400], 'expe_3': ['expense', 3000], 'oci_4': ['oci', -200], 'reve_5': ['revenue', -200], 'gain_6': ['gain', 3000], 'reve_7': ['revenue', -200]}, 'retained': 0, 'aoci': 300}, {'net_income': 1600, 'retained': 1600, 'aoci': 100, 'closed': ['expe_3', 'gain_0', 'gain_6', 'oci_4', 'reve_1', 'reve_2', 'reve_5', 'reve_7']}], ['control 1', {'accounts': {'liab_0': ['liability', 3000], 'gain_1': ['gain', -200], 'reve_2': ['revenue', -200], 'oci_3': ['oci', 150], 'oci_4': ['oci', 3000], 'oci_5': ['oci', 3000], 'cont_6': ['contra_revenue', 3000]}, 'retained': 1000, 'aoci': 300}, {'net_income': -3400, 'retained': -2400, 'aoci': 6450, 'closed': ['cont_6', 'gain_1', 'oci_3', 'oci_4', 'oci_5', 'reve_2']}], ['control 2', {'accounts': {'cont_0': ['contra_revenue', 3000], 'reve_1': ['revenue', 7500], 'asse_2': ['asset', 0], 'oci_3': ['oci', 150], 'liab_4': ['liability', 0], 'reve_5': ['revenue', 400], 'divi_6': ['dividend', 1200], 'reve_7': ['revenue', 1200]}, 'retained': 25000, 'aoci': 0}, {'net_income': 6100, 'retained': 29900, 'aoci': 150, 'closed': ['cont_0', 'divi_6', 'oci_3', 'reve_1', 'reve_5', 'reve_7']}], ['control 3', {'accounts': {'asse_0': ['asset', 0], 'expe_1': ['expense', 1200], 'loss_2': ['loss', -200], 'divi_3': ['dividend', 1200], 'liab_4': ['liability', 0], 'asse_5': ['asset', 150], 'expe_6': ['expense', 400], 'asse_7': ['asset', 150]}, 'retained': 1000, 'aoci': -100}, {'net_income': -1400, 'retained': -1600, 'aoci': -100, 'closed': ['divi_3', 'expe_1', 'expe_6', 'loss_2']}], ['control 4', {'accounts': {'gain_0': ['gain', 3000], 'expe_1': ['expense', -200], 'asse_2': ['asset', 0], 'expe_3': ['expense', 150], 'asse_4': ['asset', 7500], 'gain_5': ['gain', 400], 'divi_6': ['dividend', 150], 'expe_7': ['expense', 3000], 'reve_8': ['revenue', 150]}, 'retained': -500, 'aoci': 0}, {'net_income': 600, 'retained': -50, 'aoci': 0, 'closed': ['divi_6', 'expe_1', 'expe_3', 'expe_7', 'gain_0', 'gain_5', 'reve_8']}], ['control 5', {'accounts': {'asse_0': ['asset', -200], 'expe_1': ['expense', 1200], 'liab_2': ['liability', 150], 'divi_3': ['dividend', 7500], 'asse_4': ['asset', -200], 'reve_5': ['revenue', 3000], 'divi_6': ['dividend', 400], 'reve_7': ['revenue', 1200]}, 'retained': -500, 'aoci': 0}, {'net_income': 3000, 'retained': -5400, 'aoci': 0, 'closed': ['divi_3', 'divi_6', 'expe_1', 'reve_5', 'reve_7']}]]]
for label, args, expected in fixtures[N-1]:
try:
actual = solve(args)
except Exception as exc:
actual = 'raised ' + type(exc).__name__
check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: nonzero closing filter | {'aoci': 0, 'closed': ['cont_1', 'divi_6', 'expe_5', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7'], 'net_income': -4000, 'retained': -6000} | {'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7'], 'net_income': -4000, 'retained': -6000} | Failed |
| control 1 | {'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1'], 'net_income': -10500, 'retained': -9500} | {'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1'], 'net_income': -10500, 'retained': -9500} | Passed |
| control 2 | {'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0'], 'net_income': 2850, 'retained': 2450} | {'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0'], 'net_income': 2850, 'retained': 2450} | Passed |
| control 3 | {'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8'], 'net_income': 21150, 'retained': 46150} | {'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8'], 'net_income': 21150, 'retained': 46150} | Passed |
| control 4 | {'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2'], 'net_income': -150, 'retained': 900} | {'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2'], 'net_income': -150, 'retained': 900} | Passed |
| control 5 | {'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4'], 'net_income': 2450, 'retained': -13050} | {'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4'], 'net_income': 2450, 'retained': -13050} | Passed |
| control 6 | {'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2'], 'net_income': -1150, 'retained': -150} | {'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2'], 'net_income': -1150, 'retained': -150} | Passed |
SHA-256 / 252bdb7201fb061bfd3f263c39965fd65eeb11757d6ef4de31d695601df4f60f
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
acc = x['accounts']
def total(kind):
return sum(b for k, b in acc.values() if k == kind)
rev = total('revenue')
contra = total('contra_revenue')
exp = total('expense')
gain = total('gain')
loss = total('loss')
div = total('dividend')
oci = total('oci')
income_summary = rev - contra + gain - exp - loss
retained = x['retained'] + income_summary - div
aoci = x['aoci'] + oci
temporary = ('revenue', 'contra_revenue', 'expense', 'gain', 'loss', 'dividend', 'oci')
closed = sorted(n for n, (k, b) in acc.items() if k in temporary and b > 0)
return {'net_income': income_summary, 'retained': retained, 'aoci': aoci, 'closed': closed}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: nonzero closing filter', {'accounts': {'reve_0': ['revenue', 1200], 'cont_1': ['contra_revenue', 3000], 'loss_2': ['loss', 3000], 'liab_3': ['liability', 400], 'loss_4': ['loss', -200], 'expe_5': ['expense', 0], 'divi_6': ['dividend', 3000], 'reve_7': ['revenue', 400], 'loss_8': ['loss', -200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -4000, 'retained': -6000, 'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7']}], ['control 1', {'accounts': {'oci_0': ['oci', 150], 'oci_1': ['oci', 400], 'expe_2': ['expense', 7500], 'loss_3': ['loss', 3000]}, 'retained': 1000, 'aoci': -100}, {'net_income': -10500, 'retained': -9500, 'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1']}], ['control 2', {'accounts': {'reve_0': ['revenue', 3000], 'oci_1': ['oci', 1200], 'divi_2': ['dividend', 400], 'expe_3': ['expense', 150]}, 'retained': 0, 'aoci': -100}, {'net_income': 2850, 'retained': 2450, 'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0']}], ['control 3', {'accounts': {'asse_0': ['asset', 400], 'gain_1': ['gain', 150], 'reve_2': ['revenue', 7500], 'gain_3': ['gain', 7500], 'asse_4': ['asset', 3000], 'reve_5': ['revenue', 3000], 'expe_6': ['expense', 400], 'reve_7': ['revenue', 400], 'reve_8': ['revenue', 3000]}, 'retained': 25000, 'aoci': 300}, {'net_income': 21150, 'retained': 46150, 'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8']}], ['control 4', {'accounts': {'cont_0': ['contra_revenue', 150], 'divi_1': ['dividend', 150], 'divi_2': ['dividend', -200], 'asse_3': ['asset', 3000]}, 'retained': 1000, 'aoci': -100}, {'net_income': -150, 'retained': 900, 'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2']}], ['control 5', {'accounts': {'divi_0': ['dividend', 7500], 'expe_1': ['expense', 150], 'divi_2': ['dividend', 7500], 'asse_3': ['asset', -200], 'loss_4': ['loss', 400], 'gain_5': ['gain', 3000]}, 'retained': -500, 'aoci': 0}, {'net_income': 2450, 'retained': -13050, 'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4']}], ['control 6', {'accounts': {'cont_0': ['contra_revenue', 400], 'liab_1': ['liability', 3000], 'loss_2': ['loss', 400], 'cont_3': ['contra_revenue', 150], 'gain_4': ['gain', -200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -1150, 'retained': -150, 'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2']}]], [['regression: nonzero closing filter', {'accounts': {'asse_0': ['asset', 7500], 'expe_1': ['expense', 7500], 'gain_2': ['gain', 400], 'loss_3': ['loss', 0], 'liab_4': ['liability', 400], 'oci_5': ['oci', -200], 'cont_6': ['contra_revenue', 150], 'oci_7': ['oci', -200]}, 'retained': 25000, 'aoci': 300}, {'net_income': -7250, 'retained': 17750, 'aoci': -100, 'closed': ['cont_6', 'expe_1', 'gain_2', 'oci_5', 'oci_7']}], ['control 1', {'accounts': {'reve_0': ['revenue', 1200], 'expe_1': ['expense', 7500], 'asse_2': ['asset', -200], 'cont_3': ['contra_revenue', 7500], 'cont_4': ['contra_revenue', 7500], 'divi_5': ['dividend', 7500], 'divi_6': ['dividend', 3000], 'cont_7': ['contra_revenue', 7500]}, 'retained': 0, 'aoci': -100}, {'net_income': -28800, 'retained': -39300, 'aoci': -100, 'closed': ['cont_3', 'cont_4', 'cont_7', 'divi_5', 'divi_6', 'expe_1', 'reve_0']}], ['control 2', {'accounts': {'oci_0': ['oci', 150], 'gain_1': ['gain', 7500], 'loss_2': ['loss', 400], 'divi_3': ['dividend', 7500], 'cont_4': ['contra_revenue', 150], 'liab_5': ['liability', 7500], 'asse_6': ['asset', 150]}, 'retained': 1000, 'aoci': 0}, {'net_income': 6950, 'retained': 450, 'aoci': 150, 'closed': ['cont_4', 'divi_3', 'gain_1', 'loss_2', 'oci_0']}], ['control 3', {'accounts': {'gain_0': ['gain', -200], 'reve_1': ['revenue', 1200], 'loss_2': ['loss', 7500], 'asse_3': ['asset', 0], 'divi_4': ['dividend', 150], 'liab_5': ['liability', 0], 'liab_6': ['liability', 3000], 'reve_7': ['revenue', 150]}, 'retained': 0, 'aoci': 0}, {'net_income': -6350, 'retained': -6500, 'aoci': 0, 'closed': ['divi_4', 'gain_0', 'loss_2', 'reve_1', 'reve_7']}], ['control 4', {'accounts': {'loss_0': ['loss', 1200], 'cont_1': ['contra_revenue', 3000], 'reve_2': ['revenue', 1200], 'expe_3': ['expense', 7500], 'reve_4': ['revenue', 400], 'liab_5': ['liability', 400]}, 'retained': -500, 'aoci': 300}, {'net_income': -10100, 'retained': -10600, 'aoci': 300, 'closed': ['cont_1', 'expe_3', 'loss_0', 'reve_2', 'reve_4']}], ['control 5', {'accounts': {'reve_0': ['revenue', 1200], 'liab_1': ['liability', 150], 'gain_2': ['gain', 3000], 'expe_3': ['expense', 400], 'cont_4': ['contra_revenue', 1200], 'asse_5': ['asset', 3000]}, 'retained': 1000, 'aoci': 0}, {'net_income': 2600, 'retained': 3600, 'aoci': 0, 'closed': ['cont_4', 'expe_3', 'gain_2', 'reve_0']}], ['control 6', {'accounts': {'oci_0': ['oci', 7500], 'loss_1': ['loss', -200], 'asse_2': ['asset', 0], 'loss_3': ['loss', 150], 'loss_4': ['loss', 7500], 'cont_5': ['contra_revenue', 400], 'reve_6': ['revenue', 400], 'gain_7': ['gain', 150], 'cont_8': ['contra_revenue', 7500]}, 'retained': 25000, 'aoci': -100}, {'net_income': -14800, 'retained': 10200, 'aoci': 7400, 'closed': ['cont_5', 'cont_8', 'gain_7', 'loss_1', 'loss_3', 'loss_4', 'oci_0', 'reve_6']}]], [['regression: nonzero closing filter', {'accounts': {'reve_0': ['revenue', 400], 'gain_1': ['gain', 0], 'liab_2': ['liability', 400], 'gain_3': ['gain', -200], 'asse_4': ['asset', 0], 'divi_5': ['dividend', 400]}, 'retained': 0, 'aoci': 300}, {'net_income': 200, 'retained': -200, 'aoci': 300, 'closed': ['divi_5', 'gain_3', 'reve_0']}], ['control 1', {'accounts': {'cont_0': ['contra_revenue', -200], 'expe_1': ['expense', -200], 'liab_2': ['liability', 0], 'asse_3': ['asset', 3000], 'gain_4': ['gain', 1200], 'gain_5': ['gain', 150], 'liab_6': ['liability', 1200], 'gain_7': ['gain', 400], 'liab_8': ['liability', 0]}, 'retained': 25000, 'aoci': -100}, {'net_income': 2150, 'retained': 27150, 'aoci': -100, 'closed': ['cont_0', 'expe_1', 'gain_4', 'gain_5', 'gain_7']}], ['control 2', {'accounts': {'liab_0': ['liability', 1200], 'cont_1': ['contra_revenue', 400], 'expe_2': ['expense', 1200], 'loss_3': ['loss', 400], 'liab_4': ['liability', 1200], 'expe_5': ['expense', 400], 'asse_6': ['asset', 3000], 'oci_7': ['oci', 3000]}, 'retained': 0, 'aoci': 0}, {'net_income': -2400, 'retained': -2400, 'aoci': 3000, 'closed': ['cont_1', 'expe_2', 'expe_5', 'loss_3', 'oci_7']}], ['control 3', {'accounts': {'reve_0': ['revenue', 3000], 'liab_1': ['liability', -200], 'asse_2': ['asset', 7500], 'asse_3': ['asset', 0]}, 'retained': -500, 'aoci': -100}, {'net_income': 3000, 'retained': 2500, 'aoci': -100, 'closed': ['reve_0']}], ['control 4', {'accounts': {'expe_0': ['expense', -200], 'cont_1': ['contra_revenue', 1200], 'cont_2': ['contra_revenue', 1200], 'liab_3': ['liability', -200], 'cont_4': ['contra_revenue', 1200], 'oci_5': ['oci', 400], 'reve_6': ['revenue', -200], 'liab_7': ['liability', -200], 'loss_8': ['loss', 1200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -4800, 'retained': -3800, 'aoci': 400, 'closed': ['cont_1', 'cont_2', 'cont_4', 'expe_0', 'loss_8', 'oci_5', 'reve_6']}], ['control 5', {'accounts': {'oci_0': ['oci', 7500], 'liab_1': ['liability', 7500], 'liab_2': ['liability', 0], 'asse_3': ['asset', 7500], 'liab_4': ['liability', 7500], 'gain_5': ['gain', 1200], 'divi_6': ['dividend', 7500], 'reve_7': ['revenue', 150], 'oci_8': ['oci', 7500]}, 'retained': 0, 'aoci': 0}, {'net_income': 1350, 'retained': -6150, 'aoci': 15000, 'closed': ['divi_6', 'gain_5', 'oci_0', 'oci_8', 'reve_7']}], ['control 6', {'accounts': {'cont_0': ['contra_revenue', 7500], 'reve_1': ['revenue', 1200], 'divi_2': ['dividend', 150], 'expe_3': ['expense', 150], 'oci_4': ['oci', 1200]}, 'retained': 25000, 'aoci': 0}, {'net_income': -6450, 'retained': 18400, 'aoci': 1200, 'closed': ['cont_0', 'divi_2', 'expe_3', 'oci_4', 'reve_1']}]], [['regression: nonzero closing filter', {'accounts': {'liab_0': ['liability', 0], 'expe_1': ['expense', 150], 'gain_2': ['gain', 0], 'liab_3': ['liability', 1200], 'gain_4': ['gain', -200], 'divi_5': ['dividend', 7500], 'divi_6': ['dividend', 1200], 'oci_7': ['oci', -200], 'asse_8': ['asset', -200]}, 'retained': 0, 'aoci': 300}, {'net_income': -350, 'retained': -9050, 'aoci': 100, 'closed': ['divi_5', 'divi_6', 'expe_1', 'gain_4', 'oci_7']}], ['control 1', {'accounts': {'oci_0': ['oci', 1200], 'liab_1': ['liability', 3000], 'expe_2': ['expense', 1200], 'loss_3': ['loss', 3000], 'liab_4': ['liability', 1200], 'loss_5': ['loss', 150], 'asse_6': ['asset', -200]}, 'retained': -500, 'aoci': 300}, {'net_income': -4350, 'retained': -4850, 'aoci': 1500, 'closed': ['expe_2', 'loss_3', 'loss_5', 'oci_0']}], ['control 2', {'accounts': {'oci_0': ['oci', 400], 'liab_1': ['liability', 1200], 'asse_2': ['asset', 7500], 'expe_3': ['expense', 3000], 'asse_4': ['asset', 400], 'liab_5': ['liability', 3000], 'liab_6': ['liability', 7500]}, 'retained': -500, 'aoci': -100}, {'net_income': -3000, 'retained': -3500, 'aoci': 300, 'closed': ['expe_3', 'oci_0']}], ['control 3', {'accounts': {'divi_0': ['dividend', 150], 'divi_1': ['dividend', -200], 'asse_2': ['asset', 150], 'cont_3': ['contra_revenue', 400], 'gain_4': ['gain', 150]}, 'retained': 0, 'aoci': 300}, {'net_income': -250, 'retained': -200, 'aoci': 300, 'closed': ['cont_3', 'divi_0', 'divi_1', 'gain_4']}], ['control 4', {'accounts': {'reve_0': ['revenue', 150], 'asse_1': ['asset', 7500], 'oci_2': ['oci', 1200], 'reve_3': ['revenue', 400], 'divi_4': ['dividend', 150], 'gain_5': ['gain', 1200], 'liab_6': ['liability', -200], 'asse_7': ['asset', 150], 'divi_8': ['dividend', 7500]}, 'retained': 1000, 'aoci': 300}, {'net_income': 1750, 'retained': -4900, 'aoci': 1500, 'closed': ['divi_4', 'divi_8', 'gain_5', 'oci_2', 'reve_0', 'reve_3']}], ['control 5', {'accounts': {'divi_0': ['dividend', -200], 'loss_1': ['loss', 1200], 'loss_2': ['loss', -200], 'cont_3': ['contra_revenue', 3000], 'cont_4': ['contra_revenue', 7500], 'expe_5': ['expense', 3000], 'divi_6': ['dividend', 1200]}, 'retained': 0, 'aoci': 0}, {'net_income': -14500, 'retained': -15500, 'aoci': 0, 'closed': ['cont_3', 'cont_4', 'divi_0', 'divi_6', 'expe_5', 'loss_1', 'loss_2']}], ['control 6', {'accounts': {'asse_0': ['asset', 7500], 'divi_1': ['dividend', 400], 'liab_2': ['liability', 400], 'reve_3': ['revenue', 3000], 'gain_4': ['gain', 400], 'expe_5': ['expense', 3000], 'loss_6': ['loss', 3000]}, 'retained': 1000, 'aoci': 300}, {'net_income': -2600, 'retained': -2000, 'aoci': 300, 'closed': ['divi_1', 'expe_5', 'gain_4', 'loss_6', 'reve_3']}]], [['regression: nonzero closing filter', {'accounts': {'oci_0': ['oci', 0], 'gain_1': ['gain', 0], 'oci_2': ['oci', 3000], 'expe_3': ['expense', 150], 'loss_4': ['loss', 150], 'divi_5': ['dividend', 150], 'cont_6': ['contra_revenue', 1200], 'expe_7': ['expense', 7500]}, 'retained': -500, 'aoci': 300}, {'net_income': -9000, 'retained': -9650, 'aoci': 3300, 'closed': ['cont_6', 'divi_5', 'expe_3', 'expe_7', 'loss_4', 'oci_2']}], ['regression: nonzero closing filter, partial-repair probe', {'accounts': {'gain_0': ['gain', 400], 'reve_1': ['revenue', 1200], 'reve_2': ['revenue', 400], 'expe_3': ['expense', 3000], 'oci_4': ['oci', -200], 'reve_5': ['revenue', -200], 'gain_6': ['gain', 3000], 'reve_7': ['revenue', -200]}, 'retained': 0, 'aoci': 300}, {'net_income': 1600, 'retained': 1600, 'aoci': 100, 'closed': ['expe_3', 'gain_0', 'gain_6', 'oci_4', 'reve_1', 'reve_2', 'reve_5', 'reve_7']}], ['control 1', {'accounts': {'liab_0': ['liability', 3000], 'gain_1': ['gain', -200], 'reve_2': ['revenue', -200], 'oci_3': ['oci', 150], 'oci_4': ['oci', 3000], 'oci_5': ['oci', 3000], 'cont_6': ['contra_revenue', 3000]}, 'retained': 1000, 'aoci': 300}, {'net_income': -3400, 'retained': -2400, 'aoci': 6450, 'closed': ['cont_6', 'gain_1', 'oci_3', 'oci_4', 'oci_5', 'reve_2']}], ['control 2', {'accounts': {'cont_0': ['contra_revenue', 3000], 'reve_1': ['revenue', 7500], 'asse_2': ['asset', 0], 'oci_3': ['oci', 150], 'liab_4': ['liability', 0], 'reve_5': ['revenue', 400], 'divi_6': ['dividend', 1200], 'reve_7': ['revenue', 1200]}, 'retained': 25000, 'aoci': 0}, {'net_income': 6100, 'retained': 29900, 'aoci': 150, 'closed': ['cont_0', 'divi_6', 'oci_3', 'reve_1', 'reve_5', 'reve_7']}], ['control 3', {'accounts': {'asse_0': ['asset', 0], 'expe_1': ['expense', 1200], 'loss_2': ['loss', -200], 'divi_3': ['dividend', 1200], 'liab_4': ['liability', 0], 'asse_5': ['asset', 150], 'expe_6': ['expense', 400], 'asse_7': ['asset', 150]}, 'retained': 1000, 'aoci': -100}, {'net_income': -1400, 'retained': -1600, 'aoci': -100, 'closed': ['divi_3', 'expe_1', 'expe_6', 'loss_2']}], ['control 4', {'accounts': {'gain_0': ['gain', 3000], 'expe_1': ['expense', -200], 'asse_2': ['asset', 0], 'expe_3': ['expense', 150], 'asse_4': ['asset', 7500], 'gain_5': ['gain', 400], 'divi_6': ['dividend', 150], 'expe_7': ['expense', 3000], 'reve_8': ['revenue', 150]}, 'retained': -500, 'aoci': 0}, {'net_income': 600, 'retained': -50, 'aoci': 0, 'closed': ['divi_6', 'expe_1', 'expe_3', 'expe_7', 'gain_0', 'gain_5', 'reve_8']}], ['control 5', {'accounts': {'asse_0': ['asset', -200], 'expe_1': ['expense', 1200], 'liab_2': ['liability', 150], 'divi_3': ['dividend', 7500], 'asse_4': ['asset', -200], 'reve_5': ['revenue', 3000], 'divi_6': ['dividend', 400], 'reve_7': ['revenue', 1200]}, 'retained': -500, 'aoci': 0}, {'net_income': 3000, 'retained': -5400, 'aoci': 0, 'closed': ['divi_3', 'divi_6', 'expe_1', 'reve_5', 'reve_7']}]]]
for label, args, expected in fixtures[N-1]:
try:
actual = solve(args)
except Exception as exc:
actual = 'raised ' + type(exc).__name__
check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: nonzero closing filter | {'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'reve_0', 'reve_7'], 'net_income': -4000, 'retained': -6000} | {'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7'], 'net_income': -4000, 'retained': -6000} | Failed |
| control 1 | {'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1'], 'net_income': -10500, 'retained': -9500} | {'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1'], 'net_income': -10500, 'retained': -9500} | Passed |
| control 2 | {'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0'], 'net_income': 2850, 'retained': 2450} | {'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0'], 'net_income': 2850, 'retained': 2450} | Passed |
| control 3 | {'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8'], 'net_income': 21150, 'retained': 46150} | {'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8'], 'net_income': 21150, 'retained': 46150} | Passed |
| control 4 | {'aoci': -100, 'closed': ['cont_0', 'divi_1'], 'net_income': -150, 'retained': 900} | {'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2'], 'net_income': -150, 'retained': 900} | Failed |
| control 5 | {'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4'], 'net_income': 2450, 'retained': -13050} | {'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4'], 'net_income': 2450, 'retained': -13050} | Passed |
| control 6 | {'aoci': 0, 'closed': ['cont_0', 'cont_3', 'loss_2'], 'net_income': -1150, 'retained': -150} | {'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2'], 'net_income': -1150, 'retained': -150} | Failed |
SHA-256 / 7ad39e2409f9c2fe29ac001af97d191c2037cbc9c47e944bacf87eb7b8013d4e
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
acc = x['accounts']
def total(kind):
return sum(b for k, b in acc.values() if k == kind)
rev = total('revenue')
contra = total('contra_revenue')
exp = total('expense')
gain = total('gain')
loss = total('loss')
div = total('dividend')
oci = total('oci')
income_summary = rev - contra + gain - exp - loss
retained = x['retained'] + income_summary - div
aoci = x['aoci'] + oci
temporary = ('revenue', 'contra_revenue', 'expense', 'gain', 'loss', 'dividend', 'oci')
closed = sorted(n for n, (k, b) in acc.items() if k in temporary and b != 0)
return {'net_income': income_summary, 'retained': retained, 'aoci': aoci, 'closed': closed}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: nonzero closing filter', {'accounts': {'reve_0': ['revenue', 1200], 'cont_1': ['contra_revenue', 3000], 'loss_2': ['loss', 3000], 'liab_3': ['liability', 400], 'loss_4': ['loss', -200], 'expe_5': ['expense', 0], 'divi_6': ['dividend', 3000], 'reve_7': ['revenue', 400], 'loss_8': ['loss', -200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -4000, 'retained': -6000, 'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7']}], ['control 1', {'accounts': {'oci_0': ['oci', 150], 'oci_1': ['oci', 400], 'expe_2': ['expense', 7500], 'loss_3': ['loss', 3000]}, 'retained': 1000, 'aoci': -100}, {'net_income': -10500, 'retained': -9500, 'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1']}], ['control 2', {'accounts': {'reve_0': ['revenue', 3000], 'oci_1': ['oci', 1200], 'divi_2': ['dividend', 400], 'expe_3': ['expense', 150]}, 'retained': 0, 'aoci': -100}, {'net_income': 2850, 'retained': 2450, 'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0']}], ['control 3', {'accounts': {'asse_0': ['asset', 400], 'gain_1': ['gain', 150], 'reve_2': ['revenue', 7500], 'gain_3': ['gain', 7500], 'asse_4': ['asset', 3000], 'reve_5': ['revenue', 3000], 'expe_6': ['expense', 400], 'reve_7': ['revenue', 400], 'reve_8': ['revenue', 3000]}, 'retained': 25000, 'aoci': 300}, {'net_income': 21150, 'retained': 46150, 'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8']}], ['control 4', {'accounts': {'cont_0': ['contra_revenue', 150], 'divi_1': ['dividend', 150], 'divi_2': ['dividend', -200], 'asse_3': ['asset', 3000]}, 'retained': 1000, 'aoci': -100}, {'net_income': -150, 'retained': 900, 'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2']}], ['control 5', {'accounts': {'divi_0': ['dividend', 7500], 'expe_1': ['expense', 150], 'divi_2': ['dividend', 7500], 'asse_3': ['asset', -200], 'loss_4': ['loss', 400], 'gain_5': ['gain', 3000]}, 'retained': -500, 'aoci': 0}, {'net_income': 2450, 'retained': -13050, 'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4']}], ['control 6', {'accounts': {'cont_0': ['contra_revenue', 400], 'liab_1': ['liability', 3000], 'loss_2': ['loss', 400], 'cont_3': ['contra_revenue', 150], 'gain_4': ['gain', -200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -1150, 'retained': -150, 'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2']}]], [['regression: nonzero closing filter', {'accounts': {'asse_0': ['asset', 7500], 'expe_1': ['expense', 7500], 'gain_2': ['gain', 400], 'loss_3': ['loss', 0], 'liab_4': ['liability', 400], 'oci_5': ['oci', -200], 'cont_6': ['contra_revenue', 150], 'oci_7': ['oci', -200]}, 'retained': 25000, 'aoci': 300}, {'net_income': -7250, 'retained': 17750, 'aoci': -100, 'closed': ['cont_6', 'expe_1', 'gain_2', 'oci_5', 'oci_7']}], ['control 1', {'accounts': {'reve_0': ['revenue', 1200], 'expe_1': ['expense', 7500], 'asse_2': ['asset', -200], 'cont_3': ['contra_revenue', 7500], 'cont_4': ['contra_revenue', 7500], 'divi_5': ['dividend', 7500], 'divi_6': ['dividend', 3000], 'cont_7': ['contra_revenue', 7500]}, 'retained': 0, 'aoci': -100}, {'net_income': -28800, 'retained': -39300, 'aoci': -100, 'closed': ['cont_3', 'cont_4', 'cont_7', 'divi_5', 'divi_6', 'expe_1', 'reve_0']}], ['control 2', {'accounts': {'oci_0': ['oci', 150], 'gain_1': ['gain', 7500], 'loss_2': ['loss', 400], 'divi_3': ['dividend', 7500], 'cont_4': ['contra_revenue', 150], 'liab_5': ['liability', 7500], 'asse_6': ['asset', 150]}, 'retained': 1000, 'aoci': 0}, {'net_income': 6950, 'retained': 450, 'aoci': 150, 'closed': ['cont_4', 'divi_3', 'gain_1', 'loss_2', 'oci_0']}], ['control 3', {'accounts': {'gain_0': ['gain', -200], 'reve_1': ['revenue', 1200], 'loss_2': ['loss', 7500], 'asse_3': ['asset', 0], 'divi_4': ['dividend', 150], 'liab_5': ['liability', 0], 'liab_6': ['liability', 3000], 'reve_7': ['revenue', 150]}, 'retained': 0, 'aoci': 0}, {'net_income': -6350, 'retained': -6500, 'aoci': 0, 'closed': ['divi_4', 'gain_0', 'loss_2', 'reve_1', 'reve_7']}], ['control 4', {'accounts': {'loss_0': ['loss', 1200], 'cont_1': ['contra_revenue', 3000], 'reve_2': ['revenue', 1200], 'expe_3': ['expense', 7500], 'reve_4': ['revenue', 400], 'liab_5': ['liability', 400]}, 'retained': -500, 'aoci': 300}, {'net_income': -10100, 'retained': -10600, 'aoci': 300, 'closed': ['cont_1', 'expe_3', 'loss_0', 'reve_2', 'reve_4']}], ['control 5', {'accounts': {'reve_0': ['revenue', 1200], 'liab_1': ['liability', 150], 'gain_2': ['gain', 3000], 'expe_3': ['expense', 400], 'cont_4': ['contra_revenue', 1200], 'asse_5': ['asset', 3000]}, 'retained': 1000, 'aoci': 0}, {'net_income': 2600, 'retained': 3600, 'aoci': 0, 'closed': ['cont_4', 'expe_3', 'gain_2', 'reve_0']}], ['control 6', {'accounts': {'oci_0': ['oci', 7500], 'loss_1': ['loss', -200], 'asse_2': ['asset', 0], 'loss_3': ['loss', 150], 'loss_4': ['loss', 7500], 'cont_5': ['contra_revenue', 400], 'reve_6': ['revenue', 400], 'gain_7': ['gain', 150], 'cont_8': ['contra_revenue', 7500]}, 'retained': 25000, 'aoci': -100}, {'net_income': -14800, 'retained': 10200, 'aoci': 7400, 'closed': ['cont_5', 'cont_8', 'gain_7', 'loss_1', 'loss_3', 'loss_4', 'oci_0', 'reve_6']}]], [['regression: nonzero closing filter', {'accounts': {'reve_0': ['revenue', 400], 'gain_1': ['gain', 0], 'liab_2': ['liability', 400], 'gain_3': ['gain', -200], 'asse_4': ['asset', 0], 'divi_5': ['dividend', 400]}, 'retained': 0, 'aoci': 300}, {'net_income': 200, 'retained': -200, 'aoci': 300, 'closed': ['divi_5', 'gain_3', 'reve_0']}], ['control 1', {'accounts': {'cont_0': ['contra_revenue', -200], 'expe_1': ['expense', -200], 'liab_2': ['liability', 0], 'asse_3': ['asset', 3000], 'gain_4': ['gain', 1200], 'gain_5': ['gain', 150], 'liab_6': ['liability', 1200], 'gain_7': ['gain', 400], 'liab_8': ['liability', 0]}, 'retained': 25000, 'aoci': -100}, {'net_income': 2150, 'retained': 27150, 'aoci': -100, 'closed': ['cont_0', 'expe_1', 'gain_4', 'gain_5', 'gain_7']}], ['control 2', {'accounts': {'liab_0': ['liability', 1200], 'cont_1': ['contra_revenue', 400], 'expe_2': ['expense', 1200], 'loss_3': ['loss', 400], 'liab_4': ['liability', 1200], 'expe_5': ['expense', 400], 'asse_6': ['asset', 3000], 'oci_7': ['oci', 3000]}, 'retained': 0, 'aoci': 0}, {'net_income': -2400, 'retained': -2400, 'aoci': 3000, 'closed': ['cont_1', 'expe_2', 'expe_5', 'loss_3', 'oci_7']}], ['control 3', {'accounts': {'reve_0': ['revenue', 3000], 'liab_1': ['liability', -200], 'asse_2': ['asset', 7500], 'asse_3': ['asset', 0]}, 'retained': -500, 'aoci': -100}, {'net_income': 3000, 'retained': 2500, 'aoci': -100, 'closed': ['reve_0']}], ['control 4', {'accounts': {'expe_0': ['expense', -200], 'cont_1': ['contra_revenue', 1200], 'cont_2': ['contra_revenue', 1200], 'liab_3': ['liability', -200], 'cont_4': ['contra_revenue', 1200], 'oci_5': ['oci', 400], 'reve_6': ['revenue', -200], 'liab_7': ['liability', -200], 'loss_8': ['loss', 1200]}, 'retained': 1000, 'aoci': 0}, {'net_income': -4800, 'retained': -3800, 'aoci': 400, 'closed': ['cont_1', 'cont_2', 'cont_4', 'expe_0', 'loss_8', 'oci_5', 'reve_6']}], ['control 5', {'accounts': {'oci_0': ['oci', 7500], 'liab_1': ['liability', 7500], 'liab_2': ['liability', 0], 'asse_3': ['asset', 7500], 'liab_4': ['liability', 7500], 'gain_5': ['gain', 1200], 'divi_6': ['dividend', 7500], 'reve_7': ['revenue', 150], 'oci_8': ['oci', 7500]}, 'retained': 0, 'aoci': 0}, {'net_income': 1350, 'retained': -6150, 'aoci': 15000, 'closed': ['divi_6', 'gain_5', 'oci_0', 'oci_8', 'reve_7']}], ['control 6', {'accounts': {'cont_0': ['contra_revenue', 7500], 'reve_1': ['revenue', 1200], 'divi_2': ['dividend', 150], 'expe_3': ['expense', 150], 'oci_4': ['oci', 1200]}, 'retained': 25000, 'aoci': 0}, {'net_income': -6450, 'retained': 18400, 'aoci': 1200, 'closed': ['cont_0', 'divi_2', 'expe_3', 'oci_4', 'reve_1']}]], [['regression: nonzero closing filter', {'accounts': {'liab_0': ['liability', 0], 'expe_1': ['expense', 150], 'gain_2': ['gain', 0], 'liab_3': ['liability', 1200], 'gain_4': ['gain', -200], 'divi_5': ['dividend', 7500], 'divi_6': ['dividend', 1200], 'oci_7': ['oci', -200], 'asse_8': ['asset', -200]}, 'retained': 0, 'aoci': 300}, {'net_income': -350, 'retained': -9050, 'aoci': 100, 'closed': ['divi_5', 'divi_6', 'expe_1', 'gain_4', 'oci_7']}], ['control 1', {'accounts': {'oci_0': ['oci', 1200], 'liab_1': ['liability', 3000], 'expe_2': ['expense', 1200], 'loss_3': ['loss', 3000], 'liab_4': ['liability', 1200], 'loss_5': ['loss', 150], 'asse_6': ['asset', -200]}, 'retained': -500, 'aoci': 300}, {'net_income': -4350, 'retained': -4850, 'aoci': 1500, 'closed': ['expe_2', 'loss_3', 'loss_5', 'oci_0']}], ['control 2', {'accounts': {'oci_0': ['oci', 400], 'liab_1': ['liability', 1200], 'asse_2': ['asset', 7500], 'expe_3': ['expense', 3000], 'asse_4': ['asset', 400], 'liab_5': ['liability', 3000], 'liab_6': ['liability', 7500]}, 'retained': -500, 'aoci': -100}, {'net_income': -3000, 'retained': -3500, 'aoci': 300, 'closed': ['expe_3', 'oci_0']}], ['control 3', {'accounts': {'divi_0': ['dividend', 150], 'divi_1': ['dividend', -200], 'asse_2': ['asset', 150], 'cont_3': ['contra_revenue', 400], 'gain_4': ['gain', 150]}, 'retained': 0, 'aoci': 300}, {'net_income': -250, 'retained': -200, 'aoci': 300, 'closed': ['cont_3', 'divi_0', 'divi_1', 'gain_4']}], ['control 4', {'accounts': {'reve_0': ['revenue', 150], 'asse_1': ['asset', 7500], 'oci_2': ['oci', 1200], 'reve_3': ['revenue', 400], 'divi_4': ['dividend', 150], 'gain_5': ['gain', 1200], 'liab_6': ['liability', -200], 'asse_7': ['asset', 150], 'divi_8': ['dividend', 7500]}, 'retained': 1000, 'aoci': 300}, {'net_income': 1750, 'retained': -4900, 'aoci': 1500, 'closed': ['divi_4', 'divi_8', 'gain_5', 'oci_2', 'reve_0', 'reve_3']}], ['control 5', {'accounts': {'divi_0': ['dividend', -200], 'loss_1': ['loss', 1200], 'loss_2': ['loss', -200], 'cont_3': ['contra_revenue', 3000], 'cont_4': ['contra_revenue', 7500], 'expe_5': ['expense', 3000], 'divi_6': ['dividend', 1200]}, 'retained': 0, 'aoci': 0}, {'net_income': -14500, 'retained': -15500, 'aoci': 0, 'closed': ['cont_3', 'cont_4', 'divi_0', 'divi_6', 'expe_5', 'loss_1', 'loss_2']}], ['control 6', {'accounts': {'asse_0': ['asset', 7500], 'divi_1': ['dividend', 400], 'liab_2': ['liability', 400], 'reve_3': ['revenue', 3000], 'gain_4': ['gain', 400], 'expe_5': ['expense', 3000], 'loss_6': ['loss', 3000]}, 'retained': 1000, 'aoci': 300}, {'net_income': -2600, 'retained': -2000, 'aoci': 300, 'closed': ['divi_1', 'expe_5', 'gain_4', 'loss_6', 'reve_3']}]], [['regression: nonzero closing filter', {'accounts': {'oci_0': ['oci', 0], 'gain_1': ['gain', 0], 'oci_2': ['oci', 3000], 'expe_3': ['expense', 150], 'loss_4': ['loss', 150], 'divi_5': ['dividend', 150], 'cont_6': ['contra_revenue', 1200], 'expe_7': ['expense', 7500]}, 'retained': -500, 'aoci': 300}, {'net_income': -9000, 'retained': -9650, 'aoci': 3300, 'closed': ['cont_6', 'divi_5', 'expe_3', 'expe_7', 'loss_4', 'oci_2']}], ['regression: nonzero closing filter, partial-repair probe', {'accounts': {'gain_0': ['gain', 400], 'reve_1': ['revenue', 1200], 'reve_2': ['revenue', 400], 'expe_3': ['expense', 3000], 'oci_4': ['oci', -200], 'reve_5': ['revenue', -200], 'gain_6': ['gain', 3000], 'reve_7': ['revenue', -200]}, 'retained': 0, 'aoci': 300}, {'net_income': 1600, 'retained': 1600, 'aoci': 100, 'closed': ['expe_3', 'gain_0', 'gain_6', 'oci_4', 'reve_1', 'reve_2', 'reve_5', 'reve_7']}], ['control 1', {'accounts': {'liab_0': ['liability', 3000], 'gain_1': ['gain', -200], 'reve_2': ['revenue', -200], 'oci_3': ['oci', 150], 'oci_4': ['oci', 3000], 'oci_5': ['oci', 3000], 'cont_6': ['contra_revenue', 3000]}, 'retained': 1000, 'aoci': 300}, {'net_income': -3400, 'retained': -2400, 'aoci': 6450, 'closed': ['cont_6', 'gain_1', 'oci_3', 'oci_4', 'oci_5', 'reve_2']}], ['control 2', {'accounts': {'cont_0': ['contra_revenue', 3000], 'reve_1': ['revenue', 7500], 'asse_2': ['asset', 0], 'oci_3': ['oci', 150], 'liab_4': ['liability', 0], 'reve_5': ['revenue', 400], 'divi_6': ['dividend', 1200], 'reve_7': ['revenue', 1200]}, 'retained': 25000, 'aoci': 0}, {'net_income': 6100, 'retained': 29900, 'aoci': 150, 'closed': ['cont_0', 'divi_6', 'oci_3', 'reve_1', 'reve_5', 'reve_7']}], ['control 3', {'accounts': {'asse_0': ['asset', 0], 'expe_1': ['expense', 1200], 'loss_2': ['loss', -200], 'divi_3': ['dividend', 1200], 'liab_4': ['liability', 0], 'asse_5': ['asset', 150], 'expe_6': ['expense', 400], 'asse_7': ['asset', 150]}, 'retained': 1000, 'aoci': -100}, {'net_income': -1400, 'retained': -1600, 'aoci': -100, 'closed': ['divi_3', 'expe_1', 'expe_6', 'loss_2']}], ['control 4', {'accounts': {'gain_0': ['gain', 3000], 'expe_1': ['expense', -200], 'asse_2': ['asset', 0], 'expe_3': ['expense', 150], 'asse_4': ['asset', 7500], 'gain_5': ['gain', 400], 'divi_6': ['dividend', 150], 'expe_7': ['expense', 3000], 'reve_8': ['revenue', 150]}, 'retained': -500, 'aoci': 0}, {'net_income': 600, 'retained': -50, 'aoci': 0, 'closed': ['divi_6', 'expe_1', 'expe_3', 'expe_7', 'gain_0', 'gain_5', 'reve_8']}], ['control 5', {'accounts': {'asse_0': ['asset', -200], 'expe_1': ['expense', 1200], 'liab_2': ['liability', 150], 'divi_3': ['dividend', 7500], 'asse_4': ['asset', -200], 'reve_5': ['revenue', 3000], 'divi_6': ['dividend', 400], 'reve_7': ['revenue', 1200]}, 'retained': -500, 'aoci': 0}, {'net_income': 3000, 'retained': -5400, 'aoci': 0, 'closed': ['divi_3', 'divi_6', 'expe_1', 'reve_5', 'reve_7']}]]]
for label, args, expected in fixtures[N-1]:
try:
actual = solve(args)
except Exception as exc:
actual = 'raised ' + type(exc).__name__
check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: nonzero closing filter | {'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7'], 'net_income': -4000, 'retained': -6000} | {'aoci': 0, 'closed': ['cont_1', 'divi_6', 'loss_2', 'loss_4', 'loss_8', 'reve_0', 'reve_7'], 'net_income': -4000, 'retained': -6000} | Passed |
| control 1 | {'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1'], 'net_income': -10500, 'retained': -9500} | {'aoci': 450, 'closed': ['expe_2', 'loss_3', 'oci_0', 'oci_1'], 'net_income': -10500, 'retained': -9500} | Passed |
| control 2 | {'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0'], 'net_income': 2850, 'retained': 2450} | {'aoci': 1100, 'closed': ['divi_2', 'expe_3', 'oci_1', 'reve_0'], 'net_income': 2850, 'retained': 2450} | Passed |
| control 3 | {'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8'], 'net_income': 21150, 'retained': 46150} | {'aoci': 300, 'closed': ['expe_6', 'gain_1', 'gain_3', 'reve_2', 'reve_5', 'reve_7', 'reve_8'], 'net_income': 21150, 'retained': 46150} | Passed |
| control 4 | {'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2'], 'net_income': -150, 'retained': 900} | {'aoci': -100, 'closed': ['cont_0', 'divi_1', 'divi_2'], 'net_income': -150, 'retained': 900} | Passed |
| control 5 | {'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4'], 'net_income': 2450, 'retained': -13050} | {'aoci': 0, 'closed': ['divi_0', 'divi_2', 'expe_1', 'gain_5', 'loss_4'], 'net_income': 2450, 'retained': -13050} | Passed |
| control 6 | {'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2'], 'net_income': -1150, 'retained': -150} | {'aoci': 0, 'closed': ['cont_0', 'cont_3', 'gain_4', 'loss_2'], 'net_income': -1150, 'retained': -150} | Passed |
SHA-256 / 471c01783b57f360163a8548ba771647d1654d4c3f2b567367817020079c6cd4
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:46:21.993998+00:00.
Case digest / 5c7c212278d9899b18adb20d26d89b91b96544bc8296c724651dc759d06bf069