The problem
A financial batch must reject malformed or inconsistent input before balances change, apply valid movements only once, and leave enough evidence to explain every decision. The challenge was to make those guarantees explicit across records, return codes, persisted state, and reruns.
