:root {
  --bg:#07100d; --panel:#0e1d17; --panel2:#11251d; --line:rgba(142,188,166,.15);
  --strong:rgba(142,188,166,.28); --text:#eff9f4; --muted:#8fa69b; --faint:#5c7067;
  --green:#6ee7b7; --cyan:#67e8f9; --amber:#fbbf24; --rose:#fb7185;
  --shadow:0 24px 80px rgba(0,0,0,.28);
  --sans:Inter,ui-sans-serif,system-ui,-apple-system,"PingFang SC","Microsoft YaHei",sans-serif;
  --mono:ui-monospace,SFMono-Regular,Menlo,monospace;
}
*{box-sizing:border-box}html,body{height:100%}
body{margin:0;overflow:hidden;color:var(--text);background:radial-gradient(circle at 12% 2%,rgba(52,211,153,.10),transparent 34%),radial-gradient(circle at 86% 18%,rgba(103,232,249,.07),transparent 30%),var(--bg);font:14px/1.55 var(--sans)}
button,textarea,select{font:inherit}button{color:inherit}.mono,code,pre{font-family:var(--mono)}
.app{height:100vh;height:100dvh;display:grid;grid-template-rows:64px minmax(0,1fr)}
.topbar{display:grid;grid-template-columns:1fr auto 1fr;align-items:center;gap:18px;padding:0 22px;border-bottom:1px solid var(--line);background:rgba(7,16,13,.89);backdrop-filter:blur(18px);z-index:30}
.brand{display:flex;align-items:center;gap:12px;min-width:0}.mark{width:36px;height:36px;border-radius:12px;display:grid;place-items:center;background:linear-gradient(145deg,#83f2c4,#2d8e69);color:#062117;font-weight:950}.brand strong{display:block}.brand small{display:block;color:var(--muted);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.statebar,.top-actions{display:flex;align-items:center;gap:8px}.top-actions{justify-content:flex-end}.pill{display:inline-flex;align-items:center;gap:7px;min-height:28px;padding:4px 10px;border:1px solid var(--line);border-radius:999px;background:rgba(255,255,255,.025);color:var(--muted);font-size:11px;white-space:nowrap}.pill b{color:var(--text)}
.dot{width:7px;height:7px;border-radius:50%;background:var(--faint)}.dot.good{background:var(--green);box-shadow:0 0 16px rgba(110,231,183,.75)}.dot.warn{background:var(--amber)}
.btn,.nav,.tab,.quick{border:1px solid var(--line);background:rgba(255,255,255,.025);cursor:pointer;transition:.18s}.btn:hover,.nav:hover,.tab:hover,.quick:hover{background:rgba(255,255,255,.055);border-color:var(--strong)}.btn{padding:9px 13px;border-radius:11px;font-weight:750}.btn.primary{border-color:rgba(52,211,153,.34);background:linear-gradient(135deg,rgba(52,211,153,.22),rgba(16,185,129,.10))}.btn:disabled,.modes button:disabled,.send:disabled,.quick:disabled{opacity:.45;cursor:not-allowed}
.workspace{min-height:0;display:grid;grid-template-columns:224px minmax(560px,1fr) minmax(360px,420px)}
.sidebar,.agent{min-height:0;background:rgba(8,19,15,.73);backdrop-filter:blur(16px)}.sidebar{border-right:1px solid var(--line);padding:17px 12px;overflow:auto}
.label{padding:0 10px 8px;color:var(--faint);font-size:10px;font-weight:800;letter-spacing:.14em;text-transform:uppercase}.navs{display:grid;gap:4px}.nav{width:100%;padding:10px 11px;border-radius:11px;color:var(--muted);display:flex;justify-content:space-between;text-align:left}.nav.active{color:var(--text);background:rgba(52,211,153,.09);border-color:rgba(52,211,153,.21)}.count{min-width:22px;text-align:center;border-radius:99px;background:rgba(255,255,255,.045);font-size:10px}
.mini{margin-top:20px}.mini-card{margin-bottom:8px;padding:10px 11px;border:1px solid var(--line);border-radius:12px;background:rgba(255,255,255,.018)}.mini-row{display:flex;justify-content:space-between;gap:8px;color:var(--muted);font-size:11px}.mini-row b{color:var(--text)}.meter{height:5px;margin-top:8px;border-radius:99px;overflow:hidden;background:rgba(255,255,255,.055)}.meter i{display:block;height:100%;background:linear-gradient(90deg,#31c48d,#83f2c4)}
.main{min-width:0;min-height:0;overflow:auto;padding:18px 20px 40px}.inner{max-width:1260px;margin:auto}.hero{position:relative;overflow:hidden;padding:22px;border:1px solid var(--line);border-radius:22px;background:linear-gradient(135deg,rgba(16,43,32,.92),rgba(11,27,21,.85));box-shadow:var(--shadow)}.hero:after{content:"";position:absolute;width:260px;height:260px;right:-100px;top:-120px;border-radius:50%;background:rgba(110,231,183,.08)}.hero-top{position:relative;z-index:1;display:flex;justify-content:space-between;gap:20px}.eyebrow{color:var(--green);font-size:10px;font-weight:850;letter-spacing:.15em;text-transform:uppercase}h1{margin:7px 0 8px;font-size:clamp(24px,3vw,38px);line-height:1.14;letter-spacing:-.035em}.statement{max-width:820px;color:#bdd0c7}.hero-stat{text-align:right;min-width:120px}.hero-stat strong{display:block;color:var(--green);font-size:46px;line-height:1}.hero-stat span{color:var(--muted);font-size:11px}.chips{position:relative;z-index:1;display:flex;gap:7px;flex-wrap:wrap;margin-top:17px}.chip{padding:4px 9px;border:1px solid var(--line);border-radius:8px;background:rgba(255,255,255,.045);color:var(--muted);font-size:10px}
.tabs{display:flex;gap:5px;margin:18px 0 12px;padding:4px;width:max-content;max-width:100%;overflow:auto;border:1px solid var(--line);border-radius:13px;background:rgba(255,255,255,.018)}.tab{border:0;border-radius:9px;padding:8px 12px;color:var(--muted);white-space:nowrap}.tab.active{color:var(--text);background:rgba(110,231,183,.10)}.view{display:none}.view.active{display:block}
.grid{display:grid;gap:12px}.metrics{grid-template-columns:repeat(4,minmax(0,1fr))}.two{grid-template-columns:repeat(2,minmax(0,1fr))}.card{border:1px solid var(--line);border-radius:18px;background:rgba(14,29,23,.89);box-shadow:0 14px 45px rgba(0,0,0,.12);overflow:hidden}.head{display:flex;justify-content:space-between;gap:12px;padding:15px 16px 12px;border-bottom:1px solid var(--line)}.head h2{margin:0;font-size:14px}.head p{margin:2px 0 0;color:var(--muted);font-size:11px}.body{padding:15px 16px}.metric{padding:14px}.metric .name{color:var(--muted);font-size:10px;text-transform:uppercase}.metric strong{display:block;margin:4px 0 8px;font-size:25px}.metric small{color:var(--faint)}
.contract-grid{display:grid;grid-template-columns:1.3fr .7fr;gap:12px;margin-top:12px}.line{display:grid;grid-template-columns:130px 1fr;gap:12px;padding:10px 0;border-bottom:1px solid var(--line)}.line:last-child{border:0}.line label{color:var(--faint);font-size:11px}.line div{color:#c9dad2}.route-list,.evidence-list,.failure-list{display:grid;gap:9px}.route,.evidence,.failure{padding:12px;border:1px solid var(--line);border-radius:13px;background:rgba(255,255,255,.018)}.top{display:flex;justify-content:space-between;gap:10px}.route p,.evidence p,.failure p{margin:5px 0 0;color:var(--muted);font-size:11px}
.status{display:inline-flex;align-items:center;min-height:22px;padding:2px 7px;border-radius:99px;font-size:9px;font-weight:850}.VERIFIED,.PASS,.MACHINE_VERIFIED{color:#baf7dc;background:rgba(52,211,153,.13)}.REFUTED,.INVALIDATED,.FAIL,.COUNTEREXAMPLE{color:#fecdd3;background:rgba(244,63,94,.12)}.BLOCKED,.UNKNOWN,.TIMEOUT{color:#fde68a;background:rgba(245,158,11,.13)}.ACTIVE,.TESTED,.PROPOSED{color:#bae6fd;background:rgba(14,165,233,.12)}
.table-wrap{overflow:auto}table{width:100%;border-collapse:collapse;min-width:720px}th,td{padding:10px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top;font-size:11px}th{color:var(--faint);font-size:9px;text-transform:uppercase}.trace-item{display:grid;grid-template-columns:38px 1fr;gap:12px;padding:14px 0;border-bottom:1px solid var(--line)}.seq{width:32px;height:32px;display:grid;place-items:center;border-radius:10px;background:rgba(110,231,183,.09);color:var(--green);font:800 10px var(--mono)}.trace-item h3{margin:0 0 5px;font-size:12px}.trace-item p{margin:3px 0;color:var(--muted);font-size:11px}
#graph{min-height:460px;overflow:auto}#graph svg{display:block;min-width:780px}.edge{fill:none;stroke:rgba(143,166,155,.28);stroke-width:1.3}.node rect{fill:#10241c;stroke:rgba(143,166,155,.25);rx:11}.node.VERIFIED rect{stroke:rgba(110,231,183,.56);fill:rgba(27,73,53,.66)}.node.REFUTED rect,.node.INVALIDATED rect{stroke:rgba(251,113,133,.55);fill:rgba(74,26,37,.68)}.node.BLOCKED rect{stroke:rgba(251,191,36,.50);fill:rgba(72,49,13,.55)}.node text{fill:#dbe9e2;font:10px var(--sans)}.node .meta{fill:#789087;font-size:8px}.empty{padding:20px;text-align:center;color:var(--faint)}
.agent{min-width:0;overflow:hidden;border-left:1px solid var(--line);display:grid;grid-template-columns:minmax(0,1fr);grid-template-rows:auto minmax(0,1fr) auto}.agent-head{min-width:0;max-width:100%;overflow:hidden;padding:15px 16px 13px;border-bottom:1px solid var(--line)}.agent-title,.agent-title-actions{display:flex;align-items:center;justify-content:space-between;gap:10px;min-width:0}.agent-title{width:100%}.agent-title>strong{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.agent-title-actions{flex:0 0 auto}.codex{display:flex;align-items:center;gap:6px;min-width:0;color:var(--muted);font-size:10px}.codex span{max-width:110px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.agent-close{display:none;flex:0 0 auto;border:1px solid var(--line);background:rgba(255,255,255,.025);border-radius:8px;cursor:pointer;font-size:18px;line-height:1;padding:3px 7px}.agent-controls{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:8px;min-width:0;max-width:100%;margin-top:12px}select{min-width:0;max-width:100%;width:100%;padding:8px 10px;border:1px solid var(--line);border-radius:10px;color:var(--text);background:#10211b}.modes{display:flex;gap:3px;padding:3px;border:1px solid var(--line);border-radius:10px}.modes button{border:0;border-radius:7px;background:transparent;color:var(--faint);padding:5px 8px;cursor:pointer;font-size:9px}.modes button.active{background:rgba(110,231,183,.10);color:var(--green)}
.chat{min-width:0;max-width:100%;min-height:0;overflow:auto;overflow-x:hidden;padding:14px;scroll-behavior:smooth}.welcome{padding:14px;border:1px dashed var(--strong);border-radius:15px;color:var(--muted)}.welcome strong{color:var(--text)}.welcome ul{padding-left:18px;margin:8px 0 0}.agent-warning{color:var(--amber)}.message{min-width:0;max-width:100%;margin-bottom:13px}.message .meta{margin-bottom:5px;color:var(--faint);font-size:9px}.bubble{min-width:0;max-width:100%;padding:11px 12px;border:1px solid var(--line);border-radius:14px;background:rgba(255,255,255,.022);color:#c9d9d1;white-space:pre-wrap;overflow-wrap:anywhere}.user .bubble{background:rgba(52,211,153,.08);border-color:rgba(52,211,153,.17);color:#e7fff5}
.event{min-width:0;max-width:100%;margin:7px 0;border:1px solid var(--line);border-radius:12px;overflow:hidden}.event summary{cursor:pointer;display:flex;justify-content:space-between;gap:8px;min-width:0;padding:9px 10px;color:var(--muted);font-size:10px}.event summary span{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.event-body{min-width:0;max-width:100%;padding:9px 10px;border-top:1px solid var(--line);color:var(--muted);font:10px/1.55 var(--mono);white-space:pre-wrap;overflow:auto;overflow-wrap:anywhere;word-break:break-word;max-height:240px}.final{min-width:0;max-width:100%;border:1px solid rgba(110,231,183,.22);border-radius:16px;overflow:hidden;background:linear-gradient(135deg,rgba(52,211,153,.07),rgba(103,232,249,.025))}.final header,.final-section{min-width:0;max-width:100%;padding:11px 13px;border-bottom:1px solid var(--line);overflow-wrap:anywhere}.final-section:last-child{border:0}.final h4{margin:0 0 5px;color:var(--green);font-size:10px;text-transform:uppercase}.final p,.final li{color:#c5d7ce;font-size:11px}.proposal{min-width:0;max-width:100%;margin-top:7px;padding:9px;border:1px solid var(--line);border-radius:10px;background:rgba(255,255,255,.025);overflow-wrap:anywhere}.proposal code{color:var(--cyan)}
.composer{min-width:0;max-width:100%;padding:12px 13px 13px;border-top:1px solid var(--line);background:rgba(7,16,13,.72)}.quick-list{min-width:0;max-width:100%;display:flex;gap:6px;overflow:auto;padding-bottom:8px}.quick{flex:0 0 auto;max-width:190px;padding:6px 9px;border-radius:99px;color:var(--muted);font-size:9px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.compose-box{min-width:0;max-width:100%;border:1px solid var(--strong);border-radius:15px;background:#0c1a15;overflow:hidden}.compose-box:focus-within{border-color:rgba(110,231,183,.42);box-shadow:0 0 0 3px rgba(52,211,153,.06)}textarea{min-width:0;max-width:100%;width:100%;min-height:74px;max-height:190px;resize:none;border:0;outline:0;color:var(--text);background:transparent;padding:11px 12px 6px;overflow-wrap:anywhere;white-space:pre-wrap}.compose-foot{min-width:0;max-width:100%;display:flex;justify-content:space-between;align-items:center;gap:8px;padding:7px 8px 8px 11px}.hint{min-width:0;color:var(--faint);font-size:9px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.send{flex:0 0 auto;width:34px;height:30px;border:0;border-radius:9px;background:linear-gradient(135deg,#6ee7b7,#2eb981);color:#062217;font-weight:950;cursor:pointer}.send.running{animation:pulse 1.3s infinite}@keyframes pulse{50%{opacity:.55;transform:scale(.95)}}
.agent-backdrop{display:none}.toast{position:fixed;left:50%;bottom:22px;transform:translate(-50%,20px);padding:10px 13px;border:1px solid var(--strong);border-radius:11px;background:#16271f;opacity:0;transition:.2s;z-index:99}.toast.show{opacity:1;transform:translate(-50%,0)}.fatal{margin:40px;padding:18px;border:1px solid rgba(251,113,133,.4);border-radius:14px;background:rgba(74,26,37,.5);color:#fecdd3}
@media(max-width:1180px){.workspace{grid-template-columns:210px minmax(520px,1fr)}.agent{position:fixed;top:64px;right:0;bottom:0;width:min(430px,94vw);transform:translateX(100%);transition:.22s;z-index:50;box-shadow:-30px 0 90px rgba(0,0,0,.35)}.agent.open{transform:translateX(0)}.agent-close{display:block}.agent-backdrop{position:fixed;inset:64px 0 0;display:block;background:rgba(0,0,0,.38);backdrop-filter:blur(2px);z-index:40}.agent-backdrop[hidden]{display:none}}
@media(max-width:820px){.topbar{grid-template-columns:1fr auto;gap:8px;padding:0 12px}.statebar{display:none}.workspace{grid-template-columns:1fr}.sidebar{display:none}.main{padding:14px}.metrics,.two,.contract-grid{grid-template-columns:1fr}.hero-top{display:block}.hero-stat{text-align:left;margin-top:18px}.top-actions{gap:5px}.top-actions .btn{width:36px;height:34px;padding:0;font-size:0}.top-actions #export::after{content:"⇩";font-size:16px}.top-actions #ask::after{content:"✦";font-size:16px}}
@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}