feat: finalize CodeLens. rebranding and production environment polish

feat: production-grade baseline agent and batch evaluation tool

feat: add SQLite persistence for episodes, results, and leaderboard via SQLModel

fix: resolve critical startup bugs, port mismatch, and leaderboard crash

Add scripts/validate.py

Add scripts/baseline.py