feat: Pre-Market Intelligence UX rework — institutional positioning

Redesign the Future Availability card system to clearly distinguish two classes:

PRE-MARKET VERIFIED (Verwaltung-controlled):
- Soft purple (#7c3aed) accent, institutional premium feel
- Badge: "PRE-MARKET VERIFIED" with shield icon
- "Direkte Verwaltungsquelle" attribution chip in header
- Shows confirmed ERP facts with green checkmarks

MARKET SIGNAL (crawler/probabilistic):
- Slate blue (#1d4ed8) accent, analytical feel
- Badge: "MARKET SIGNAL"
- Amber notice box: "Probabilistischer Marktindikator — kein bestätigtes Objekt"
- Shows market indicators and explicit probability %
- Source attribution (press, job posting, etc.)

Both cards answer: What? How reliable? Where from? Why relevant? Risks? Action?

PropertyDetailView: rename SchattenmarktReleasePanel → PreMarketPanel, update
toggle label to "Pre-Market Matching aktivieren", add Matching Demand Intelligence
block showing active search profile counts and early matching opportunity.

FutureAvailabilityContextPanel: update LEASE_EXPIRY signal type label and
relevance bridge text to remove "Schattenmarkt" references.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

src/components/match-detail/FutureAvailabilityContextPanel.tsx

@@ -22,7 +22,7 @@ const SIGNAL_TYPE_LABELS: Record<string, string> = {
   RESTRUCTURING:        'Restrukturierung',
   PROJECT_DEVELOPMENT:  'Projektentwicklung',
   SPACE_CONSOLIDATION:  'Flächenkonsolidierung',
-  LEASE_EXPIRY:         'Vertragsende (Schattenmarkt)',
+  LEASE_EXPIRY:         'Vertragsende (Pre-Market)',
 }
 
 const SIGNAL_RELEVANCE_BRIDGE: Record<string, string> = {
@@ -32,7 +32,7 @@ const SIGNAL_RELEVANCE_BRIDGE: Record<string, string> = {
   RESTRUCTURING:       'Restrukturierung deutet auf Flächenänderungen hin.',
   PROJECT_DEVELOPMENT: 'Projektentwicklung könnte neue Gewerbeflächen schaffen.',
   SPACE_CONSOLIDATION: 'Konsolidierung — Teilflächen könnten frei werden.',
-  LEASE_EXPIRY:        'Die Verwaltung hat dieses Objekt für den Markt freigegeben — Vertragsende bekannt und bestätigt.',
+  LEASE_EXPIRY:        'Die Verwaltung hat diese Fläche für kontrolliertes Pre-Market Matching freigegeben — Vertragsende aus internem ERP bestätigt.',
 }
 
 const SOURCE_META: Record<string, { label: string; icon: React.ReactNode }> = {