FA-58026 / Double-entry ledger accounting / Open access

Auto-reversing accruals: as-of inclusivity · case 01

Balances as of a date omit entries dated that day.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The as-of filter is exclusive.

VERIFIED REPAIR

Include rows dated on the as-of day.

Unsuccessful approach: Making only regular rows inclusive still drops same-day accruals and reversals.

Case contract

x = {'period_end': day, 'as_of': day, 'entries': [[id, day, kind, account, signed amount]]}. Every entry of kind 'accrual' dated on or before period_end is reversed by a generated entry 'R-'+id dated period_end + 1 with the negated amount; regular and deferral entries and later accruals are not reversed. Balances include every original and generated row dated on or before as_of; an account with rows in range appears even if its balance is zero. Return {'reversals': [[id, day, amount]], 'balances': {account: amount}}.

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):
    end = x['period_end']
    rev = []
    for eid, day, kind, acct, amt in x['entries']:
        if kind == 'accrual' and day <= end:
            rev.append(['R-' + eid, end + 1, kind, acct, -amt])
    bal = {}
    for eid, day, kind, acct, amt in x['entries'] + rev:
        if day < x['as_of']:
            bal[acct] = bal.get(acct, 0) + amt
    return {'reversals': [[r[0], r[1], r[4]] for r in rev], 'balances': bal}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 5, 'accrual', 'rent', 250], ['E1', 27, 'regular', 'rent', 250], ['E2', 30, 'accrual', 'cash', -100], ['E3', 30, 'deferral', 'accrued_interest', 100]], 'as_of': 29}, {'reversals': [['R-E0', 29, -250]], 'balances': {'rent': 250}}], ['control 1', {'period_end': 30, 'entries': [['E0', 32, 'accrual', 'accrued_wages', 250], ['E1', 32, 'regular', 'cash', 100], ['E2', 27, 'accrual', 'rent', 100], ['E3', 5, 'regular', 'accrued_wages', 100], ['E4', 31, 'regular', 'accrued_interest', -40], ['E5', 32, 'regular', 'cash', -40]], 'as_of': 30}, {'reversals': [['R-E2', 31, -100]], 'balances': {'rent': 100, 'accrued_wages': 100}}], ['control 2', {'period_end': 28, 'entries': [['E0', 30, 'accrual', 'accrued_interest', 700], ['E1', 5, 'deferral', 'accrued_interest', -100], ['E2', 5, 'regular', 'cash', -40]], 'as_of': 29}, {'reversals': [], 'balances': {'accrued_interest': -100, 'cash': -40}}], ['control 3', {'period_end': 30, 'entries': [['E0', 29, 'regular', 'rent', 700], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'accrued_interest', -100]], 'as_of': 32}, {'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]], 'balances': {'rent': 700, 'accrued_interest': 0}}], ['control 4', {'period_end': 31, 'entries': [['E0', 5, 'deferral', 'accrued_interest', -40], ['E1', 28, 'deferral', 'accrued_wages', -100], ['E2', 33, 'deferral', 'cash', 100], ['E3', 5, 'accrual', 'accrued_interest', -40], ['E4', 5, 'accrual', 'accrued_interest', 250], ['E5', 31, 'accrual', 'accrued_wages', 100]], 'as_of': 30}, {'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]], 'balances': {'accrued_interest': 170, 'accrued_wages': -100}}], ['control 5', {'period_end': 30, 'entries': [['E0', 30, 'deferral', 'accrued_wages', -40], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 30, 'accrual', 'accrued_wages', -100], ['E3', 30, 'deferral', 'cash', 100], ['E4', 30, 'accrual', 'cash', -100]], 'as_of': 32}, {'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]], 'balances': {'accrued_wages': -40, 'accrued_interest': 0, 'cash': 100}}], ['control 6', {'period_end': 30, 'entries': [['E0', 27, 'accrual', 'rent', -40], ['E1', 27, 'accrual', 'accrued_interest', 700], ['E2', 27, 'regular', 'accrued_interest', -100], ['E3', 30, 'deferral', 'cash', -40], ['E4', 30, 'deferral', 'rent', 100], ['E5', 30, 'accrual', 'accrued_wages', -40]], 'as_of': 29}, {'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]], 'balances': {'rent': -40, 'accrued_interest': 600}}]], [['regression: as-of inclusivity', {'period_end': 31, 'entries': [['E0', 31, 'deferral', 'accrued_wages', 250], ['E1', 28, 'accrual', 'cash', 100], ['E2', 5, 'accrual', 'accrued_wages', -40], ['E3', 31, 'regular', 'cash', 100], ['E4', 5, 'accrual', 'cash', -40], ['E5', 31, 'accrual', 'accrued_interest', 250], ['E6', 33, 'accrual', 'accrued_interest', -100]], 'as_of': 33}, {'reversals': [['R-E1', 32, -100], ['R-E2', 32, 40], ['R-E4', 32, 40], ['R-E5', 32, -250]], 'balances': {'accrued_wages': 250, 'cash': 100, 'accrued_interest': -100}}], ['control 1', {'period_end': 30, 'entries': [['E0', 32, 'deferral', 'accrued_wages', 100], ['E1', 29, 'regular', 'accrued_wages', 100], ['E2', 32, 'deferral', 'accrued_wages', 700], ['E3', 27, 'deferral', 'rent', -40]], 'as_of': 30}, {'reversals': [], 'balances': {'accrued_wages': 100, 'rent': -40}}], ['control 2', {'period_end': 28, 'entries': [['E0', 5, 'regular', 'accrued_interest', -40], ['E1', 30, 'accrual', 'accrued_interest', 250], ['E2', 29, 'regular', 'cash', 700], ['E3', 30, 'accrual', 'cash', 700], ['E4', 27, 'deferral', 'rent', 250], ['E5', 29, 'accrual', 'accrued_interest', -100], ['E6', 27, 'deferral', 'rent', 700]], 'as_of': 28}, {'reversals': [], 'balances': {'accrued_interest': -40, 'rent': 950}}], ['control 3', {'period_end': 28, 'entries': [['E0', 25, 'regular', 'accrued_interest', 100], ['E1', 29, 'accrual', 'cash', 100], ['E2', 30, 'accrual', 'rent', 100], ['E3', 29, 'regular', 'cash', 700], ['E4', 25, 'accrual', 'rent', 700]], 'as_of': 28}, {'reversals': [['R-E4', 29, -700]], 'balances': {'accrued_interest': 100, 'rent': 700}}], ['control 4', {'period_end': 28, 'entries': [['E0', 29, 'deferral', 'cash', -40], ['E1', 5, 'accrual', 'accrued_interest', -100], ['E2', 25, 'deferral', 'accrued_interest', 250], ['E3', 25, 'accrual', 'accrued_wages', 700], ['E4', 28, 'accrual', 'rent', -100]], 'as_of': 27}, {'reversals': [['R-E1', 29, 100], ['R-E3', 29, -700], ['R-E4', 29, 100]], 'balances': {'accrued_interest': 150, 'accrued_wages': 700}}], ['control 5', {'period_end': 28, 'entries': [['E0', 5, 'regular', 'rent', 100], ['E1', 29, 'deferral', 'accrued_interest', 700], ['E2', 25, 'regular', 'accrued_wages', -40], ['E3', 28, 'accrual', 'accrued_wages', -100], ['E4', 25, 'accrual', 'accrued_interest', 100], ['E5', 28, 'deferral', 'accrued_wages', 100], ['E6', 30, 'regular', 'rent', -40]], 'as_of': 28}, {'reversals': [['R-E3', 29, 100], ['R-E4', 29, -100]], 'balances': {'rent': 100, 'accrued_wages': -40, 'accrued_interest': 100}}], ['control 6', {'period_end': 31, 'entries': [['E0', 5, 'accrual', 'cash', 700], ['E1', 32, 'deferral', 'cash', -40], ['E2', 5, 'accrual', 'accrued_wages', -40]], 'as_of': 33}, {'reversals': [['R-E0', 32, -700], ['R-E2', 32, 40]], 'balances': {'cash': -40, 'accrued_wages': 0}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 27, 'regular', 'accrued_interest', 100], ['E1', 30, 'deferral', 'accrued_interest', 250], ['E2', 28, 'accrual', 'rent', -40], ['E3', 28, 'accrual', 'accrued_interest', 100], ['E4', 5, 'accrual', 'accrued_wages', 700]], 'as_of': 27}, {'reversals': [['R-E2', 29, 40], ['R-E3', 29, -100], ['R-E4', 29, -700]], 'balances': {'accrued_interest': 100, 'accrued_wages': 700}}], ['regression: as-of inclusivity, partial-repair probe', {'period_end': 30, 'entries': [['E0', 27, 'regular', 'cash', 250], ['E1', 29, 'regular', 'rent', 100], ['E2', 29, 'accrual', 'accrued_wages', 250], ['E3', 30, 'accrual', 'rent', 100], ['E4', 5, 'accrual', 'cash', 250], ['E5', 27, 'deferral', 'accrued_wages', -100]], 'as_of': 29}, {'reversals': [['R-E2', 31, -250], ['R-E3', 31, -100], ['R-E4', 31, -250]], 'balances': {'cash': 500, 'rent': 100, 'accrued_wages': 150}}], ['control 1', {'period_end': 30, 'entries': [['E0', 5, 'deferral', 'rent', -40], ['E1', 30, 'accrual', 'accrued_wages', 250], ['E2', 30, 'deferral', 'accrued_interest', -40], ['E3', 27, 'accrual', 'accrued_interest', 100], ['E4', 32, 'regular', 'cash', 250]], 'as_of': 29}, {'reversals': [['R-E1', 31, -250], ['R-E3', 31, -100]], 'balances': {'rent': -40, 'accrued_interest': 100}}], ['control 2', {'period_end': 30, 'entries': [['E0', 30, 'accrual', 'rent', -100], ['E1', 31, 'regular', 'rent', 700], ['E2', 32, 'deferral', 'cash', 250]], 'as_of': 29}, {'reversals': [['R-E0', 31, 100]], 'balances': {}}], ['control 3', {'period_end': 31, 'entries': [['E0', 28, 'accrual', 'accrued_interest', 100], ['E1', 31, 'deferral', 'cash', 250], ['E2', 30, 'regular', 'cash', -100]], 'as_of': 33}, {'reversals': [['R-E0', 32, -100]], 'balances': {'accrued_interest': 0, 'cash': 150}}], ['control 4', {'period_end': 28, 'entries': [['E0', 25, 'deferral', 'accrued_interest', -40], ['E1', 29, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'accrued_interest', -40], ['E3', 28, 'accrual', 'accrued_wages', -40], ['E4', 28, 'accrual', 'cash', 100], ['E5', 5, 'accrual', 'rent', 250]], 'as_of': 27}, {'reversals': [['R-E3', 29, 40], ['R-E4', 29, -100], ['R-E5', 29, -250]], 'balances': {'accrued_interest': -40, 'rent': 250}}], ['control 5', {'period_end': 30, 'entries': [['E0', 31, 'accrual', 'cash', -100], ['E1', 31, 'deferral', 'accrued_interest', 700], ['E2', 30, 'accrual', 'accrued_wages', -100]], 'as_of': 29}, {'reversals': [['R-E2', 31, 100]], 'balances': {}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 27, 'deferral', 'accrued_wages', 700], ['E1', 28, 'accrual', 'cash', 250], ['E2', 28, 'regular', 'cash', 100]], 'as_of': 27}, {'reversals': [['R-E1', 29, -250]], 'balances': {'accrued_wages': 700}}], ['control 1', {'period_end': 28, 'entries': [['E0', 5, 'accrual', 'rent', -40], ['E1', 27, 'accrual', 'cash', -100], ['E2', 5, 'accrual', 'cash', 100], ['E3', 27, 'regular', 'accrued_interest', 700]], 'as_of': 30}, {'reversals': [['R-E0', 29, 40], ['R-E1', 29, 100], ['R-E2', 29, -100]], 'balances': {'rent': 0, 'cash': 0, 'accrued_interest': 700}}], ['control 2', {'period_end': 28, 'entries': [['E0', 27, 'accrual', 'cash', 100], ['E1', 29, 'accrual', 'accrued_interest', 700], ['E2', 28, 'deferral', 'rent', 250], ['E3', 29, 'regular', 'accrued_interest', 250]], 'as_of': 30}, {'reversals': [['R-E0', 29, -100]], 'balances': {'cash': 0, 'accrued_interest': 950, 'rent': 250}}], ['control 3', {'period_end': 30, 'entries': [['E0', 30, 'regular', 'cash', -40], ['E1', 30, 'accrual', 'cash', 700], ['E2', 30, 'deferral', 'accrued_wages', 700]], 'as_of': 32}, {'reversals': [['R-E1', 31, -700]], 'balances': {'cash': -40, 'accrued_wages': 700}}], ['control 4', {'period_end': 28, 'entries': [['E0', 29, 'regular', 'cash', 100], ['E1', 25, 'accrual', 'cash', 250], ['E2', 27, 'deferral', 'rent', -100], ['E3', 28, 'regular', 'cash', 100], ['E4', 28, 'regular', 'rent', 250], ['E5', 28, 'regular', 'rent', -40], ['E6', 28, 'accrual', 'rent', 250]], 'as_of': 30}, {'reversals': [['R-E1', 29, -250], ['R-E6', 29, -250]], 'balances': {'cash': 200, 'rent': 110}}], ['control 5', {'period_end': 31, 'entries': [['E0', 28, 'regular', 'cash', 100], ['E1', 33, 'accrual', 'accrued_wages', 100], ['E2', 5, 'deferral', 'cash', 700], ['E3', 30, 'accrual', 'cash', 700], ['E4', 30, 'accrual', 'accrued_wages', 100]], 'as_of': 31}, {'reversals': [['R-E3', 32, -700], ['R-E4', 32, -100]], 'balances': {'cash': 1500, 'accrued_wages': 100}}], ['control 6', {'period_end': 30, 'entries': [['E0', 31, 'deferral', 'cash', 100], ['E1', 31, 'accrual', 'accrued_wages', 100], ['E2', 30, 'deferral', 'accrued_interest', -100], ['E3', 5, 'deferral', 'accrued_interest', 250]], 'as_of': 32}, {'reversals': [], 'balances': {'cash': 100, 'accrued_wages': 100, 'accrued_interest': 150}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 28, 'regular', 'cash', -40], ['E1', 27, 'accrual', 'accrued_interest', 100], ['E2', 30, 'regular', 'cash', -40]], 'as_of': 29}, {'reversals': [['R-E1', 29, -100]], 'balances': {'cash': -40, 'accrued_interest': 0}}], ['control 1', {'period_end': 28, 'entries': [['E0', 28, 'accrual', 'rent', 700], ['E1', 30, 'accrual', 'accrued_interest', -100], ['E2', 29, 'deferral', 'cash', 100], ['E3', 28, 'regular', 'cash', 700], ['E4', 29, 'accrual', 'cash', -40], ['E5', 30, 'regular', 'cash', 250]], 'as_of': 27}, {'reversals': [['R-E0', 29, -700]], 'balances': {}}], ['control 2', {'period_end': 31, 'entries': [['E0', 31, 'deferral', 'cash', -100], ['E1', 31, 'deferral', 'cash', -100], ['E2', 32, 'regular', 'cash', 700], ['E3', 32, 'accrual', 'rent', 100], ['E4', 31, 'deferral', 'accrued_wages', 700]], 'as_of': 30}, {'reversals': [], 'balances': {}}], ['control 3', {'period_end': 28, 'entries': [['E0', 27, 'accrual', 'cash', 100], ['E1', 5, 'accrual', 'rent', 100], ['E2', 30, 'accrual', 'rent', 700], ['E3', 30, 'accrual', 'cash', -100], ['E4', 30, 'deferral', 'rent', -40]], 'as_of': 28}, {'reversals': [['R-E0', 29, -100], ['R-E1', 29, -100]], 'balances': {'cash': 100, 'rent': 100}}], ['control 4', {'period_end': 31, 'entries': [['E0', 28, 'regular', 'cash', 100], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 28, 'deferral', 'accrued_wages', -100], ['E3', 31, 'accrual', 'cash', 250], ['E4', 30, 'deferral', 'accrued_wages', 250]], 'as_of': 33}, {'reversals': [['R-E1', 32, -100], ['R-E3', 32, -250]], 'balances': {'cash': 100, 'accrued_interest': 0, 'accrued_wages': 150}}], ['control 5', {'period_end': 28, 'entries': [['E0', 29, 'regular', 'accrued_interest', 100], ['E1', 28, 'deferral', 'rent', -40], ['E2', 29, 'regular', 'rent', 100], ['E3', 29, 'accrual', 'cash', 250], ['E4', 25, 'accrual', 'accrued_interest', 250], ['E5', 25, 'regular', 'accrued_interest', -100], ['E6', 5, 'accrual', 'accrued_interest', 100]], 'as_of': 30}, {'reversals': [['R-E4', 29, -250], ['R-E6', 29, -100]], 'balances': {'accrued_interest': 0, 'rent': 60, 'cash': 250}}], ['control 6', {'period_end': 28, 'entries': [['E0', 28, 'regular', 'accrued_interest', 100], ['E1', 28, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'rent', 100], ['E3', 29, 'deferral', 'accrued_interest', -40], ['E4', 28, 'deferral', 'cash', 100], ['E5', 28, 'accrual', 'accrued_wages', -40]], 'as_of': 27}, {'reversals': [['R-E1', 29, -100], ['R-E5', 29, 40]], 'balances': {}}]]]
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: as-of inclusivity	`{'balances': {'rent': 500}, 'reversals': [['R-E0', 29, -250]]}`	`{'balances': {'rent': 250}, 'reversals': [['R-E0', 29, -250]]}`	Failed
control 1	`{'balances': {'accrued_wages': 100, 'rent': 100}, 'reversals': [['R-E2', 31, -100]]}`	`{'balances': {'accrued_wages': 100, 'rent': 100}, 'reversals': [['R-E2', 31, -100]]}`	Passed
control 2	`{'balances': {'accrued_interest': -100, 'cash': -40}, 'reversals': []}`	`{'balances': {'accrued_interest': -100, 'cash': -40}, 'reversals': []}`	Passed
control 3	`{'balances': {'accrued_interest': 0, 'rent': 700}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]]}`	`{'balances': {'accrued_interest': 0, 'rent': 700}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]]}`	Passed
control 4	`{'balances': {'accrued_interest': 170, 'accrued_wages': -100}, 'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]]}`	`{'balances': {'accrued_interest': 170, 'accrued_wages': -100}, 'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]]}`	Passed
control 5	`{'balances': {'accrued_interest': 0, 'accrued_wages': -40, 'cash': 100}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]]}`	`{'balances': {'accrued_interest': 0, 'accrued_wages': -40, 'cash': 100}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]]}`	Passed
control 6	`{'balances': {'accrued_interest': 600, 'rent': -40}, 'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]]}`	`{'balances': {'accrued_interest': 600, 'rent': -40}, 'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]]}`	Passed

SHA-256 / 59323ef2009d26ea834982c71dcdd1d7ce0e1ac0441767d44f5ff52c6090459b

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    end = x['period_end']
    rev = []
    for eid, day, kind, acct, amt in x['entries']:
        if kind == 'accrual' and day <= end:
            rev.append(['R-' + eid, end + 1, kind, acct, -amt])
    bal = {}
    for eid, day, kind, acct, amt in x['entries'] + rev:
        if day < x['as_of'] + (1 if kind == 'regular' else 0):
            bal[acct] = bal.get(acct, 0) + amt
    return {'reversals': [[r[0], r[1], r[4]] for r in rev], 'balances': bal}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 5, 'accrual', 'rent', 250], ['E1', 27, 'regular', 'rent', 250], ['E2', 30, 'accrual', 'cash', -100], ['E3', 30, 'deferral', 'accrued_interest', 100]], 'as_of': 29}, {'reversals': [['R-E0', 29, -250]], 'balances': {'rent': 250}}], ['control 1', {'period_end': 30, 'entries': [['E0', 32, 'accrual', 'accrued_wages', 250], ['E1', 32, 'regular', 'cash', 100], ['E2', 27, 'accrual', 'rent', 100], ['E3', 5, 'regular', 'accrued_wages', 100], ['E4', 31, 'regular', 'accrued_interest', -40], ['E5', 32, 'regular', 'cash', -40]], 'as_of': 30}, {'reversals': [['R-E2', 31, -100]], 'balances': {'rent': 100, 'accrued_wages': 100}}], ['control 2', {'period_end': 28, 'entries': [['E0', 30, 'accrual', 'accrued_interest', 700], ['E1', 5, 'deferral', 'accrued_interest', -100], ['E2', 5, 'regular', 'cash', -40]], 'as_of': 29}, {'reversals': [], 'balances': {'accrued_interest': -100, 'cash': -40}}], ['control 3', {'period_end': 30, 'entries': [['E0', 29, 'regular', 'rent', 700], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'accrued_interest', -100]], 'as_of': 32}, {'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]], 'balances': {'rent': 700, 'accrued_interest': 0}}], ['control 4', {'period_end': 31, 'entries': [['E0', 5, 'deferral', 'accrued_interest', -40], ['E1', 28, 'deferral', 'accrued_wages', -100], ['E2', 33, 'deferral', 'cash', 100], ['E3', 5, 'accrual', 'accrued_interest', -40], ['E4', 5, 'accrual', 'accrued_interest', 250], ['E5', 31, 'accrual', 'accrued_wages', 100]], 'as_of': 30}, {'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]], 'balances': {'accrued_interest': 170, 'accrued_wages': -100}}], ['control 5', {'period_end': 30, 'entries': [['E0', 30, 'deferral', 'accrued_wages', -40], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 30, 'accrual', 'accrued_wages', -100], ['E3', 30, 'deferral', 'cash', 100], ['E4', 30, 'accrual', 'cash', -100]], 'as_of': 32}, {'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]], 'balances': {'accrued_wages': -40, 'accrued_interest': 0, 'cash': 100}}], ['control 6', {'period_end': 30, 'entries': [['E0', 27, 'accrual', 'rent', -40], ['E1', 27, 'accrual', 'accrued_interest', 700], ['E2', 27, 'regular', 'accrued_interest', -100], ['E3', 30, 'deferral', 'cash', -40], ['E4', 30, 'deferral', 'rent', 100], ['E5', 30, 'accrual', 'accrued_wages', -40]], 'as_of': 29}, {'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]], 'balances': {'rent': -40, 'accrued_interest': 600}}]], [['regression: as-of inclusivity', {'period_end': 31, 'entries': [['E0', 31, 'deferral', 'accrued_wages', 250], ['E1', 28, 'accrual', 'cash', 100], ['E2', 5, 'accrual', 'accrued_wages', -40], ['E3', 31, 'regular', 'cash', 100], ['E4', 5, 'accrual', 'cash', -40], ['E5', 31, 'accrual', 'accrued_interest', 250], ['E6', 33, 'accrual', 'accrued_interest', -100]], 'as_of': 33}, {'reversals': [['R-E1', 32, -100], ['R-E2', 32, 40], ['R-E4', 32, 40], ['R-E5', 32, -250]], 'balances': {'accrued_wages': 250, 'cash': 100, 'accrued_interest': -100}}], ['control 1', {'period_end': 30, 'entries': [['E0', 32, 'deferral', 'accrued_wages', 100], ['E1', 29, 'regular', 'accrued_wages', 100], ['E2', 32, 'deferral', 'accrued_wages', 700], ['E3', 27, 'deferral', 'rent', -40]], 'as_of': 30}, {'reversals': [], 'balances': {'accrued_wages': 100, 'rent': -40}}], ['control 2', {'period_end': 28, 'entries': [['E0', 5, 'regular', 'accrued_interest', -40], ['E1', 30, 'accrual', 'accrued_interest', 250], ['E2', 29, 'regular', 'cash', 700], ['E3', 30, 'accrual', 'cash', 700], ['E4', 27, 'deferral', 'rent', 250], ['E5', 29, 'accrual', 'accrued_interest', -100], ['E6', 27, 'deferral', 'rent', 700]], 'as_of': 28}, {'reversals': [], 'balances': {'accrued_interest': -40, 'rent': 950}}], ['control 3', {'period_end': 28, 'entries': [['E0', 25, 'regular', 'accrued_interest', 100], ['E1', 29, 'accrual', 'cash', 100], ['E2', 30, 'accrual', 'rent', 100], ['E3', 29, 'regular', 'cash', 700], ['E4', 25, 'accrual', 'rent', 700]], 'as_of': 28}, {'reversals': [['R-E4', 29, -700]], 'balances': {'accrued_interest': 100, 'rent': 700}}], ['control 4', {'period_end': 28, 'entries': [['E0', 29, 'deferral', 'cash', -40], ['E1', 5, 'accrual', 'accrued_interest', -100], ['E2', 25, 'deferral', 'accrued_interest', 250], ['E3', 25, 'accrual', 'accrued_wages', 700], ['E4', 28, 'accrual', 'rent', -100]], 'as_of': 27}, {'reversals': [['R-E1', 29, 100], ['R-E3', 29, -700], ['R-E4', 29, 100]], 'balances': {'accrued_interest': 150, 'accrued_wages': 700}}], ['control 5', {'period_end': 28, 'entries': [['E0', 5, 'regular', 'rent', 100], ['E1', 29, 'deferral', 'accrued_interest', 700], ['E2', 25, 'regular', 'accrued_wages', -40], ['E3', 28, 'accrual', 'accrued_wages', -100], ['E4', 25, 'accrual', 'accrued_interest', 100], ['E5', 28, 'deferral', 'accrued_wages', 100], ['E6', 30, 'regular', 'rent', -40]], 'as_of': 28}, {'reversals': [['R-E3', 29, 100], ['R-E4', 29, -100]], 'balances': {'rent': 100, 'accrued_wages': -40, 'accrued_interest': 100}}], ['control 6', {'period_end': 31, 'entries': [['E0', 5, 'accrual', 'cash', 700], ['E1', 32, 'deferral', 'cash', -40], ['E2', 5, 'accrual', 'accrued_wages', -40]], 'as_of': 33}, {'reversals': [['R-E0', 32, -700], ['R-E2', 32, 40]], 'balances': {'cash': -40, 'accrued_wages': 0}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 27, 'regular', 'accrued_interest', 100], ['E1', 30, 'deferral', 'accrued_interest', 250], ['E2', 28, 'accrual', 'rent', -40], ['E3', 28, 'accrual', 'accrued_interest', 100], ['E4', 5, 'accrual', 'accrued_wages', 700]], 'as_of': 27}, {'reversals': [['R-E2', 29, 40], ['R-E3', 29, -100], ['R-E4', 29, -700]], 'balances': {'accrued_interest': 100, 'accrued_wages': 700}}], ['regression: as-of inclusivity, partial-repair probe', {'period_end': 30, 'entries': [['E0', 27, 'regular', 'cash', 250], ['E1', 29, 'regular', 'rent', 100], ['E2', 29, 'accrual', 'accrued_wages', 250], ['E3', 30, 'accrual', 'rent', 100], ['E4', 5, 'accrual', 'cash', 250], ['E5', 27, 'deferral', 'accrued_wages', -100]], 'as_of': 29}, {'reversals': [['R-E2', 31, -250], ['R-E3', 31, -100], ['R-E4', 31, -250]], 'balances': {'cash': 500, 'rent': 100, 'accrued_wages': 150}}], ['control 1', {'period_end': 30, 'entries': [['E0', 5, 'deferral', 'rent', -40], ['E1', 30, 'accrual', 'accrued_wages', 250], ['E2', 30, 'deferral', 'accrued_interest', -40], ['E3', 27, 'accrual', 'accrued_interest', 100], ['E4', 32, 'regular', 'cash', 250]], 'as_of': 29}, {'reversals': [['R-E1', 31, -250], ['R-E3', 31, -100]], 'balances': {'rent': -40, 'accrued_interest': 100}}], ['control 2', {'period_end': 30, 'entries': [['E0', 30, 'accrual', 'rent', -100], ['E1', 31, 'regular', 'rent', 700], ['E2', 32, 'deferral', 'cash', 250]], 'as_of': 29}, {'reversals': [['R-E0', 31, 100]], 'balances': {}}], ['control 3', {'period_end': 31, 'entries': [['E0', 28, 'accrual', 'accrued_interest', 100], ['E1', 31, 'deferral', 'cash', 250], ['E2', 30, 'regular', 'cash', -100]], 'as_of': 33}, {'reversals': [['R-E0', 32, -100]], 'balances': {'accrued_interest': 0, 'cash': 150}}], ['control 4', {'period_end': 28, 'entries': [['E0', 25, 'deferral', 'accrued_interest', -40], ['E1', 29, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'accrued_interest', -40], ['E3', 28, 'accrual', 'accrued_wages', -40], ['E4', 28, 'accrual', 'cash', 100], ['E5', 5, 'accrual', 'rent', 250]], 'as_of': 27}, {'reversals': [['R-E3', 29, 40], ['R-E4', 29, -100], ['R-E5', 29, -250]], 'balances': {'accrued_interest': -40, 'rent': 250}}], ['control 5', {'period_end': 30, 'entries': [['E0', 31, 'accrual', 'cash', -100], ['E1', 31, 'deferral', 'accrued_interest', 700], ['E2', 30, 'accrual', 'accrued_wages', -100]], 'as_of': 29}, {'reversals': [['R-E2', 31, 100]], 'balances': {}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 27, 'deferral', 'accrued_wages', 700], ['E1', 28, 'accrual', 'cash', 250], ['E2', 28, 'regular', 'cash', 100]], 'as_of': 27}, {'reversals': [['R-E1', 29, -250]], 'balances': {'accrued_wages': 700}}], ['control 1', {'period_end': 28, 'entries': [['E0', 5, 'accrual', 'rent', -40], ['E1', 27, 'accrual', 'cash', -100], ['E2', 5, 'accrual', 'cash', 100], ['E3', 27, 'regular', 'accrued_interest', 700]], 'as_of': 30}, {'reversals': [['R-E0', 29, 40], ['R-E1', 29, 100], ['R-E2', 29, -100]], 'balances': {'rent': 0, 'cash': 0, 'accrued_interest': 700}}], ['control 2', {'period_end': 28, 'entries': [['E0', 27, 'accrual', 'cash', 100], ['E1', 29, 'accrual', 'accrued_interest', 700], ['E2', 28, 'deferral', 'rent', 250], ['E3', 29, 'regular', 'accrued_interest', 250]], 'as_of': 30}, {'reversals': [['R-E0', 29, -100]], 'balances': {'cash': 0, 'accrued_interest': 950, 'rent': 250}}], ['control 3', {'period_end': 30, 'entries': [['E0', 30, 'regular', 'cash', -40], ['E1', 30, 'accrual', 'cash', 700], ['E2', 30, 'deferral', 'accrued_wages', 700]], 'as_of': 32}, {'reversals': [['R-E1', 31, -700]], 'balances': {'cash': -40, 'accrued_wages': 700}}], ['control 4', {'period_end': 28, 'entries': [['E0', 29, 'regular', 'cash', 100], ['E1', 25, 'accrual', 'cash', 250], ['E2', 27, 'deferral', 'rent', -100], ['E3', 28, 'regular', 'cash', 100], ['E4', 28, 'regular', 'rent', 250], ['E5', 28, 'regular', 'rent', -40], ['E6', 28, 'accrual', 'rent', 250]], 'as_of': 30}, {'reversals': [['R-E1', 29, -250], ['R-E6', 29, -250]], 'balances': {'cash': 200, 'rent': 110}}], ['control 5', {'period_end': 31, 'entries': [['E0', 28, 'regular', 'cash', 100], ['E1', 33, 'accrual', 'accrued_wages', 100], ['E2', 5, 'deferral', 'cash', 700], ['E3', 30, 'accrual', 'cash', 700], ['E4', 30, 'accrual', 'accrued_wages', 100]], 'as_of': 31}, {'reversals': [['R-E3', 32, -700], ['R-E4', 32, -100]], 'balances': {'cash': 1500, 'accrued_wages': 100}}], ['control 6', {'period_end': 30, 'entries': [['E0', 31, 'deferral', 'cash', 100], ['E1', 31, 'accrual', 'accrued_wages', 100], ['E2', 30, 'deferral', 'accrued_interest', -100], ['E3', 5, 'deferral', 'accrued_interest', 250]], 'as_of': 32}, {'reversals': [], 'balances': {'cash': 100, 'accrued_wages': 100, 'accrued_interest': 150}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 28, 'regular', 'cash', -40], ['E1', 27, 'accrual', 'accrued_interest', 100], ['E2', 30, 'regular', 'cash', -40]], 'as_of': 29}, {'reversals': [['R-E1', 29, -100]], 'balances': {'cash': -40, 'accrued_interest': 0}}], ['control 1', {'period_end': 28, 'entries': [['E0', 28, 'accrual', 'rent', 700], ['E1', 30, 'accrual', 'accrued_interest', -100], ['E2', 29, 'deferral', 'cash', 100], ['E3', 28, 'regular', 'cash', 700], ['E4', 29, 'accrual', 'cash', -40], ['E5', 30, 'regular', 'cash', 250]], 'as_of': 27}, {'reversals': [['R-E0', 29, -700]], 'balances': {}}], ['control 2', {'period_end': 31, 'entries': [['E0', 31, 'deferral', 'cash', -100], ['E1', 31, 'deferral', 'cash', -100], ['E2', 32, 'regular', 'cash', 700], ['E3', 32, 'accrual', 'rent', 100], ['E4', 31, 'deferral', 'accrued_wages', 700]], 'as_of': 30}, {'reversals': [], 'balances': {}}], ['control 3', {'period_end': 28, 'entries': [['E0', 27, 'accrual', 'cash', 100], ['E1', 5, 'accrual', 'rent', 100], ['E2', 30, 'accrual', 'rent', 700], ['E3', 30, 'accrual', 'cash', -100], ['E4', 30, 'deferral', 'rent', -40]], 'as_of': 28}, {'reversals': [['R-E0', 29, -100], ['R-E1', 29, -100]], 'balances': {'cash': 100, 'rent': 100}}], ['control 4', {'period_end': 31, 'entries': [['E0', 28, 'regular', 'cash', 100], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 28, 'deferral', 'accrued_wages', -100], ['E3', 31, 'accrual', 'cash', 250], ['E4', 30, 'deferral', 'accrued_wages', 250]], 'as_of': 33}, {'reversals': [['R-E1', 32, -100], ['R-E3', 32, -250]], 'balances': {'cash': 100, 'accrued_interest': 0, 'accrued_wages': 150}}], ['control 5', {'period_end': 28, 'entries': [['E0', 29, 'regular', 'accrued_interest', 100], ['E1', 28, 'deferral', 'rent', -40], ['E2', 29, 'regular', 'rent', 100], ['E3', 29, 'accrual', 'cash', 250], ['E4', 25, 'accrual', 'accrued_interest', 250], ['E5', 25, 'regular', 'accrued_interest', -100], ['E6', 5, 'accrual', 'accrued_interest', 100]], 'as_of': 30}, {'reversals': [['R-E4', 29, -250], ['R-E6', 29, -100]], 'balances': {'accrued_interest': 0, 'rent': 60, 'cash': 250}}], ['control 6', {'period_end': 28, 'entries': [['E0', 28, 'regular', 'accrued_interest', 100], ['E1', 28, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'rent', 100], ['E3', 29, 'deferral', 'accrued_interest', -40], ['E4', 28, 'deferral', 'cash', 100], ['E5', 28, 'accrual', 'accrued_wages', -40]], 'as_of': 27}, {'reversals': [['R-E1', 29, -100], ['R-E5', 29, 40]], 'balances': {}}]]]
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: as-of inclusivity	`{'balances': {'rent': 500}, 'reversals': [['R-E0', 29, -250]]}`	`{'balances': {'rent': 250}, 'reversals': [['R-E0', 29, -250]]}`	Failed
control 1	`{'balances': {'accrued_wages': 100, 'rent': 100}, 'reversals': [['R-E2', 31, -100]]}`	`{'balances': {'accrued_wages': 100, 'rent': 100}, 'reversals': [['R-E2', 31, -100]]}`	Passed
control 2	`{'balances': {'accrued_interest': -100, 'cash': -40}, 'reversals': []}`	`{'balances': {'accrued_interest': -100, 'cash': -40}, 'reversals': []}`	Passed
control 3	`{'balances': {'accrued_interest': 0, 'rent': 700}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]]}`	`{'balances': {'accrued_interest': 0, 'rent': 700}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]]}`	Passed
control 4	`{'balances': {'accrued_interest': 170, 'accrued_wages': -100}, 'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]]}`	`{'balances': {'accrued_interest': 170, 'accrued_wages': -100}, 'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]]}`	Passed
control 5	`{'balances': {'accrued_interest': 0, 'accrued_wages': -40, 'cash': 100}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]]}`	`{'balances': {'accrued_interest': 0, 'accrued_wages': -40, 'cash': 100}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]]}`	Passed
control 6	`{'balances': {'accrued_interest': 600, 'rent': -40}, 'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]]}`	`{'balances': {'accrued_interest': 600, 'rent': -40}, 'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]]}`	Passed

SHA-256 / 91a69f1de450739e08a8a51adc573d201a4ab426a9a9d3f22defc13fca7d278a

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    end = x['period_end']
    rev = []
    for eid, day, kind, acct, amt in x['entries']:
        if kind == 'accrual' and day <= end:
            rev.append(['R-' + eid, end + 1, kind, acct, -amt])
    bal = {}
    for eid, day, kind, acct, amt in x['entries'] + rev:
        if day <= x['as_of']:
            bal[acct] = bal.get(acct, 0) + amt
    return {'reversals': [[r[0], r[1], r[4]] for r in rev], 'balances': bal}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 5, 'accrual', 'rent', 250], ['E1', 27, 'regular', 'rent', 250], ['E2', 30, 'accrual', 'cash', -100], ['E3', 30, 'deferral', 'accrued_interest', 100]], 'as_of': 29}, {'reversals': [['R-E0', 29, -250]], 'balances': {'rent': 250}}], ['control 1', {'period_end': 30, 'entries': [['E0', 32, 'accrual', 'accrued_wages', 250], ['E1', 32, 'regular', 'cash', 100], ['E2', 27, 'accrual', 'rent', 100], ['E3', 5, 'regular', 'accrued_wages', 100], ['E4', 31, 'regular', 'accrued_interest', -40], ['E5', 32, 'regular', 'cash', -40]], 'as_of': 30}, {'reversals': [['R-E2', 31, -100]], 'balances': {'rent': 100, 'accrued_wages': 100}}], ['control 2', {'period_end': 28, 'entries': [['E0', 30, 'accrual', 'accrued_interest', 700], ['E1', 5, 'deferral', 'accrued_interest', -100], ['E2', 5, 'regular', 'cash', -40]], 'as_of': 29}, {'reversals': [], 'balances': {'accrued_interest': -100, 'cash': -40}}], ['control 3', {'period_end': 30, 'entries': [['E0', 29, 'regular', 'rent', 700], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'accrued_interest', -100]], 'as_of': 32}, {'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]], 'balances': {'rent': 700, 'accrued_interest': 0}}], ['control 4', {'period_end': 31, 'entries': [['E0', 5, 'deferral', 'accrued_interest', -40], ['E1', 28, 'deferral', 'accrued_wages', -100], ['E2', 33, 'deferral', 'cash', 100], ['E3', 5, 'accrual', 'accrued_interest', -40], ['E4', 5, 'accrual', 'accrued_interest', 250], ['E5', 31, 'accrual', 'accrued_wages', 100]], 'as_of': 30}, {'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]], 'balances': {'accrued_interest': 170, 'accrued_wages': -100}}], ['control 5', {'period_end': 30, 'entries': [['E0', 30, 'deferral', 'accrued_wages', -40], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 30, 'accrual', 'accrued_wages', -100], ['E3', 30, 'deferral', 'cash', 100], ['E4', 30, 'accrual', 'cash', -100]], 'as_of': 32}, {'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]], 'balances': {'accrued_wages': -40, 'accrued_interest': 0, 'cash': 100}}], ['control 6', {'period_end': 30, 'entries': [['E0', 27, 'accrual', 'rent', -40], ['E1', 27, 'accrual', 'accrued_interest', 700], ['E2', 27, 'regular', 'accrued_interest', -100], ['E3', 30, 'deferral', 'cash', -40], ['E4', 30, 'deferral', 'rent', 100], ['E5', 30, 'accrual', 'accrued_wages', -40]], 'as_of': 29}, {'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]], 'balances': {'rent': -40, 'accrued_interest': 600}}]], [['regression: as-of inclusivity', {'period_end': 31, 'entries': [['E0', 31, 'deferral', 'accrued_wages', 250], ['E1', 28, 'accrual', 'cash', 100], ['E2', 5, 'accrual', 'accrued_wages', -40], ['E3', 31, 'regular', 'cash', 100], ['E4', 5, 'accrual', 'cash', -40], ['E5', 31, 'accrual', 'accrued_interest', 250], ['E6', 33, 'accrual', 'accrued_interest', -100]], 'as_of': 33}, {'reversals': [['R-E1', 32, -100], ['R-E2', 32, 40], ['R-E4', 32, 40], ['R-E5', 32, -250]], 'balances': {'accrued_wages': 250, 'cash': 100, 'accrued_interest': -100}}], ['control 1', {'period_end': 30, 'entries': [['E0', 32, 'deferral', 'accrued_wages', 100], ['E1', 29, 'regular', 'accrued_wages', 100], ['E2', 32, 'deferral', 'accrued_wages', 700], ['E3', 27, 'deferral', 'rent', -40]], 'as_of': 30}, {'reversals': [], 'balances': {'accrued_wages': 100, 'rent': -40}}], ['control 2', {'period_end': 28, 'entries': [['E0', 5, 'regular', 'accrued_interest', -40], ['E1', 30, 'accrual', 'accrued_interest', 250], ['E2', 29, 'regular', 'cash', 700], ['E3', 30, 'accrual', 'cash', 700], ['E4', 27, 'deferral', 'rent', 250], ['E5', 29, 'accrual', 'accrued_interest', -100], ['E6', 27, 'deferral', 'rent', 700]], 'as_of': 28}, {'reversals': [], 'balances': {'accrued_interest': -40, 'rent': 950}}], ['control 3', {'period_end': 28, 'entries': [['E0', 25, 'regular', 'accrued_interest', 100], ['E1', 29, 'accrual', 'cash', 100], ['E2', 30, 'accrual', 'rent', 100], ['E3', 29, 'regular', 'cash', 700], ['E4', 25, 'accrual', 'rent', 700]], 'as_of': 28}, {'reversals': [['R-E4', 29, -700]], 'balances': {'accrued_interest': 100, 'rent': 700}}], ['control 4', {'period_end': 28, 'entries': [['E0', 29, 'deferral', 'cash', -40], ['E1', 5, 'accrual', 'accrued_interest', -100], ['E2', 25, 'deferral', 'accrued_interest', 250], ['E3', 25, 'accrual', 'accrued_wages', 700], ['E4', 28, 'accrual', 'rent', -100]], 'as_of': 27}, {'reversals': [['R-E1', 29, 100], ['R-E3', 29, -700], ['R-E4', 29, 100]], 'balances': {'accrued_interest': 150, 'accrued_wages': 700}}], ['control 5', {'period_end': 28, 'entries': [['E0', 5, 'regular', 'rent', 100], ['E1', 29, 'deferral', 'accrued_interest', 700], ['E2', 25, 'regular', 'accrued_wages', -40], ['E3', 28, 'accrual', 'accrued_wages', -100], ['E4', 25, 'accrual', 'accrued_interest', 100], ['E5', 28, 'deferral', 'accrued_wages', 100], ['E6', 30, 'regular', 'rent', -40]], 'as_of': 28}, {'reversals': [['R-E3', 29, 100], ['R-E4', 29, -100]], 'balances': {'rent': 100, 'accrued_wages': -40, 'accrued_interest': 100}}], ['control 6', {'period_end': 31, 'entries': [['E0', 5, 'accrual', 'cash', 700], ['E1', 32, 'deferral', 'cash', -40], ['E2', 5, 'accrual', 'accrued_wages', -40]], 'as_of': 33}, {'reversals': [['R-E0', 32, -700], ['R-E2', 32, 40]], 'balances': {'cash': -40, 'accrued_wages': 0}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 27, 'regular', 'accrued_interest', 100], ['E1', 30, 'deferral', 'accrued_interest', 250], ['E2', 28, 'accrual', 'rent', -40], ['E3', 28, 'accrual', 'accrued_interest', 100], ['E4', 5, 'accrual', 'accrued_wages', 700]], 'as_of': 27}, {'reversals': [['R-E2', 29, 40], ['R-E3', 29, -100], ['R-E4', 29, -700]], 'balances': {'accrued_interest': 100, 'accrued_wages': 700}}], ['regression: as-of inclusivity, partial-repair probe', {'period_end': 30, 'entries': [['E0', 27, 'regular', 'cash', 250], ['E1', 29, 'regular', 'rent', 100], ['E2', 29, 'accrual', 'accrued_wages', 250], ['E3', 30, 'accrual', 'rent', 100], ['E4', 5, 'accrual', 'cash', 250], ['E5', 27, 'deferral', 'accrued_wages', -100]], 'as_of': 29}, {'reversals': [['R-E2', 31, -250], ['R-E3', 31, -100], ['R-E4', 31, -250]], 'balances': {'cash': 500, 'rent': 100, 'accrued_wages': 150}}], ['control 1', {'period_end': 30, 'entries': [['E0', 5, 'deferral', 'rent', -40], ['E1', 30, 'accrual', 'accrued_wages', 250], ['E2', 30, 'deferral', 'accrued_interest', -40], ['E3', 27, 'accrual', 'accrued_interest', 100], ['E4', 32, 'regular', 'cash', 250]], 'as_of': 29}, {'reversals': [['R-E1', 31, -250], ['R-E3', 31, -100]], 'balances': {'rent': -40, 'accrued_interest': 100}}], ['control 2', {'period_end': 30, 'entries': [['E0', 30, 'accrual', 'rent', -100], ['E1', 31, 'regular', 'rent', 700], ['E2', 32, 'deferral', 'cash', 250]], 'as_of': 29}, {'reversals': [['R-E0', 31, 100]], 'balances': {}}], ['control 3', {'period_end': 31, 'entries': [['E0', 28, 'accrual', 'accrued_interest', 100], ['E1', 31, 'deferral', 'cash', 250], ['E2', 30, 'regular', 'cash', -100]], 'as_of': 33}, {'reversals': [['R-E0', 32, -100]], 'balances': {'accrued_interest': 0, 'cash': 150}}], ['control 4', {'period_end': 28, 'entries': [['E0', 25, 'deferral', 'accrued_interest', -40], ['E1', 29, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'accrued_interest', -40], ['E3', 28, 'accrual', 'accrued_wages', -40], ['E4', 28, 'accrual', 'cash', 100], ['E5', 5, 'accrual', 'rent', 250]], 'as_of': 27}, {'reversals': [['R-E3', 29, 40], ['R-E4', 29, -100], ['R-E5', 29, -250]], 'balances': {'accrued_interest': -40, 'rent': 250}}], ['control 5', {'period_end': 30, 'entries': [['E0', 31, 'accrual', 'cash', -100], ['E1', 31, 'deferral', 'accrued_interest', 700], ['E2', 30, 'accrual', 'accrued_wages', -100]], 'as_of': 29}, {'reversals': [['R-E2', 31, 100]], 'balances': {}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 27, 'deferral', 'accrued_wages', 700], ['E1', 28, 'accrual', 'cash', 250], ['E2', 28, 'regular', 'cash', 100]], 'as_of': 27}, {'reversals': [['R-E1', 29, -250]], 'balances': {'accrued_wages': 700}}], ['control 1', {'period_end': 28, 'entries': [['E0', 5, 'accrual', 'rent', -40], ['E1', 27, 'accrual', 'cash', -100], ['E2', 5, 'accrual', 'cash', 100], ['E3', 27, 'regular', 'accrued_interest', 700]], 'as_of': 30}, {'reversals': [['R-E0', 29, 40], ['R-E1', 29, 100], ['R-E2', 29, -100]], 'balances': {'rent': 0, 'cash': 0, 'accrued_interest': 700}}], ['control 2', {'period_end': 28, 'entries': [['E0', 27, 'accrual', 'cash', 100], ['E1', 29, 'accrual', 'accrued_interest', 700], ['E2', 28, 'deferral', 'rent', 250], ['E3', 29, 'regular', 'accrued_interest', 250]], 'as_of': 30}, {'reversals': [['R-E0', 29, -100]], 'balances': {'cash': 0, 'accrued_interest': 950, 'rent': 250}}], ['control 3', {'period_end': 30, 'entries': [['E0', 30, 'regular', 'cash', -40], ['E1', 30, 'accrual', 'cash', 700], ['E2', 30, 'deferral', 'accrued_wages', 700]], 'as_of': 32}, {'reversals': [['R-E1', 31, -700]], 'balances': {'cash': -40, 'accrued_wages': 700}}], ['control 4', {'period_end': 28, 'entries': [['E0', 29, 'regular', 'cash', 100], ['E1', 25, 'accrual', 'cash', 250], ['E2', 27, 'deferral', 'rent', -100], ['E3', 28, 'regular', 'cash', 100], ['E4', 28, 'regular', 'rent', 250], ['E5', 28, 'regular', 'rent', -40], ['E6', 28, 'accrual', 'rent', 250]], 'as_of': 30}, {'reversals': [['R-E1', 29, -250], ['R-E6', 29, -250]], 'balances': {'cash': 200, 'rent': 110}}], ['control 5', {'period_end': 31, 'entries': [['E0', 28, 'regular', 'cash', 100], ['E1', 33, 'accrual', 'accrued_wages', 100], ['E2', 5, 'deferral', 'cash', 700], ['E3', 30, 'accrual', 'cash', 700], ['E4', 30, 'accrual', 'accrued_wages', 100]], 'as_of': 31}, {'reversals': [['R-E3', 32, -700], ['R-E4', 32, -100]], 'balances': {'cash': 1500, 'accrued_wages': 100}}], ['control 6', {'period_end': 30, 'entries': [['E0', 31, 'deferral', 'cash', 100], ['E1', 31, 'accrual', 'accrued_wages', 100], ['E2', 30, 'deferral', 'accrued_interest', -100], ['E3', 5, 'deferral', 'accrued_interest', 250]], 'as_of': 32}, {'reversals': [], 'balances': {'cash': 100, 'accrued_wages': 100, 'accrued_interest': 150}}]], [['regression: as-of inclusivity', {'period_end': 28, 'entries': [['E0', 28, 'regular', 'cash', -40], ['E1', 27, 'accrual', 'accrued_interest', 100], ['E2', 30, 'regular', 'cash', -40]], 'as_of': 29}, {'reversals': [['R-E1', 29, -100]], 'balances': {'cash': -40, 'accrued_interest': 0}}], ['control 1', {'period_end': 28, 'entries': [['E0', 28, 'accrual', 'rent', 700], ['E1', 30, 'accrual', 'accrued_interest', -100], ['E2', 29, 'deferral', 'cash', 100], ['E3', 28, 'regular', 'cash', 700], ['E4', 29, 'accrual', 'cash', -40], ['E5', 30, 'regular', 'cash', 250]], 'as_of': 27}, {'reversals': [['R-E0', 29, -700]], 'balances': {}}], ['control 2', {'period_end': 31, 'entries': [['E0', 31, 'deferral', 'cash', -100], ['E1', 31, 'deferral', 'cash', -100], ['E2', 32, 'regular', 'cash', 700], ['E3', 32, 'accrual', 'rent', 100], ['E4', 31, 'deferral', 'accrued_wages', 700]], 'as_of': 30}, {'reversals': [], 'balances': {}}], ['control 3', {'period_end': 28, 'entries': [['E0', 27, 'accrual', 'cash', 100], ['E1', 5, 'accrual', 'rent', 100], ['E2', 30, 'accrual', 'rent', 700], ['E3', 30, 'accrual', 'cash', -100], ['E4', 30, 'deferral', 'rent', -40]], 'as_of': 28}, {'reversals': [['R-E0', 29, -100], ['R-E1', 29, -100]], 'balances': {'cash': 100, 'rent': 100}}], ['control 4', {'period_end': 31, 'entries': [['E0', 28, 'regular', 'cash', 100], ['E1', 30, 'accrual', 'accrued_interest', 100], ['E2', 28, 'deferral', 'accrued_wages', -100], ['E3', 31, 'accrual', 'cash', 250], ['E4', 30, 'deferral', 'accrued_wages', 250]], 'as_of': 33}, {'reversals': [['R-E1', 32, -100], ['R-E3', 32, -250]], 'balances': {'cash': 100, 'accrued_interest': 0, 'accrued_wages': 150}}], ['control 5', {'period_end': 28, 'entries': [['E0', 29, 'regular', 'accrued_interest', 100], ['E1', 28, 'deferral', 'rent', -40], ['E2', 29, 'regular', 'rent', 100], ['E3', 29, 'accrual', 'cash', 250], ['E4', 25, 'accrual', 'accrued_interest', 250], ['E5', 25, 'regular', 'accrued_interest', -100], ['E6', 5, 'accrual', 'accrued_interest', 100]], 'as_of': 30}, {'reversals': [['R-E4', 29, -250], ['R-E6', 29, -100]], 'balances': {'accrued_interest': 0, 'rent': 60, 'cash': 250}}], ['control 6', {'period_end': 28, 'entries': [['E0', 28, 'regular', 'accrued_interest', 100], ['E1', 28, 'accrual', 'accrued_interest', 100], ['E2', 29, 'accrual', 'rent', 100], ['E3', 29, 'deferral', 'accrued_interest', -40], ['E4', 28, 'deferral', 'cash', 100], ['E5', 28, 'accrual', 'accrued_wages', -40]], 'as_of': 27}, {'reversals': [['R-E1', 29, -100], ['R-E5', 29, 40]], 'balances': {}}]]]
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: as-of inclusivity	`{'balances': {'rent': 250}, 'reversals': [['R-E0', 29, -250]]}`	`{'balances': {'rent': 250}, 'reversals': [['R-E0', 29, -250]]}`	Passed
control 1	`{'balances': {'accrued_wages': 100, 'rent': 100}, 'reversals': [['R-E2', 31, -100]]}`	`{'balances': {'accrued_wages': 100, 'rent': 100}, 'reversals': [['R-E2', 31, -100]]}`	Passed
control 2	`{'balances': {'accrued_interest': -100, 'cash': -40}, 'reversals': []}`	`{'balances': {'accrued_interest': -100, 'cash': -40}, 'reversals': []}`	Passed
control 3	`{'balances': {'accrued_interest': 0, 'rent': 700}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]]}`	`{'balances': {'accrued_interest': 0, 'rent': 700}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100]]}`	Passed
control 4	`{'balances': {'accrued_interest': 170, 'accrued_wages': -100}, 'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]]}`	`{'balances': {'accrued_interest': 170, 'accrued_wages': -100}, 'reversals': [['R-E3', 32, 40], ['R-E4', 32, -250], ['R-E5', 32, -100]]}`	Passed
control 5	`{'balances': {'accrued_interest': 0, 'accrued_wages': -40, 'cash': 100}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]]}`	`{'balances': {'accrued_interest': 0, 'accrued_wages': -40, 'cash': 100}, 'reversals': [['R-E1', 31, -100], ['R-E2', 31, 100], ['R-E4', 31, 100]]}`	Passed
control 6	`{'balances': {'accrued_interest': 600, 'rent': -40}, 'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]]}`	`{'balances': {'accrued_interest': 600, 'rent': -40}, 'reversals': [['R-E0', 31, 40], ['R-E1', 31, -700], ['R-E5', 31, 40]]}`	Passed

SHA-256 / 75879f983df79537d9cd578e0a2db20cb57bad9da7dd50fdb4840007ada1f5e8

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:22.779790+00:00.

Case digest / be46d82135ba37f0bf8a5312e6fcf65bd616d00688d338a70937f9fe382fdfb5