Backend for auditing customer bank-statement PDFs: extract transactions, mandatorily re-validate the running balance chain, compute three summary tables (monthly summary, top-3 income months, and ...