FA-57957 / Double-entry ledger accounting / Member archive

Bank reconciliation: check recording error sign · case 02

A check recorded for too much reduces cash further instead of restoring it.

Member previewVariant 2 · 3 implementations · 7 checks per implementation

Case contract

x = {'bank': statement balance, 'book': ledger cash balance, 'items': [[kind, ...]]}. Bank side: deposit_in_transit adds, outstanding_check subtracts, bank_error adds its signed correction. Book side (each produces an adjusting entry [kind, signed amount] in input order): bank_fee and nsf subtract, interest adds, collection [kind, face, fee] adds face - fee, check_error [kind, recorded, actual] adds recorded - actual. Other kinds are ignored. Return {'adjusted_bank', 'adjusted_book', 'reconciled', 'entries'}.

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.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: check recording error sign	`{"adjusted_bank": 9215, "adjusted_book": 10625, "entries": [["check_error", -1560], ["nsf", -15], ["interest", 400]], "reconciled": false}`	`{"adjusted_bank": 9215, "adjusted_book": 13745, "entries": [["check_error", 1560], ["nsf", -15], ["interest", 400]], "reconciled": false}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.