:root{color-scheme:dark;--bg:#0c121d;--panel:#121c2b;--surface:#192637;--line:#29384c;--ink:#e8eef8;--muted:#9cacc1;--cyan:#74e6d4;--blue:#72adff;--amber:#ffc675;--red:#fb7b88;--radius:14px;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;font-size:16px;line-height:1.5}
*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink)}button,input,select{font:inherit}button,select,input[type=number]{min-height:40px}a{color:var(--muted);text-decoration:none}a:hover{color:var(--cyan)}button,.file-button{border:1px solid var(--line);border-radius:8px;background:var(--surface);color:var(--ink);padding:9px 13px;cursor:pointer;font-size:.875rem;font-weight:600;transition:background .15s,border-color .15s}button:hover,.file-button:hover{background:#263a50;border-color:#5f7897}button:disabled{opacity:.4;cursor:not-allowed}button.primary{background:var(--cyan);color:#09241f;border-color:var(--cyan)}button.primary:hover:enabled{background:#a3f3e6}.full{width:100%}:focus-visible{outline:2px solid var(--cyan);outline-offset:3px}input,select{width:100%;border:1px solid #35465e;border-radius:7px;background:#0e1724;color:var(--ink);padding:8px 10px;accent-color:var(--cyan)}input[type=checkbox]{width:auto;min-height:auto}input[type=range]{padding:0;border:0;min-height:24px}input[type=file]{position:absolute;width:1px;height:1px;opacity:0}.file-button:focus-within{outline:2px solid var(--cyan);outline-offset:3px}label{display:block;font-size:.875rem;color:#c7d3e3}label>input,label>select{display:block;margin-top:7px}label.check-label{display:flex;align-items:center;gap:7px;white-space:nowrap}.check-label input{margin:0}p{margin:0 0 12px}h1,h2,h3{margin:0;line-height:1.25}h1{font-size:clamp(1.5rem,2.2vw,2.1rem);font-weight:550;letter-spacing:-.04em}h2{font-size:1rem;font-weight:650}h3{font-size:1rem;margin-bottom:10px}.topbar{height:86px;padding:0 3%;border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;gap:24px}.brand{display:flex;align-items:center;gap:13px;font-weight:750;letter-spacing:.16em;color:var(--ink);font-size:1.125rem}.brand-symbol{font-size:2.5rem;line-height:1;color:var(--cyan)}.brand small{display:block;font-size:.75rem;letter-spacing:.17em;color:var(--muted);margin-top:2px}nav{display:flex;align-items:center;gap:25px;font-size:.875rem}.engine-status{font: .75rem ui-monospace,SFMono-Regular,Consolas,monospace;color:var(--cyan);padding:6px 10px;background:#13332f;border:1px solid #27544c;border-radius:30px}main{width:min(1740px,94%);margin:auto}.workspace-heading{display:flex;justify-content:space-between;align-items:center;gap:24px;padding:29px 0 25px}.eyebrow{color:var(--cyan);font-size:.75rem;letter-spacing:.15em;font-weight:650;margin-bottom:8px}.workspace-heading>p{font-size:.875rem;color:var(--muted);margin:0}.workspace{display:grid;grid-template-columns:260px minmax(400px,1fr) 310px;gap:18px;align-items:start}.panel{background:var(--panel);border:1px solid var(--line);border-radius:var(--radius);padding:20px;min-width:0}.panel-heading{display:flex;gap:9px;align-items:center;margin-bottom:18px;flex-wrap:wrap}.panel-heading>.hint{margin-left:auto}.section-number{font: .75rem ui-monospace,SFMono-Regular,monospace;color:#6c809b}.setup-panel label{margin-bottom:16px}.input-pair{display:grid;grid-template-columns:1fr 1fr;gap:12px}.hint{color:var(--muted);font-size:.75rem;font-weight:400}.help{color:var(--muted);font-size:.75rem;line-height:1.6;margin:10px 0 14px}.help:last-child{margin-bottom:0}fieldset{border:0;padding:0;margin:0 0 16px;min-width:0}legend{padding:0;margin-bottom:10px;font-size:.875rem;display:flex;width:100%;justify-content:space-between}.identity-picker{display:flex;gap:6px;flex-wrap:wrap}.identity-picker button{min-width:36px;min-height:36px;padding:5px;font: .8125rem ui-monospace,SFMono-Regular,monospace}.identity-picker button[aria-pressed=true]{color:var(--amber);border-color:#b27d37;background:#332a21}.divider{height:1px;background:var(--line);margin:24px -20px}.agent-policies label{display:grid;grid-template-columns:28px 1fr;gap:8px;align-items:center;color:var(--amber);margin-bottom:8px}.agent-policies select{margin-top:0;font-size:.8125rem}.file-actions{display:flex;gap:8px;margin-top:20px}.file-actions>*{flex:1;text-align:center;margin:0!important}.ring-panel{padding:0;overflow:hidden}.ring-toolbar{display:flex;align-items:center;justify-content:space-between;padding:16px 20px;gap:15px;border-bottom:1px solid var(--line)}.ring-toolbar>span{font:.75rem ui-monospace,SFMono-Regular,monospace;letter-spacing:.06em;color:var(--muted)}.ring-toolbar label{font-size:.75rem}.ring-stage{position:relative;background:radial-gradient(ellipse at center,#182b3a55,transparent 68%);isolation:isolate}#ring{display:block;width:100%;max-height:590px;min-height:350px}.ring-center{position:absolute;left:50%;top:49%;transform:translate(-50%,-50%);display:flex;flex-direction:column;align-items:center;pointer-events:none;width:210px;text-align:center}.ring-center strong{font-size:3.7rem;line-height:1.12;letter-spacing:-.065em;font-weight:450;font-variant-numeric:tabular-nums}.ring-center .eyebrow{font-size:.75rem;margin-bottom:7px}.round-caption{font-size:.75rem;letter-spacing:.22em;color:var(--muted);margin-top:3px}#ring-status{color:var(--muted);font-size:.75rem;max-width:155px;margin-top:15px}.ring-edge{stroke:#3b4a60;stroke-width:2.5;stroke-dasharray:5 6}.ring-edge.safe{stroke:var(--cyan);stroke-dasharray:none;opacity:.65}.ring-edge.dangerous{stroke:var(--red);stroke-dasharray:6 5;stroke-width:3.5}.ring-edge.active{stroke-width:5;stroke:var(--blue);opacity:1}.node{cursor:pointer;outline:none}.node circle{fill:#182638;stroke:#4b5d73;stroke-width:2}.node.safe circle{fill:#153a38;stroke:var(--cyan)}.node.hole circle{fill:#090b14;stroke:var(--red);stroke-width:2.5}.node.selected .selection{display:block}.node .selection{display:none;fill:none;stroke:var(--blue);stroke-dasharray:3 4;stroke-width:1.5}.node:focus-visible circle{stroke:white;stroke-width:4}.node text{fill:var(--ink);font-size:14px;text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace}.port-label{fill:#8396af;font-size:11px;font-family:ui-monospace,monospace}.agent-token text{font:10px ui-monospace,monospace;text-anchor:middle;fill:#a8f6e8}.agent-token circle{fill:#214d49;stroke:var(--cyan)}.agent-token.byz circle{fill:#433527;stroke:var(--amber)}.agent-token.byz text{fill:#ffe0b0}.node-label{font:11px ui-monospace,monospace;fill:var(--muted);text-anchor:middle}.legend{display:flex;flex-wrap:wrap;justify-content:center;gap:12px;padding:5px 12px 19px;color:var(--muted);font-size:.75rem}.legend span{display:flex;align-items:center;gap:6px}.dot{display:inline-block;width:7px;height:7px;border-radius:50%}.dot.safe{background:var(--cyan)}.dot.unknown{background:#64758a}.dot.danger{background:var(--red)}.dot.byz{background:var(--amber)}.transport{padding:16px 20px 8px;border-top:1px solid var(--line);display:flex;gap:8px;align-items:center}.transport button{white-space:nowrap}.speed-label{margin-left:auto;display:flex;align-items:center;gap:7px;color:var(--muted);font-size:.75rem}.speed-label select{width:66px;margin:0;min-height:38px}.timeline{padding:3px 20px 14px;display:flex;gap:12px;align-items:center}.timeline span{font:.75rem ui-monospace,monospace;white-space:nowrap;color:var(--muted)}.metrics{display:grid;grid-template-columns:repeat(4,1fr);gap:10px;margin:14px 0}.metrics>div{padding:13px 14px;border:1px solid var(--line);border-radius:10px;background:var(--panel)}.metrics span{display:block;color:var(--muted);font-size:.75rem;white-space:nowrap}.metrics strong{display:block;font-size:1.375rem;font-weight:500;margin-top:3px;font-variant-numeric:tabular-nums}.metrics>div:nth-child(3) strong{color:var(--red)}.right-column{display:flex;flex-direction:column;gap:16px}.decision-panel{border-color:#37615e;background:linear-gradient(130deg,#172d32,var(--panel) 85%)}.live-dot{width:7px;height:7px;background:var(--cyan);border-radius:50%}.decision-context{font-size:.875rem;color:#becede;margin-bottom:14px;line-height:1.65}.decision-context strong{color:var(--ink)}.decision-agent{border:0;padding:0;margin:0 0 16px}.decision-agent legend{color:var(--amber);font-size:.8125rem}.choice-button{display:flex;align-items:center;justify-content:space-between;width:100%;text-align:left;margin-top:7px;font-size:.8125rem;font-weight:400}.choice-button[aria-pressed=true]{border-color:var(--cyan);background:#203c40}.choice-button small{font-size:.75rem;color:var(--muted)}.choice-button:disabled{opacity:.35}.node-badge{margin-left:auto;border:1px solid var(--line);border-radius:5px;padding:2px 7px;color:var(--cyan);font:.75rem ui-monospace,monospace}.whiteboard{max-height:258px;overflow:auto}.message{border-left:2px solid #40516a;padding:5px 0 5px 10px;margin:12px 0;font-size:.8125rem}.message.warning{border-color:var(--amber)}.message.safe{border-color:var(--cyan)}.message small{color:var(--muted);font-size:.75rem;display:block;margin-bottom:2px}.empty{font-size:.8125rem;color:#8a9db5;padding:8px 0;margin:0}.roster{display:flex;flex-wrap:wrap;gap:7px}.agent-chip{font:.75rem ui-monospace,monospace;display:block;padding:6px 8px;border:1px solid #345b55;border-radius:6px;color:#abeee1;background:#1b3032}.agent-chip.byz{border-color:#6e5433;color:var(--amber);background:#312b26}.agent-chip.dead{color:#d3919d;background:#33212b;border-color:#6d3e4d}.rule-form{display:grid;grid-template-columns:70px 75px 1fr auto;gap:8px;align-items:end}.rule-form label{font-size:.75rem}.rule-form input,.rule-form select{min-width:0;font-size:.8125rem}.rule-form button{white-space:nowrap}.schedule-list{max-height:200px;overflow:auto;margin-top:14px}.schedule-row{display:flex;gap:10px;align-items:center;border-top:1px solid var(--line);padding:8px 0;font-size:.8125rem}.schedule-row small{color:var(--muted);font-size:.75rem}.schedule-row button{margin-left:auto;padding:0 7px;min-height:28px}.event-panel{margin-top:20px}.event-log{max-height:250px;overflow:auto;display:flex;flex-direction:column-reverse;font-size:.8125rem}.log-row{display:grid;grid-template-columns:62px 84px 1fr;gap:10px;padding:9px 0;border-bottom:1px solid #243146}.log-round{font:.75rem ui-monospace,monospace;color:var(--muted)}.log-kind{font-size:.75rem;text-transform:uppercase;letter-spacing:.06em;color:var(--blue)}.log-row.proof .log-kind,.log-row.complete .log-kind{color:var(--cyan)}.log-row.adversary .log-kind{color:var(--amber)}.log-row.loss .log-kind{color:var(--red)}.model{margin:18px 0 28px}.model summary{cursor:pointer;font-size:.875rem;color:#b2c5de}.model-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:30px;margin-top:22px}.model-grid p{font-size:.875rem;color:var(--muted);line-height:1.75}footer{padding:22px 3%;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:16px;font-size:.75rem;color:var(--muted)}.error{padding:14px 18px;margin:0 0 18px;border:1px solid var(--red);color:#ffd4da;background:#3d202c;border-radius:10px;font-size:.875rem}[hidden]{display:none!important}
@media(min-width:1650px){.workspace{grid-template-columns:290px minmax(500px,1fr) 340px}.panel{padding:24px}.ring-panel{padding:0}.divider{margin-left:-24px;margin-right:-24px}}
@media(max-width:1190px){.workspace{grid-template-columns:230px minmax(390px,1fr)}.right-column{grid-column:1/-1;display:grid;grid-template-columns:1fr 1fr 1fr;align-items:start}.metrics>div{padding:12px 10px}.metrics span{font-size:.75rem}.topbar{padding:0 3%}.engine-status{display:none}.ring-center strong{font-size:3rem}.ring-center{width:170px}.rule-form{grid-template-columns:60px 65px 1fr}.rule-form button{grid-column:1/-1}}
@media(max-width:760px){.topbar{height:auto;min-height:85px;align-items:flex-start;padding:20px 4%;flex-wrap:wrap;gap:15px}nav{gap:20px;font-size:.75rem}.brand{font-size:1rem}.brand small{font-size:.75rem}.workspace-heading{display:block;padding:24px 0 20px}.workspace-heading>p{margin-top:12px;font-size:.75rem}.workspace{display:flex;flex-direction:column}.workspace>*{width:100%}.setup-panel{order:1}.center-column{order:0}.right-column{order:2;display:flex}.panel{padding:18px}.ring-panel{padding:0}.ring-toolbar{padding:14px 12px;gap:10px}.ring-toolbar>span{font-size:.75rem}.ring-toolbar label{font-size:.75rem}#ring{min-height:310px}.ring-center strong{font-size:2.5rem}.ring-center{width:155px}.ring-center .eyebrow{font-size:.75rem}#ring-status{font-size:.75rem;max-width:115px;margin-top:8px}.transport{padding:13px 12px 8px;gap:6px}.transport button{padding:8px 10px;font-size:.8125rem}.speed-label{font-size:0;gap:0}.speed-label select{font-size:.75rem;width:56px;padding:7px}.metrics{gap:6px}.metrics>div{padding:10px 7px}.metrics span{font-size:.75rem;white-space:normal}.metrics strong{font-size:1.125rem}.legend{gap:8px;font-size:.75rem}.rule-form{grid-template-columns:65px 70px 1fr}.rule-form button{grid-column:1/-1}.model-grid{grid-template-columns:1fr;gap:18px}.log-row{grid-template-columns:45px 63px 1fr;gap:5px}.log-kind{font-size:.75rem}.log-row{font-size:.75rem}footer{flex-direction:column;gap:8px}.decision-panel{scroll-margin-top:20px}}
@media(prefers-reduced-motion:reduce){*{transition:none!important;scroll-behavior:auto!important}}

/* Keep regular controls readable on narrow screens and with enlarged text. */
.help{font-size:.8125rem}.choice-button,.agent-policies select,.rule-form label,.rule-form input,.rule-form select,.schedule-row,.agent-chip{font-size:.875rem}.file-button{position:relative}.ring-center .eyebrow{font-size:.75rem}.ring-center{width:190px}.metrics span{white-space:normal}.transport{flex-wrap:wrap}.rule-form{grid-template-columns:minmax(60px,.65fr) minmax(65px,.7fr) minmax(0,1.5fr)}.rule-form button{grid-column:1/-1}.node-label{font-size:12px}.agent-token text{font-size:11px}

.stage-strip{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;background:var(--line);border-bottom:1px solid var(--line)}.stage-card{background:#101a29;padding:12px 14px;display:flex;flex-direction:column;gap:3px}.stage-card b{font-size:.875rem;color:var(--ink)}.stage-card span,.stage-card small{font-size:.75rem;color:var(--muted)}.stage-card.current{background:#1a363b;box-shadow:inset 0 3px var(--cyan)}.stage-card.current b{color:var(--cyan)}.ring-edge.suspected{stroke:var(--amber);stroke-dasharray:5 5;stroke-width:3}.next-moves{margin:12px 0 0;color:var(--cyan);font-size:.8125rem}.roster{display:grid;grid-template-columns:1fr}.agent-chip{display:grid;grid-template-columns:1fr 1fr;gap:5px;line-height:1.4}.agent-chip span{font-size:.75rem;text-align:right}.agent-chip small{grid-column:1/-1;font-size:.75rem;color:var(--muted)}.evidence-row{font-size:.875rem;margin-bottom:10px}.evidence-row small{font-size:.75rem;color:var(--muted)}.agent-token text{font-size:10px}.agent-token circle{r:12px}@media(max-width:760px){.stage-card{padding:10px 8px}.stage-card b{font-size:.8125rem}.ring-center{width:175px}}

.stage-strip.all-walkers{grid-template-columns:repeat(5,minmax(0,1fr))}.stage-strip.all-walkers .stage-card{padding:10px 7px}.stage-strip.all-walkers .stage-card span{font-size:.75rem}.model-grid{grid-template-columns:repeat(2,minmax(0,1fr))}@media(max-width:760px){.model-grid{grid-template-columns:1fr}.stage-strip.all-walkers .stage-card{padding:9px 4px}}
.verification-panel{padding:22px}.verification-panel>p{font-size:13px;line-height:1.65;color:var(--muted,#aab8cb)}.verification-panel a{color:#68ddd0}.verify-actions{display:flex;flex-wrap:wrap;gap:8px;margin:16px 0}.verification-panel progress{width:100%;height:9px;accent-color:#58d6c5}.verify-results{max-height:200px;overflow:auto;margin-top:12px}.verify-row{display:grid;gap:4px;padding:10px 0;border-top:1px solid #273347;font-size:12px}.verify-row b{color:#75dfc1}.verify-row span,.verify-row small{color:#aab8cb}.verify-row.fail b{color:#ff7a89}.identity-picker{flex-wrap:wrap}.stage-card{min-width:0}.stage-card b,.stage-card span,.stage-card small{overflow-wrap:anywhere}.verification-panel [disabled]{cursor:default}