ci: run postgres integration tests

[jucor]

Make the opt-in Postgres integration tests actually execute in CI, and share
the provisioning path.

• Refactor tests/poller/test_integration_postgres.py to obtain its DB via the
  shared require_polis_postgres() helper (introduced in the T2 commit) instead
  of its own inline throwaway-docker fixture on fixed port 5435. It now applies
  000000 + 000006 and uses an ephemeral port (xdist-safe), or the CI service.
• python-ci.yml step 6: export POLIS_TEST_POSTGRES_URL pointing at the compose
  postgres service (docker-compose.test.yml), whose image already bakes the
  polis migrations via docker-entrypoint-initdb.d — so the votes /
  votes_latest_unique schema + on_vote_insert_update_unique_table rule are
  present (equivalent to an explicit migration-apply step). Also copy
  delphi/scripts into the container so tests/test_generator_vote_copy.py can
  import the cold-start generator under test.

With POLIS_TEST_POSTGRES_URL set, require_polis_postgres verifies the schema and
yields the URL (no docker-in-docker needed); both integration tests then RUN
rather than self-skip.

Verified locally against a shared migrated postgres via POLIS_TEST_POSTGRES_URL:
tests/poller/test_integration_postgres.py ... PASSED
tests/test_generator_vote_copy.py ... PASSED (2 passed in 0.84s)

commit-id:62486a46

---

Stack:

• ci: run postgres integration tests #2637 ⬅
• docs(delphi): overnight session 2026-07-18 — seqbits spec, poller design, journal, plan corrections #2626
• feat(delphi): Python math poller service (phase 1) — Clojure math-container replacement #2625
• fix(delphi): Clojure-parity math writers + committing write path in PostgresClient #2624
• feat(math): in-conv greedy floor + persistent carry (PR-E) #2623
• feat(math): Clojure-exact base-cluster lineage + warm start (PR-C) #2622
• feat(math): replay harness H-B — Clojure Mode A driver (dev/replay.clj) + cross-language comparer shim #2621
• feat(math): group-k-smoother in clojure-legacy engine mode (PR-D smoother) #2620
• feat(math): PCA warm start in clojure-legacy engine mode (PR-B) #2640
• feat(math): add POLISMATH_ENGINE_MODE flag + prev-tick warm-start scaffolding (PR-A) #2618
• feat(delphi): replay harness H-A — schedule spec+slicer, Python driver, store, step comparer, CLI #2639
• fix(delphi): cold-start generator copies FULL revote history (no DISTINCT ON dedup) #2638
• fix(math): correct comment-extremity sign in pca_project_cmnts (D1b) #2615
• docs(delphi): add math-algorithm history & routing-regression reference #2613

---

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

[Copilot]

Pull request overview

This PR updates the Delphi CI workflow so the opt-in Postgres integration tests actually execute in GitHub Actions by wiring them to a shared, migrated Postgres service and by refactoring the poller integration test to use the shared Postgres provision/verification helper.

Changes:

• Refactors delphi/tests/poller/test_integration_postgres.py to obtain its database via require_polis_postgres() rather than provisioning its own fixed-port Postgres container.
• Updates .github/workflows/python-ci.yml to export POLIS_TEST_POSTGRES_URL inside the Delphi test container and to copy delphi/scripts into the container for the generator integration test.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
delphi/tests/poller/test_integration_postgres.py	Switches the integration test to the shared require_polis_postgres() provisioning/verification path.
.github/workflows/python-ci.yml	Exports POLIS_TEST_POSTGRES_URL for integration tests and attempts to stage generator scripts into the CI test container.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.