Acceptance: finance_summary

Contract: finance_summary(expenses, budget) returns {"total", "count", "top", "remaining", "warning"} where total is rounded, top is the category with the highest total (tie -> first to reach it; None when empty), remaining = round(budget - total, 2), and warning is True when total > 0.9 * budget else False.