From e87c0aa0599748d0d744d73e2fb7d2dbc9e84a05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Francisco=20Ign=C3=A1cio=20Fontoura=20Solla?= <fsolla@pm.me>
Date: Tue, 28 Jul 2026 01:48:18 -0300
Subject: [PATCH] Fix Record|Map label lookup typing for the leadership filter
 summary.

Narrow after the Map check so tsc accepts Record index access on the push gate.
---
 src/utilities/leadershipListFilters.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/utilities/leadershipListFilters.ts b/src/utilities/leadershipListFilters.ts
index 9d33e712..6145d63b 100644
--- a/src/utilities/leadershipListFilters.ts
+++ b/src/utilities/leadershipListFilters.ts
@@ -147,7 +147,8 @@ const municipalityLabel = (
 ): string => {
   if (!labels) return `Município #${id}`
   if (labels instanceof Map) return labels.get(id) ?? `Município #${id}`
-  return labels[id] ?? `Município #${id}`
+  const record = labels as Readonly<Record<number, string>>
+  return record[id] ?? `Município #${id}`
 }
 
 export const formatLeadershipActiveFiltersSummary = (