:root{color-scheme:dark;--bg:#071019;--panel:#0d1924;--panel-soft:#101e2b;--line:#243544;--line-light:#354a5b;--text:#e9f0f4;--muted:#a0b2c1;--dim:#8297aa;--cyan:#73e0d0;--violet:#b4a1fb;--orange:#f2bf82;--red:#ff969b;--green:#85dec0;--font:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;--mono:ui-monospace,SFMono-Regular,Consolas,"Liberation Mono",monospace}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:radial-gradient(ellipse at 88% -3%,#183042 0,transparent 40%),var(--bg);color:var(--text);font-family:var(--font);font-size:14px;line-height:1.55}button,input,select{font:inherit}button,input,select,a,summary{-webkit-tap-highlight-color:transparent}button,select,summary{cursor:pointer}button{color:inherit}a{color:var(--cyan);text-underline-offset:4px}button:disabled{cursor:not-allowed;opacity:.43}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--orange);outline-offset:4px}button:focus:not(:focus-visible){outline:none}h1,h2,h3,p{margin:0}h2{font-size:20px;line-height:1.3;font-weight:620;letter-spacing:-.35px}h3{font-size:15px;font-weight:600}button{border:0}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip-link{position:absolute;left:16px;top:-70px;padding:12px 18px;background:var(--orange);color:var(--bg);z-index:20}.skip-link:focus{top:16px}.site-header,.site-footer,main{max-width:1536px;margin:0 auto}.site-header{display:flex;justify-content:space-between;align-items:center;padding:26px 44px;border-bottom:1px solid var(--line);gap:20px}.brand{display:flex;align-items:center;gap:12px;color:var(--text);text-decoration:none;font-size:9px;letter-spacing:1.65px;line-height:1.6}.brand strong{font-weight:650}.brand-mark{font-size:27px;font-weight:650;letter-spacing:-2px;color:var(--cyan);border-right:1px solid var(--line-light);padding-right:16px}.header-nav{display:flex;align-items:center;gap:30px}.back-link{font-size:12px;color:var(--muted);text-decoration:none}.back-link:hover{color:var(--cyan)}.back-link>span:first-child{margin-right:5px}.language-label select{background:transparent;border:1px solid var(--line);border-radius:6px;padding:7px 11px;color:var(--text);font-size:11px;letter-spacing:1px}main{padding:0 44px 52px}.hero{display:grid;grid-template-columns:minmax(0,1fr) 285px;gap:60px;align-items:center;padding:52px 0 39px}.eyebrow{display:flex;align-items:center;gap:8px;font-size:10px;font-weight:650;letter-spacing:1.45px;color:var(--dim);line-height:1.4;text-transform:uppercase}.hero .eyebrow{color:var(--cyan);font-size:10px;letter-spacing:1.9px}.live-dot{display:inline-block;width:6px;height:6px;background:var(--cyan);border-radius:50%}h1{font-size:clamp(30px,3.7vw,52px);font-weight:520;letter-spacing:-2.1px;line-height:1.17;margin:12px 0 17px}h1>span:not(.version){color:var(--cyan)}.version{font-size:10px;color:var(--muted);letter-spacing:.3px;border:1px solid var(--line-light);border-radius:5px;padding:3px 6px;vertical-align:middle;display:inline-block;margin-left:12px;font-family:var(--mono)}.version:empty{display:none}.hero-lead{font-size:14px;line-height:1.8;max-width:670px;color:var(--muted)}.scope-card{padding:18px 20px;border-left:2px solid #527887;background:#12233070;border-radius:0 8px 8px 0}.scope-tag{font-size:9px;letter-spacing:1.8px;color:var(--orange);font-weight:650}.scope-card p{font-size:12px;color:#c1cfd9;line-height:1.7;margin:7px 0 12px}.scope-foot{font-size:10px;display:block;color:var(--dim)}.workflow{display:flex;align-items:center;gap:32px;padding:16px 0;border-top:1px solid var(--line);margin-bottom:24px;font-size:11px;color:var(--muted)}.workflow>span{display:flex;align-items:center;gap:9px}.workflow b{font-family:var(--mono);font-size:10px;color:var(--cyan);font-weight:400}.workflow>span+span:before{content:"";width:29px;height:1px;background:var(--line-light);margin-right:4px}.lab-layout{display:grid;grid-template-columns:310px minmax(0,1fr);gap:24px;align-items:start}.panel{border:1px solid var(--line);border-radius:13px;background:var(--panel);overflow:hidden}.setup-panel{padding:22px;position:sticky;top:20px;border-top-color:#5c9b99}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:16px;margin-bottom:19px}.section-heading .eyebrow{margin-bottom:7px}.setup-panel h2{font-size:21px}.text-button{padding:6px 0 6px 6px;background:transparent;color:var(--muted);font-size:11px;text-decoration:underline;text-underline-offset:3px}.text-button:hover{color:var(--cyan)}.field{margin-bottom:14px;min-width:0}.field label,.method-field label,.import-box>label{font-size:11px;font-weight:500;display:block;color:var(--muted);margin-bottom:6px;line-height:1.5}.field input,.field select,.method-field select{width:100%;min-width:0;max-width:100%;border:1px solid var(--line-light);background:#08131d;border-radius:6px;color:var(--text);padding:9px 10px;min-height:39px;font-size:12px}.field select{padding-right:24px}.field input{font-variant-numeric:tabular-nums}.field input:focus,.field select:focus{border-color:var(--cyan)}.field input[aria-invalid=true],.field select[aria-invalid=true]{border-color:var(--red)}.field-grid{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:12px}.field-grid .field label{font-size:10px}.field-help{font-size:10px;color:var(--dim);line-height:1.65;margin:-3px 0 17px}.control-group{border-top:1px solid var(--line)}summary{color:#c4d2dc;font-size:11px;list-style:none;position:relative;padding:15px 18px 15px 0;font-weight:500}summary::-webkit-details-marker{display:none}summary:after{content:"+";position:absolute;right:1px;color:var(--muted);font-size:17px;font-weight:400;top:10px}details[open]>summary:after{content:"−"}summary:hover{color:var(--cyan)}.details-body{padding-bottom:8px}.details-body>.field-help:first-child{margin-top:0}.control-group[open] summary{padding-bottom:14px}.run-actions{border-top:1px solid var(--line);padding-top:19px;margin-top:3px}.button{display:inline-flex;align-items:center;justify-content:center;gap:10px;min-height:41px;padding:11px 16px;border:1px solid var(--line-light);border-radius:7px;font-size:11px;font-weight:620;text-decoration:none;transition:background .16s,border-color .16s,opacity .16s;background:transparent;white-space:normal;line-height:1.5}.primary{background:var(--cyan);color:#082329;border-color:var(--cyan)}.primary:hover:not(:disabled){background:#a4efe2;border-color:#a4efe2}.secondary{color:var(--text);background:#142330}.secondary:hover:not(:disabled),.quiet:hover:not(:disabled){border-color:#6d9b9c;background:#19303e}.quiet{color:var(--cyan)}.run-actions .button{width:100%;font-size:12px}.run-actions .field-help{margin:10px 0 0;text-align:center}.validation-errors{color:var(--red);border:1px solid #904b50;background:#3a202430;border-radius:6px;padding:10px;font-size:11px;overflow-wrap:anywhere;margin:14px 0}.validation-errors ul{padding-left:18px;margin:0}.results-column{min-width:0;display:grid;gap:20px}.run-status{padding:16px 20px;display:flex;align-items:center;gap:13px;background:#0e1e28}.status-icon{font-size:27px;color:var(--cyan);line-height:1;flex:0 0 auto}.run-status strong{font-size:12px;font-weight:600;display:block}.run-status strong[data-state=pending]{color:var(--orange)}.run-status strong[data-state=error]{color:var(--red)}.run-status p{font-size:10px;color:var(--dim);margin-top:3px;overflow-wrap:anywhere}.run-meta{font-size:10px;color:var(--muted);font-family:var(--mono);margin-left:auto;text-align:right;white-space:nowrap}.results-column>.panel:not(.run-status),.spectral-panel{padding:23px}.method-field{width:190px;flex:0 0 190px}.method-field label{font-size:9px}.method-field select{min-height:35px;padding:7px 9px;font-size:10px}.plot-panel .section-heading{align-items:end;margin-bottom:15px}.plot-legend{display:flex;gap:18px;flex-wrap:wrap;font-size:9px;color:var(--muted);line-height:1.6;align-items:center}.plot-legend>span{display:flex;align-items:center;gap:6px}.legend-line{width:15px;height:2px;display:inline-block;flex-shrink:0;border-radius:2px}.reference{background:var(--cyan)}.observed{background:#758ba0}.output{background:var(--orange)}.coherence{background:var(--violet)}.phase{background:var(--orange)}.chart-wrap{position:relative;min-height:245px;margin-top:12px}.chart-wrap canvas{display:block;width:100%;height:245px}.chart-wrap.small{min-height:215px}.chart-wrap.small canvas{height:215px}.chart-empty{position:absolute;inset:0;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:7px;color:var(--dim);font-size:11px;text-align:center;padding:30px}.chart-empty strong{font-size:13px;color:var(--muted);font-weight:500}.empty-glyph{font-family:serif;font-size:42px;color:#36566b;line-height:1.2;padding-bottom:6px}.chart-empty.minimal{font-size:10px}.chart-empty[hidden]{display:none}.chart-caption{font-size:10px;color:var(--dim);line-height:1.7;margin-top:8px}.metric-strip{display:grid;grid-template-columns:1.35fr 1fr 1fr 1fr;gap:16px;margin-top:20px;padding-top:18px;border-top:1px solid var(--line)}.metric-strip>div{min-width:0}.metric-strip span{display:block;font-size:9px;color:var(--dim);margin-bottom:7px}.metric-strip strong{font-family:var(--mono);font-size:17px;font-weight:400;display:block;font-variant-numeric:tabular-nums}.metric-strip>div:first-child strong{font-family:var(--font);font-size:13px;line-height:26px}.status-PASS{color:var(--green)}.status-FAIL{color:var(--red)}.status-INCONCLUSIVE,.status-UNDEFINED,.status-AMBIGUOUS,.status-PARTIAL{color:var(--orange)}.section-intro{color:var(--muted);font-size:11px;line-height:1.8;margin:-5px 0 20px;max-width:800px}.table-scroll{overflow:auto;max-width:100%;border:1px solid var(--line);border-radius:8px;scrollbar-width:thin;scrollbar-color:var(--line-light) transparent}table{width:100%;border-collapse:collapse;font-size:11px;text-align:left;font-variant-numeric:tabular-nums;min-width:660px}thead{background:#122330}th{font-weight:500;font-size:9px;white-space:nowrap;color:var(--muted)}th,td{padding:13px 12px;border-bottom:1px solid var(--line)}tr:last-child td{border-bottom:0}td:not(:first-child){font-family:var(--mono);font-size:10px}td:last-child{font-family:var(--font);font-size:9px}tbody tr[data-selected=true]{background:#15302f55}td:first-child{min-width:162px}td button{background:transparent;text-align:left;padding:0;min-height:27px;font-size:10px;color:var(--text)}td button:hover{color:var(--cyan)}tr[data-selected=true] td button{color:var(--cyan)}.status-pill{display:inline-block;border:1px solid currentColor;border-radius:4px;padding:3px 6px;font-size:9px;white-space:nowrap}.table-help{color:var(--dim);font-size:10px;line-height:1.7;margin:12px 0 2px}.result-details{margin-top:14px;border-top:1px solid var(--line)}.result-details>summary{font-size:11px}.gates-list{display:grid;gap:8px}.gate-item{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:5px 14px;border:1px solid var(--line);border-radius:7px;padding:11px 13px;font-size:11px}.gate-item .gate-value{font-family:var(--mono);font-size:10px;color:var(--muted);grid-column:1}.gate-item .status-pill{grid-column:2;grid-row:1;align-self:start}.gate-item p{font-size:10px;color:var(--dim);grid-column:1/-1;overflow-wrap:anywhere}.metrics-detail{margin-top:14px;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}.metric-detail{padding:11px 13px;background:#0a141e;border:1px solid var(--line);border-radius:7px;font-size:10px}.metric-detail strong{display:block;margin-bottom:5px;font-size:11px}.metric-detail p{margin-top:5px;color:var(--dim);overflow-wrap:anywhere}.spectral-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:20px}.spectral-panel h2{font-size:18px;margin-top:7px;margin-bottom:14px}.spectral-panel .eyebrow{font-size:9px}.compact{gap:14px}.counterexample-panel{border-left:3px solid #9384bf}.small-tag{border:1px solid var(--line-light);border-radius:4px;font-size:9px;color:var(--muted);padding:4px 8px;white-space:nowrap}.counterexample-panel .section-heading{align-items:start}.suite-status{font-size:11px;color:var(--muted);margin-top:13px}.suite-results{display:grid;gap:10px;margin-top:14px}.case-card{border:1px solid var(--line);background:#0a151f;border-radius:8px;padding:13px 15px}.case-card .case-heading{display:flex;justify-content:space-between;align-items:start;gap:12px}.case-card h3{font-size:12px;line-height:1.6}.case-card p{font-size:10px;color:var(--muted);margin-top:6px;line-height:1.7;overflow-wrap:anywhere}.case-card ul{font-size:10px;padding-left:17px;color:var(--muted);line-height:1.9;margin:8px 0 0}.case-card details summary{font-size:10px;padding:10px 17px 0 0}.case-card details summary:after{top:4px}.case-card pre{font-size:9px;line-height:1.65}.export-actions{display:flex;gap:10px;flex-wrap:wrap}.import-box{padding:16px;border:1px solid var(--line);border-radius:8px;margin-top:19px;background:#0b1620}.import-actions{display:flex;gap:12px;align-items:center;margin-top:9px}.import-actions input[type=file]{min-width:0;width:100%;font-size:10px;color:var(--muted)}input[type=file]::file-selector-button{border:1px solid var(--line-light);border-radius:4px;color:var(--text);background:#172734;padding:7px 10px;font:inherit;margin-right:10px;cursor:pointer}.import-actions .button{flex-shrink:0;min-height:34px;padding:8px 12px;font-size:10px}.import-box .field-help{margin:11px 0 0}.verification-note{font-size:10px;margin-top:12px;color:var(--cyan);overflow-wrap:anywhere}.verification-note:empty{display:none}.result-details .details-body>p{font-size:11px;color:var(--muted);line-height:1.8}.result-details .details-body>a{font-size:11px}pre{white-space:pre-wrap;word-break:break-word;font-family:var(--mono);font-size:10px;color:var(--muted);line-height:1.7;max-height:340px;overflow:auto;margin:13px 0 16px;background:#07121c;border:1px solid var(--line);border-radius:6px;padding:12px}.site-footer{padding:24px 44px 35px;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:20px;color:var(--dim);font-size:10px}.site-footer a{color:var(--muted);text-decoration:none}.site-footer a:hover{color:var(--cyan)}.noscript-message{padding:24px;background:#592a2f;color:white}.busy #sl-status{color:var(--orange)}
@media(min-width:1600px){.lab-layout{grid-template-columns:330px minmax(0,1fr)}}
@media(max-width:1150px){main{padding-left:28px;padding-right:28px}.site-header,.site-footer{padding-left:28px;padding-right:28px}.lab-layout{grid-template-columns:280px minmax(0,1fr);gap:18px}.setup-panel{padding:18px}.results-column>.panel:not(.run-status),.spectral-panel{padding:19px}.hero{gap:30px;grid-template-columns:minmax(0,1fr) 250px}.spectral-grid{grid-template-columns:1fr}.spectral-panel .chart-wrap.small,.spectral-panel .chart-wrap.small canvas{height:225px;min-height:225px}.plot-panel .section-heading{align-items:start;flex-direction:column;gap:14px}.method-field{width:100%;flex-basis:auto;max-width:260px}.method-field label{margin-bottom:4px}.metric-strip{gap:10px;grid-template-columns:1fr 1fr}.metric-strip strong{font-size:17px}.counterexample-panel .section-heading{flex-wrap:wrap}.workflow{gap:18px}.workflow>span+span:before{width:20px;margin-right:0}.run-status{flex-wrap:wrap}.run-meta{padding-left:38px;width:100%;text-align:left;margin-top:-6px}.run-meta:empty{display:none}.import-actions{flex-direction:column;align-items:start;gap:13px}}
@media(max-width:820px){.hero{grid-template-columns:1fr;gap:24px;padding-top:35px}.scope-card{max-width:none;border-left-width:2px}.scope-card p{margin-bottom:6px;max-width:620px}.lab-layout{grid-template-columns:1fr}.setup-panel{position:static;padding:22px}.setup-panel form{display:block}.setup-panel .field-grid{gap:18px}.field-grid .field label{font-size:11px}.field input,.field select{font-size:13px}.control-group .details-body{display:grid;grid-template-columns:1fr 1fr;column-gap:18px}.control-group .details-body>.field-grid,.control-group .details-body>.field-help{grid-column:1/-1}.run-actions{display:grid;grid-template-columns:220px 1fr;gap:20px;align-items:center}.run-actions .field-help{margin:0;text-align:left}.setup-panel .field-help{font-size:11px}.hero-lead{max-width:700px}.plot-panel .section-heading{align-items:end;flex-direction:row}.method-field{max-width:190px}.spectral-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.workflow{font-size:10px;justify-content:space-between;gap:12px}.workflow>span{gap:6px}.workflow>span+span:before{display:none}.run-status{flex-wrap:nowrap}.run-meta{width:auto;margin-top:0;margin-left:auto;padding-left:0;text-align:right;white-space:normal}.import-actions{flex-direction:row;align-items:center}.site-footer{font-size:10px}.metric-strip{grid-template-columns:1.35fr 1fr 1fr 1fr}.metrics-detail{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:570px){main{padding:0 16px 32px}.site-header{padding:18px 17px}.header-nav{gap:15px}.back-link{font-size:10px}.brand{font-size:8px;gap:9px;letter-spacing:1.3px}.brand-mark{font-size:23px;padding-right:12px}.language-label select{padding:6px 7px;font-size:10px}.hero{padding:31px 0 24px;gap:22px}h1{font-size:34px;letter-spacing:-1.4px;margin-top:11px;max-width:340px;line-height:1.16}.version{font-size:9px;margin-left:8px;vertical-align:middle}.hero .eyebrow{font-size:9px;letter-spacing:1.4px}.hero-lead{font-size:12px;line-height:1.85}.scope-card{padding:15px 17px}.scope-card p{font-size:11px}.scope-foot{font-size:9px}.workflow{gap:9px;font-size:9px;align-items:start;padding:15px 0;margin-bottom:17px}.workflow>span{align-items:baseline;gap:5px;max-width:33.33%}.workflow b{font-size:9px}.lab-layout{gap:18px}.setup-panel{padding:20px}.setup-panel .field-help{font-size:10px}.control-group .details-body{display:block}.field input,.field select{min-height:42px;font-size:13px}.field label,.field-grid .field label{font-size:11px}.run-actions{display:block}.run-actions .button{min-height:46px}.run-actions .field-help{margin-top:11px;text-align:center}.results-column{gap:17px}.results-column>.panel:not(.run-status),.spectral-panel{padding:19px 16px}.run-status{padding:15px 16px;gap:10px;align-items:start;flex-wrap:wrap}.run-status p{font-size:10px;line-height:1.7}.run-status>div:not(.status-icon){flex:1 1 200px}.run-status strong{font-size:12px}.run-meta{width:100%;text-align:left;margin-top:-3px;padding-left:34px;font-size:9px}.status-icon{font-size:23px}.plot-panel .section-heading{align-items:start;flex-direction:column;gap:15px}.method-field{width:100%;max-width:none;display:flex;align-items:center;gap:10px}.method-field label{margin:0;flex:0 0 105px;font-size:9px}.method-field select{min-width:0;font-size:10px;min-height:37px}.section-heading{margin-bottom:18px}h2{font-size:19px}.eyebrow{font-size:9px;letter-spacing:1.15px}.plot-legend{gap:8px 14px;font-size:9px}.chart-wrap,.chart-wrap canvas{height:235px;min-height:235px}.chart-caption{font-size:10px}.metric-strip{grid-template-columns:1.25fr 1fr;gap:16px;margin-top:17px;padding-top:16px}.metric-strip strong{font-size:18px}.metric-strip span{font-size:10px;margin-bottom:4px}.section-intro{font-size:11px}.table-scroll{margin-left:0;margin-right:0}.spectral-grid{grid-template-columns:1fr;gap:17px}.spectral-panel .chart-wrap.small,.spectral-panel .chart-wrap.small canvas{height:220px;min-height:220px}.counterexample-panel .section-heading{gap:12px}.counterexample-panel .button{width:100%}.small-tag{font-size:9px}.metrics-detail{grid-template-columns:1fr}.gate-item{padding:10px;gap:5px 7px}.gate-item>strong{font-size:10px}.case-card{padding:12px}.case-card h3{font-size:11px}.case-card .status-pill{font-size:8px}.export-actions{display:grid;grid-template-columns:1fr 1fr;gap:9px}.export-actions .button{font-size:10px;padding:10px 8px;gap:6px}.import-box{padding:13px}.import-actions{flex-direction:column;align-items:stretch;gap:13px}.import-actions input[type=file]{font-size:10px}.import-actions .button{width:100%;min-height:38px}.site-footer{padding:22px 17px 26px;flex-direction:column;gap:11px;font-size:9px}.chart-empty{padding:24px 15px}.chart-empty strong{font-size:12px}.chart-empty>span:last-child{font-size:10px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}
@media print{body{background:white;color:#15202a}.site-header,.hero,.workflow,.setup-panel,.site-footer,.export-actions,.import-box,.button{display:none}.lab-layout{display:block}main{padding:0}.results-column>.panel,.spectral-panel{break-inside:avoid;background:white;color:#15202a;border-color:#ccc}.results-column{gap:15px}.chart-caption,.section-intro,.field-help,th,.plot-legend{color:#40515f}.table-scroll{overflow:visible}table{min-width:0;font-size:9px}.spectral-grid{grid-template-columns:1fr 1fr}}