feat(app): P1d — Postgres (Neon) backend behind a dialect-aware Database

feat(app): P1a — durable run ledger (SQLite) replaces in-memory metering

fix(robustness): frame guard, atomic tile downloads, retry consistency

test: add zero-network pytest suite (Phase 4)