fix: remove dead predexon feed, hide empty feeds tab

src/app/prediction-markets/page.tsx

@@ -193,8 +193,8 @@ export default async function PredictionMarketsHubPage() {
               tip="Median of per venue p50 latency on the warm price endpoint, trailing 24h."
             />
             <SummaryCard
-              label="Tracked venues and feeds"
-              value={`${cohort.venues.length} + ${cohort.dataFeeds.length}`}
+              label="Tracked venues"
+              value={`${cohort.venues.length}${cohort.dataFeeds.length > 0 ? ` + ${cohort.dataFeeds.length}` : ""}`}
             />
           </section>
 

src/app/products/[slug]/page.tsx

@@ -579,8 +579,7 @@ export default async function ProviderPage({
                     p.slug === "polymarket" ||
                     p.slug === "kalshi" ||
                     p.slug === "limitless" ||
-                    p.slug === "myriad" ||
-                    p.slug === "predexon"
+                    p.slug === "myriad"
                   ) && (
                     <>
                       <span className="text-ink-faint"> · </span>

src/components/pm-hub-tabs.tsx

@@ -39,17 +39,19 @@ export function PmHubTabs({ cohort }: { cohort: PmCohortSummary }) {
         >
           Venues
         </TabButton>
-        <TabButton
-          active={tab === "feeds"}
-          onClick={() => setTab("feeds")}
-          count={feedsCount}
-        >
-          Data feeds
-        </TabButton>
+        {feedsCount > 0 && (
+          <TabButton
+            active={tab === "feeds"}
+            onClick={() => setTab("feeds")}
+            count={feedsCount}
+          >
+            Data feeds
+          </TabButton>
+        )}
       </div>
 
       {tab === "venues" && <PmVenuesLeaderboard rows={cohort.venues} />}
-      {tab === "feeds" && <PmDataFeedsLeaderboard rows={cohort.dataFeeds} />}
+      {tab === "feeds" && feedsCount > 0 && <PmDataFeedsLeaderboard rows={cohort.dataFeeds} />}
     </>
   );
 }

src/lib/pm-stats.ts

@@ -81,7 +81,8 @@ const PM_VENUES: VenueSeed[] = [
 ];
 
 const PM_DATA_FEEDS: DataFeedSeed[] = [
-  { slug: "predexon", name: "Predexon", coverage: ["polymarket", "kalshi", "limitless"], isReference: false },
+  // Predexon was tracked via pm-data-freshness (retired 2026-07). Re-add
+  // when a replacement freshness harness ships.
 ];
 
 function promUrl(): string | null {

src/lib/pm-venue-context.ts

@@ -25,15 +25,8 @@ export const PM_VENUE_META: Record<string, { url: string; chainLabel: string }>
   myriad: { url: "https://myriad.markets", chainLabel: "Abstract L2" },
 };
 
-// Logo paths come from the central manifest (`src/lib/logo-manifest.ts`)
-// so a slug whose file extension changes (e.g. predexon.svg → predexon.png)
-// only needs the manifest edit, not a parallel update here. The previous
-// shape hardcoded ".png" for slugs whose actual asset was ".svg" and the
-// header in PmDataFeedSection rendered a broken-image glyph for codex,
-// mobula, and predexon.
 export const PM_FEED_META: Record<string, { url?: string }> = {
   "polymarket-clob": { url: "https://polymarket.com" },
-  predexon: { url: "https://predexon.com" },
 };
 
 export type PmVenueContext = {