fix(stations): 20-city Kalshi universe — drop 4 phantom cities, add NOLA/OKC/SATX

[helloiamvu]

Summary

The KALSHI_SETTLEMENT_STATIONS registry drifted from the live exchange. Verified against the live Kalshi API on 2026-07-15 (GET /trade-api/v2/series?category=Climate and Weather + per-series settlement_sources):

• Removed 4 phantom cities — DTW, CVG, BNA, SLC have no daily-temperature markets (every series probe returns 404: KXHIGHTDTW, KXHIGHDTW, KXHIGHTCVG, KXHIGHTBNA, KXHIGHTSLC, KXHIGHSLC). Their StationInfo records remain as bare weather stations (the Phase 23 precedent).
• Added 3 real market cities the registry missed (series 200 with settlement_sources):
  • NOLA → KMSY (KXHIGHTNOLA; CLI site=LIX&issuedby=MSY; NOT Lakefront KNEW)
  • OKC → KOKC (KXHIGHTOKC; CLI site=OUN&issuedby=OKC)
  • SATX → KSAT (KXHIGHTSATX; CLI site=EWX&issuedby=SAT; NOT Stinson KSSF)
• KNOWN_WRONG_STATIONS gains KNEW + KSSF.

This is parity-critical: a backtest keyed to the phantom four settled against data no market resolves on.

Also in this change

• _KALSHI_TICKER_ALIASES now covers the live KXHIGHT<CITY> / KXLOWT<CITY> series family (plus KXHIGHPHIL, KXHIGHNYD, KXHIGHTEMPDEN). Previously settles_for("kalshi:KXHIGHTATL-…") failed city-ticker resolution for every city except Las Vegas (whose TLV key is itself an artifact of this parsing).
• Core catalog kalshi venue tags updated in lockstep (filter_by_venue("kalshi") == 20).
• Satellite backfill roster: Kalshi∪Polymarket union 66 → 65, satellite roster 65 → 64; infra/batch.tf and run-weather-backfill.yml task math updated (note: the next full fleet run uses task_count = 64 × years).
• Schemas + generated TS data modules re-exported via codegen.
• Python + TS contract tests re-pinned to the 20-city universe, with new pinned tests for NOLA/OKC/SATX and a phantom-cities regression guard.

Test plan

• pytest packages/core/tests packages/markets/tests packages/weather/tests — green (one pre-existing unrelated failure in tests/test_parity.py::test_dataset_is_research_alias reproduces on clean main).
• TS: @mostlyrightmd/core 806 passed; @mostlyrightmd/markets 296 passed (after building core).
• Downstream: unblocks the Kaggle dataset publish in kaggle-datasets (its build script imports this registry from PyPI — needs a release with this fix).

🤖 Generated with Claude Code

[github-actions]

✅ Docs-required check: PASS

API-surface change includes docs updates — no reminder needed.

API-surface files changed:

packages/core/src/mostlyright/_compose.py
packages/markets/src/mostlyright/markets/catalog/kalshi_stations.py
packages/weather/src/mostlyright/weather/satellite/_roster.py

Docs files changed:

CHANGELOG.md

[github-actions]

Parity ticket gate: PASSED

parity-ticket-check: PR touches BOTH Python and TypeScript trigger surfaces — paired-language change satisfies the gate.

See CROSS-SDK-SYNC.md §2 for the workflow.