.supertest-experience.svelte-1han65u{width:100%;color:var(--dx-navy);position:relative}.definition-stage.svelte-1han65u{min-height:548px;padding-block:36px 10px;position:relative}.annotated-composition.svelte-1han65u{width:100%;min-height:502px;position:relative}.annotation-connectors.svelte-1han65u{z-index:3;opacity:0;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.annotation-connectors.geometry-ready.svelte-1han65u{opacity:1}.annotation-connectors.svelte-1han65u>path:where(.svelte-1han65u){fill:none;stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke}.annotation-connectors.svelte-1han65u .connector-base:where(.svelte-1han65u){stroke:#58677761;stroke-width:1.65px}.annotation-connectors.svelte-1han65u .connector-color:where(.svelte-1han65u){stroke-dasharray:1;stroke-dashoffset:1px;stroke-width:1.8px}.annotation-connectors.svelte-1han65u .connector-signal:where(.svelte-1han65u){opacity:0;stroke-dasharray:.075 1.1;stroke-dashoffset:0;stroke-linecap:round;stroke-width:3px}.annotation-connectors.svelte-1han65u .connector-arrow:where(.svelte-1han65u){opacity:0;stroke:#0000;stroke-width:.01px}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-color:where(.svelte-1han65u){animation:.65s cubic-bezier(.4,0,.2,1) both svelte-1han65u-connector-color-arrive}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-signal:where(.svelte-1han65u){animation:.65s cubic-bezier(.4,0,.2,1) both svelte-1han65u-connector-signal}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-arrow:where(.svelte-1han65u){animation:.18s ease-out both svelte-1han65u-connector-arrow-arrive}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-color.decorator-connector:where(.svelte-1han65u),.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-signal.decorator-connector:where(.svelte-1han65u){animation-delay:.78s}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-arrow.decorator-connector:where(.svelte-1han65u){animation-delay:1.34s}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-color.inputs-connector:where(.svelte-1han65u),.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-signal.inputs-connector:where(.svelte-1han65u){animation-delay:3.08s}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-arrow.inputs-connector:where(.svelte-1han65u){animation-delay:3.64s}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-color.claim-connector:where(.svelte-1han65u),.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-signal.claim-connector:where(.svelte-1han65u){animation-delay:5.38s}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-arrow.claim-connector:where(.svelte-1han65u){animation-delay:5.94s}.annotation-connectors.svelte-1han65u .decorator-connector:where(.svelte-1han65u){--connector-rgb:92 108 255}.annotation-connectors.svelte-1han65u .inputs-connector:where(.svelte-1han65u){--connector-rgb:137 101 216}.annotation-connectors.svelte-1han65u .claim-connector:where(.svelte-1han65u){--connector-rgb:49 185 135}.annotation-connectors.svelte-1han65u .connector-color:where(.svelte-1han65u),.annotation-connectors.svelte-1han65u .connector-signal:where(.svelte-1han65u){stroke:rgb(var(--connector-rgb) / .96)}.annotation-connectors.svelte-1han65u .connector-signal:where(.svelte-1han65u){filter:drop-shadow(0 0 2px rgb(var(--connector-rgb) / .48))}.python-panel.svelte-1han65u{z-index:2;color:#d6e0e9;background:#071a32;border:1px solid #687f9a52;border-radius:14px;width:clamp(500px,44%,600px);min-width:0;position:absolute;top:12px;left:50%;transform:translate(-50%);box-shadow:0 28px 70px #061a3338,0 0 0 8px #5c6cff09}.python-panel.svelte-1han65u:after{z-index:-1;content:"";filter:blur(35px);pointer-events:none;background:#5c6cff17;border-radius:50%;position:absolute;inset:10% -7%}.code-toolbar.svelte-1han65u{background:#0a213e;border-bottom:1px solid #ffffff14;border-radius:13px 13px 0 0;justify-content:space-between;align-items:center;gap:16px;min-height:48px;padding:0 17px;display:flex}.file-meta.svelte-1han65u,.demo-brand.svelte-1han65u,.branch-switch.svelte-1han65u,.playback-controls.svelte-1han65u,.progress-controls.svelte-1han65u,.transport-controls.svelte-1han65u{align-items:center;display:flex}.file-meta.svelte-1han65u{font-family:var(--dx-mono);gap:8px;font-size:.58rem}.file-meta.svelte-1han65u i:where(.svelte-1han65u){background:var(--dx-accent);border-radius:50%;width:7px;height:7px;box-shadow:0 0 0 4px #5c6cff24,0 0 12px #5c6cff8c}.file-meta.svelte-1han65u strong:where(.svelte-1han65u){font-weight:500}.language-meta.svelte-1han65u{color:#71859a;font-family:var(--dx-mono);letter-spacing:.06em;font-size:.45rem}.python-code.svelte-1han65u{border-radius:0 0 13px 13px;padding-block:19px}.code-lines.svelte-1han65u{min-width:0}.code-line.svelte-1han65u{isolation:isolate;border-left:2px solid #0000;grid-template-columns:43px minmax(0,1fr) 18px;align-items:center;min-height:31px;padding-right:13px;font-size:clamp(.63rem,.92vw,.8rem);line-height:1.7;display:grid;position:relative;overflow:hidden}.code-line.omitted.svelte-1han65u{min-height:24px}.code-line.svelte-1han65u:before,.code-line.svelte-1han65u:after{z-index:0;content:"";opacity:0;pointer-events:none;will-change:opacity, transform;position:absolute}.code-line.svelte-1han65u:before{background:rgb(var(--sequence-rgb));width:3px;box-shadow:0 0 8px rgb(var(--sequence-rgb) / .58);top:0;bottom:0;left:0}.code-line.svelte-1han65u:after{background:rgb(var(--row-rgb) / var(--row-opacity));box-shadow:8px 0 12px rgb(var(--sequence-rgb) / .1);transform-origin:0;inset:0;transform:scaleX(0)}.sequence-active.svelte-1han65u .code-line:where(.svelte-1han65u):before{animation:.8s cubic-bezier(.33,0,.2,1) both svelte-1han65u-row-bar-arrive}.sequence-active.svelte-1han65u .code-line:where(.svelte-1han65u):after{animation:1.2s cubic-bezier(.33,0,.2,1) both svelte-1han65u-row-highlight-expand}.sequence-active.svelte-1han65u .code-line.decorator:where(.svelte-1han65u):before,.sequence-active.svelte-1han65u .code-line.decorator:where(.svelte-1han65u):after{animation-delay:1.4s}.sequence-active.svelte-1han65u .code-line.inputs:where(.svelte-1han65u):before,.sequence-active.svelte-1han65u .code-line.inputs:where(.svelte-1han65u):after{animation-delay:3.7s}.sequence-active.svelte-1han65u .code-line.claim:where(.svelte-1han65u):before,.sequence-active.svelte-1han65u .code-line.claim:where(.svelte-1han65u):after{animation-delay:6s}.line-number.svelte-1han65u{z-index:1;color:#506983;font-family:var(--dx-mono);text-align:center;font-size:.78em;position:relative}.omission-gutter.svelte-1han65u{place-items:center;display:grid}.omission-gutter.svelte-1han65u i:where(.svelte-1han65u){background:#60758a;border-radius:50%;width:2px;height:2px;transform:translateY(-2px);box-shadow:0 -5px #60758a,0 5px #60758a}.code-line.inputs.svelte-1han65u{--row-opacity:.2;--row-rgb:var(--dx-accent-secondary-rgb);--sequence-rgb:137 101 216}.code-line.decorator.svelte-1han65u{--row-opacity:.2;--row-rgb:92 108 255;--sequence-rgb:92 108 255;border-bottom:2px solid #071a32}.code-line.claim.svelte-1han65u{--row-opacity:.18;--row-rgb:46 160 67;--sequence-rgb:49 185 135;border-top:2px solid #071a32}.python-panel.svelte-1han65u .syntax-code{z-index:1;color:#f0f6fc;position:relative}.python-panel.svelte-1han65u .syntax-code .keyword{color:#f67bcf}.python-panel.svelte-1han65u .syntax-code .function{color:#c792ea}.python-panel.svelte-1han65u .syntax-code .constant{color:#82aaff}.python-panel.svelte-1han65u .syntax-code .type{color:#7fdbca}.python-panel.svelte-1han65u .syntax-code .decorator{color:#7ee787}.python-panel.svelte-1han65u .syntax-code .number{color:#fff59d}.python-panel.svelte-1han65u .syntax-code .string{color:#c3e88d}.python-panel.svelte-1han65u .syntax-code .operator{color:#d8dee9}.python-panel.svelte-1han65u .syntax-code .keyword-def{color:#ff5c57}.python-panel.svelte-1han65u .syntax-code .keyword-pink{color:#f67bcf}.python-panel.svelte-1han65u .syntax-code .identifier-number,.python-panel.svelte-1han65u .syntax-code .identifier-text{color:#ffad66}.python-panel.svelte-1han65u .syntax-code .builtin-type{color:#66d9c2}.python-panel.svelte-1han65u .syntax-code .function-reverse{color:#f0f6fc}.python-panel.svelte-1han65u .syntax-code .literal-none{color:#64b5ff}.python-panel.svelte-1han65u .syntax-code .punctuation-parenthesis{color:#ffd54f}.annotation-list.svelte-1han65u{z-index:4;pointer-events:none;margin:0;padding:0;list-style:none;position:absolute;inset:0}.annotation-list.svelte-1han65u li:where(.svelte-1han65u){--annotation-rgb:92 108 255;--sequence-delay:0s;box-sizing:border-box;isolation:isolate;pointer-events:auto;background:#fffffff5;border:1px solid #061a331c;border-radius:11px;grid-template-columns:auto minmax(0,1fr);align-content:center;align-items:start;gap:14px;width:clamp(250px,23%,300px);min-width:0;min-height:120px;padding:18px;display:grid;position:absolute;box-shadow:0 13px 34px #061a331a}.annotation-list.svelte-1han65u li:where(.svelte-1han65u):after{z-index:2;border:1.8px solid rgb(var(--annotation-rgb) / .86);border-radius:inherit;box-shadow:0 0 10px rgb(var(--annotation-rgb) / .32), 0 0 26px rgb(var(--annotation-rgb) / .2), 0 0 42px rgb(var(--annotation-rgb) / .1);content:"";opacity:0;pointer-events:none;position:absolute;inset:-1px}.sequence-active.svelte-1han65u .annotation-list:where(.svelte-1han65u) li:where(.svelte-1han65u):after{animation:1.2s linear both svelte-1han65u-annotation-card-glow;animation-delay:var(--sequence-delay)}.annotation-list.svelte-1han65u .inputs-annotation:where(.svelte-1han65u){top:-24px;left:0}.annotation-list.svelte-1han65u .scope-annotation:where(.svelte-1han65u){--annotation-rgb:137 101 216;--sequence-delay:2.3s;top:150px;right:0}.annotation-list.svelte-1han65u .claim-annotation:where(.svelte-1han65u){--annotation-rgb:49 185 135;--sequence-delay:4.6s;width:min(26%,330px);min-height:128px;top:372px;left:16%}.annotation-list.svelte-1han65u li:where(.svelte-1han65u)>span:where(.svelte-1han65u){background:var(--dx-accent-soft);color:#4554d2;width:31px;height:31px;font-family:var(--dx-mono);border-radius:50%;align-self:start;place-items:center;font-size:.62rem;display:grid}.annotation-list.svelte-1han65u li:where(.svelte-1han65u)>div:where(.svelte-1han65u){gap:7px;display:grid}.annotation-list.svelte-1han65u small:where(.svelte-1han65u){color:var(--dx-navy);align-self:start;font-size:1rem;font-weight:650;line-height:22px}.annotation-list.svelte-1han65u p:where(.svelte-1han65u){color:#5c6b7d;margin:0;font-size:.8rem;line-height:1.55}.annotation-list.svelte-1han65u code:where(.svelte-1han65u),.detail-claim.svelte-1han65u code:where(.svelte-1han65u){color:#3946b5;font-family:var(--dx-mono);background:#5c6cff14;border-radius:3px;padding:1px 3px;font-size:.88em}.annotation-list.svelte-1han65u .scope-annotation:where(.svelte-1han65u)>span:where(.svelte-1han65u),.annotation-list.svelte-1han65u .scope-annotation:where(.svelte-1han65u) code:where(.svelte-1han65u){background:var(--dx-accent-secondary-soft);color:var(--dx-accent-secondary-ink)}.annotation-list.svelte-1han65u .claim-annotation:where(.svelte-1han65u)>span:where(.svelte-1han65u){background:var(--dx-verified-soft);color:#218663}.workspace-stage.svelte-1han65u{width:100%;margin:clamp(72px,8vw,108px) auto 0}.workspace-intro.svelte-1han65u{grid-template-columns:minmax(0,1fr) minmax(280px,.55fr);align-items:end;gap:42px;margin-bottom:34px;display:grid}.workspace-intro.svelte-1han65u>div:where(.svelte-1han65u){gap:7px;display:grid}.workspace-intro.svelte-1han65u span:where(.svelte-1han65u){color:var(--dx-accent);font-family:var(--dx-mono);letter-spacing:.075em;font-size:.5rem}.workspace-intro.svelte-1han65u h3:where(.svelte-1han65u){font-family:var(--dx-display);letter-spacing:var(--dx-heading-tracking);font-size:clamp(2.35rem,4.8vw,4.3rem);font-weight:500;line-height:var(--dx-heading-leading);margin:0}.workspace-intro.svelte-1han65u p:where(.svelte-1han65u){color:#59687a;max-width:500px;margin:0;font-size:.92rem;line-height:1.7}.workspace-window.svelte-1han65u{background:#fff;border:1px solid #061a3324;border-radius:15px;overflow:hidden;box-shadow:0 25px 70px #061a3321}.workspace-topbar.svelte-1han65u{background:#fffffff5;border-bottom:1px solid #061a3317;grid-template-columns:1fr auto 1fr;grid-template-areas:"brand playback branch";align-items:center;gap:18px;min-height:60px;padding:0 18px;display:grid}.demo-brand.svelte-1han65u{--dx-product-wordmark-size:.79rem;grid-area:brand;gap:8px}.demo-brand.svelte-1han65u strong:where(.svelte-1han65u){font-size:.79rem}.record-list-head.svelte-1han65u code:where(.svelte-1han65u){color:var(--dx-accent);font-family:var(--dx-mono);font-size:inherit}.branch-switch.svelte-1han65u{background:#f1f3f5;border:1px solid #5c6cff21;border-radius:8px;flex:none;grid-area:branch;justify-self:end;padding:3px}.branch-switch.svelte-1han65u button:where(.svelte-1han65u){min-height:28px;color:var(--dx-ink-muted);font-family:var(--dx-mono);cursor:pointer;background:0 0;border:0;border-radius:6px;padding:0 8px;font-size:.55rem;transition:all .16s}.branch-switch.svelte-1han65u button.active:where(.svelte-1han65u){color:var(--dx-navy);background:#fff;box-shadow:0 1px 4px #061a3321}.playback-controls.svelte-1han65u{grid-area:playback;justify-self:center;gap:10px}.transport-controls.svelte-1han65u{gap:5px}.progress-controls.svelte-1han65u{gap:4px}.progress-controls.svelte-1han65u button:where(.svelte-1han65u){cursor:pointer;background:0 0;border:0;width:46px;height:11px;padding:4px 0;position:relative}.progress-controls.svelte-1han65u button:where(.svelte-1han65u):before{content:"";background:#dfe4e9;border-radius:99px;position:absolute;inset:4px 0}.progress-controls.svelte-1han65u button.active:where(.svelte-1han65u):before{background:#cbd1f1}.progress-controls.svelte-1han65u button:where(.svelte-1han65u) i:where(.svelte-1han65u){z-index:1;background:var(--dx-accent);transform-origin:0;border-radius:99px;width:100%;height:3px;position:absolute;top:4px;left:0}.playback-toggle.svelte-1han65u,.playback-step.svelte-1han65u{color:#566577;cursor:pointer;background:#fff;border:1px solid #061a331f;border-radius:7px;place-items:center;width:30px;height:30px;transition:all .16s;display:grid}.playback-toggle.svelte-1han65u:hover,.playback-step.svelte-1han65u:hover{background:var(--dx-accent-soft);color:var(--dx-accent);border-color:#5c6cff4d}.pause-icon.svelte-1han65u{border-inline:2px solid;width:7px;height:9px}.play-icon.svelte-1han65u{border-block:5px solid #0000;border-left:7px solid;width:0;height:0;margin-left:2px}.assurance-board.svelte-1han65u{grid-template-columns:minmax(235px,.36fr) minmax(0,.64fr);height:500px;display:grid}.record-list.svelte-1han65u{background:#f8f9fa;border-right:1px solid #061a3317;flex-direction:column;min-width:0;display:flex}.record-list-head.svelte-1han65u{border-bottom:1px solid #061a3314;justify-content:space-between;align-items:center;min-height:53px;padding:0 16px;font-size:.7rem;display:flex}.record-list-head.svelte-1han65u small:where(.svelte-1han65u){color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:.51rem}.record-list.svelte-1han65u>button:where(.svelte-1han65u){min-width:0;min-height:82px;color:inherit;text-align:left;cursor:pointer;background:0 0;border:0;border-bottom:1px solid #061a3312;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:10px;padding:12px 16px;transition:all .18s;display:grid}.record-list.svelte-1han65u>button:where(.svelte-1han65u):hover,.record-list.svelte-1han65u>button.active:where(.svelte-1han65u){background:#fff}.record-list.svelte-1han65u>button.active:where(.svelte-1han65u){box-shadow:inset 3px 0 var(--dx-accent)}.record-list.svelte-1han65u>button.active.failed:where(.svelte-1han65u){box-shadow:inset 3px 0 var(--dx-issue)}.record-state.svelte-1han65u{border-radius:50%;place-items:center;width:28px;height:28px;font-size:.7rem;font-weight:650;display:grid}.record-state.verified.svelte-1han65u{background:var(--dx-verified-soft);color:var(--dx-verified)}.record-state.checking.svelte-1han65u{background:var(--dx-checking-soft);color:#a47825}.record-state.failed.svelte-1han65u{background:var(--dx-issue-soft);color:var(--dx-issue)}.record-state.draft.svelte-1han65u{color:#778390;background:#eceff2}.draft-glyph.svelte-1han65u{border-bottom:1.4px solid;width:10px;height:10px;display:block;position:relative}.draft-glyph.svelte-1han65u:after{content:"";background:currentColor;border-radius:2px;width:8px;height:1.5px;position:absolute;top:2px;right:-1px;transform:rotate(-45deg)}.searching-spinner.svelte-1han65u{border:1.5px solid;border-top-color:#0000;border-radius:50%;width:10px;height:10px;animation:.8s linear infinite svelte-1han65u-orbit-spin}.record-copy.svelte-1han65u{gap:4px;min-width:0;display:grid}.record-copy.svelte-1han65u small:where(.svelte-1han65u){color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:.46rem}.record-copy.svelte-1han65u strong:where(.svelte-1han65u){text-overflow:ellipsis;white-space:nowrap;font-size:.68rem;font-weight:550;overflow:hidden}.record-copy.svelte-1han65u em:where(.svelte-1han65u){color:var(--dx-ink-muted);font-size:.54rem;font-style:normal}.record-arrow.svelte-1han65u{color:#8d9aaa;font-size:.9rem}.state-legend.svelte-1han65u{border-top:1px solid #061a3314;flex-wrap:wrap;gap:12px;margin-top:auto;padding:15px 16px;display:flex}.state-legend.svelte-1han65u span:where(.svelte-1han65u){color:var(--dx-ink-muted);align-items:center;gap:5px;font-size:.52rem;display:inline-flex}.state-legend.svelte-1han65u i:where(.svelte-1han65u){border-radius:50%;width:6px;height:6px}.verified-dot.svelte-1han65u{background:var(--dx-verified)}.checking-dot.svelte-1han65u{background:var(--dx-checking);animation:1.2s ease-in-out infinite svelte-1han65u-search-pulse}.draft-dot.svelte-1han65u{background:#87929e}.draft-dot.failed-dot.svelte-1han65u{background:var(--dx-issue)}.record-detail.svelte-1han65u{box-sizing:border-box;min-width:0;height:100%;padding:clamp(22px,3vw,34px);overflow:hidden}.detail-content.svelte-1han65u{animation:.4s cubic-bezier(.16,1,.3,1) both svelte-1han65u-detail-in}.detail-head.svelte-1han65u{justify-content:space-between;align-items:flex-start;gap:18px;display:flex}.detail-head.svelte-1han65u>div:where(.svelte-1han65u){gap:6px;display:grid}.detail-head.svelte-1han65u small:where(.svelte-1han65u),.detail-claim.svelte-1han65u>span:where(.svelte-1han65u),.result-note.svelte-1han65u>span:where(.svelte-1han65u){color:var(--dx-accent);font-family:var(--dx-mono);letter-spacing:.055em;text-transform:uppercase;font-size:.58rem}.detail-head.svelte-1han65u h4:where(.svelte-1han65u){font-family:var(--dx-display);letter-spacing:-.025em;margin:0;font-size:clamp(1.15rem,2vw,1.5rem);font-weight:500}.detail-claim.svelte-1han65u{border-block:1px solid #061a3317;gap:7px;margin-top:16px;padding-block:11px;display:grid}.detail-claim.svelte-1han65u p:where(.svelte-1han65u),.result-note.svelte-1han65u p:where(.svelte-1han65u){color:#4f6074;margin:0;font-size:clamp(.73rem,1.2vw,.88rem);line-height:1.6}.result-card.svelte-1han65u{border:1px solid #061a331c;border-radius:10px;margin-top:15px;padding:15px}.verified-result.svelte-1han65u,.checking-result.svelte-1han65u,.draft-result.svelte-1han65u{grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:12px;display:grid}.verified-result.svelte-1han65u{background:var(--dx-verified-soft);border-color:#31b9873d}.result-icon.svelte-1han65u{background:var(--dx-verified);color:#fff;border-radius:50%;place-items:center;width:34px;height:34px;display:grid}.verified-result.svelte-1han65u>div:where(.svelte-1han65u),.checking-result.svelte-1han65u>div:where(.svelte-1han65u),.draft-result.svelte-1han65u>div:where(.svelte-1han65u){gap:3px;min-width:0;display:grid}.result-card.svelte-1han65u small:where(.svelte-1han65u){color:#4a7e6b;font-family:var(--dx-mono);text-transform:uppercase;font-size:.52rem}.result-card.svelte-1han65u strong:where(.svelte-1han65u){color:#1d624b;font-size:.68rem;font-weight:600}.result-card.svelte-1han65u code:where(.svelte-1han65u){color:#4d7667;font-family:var(--dx-mono);font-size:.54rem}.verified-result.svelte-1han65u a:where(.svelte-1han65u){color:#1d624b;white-space:nowrap;align-items:center;gap:5px;font-size:.58rem;font-weight:600;display:inline-flex}.checking-result.svelte-1han65u{background:var(--dx-checking-soft);border-color:#e3a94740;grid-template-columns:auto minmax(0,1fr)}.checking-result.svelte-1han65u small:where(.svelte-1han65u),.checking-result.svelte-1han65u strong:where(.svelte-1han65u),.checking-result.svelte-1han65u code:where(.svelte-1han65u){color:#72531d}.draft-result.svelte-1han65u{background:#f1f3f5;border-color:#061a3321}.draft-result.svelte-1han65u small:where(.svelte-1han65u),.draft-result.svelte-1han65u strong:where(.svelte-1han65u),.draft-result.svelte-1han65u code:where(.svelte-1han65u){color:#596675}.draft-result-icon.svelte-1han65u{color:#647180;background:#dfe3e7;border-radius:50%;place-items:center;width:34px;height:34px;display:grid}.draft-result-icon.svelte-1han65u i:where(.svelte-1han65u){border:1.5px solid;border-radius:2px;width:9px;height:9px}.review-link.svelte-1han65u{color:#596675;white-space:nowrap;align-items:center;gap:5px;font-size:.58rem;font-weight:600;display:inline-flex}.branch-note.svelte-1han65u{border-left:2px solid #a8b0b9;padding-left:11px}.large-search-orbit.svelte-1han65u{border:1px solid #e3a9476b;border-radius:50%;width:36px;height:36px;animation:3s linear infinite svelte-1han65u-orbit-spin;position:relative}.large-search-orbit.svelte-1han65u i:where(.svelte-1han65u){background:var(--dx-checking);border-radius:50%;width:5px;height:5px;position:absolute}.large-search-orbit.svelte-1han65u i:where(.svelte-1han65u):first-child{top:-3px;left:15px}.large-search-orbit.svelte-1han65u i:where(.svelte-1han65u):nth-child(2){bottom:4px;right:0}.large-search-orbit.svelte-1han65u i:where(.svelte-1han65u):nth-child(3){bottom:4px;left:0}.search-lines.svelte-1han65u{gap:6px;margin:13px 4px 0;display:grid}.search-lines.svelte-1han65u i:where(.svelte-1han65u){background:linear-gradient(90deg,#e3a94714,#e3a94761,#e3a94714) 0 0/220% 100%;border-radius:4px;height:4px;animation:2s ease-in-out infinite svelte-1han65u-search-sweep;display:block}.search-lines.svelte-1han65u i:where(.svelte-1han65u):nth-child(2){width:83%;animation-delay:.12s}.search-lines.svelte-1han65u i:where(.svelte-1han65u):nth-child(3){width:92%;animation-delay:.24s}.search-lines.svelte-1han65u i:where(.svelte-1han65u):nth-child(4){width:68%;animation-delay:.36s}.result-note.svelte-1han65u{gap:7px;margin-top:14px;display:grid}.verified-note.svelte-1han65u{border-left:2px solid var(--dx-verified);padding-left:11px}.counterexample-result.svelte-1han65u{background:var(--dx-issue-soft);border-color:#e8645a42}.counterexample-head.svelte-1han65u{justify-content:space-between;align-items:center;gap:12px;display:flex}.counterexample-head.svelte-1han65u>span:where(.svelte-1han65u){color:#a13d35;font-family:var(--dx-mono);text-transform:uppercase;font-size:.54rem}.counterexample-head.svelte-1han65u code:where(.svelte-1han65u){color:#8e342e;background:#fff;border:1px solid #e8645a38;border-radius:5px;padding:4px 7px}.comparison.svelte-1han65u{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin-top:10px;display:grid}.comparison.svelte-1han65u>span:where(.svelte-1han65u){background:#ffffffad;border:1px solid #e8645a2b;border-radius:7px;gap:3px;padding:8px;display:grid}.comparison.svelte-1han65u small:where(.svelte-1han65u),.comparison.svelte-1han65u code:where(.svelte-1han65u){color:#89453f}.counterexample-result.svelte-1han65u>strong:where(.svelte-1han65u){color:#8f352e;border-top:1px solid #e8645a2e;margin-top:9px;padding-top:8px;display:block}.source-finding.svelte-1han65u{color:#d6e0e9;font-family:var(--dx-mono);background:#071a32;border:1px solid #061a331f;border-radius:9px;margin-top:11px;font-size:clamp(.54rem,.8vw,.64rem);line-height:1.7;overflow:hidden}.source-head.svelte-1han65u{color:#a9b8c7;background:#0a213e;border-bottom:1px solid #ffffff14;justify-content:space-between;min-height:32px;align-items:center!important;padding:0 11px!important;display:flex!important}.source-head.svelte-1han65u small:where(.svelte-1han65u){color:#71859a;font-size:.5rem}.source-finding.svelte-1han65u>div:where(.svelte-1han65u):not(.source-head){border-left:2px solid #0000;grid-template-columns:34px minmax(0,1fr) auto;align-items:center;min-height:22px;padding-right:9px;display:grid}.source-finding.svelte-1han65u>div:where(.svelte-1han65u):not(.source-head)>span:where(.svelte-1han65u){color:#536c86;text-align:center}.source-finding.svelte-1han65u .source-error:where(.svelte-1han65u){border-left-color:var(--dx-issue);background:#e8645a26}.source-error.svelte-1han65u i:where(.svelte-1han65u){background:var(--dx-issue);color:#fff;border-radius:4px;padding:2px 5px;font-size:.48rem;font-style:normal}@keyframes svelte-1han65u-detail-in{0%{opacity:0;transform:translateY(7px)}}@keyframes svelte-1han65u-annotation-card-glow{0%{opacity:0}18%{opacity:.14}42%{opacity:.62}52%,68%{opacity:.9}80%{opacity:.6}to{opacity:0}}@keyframes svelte-1han65u-connector-color-arrive{0%{stroke-dashoffset:1px}to{stroke-dashoffset:0}}@keyframes svelte-1han65u-connector-arrow-arrive{0%{opacity:0}to{opacity:1}}@keyframes svelte-1han65u-connector-signal{0%{opacity:0;stroke-dashoffset:0}12%,88%{opacity:1}to{opacity:0;stroke-dashoffset:-1px}}@keyframes svelte-1han65u-row-bar-arrive{0%{opacity:0}to{opacity:1}}@keyframes svelte-1han65u-row-highlight-expand{0%{box-shadow:8px 0 12px rgb(var(--sequence-rgb) / .1);opacity:0;transform:scaleX(0)}to{box-shadow:0 0 0 rgb(var(--sequence-rgb) / 0);opacity:1;transform:scaleX(1)}}@keyframes svelte-1han65u-orbit-spin{to{transform:rotate(360deg)}}@keyframes svelte-1han65u-search-pulse{50%{box-shadow:0 0 0 4px #e3a94724}}@keyframes svelte-1han65u-search-sweep{0%,to{opacity:.45;background-position:100% 0}50%{opacity:1;background-position:0 0}}@media (width<=1120px){.definition-stage.svelte-1han65u{min-height:438px}.annotated-composition.svelte-1han65u{grid-template-columns:clamp(250px,27vw,300px) minmax(0,1fr);gap:clamp(24px,3vw,36px);min-height:392px;display:grid}.python-panel.svelte-1han65u{grid-area:1/2;align-self:center;width:100%;min-width:0;max-width:680px;margin:0 0 0 auto;position:relative;top:auto;left:auto;transform:none}.annotation-list.svelte-1han65u{grid-area:1/1;align-content:start;gap:12px;display:grid;position:relative}.annotation-list.svelte-1han65u li:where(.svelte-1han65u),.annotation-list.svelte-1han65u .inputs-annotation:where(.svelte-1han65u),.annotation-list.svelte-1han65u .scope-annotation:where(.svelte-1han65u),.annotation-list.svelte-1han65u .claim-annotation:where(.svelte-1han65u){width:100%;min-width:0;position:relative;top:auto;left:auto;right:auto}}@media (width<=840px){.definition-stage.svelte-1han65u,.annotated-composition.svelte-1han65u{min-height:0}.annotation-connectors.svelte-1han65u{display:none}.sequence-active.svelte-1han65u .code-line.decorator:where(.svelte-1han65u):before,.sequence-active.svelte-1han65u .code-line.decorator:where(.svelte-1han65u):after{animation-delay:1.15s}.sequence-active.svelte-1han65u .code-line.inputs:where(.svelte-1han65u):before,.sequence-active.svelte-1han65u .code-line.inputs:where(.svelte-1han65u):after{animation-delay:3.45s}.sequence-active.svelte-1han65u .code-line.claim:where(.svelte-1han65u):before,.sequence-active.svelte-1han65u .code-line.claim:where(.svelte-1han65u):after{animation-delay:5.75s}.annotated-composition.svelte-1han65u{grid-template-columns:1fr;gap:18px;display:grid}.python-panel.svelte-1han65u{grid-area:1/1;width:min(100%,760px);margin:0 auto;top:auto}.annotation-list.svelte-1han65u{grid-area:2/1;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;display:grid}.annotation-list.svelte-1han65u li:where(.svelte-1han65u),.annotation-list.svelte-1han65u .inputs-annotation:where(.svelte-1han65u),.annotation-list.svelte-1han65u .scope-annotation:where(.svelte-1han65u),.annotation-list.svelte-1han65u .claim-annotation:where(.svelte-1han65u){grid-template-columns:auto minmax(0,1fr);align-content:start;align-items:start;width:auto;min-width:0;position:relative;top:auto;left:auto;right:auto}}@media (width<=760px){.workspace-intro.svelte-1han65u{grid-template-columns:1fr;gap:13px}.workspace-intro.svelte-1han65u p:where(.svelte-1han65u){max-width:610px}.workspace-topbar.svelte-1han65u{grid-template-columns:1fr auto;grid-template-areas:"brand branch""playback playback";padding-block:10px}.assurance-board.svelte-1han65u{grid-template-rows:auto minmax(420px,auto);grid-template-columns:1fr;height:auto}.record-list.svelte-1han65u{border-bottom:1px solid #061a3317;border-right:0;grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.record-list-head.svelte-1han65u,.state-legend.svelte-1han65u{display:none}.record-list.svelte-1han65u>button:where(.svelte-1han65u){grid-template-columns:auto minmax(0,1fr);align-content:center;min-height:105px}.record-list.svelte-1han65u>button:where(.svelte-1han65u)+button:where(.svelte-1han65u){border-left:1px solid #061a3312}.record-list.svelte-1han65u>button.active:where(.svelte-1han65u),.record-list.svelte-1han65u>button.active.failed:where(.svelte-1han65u){box-shadow:inset 0 3px var(--dx-accent)}.record-list.svelte-1han65u>button.active.failed:where(.svelte-1han65u){box-shadow:inset 0 3px var(--dx-issue)}.record-copy.svelte-1han65u strong:where(.svelte-1han65u){white-space:normal}.record-copy.svelte-1han65u em:where(.svelte-1han65u),.record-arrow.svelte-1han65u{display:none}.record-detail.svelte-1han65u{min-height:420px}}@media (width<=580px){.definition-stage.svelte-1han65u{padding-top:0}.python-panel.svelte-1han65u{width:100%}.language-meta.svelte-1han65u{display:none}.python-code.svelte-1han65u{scrollbar-color:#53677e #0a213e;scrollbar-width:thin;overflow-x:auto}.code-lines.svelte-1han65u{min-width:600px}.annotation-list.svelte-1han65u{grid-template-columns:1fr;gap:8px}.annotation-list.svelte-1han65u li:where(.svelte-1han65u),.annotation-list.svelte-1han65u .inputs-annotation:where(.svelte-1han65u),.annotation-list.svelte-1han65u .scope-annotation:where(.svelte-1han65u),.annotation-list.svelte-1han65u .claim-annotation:where(.svelte-1han65u){grid-template-columns:auto minmax(0,1fr);min-height:0;padding:14px 16px}.workspace-stage.svelte-1han65u{margin-top:62px}.workspace-topbar.svelte-1han65u{align-content:center;gap:8px;min-height:96px;padding-block:10px}.playback-controls.svelte-1han65u{justify-content:space-between;justify-self:stretch;width:100%}.progress-controls.svelte-1han65u{flex:1}.progress-controls.svelte-1han65u button:where(.svelte-1han65u){flex:1;width:auto}.record-list.svelte-1han65u>button:where(.svelte-1han65u){text-align:center;grid-template-columns:1fr;justify-items:center;min-height:88px;padding:9px 5px}.record-state.svelte-1han65u{width:22px;height:22px}.record-copy.svelte-1han65u small:where(.svelte-1han65u){font-size:.37rem}.record-copy.svelte-1han65u strong:where(.svelte-1han65u){font-size:.53rem}.record-detail.svelte-1han65u{min-height:468px;padding:18px 13px}.detail-head.svelte-1han65u{flex-direction:column-reverse;align-items:flex-start;gap:10px}.verified-result.svelte-1han65u{grid-template-columns:auto minmax(0,1fr)}.verified-result.svelte-1han65u a:where(.svelte-1han65u){grid-column:2;justify-self:start}.counterexample-head.svelte-1han65u{flex-direction:column;align-items:flex-start}.source-finding.svelte-1han65u{overflow-x:auto}.source-finding.svelte-1han65u>div:where(.svelte-1han65u){min-width:430px}}@media (prefers-reduced-motion:reduce){.annotation-connectors.svelte-1han65u path:where(.svelte-1han65u),.annotation-list.svelte-1han65u li:where(.svelte-1han65u):after,.code-line.svelte-1han65u:before,.code-line.svelte-1han65u:after,.progress-controls.svelte-1han65u button:where(.svelte-1han65u) i:where(.svelte-1han65u),.searching-spinner.svelte-1han65u,.large-search-orbit.svelte-1han65u,.checking-dot.svelte-1han65u,.search-lines.svelte-1han65u i:where(.svelte-1han65u),.detail-content.svelte-1han65u{animation:none}.sequence-active.svelte-1han65u .code-line:where(.svelte-1han65u):before{opacity:1}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-color:where(.svelte-1han65u){stroke-dashoffset:0}.sequence-active.svelte-1han65u .annotation-connectors:where(.svelte-1han65u) .connector-arrow:where(.svelte-1han65u){opacity:1}.sequence-active.svelte-1han65u .code-line:where(.svelte-1han65u):after{box-shadow:none;opacity:1;transform:scaleX(1)}}