@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;600;700;800&family=Noto+Sans+SC:wght@400;500;700;900&display=swap');

:root{--gold:#ffc900;--black:#050505;--ink:#141414;--white:#fff;--paper:#f2f2ef;--gray-1:#e6e6e1;--gray-2:#b8b8b2;--gray-3:#70706c;--green:#148342;--red:#d92d25;--border:2px solid var(--black);--mono:'JetBrains Mono','Consolas',monospace;--sans:'Noto Sans SC','Microsoft YaHei',sans-serif}
*{box-sizing:border-box}[hidden]{display:none!important}html{background:var(--paper)}body{margin:0;min-width:320px;background:var(--paper);color:var(--black);font-family:var(--sans);letter-spacing:0}button,input,select,textarea{font:inherit;border-radius:0}button{cursor:pointer}button:disabled{cursor:not-allowed;opacity:.35}button:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible{outline:3px solid var(--gold);outline-offset:2px}
.topbar{height:56px;min-height:56px;position:sticky;z-index:70;top:0;display:flex;align-items:center;justify-content:space-between;padding:0 16px;background:var(--black);color:var(--white);border-bottom:4px solid var(--gold)}.brand{display:flex;align-items:center;gap:12px;color:inherit;text-decoration:none}.brand-mark{width:32px;height:32px;display:grid;place-items:center;background:var(--gold);color:var(--black);border:2px solid var(--white)}.brand-mark img{display:block;width:100%;height:100%;image-rendering:pixelated}.brand strong,.brand small{display:block}.brand strong{font-size:15px;letter-spacing:.08em;font-weight:900}.brand small{margin-top:3px;color:var(--gray-2);font:700 9px/1.2 var(--mono);letter-spacing:.18em}.product-identity{min-width:0;padding-left:12px;border-left:2px solid var(--gold);text-align:right}.product-identity strong,.product-identity small{display:block}.product-identity strong{color:var(--white);font:800 13px/1 var(--mono)}.product-identity small{margin-top:4px;color:var(--gray-2);font:700 9px/1 var(--sans)}.topbar-meta{display:none}.queue-summary,.connection-state,.version-badge{padding:7px 9px;border:1px solid #555;font:700 9px var(--mono)}.connection-state i{display:inline-block;width:7px;height:7px;margin-right:6px;background:var(--red)}.connection-state.online i{background:var(--gold)}
.independent-shell{display:grid;grid-template-columns:180px minmax(0,1fr);max-width:1900px;min-height:calc(100vh - 56px);margin:0 auto}.workspace-nav{position:sticky;z-index:50;top:56px;height:calc(100vh - 56px);overflow:auto;background:var(--black);color:var(--white);border-right:var(--border)}.workspace-nav-label{display:block;padding:16px 14px 10px;color:#888;font:800 7px var(--mono)}.workspace-nav-label.section-label{padding-top:22px;border-top:1px solid #333}.workspace-nav-item{position:relative;width:100%;min-height:62px;padding:12px 28px 11px 14px;border:0;border-bottom:1px solid #333;background:var(--black);color:#aaa;text-align:left}.workspace-nav-item:hover{color:var(--white)}.workspace-nav-item.active{background:var(--gold);color:var(--black)}.workspace-nav-item strong,.workspace-nav-item small{display:block}.workspace-nav-item strong{font-size:12px}.workspace-nav-item small{margin-top:4px;font:700 7px var(--mono)}.workspace-nav-item i{position:absolute;right:12px;top:27px;width:8px;height:8px;background:#555}.workspace-nav-item i.running{background:var(--gold)}.workspace-nav-item.active i.running{background:var(--black)}.workspace-nav-item i.completed{background:var(--green)}.workspace-nav-item i.failed{background:var(--red)}.workspace-view[hidden]{display:none!important}.workspace-view{min-width:0}.shared-input-rail{max-width:1180px;min-height:calc(100vh - 56px);margin:0 auto;padding:24px;background:var(--white)}.rail-heading{position:relative;padding-bottom:16px;margin-bottom:17px;border-bottom:var(--border)}.eyebrow{color:var(--gray-3);font:800 8px var(--mono)}h1,h2{margin:4px 0 0;letter-spacing:0}h1{font-size:21px}h2{font-size:20px}.snapshot-badge{position:absolute;right:0;bottom:17px;padding:4px 6px;background:var(--green);color:var(--white);font:800 7px var(--mono)}.snapshot-badge.stale{background:var(--red)}.field{display:grid;gap:5px;margin-bottom:13px}.field>span,.baseline-controls label>span,.tool-controls label>span,.sandbox-scores>span{font-size:10px;font-weight:900}.field input,.field select,.field textarea,.baseline-controls input,.baseline-controls select,.tool-controls input,.tool-controls select,.sandbox-scores textarea{width:100%;border:1px solid var(--black);background:var(--white);padding:7px 9px;font:10px/1.45 var(--mono)}.field input,.field select,.baseline-controls input,.baseline-controls select,.tool-controls input,.tool-controls select{height:36px}.field textarea{resize:vertical}.editor-field textarea{min-height:310px;white-space:pre;tab-size:2}.field small{color:var(--red);font:800 7px var(--mono)}.field-grid{display:grid;grid-template-columns:1fr 1fr;gap:8px}.editor-error{margin:-5px 0 12px;padding:8px 10px;background:#ffe1df;border-left:5px solid var(--red);color:#7e1711;font:10px/1.45 var(--mono)}
.workspace-main{min-width:0;background:var(--paper)}.compile-baseline{min-height:calc(100vh - 56px);padding:24px;background:var(--white)}.baseline-head,.tool-head{display:flex;align-items:center;justify-content:space-between;gap:14px}.baseline-controls{display:grid;grid-template-columns:180px minmax(220px,1fr) 120px 110px auto 38px;align-items:end;gap:8px;margin-top:14px}.baseline-controls label,.tool-controls label{display:grid;gap:5px;min-width:0}.primary-btn,.icon-btn{height:38px;border:2px solid var(--black);display:inline-flex;align-items:center;justify-content:center;gap:7px;background:var(--gold);color:var(--black);font-size:10px;font-weight:900}.primary-btn:hover,.icon-btn:hover:not(:disabled){background:var(--black);color:var(--white)}.icon-btn{width:38px;padding:0;background:var(--white)}.icon-btn.stop:hover:not(:disabled){background:var(--red);border-color:var(--red)}.status-badge{padding:6px 8px;border:1px solid var(--gray-2);background:var(--gray-1);font:800 8px var(--mono)}.status-badge.running{background:var(--gold);border-color:var(--black)}.status-badge.queued{background:var(--black);color:var(--white)}.status-badge.completed{background:var(--green);border-color:var(--green);color:var(--white)}.status-badge.failed,.status-badge.cancelled{background:var(--red);border-color:var(--red);color:var(--white)}.stale-banner{margin-top:10px;padding:7px 10px;background:var(--red);color:var(--white);font:800 8px var(--mono)}
.compile-metrics{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));margin-top:12px;border:1px solid var(--black)}.compile-metrics div,.command-metrics div{min-width:0;padding:8px;border-right:1px solid var(--black)}.compile-metrics div:last-child,.command-metrics div:last-child{border-right:0}.compile-metrics span,.command-metrics span{display:block;color:var(--gray-3);font:700 7px var(--mono)}.compile-metrics strong,.command-metrics strong{display:block;margin-top:4px;overflow:hidden;text-overflow:ellipsis;font:800 11px var(--mono)}.compile-output{margin-top:12px;border:var(--border);background:var(--black);color:var(--white)}.compile-output summary{padding:10px 12px;background:var(--black);color:var(--gold);cursor:pointer;font:800 9px var(--mono)}.command-metrics{display:grid;grid-template-columns:repeat(3,1fr);border-top:1px solid #555;border-bottom:1px solid #555}.command-metrics div{border-color:#555}.command-metrics span{color:#999}.compile-output pre,.function-resource-panel pre{max-height:270px;margin:0;padding:12px;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere;font:10px/1.55 var(--mono)}.function-resource-panel{padding:10px 12px;border-top:1px solid #555}.function-resource-panel label{display:grid;gap:6px;color:#aaa;font:800 8px var(--mono)}.function-resource-panel select{height:34px;background:#222;color:#fff;border:1px solid #777;font:10px var(--mono)}.artifact-actions{display:flex;justify-content:flex-end;gap:6px;padding:8px 10px;border-top:1px solid #555}.artifact-actions .icon-btn{border-color:#777;background:#111;color:#fff}
.analysis-panel{min-height:calc(100vh - 56px);padding:24px}.tool-controls{display:flex;flex-wrap:wrap;align-items:end;gap:8px;margin-top:16px;padding:12px;background:var(--white);border:var(--border)}.tool-controls label:first-child{flex:1 1 320px}.tool-controls label:not(:first-child){flex:0 1 150px}.tool-controls .primary-btn{min-width:130px;padding-inline:12px}.sandbox-scores{display:grid;gap:6px;margin-top:12px;padding:12px;background:var(--white);border:var(--border)}.sandbox-scores textarea{resize:vertical}.tool-result{min-height:420px;margin-top:14px;padding:16px;background:var(--white);border:var(--border);overflow:auto}.tool-result.empty{display:grid;place-items:center;color:var(--gray-3);font:800 10px var(--mono)}.result-summary{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));border:1px solid var(--black)}.result-summary div{padding:9px;border-right:1px solid var(--black)}.result-summary div:last-child{border-right:0}.result-summary span{display:block;color:var(--gray-3);font:700 7px var(--mono)}.result-summary strong{display:block;margin-top:4px;font:800 11px var(--mono)}.result-section{margin-top:14px}.result-section h3{margin:0 0 7px;font-size:11px}.result-section pre{margin:0;padding:10px;background:var(--black);color:var(--white);white-space:pre-wrap;overflow-wrap:anywhere;font:10px/1.55 var(--mono)}.range-row,.failure-row{display:grid;grid-template-columns:150px 1fr auto;gap:8px;padding:8px 0;border-bottom:1px solid var(--gray-1);font:10px var(--mono)}
.preprocess-workspace{min-height:calc(100vh - 56px);padding:24px}.preprocess-heading{position:relative;display:flex;align-items:end;justify-content:space-between;margin-bottom:16px;padding-bottom:14px;border-bottom:var(--border)}.preprocess-heading .snapshot-badge{bottom:14px}.preprocess-grid{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:18px;align-items:start}.preprocess-source-pane,.preprocess-build-pane{min-width:0;padding:18px;background:var(--white);border:var(--border)}.pane-heading{margin-bottom:14px}.preprocess-source-pane .editor-field textarea{min-height:390px}.preprocess-build-pane .baseline-controls{grid-template-columns:1fr 1fr}.preprocess-build-pane .baseline-controls .primary-btn,.preprocess-build-pane .baseline-controls .icon-btn{width:100%}.search-settings{margin-top:14px;border:1px solid var(--black);background:var(--paper)}.search-settings summary{padding:10px 12px;cursor:pointer;font:800 9px var(--mono)}.search-settings[open] summary{border-bottom:1px solid var(--black);background:var(--gold)}.constraint-fields{padding:12px}.constraint-fields .field:last-child{margin-bottom:0}.compile-progress{margin-top:14px;padding:13px;background:var(--black);color:var(--white);border:2px solid var(--black)}.progress-head{display:flex;align-items:center;justify-content:space-between;gap:12px;font:800 10px var(--mono)}.progress-head span{color:var(--gold)}.progress-head strong{font-size:13px}.progress-track{position:relative;height:12px;margin-top:10px;overflow:hidden;border:1px solid #777;background:#222}.progress-track i{display:block;width:0;height:100%;background:var(--gold);transition:width .2s}.compile-progress.queued .progress-track i,.compile-progress.running .progress-track i{width:38%;animation:compile-scan 1.1s linear infinite}.compile-progress.completed .progress-track i{width:100%;background:var(--green)}.compile-progress.failed .progress-track i,.compile-progress.cancelled .progress-track i{width:100%;background:var(--red)}.phase-steps{display:grid;grid-template-columns:repeat(4,1fr);gap:4px;margin-top:8px}.phase-steps span{padding:5px 4px;border:1px solid #555;color:#777;text-align:center;font:700 7px var(--mono)}.phase-steps span.active{border-color:var(--gold);color:var(--gold)}.phase-steps span.done{border-color:var(--green);background:var(--green);color:var(--white)}.progress-readout{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin-top:10px;border-top:1px solid #555}.progress-readout div{min-width:0;padding:8px 6px 0}.progress-readout span{display:block;color:#999;font:700 7px var(--mono)}.progress-readout strong{display:block;margin-top:3px;overflow:hidden;text-overflow:ellipsis;font:800 10px var(--mono)}@keyframes compile-scan{from{transform:translateX(-110%)}to{transform:translateX(270%)}}.compile-error{margin:10px 0 0}.toast{position:fixed;z-index:90;right:18px;bottom:18px;max-width:420px;padding:11px 14px;background:var(--black);color:var(--white);border-left:6px solid var(--gold);font:800 10px var(--mono);opacity:0;pointer-events:none;transform:translateY(8px);transition:.15s}.toast.show{opacity:1;transform:none}
@media (max-width:1180px){.baseline-controls{grid-template-columns:150px minmax(180px,1fr) 105px 100px auto 38px}}
@media (max-width:979px){.topbar{position:relative}.independent-shell{display:block}.workspace-nav{position:sticky;top:0;height:auto;display:flex;overflow-x:auto;border-right:0;border-bottom:var(--border)}.workspace-nav-label{display:none}.workspace-nav-item{flex:0 0 132px;min-height:54px;padding:10px 24px 9px 11px;border-right:1px solid #333;border-bottom:0}.workspace-nav-item i{right:9px;top:22px;width:7px;height:7px}.shared-input-rail,.compile-baseline,.analysis-panel{min-height:0;max-width:none;padding:18px}.editor-field textarea{min-height:220px}.baseline-controls{grid-template-columns:1fr 1fr}.baseline-controls .primary-btn{width:100%}.compile-metrics{grid-template-columns:repeat(3,1fr)}.compile-metrics div:nth-child(3){border-right:0}.compile-metrics div:nth-child(-n+3){border-bottom:1px solid var(--black)}}
@media (max-width:559px){.topbar{padding-inline:10px}.queue-summary,.version-badge{display:none}.independent-shell,.workspace-main{min-width:0}.workspace-nav-item{flex-basis:104px}.workspace-nav-item strong{font-size:10px;overflow-wrap:anywhere}.workspace-nav-item small{display:none}.shared-input-rail,.compile-baseline,.analysis-panel{padding:14px 12px}.field-grid{grid-template-columns:1fr}.baseline-controls,.tool-controls{display:grid;grid-template-columns:1fr}.baseline-controls .icon-btn,.tool-controls .icon-btn,.tool-controls .primary-btn{width:100%}.compile-metrics{grid-template-columns:repeat(2,1fr)}.compile-metrics div,.compile-metrics div:nth-child(3){border-right:1px solid var(--black);border-bottom:1px solid var(--black)}.compile-metrics div:nth-child(2n){border-right:0}.compile-metrics div:nth-last-child(-n+2){border-bottom:0}.result-summary{grid-template-columns:1fr 1fr}.result-summary div:nth-child(2n){border-right:0}.result-summary div:nth-child(-n+2){border-bottom:1px solid var(--black)}.range-row,.failure-row{grid-template-columns:1fr}.toast{right:12px;bottom:12px;max-width:calc(100vw - 24px)}}
@media (max-width:359px){.product-identity small{display:none}}
@media (max-width:979px){.preprocess-workspace{min-height:0;padding:18px}.preprocess-grid{grid-template-columns:1fr}.preprocess-source-pane .editor-field textarea{min-height:260px}}
@media (max-width:559px){.preprocess-workspace{padding:14px 12px}.preprocess-source-pane,.preprocess-build-pane{padding:12px}.preprocess-build-pane .baseline-controls{grid-template-columns:1fr}.progress-readout{grid-template-columns:1fr 1fr}.phase-steps{grid-template-columns:1fr 1fr}}
@media (prefers-reduced-motion:reduce){*{transition:none!important}}

.tool-source-workspace{display:grid;grid-template-columns:minmax(0,1fr) 220px auto;gap:10px;align-items:start;margin-top:16px;padding:12px;background:var(--ink);color:var(--white);border:var(--border)}
.tool-source-head{grid-column:1/-1;display:flex;align-items:center;justify-content:space-between;gap:12px;font:800 10px var(--mono)}
.tool-source-head span{color:var(--gold);font-size:9px}
.tool-source-workspace>textarea{width:100%;min-height:132px;padding:10px;resize:vertical;border:1px solid var(--gray-2);background:#0b0b0b;color:var(--white);font:10px/1.55 var(--mono)}
.tool-source-workspace details{min-width:0;border:1px solid #555;background:#0b0b0b}
.tool-source-workspace summary{padding:9px 10px;color:var(--gold);cursor:pointer;font:800 9px var(--mono)}
.tool-constraint-grid{display:grid;gap:8px;padding:0 9px 9px}
.tool-constraint-grid label{display:grid;gap:4px;color:var(--gray-2);font:700 8px var(--mono)}
.tool-constraint-grid input,.tool-constraint-grid textarea{width:100%;padding:6px 7px;border:1px solid #666;background:var(--white);color:var(--black);font:9px/1.4 var(--mono);resize:vertical}
.secondary-btn{min-height:38px;padding:7px 12px;border:2px solid var(--gold);background:transparent;color:var(--gold);font:800 10px var(--mono)}
.secondary-btn:hover{background:var(--gold);color:var(--black)}
.condition-overview{display:grid;grid-template-columns:170px minmax(0,1fr);gap:4px 14px;padding:12px;border:2px solid var(--black);border-left:8px solid var(--green);background:#edf7f0}
.condition-overview span{font:800 9px var(--mono)}
.condition-overview strong{overflow-wrap:anywhere;font:800 12px/1.45 var(--mono)}
.condition-overview small{grid-column:2;color:var(--gray-3);font:8px var(--mono)}
.condition-overview.muted{border-left-color:var(--gray-3);background:var(--gray-1)}
.condition-definitions{margin-top:12px;border:1px solid var(--black)}
.condition-definitions h4{margin:0;padding:8px 10px;background:var(--black);color:var(--white);font:800 9px var(--mono)}
.definition-row{display:grid;grid-template-columns:130px minmax(0,1fr);border-top:1px solid var(--gray-2)}
.definition-row:first-of-type{border-top:0}
.definition-row strong,.definition-row code{padding:8px 10px;font:800 9px/1.45 var(--mono)}
.definition-row strong{background:var(--gray-1)}
.definition-row code{overflow-wrap:anywhere;font-weight:600}
.condition-groups{display:grid;gap:10px;margin-top:12px}
.condition-group{border:1px solid var(--black)}
.condition-group header{display:flex;justify-content:space-between;gap:12px;padding:8px 10px;background:var(--gray-1);font:800 9px var(--mono)}
.condition-group header span{color:var(--gray-3)}
.condition-row{display:grid;grid-template-columns:8px minmax(0,1fr);gap:9px;align-items:start;padding:8px 10px;border-top:1px solid var(--gray-2)}
.condition-row i{width:7px;height:7px;margin-top:4px;background:var(--green)}
.condition-row code{overflow-wrap:anywhere;font:600 9px/1.5 var(--mono)}
.condition-row.empty,.condition-empty{padding:10px;color:var(--gray-3);font:700 9px var(--mono)}
.raw-details{margin-top:14px;border:1px solid var(--black);background:var(--white)}
.raw-details summary{padding:9px 11px;cursor:pointer;font:800 9px var(--mono)}
.raw-details pre{margin:0;padding:11px;background:var(--black);color:var(--white);white-space:pre-wrap;overflow-wrap:anywhere;font:9px/1.55 var(--mono)}
.semantic-constraints{margin-top:14px;border:1px solid var(--black);background:var(--paper)}
.semantic-constraints h3{margin:0;padding:9px 12px;border-bottom:1px solid var(--black);background:var(--black);color:var(--white);font:800 9px var(--mono)}
.search-setting-grid{display:grid;grid-template-columns:1fr 1fr;gap:10px;padding:10px}
.search-setting-grid label{display:grid;gap:5px;font:800 9px var(--mono)}
.search-setting-grid input{width:100%;height:34px;padding:6px 8px;border:1px solid var(--black);font:10px var(--mono)}
.conservative-box{margin-top:14px;border:1px solid var(--black);background:var(--gray-1)}
.conservative-box summary{padding:9px 11px;cursor:pointer;font:800 9px var(--mono)}
.conservative-box pre{margin:0;padding:11px;background:var(--black);color:var(--white);white-space:pre-wrap;overflow-wrap:anywhere;font:9px/1.55 var(--mono)}

@media (max-width:979px){.tool-source-workspace{grid-template-columns:minmax(0,1fr) 200px}.tool-source-workspace>.secondary-btn{grid-column:1/-1}.condition-overview{grid-template-columns:140px minmax(0,1fr)}}
@media (max-width:559px){.tool-source-workspace{grid-template-columns:1fr}.tool-source-workspace>textarea,.tool-source-workspace details,.tool-source-workspace>.secondary-btn{grid-column:1}.condition-overview,.definition-row,.search-setting-grid{grid-template-columns:1fr}.condition-overview small{grid-column:1}}

#shared-input-rail.tool-source-workspace{grid-template-columns:minmax(0,1fr) 260px;margin-top:0;padding:12px;background:var(--ink)}
#shared-input-rail>.tool-source-head{grid-column:1/-1}
#shared-input-rail>textarea{grid-column:1;grid-row:2;min-height:300px}
#shared-input-rail>[data-shared-details]{grid-column:2;grid-row:2/5}
#shared-input-rail>.editor-error,#shared-input-rail>.field{grid-column:1;margin:0}
#shared-input-rail>.field{color:var(--gray-2)}
.overflow-policy-controls{margin-top:14px;border:1px solid var(--black);background:var(--paper)}
.overflow-policy-controls>h3{margin:0;padding:9px 12px;border-bottom:1px solid var(--black);background:var(--black);color:var(--white);font:800 9px var(--mono)}
.overflow-policy-grid{display:grid;grid-template-columns:1fr 1.3fr;gap:10px;padding:10px}
.overflow-policy-grid>label{display:grid;gap:5px;font:800 9px var(--mono)}
.overflow-policy-grid select{width:100%;height:34px;padding:6px 8px;border:1px solid var(--black);background:var(--white);font:10px var(--mono)}
.overflow-policy-grid .toggle-field{grid-column:1/-1;display:flex;align-items:center;gap:8px;min-height:30px}
.overflow-policy-grid .toggle-field input{width:16px;height:16px;margin:0;accent-color:var(--gold)}
.risk-node-panel{border-top:1px solid var(--black);background:var(--white)}
.risk-node-head{display:flex;align-items:center;justify-content:space-between;padding:9px 10px;background:var(--gold);font:800 9px var(--mono)}
.risk-node-list{display:grid;max-height:310px;overflow:auto}
.risk-node-row{display:grid;grid-template-columns:minmax(0,1fr) 120px;gap:10px;padding:10px;border-bottom:1px solid var(--gray-2)}
.risk-node-row>div{display:grid;gap:4px;min-width:0}.risk-node-row code{overflow-wrap:anywhere;font:700 9px/1.45 var(--mono)}.risk-node-row small{color:var(--gray-3);font:8px/1.4 var(--mono)}
.risk-node-row label{display:grid;align-content:start;gap:4px;font:800 8px var(--mono)}.risk-node-row select{height:32px;border:1px solid var(--black);background:var(--white);font:9px var(--mono)}
.risk-node-empty{padding:12px;color:var(--gray-3);font:800 9px var(--mono)}
@media (max-width:979px){#shared-input-rail.tool-source-workspace{grid-template-columns:minmax(0,1fr) 220px}}
@media (max-width:559px){#shared-input-rail.tool-source-workspace,.overflow-policy-grid,.risk-node-row{grid-template-columns:1fr}#shared-input-rail>textarea,#shared-input-rail>[data-shared-details],#shared-input-rail>.editor-error,#shared-input-rail>.field{grid-column:1;grid-row:auto}.overflow-policy-grid .toggle-field{grid-column:1}}

/* Compact unified workbench */
.topbar{height:56px;min-height:56px;padding:0 16px;border-bottom-width:4px}
.brand{gap:12px}.brand-mark{width:32px;height:32px}.brand strong{font-size:15px}.brand small{margin-top:3px;font-size:9px}
.connection-state{padding:5px 7px;font-size:8px}
.workspace-connection{display:block;margin:0 12px 10px;color:var(--white);text-align:center}
.independent-shell{grid-template-columns:156px minmax(0,1fr);min-height:calc(100vh - 56px);max-width:1800px}
.workspace-nav{top:56px;height:calc(100vh - 56px)}
.workspace-nav-label{padding:12px 12px 7px}.workspace-nav-label.section-label{padding-top:14px}
.workspace-nav-item{min-height:52px;padding:9px 25px 8px 12px}.workspace-nav-item strong{font-size:11px}.workspace-nav-item small{margin-top:3px}.workspace-nav-item i{right:10px;top:22px;width:7px;height:7px}
.preprocess-workspace,.analysis-panel{min-height:calc(100vh - 56px);max-width:1500px;margin:0 auto;padding:18px}
.preprocess-heading{align-items:center;margin-bottom:10px;padding:0;border:0}.preprocess-heading h1{margin:0;font-size:18px}.preprocess-heading .snapshot-badge{position:static;padding:4px 6px}
.analysis-panel>.tool-head{margin-bottom:10px}.analysis-panel>.tool-head .eyebrow{display:none}.analysis-panel>.tool-head h2{margin:0;font-size:18px}

.unified-workbench .preprocess-grid{display:grid;grid-template-columns:1fr;gap:0;align-items:stretch;border:var(--border);background:var(--white)}
.unified-workbench .preprocess-source-pane,.unified-workbench .preprocess-build-pane{min-width:0;margin:0;padding:12px;border:0}
.unified-workbench .preprocess-source-pane{border-bottom:1px solid #454545}
.unified-workbench .preprocess-build-pane{background:var(--white)}
#shared-input-rail.tool-source-workspace{grid-template-columns:minmax(0,1fr) 280px;padding:12px}
#shared-input-rail>textarea{min-height:230px}
#shared-input-rail>.tool-source-head{min-height:20px}
.tool-source-workspace>textarea{min-height:150px}
.tool-constraint-grid{grid-template-columns:1fr 1fr;gap:7px;padding:0 8px 8px}
.tool-constraint-grid label:nth-child(n+3){grid-column:1/-1}

.preprocess-build-pane .baseline-controls{display:grid;grid-template-columns:170px minmax(240px,1fr) 108px 34px auto;gap:8px;align-items:end;margin:0}
.baseline-controls input,.baseline-controls select,.tool-controls input,.tool-controls select{height:34px}
.preprocess-build-pane .baseline-controls .primary-btn,.preprocess-build-pane .baseline-controls .icon-btn{width:100%;height:34px}
.preprocess-build-pane .baseline-controls .status-badge{display:inline-flex;align-items:center;align-self:end;justify-self:end;height:34px;padding-block:0}
.compile-settings-row{display:grid;grid-template-columns:minmax(260px,1fr) minmax(220px,.65fr);gap:8px;margin-top:9px}
.overflow-policy-controls,.search-settings{margin:0;border:1px solid var(--black);background:var(--paper)}
.overflow-policy-controls>summary,.search-settings>summary{padding:8px 10px;cursor:pointer;font:800 8px var(--mono)}
.overflow-policy-controls[open]>summary,.search-settings[open]>summary{border-bottom:1px solid var(--black);background:var(--gold)}
.overflow-policy-grid{padding:9px}.search-setting-grid{padding:9px}
.overflow-policy-grid select,.search-setting-grid input{height:32px}
.compile-advanced-settings{margin-top:9px;border:1px solid var(--black);background:var(--paper)}
.compile-advanced-settings>summary{padding:8px 10px;cursor:pointer;font:800 8px var(--mono)}
.compile-advanced-settings[open]>summary{border-bottom:1px solid var(--black);background:var(--gold)}
.advanced-settings-grid{display:grid;grid-template-columns:minmax(280px,1.35fr) minmax(220px,.65fr)}
.advanced-settings-grid>.overflow-policy-controls,.advanced-settings-grid>.search-settings{border:0;background:transparent}
.advanced-settings-grid>.search-settings{border-left:1px solid var(--black)}
.advanced-settings-grid h3{margin:0;padding:8px 9px;border-bottom:1px solid var(--gray-2);font:800 8px var(--mono)}

.compile-progress{display:grid;grid-template-columns:105px minmax(120px,1fr) 170px;gap:10px;align-items:center;margin-top:9px;padding:9px 10px;border:0}
.progress-head{font-size:9px}.progress-head strong{font-size:10px}.progress-track{height:9px;margin:0}.phase-steps{display:none}
.progress-readout{grid-template-columns:1fr 1fr;margin:0;border:0}.progress-readout div{padding:0 5px}.progress-readout div:nth-child(n+3){display:none}
.artifact-dependent{display:none}.unified-workbench.has-artifact>.compile-metrics.artifact-dependent{display:grid}.unified-workbench.has-artifact>.compile-output.artifact-dependent{display:block}
.unified-workbench.has-artifact>.safety-result.artifact-dependent{display:block}
.unified-workbench:not(.has-artifact)>.safety-result.artifact-dependent{display:none}
.compile-metrics{grid-template-columns:repeat(3,minmax(0,1fr));margin-top:10px}.compile-metrics>div:nth-child(2),.compile-metrics>div:nth-child(3),.compile-metrics>div:nth-child(4){display:none}.compile-metrics>div:nth-child(5){border-right:1px solid var(--black)}
.compile-output{margin-top:10px}.compile-output pre,.function-resource-panel pre{max-height:360px}

.analysis-panel .tool-source-workspace{grid-template-columns:minmax(0,1fr) 280px;margin:0;border:var(--border);border-bottom:1px solid #454545}
.analysis-panel .tool-source-head{grid-column:1;grid-row:1}
.analysis-panel .tool-source-workspace>.secondary-btn{grid-column:2;grid-row:1;min-height:24px;padding:3px 8px;justify-self:end;border-width:1px;font-size:8px}
.analysis-panel .tool-source-workspace>textarea{grid-column:1;grid-row:2}.analysis-panel .tool-source-workspace>details{grid-column:2;grid-row:2}
.analysis-panel .tool-controls{margin:0;padding:10px;border-top:0}
.analysis-panel .tool-result{min-height:220px;margin:0;padding:14px;border-top:0}
.analysis-panel .tool-result.empty{min-height:150px}
.analysis-panel .sandbox-scores{margin:0;border-top:0}

@media (max-width:979px){
  .topbar{position:relative}.independent-shell{display:block}.workspace-nav{top:0;height:auto}
  .workspace-connection{display:none}
  .workspace-nav{scrollbar-width:none}.workspace-nav::-webkit-scrollbar{display:none}
  .preprocess-workspace,.analysis-panel{min-height:0;max-width:none;padding:16px}
  .preprocess-build-pane .baseline-controls{grid-template-columns:150px minmax(190px,1fr) 100px 34px auto}
  .analysis-panel .tool-source-workspace,#shared-input-rail.tool-source-workspace{grid-template-columns:minmax(0,1fr) 240px}
}
@media (max-width:700px){
  .compile-settings-row,.advanced-settings-grid{grid-template-columns:1fr}.advanced-settings-grid>.search-settings{border-left:0;border-top:1px solid var(--black)}
  .preprocess-build-pane .baseline-controls{grid-template-columns:1fr 1fr 100px 34px}.preprocess-build-pane .baseline-controls .status-badge{grid-column:1/-1;justify-self:start}
  .compile-progress{grid-template-columns:95px minmax(100px,1fr)}.progress-readout{grid-column:1/-1}
}
@media (max-width:559px){
  .topbar{padding-inline:10px}.independent-shell,.workspace-main{min-width:0}.workspace-nav-item{flex-basis:96px;min-height:48px}
  .preprocess-workspace,.analysis-panel{padding:12px}.preprocess-heading{margin-bottom:8px}
  #shared-input-rail.tool-source-workspace,.analysis-panel .tool-source-workspace{grid-template-columns:1fr}
  #shared-input-rail>textarea,#shared-input-rail>[data-shared-details],#shared-input-rail>.editor-error,#shared-input-rail>.field,.analysis-panel .tool-source-head,.analysis-panel .tool-source-workspace>textarea,.analysis-panel .tool-source-workspace>details,.analysis-panel .tool-source-workspace>.secondary-btn{grid-column:1;grid-row:auto}
  .analysis-panel .tool-source-workspace>.secondary-btn{width:100%;min-height:32px}
  textarea[data-shared-input="source"]{height:210px!important;min-height:180px!important}.tool-constraint-grid{grid-template-columns:1fr}.tool-constraint-grid label:nth-child(n+3){grid-column:1}
  .preprocess-build-pane .baseline-controls{grid-template-columns:1fr 36px}.preprocess-build-pane .baseline-controls label{grid-column:1/-1}.preprocess-build-pane .baseline-controls .primary-btn{grid-column:1}.preprocess-build-pane .baseline-controls .icon-btn{grid-column:2}.preprocess-build-pane .baseline-controls .status-badge{grid-column:1/-1}
  .overflow-policy-grid{grid-template-columns:1fr}.overflow-policy-grid .toggle-field{grid-column:1}
  .compile-progress{grid-template-columns:1fr}.progress-readout{grid-column:1}.compile-metrics{grid-template-columns:1fr 1fr 1fr}
  .analysis-panel .tool-result{min-height:180px}.analysis-panel .tool-result.empty{min-height:110px}
}

/* MCF-first safety workspace */
.mcf-analysis-grid{display:grid;grid-template-columns:minmax(320px,.8fr) minmax(420px,1.2fr);gap:12px;margin-top:10px}
.mcf-input-pane,.safety-result{min-width:0;padding:14px;border:var(--border);background:var(--white)}
.mcf-input-pane .editor-field textarea{min-height:420px;background:var(--ink);color:var(--white);border:0;font:10px/1.55 var(--mono)}
.mcf-input-pane textarea{font-family:var(--mono)}
.mcf-actions{display:grid;grid-template-columns:1fr 38px;gap:8px}.mcf-actions .primary-btn,.mcf-actions .icon-btn{width:100%}
.analysis-running,.safety-loading{display:flex;align-items:center;gap:9px;margin-top:10px;padding:9px;background:var(--black);color:var(--white);font:800 9px var(--mono)}
.analysis-running i,.safety-loading i{width:10px;height:10px;background:var(--gold);animation:safety-pulse .7s steps(2,end) infinite}
@keyframes safety-pulse{50%{opacity:.2}}
.safety-result{min-height:300px}.safety-result.empty{display:grid;place-items:center;color:var(--gray-3);font:800 10px var(--mono)}
.safety-result.loading{display:block}.safety-result.loading .safety-loading{margin:0}
.safety-result.proven{border-top:8px solid var(--green)}.safety-result.conditional{border-top:8px solid var(--gold)}.safety-result.partial{border-top:8px solid var(--red)}
.safety-summary{display:flex;align-items:end;justify-content:space-between;gap:12px;padding-bottom:11px;border-bottom:var(--border)}
.safety-summary span{display:block;color:var(--gray-3);font:800 8px var(--mono)}.safety-summary strong{display:block;margin-top:3px;font-size:18px}.safety-summary b{padding:6px 8px;background:var(--black);color:var(--white);font:800 8px var(--mono)}
.safety-result section{margin-top:14px}.safety-result h3{margin:0 0 8px;font-size:11px}.empty-copy{margin:0;padding:10px;background:var(--gray-1);color:var(--gray-3);font:700 9px var(--mono)}
.safety-condition{display:grid;grid-template-columns:145px minmax(0,1fr);border:1px solid var(--black);border-bottom:0}.safety-condition:last-child{border-bottom:1px solid var(--black)}
.safety-condition>div{padding:8px;background:var(--gray-1)}.safety-condition span,.safety-condition strong{display:block;font:800 8px var(--mono)}.safety-condition span{color:var(--gray-3)}.safety-condition strong{margin-top:4px}
.safety-condition>code{padding:9px;overflow-wrap:anywhere;font:700 10px/1.5 var(--mono)}.safety-condition>small{grid-column:1/-1;padding:6px 8px;border-top:1px solid var(--gray-2);color:var(--gray-3);font:8px/1.4 var(--mono)}
.safety-result details{margin-top:14px;border:1px solid var(--gray-2)}.safety-result summary{padding:8px 10px;cursor:pointer;font:800 8px var(--mono)}.proven-list{margin:0;padding:0;list-style:none}.proven-list li{display:grid;grid-template-columns:90px 1fr;gap:8px;padding:7px 9px;border-top:1px solid var(--gray-1);font:8px var(--mono)}
.opaque-section{padding:10px;border-left:6px solid var(--red);background:#fff0ef}.opaque-section p{font:9px/1.5 var(--mono)}.opaque-line{display:grid;grid-template-columns:80px 1fr;gap:8px;padding:7px 0;border-top:1px solid #efb3ae;font:8px var(--mono)}.opaque-line code{overflow-wrap:anywhere}
@media (max-width:979px){.mcf-analysis-grid{grid-template-columns:1fr}.mcf-input-pane .editor-field textarea{min-height:260px}}
@media (max-width:559px){.safety-condition{grid-template-columns:1fr}.safety-condition>small{grid-column:1}.safety-summary{align-items:start}.safety-summary strong{font-size:15px}}