sql-dialect-master 1.1.1__py3-none-any.whl

frontend/core/design_tokens.py

@@ -0,0 +1,127 @@
+"""Design tokens for SQL Dialect Master v2.
+
+Defines a single source of truth for colors, typography, spacing, and
+semantic status values used across the entire frontend.
+
+Two themes only: Dark (default) and Light.
+"""
+from dataclasses import dataclass
+from typing import Literal
+
+ThemeName = Literal["dark", "light"]
+
+
+@dataclass(frozen=True)
+class ColorTokens:
+    """Complete color palette for one theme."""
+
+    # Background layers
+    bg: str
+    surface: str
+    surface_elevated: str
+
+    # Borders and dividers
+    border: str
+    border_subtle: str
+
+    # Text
+    text_primary: str
+    text_secondary: str
+    text_muted: str
+    text_on_accent: str
+
+    # Semantic colors
+    accent: str
+    success: str
+    warning: str
+    danger: str
+    info: str
+
+    # Component states
+    input_bg: str
+    input_border: str
+    input_border_focus: str
+    hover_bg: str
+    selected_bg: str
+
+
+# ---------------------------------------------------------------------------
+# Theme definitions
+# ---------------------------------------------------------------------------
+
+DARK: ColorTokens = ColorTokens(
+    bg="#0B0D10",
+    surface="#111418",
+    surface_elevated="#171B21",
+    border="#262B33",
+    border_subtle="#1E2229",
+    text_primary="#E6EAF0",
+    text_secondary="#9AA4B2",
+    text_muted="#667085",
+    text_on_accent="#0B0D10",
+    accent="#4F8CFF",
+    success="#2FBF71",
+    warning="#D9A441",
+    danger="#E25555",
+    info="#5B9CFF",
+    input_bg="#171B21",
+    input_border="#262B33",
+    input_border_focus="#4F8CFF",
+    hover_bg="#1E2229",
+    selected_bg="#4F8CFF18",
+)
+
+LIGHT: ColorTokens = ColorTokens(
+    bg="#F7F8FA",
+    surface="#FFFFFF",
+    surface_elevated="#FFFFFF",
+    border="#E4E7EC",
+    border_subtle="#EEF0F4",
+    text_primary="#101828",
+    text_secondary="#475467",
+    text_muted="#667085",
+    text_on_accent="#FFFFFF",
+    accent="#2563EB",
+    success="#15803D",
+    warning="#B45309",
+    danger="#DC2626",
+    info="#2563EB",
+    input_bg="#FFFFFF",
+    input_border="#E4E7EC",
+    input_border_focus="#2563EB",
+    hover_bg="#F4F5F7",
+    selected_bg="#2563EB18",
+)
+
+THEMES: dict[ThemeName, ColorTokens] = {
+    "dark": DARK,
+    "light": LIGHT,
+}
+
+# ---------------------------------------------------------------------------
+# Semantic status constants
+# ---------------------------------------------------------------------------
+
+STATUS_VALID = "valid"
+STATUS_WARNING = "warning"
+STATUS_ERROR = "error"
+STATUS_INFO = "info"
+STATUS_NEUTRAL = "neutral"
+
+SEMANTIC_STATUS_LABELS: dict[str, str] = {
+    "equivalent": "Equivalent",
+    "structurally_equivalent": "Structurally Equivalent",
+    "potentially_different": "Potentially Different",
+    "definitely_different": "Definitely Different",
+    "unknown": "Unknown",
+    "parse_error": "Parse Error",
+}
+
+SEMANTIC_STATUS_COLOR: dict[str, str] = {
+    "equivalent": "success",
+    "structurally_equivalent": "success",
+    "potentially_different": "warning",
+    "definitely_different": "danger",
+    "unknown": "warning",
+    "parse_error": "error",
+}

frontend/core/escaping.py

@@ -0,0 +1,13 @@
+"""Shared HTML-safe escaping utilities.
+
+Replaces the ad-hoc `_esc()` function that lived in app_context.py.
+Uses markupsafe.escape which is already a transitive dependency of
+Streamlit and handles all HTML entity encoding correctly including
+attribute contexts.
+"""
+from markupsafe import escape as html_escape
+
+# Re-export under a project-specific name for clarity
+esc = html_escape
+
+__all__ = ["esc"]

frontend/core/navigation.py

@@ -0,0 +1,135 @@
+"""Unified navigation intent system for SQL Dialect Master v2.
+
+Replaces scattered sdm_pending_* session state keys with a single
+NavigationIntent dataclass. All cross-page handoffs flow through this
+contract:
+
+    Producer → NavigationIntent → session state
+                             ↓
+    Consumer reads once, clears immediately
+
+Supported actions:
+    open_conversion   — NL2SQL / History → Convert
+    open_diff         — Convert / NL2SQL → Diff
+    select_finding    — Diff internal (finding selection)
+    new_conversion    — Command Palette → Convert
+    open_lineage      — Command Palette → Lineage
+    open_query_analysis  — Command Palette → Query Analysis
+    open_history      — Command Palette → History
+    open_settings     — Command Palette → Settings
+"""
+from __future__ import annotations
+
+from dataclasses import dataclass, field
+from typing import Any, Literal
+
+ActionKind = Literal[
+    "open_conversion",
+    "open_diff",
+    "select_finding",
+    "new_conversion",
+    "open_lineage",
+    "open_query_analysis",
+    "open_history",
+    "open_settings",
+    "open_functions",
+    "open_types",
+    "open_templates",
+    "open_runtime",
+]
+
+
+@dataclass
+class NavigationIntent:
+    """Single source of truth for cross-page navigation."""
+
+    target_page: str = ""
+    action: ActionKind | None = None
+    payload: dict[str, Any] = field(default_factory=dict)
+
+    # Validation
+    @property
+    def is_valid(self) -> bool:
+        return bool(self.target_page)
+
+    def has_payload(self, key: str) -> bool:
+        return key in self.payload
+
+    def get_payload(self, key: str, default: Any = None) -> Any:
+        return self.payload.get(key, default)
+
+    def __bool__(self) -> bool:
+        return self.is_valid
+
+
+def create_navigation_intent(
+    target_page: str,
+    action: ActionKind | None = None,
+    **payload: Any,
+) -> NavigationIntent:
+    """Factory for NavigationIntent."""
+    return NavigationIntent(
+        target_page=target_page,
+        action=action,
+        payload=payload,
+    )
+
+
+# ── Known actions per page ─────────────────────────────────────────────
+
+PAGE_ACTIONS: dict[str, list[ActionKind]] = {
+    "convert": ["open_conversion", "new_conversion"],
+    "diff": ["open_diff", "select_finding"],
+    "lineage": ["open_lineage"],
+    "query_analysis": ["open_query_analysis"],
+    "history": ["open_history"],
+    "settings": ["open_settings"],
+    "functions": ["open_functions"],
+    "types": ["open_types"],
+    "templates": [],
+    "runtime": ["open_runtime"],
+    "nl2sql": [],
+}
+
+
+def is_valid_action(target_page: str, action: str | None) -> bool:
+    """Check if an action is valid for a given page."""
+    if action is None:
+        return True
+    allowed = PAGE_ACTIONS.get(target_page, [])
+    return action in allowed or target_page == "convert"  # open_conversion goes to convert
+
+
+# ── Session state helpers ──────────────────────────────────────────────
+
+_NAV_KEY = "sdm_navigation_intent"
+_FINDING_KEY = "sdm_selected_finding_index"
+
+
+def get_pending_intent() -> NavigationIntent:
+    """Read the current pending navigation intent from session state."""
+    import streamlit as st
+    raw = st.session_state.get(_NAV_KEY)
+    if isinstance(raw, NavigationIntent):
+        return raw
+    return NavigationIntent()
+
+
+def consume_navigation_intent() -> NavigationIntent | None:
+    """Atomically read and clear the pending navigation intent.
+
+    Returns:
+        The consumed NavigationIntent, or None if there was no pending intent.
+    """
+    import streamlit as st
+    intent = get_pending_intent()
+    if not intent:
+        return None
+    st.session_state[_NAV_KEY] = NavigationIntent()
+    return intent
+
+
+def clear_finding_selection() -> None:
+    """Clear the selected finding index from session state."""
+    import streamlit as st
+    st.session_state[_FINDING_KEY] = None