FA-58251 / Double-entry ledger accounting / Open access
Receivables subledger tie-out: control cutoff · case 01
The control account omits postings dated on the reconciliation date.
ROOT CAUSE
The control cutoff is exclusive.
VERIFIED REPAIR
Include control postings dated on or before as_of.
Unsuccessful approach: Making the subledger cutoff exclusive too hides the error in the difference but both totals are still wrong.
Case contract
x = {'control': [[day, amount]], 'sub': {customer: [[day, amount]]}, 'as_of': day}. Only rows dated on or before as_of count. The subledger total nets every customer balance, including credit (negative) balances. Return {'control', 'subledger', 'difference': control - subledger, 'credit_balances': customers with negative balance sorted by name, 'open_customers': count of nonzero balances}.
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):
cut = x['as_of']
control = sum(a for d, a in x['control'] if d < cut)
per = {}
for cust, rows in x['sub'].items():
per[cust] = sum(a for d, a in rows if d <= cut)
sub_total = sum(per.values())
credit = sorted(c for c, v in per.items() if v < 0)
return {'control': control, 'subledger': sub_total, 'difference': control - sub_total, 'credit_balances': credit, 'open_customers': sum(1 for v in per.values() if v != 0)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: control cutoff', {'control': [[21, 400], [5, 250], [19, 250], [20, 400], [19, -80]], 'sub': {'bolt': [[5, 250]]}, 'as_of': 20}, {'control': 820, 'subledger': 250, 'difference': 570, 'credit_balances': [], 'open_customers': 1}], ['control 1', {'control': [[5, 100], [19, -80], [21, -80]], 'sub': {'bolt': [[5, -80], [1, 250], [5, -80]], 'acme': [[21, 100]], 'dyna': [[20, 400], [1, 250], [20, 100]], 'crux': [[20, 400], [5, 100]]}, 'as_of': 20}, {'control': 20, 'subledger': 1340, 'difference': -1320, 'credit_balances': [], 'open_customers': 3}], ['control 2', {'control': [[5, 100], [21, 250], [19, 400], [5, 100]], 'sub': {'dyna': [[21, -80], [21, 100], [20, 400]], 'acme': [[5, 100], [20, -80], [21, -300]], 'bolt': [[5, -80], [21, -300]]}, 'as_of': 20}, {'control': 600, 'subledger': 340, 'difference': 260, 'credit_balances': ['bolt'], 'open_customers': 3}], ['control 3', {'control': [[5, 400], [1, 250], [9, -80], [5, -80], [5, 250]], 'sub': {'acme': [[5, 250], [11, 100]], 'crux': [[5, 400]], 'dyna': [[5, 250]]}, 'as_of': 10}, {'control': 740, 'subledger': 900, 'difference': -160, 'credit_balances': [], 'open_customers': 3}], ['control 4', {'control': [[32, 100], [30, -80], [5, 100], [5, 100]], 'sub': {'crux': [[5, 100], [1, 250], [1, -300]], 'bolt': [[31, 250], [5, -300]]}, 'as_of': 31}, {'control': 120, 'subledger': 0, 'difference': 120, 'credit_balances': ['bolt'], 'open_customers': 2}], ['control 5', {'control': [[11, 250], [1, -80], [11, 400], [1, -80]], 'sub': {'acme': [[1, 250], [1, -80], [11, 250]], 'bolt': [[11, 100]], 'dyna': [[11, -80]]}, 'as_of': 10}, {'control': -160, 'subledger': 170, 'difference': -330, 'credit_balances': [], 'open_customers': 1}], ['control 6', {'control': [[5, 400], [21, 400], [19, -80], [19, 400], [19, 250]], 'sub': {'bolt': [[5, 100]], 'acme': [[1, 250]]}, 'as_of': 20}, {'control': 970, 'subledger': 350, 'difference': 620, 'credit_balances': [], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[20, 250], [19, 100], [5, 400]], 'sub': {'bolt': [[20, 250]], 'acme': [[1, -300], [1, 100], [1, 250]]}, 'as_of': 20}, {'control': 750, 'subledger': 300, 'difference': 450, 'credit_balances': [], 'open_customers': 2}], ['control 1', {'control': [[1, 400], [11, 250]], 'sub': {'dyna': [[1, 250]], 'crux': [[1, 250], [1, 250], [1, 100]], 'acme': [[10, 250], [1, 250], [11, 250]], 'bolt': [[11, 250], [5, 400]]}, 'as_of': 10}, {'control': 400, 'subledger': 1750, 'difference': -1350, 'credit_balances': [], 'open_customers': 4}], ['control 2', {'control': [[5, -80], [19, 400], [1, -80]], 'sub': {'crux': [[21, -300], [21, 400]], 'bolt': [[1, 250], [21, 250]], 'dyna': [[21, -300], [20, 250], [5, 250]]}, 'as_of': 20}, {'control': 240, 'subledger': 750, 'difference': -510, 'credit_balances': [], 'open_customers': 2}], ['control 3', {'control': [[1, 250], [5, 100], [1, 400]], 'sub': {'dyna': [[1, -300]], 'bolt': [[1, -300]], 'crux': [[1, 250]], 'acme': [[11, 100]]}, 'as_of': 10}, {'control': 750, 'subledger': -350, 'difference': 1100, 'credit_balances': ['bolt', 'dyna'], 'open_customers': 3}], ['control 4', {'control': [[1, 400], [30, 100]], 'sub': {'acme': [[31, 100], [32, 250], [31, -80]], 'crux': [[1, 250], [32, -300], [5, -300]]}, 'as_of': 31}, {'control': 500, 'subledger': -30, 'difference': 530, 'credit_balances': ['crux'], 'open_customers': 2}], ['control 5', {'control': [[5, 400], [32, 400]], 'sub': {'acme': [[32, 100]], 'crux': [[1, 100], [5, 400]], 'dyna': [[31, -300], [31, 250]]}, 'as_of': 31}, {'control': 400, 'subledger': 450, 'difference': -50, 'credit_balances': ['dyna'], 'open_customers': 2}], ['control 6', {'control': [[19, 400], [5, 400]], 'sub': {'bolt': [[20, -80], [5, 100]], 'crux': [[21, -80], [5, 100]]}, 'as_of': 20}, {'control': 800, 'subledger': 120, 'difference': 680, 'credit_balances': [], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[1, -80], [1, 100], [32, 400], [31, 250]], 'sub': {'bolt': [[1, 250]]}, 'as_of': 31}, {'control': 270, 'subledger': 250, 'difference': 20, 'credit_balances': [], 'open_customers': 1}], ['control 1', {'control': [[9, 250], [11, 100], [11, -80], [11, 250]], 'sub': {'dyna': [[1, 250], [11, 400], [10, -80]], 'acme': [[11, -300], [1, 400], [1, 400]], 'bolt': [[1, -300]]}, 'as_of': 10}, {'control': 250, 'subledger': 670, 'difference': -420, 'credit_balances': ['bolt'], 'open_customers': 3}], ['control 2', {'control': [[11, 100], [5, -80], [9, 400]], 'sub': {'acme': [[11, 100], [11, 250], [1, 250]], 'dyna': [[5, 100]], 'bolt': [[5, -300], [5, -300]], 'crux': [[5, 250], [11, -300], [1, 100]]}, 'as_of': 10}, {'control': 320, 'subledger': 100, 'difference': 220, 'credit_balances': ['bolt'], 'open_customers': 4}], ['control 3', {'control': [[1, -80], [5, 250], [1, 400], [21, -80], [5, 250], [5, 100]], 'sub': {'crux': [[20, -80]], 'acme': [[1, 100]], 'bolt': [[5, 400], [1, 400], [21, 250]]}, 'as_of': 20}, {'control': 920, 'subledger': 820, 'difference': 100, 'credit_balances': ['crux'], 'open_customers': 3}], ['control 4', {'control': [[5, 400], [1, 250], [5, -80], [5, 250], [11, -80], [1, 400]], 'sub': {'dyna': [[11, 100]], 'acme': [[5, 400], [1, 100]], 'crux': [[5, 400], [5, -300]]}, 'as_of': 10}, {'control': 1220, 'subledger': 600, 'difference': 620, 'credit_balances': [], 'open_customers': 2}], ['control 5', {'control': [[11, 250], [5, 250]], 'sub': {'acme': [[1, -80], [11, 100]], 'crux': [[5, 250]], 'dyna': [[11, -300], [5, 250], [1, 250]]}, 'as_of': 10}, {'control': 250, 'subledger': 670, 'difference': -420, 'credit_balances': ['acme'], 'open_customers': 3}], ['control 6', {'control': [[5, 100], [32, 250], [5, 100]], 'sub': {'dyna': [[32, 400], [5, -80], [1, 100]], 'acme': [[32, -80], [1, -80]], 'bolt': [[1, 400]]}, 'as_of': 31}, {'control': 200, 'subledger': 340, 'difference': -140, 'credit_balances': ['acme'], 'open_customers': 3}]], [['regression: control cutoff', {'control': [[20, -80], [21, 100]], 'sub': {'dyna': [[1, -80], [20, 250]], 'bolt': [[1, -300], [20, 400], [21, -300]]}, 'as_of': 20}, {'control': -80, 'subledger': 270, 'difference': -350, 'credit_balances': [], 'open_customers': 2}], ['control 1', {'control': [[5, 400], [30, 250]], 'sub': {'dyna': [[5, 250], [31, 400]], 'bolt': [[32, 400], [32, -80], [5, 250]], 'crux': [[5, -300], [1, 250], [31, -300]]}, 'as_of': 31}, {'control': 650, 'subledger': 550, 'difference': 100, 'credit_balances': ['crux'], 'open_customers': 3}], ['control 2', {'control': [[1, 100], [11, 100], [1, 100], [9, 400], [9, 100], [9, 100]], 'sub': {'dyna': [[1, 100], [5, 100]]}, 'as_of': 10}, {'control': 800, 'subledger': 200, 'difference': 600, 'credit_balances': [], 'open_customers': 1}], ['control 3', {'control': [[21, -80], [19, 250], [5, 100], [19, -80], [21, 400]], 'sub': {'acme': [[20, 250], [5, 100], [21, 400]], 'bolt': [[1, 400], [20, -80]], 'dyna': [[5, 100]]}, 'as_of': 20}, {'control': 270, 'subledger': 770, 'difference': -500, 'credit_balances': [], 'open_customers': 3}], ['control 4', {'control': [[21, 250], [5, 100], [21, 250]], 'sub': {'bolt': [[21, -300], [5, 100]]}, 'as_of': 20}, {'control': 100, 'subledger': 100, 'difference': 0, 'credit_balances': [], 'open_customers': 1}], ['control 5', {'control': [[5, 250], [11, 250], [1, -80]], 'sub': {'acme': [[10, 400], [1, 400], [5, -80]], 'dyna': [[1, -300]], 'bolt': [[1, -300], [5, 400]], 'crux': [[11, 400], [1, 250], [11, 100]]}, 'as_of': 10}, {'control': 170, 'subledger': 770, 'difference': -600, 'credit_balances': ['dyna'], 'open_customers': 4}], ['control 6', {'control': [[11, 400], [11, -80]], 'sub': {'dyna': [[5, 250]], 'crux': [[10, -300]]}, 'as_of': 10}, {'control': 0, 'subledger': -50, 'difference': 50, 'credit_balances': ['crux'], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[10, -80], [9, 400], [1, 250]], 'sub': {'crux': [[5, 250], [1, 400], [5, 250]], 'acme': [[10, -80]]}, 'as_of': 10}, {'control': 570, 'subledger': 820, 'difference': -250, 'credit_balances': ['acme'], 'open_customers': 2}], ['control 1', {'control': [[5, 100], [5, 250], [19, -80], [21, 250], [21, 250]], 'sub': {'crux': [[20, -80], [20, -80]], 'acme': [[21, 100]]}, 'as_of': 20}, {'control': 270, 'subledger': -160, 'difference': 430, 'credit_balances': ['crux'], 'open_customers': 1}], ['control 2', {'control': [[5, 400], [1, 250], [9, 400], [9, 400]], 'sub': {'acme': [[1, -300], [11, -80]], 'bolt': [[1, 250], [10, 250], [5, -300]], 'dyna': [[1, -300], [10, -300], [1, 100]]}, 'as_of': 10}, {'control': 1450, 'subledger': -600, 'difference': 2050, 'credit_balances': ['acme', 'dyna'], 'open_customers': 3}], ['control 3', {'control': [[9, -80], [11, 400]], 'sub': {'bolt': [[5, 100], [5, 250]], 'acme': [[11, 100], [11, -80], [10, 250]]}, 'as_of': 10}, {'control': -80, 'subledger': 600, 'difference': -680, 'credit_balances': [], 'open_customers': 2}], ['control 4', {'control': [[1, 100], [1, 250], [5, 250], [1, 100], [1, 400], [5, -80]], 'sub': {'bolt': [[10, -80], [10, 400]], 'crux': [[1, 250], [10, 250]]}, 'as_of': 10}, {'control': 1020, 'subledger': 820, 'difference': 200, 'credit_balances': [], 'open_customers': 2}], ['control 5', {'control': [[1, -80], [11, -80], [9, -80]], 'sub': {'crux': [[11, -80]], 'acme': [[1, -80]], 'dyna': [[5, 100], [1, -80]], 'bolt': [[10, 250]]}, 'as_of': 10}, {'control': -160, 'subledger': 190, 'difference': -350, 'credit_balances': ['acme'], 'open_customers': 3}], ['control 6', {'control': [[5, 250], [19, 400], [19, 100], [19, 100]], 'sub': {'crux': [[5, 400], [1, -300], [1, 400]], 'acme': [[21, 250], [5, -300], [20, -80]]}, 'as_of': 20}, {'control': 850, 'subledger': 120, 'difference': 730, 'credit_balances': ['acme'], 'open_customers': 2}]]]
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: control cutoff | {'control': 420, 'credit_balances': [], 'difference': 170, 'open_customers': 1, 'subledger': 250} | {'control': 820, 'credit_balances': [], 'difference': 570, 'open_customers': 1, 'subledger': 250} | Failed |
| control 1 | {'control': 20, 'credit_balances': [], 'difference': -1320, 'open_customers': 3, 'subledger': 1340} | {'control': 20, 'credit_balances': [], 'difference': -1320, 'open_customers': 3, 'subledger': 1340} | Passed |
| control 2 | {'control': 600, 'credit_balances': ['bolt'], 'difference': 260, 'open_customers': 3, 'subledger': 340} | {'control': 600, 'credit_balances': ['bolt'], 'difference': 260, 'open_customers': 3, 'subledger': 340} | Passed |
| control 3 | {'control': 740, 'credit_balances': [], 'difference': -160, 'open_customers': 3, 'subledger': 900} | {'control': 740, 'credit_balances': [], 'difference': -160, 'open_customers': 3, 'subledger': 900} | Passed |
| control 4 | {'control': 120, 'credit_balances': ['bolt'], 'difference': 120, 'open_customers': 2, 'subledger': 0} | {'control': 120, 'credit_balances': ['bolt'], 'difference': 120, 'open_customers': 2, 'subledger': 0} | Passed |
| control 5 | {'control': -160, 'credit_balances': [], 'difference': -330, 'open_customers': 1, 'subledger': 170} | {'control': -160, 'credit_balances': [], 'difference': -330, 'open_customers': 1, 'subledger': 170} | Passed |
| control 6 | {'control': 970, 'credit_balances': [], 'difference': 620, 'open_customers': 2, 'subledger': 350} | {'control': 970, 'credit_balances': [], 'difference': 620, 'open_customers': 2, 'subledger': 350} | Passed |
SHA-256 / c47b72fb8b1d1823a02ec45eade757f0e71af90436f702409d6e63a7f62547f8
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
cut = x['as_of']
control = sum(a for d, a in x['control'] if d < cut)
per = {}
for cust, rows in x['sub'].items():
per[cust] = sum(a for d, a in rows if d < cut)
sub_total = sum(per.values())
credit = sorted(c for c, v in per.items() if v < 0)
return {'control': control, 'subledger': sub_total, 'difference': control - sub_total, 'credit_balances': credit, 'open_customers': sum(1 for v in per.values() if v != 0)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: control cutoff', {'control': [[21, 400], [5, 250], [19, 250], [20, 400], [19, -80]], 'sub': {'bolt': [[5, 250]]}, 'as_of': 20}, {'control': 820, 'subledger': 250, 'difference': 570, 'credit_balances': [], 'open_customers': 1}], ['control 1', {'control': [[5, 100], [19, -80], [21, -80]], 'sub': {'bolt': [[5, -80], [1, 250], [5, -80]], 'acme': [[21, 100]], 'dyna': [[20, 400], [1, 250], [20, 100]], 'crux': [[20, 400], [5, 100]]}, 'as_of': 20}, {'control': 20, 'subledger': 1340, 'difference': -1320, 'credit_balances': [], 'open_customers': 3}], ['control 2', {'control': [[5, 100], [21, 250], [19, 400], [5, 100]], 'sub': {'dyna': [[21, -80], [21, 100], [20, 400]], 'acme': [[5, 100], [20, -80], [21, -300]], 'bolt': [[5, -80], [21, -300]]}, 'as_of': 20}, {'control': 600, 'subledger': 340, 'difference': 260, 'credit_balances': ['bolt'], 'open_customers': 3}], ['control 3', {'control': [[5, 400], [1, 250], [9, -80], [5, -80], [5, 250]], 'sub': {'acme': [[5, 250], [11, 100]], 'crux': [[5, 400]], 'dyna': [[5, 250]]}, 'as_of': 10}, {'control': 740, 'subledger': 900, 'difference': -160, 'credit_balances': [], 'open_customers': 3}], ['control 4', {'control': [[32, 100], [30, -80], [5, 100], [5, 100]], 'sub': {'crux': [[5, 100], [1, 250], [1, -300]], 'bolt': [[31, 250], [5, -300]]}, 'as_of': 31}, {'control': 120, 'subledger': 0, 'difference': 120, 'credit_balances': ['bolt'], 'open_customers': 2}], ['control 5', {'control': [[11, 250], [1, -80], [11, 400], [1, -80]], 'sub': {'acme': [[1, 250], [1, -80], [11, 250]], 'bolt': [[11, 100]], 'dyna': [[11, -80]]}, 'as_of': 10}, {'control': -160, 'subledger': 170, 'difference': -330, 'credit_balances': [], 'open_customers': 1}], ['control 6', {'control': [[5, 400], [21, 400], [19, -80], [19, 400], [19, 250]], 'sub': {'bolt': [[5, 100]], 'acme': [[1, 250]]}, 'as_of': 20}, {'control': 970, 'subledger': 350, 'difference': 620, 'credit_balances': [], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[20, 250], [19, 100], [5, 400]], 'sub': {'bolt': [[20, 250]], 'acme': [[1, -300], [1, 100], [1, 250]]}, 'as_of': 20}, {'control': 750, 'subledger': 300, 'difference': 450, 'credit_balances': [], 'open_customers': 2}], ['control 1', {'control': [[1, 400], [11, 250]], 'sub': {'dyna': [[1, 250]], 'crux': [[1, 250], [1, 250], [1, 100]], 'acme': [[10, 250], [1, 250], [11, 250]], 'bolt': [[11, 250], [5, 400]]}, 'as_of': 10}, {'control': 400, 'subledger': 1750, 'difference': -1350, 'credit_balances': [], 'open_customers': 4}], ['control 2', {'control': [[5, -80], [19, 400], [1, -80]], 'sub': {'crux': [[21, -300], [21, 400]], 'bolt': [[1, 250], [21, 250]], 'dyna': [[21, -300], [20, 250], [5, 250]]}, 'as_of': 20}, {'control': 240, 'subledger': 750, 'difference': -510, 'credit_balances': [], 'open_customers': 2}], ['control 3', {'control': [[1, 250], [5, 100], [1, 400]], 'sub': {'dyna': [[1, -300]], 'bolt': [[1, -300]], 'crux': [[1, 250]], 'acme': [[11, 100]]}, 'as_of': 10}, {'control': 750, 'subledger': -350, 'difference': 1100, 'credit_balances': ['bolt', 'dyna'], 'open_customers': 3}], ['control 4', {'control': [[1, 400], [30, 100]], 'sub': {'acme': [[31, 100], [32, 250], [31, -80]], 'crux': [[1, 250], [32, -300], [5, -300]]}, 'as_of': 31}, {'control': 500, 'subledger': -30, 'difference': 530, 'credit_balances': ['crux'], 'open_customers': 2}], ['control 5', {'control': [[5, 400], [32, 400]], 'sub': {'acme': [[32, 100]], 'crux': [[1, 100], [5, 400]], 'dyna': [[31, -300], [31, 250]]}, 'as_of': 31}, {'control': 400, 'subledger': 450, 'difference': -50, 'credit_balances': ['dyna'], 'open_customers': 2}], ['control 6', {'control': [[19, 400], [5, 400]], 'sub': {'bolt': [[20, -80], [5, 100]], 'crux': [[21, -80], [5, 100]]}, 'as_of': 20}, {'control': 800, 'subledger': 120, 'difference': 680, 'credit_balances': [], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[1, -80], [1, 100], [32, 400], [31, 250]], 'sub': {'bolt': [[1, 250]]}, 'as_of': 31}, {'control': 270, 'subledger': 250, 'difference': 20, 'credit_balances': [], 'open_customers': 1}], ['control 1', {'control': [[9, 250], [11, 100], [11, -80], [11, 250]], 'sub': {'dyna': [[1, 250], [11, 400], [10, -80]], 'acme': [[11, -300], [1, 400], [1, 400]], 'bolt': [[1, -300]]}, 'as_of': 10}, {'control': 250, 'subledger': 670, 'difference': -420, 'credit_balances': ['bolt'], 'open_customers': 3}], ['control 2', {'control': [[11, 100], [5, -80], [9, 400]], 'sub': {'acme': [[11, 100], [11, 250], [1, 250]], 'dyna': [[5, 100]], 'bolt': [[5, -300], [5, -300]], 'crux': [[5, 250], [11, -300], [1, 100]]}, 'as_of': 10}, {'control': 320, 'subledger': 100, 'difference': 220, 'credit_balances': ['bolt'], 'open_customers': 4}], ['control 3', {'control': [[1, -80], [5, 250], [1, 400], [21, -80], [5, 250], [5, 100]], 'sub': {'crux': [[20, -80]], 'acme': [[1, 100]], 'bolt': [[5, 400], [1, 400], [21, 250]]}, 'as_of': 20}, {'control': 920, 'subledger': 820, 'difference': 100, 'credit_balances': ['crux'], 'open_customers': 3}], ['control 4', {'control': [[5, 400], [1, 250], [5, -80], [5, 250], [11, -80], [1, 400]], 'sub': {'dyna': [[11, 100]], 'acme': [[5, 400], [1, 100]], 'crux': [[5, 400], [5, -300]]}, 'as_of': 10}, {'control': 1220, 'subledger': 600, 'difference': 620, 'credit_balances': [], 'open_customers': 2}], ['control 5', {'control': [[11, 250], [5, 250]], 'sub': {'acme': [[1, -80], [11, 100]], 'crux': [[5, 250]], 'dyna': [[11, -300], [5, 250], [1, 250]]}, 'as_of': 10}, {'control': 250, 'subledger': 670, 'difference': -420, 'credit_balances': ['acme'], 'open_customers': 3}], ['control 6', {'control': [[5, 100], [32, 250], [5, 100]], 'sub': {'dyna': [[32, 400], [5, -80], [1, 100]], 'acme': [[32, -80], [1, -80]], 'bolt': [[1, 400]]}, 'as_of': 31}, {'control': 200, 'subledger': 340, 'difference': -140, 'credit_balances': ['acme'], 'open_customers': 3}]], [['regression: control cutoff', {'control': [[20, -80], [21, 100]], 'sub': {'dyna': [[1, -80], [20, 250]], 'bolt': [[1, -300], [20, 400], [21, -300]]}, 'as_of': 20}, {'control': -80, 'subledger': 270, 'difference': -350, 'credit_balances': [], 'open_customers': 2}], ['control 1', {'control': [[5, 400], [30, 250]], 'sub': {'dyna': [[5, 250], [31, 400]], 'bolt': [[32, 400], [32, -80], [5, 250]], 'crux': [[5, -300], [1, 250], [31, -300]]}, 'as_of': 31}, {'control': 650, 'subledger': 550, 'difference': 100, 'credit_balances': ['crux'], 'open_customers': 3}], ['control 2', {'control': [[1, 100], [11, 100], [1, 100], [9, 400], [9, 100], [9, 100]], 'sub': {'dyna': [[1, 100], [5, 100]]}, 'as_of': 10}, {'control': 800, 'subledger': 200, 'difference': 600, 'credit_balances': [], 'open_customers': 1}], ['control 3', {'control': [[21, -80], [19, 250], [5, 100], [19, -80], [21, 400]], 'sub': {'acme': [[20, 250], [5, 100], [21, 400]], 'bolt': [[1, 400], [20, -80]], 'dyna': [[5, 100]]}, 'as_of': 20}, {'control': 270, 'subledger': 770, 'difference': -500, 'credit_balances': [], 'open_customers': 3}], ['control 4', {'control': [[21, 250], [5, 100], [21, 250]], 'sub': {'bolt': [[21, -300], [5, 100]]}, 'as_of': 20}, {'control': 100, 'subledger': 100, 'difference': 0, 'credit_balances': [], 'open_customers': 1}], ['control 5', {'control': [[5, 250], [11, 250], [1, -80]], 'sub': {'acme': [[10, 400], [1, 400], [5, -80]], 'dyna': [[1, -300]], 'bolt': [[1, -300], [5, 400]], 'crux': [[11, 400], [1, 250], [11, 100]]}, 'as_of': 10}, {'control': 170, 'subledger': 770, 'difference': -600, 'credit_balances': ['dyna'], 'open_customers': 4}], ['control 6', {'control': [[11, 400], [11, -80]], 'sub': {'dyna': [[5, 250]], 'crux': [[10, -300]]}, 'as_of': 10}, {'control': 0, 'subledger': -50, 'difference': 50, 'credit_balances': ['crux'], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[10, -80], [9, 400], [1, 250]], 'sub': {'crux': [[5, 250], [1, 400], [5, 250]], 'acme': [[10, -80]]}, 'as_of': 10}, {'control': 570, 'subledger': 820, 'difference': -250, 'credit_balances': ['acme'], 'open_customers': 2}], ['control 1', {'control': [[5, 100], [5, 250], [19, -80], [21, 250], [21, 250]], 'sub': {'crux': [[20, -80], [20, -80]], 'acme': [[21, 100]]}, 'as_of': 20}, {'control': 270, 'subledger': -160, 'difference': 430, 'credit_balances': ['crux'], 'open_customers': 1}], ['control 2', {'control': [[5, 400], [1, 250], [9, 400], [9, 400]], 'sub': {'acme': [[1, -300], [11, -80]], 'bolt': [[1, 250], [10, 250], [5, -300]], 'dyna': [[1, -300], [10, -300], [1, 100]]}, 'as_of': 10}, {'control': 1450, 'subledger': -600, 'difference': 2050, 'credit_balances': ['acme', 'dyna'], 'open_customers': 3}], ['control 3', {'control': [[9, -80], [11, 400]], 'sub': {'bolt': [[5, 100], [5, 250]], 'acme': [[11, 100], [11, -80], [10, 250]]}, 'as_of': 10}, {'control': -80, 'subledger': 600, 'difference': -680, 'credit_balances': [], 'open_customers': 2}], ['control 4', {'control': [[1, 100], [1, 250], [5, 250], [1, 100], [1, 400], [5, -80]], 'sub': {'bolt': [[10, -80], [10, 400]], 'crux': [[1, 250], [10, 250]]}, 'as_of': 10}, {'control': 1020, 'subledger': 820, 'difference': 200, 'credit_balances': [], 'open_customers': 2}], ['control 5', {'control': [[1, -80], [11, -80], [9, -80]], 'sub': {'crux': [[11, -80]], 'acme': [[1, -80]], 'dyna': [[5, 100], [1, -80]], 'bolt': [[10, 250]]}, 'as_of': 10}, {'control': -160, 'subledger': 190, 'difference': -350, 'credit_balances': ['acme'], 'open_customers': 3}], ['control 6', {'control': [[5, 250], [19, 400], [19, 100], [19, 100]], 'sub': {'crux': [[5, 400], [1, -300], [1, 400]], 'acme': [[21, 250], [5, -300], [20, -80]]}, 'as_of': 20}, {'control': 850, 'subledger': 120, 'difference': 730, 'credit_balances': ['acme'], 'open_customers': 2}]]]
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: control cutoff | {'control': 420, 'credit_balances': [], 'difference': 170, 'open_customers': 1, 'subledger': 250} | {'control': 820, 'credit_balances': [], 'difference': 570, 'open_customers': 1, 'subledger': 250} | Failed |
| control 1 | {'control': 20, 'credit_balances': [], 'difference': -420, 'open_customers': 3, 'subledger': 440} | {'control': 20, 'credit_balances': [], 'difference': -1320, 'open_customers': 3, 'subledger': 1340} | Failed |
| control 2 | {'control': 600, 'credit_balances': ['bolt'], 'difference': 580, 'open_customers': 2, 'subledger': 20} | {'control': 600, 'credit_balances': ['bolt'], 'difference': 260, 'open_customers': 3, 'subledger': 340} | Failed |
| control 3 | {'control': 740, 'credit_balances': [], 'difference': -160, 'open_customers': 3, 'subledger': 900} | {'control': 740, 'credit_balances': [], 'difference': -160, 'open_customers': 3, 'subledger': 900} | Passed |
| control 4 | {'control': 120, 'credit_balances': ['bolt'], 'difference': 370, 'open_customers': 2, 'subledger': -250} | {'control': 120, 'credit_balances': ['bolt'], 'difference': 120, 'open_customers': 2, 'subledger': 0} | Failed |
| control 5 | {'control': -160, 'credit_balances': [], 'difference': -330, 'open_customers': 1, 'subledger': 170} | {'control': -160, 'credit_balances': [], 'difference': -330, 'open_customers': 1, 'subledger': 170} | Passed |
| control 6 | {'control': 970, 'credit_balances': [], 'difference': 620, 'open_customers': 2, 'subledger': 350} | {'control': 970, 'credit_balances': [], 'difference': 620, 'open_customers': 2, 'subledger': 350} | Passed |
SHA-256 / e9252cd7e9586ce7cb3b4df56544ce0ce7f6eabf3f8858cc164da00f0236d76d
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
cut = x['as_of']
control = sum(a for d, a in x['control'] if d <= cut)
per = {}
for cust, rows in x['sub'].items():
per[cust] = sum(a for d, a in rows if d <= cut)
sub_total = sum(per.values())
credit = sorted(c for c, v in per.items() if v < 0)
return {'control': control, 'subledger': sub_total, 'difference': control - sub_total, 'credit_balances': credit, 'open_customers': sum(1 for v in per.values() if v != 0)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: control cutoff', {'control': [[21, 400], [5, 250], [19, 250], [20, 400], [19, -80]], 'sub': {'bolt': [[5, 250]]}, 'as_of': 20}, {'control': 820, 'subledger': 250, 'difference': 570, 'credit_balances': [], 'open_customers': 1}], ['control 1', {'control': [[5, 100], [19, -80], [21, -80]], 'sub': {'bolt': [[5, -80], [1, 250], [5, -80]], 'acme': [[21, 100]], 'dyna': [[20, 400], [1, 250], [20, 100]], 'crux': [[20, 400], [5, 100]]}, 'as_of': 20}, {'control': 20, 'subledger': 1340, 'difference': -1320, 'credit_balances': [], 'open_customers': 3}], ['control 2', {'control': [[5, 100], [21, 250], [19, 400], [5, 100]], 'sub': {'dyna': [[21, -80], [21, 100], [20, 400]], 'acme': [[5, 100], [20, -80], [21, -300]], 'bolt': [[5, -80], [21, -300]]}, 'as_of': 20}, {'control': 600, 'subledger': 340, 'difference': 260, 'credit_balances': ['bolt'], 'open_customers': 3}], ['control 3', {'control': [[5, 400], [1, 250], [9, -80], [5, -80], [5, 250]], 'sub': {'acme': [[5, 250], [11, 100]], 'crux': [[5, 400]], 'dyna': [[5, 250]]}, 'as_of': 10}, {'control': 740, 'subledger': 900, 'difference': -160, 'credit_balances': [], 'open_customers': 3}], ['control 4', {'control': [[32, 100], [30, -80], [5, 100], [5, 100]], 'sub': {'crux': [[5, 100], [1, 250], [1, -300]], 'bolt': [[31, 250], [5, -300]]}, 'as_of': 31}, {'control': 120, 'subledger': 0, 'difference': 120, 'credit_balances': ['bolt'], 'open_customers': 2}], ['control 5', {'control': [[11, 250], [1, -80], [11, 400], [1, -80]], 'sub': {'acme': [[1, 250], [1, -80], [11, 250]], 'bolt': [[11, 100]], 'dyna': [[11, -80]]}, 'as_of': 10}, {'control': -160, 'subledger': 170, 'difference': -330, 'credit_balances': [], 'open_customers': 1}], ['control 6', {'control': [[5, 400], [21, 400], [19, -80], [19, 400], [19, 250]], 'sub': {'bolt': [[5, 100]], 'acme': [[1, 250]]}, 'as_of': 20}, {'control': 970, 'subledger': 350, 'difference': 620, 'credit_balances': [], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[20, 250], [19, 100], [5, 400]], 'sub': {'bolt': [[20, 250]], 'acme': [[1, -300], [1, 100], [1, 250]]}, 'as_of': 20}, {'control': 750, 'subledger': 300, 'difference': 450, 'credit_balances': [], 'open_customers': 2}], ['control 1', {'control': [[1, 400], [11, 250]], 'sub': {'dyna': [[1, 250]], 'crux': [[1, 250], [1, 250], [1, 100]], 'acme': [[10, 250], [1, 250], [11, 250]], 'bolt': [[11, 250], [5, 400]]}, 'as_of': 10}, {'control': 400, 'subledger': 1750, 'difference': -1350, 'credit_balances': [], 'open_customers': 4}], ['control 2', {'control': [[5, -80], [19, 400], [1, -80]], 'sub': {'crux': [[21, -300], [21, 400]], 'bolt': [[1, 250], [21, 250]], 'dyna': [[21, -300], [20, 250], [5, 250]]}, 'as_of': 20}, {'control': 240, 'subledger': 750, 'difference': -510, 'credit_balances': [], 'open_customers': 2}], ['control 3', {'control': [[1, 250], [5, 100], [1, 400]], 'sub': {'dyna': [[1, -300]], 'bolt': [[1, -300]], 'crux': [[1, 250]], 'acme': [[11, 100]]}, 'as_of': 10}, {'control': 750, 'subledger': -350, 'difference': 1100, 'credit_balances': ['bolt', 'dyna'], 'open_customers': 3}], ['control 4', {'control': [[1, 400], [30, 100]], 'sub': {'acme': [[31, 100], [32, 250], [31, -80]], 'crux': [[1, 250], [32, -300], [5, -300]]}, 'as_of': 31}, {'control': 500, 'subledger': -30, 'difference': 530, 'credit_balances': ['crux'], 'open_customers': 2}], ['control 5', {'control': [[5, 400], [32, 400]], 'sub': {'acme': [[32, 100]], 'crux': [[1, 100], [5, 400]], 'dyna': [[31, -300], [31, 250]]}, 'as_of': 31}, {'control': 400, 'subledger': 450, 'difference': -50, 'credit_balances': ['dyna'], 'open_customers': 2}], ['control 6', {'control': [[19, 400], [5, 400]], 'sub': {'bolt': [[20, -80], [5, 100]], 'crux': [[21, -80], [5, 100]]}, 'as_of': 20}, {'control': 800, 'subledger': 120, 'difference': 680, 'credit_balances': [], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[1, -80], [1, 100], [32, 400], [31, 250]], 'sub': {'bolt': [[1, 250]]}, 'as_of': 31}, {'control': 270, 'subledger': 250, 'difference': 20, 'credit_balances': [], 'open_customers': 1}], ['control 1', {'control': [[9, 250], [11, 100], [11, -80], [11, 250]], 'sub': {'dyna': [[1, 250], [11, 400], [10, -80]], 'acme': [[11, -300], [1, 400], [1, 400]], 'bolt': [[1, -300]]}, 'as_of': 10}, {'control': 250, 'subledger': 670, 'difference': -420, 'credit_balances': ['bolt'], 'open_customers': 3}], ['control 2', {'control': [[11, 100], [5, -80], [9, 400]], 'sub': {'acme': [[11, 100], [11, 250], [1, 250]], 'dyna': [[5, 100]], 'bolt': [[5, -300], [5, -300]], 'crux': [[5, 250], [11, -300], [1, 100]]}, 'as_of': 10}, {'control': 320, 'subledger': 100, 'difference': 220, 'credit_balances': ['bolt'], 'open_customers': 4}], ['control 3', {'control': [[1, -80], [5, 250], [1, 400], [21, -80], [5, 250], [5, 100]], 'sub': {'crux': [[20, -80]], 'acme': [[1, 100]], 'bolt': [[5, 400], [1, 400], [21, 250]]}, 'as_of': 20}, {'control': 920, 'subledger': 820, 'difference': 100, 'credit_balances': ['crux'], 'open_customers': 3}], ['control 4', {'control': [[5, 400], [1, 250], [5, -80], [5, 250], [11, -80], [1, 400]], 'sub': {'dyna': [[11, 100]], 'acme': [[5, 400], [1, 100]], 'crux': [[5, 400], [5, -300]]}, 'as_of': 10}, {'control': 1220, 'subledger': 600, 'difference': 620, 'credit_balances': [], 'open_customers': 2}], ['control 5', {'control': [[11, 250], [5, 250]], 'sub': {'acme': [[1, -80], [11, 100]], 'crux': [[5, 250]], 'dyna': [[11, -300], [5, 250], [1, 250]]}, 'as_of': 10}, {'control': 250, 'subledger': 670, 'difference': -420, 'credit_balances': ['acme'], 'open_customers': 3}], ['control 6', {'control': [[5, 100], [32, 250], [5, 100]], 'sub': {'dyna': [[32, 400], [5, -80], [1, 100]], 'acme': [[32, -80], [1, -80]], 'bolt': [[1, 400]]}, 'as_of': 31}, {'control': 200, 'subledger': 340, 'difference': -140, 'credit_balances': ['acme'], 'open_customers': 3}]], [['regression: control cutoff', {'control': [[20, -80], [21, 100]], 'sub': {'dyna': [[1, -80], [20, 250]], 'bolt': [[1, -300], [20, 400], [21, -300]]}, 'as_of': 20}, {'control': -80, 'subledger': 270, 'difference': -350, 'credit_balances': [], 'open_customers': 2}], ['control 1', {'control': [[5, 400], [30, 250]], 'sub': {'dyna': [[5, 250], [31, 400]], 'bolt': [[32, 400], [32, -80], [5, 250]], 'crux': [[5, -300], [1, 250], [31, -300]]}, 'as_of': 31}, {'control': 650, 'subledger': 550, 'difference': 100, 'credit_balances': ['crux'], 'open_customers': 3}], ['control 2', {'control': [[1, 100], [11, 100], [1, 100], [9, 400], [9, 100], [9, 100]], 'sub': {'dyna': [[1, 100], [5, 100]]}, 'as_of': 10}, {'control': 800, 'subledger': 200, 'difference': 600, 'credit_balances': [], 'open_customers': 1}], ['control 3', {'control': [[21, -80], [19, 250], [5, 100], [19, -80], [21, 400]], 'sub': {'acme': [[20, 250], [5, 100], [21, 400]], 'bolt': [[1, 400], [20, -80]], 'dyna': [[5, 100]]}, 'as_of': 20}, {'control': 270, 'subledger': 770, 'difference': -500, 'credit_balances': [], 'open_customers': 3}], ['control 4', {'control': [[21, 250], [5, 100], [21, 250]], 'sub': {'bolt': [[21, -300], [5, 100]]}, 'as_of': 20}, {'control': 100, 'subledger': 100, 'difference': 0, 'credit_balances': [], 'open_customers': 1}], ['control 5', {'control': [[5, 250], [11, 250], [1, -80]], 'sub': {'acme': [[10, 400], [1, 400], [5, -80]], 'dyna': [[1, -300]], 'bolt': [[1, -300], [5, 400]], 'crux': [[11, 400], [1, 250], [11, 100]]}, 'as_of': 10}, {'control': 170, 'subledger': 770, 'difference': -600, 'credit_balances': ['dyna'], 'open_customers': 4}], ['control 6', {'control': [[11, 400], [11, -80]], 'sub': {'dyna': [[5, 250]], 'crux': [[10, -300]]}, 'as_of': 10}, {'control': 0, 'subledger': -50, 'difference': 50, 'credit_balances': ['crux'], 'open_customers': 2}]], [['regression: control cutoff', {'control': [[10, -80], [9, 400], [1, 250]], 'sub': {'crux': [[5, 250], [1, 400], [5, 250]], 'acme': [[10, -80]]}, 'as_of': 10}, {'control': 570, 'subledger': 820, 'difference': -250, 'credit_balances': ['acme'], 'open_customers': 2}], ['control 1', {'control': [[5, 100], [5, 250], [19, -80], [21, 250], [21, 250]], 'sub': {'crux': [[20, -80], [20, -80]], 'acme': [[21, 100]]}, 'as_of': 20}, {'control': 270, 'subledger': -160, 'difference': 430, 'credit_balances': ['crux'], 'open_customers': 1}], ['control 2', {'control': [[5, 400], [1, 250], [9, 400], [9, 400]], 'sub': {'acme': [[1, -300], [11, -80]], 'bolt': [[1, 250], [10, 250], [5, -300]], 'dyna': [[1, -300], [10, -300], [1, 100]]}, 'as_of': 10}, {'control': 1450, 'subledger': -600, 'difference': 2050, 'credit_balances': ['acme', 'dyna'], 'open_customers': 3}], ['control 3', {'control': [[9, -80], [11, 400]], 'sub': {'bolt': [[5, 100], [5, 250]], 'acme': [[11, 100], [11, -80], [10, 250]]}, 'as_of': 10}, {'control': -80, 'subledger': 600, 'difference': -680, 'credit_balances': [], 'open_customers': 2}], ['control 4', {'control': [[1, 100], [1, 250], [5, 250], [1, 100], [1, 400], [5, -80]], 'sub': {'bolt': [[10, -80], [10, 400]], 'crux': [[1, 250], [10, 250]]}, 'as_of': 10}, {'control': 1020, 'subledger': 820, 'difference': 200, 'credit_balances': [], 'open_customers': 2}], ['control 5', {'control': [[1, -80], [11, -80], [9, -80]], 'sub': {'crux': [[11, -80]], 'acme': [[1, -80]], 'dyna': [[5, 100], [1, -80]], 'bolt': [[10, 250]]}, 'as_of': 10}, {'control': -160, 'subledger': 190, 'difference': -350, 'credit_balances': ['acme'], 'open_customers': 3}], ['control 6', {'control': [[5, 250], [19, 400], [19, 100], [19, 100]], 'sub': {'crux': [[5, 400], [1, -300], [1, 400]], 'acme': [[21, 250], [5, -300], [20, -80]]}, 'as_of': 20}, {'control': 850, 'subledger': 120, 'difference': 730, 'credit_balances': ['acme'], 'open_customers': 2}]]]
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: control cutoff | {'control': 820, 'credit_balances': [], 'difference': 570, 'open_customers': 1, 'subledger': 250} | {'control': 820, 'credit_balances': [], 'difference': 570, 'open_customers': 1, 'subledger': 250} | Passed |
| control 1 | {'control': 20, 'credit_balances': [], 'difference': -1320, 'open_customers': 3, 'subledger': 1340} | {'control': 20, 'credit_balances': [], 'difference': -1320, 'open_customers': 3, 'subledger': 1340} | Passed |
| control 2 | {'control': 600, 'credit_balances': ['bolt'], 'difference': 260, 'open_customers': 3, 'subledger': 340} | {'control': 600, 'credit_balances': ['bolt'], 'difference': 260, 'open_customers': 3, 'subledger': 340} | Passed |
| control 3 | {'control': 740, 'credit_balances': [], 'difference': -160, 'open_customers': 3, 'subledger': 900} | {'control': 740, 'credit_balances': [], 'difference': -160, 'open_customers': 3, 'subledger': 900} | Passed |
| control 4 | {'control': 120, 'credit_balances': ['bolt'], 'difference': 120, 'open_customers': 2, 'subledger': 0} | {'control': 120, 'credit_balances': ['bolt'], 'difference': 120, 'open_customers': 2, 'subledger': 0} | Passed |
| control 5 | {'control': -160, 'credit_balances': [], 'difference': -330, 'open_customers': 1, 'subledger': 170} | {'control': -160, 'credit_balances': [], 'difference': -330, 'open_customers': 1, 'subledger': 170} | Passed |
| control 6 | {'control': 970, 'credit_balances': [], 'difference': 620, 'open_customers': 2, 'subledger': 350} | {'control': 970, 'credit_balances': [], 'difference': 620, 'open_customers': 2, 'subledger': 350} | Passed |
SHA-256 / 99807e7567ef46518690ed2e0daf3dbf0acbc69b8b4c355b525a30d03d2d77f0
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:24.863843+00:00.
Case digest / c250f9bd3739c9767f309d099016ead19dc683fe90222064da02d062beb32da6