App 2.20.0: lease mileage allowance on the Overview

Vehicle info shows the km allowed by today (40,000 km over four years
from 2023-05-01, evenly per day) and the odometer against it.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LhzAVaUyqcw5PkGjz4mWW6

SPECS.md

@@ -118,6 +118,12 @@ tyre pressures, GPS (lat, lon, elevation, heading) and the is_* flags. It does *
   confirmed car facts, app structure, UI conventions, build/test/ship, documents. It replaces
   upstream's EVABRPUploader text. The test emulator is now in the flake: `nix run .#car-emulator`
   (Android 9 AOSP at 1920×720, 160 dpi; the car build installs as the system user — checked).
+- 2026-10-23 — App 2.20.0: the Overview's Vehicle info card shows the lease mileage: "Lease
+  allowance today" (40,000 km over four years from 2023-05-01, accruing evenly per day, in
+  `LeaseAllowance`, unit-tested) and "Versus allowance", the odometer against it ("… km over" /
+  "… km under", "—" when the odometer is unread). The odometer now has a thousands separator,
+  like the new rows. Checked on the emulator with a sample odometer of 25,000 km in a throwaway
+  build (34,798 km allowed on 2026-10-23, 9,798 km under); the Overview still fits.
 - 2026-10-23 — App 2.19.9: the Foreground apps card is gone from the Logs tab (it found CarPlay's
   package; nothing left to find), with ForegroundProbe and ForegroundHistory. The Logs tab is one
   card again — update log, then uploads — with the other tabs' page padding.