""" gradio_ui.py - Professional UI for Support Ticket Resolution Environment """ import json import sys import os ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) STUB = os.path.join(os.path.dirname(os.path.abspath(__file__)), "openenv_stub") sys.path.insert(0, STUB) sys.path.insert(0, ROOT) try: import gradio as gr except ImportError: print("gradio not installed. Run: pip install gradio") sys.exit(1) from support_ticket_env.server.support_environment import SupportTicketEnvironment from support_ticket_env.models import SupportAction _env = SupportTicketEnvironment() _current_obs = None _history = [] _total_reward = 0.0 _episode_steps = 0 CUSTOM_CSS = """ @import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;600;700&family=Inter:wght@300;400;500;600;700&display=swap'); :root { --bg-primary: #0a0e1a; --bg-secondary: #111827; --bg-card: #1a2234; --bg-hover: #1e2940; --accent-blue: #3b82f6; --accent-green: #10b981; --accent-orange: #f59e0b; --accent-red: #ef4444; --accent-purple: #8b5cf6; --text-primary: #f1f5f9; --text-secondary: #94a3b8; --text-muted: #475569; --border: #1e3a5f; --border-bright: #2563eb; --glow-blue: 0 0 20px rgba(59, 130, 246, 0.3); --glow-green: 0 0 20px rgba(16, 185, 129, 0.3); } * { box-sizing: border-box; } body, .gradio-container { background: var(--bg-primary) !important; font-family: 'Inter', sans-serif !important; color: var(--text-primary) !important; } .gradio-container { max-width: 1400px !important; margin: 0 auto !important; padding: 0 !important; } /* Header Banner */ .header-banner { background: linear-gradient(135deg, #0f172a 0%, #1e1b4b 50%, #0f172a 100%); border-bottom: 1px solid var(--border); padding: 32px 40px; position: relative; overflow: hidden; } .header-banner::before { content: ''; position: absolute; top: -50%; left: -50%; width: 200%; height: 200%; background: radial-gradient(ellipse at center, rgba(59,130,246,0.05) 0%, transparent 70%); animation: pulse 4s ease-in-out infinite; } @keyframes pulse { 0%, 100% { transform: scale(1); opacity: 0.5; } 50% { transform: scale(1.1); opacity: 1; } } .header-title { font-family: 'JetBrains Mono', monospace; font-size: 2rem; font-weight: 700; background: linear-gradient(90deg, #3b82f6, #8b5cf6, #10b981); -webkit-background-clip: text; -webkit-text-fill-color: transparent; background-clip: text; margin: 0; } .header-subtitle { color: var(--text-secondary); font-size: 0.9rem; margin-top: 4px; font-family: 'JetBrains Mono', monospace; } .badge { display: inline-block; padding: 3px 10px; border-radius: 20px; font-size: 0.7rem; font-weight: 600; font-family: 'JetBrains Mono', monospace; margin-right: 6px; margin-top: 8px; } .badge-blue { background: rgba(59,130,246,0.15); color: #60a5fa; border: 1px solid rgba(59,130,246,0.3); } .badge-green { background: rgba(16,185,129,0.15); color: #34d399; border: 1px solid rgba(16,185,129,0.3); } .badge-purple { background: rgba(139,92,246,0.15); color: #a78bfa; border: 1px solid rgba(139,92,246,0.3); } .badge-orange { background: rgba(245,158,11,0.15); color: #fbbf24; border: 1px solid rgba(245,158,11,0.3); } /* Stat Cards */ .stats-row { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; padding: 20px 40px; background: var(--bg-secondary); border-bottom: 1px solid var(--border); } .stat-card { background: var(--bg-card); border: 1px solid var(--border); border-radius: 8px; padding: 16px; text-align: center; transition: all 0.2s; } .stat-card:hover { border-color: var(--accent-blue); box-shadow: var(--glow-blue); transform: translateY(-2px); } .stat-value { font-family: 'JetBrains Mono', monospace; font-size: 1.8rem; font-weight: 700; color: var(--accent-blue); } .stat-label { font-size: 0.75rem; color: var(--text-secondary); text-transform: uppercase; letter-spacing: 0.1em; margin-top: 4px; } /* Panel styles */ .panel { background: var(--bg-card); border: 1px solid var(--border); border-radius: 10px; padding: 20px; margin-bottom: 12px; } /* Section boxes */ .gr-column { background: var(--bg-card) !important; border: 1px solid var(--border) !important; border-radius: 12px !important; padding: 20px !important; } .gr-row { gap: 16px !important; padding: 20px 40px !important; } .panel-title { font-family: 'JetBrains Mono', monospace; font-size: 0.75rem; font-weight: 600; color: var(--accent-blue); text-transform: uppercase; letter-spacing: 0.15em; margin-bottom: 14px; display: flex; align-items: center; gap: 8px; } .panel-title::before { content: ''; display: inline-block; width: 3px; height: 14px; background: var(--accent-blue); border-radius: 2px; } /* Ticket Display */ .ticket-card { background: linear-gradient(135deg, #0f1f3d, #162040); border: 1px solid var(--border-bright); border-radius: 10px; padding: 20px; font-family: 'JetBrains Mono', monospace; font-size: 0.85rem; line-height: 1.7; box-shadow: var(--glow-blue); position: relative; overflow: hidden; } .ticket-card::after { content: ''; position: absolute; top: 0; left: 0; right: 0; height: 2px; background: linear-gradient(90deg, var(--accent-blue), var(--accent-purple)); } /* Reward bar */ .reward-bar-container { background: var(--bg-primary); border-radius: 6px; height: 8px; overflow: hidden; margin-top: 8px; } .reward-bar { height: 100%; background: linear-gradient(90deg, var(--accent-blue), var(--accent-green)); border-radius: 6px; transition: width 0.5s ease; } /* History log */ .history-log { font-family: 'JetBrains Mono', monospace; font-size: 0.78rem; color: var(--text-secondary); line-height: 1.8; max-height: 200px; overflow-y: auto; padding: 12px; background: var(--bg-primary); border-radius: 8px; border: 1px solid var(--border); } .history-log::-webkit-scrollbar { width: 4px; } .history-log::-webkit-scrollbar-track { background: var(--bg-primary); } .history-log::-webkit-scrollbar-thumb { background: var(--border); border-radius: 2px; } .log-entry { padding: 3px 0; border-bottom: 1px solid rgba(30,58,95,0.3); } .log-entry:last-child { border-bottom: none; } .log-reward-good { color: var(--accent-green); } .log-reward-bad { color: var(--accent-red); } .log-step-num { color: var(--accent-blue); } /* Buttons */ .btn-primary { background: linear-gradient(135deg, #1d4ed8, #2563eb) !important; border: 1px solid #3b82f6 !important; color: white !important; font-family: 'JetBrains Mono', monospace !important; font-weight: 600 !important; font-size: 0.85rem !important; letter-spacing: 0.05em !important; padding: 12px 20px !important; border-radius: 8px !important; transition: all 0.2s !important; box-shadow: 0 4px 15px rgba(37,99,235,0.3) !important; } .btn-primary:hover { background: linear-gradient(135deg, #2563eb, #3b82f6) !important; box-shadow: 0 4px 25px rgba(59,130,246,0.5) !important; transform: translateY(-1px) !important; } .btn-secondary { background: linear-gradient(135deg, #064e3b, #065f46) !important; border: 1px solid #10b981 !important; color: #34d399 !important; font-family: 'JetBrains Mono', monospace !important; font-weight: 600 !important; font-size: 0.85rem !important; padding: 12px 20px !important; border-radius: 8px !important; transition: all 0.2s !important; } .btn-state { background: linear-gradient(135deg, #3b1f6e, #4c1d95) !important; border: 1px solid #8b5cf6 !important; color: #a78bfa !important; font-family: 'JetBrains Mono', monospace !important; font-weight: 600 !important; font-size: 0.85rem !important; padding: 12px 20px !important; border-radius: 8px !important; } /* Radio buttons */ .gr-radio label { background: var(--bg-card) !important; border: 1px solid var(--border) !important; border-radius: 6px !important; padding: 8px 14px !important; color: var(--text-secondary) !important; font-family: 'JetBrains Mono', monospace !important; font-size: 0.8rem !important; transition: all 0.15s !important; cursor: pointer !important; } .gr-radio label:hover { border-color: var(--accent-blue) !important; color: var(--text-primary) !important; background: var(--bg-hover) !important; } /* Textbox */ .gr-textbox textarea, .gr-textbox input { background: var(--bg-primary) !important; border: 1px solid var(--border) !important; color: var(--text-primary) !important; font-family: 'JetBrains Mono', monospace !important; font-size: 0.85rem !important; border-radius: 8px !important; } .gr-textbox textarea:focus, .gr-textbox input:focus { border-color: var(--accent-blue) !important; box-shadow: var(--glow-blue) !important; } /* Slider */ .gr-slider input[type=range] { accent-color: var(--accent-blue) !important; } /* Code block */ .gr-code { background: var(--bg-primary) !important; border: 1px solid var(--border) !important; font-family: 'JetBrains Mono', monospace !important; font-size: 0.8rem !important; border-radius: 8px !important; } /* Task difficulty indicators */ .task-easy { color: var(--accent-green); } .task-medium { color: var(--accent-orange); } .task-hard { color: var(--accent-red); } /* Status indicator */ .status-dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; background: var(--accent-green); box-shadow: 0 0 6px var(--accent-green); animation: blink 2s ease-in-out infinite; margin-right: 6px; } @keyframes blink { 0%, 100% { opacity: 1; } 50% { opacity: 0.3; } } /* Feedback box colors */ .feedback-success { color: var(--accent-green) !important; } .feedback-error { color: var(--accent-red) !important; } .feedback-info { color: var(--accent-blue) !important; } /* Main layout */ .main-content { padding: 20px 40px; display: grid; grid-template-columns: 380px 1fr; gap: 20px; } /* Tabs */ .gr-tab-nav button { background: var(--bg-card) !important; color: var(--text-secondary) !important; border: 1px solid var(--border) !important; font-family: 'JetBrains Mono', monospace !important; font-size: 0.8rem !important; border-radius: 6px 6px 0 0 !important; } .gr-tab-nav button.selected { background: var(--bg-hover) !important; color: var(--accent-blue) !important; border-bottom-color: var(--bg-hover) !important; } /* Number input */ .gr-number input { background: var(--bg-primary) !important; border: 1px solid var(--border) !important; color: var(--text-primary) !important; font-family: 'JetBrains Mono', monospace !important; border-radius: 8px !important; } /* Markdown */ .gr-markdown { color: var(--text-primary) !important; font-family: 'Inter', sans-serif !important; } .gr-markdown h3 { font-family: 'JetBrains Mono', monospace !important; color: var(--accent-blue) !important; font-size: 0.75rem !important; text-transform: uppercase !important; letter-spacing: 0.15em !important; border-bottom: 1px solid var(--border) !important; padding-bottom: 8px !important; margin-bottom: 12px !important; } /* Checkbox */ .gr-checkbox label { color: var(--text-secondary) !important; font-family: 'JetBrains Mono', monospace !important; font-size: 0.8rem !important; } """ HEADER_HTML = """
""" TASK_INFO_HTML = """