import { BookOpen, HelpCircle, History, Monitor, Moon, Sun } from "lucide-react"; import type { Stats } from "../types"; import type { Theme } from "../App"; const THEMES: { key: Theme; Icon: typeof Sun; title: string }[] = [ { key: "light", Icon: Sun, title: "Light" }, { key: "auto", Icon: Monitor, title: "Auto (match system)" }, { key: "dark", Icon: Moon, title: "Dark" }, ]; export function Header({ stats, provider, onProvider, onTogglePolicy, onToggleHistory, historyCount, onHelp, theme, onTheme, }: { stats: Stats | null; provider: string; onProvider: (p: string) => void; onTogglePolicy: () => void; onToggleHistory: () => void; historyCount: number; onHelp: () => void; theme: Theme; onTheme: (t: Theme) => void; }) { return (
{/* The seal: a gold-ringed pine monogram — "a trust held in safekeeping". */}
ا
Amana
Campaign triage — the AI recommends, you decide.
{stats && (
{stats.policy_rules} rules {stats.precedent_cases} precedents
)} {/* Provider toggle — hidden on the public demo, where the provider is forced to Anthropic and the toggle would be inert/misleading. It stays for local dev (Anthropic vs free Ollama). */} {!stats?.public_demo && (
{["anthropic", "ollama"].map((p) => ( ))}
)} {/* Theme: Light / Auto / Dark */}
{THEMES.map(({ key, Icon, title }) => ( ))}
); }