/* === RESET === */
*,*::before,*::after{box-sizing:border-box;margin:0;padding:0;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}

:root{
--bg-primary:#0a0a0a;--bg-secondary:#141414;--bg-tertiary:#1c1c1c;--bg-elevated:#242424;
--bg-overlay:rgba(0,0,0,0.8);--bg-selection:#1a3a5c;--bg-highlight:#162028;
--border-hairline:rgba(255,255,255,0.08);--border-subtle:rgba(255,255,255,0.12);
--border-default:rgba(255,255,255,0.18);--border-focus:rgba(60,120,220,0.8);
--border-accent:rgba(94,106,210,0.6);
--text-primary:#e8e8e8;--text-secondary:#a0a0a0;--text-tertiary:#6b6b6b;
--text-link:#5e6ad2;--text-mono:#d4d4d4;
--accent-primary:#5e6ad2;--accent-hover:#7c87e8;--accent-active:#4a54b3;--accent-glow:rgba(94,106,210,0.2);
--status-success:#34c759;--status-warning:#ff9500;--status-error:#ff3b30;--status-info:#007aff;
--agent-parsing:#f5a623;--agent-building:#4a90e2;--agent-lowering:#7b61ff;
--agent-verifying:#50e3c2;--agent-optimizing:#f5a623;--agent-compiling:#bd10e0;
--agent-executing:#50e3c2;--agent-complete:#34c759;--agent-failed:#ff3b30;
--syntax-keyword:#ff7a83;--syntax-string:#a5d6ff;--syntax-comment:#6b7280;
--syntax-number:#d2a8ff;--syntax-function:#ffd787;--syntax-class:#7ee787;
--syntax-variable:#ffa657;--syntax-constant:#79c0ff;
--grid-line:rgba(255,255,255,0.04);--grid-size:64px;
--font-sans:'SF Pro Display','SF Pro Text',-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;
--font-mono:'SF Mono','JetBrains Mono','Fira Code','Cascadia Code',monospace;
--font-size-xs:11px;--font-size-sm:12px;--font-size-base:13px;--font-size-lg:14px;
--font-size-xl:15px;--font-size-2xl:17px;--font-size-3xl:20px;
--font-weight-regular:400;--font-weight-medium:500;--font-weight-semibold:600;
--spacing-1:4px;--spacing-2:8px;--spacing-3:12px;--spacing-4:16px;--spacing-6:24px;--spacing-8:32px;
--radius-sm:4px;--radius-md:6px;--radius-lg:8px;--radius-full:9999px;
--shadow-sm:0 2px 4px rgba(0,0,0,0.4);--shadow-lg:0 8px 16px -4px rgba(0,0,0,0.6);
--duration-fast:100ms;--duration-base:150ms;--duration-slow:200ms;
--easing-default:cubic-bezier(0.25,0.1,0.25,1);--easing-smooth:cubic-bezier(0.4,0,0.2,1);
--z-surface:10;--z-overlay:20;--z-modal:40;--z-toast:70;
}

html{font-size:13px;font-family:var(--font-sans);background:var(--bg-primary);color:var(--text-primary);overflow:hidden}
body{width:100vw;height:100vh;overflow:hidden;user-select:none}

.app-observatory{display:flex;flex-direction:column;width:100vw;height:100vh;
background:linear-gradient(var(--grid-line) 1px,transparent 1px),linear-gradient(90deg,var(--grid-line) 1px,transparent 1px),var(--bg-primary);
background-size:var(--grid-size) var(--grid-size)}

/* === COMMAND BAR === */
.command-bar{display:flex;align-items:center;justify-content:space-between;height:44px;padding:0 var(--spacing-4);background:var(--bg-tertiary);border-bottom:0.5px solid var(--border-hairline);gap:var(--spacing-4);flex-shrink:0}
.command-left,.command-right{display:flex;align-items:center;gap:var(--spacing-4)}
.logo{display:flex;align-items:center;gap:var(--spacing-2)}
.logo-symbol{font-size:var(--font-size-xl);color:var(--accent-primary);animation:pulse 2s var(--easing-smooth) infinite}
@keyframes pulse{0%,100%{opacity:1}50%{opacity:.6}}
.logo-text{font-size:var(--font-size-base);font-weight:var(--font-weight-semibold);letter-spacing:.025em;color:var(--text-primary)}
.menu-bar{display:flex;gap:var(--spacing-1)}
.menu-item{padding:var(--spacing-1) var(--spacing-2);font-size:var(--font-size-sm);font-family:var(--font-sans);color:var(--text-secondary);background:0;border:0;border-radius:var(--radius-sm);cursor:pointer;transition:all var(--duration-fast) var(--easing-default)}
.menu-item:hover{background:var(--bg-secondary);color:var(--text-primary)}
.menu-item.is-active{background:var(--bg-selection);color:var(--text-primary)}
.command-center{flex:1;max-width:600px}
.command-palette{position:relative;display:flex;align-items:center}
.command-input{width:100%;padding:var(--spacing-2) var(--spacing-3) var(--spacing-2) var(--spacing-8);font-size:var(--font-size-sm);font-family:var(--font-sans);color:var(--text-primary);background:var(--bg-primary);border:0.5px solid var(--border-subtle);border-radius:var(--radius-md);outline:0;transition:all var(--duration-fast) var(--easing-default)}
.command-input:focus{border-color:var(--border-focus);box-shadow:0 0 0 3px var(--accent-glow)}
.command-input::placeholder{color:var(--text-tertiary)}
.command-shortcut{position:absolute;right:var(--spacing-3);font-size:var(--font-size-xs);color:var(--text-tertiary);background:var(--bg-tertiary);padding:2px 6px;border-radius:var(--radius-sm);pointer-events:none}
.runtime-indicator,.agent-status,.worm-indicator{display:flex;align-items:center;gap:6px;padding:4px 10px;background:var(--bg-secondary);border:0.5px solid var(--border-subtle);border-radius:var(--radius-full);font-size:var(--font-size-xs);color:var(--text-secondary)}
.runtime-dot,.agent-dot{font-size:8px;color:var(--status-success);animation:pulse 1s infinite}
.worm-seal{color:var(--accent-primary);font-size:var(--font-size-sm)}

/* === ROUTE CONTAINER === */
.route-container{flex:1;overflow:hidden;position:relative}
.route-view{position:absolute;inset:0;display:flex;flex-direction:column}
.route-view.hidden{display:none}

/* === OBSERVATORY === */
.observatory{display:flex;flex:1;overflow:hidden}
.panel{display:flex;flex-direction:column;background:rgba(20,20,20,0.98);overflow:hidden}
.panel-header{display:flex;align-items:center;justify-content:space-between;padding:6px 12px;height:36px;background:var(--bg-tertiary);border-bottom:0.5px solid var(--border-hairline);flex-shrink:0}
.panel-title{font-size:var(--font-size-sm);font-weight:var(--font-weight-medium);color:var(--text-secondary);letter-spacing:.025em;text-transform:uppercase}
.panel-content{flex:1;overflow-y:auto;padding:var(--spacing-2)}
.panel-actions{display:flex;gap:2px}
.panel-left{width:240px;border-right:0.5px solid var(--border-hairline);flex-shrink:0}
.panel-center{flex:1;display:flex;flex-direction:column;overflow:hidden}
.panel-right{width:280px;border-left:0.5px solid var(--border-hairline);flex-shrink:0}

/* Symbol Explorer */
.symbol-group-header{display:flex;align-items:center;gap:6px;padding:4px 8px;font-size:var(--font-size-xs);font-weight:var(--font-weight-semibold);color:var(--text-tertiary);text-transform:uppercase;letter-spacing:.05em}
.symbol-group-icon{color:var(--accent-primary)}
.symbol-item{display:flex;align-items:center;gap:6px;padding:4px 8px 4px 28px;font-size:var(--font-size-sm);color:var(--text-secondary);border-radius:var(--radius-sm);cursor:pointer;transition:all var(--duration-fast)}
.symbol-item:hover{background:var(--bg-secondary);color:var(--text-primary)}
.symbol-item.is-active{background:var(--bg-selection);color:var(--text-primary)}
.symbol-icon{font-family:var(--font-mono);color:var(--accent-primary);width:16px;text-align:center;font-size:var(--font-size-sm)}
.symbol-name{flex:1;font-family:var(--font-mono);font-size:var(--font-size-sm)}
.symbol-type{font-size:var(--font-size-xs);color:var(--text-tertiary)}

/* Agent Forge */
.agent-forge{background:var(--bg-secondary);border-bottom:0.5px solid var(--border-hairline);padding:10px 16px;flex-shrink:0}
.forge-header{display:flex;align-items:center;justify-content:space-between;margin-bottom:8px}
.forge-title{font-size:var(--font-size-sm);font-weight:var(--font-weight-medium);color:var(--text-secondary)}
.status-badge{font-size:var(--font-size-xs);font-weight:var(--font-weight-medium);padding:2px 8px;border-radius:var(--radius-full);background:rgba(94,106,210,0.15);color:var(--accent-primary)}
.status-badge.is-executing{background:rgba(94,106,210,0.25);animation:pulse 1s infinite}
.forge-stages{display:flex;gap:4px}
.stage{display:flex;align-items:center;gap:4px;padding:3px 8px;font-size:var(--font-size-xs);color:var(--text-tertiary);background:var(--bg-primary);border-radius:var(--radius-sm);border:0.5px solid var(--border-hairline);transition:all var(--duration-base)}
.stage.is-active{border-color:var(--border-accent);background:rgba(94,106,210,0.1);color:var(--accent-primary)}
.stage.is-complete{border-color:rgba(52,199,89,0.3);background:rgba(52,199,89,0.05);color:var(--status-success)}
.stage-icon{font-size:10px}

/* Terminal */
.symbolic-terminal{flex:1;display:flex;flex-direction:column;overflow:hidden}
.terminal-header{display:flex;align-items:center;justify-content:space-between;padding:6px 12px;background:var(--bg-tertiary);border-bottom:0.5px solid var(--border-hairline);flex-shrink:0}
.terminal-title{font-size:var(--font-size-sm);font-weight:var(--font-weight-medium);color:var(--text-secondary)}
.terminal-actions{display:flex;gap:2px}
.terminal-content{flex:1;overflow-y:auto;padding:12px;font-family:var(--font-mono);font-size:var(--font-size-sm);line-height:1.6}
.terminal-line{margin-bottom:6px;white-space:pre-wrap;word-break:break-all}
.terminal-line.is-input{color:var(--text-primary)}
.terminal-line.is-output{color:var(--text-mono)}
.terminal-line.is-error{color:var(--status-error)}
.terminal-line.is-result{color:var(--accent-primary)}
.terminal-line.is-reasoning{color:var(--text-secondary);font-style:italic;padding-left:16px;border-left:2px solid var(--border-subtle);margin:8px 0}
.terminal-line.is-code{background:var(--bg-secondary);padding:10px;border-radius:var(--radius-md);border:0.5px solid var(--border-hairline)}
.terminal-prompt{color:var(--accent-primary);margin-right:8px}
.terminal-input-area{display:flex;align-items:center;padding:6px 12px;background:var(--bg-secondary);border-top:0.5px solid var(--border-hairline);flex-shrink:0}
.terminal-input-field{flex:1;background:0;border:0;outline:0;color:var(--text-mono);font-family:var(--font-mono);font-size:var(--font-size-sm);caret-color:var(--accent-primary)}
.terminal-input-field::placeholder{color:var(--text-tertiary)}

/* Timeline */
.execution-timeline{height:100px;background:var(--bg-secondary);border-top:0.5px solid var(--border-hairline);padding:8px 12px;flex-shrink:0}
.timeline-header{display:flex;align-items:center;justify-content:space-between;margin-bottom:6px}
.timeline-title{font-size:var(--font-size-sm);font-weight:var(--font-weight-medium);color:var(--text-secondary)}
.timeline-controls{display:flex;gap:4px}
.timeline-markers{display:flex;justify-content:space-between;margin-bottom:6px}
.marker{display:flex;flex-direction:column;align-items:center;gap:2px;font-size:var(--font-size-xs);color:var(--text-tertiary)}
.marker.is-complete{color:var(--status-success)}
.marker.is-active{color:var(--accent-primary)}
.marker-dot{font-size:10px}
.timeline-progress-bar{height:4px;background:var(--bg-primary);border-radius:var(--radius-full);overflow:hidden}
.progress-fill{height:100%;background:var(--accent-primary);border-radius:var(--radius-full);transition:width var(--duration-base)}

/* Reasoning */
.reasoning-stream{display:flex;flex-direction:column;gap:8px}
.reasoning-entry{display:flex;flex-direction:column;gap:4px;padding:8px;background:var(--bg-secondary);border-radius:var(--radius-md);border:0.5px solid var(--border-hairline)}
.reasoning-timestamp{font-family:var(--font-mono);font-size:var(--font-size-xs);color:var(--text-tertiary)}
.reasoning-stage{font-size:var(--font-size-xs);font-weight:var(--font-weight-medium);padding:2px 6px;border-radius:var(--radius-sm);width:fit-content}
.reasoning-stage.is-parsing{background:rgba(245,166,35,0.15);color:var(--agent-parsing)}
.reasoning-stage.is-building{background:rgba(74,144,226,0.15);color:var(--agent-building)}
.reasoning-stage.is-lowering{background:rgba(123,97,255,0.15);color:var(--agent-lowering)}
.reasoning-stage.is-verifying{background:rgba(80,227,194,0.15);color:var(--agent-verifying)}
.reasoning-stage.is-optimizing{background:rgba(245,166,35,0.15);color:var(--agent-optimizing)}
.reasoning-stage.is-compiling,.reasoning-stage.is-emit{background:rgba(189,16,224,0.15);color:var(--agent-compiling)}
.reasoning-stage.is-executing{background:rgba(80,227,194,0.15);color:var(--agent-executing)}
.reasoning-stage.is-sealing{background:rgba(94,106,210,0.15);color:var(--accent-primary)}
.reasoning-text{font-size:var(--font-size-sm);color:var(--text-secondary);line-height:1.5}
.inline-code{font-family:var(--font-mono);font-size:var(--font-size-xs);background:var(--bg-primary);padding:1px 4px;border-radius:2px;border:0.5px solid var(--border-hairline);color:var(--text-mono)}

/* Bottom Panel */
.bottom-panel{height:180px;background:var(--bg-secondary);border-top:0.5px solid var(--border-hairline);flex-shrink:0}
.panel-split{display:flex;height:100%}
.panel-memory,.panel-proofs,.panel-widgets{flex:1;display:flex;flex-direction:column;border-right:0.5px solid var(--border-hairline)}
.panel-memory:last-child,.panel-proofs:last-child,.panel-widgets:last-child{border-right:none}

/* Tape Viewer */
.tape-viewer{display:flex;flex-direction:column;gap:2px;font-family:var(--font-mono);font-size:var(--font-size-xs)}
.tape-header{display:flex;gap:6px;padding-bottom:4px;border-bottom:0.5px solid var(--border-hairline);margin-bottom:4px}
.tape-addr-label{width:40px;font-weight:var(--font-weight-medium);color:var(--text-tertiary);text-align:right;padding-right:6px}
.tape-cell-label{width:28px;text-align:center;color:var(--text-tertiary);font-weight:var(--font-weight-medium)}
.tape-row{display:flex;align-items:center;gap:4px}
.tape-address{width:40px;color:var(--text-tertiary);text-align:right;padding-right:6px;border-right:0.5px solid var(--border-hairline)}
.tape-cell{width:28px;height:22px;display:flex;align-items:center;justify-content:center;background:var(--bg-primary);border:0.5px solid var(--border-hairline);border-radius:2px;color:var(--text-mono);font-family:var(--font-mono);cursor:pointer;transition:all var(--duration-fast)}
.tape-cell:hover{background:var(--bg-elevated);border-color:var(--border-default);transform:scale(1.1)}
.tape-cell.is-active{background:rgba(94,106,210,0.15);border-color:var(--border-accent);color:var(--accent-primary)}
.tape-cell.is-modified{background:rgba(255,59,48,0.15);border-color:rgba(255,59,48,0.4);color:var(--status-error)}

/* Proof List */
.proof-list{display:flex;flex-direction:column;gap:4px}
.proof-item{display:flex;align-items:center;gap:6px;padding:6px;background:var(--bg-primary);border-radius:var(--radius-sm);border:0.5px solid var(--border-hairline);font-size:var(--font-size-sm);cursor:pointer;transition:all var(--duration-fast)}
.proof-item:hover{border-color:var(--border-default)}
.proof-item.is-verified{border-color:rgba(52,199,89,0.3)}
.proof-item.is-verifying{border-color:rgba(245,166,35,0.3)}
.proof-item.is-pending{border-color:var(--border-hairline)}
.proof-icon{font-size:var(--font-size-sm)}
.proof-item.is-verified .proof-icon{color:var(--status-success)}
.proof-item.is-verifying .proof-icon{color:var(--status-warning);animation:pulse 1.5s infinite}
.proof-item.is-pending .proof-icon{color:var(--text-tertiary)}
.proof-name{flex:1;font-weight:var(--font-weight-medium);color:var(--text-primary)}
.proof-status{font-size:var(--font-size-xs);color:var(--text-tertiary)}

/* Widgets */
.widget-grid{display:flex;flex-direction:column;gap:6px}
.widget{background:var(--bg-primary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-md);overflow:hidden}
.widget-header{padding:4px 8px;background:var(--bg-tertiary);border-bottom:0.5px solid var(--border-hairline)}
.widget-title{font-size:var(--font-size-xs);font-weight:var(--font-weight-medium);color:var(--text-secondary);text-transform:uppercase;letter-spacing:.05em}
.widget-body{padding:6px 8px}
.register-row,.perf-stat{display:flex;justify-content:space-between;padding:2px 0;font-family:var(--font-mono);font-size:var(--font-size-xs)}
.register-name,.perf-label{color:var(--text-secondary)}
.register-value,.perf-value{color:var(--accent-primary);font-weight:var(--font-weight-medium)}
.heap-bar{height:10px;background:var(--bg-secondary);border-radius:2px;overflow:hidden;margin-bottom:4px}
.heap-used{height:100%;background:var(--accent-primary);border-radius:2px;display:flex;align-items:center;justify-content:center;font-size:9px;color:var(--text-primary);font-weight:var(--font-weight-medium)}
.heap-stats{display:flex;justify-content:space-between;font-size:var(--font-size-xs);color:var(--text-tertiary)}

/* === EDITOR === */
.editor-layout{display:flex;flex:1;overflow:hidden}
.editor-sidebar{width:200px;border-right:0.5px solid var(--border-hairline);display:flex;flex-direction:column;background:var(--bg-secondary)}
.editor-main{flex:1;display:flex;flex-direction:column;overflow:hidden}
.editor-tabs{display:flex;background:var(--bg-tertiary);border-bottom:0.5px solid var(--border-hairline);flex-shrink:0}
.editor-tab{padding:6px 12px;font-size:var(--font-size-sm);color:var(--text-secondary);cursor:pointer;border-bottom:2px solid transparent;transition:all var(--duration-fast)}
.editor-tab:hover{color:var(--text-primary)}
.editor-tab.is-active{color:var(--text-primary);border-bottom-color:var(--accent-primary)}
.editor-content{flex:1;overflow:auto;padding:12px;font-family:var(--font-mono);font-size:var(--font-size-sm);line-height:1.6;color:var(--text-mono)}
.editor-content textarea{width:100%;height:100%;background:0;border:0;outline:0;color:var(--text-mono);font-family:var(--font-mono);font-size:var(--font-size-sm);line-height:1.6;resize:none}
.editor-statusbar{display:flex;align-items:center;justify-content:space-between;padding:4px 12px;background:var(--bg-tertiary);border-top:0.5px solid var(--border-hairline);font-size:var(--font-size-xs);color:var(--text-tertiary);flex-shrink:0}
.editor-inspector{width:280px;border-left:0.5px solid var(--border-hairline);display:flex;flex-direction:column;background:var(--bg-secondary)}
.editor-placeholder{display:flex;align-items:center;justify-content:center;height:100%;color:var(--text-tertiary);font-size:var(--font-size-lg)}

/* === SANDBOX === */
.sandbox-layout{display:flex;flex-direction:column;flex:1;overflow:hidden}
.sandbox-header{display:flex;align-items:center;justify-content:space-between;padding:8px 16px;background:var(--bg-tertiary);border-bottom:0.5px solid var(--border-hairline);flex-shrink:0}
.sandbox-title{font-size:var(--font-size-lg);font-weight:var(--font-weight-semibold);color:var(--text-primary)}
.sandbox-controls{display:flex;gap:4px}
.sandbox-panels{display:grid;grid-template-columns:200px 1fr 300px 240px;flex:1;overflow:hidden}
.sandbox-registers,.sandbox-memory,.sandbox-trace,.sandbox-selfmod{display:flex;flex-direction:column;border-right:0.5px solid var(--border-hairline);overflow:hidden}
.sandbox-selfmod{border-right:none}
.sandbox-registers .panel-content{font-family:var(--font-mono);font-size:var(--font-size-xs)}
.sandbox-memory .panel-content{font-family:var(--font-mono);font-size:var(--font-size-xs)}
.sandbox-trace .panel-content{font-family:var(--font-mono);font-size:var(--font-size-xs)}
.sandbox-selfmod .panel-content{font-family:var(--font-mono);font-size:var(--font-size-xs)}

/* === AGENTS === */
.agents-layout{display:flex;flex:1;overflow:hidden}
.agents-grid{flex:1;display:grid;grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:12px;padding:16px;overflow-y:auto}
.agent-card{background:var(--bg-secondary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-md);padding:16px;cursor:pointer;transition:all var(--duration-fast)}
.agent-card:hover{border-color:var(--border-default);transform:translateY(-1px)}
.agent-card.is-selected{border-color:var(--accent-primary);box-shadow:0 0 0 2px var(--accent-glow)}
.agent-card-header{display:flex;align-items:center;gap:8px;margin-bottom:8px}
.agent-card-dot{width:8px;height:8px;border-radius:50%;background:var(--status-success)}
.agent-card-dot.is-idle{background:var(--text-tertiary)}
.agent-card-name{font-size:var(--font-size-lg);font-weight:var(--font-weight-semibold);color:var(--text-primary)}
.agent-card-role{font-size:var(--font-size-xs);color:var(--text-tertiary);text-transform:uppercase;letter-spacing:.05em}
.agent-card-stats{display:flex;gap:12px;margin-top:8px;font-size:var(--font-size-xs);color:var(--text-secondary)}
.agent-detail{width:360px;border-left:0.5px solid var(--border-hairline);padding:16px;overflow-y:auto;background:var(--bg-secondary)}
.agent-detail-placeholder{display:flex;align-items:center;justify-content:center;height:100%;color:var(--text-tertiary)}

/* === PROOFS === */
.proofs-layout{display:flex;flex:1;overflow:hidden}
.proofs-list{flex:1;padding:16px;overflow-y:auto}
.proof-detail{width:360px;border-left:0.5px solid var(--border-hairline);padding:16px;overflow-y:auto;background:var(--bg-secondary)}

/* === WORM === */
.worm-layout{display:flex;flex:1;overflow:hidden}
.worm-chain{flex:1;padding:16px;overflow-y:auto}
.worm-detail{width:360px;border-left:0.5px solid var(--border-hairline);padding:16px;overflow-y:auto;background:var(--bg-secondary)}
.worm-block{display:flex;align-items:center;gap:8px;padding:8px 12px;background:var(--bg-secondary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-md);margin-bottom:4px;cursor:pointer;transition:all var(--duration-fast)}
.worm-block:hover{border-color:var(--border-default)}
.worm-block.is-sealed{border-color:rgba(52,199,89,0.3)}
.worm-block-hash{font-family:var(--font-mono);font-size:var(--font-size-xs);color:var(--text-mono)}
.worm-block-type{font-size:var(--font-size-xs);font-weight:var(--font-weight-medium);color:var(--accent-primary)}
.worm-block-time{font-size:var(--font-size-xs);color:var(--text-tertiary);margin-left:auto}

/* === DEPLOY === */
.deploy-layout{display:flex;flex:1;overflow:hidden;padding:16px}
.deploy-dashboard{flex:1;display:grid;grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:12px;align-content:start}
.deploy-card{background:var(--bg-secondary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-md);padding:16px}
.deploy-card-title{font-size:var(--font-size-lg);font-weight:var(--font-weight-semibold);color:var(--text-primary);margin-bottom:8px}
.deploy-card-status{font-size:var(--font-size-sm);color:var(--text-secondary)}

/* === 404 === */
.error-404{display:flex;flex-direction:column;align-items:center;justify-content:center;height:100%;gap:16px}
.error-seal{font-size:64px;color:var(--status-error);animation:pulse 2s infinite}
.error-404 h2{font-size:var(--font-size-3xl);color:var(--text-primary)}
.error-404 p{color:var(--text-secondary)}

/* === BUTTONS === */
.btn{display:inline-flex;align-items:center;justify-content:center;gap:6px;padding:6px 12px;font-size:var(--font-size-sm);font-family:var(--font-sans);font-weight:var(--font-weight-medium);color:var(--text-primary);background:var(--bg-secondary);border:0.5px solid var(--border-subtle);border-radius:var(--radius-md);cursor:pointer;transition:all var(--duration-fast);white-space:nowrap}
.btn:hover{background:var(--bg-elevated);border-color:var(--border-default)}
.btn:active{background:var(--bg-primary)}
.btn-icon{width:28px;height:28px;padding:0}
.btn-icon svg{width:14px;height:14px;color:var(--text-secondary)}
.btn-mini{padding:3px 8px;font-size:var(--font-size-xs)}

/* === COMMAND PALETTE MODAL === */
.overlay{position:fixed;inset:0;background:var(--bg-overlay);z-index:var(--z-overlay);display:none}
.overlay.is-visible{display:block}
.command-palette-modal{position:fixed;top:40%;left:50%;transform:translate(-50%,-50%);width:520px;max-height:400px;background:var(--bg-elevated);border:0.5px solid var(--border-default);border-radius:var(--radius-lg);box-shadow:var(--shadow-lg);z-index:var(--z-modal);display:none;overflow:hidden}
.command-palette-modal.is-open{display:block}
.command-palette-input{width:100%;padding:16px;font-size:var(--font-size-lg);font-family:var(--font-sans);color:var(--text-primary);background:0;border:0;border-bottom:0.5px solid var(--border-hairline);outline:0}
.command-palette-results{max-height:320px;overflow-y:auto}
.command-result{display:flex;align-items:center;gap:12px;padding:10px 16px;cursor:pointer;transition:background var(--duration-fast)}
.command-result:hover,.command-result.is-selected{background:var(--bg-selection)}
.command-result-icon{width:24px;height:24px;display:flex;align-items:center;justify-content:center;background:var(--bg-primary);border-radius:var(--radius-sm);font-size:var(--font-size-sm);color:var(--accent-primary)}
.command-result-title{font-size:var(--font-size-sm);font-weight:var(--font-weight-medium);color:var(--text-primary)}
.command-result-desc{font-size:var(--font-size-xs);color:var(--text-tertiary)}

/* === SCROLLBAR === */
::-webkit-scrollbar{width:6px;height:6px}
::-webkit-scrollbar-track{background:0}
::-webkit-scrollbar-thumb{background:var(--border-subtle);border-radius:var(--radius-full)}
::-webkit-scrollbar-thumb:hover{background:var(--border-default)}
::selection{background:var(--bg-selection);color:var(--text-primary)}

/* === AGENT INSPECTOR === */
.agent-heap{margin-bottom:12px}
.agent-heap-label,.agent-inspector-const-label{font-size:var(--font-size-xs);font-weight:var(--font-weight-medium);color:var(--text-tertiary);text-transform:uppercase;letter-spacing:.05em;margin-bottom:6px}
.agent-heap-list{display:flex;flex-direction:column;gap:3px}
.agent-heap-btn{display:flex;align-items:center;gap:8px;width:100%;padding:6px 8px;background:var(--bg-primary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-sm);cursor:pointer;transition:all var(--duration-fast);text-align:left}
.agent-heap-btn:hover{background:var(--bg-secondary);border-color:var(--border-default)}
.agent-heap-btn.is-selected{background:var(--bg-selection);border-color:var(--accent-primary)}
.agent-heap-dot{width:6px;height:6px;border-radius:50%;flex-shrink:0}
.agent-heap-name{font-size:var(--font-size-xs);font-weight:var(--font-weight-semibold);color:var(--text-primary)}
.agent-heap-status{font-size:var(--font-size-xs);color:var(--status-success);margin-left:auto}
.agent-inspector{background:var(--bg-primary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-md);padding:10px;margin-bottom:12px}
.agent-inspector-header{margin-bottom:8px}
.agent-inspector-name{font-size:var(--font-size-sm);font-weight:var(--font-weight-bold);color:var(--text-primary)}
.agent-inspector-role{font-size:var(--font-size-xs);color:var(--text-tertiary)}
.agent-inspector-grid{display:flex;flex-direction:column;gap:4px;margin-bottom:8px}
.agent-inspector-row{display:flex;justify-content:space-between;font-size:var(--font-size-xs)}
.agent-inspector-label{color:var(--text-tertiary)}
.agent-inspector-value{color:var(--text-primary);font-family:var(--font-mono);font-weight:var(--font-weight-medium)}
.agent-inspector-constitution{border-top:0.5px solid var(--border-hairline);padding-top:8px}
.agent-inspector-const-rule{font-size:var(--font-size-xs);color:var(--text-secondary);font-family:var(--font-mono);line-height:1.6}
.agent-inspector-result{color:var(--status-success);font-weight:var(--font-weight-bold)}

/* === EXPANDED AGENT CHAT === */
.agent-chat-expanded{flex:1;display:flex;flex-direction:column;background:var(--bg-primary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-md);overflow:hidden;min-height:200px}
.agent-chat-header{display:flex;align-items:center;justify-content:space-between;padding:8px 12px;border-bottom:0.5px solid var(--border-hairline);background:var(--bg-secondary)}
.agent-chat-title{font-size:var(--font-size-sm);font-weight:var(--font-weight-semibold);color:var(--text-primary)}
.agent-chat-expand-btn{background:0;border:0;color:var(--text-tertiary);cursor:pointer;font-size:var(--font-size-sm);padding:2px 6px;border-radius:var(--radius-sm)}
.agent-chat-expand-btn:hover{background:var(--bg-hover);color:var(--text-primary)}

/* Reasoning Ticker */
.agent-chat-reasoning{height:0;overflow:hidden;transition:height 0.4s var(--ease-out);background:var(--bg-secondary);border-bottom:0.5px solid var(--border-hairline)}
.agent-chat-reasoning.is-active{height:48px}
.reasoning-ticker{padding:8px 12px;font-family:var(--font-mono);font-size:11px;color:var(--accent-primary);white-space:nowrap;overflow:hidden;display:flex;align-items:center;gap:16px;height:100%}
.ticker-step{display:inline-flex;align-items:center;gap:6px;animation:tickerFadeIn 0.3s var(--ease-out) forwards;opacity:0;white-space:nowrap}
.ticker-step.is-active{opacity:1}
.ticker-step .ticker-icon{width:14px;height:14px;border-radius:50%;display:flex;align-items:center;justify-content:center;font-size:8px;flex-shrink:0}
.ticker-step .ticker-icon.is-check{background:rgba(52,199,89,0.15);color:var(--status-success)}
.ticker-step .ticker-icon.is-computing{background:rgba(94,106,210,0.15);color:var(--accent-primary);animation:tickerPulse 1s infinite}
.ticker-step .ticker-icon.is-pending{background:var(--bg-primary);color:var(--text-tertiary);border:0.5px solid var(--border-hairline)}
.ticker-label{color:var(--text-secondary);font-size:10px}
.ticker-formula{color:var(--accent-primary);font-weight:var(--font-weight-medium)}
@keyframes tickerFadeIn{from{opacity:0;transform:translateX(-8px)}to{opacity:1;transform:translateX(0)}}
@keyframes tickerPulse{0%,100%{opacity:1}50%{opacity:0.4}}

/* Messages */
.agent-chat-messages-expanded{flex:1;overflow-y:auto;padding:12px;display:flex;flex-direction:column;gap:10px;scroll-behavior:smooth}
.agent-chat-msg{display:flex;gap:8px;animation:msgSlideIn 0.3s var(--ease-out) forwards;opacity:0;transform:translateY(8px)}
.agent-chat-msg:last-child{opacity:1;transform:none}
@keyframes msgSlideIn{to{opacity:1;transform:translateY(0)}}
.agent-chat-avatar{width:28px;height:28px;border-radius:50%;display:flex;align-items:center;justify-content:center;font-size:11px;font-weight:var(--font-weight-bold);flex-shrink:0;color:white}
.agent-chat-msg.is-agent .agent-chat-avatar{background:var(--accent-primary)}
.agent-chat-msg.is-user .agent-chat-avatar{background:var(--status-success)}
.agent-chat-msg.is-system .agent-chat-avatar{background:var(--text-tertiary)}
.agent-chat-msg.is-agent{flex-direction:row}
.agent-chat-msg.is-user{flex-direction:row-reverse}
.agent-chat-msg.is-system{justify-content:center}
.agent-chat-msg.is-agent .agent-chat-text{background:var(--bg-secondary);border:0.5px solid var(--border-hairline);border-radius:0 var(--radius-md) var(--radius-md) var(--radius-md);padding:8px 12px;font-size:var(--font-size-sm);color:var(--text-primary);max-width:85%;line-height:1.5}
.agent-chat-msg.is-user .agent-chat-text{background:rgba(94,106,210,0.15);border:0.5px solid rgba(94,106,210,0.2);border-radius:var(--radius-md) 0 var(--radius-md) var(--radius-md);padding:8px 12px;font-size:var(--font-size-sm);color:var(--text-primary);max-width:85%;line-height:1.5}
.agent-chat-msg.is-system .agent-chat-text{color:var(--text-tertiary);font-size:var(--font-size-xs);font-style:italic;text-align:center}
.agent-chat-msg.is-typing .agent-chat-text{display:flex;gap:4px;padding:12px 16px}
.typing-dot{width:6px;height:6px;border-radius:50%;background:var(--accent-primary);animation:typingBounce 1.4s infinite}
.typing-dot:nth-child(2){animation-delay:0.2s}
.typing-dot:nth-child(3){animation-delay:0.4s}
@keyframes typingBounce{0%,60%,100%{transform:translateY(0);opacity:0.4}30%{transform:translateY(-6px);opacity:1}}

/* Input */
.agent-chat-input-expanded{display:flex;align-items:flex-end;gap:6px;padding:10px;border-top:0.5px solid var(--border-hairline);background:var(--bg-secondary)}
.agent-chat-textarea{flex:1;background:var(--bg-primary);border:0.5px solid var(--border-hairline);border-radius:var(--radius-md);padding:8px 12px;font-size:var(--font-size-sm);color:var(--text-primary);font-family:var(--font-sans);outline:0;resize:none;min-height:36px;max-height:120px;line-height:1.4}
.agent-chat-textarea:focus{border-color:var(--border-focus)}
.agent-chat-send-btn{width:36px;height:36px;border-radius:50%;background:var(--accent-primary);border:0;color:white;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:all var(--duration-fast);flex-shrink:0}
.agent-chat-send-btn:hover{background:var(--accent-secondary);transform:scale(1.05)}
.agent-chat-send-btn:active{transform:scale(0.95)}
.send-icon{font-size:16px;margin-left:2px}

/* Fullscreen mode */
.agent-chat-expanded.is-fullscreen{position:fixed;inset:60px 20px 20px;z-index:1000;border:0.5px solid var(--border-hairline);box-shadow:0 24px 80px rgba(0,0,0,0.6)}

/* Responsive */
.bottom-panel .panel-split{display:flex;gap:12px}
.panel-panel-proofs{flex:1}
.panel-panel-worm{flex:1}
:focus-visible{outline:2px solid var(--border-focus);outline-offset:2px}
/* === TOAST NOTIFICATIONS === */
.error-toast, .success-toast {
    position: fixed;
    bottom: 20px;
    right: 20px;
    min-width: 300px;
    max-width: 500px;
    padding: 12px 16px;
    border-radius: var(--radius-md);
    box-shadow: var(--shadow-lg);
    z-index: var(--z-toast);
    display: flex;
    align-items: center;
    gap: 12px;
    animation: slideIn 0.3s var(--easing-smooth);
    font-size: var(--font-size-sm);
}

.error-toast {
    background: var(--status-error);
    color: white;
    border: 1px solid rgba(255, 255, 255, 0.2);
}

.success-toast {
    background: var(--status-success);
    color: white;
    border: 1px solid rgba(255, 255, 255, 0.2);
}

.toast-icon {
    font-size: var(--font-size-lg);
    font-weight: var(--font-weight-semibold);
}

.toast-message {
    flex: 1;
}

.toast-close {
    background: rgba(255, 255, 255, 0.2);
    border: none;
    color: white;
    width: 24px;
    height: 24px;
    border-radius: var(--radius-sm);
    cursor: pointer;
    font-size: 18px;
    line-height: 1;
    transition: background var(--duration-fast);
}

.toast-close:hover {
    background: rgba(255, 255, 255, 0.3);
}

@keyframes slideIn {
    from { transform: translateX(400px); opacity: 0; }
    to { transform: translateX(0); opacity: 1; }
}

/* === LOADING STATES === */
.runtime-dot.is-loading {
    animation: spin 1s linear infinite;
}

.runtime-dot.is-ready {
    color: var(--status-success);
}

.runtime-dot.is-error {
    color: var(--status-error);
}

@keyframes spin {
    from { transform: rotate(0deg); }
    to { transform: rotate(360deg); }
}

/* ============================================================
   EDITOR WORKBENCH — toolbar + lower panes
   Added by Codex handoff 2026-07-12
   ============================================================ */

/* Editor toolbar */
.editor-toolbar {
    display: flex;
    align-items: center;
    gap: var(--spacing-1);
    padding: var(--spacing-1) var(--spacing-2);
    background: var(--bg-secondary);
    border-bottom: 1px solid var(--border-hairline);
    flex-shrink: 0;
    height: 34px;
}

.editor-toolbar .toolbar-btn {
    display: inline-flex;
    align-items: center;
    gap: 4px;
    padding: 3px 10px;
    background: transparent;
    border: 1px solid var(--border-subtle);
    border-radius: var(--radius-sm);
    color: var(--text-secondary);
    font-family: var(--font-mono);
    font-size: var(--font-size-xs);
    cursor: pointer;
    transition: all var(--duration-fast) var(--easing-default);
    white-space: nowrap;
}
.editor-toolbar .toolbar-btn:hover {
    background: var(--bg-elevated);
    color: var(--text-primary);
    border-color: var(--border-default);
}
.editor-toolbar .toolbar-btn.run    { border-color: rgba(52,199,89,.4);  color: var(--status-success); }
.editor-toolbar .toolbar-btn.build  { border-color: rgba(0,122,255,.4);  color: var(--status-info); }
.editor-toolbar .toolbar-btn.preview{ border-color: rgba(255,149,0,.4);  color: var(--status-warning); }
.editor-toolbar .toolbar-btn:active { transform: scale(0.97); }
.editor-toolbar .toolbar-spacer { flex: 1; }
.editor-toolbar .file-label {
    font-size: var(--font-size-xs);
    color: var(--text-tertiary);
    font-family: var(--font-mono);
    padding: 0 6px;
}

/* Lower pane container */
.lower-panes {
    display: flex;
    flex-direction: column;
    height: 220px;
    flex-shrink: 0;
    border-top: 1px solid var(--border-hairline);
    background: var(--bg-primary);
}

.lower-panes-tabs {
    display: flex;
    align-items: center;
    gap: 0;
    background: var(--bg-secondary);
    border-bottom: 1px solid var(--border-hairline);
    flex-shrink: 0;
    height: 30px;
    overflow-x: auto;
}

.lower-tab {
    padding: 0 14px;
    font-size: var(--font-size-xs);
    font-family: var(--font-mono);
    color: var(--text-tertiary);
    cursor: pointer;
    height: 100%;
    display: flex;
    align-items: center;
    border-right: 1px solid var(--border-hairline);
    white-space: nowrap;
    letter-spacing: 0.05em;
    transition: color var(--duration-fast);
    user-select: none;
}
.lower-tab:hover { color: var(--text-secondary); }
.lower-tab.active {
    color: var(--text-primary);
    background: var(--bg-primary);
    border-bottom: 1px solid var(--accent-primary);
}

/* Pane content areas */
.lower-pane-content {
    flex: 1;
    overflow-y: auto;
    display: none;
    padding: 8px 12px;
    font-family: var(--font-mono);
    font-size: var(--font-size-xs);
    line-height: 1.6;
    color: var(--text-secondary);
    white-space: pre-wrap;
    word-break: break-word;
}
.lower-pane-content.active { display: block; }

/* CODEX response pane — streaming text */
#pane-codex {
    color: var(--text-primary);
}
#pane-codex .codex-chunk {
    display: inline;
}
#pane-codex .codex-cursor {
    display: inline-block;
    width: 8px;
    height: 13px;
    background: var(--accent-primary);
    animation: blink-cursor 1s infinite;
    vertical-align: text-bottom;
    margin-left: 1px;
}
@keyframes blink-cursor {
    0%, 100% { opacity: 1; }
    50%       { opacity: 0; }
}

/* Build/run output pane */
#pane-output {
    color: var(--text-mono);
}
#pane-output .out-success { color: var(--status-success); }
#pane-output .out-error   { color: var(--status-error); }
#pane-output .out-warn    { color: var(--status-warning); }
#pane-output .out-cmd     { color: var(--accent-primary); }

/* S-expression pane */
#pane-sexp {
    color: var(--syntax-string);
}
#pane-sexp .sexp-node    { color: var(--syntax-keyword); }
#pane-sexp .sexp-literal { color: var(--syntax-number); }
#pane-sexp .sexp-symbol  { color: var(--syntax-function); }

/* Bridge status bar */
.bridge-status-bar {
    display: flex;
    align-items: center;
    gap: 10px;
    padding: 3px 12px;
    background: var(--bg-secondary);
    border-top: 1px solid var(--border-hairline);
    font-size: 10px;
    font-family: var(--font-mono);
    color: var(--text-tertiary);
    flex-shrink: 0;
}
.bridge-status-bar .bsb-dot {
    width: 6px;
    height: 6px;
    border-radius: 50%;
    background: var(--bg-elevated);
}
.bridge-status-bar .bsb-dot.live { background: var(--status-success); animation: pulse 2s infinite; }
.bridge-status-bar .bsb-worm  { color: var(--status-info); }
.bridge-status-bar .bsb-tier  { color: var(--status-warning); }
.bridge-status-bar .bsb-sep   { color: var(--border-default); }
@keyframes pulse {
    0%, 100% { opacity: 1; }
    50%       { opacity: 0.4; }
}