.pup-terminal-section.svelte-1m4efrf{z-index:2;padding-block:clamp(110px,14vw,180px);position:relative}.terminal-intro.svelte-1m4efrf{grid-template-columns:minmax(0,1fr) minmax(300px,.55fr);align-items:end;gap:clamp(40px,7vw,90px);margin-bottom:36px;display:grid}.terminal-intro.svelte-1m4efrf>div:where(.svelte-1m4efrf){gap:18px;display:grid}.terminal-intro.svelte-1m4efrf h2:where(.svelte-1m4efrf){max-width:820px;font-family:var(--dx-display);letter-spacing:var(--dx-heading-tracking);font-size:clamp(2.35rem,4.8vw,4.75rem);font-weight:520;line-height:var(--dx-heading-leading);margin:0}.terminal-intro.svelte-1m4efrf>p:where(.svelte-1m4efrf){max-width:520px;color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:0;line-height:1.7}.terminal-window.svelte-1m4efrf{background:#fff;border:1px solid #061a3326;border-radius:16px;overflow:hidden;box-shadow:0 25px 70px #061a3321}.terminal-topbar.svelte-1m4efrf{border-bottom:1px solid #061a331a;grid-template-columns:1fr auto 1fr;grid-template-areas:"brand playback repository";align-items:center;gap:18px;min-height:62px;padding-inline:18px;display:grid}.terminal-brand.svelte-1m4efrf,.playback-controls.svelte-1m4efrf,.progress-controls.svelte-1m4efrf,.transport-controls.svelte-1m4efrf,.repository-context.svelte-1m4efrf,.command-line.svelte-1m4efrf{align-items:center;display:flex}.terminal-brand.svelte-1m4efrf{grid-area:brand;gap:8px}.terminal-brand.svelte-1m4efrf .dx-product-icon{color:var(--dx-accent)}.terminal-brand.svelte-1m4efrf strong:where(.svelte-1m4efrf){font-size:var(--dx-type-caption-size);font-weight:600}.playback-controls.svelte-1m4efrf{grid-area:playback;justify-self:center;gap:10px}.progress-controls.svelte-1m4efrf{gap:4px}.progress-controls.svelte-1m4efrf button:where(.svelte-1m4efrf){cursor:pointer;background:0 0;border:0;width:46px;height:13px;padding:5px 0;position:relative}.progress-controls.svelte-1m4efrf button:where(.svelte-1m4efrf):before{content:"";background:#dfe4e9;border-radius:99px;position:absolute;inset:5px 0}.progress-controls.svelte-1m4efrf button.active:where(.svelte-1m4efrf):before{background:#cbd1f1}.progress-controls.svelte-1m4efrf button:where(.svelte-1m4efrf) i:where(.svelte-1m4efrf){z-index:1;background:var(--dx-accent);transform-origin:0;border-radius:99px;width:100%;height:3px;position:absolute;top:5px;left:0}.transport-controls.svelte-1m4efrf{gap:5px}.transport-controls.svelte-1m4efrf button:where(.svelte-1m4efrf){color:#566577;cursor:pointer;background:#fff;border:1px solid #061a331f;border-radius:7px;place-items:center;width:31px;height:31px;transition:border-color .16s,background .16s,color .16s;display:grid}.transport-controls.svelte-1m4efrf button:where(.svelte-1m4efrf):hover{background:var(--dx-accent-soft);color:var(--dx-accent);border-color:#5c6cff4d}.transport-controls.svelte-1m4efrf button:where(.svelte-1m4efrf):disabled{opacity:.48;cursor:not-allowed}.pause-icon.svelte-1m4efrf{border-inline:2px solid;width:7px;height:9px}.play-icon.svelte-1m4efrf{border-block:5px solid #0000;border-left:7px solid;width:0;height:0;margin-left:2px}.repository-context.svelte-1m4efrf{color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:var(--dx-type-ui-label-size);grid-area:repository;justify-self:end;gap:9px}.repository-context.svelte-1m4efrf code:where(.svelte-1m4efrf){color:var(--dx-navy);background:#f4f6f8;border:1px solid #061a331c;border-radius:6px;padding:5px 8px}.terminal-screen.svelte-1m4efrf{color:#e8edf4;min-height:clamp(470px,38vw,540px);font-family:var(--dx-mono);background:#061a33;padding:clamp(28px,4.5vw,54px);font-size:clamp(.8125rem,1.15vw,.9375rem);line-height:1.72}.terminal-session.svelte-1m4efrf{animation:.18s ease-out both svelte-1m4efrf-session-arrive}.command-line.svelte-1m4efrf{overflow-wrap:anywhere;gap:9px;min-height:28px;font-weight:500}.prompt.svelte-1m4efrf{color:#aeb6ff}.cursor.svelte-1m4efrf{background:#e8edf4db;width:.62em;height:1.15em;animation:.85s step-end infinite svelte-1m4efrf-cursor-blink}.command-line.svelte-1m4efrf kbd:where(.svelte-1m4efrf){color:#e8edf461;font-family:inherit;font-size:inherit;margin-left:2px;font-weight:400}.terminal-output.svelte-1m4efrf{overflow-wrap:anywhere;gap:3px;margin-top:22px;display:grid}.terminal-output.svelte-1m4efrf p:where(.svelte-1m4efrf){margin:0;animation:.18s ease-out both svelte-1m4efrf-output-arrive}.terminal-output.svelte-1m4efrf .muted:where(.svelte-1m4efrf){color:#8b9aab}.checking.svelte-1m4efrf{color:#d9aa50}.status-checking.svelte-1m4efrf,.status-warning.svelte-1m4efrf,.fix-progress.svelte-1m4efrf,.fix-progress.svelte-1m4efrf code:where(.svelte-1m4efrf){color:#f0c66d}.failed.svelte-1m4efrf,.status-failed.svelte-1m4efrf{color:#ff8f87}.status-line.svelte-1m4efrf{color:#bac5d1;padding-left:1.4em}.status-line.status-warning.svelte-1m4efrf{color:#f0c66d}.status-line.svelte-1m4efrf code:where(.svelte-1m4efrf){color:#dce4ed;font-family:inherit}.paw-progress.svelte-1m4efrf{color:#aeb6ff;min-height:1.7em;font-family:var(--dx-mono);font-variant-emoji:text;align-items:center;gap:1ch;padding-left:1.4em;display:flex}.paw-progress.svelte-1m4efrf span:where(.svelte-1m4efrf){opacity:.2;filter:grayscale()brightness(0)invert(82%);flex:0 0 2ch;width:2ch;animation:1.8s step-end infinite svelte-1m4efrf-paw-step;display:inline-block}.paw-progress.svelte-1m4efrf span:where(.svelte-1m4efrf):nth-child(2){animation-delay:.3s}.paw-progress.svelte-1m4efrf span:where(.svelte-1m4efrf):nth-child(3){animation-delay:.6s}.terminal-window.paused.svelte-1m4efrf .paw-progress:where(.svelte-1m4efrf) span:where(.svelte-1m4efrf){animation-play-state:paused}.result-block.svelte-1m4efrf{margin-top:20px;animation:.18s ease-out both svelte-1m4efrf-output-arrive;display:grid}.result-block.svelte-1m4efrf strong:where(.svelte-1m4efrf){color:#fff;font-size:inherit;margin-bottom:3px;font-weight:600}.counterexample.svelte-1m4efrf p:where(.svelte-1m4efrf){white-space:nowrap;grid-template-columns:5ch 1fr;display:grid}.counterexample.svelte-1m4efrf p:where(.svelte-1m4efrf) span:where(.svelte-1m4efrf){color:#8b9aab}.diff-hunk.svelte-1m4efrf{color:#aeb6ff;margin-top:10px!important}.diff-block.svelte-1m4efrf{margin-top:12px;display:grid}.diff-block.svelte-1m4efrf p:where(.svelte-1m4efrf){white-space:pre-wrap;padding-inline:.45em}.diff-block.svelte-1m4efrf .removed:where(.svelte-1m4efrf){color:#ffaaa4;background:#ff8f8717}.diff-block.svelte-1m4efrf .added:where(.svelte-1m4efrf){color:#9ceacb;background:#83e6be12}.fix-note.svelte-1m4efrf{color:#9ceacb;margin-top:18px!important}.fix-note.svelte-1m4efrf span:where(.svelte-1m4efrf){color:#83e6be}.success-result.svelte-1m4efrf{color:#9ceacb;margin-top:20px!important}.success-result.svelte-1m4efrf span:where(.svelte-1m4efrf),.success-result.svelte-1m4efrf strong:where(.svelte-1m4efrf){color:#83e6be}.screen-reader-summary.svelte-1m4efrf{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@keyframes svelte-1m4efrf-cursor-blink{0%,48%{opacity:1}49%,to{opacity:0}}@keyframes svelte-1m4efrf-session-arrive{0%{opacity:0}}@keyframes svelte-1m4efrf-output-arrive{0%{opacity:0;transform:translateY(2px)}}@keyframes svelte-1m4efrf-paw-step{0%,20%,to{opacity:.18}21%,68%{opacity:.9}}@media (width<=820px){.terminal-intro.svelte-1m4efrf{grid-template-columns:1fr;gap:24px}.terminal-intro.svelte-1m4efrf>p:where(.svelte-1m4efrf){max-width:650px}.terminal-topbar.svelte-1m4efrf{grid-template-columns:1fr auto;grid-template-areas:"brand repository""playback playback";min-height:110px;padding-block:12px}}@media (width<=560px){.pup-terminal-section.svelte-1m4efrf{padding-block:95px}.terminal-intro.svelte-1m4efrf h2:where(.svelte-1m4efrf){font-size:clamp(2.5rem,12vw,3.65rem)}.terminal-topbar.svelte-1m4efrf{min-height:106px}.repository-context.svelte-1m4efrf span:where(.svelte-1m4efrf){display:none}.playback-controls.svelte-1m4efrf{justify-content:space-between;width:100%}.progress-controls.svelte-1m4efrf{flex:1}.progress-controls.svelte-1m4efrf button:where(.svelte-1m4efrf){flex:1;width:auto}.terminal-screen.svelte-1m4efrf{min-height:570px;font-size:var(--dx-type-ui-label-size);padding:26px 20px}.command-line.svelte-1m4efrf{align-items:flex-start}.counterexample.svelte-1m4efrf p:where(.svelte-1m4efrf){white-space:normal}}@media (prefers-reduced-motion:reduce){.terminal-session.svelte-1m4efrf,.terminal-output.svelte-1m4efrf p:where(.svelte-1m4efrf),.result-block.svelte-1m4efrf,.cursor.svelte-1m4efrf,.paw-progress.svelte-1m4efrf span:where(.svelte-1m4efrf){animation:none!important}.progress-controls.svelte-1m4efrf button:where(.svelte-1m4efrf) i:where(.svelte-1m4efrf){transform:scaleX(1)!important}}.pup-page.svelte-1yxvc9n{background:var(--dx-cream);position:relative;overflow:hidden}.pup-page.svelte-1yxvc9n>section:where(.svelte-1yxvc9n){z-index:1;position:relative}.supertest-evidence.svelte-1yxvc9n{grid-template-columns:minmax(330px,.72fr) minmax(560px,1.28fr);align-items:center;gap:clamp(48px,7vw,100px);padding-block:clamp(120px,16vw,220px);display:grid}.evidence-copy.svelte-1yxvc9n h2:where(.svelte-1yxvc9n),.proof-copy.svelte-1yxvc9n h2:where(.svelte-1yxvc9n),.access-close.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){font-family:var(--dx-display);letter-spacing:-.045em;font-weight:520}.evidence-copy.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){max-width:650px;margin:23px 0 0;font-size:clamp(2.8rem,4.9vw,5rem);line-height:.96}.evidence-copy.svelte-1yxvc9n>p:where(.svelte-1yxvc9n):not(.dx-eyebrow){max-width:610px;color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:26px 0 0;line-height:1.75}.proof-section.svelte-1yxvc9n{padding-block:clamp(110px,14vw,190px)}.proof-card.svelte-1yxvc9n{border:1px solid var(--dx-line);background:var(--dx-accent-soft);border-radius:22px;padding:clamp(42px,6.5vw,92px);overflow:hidden}.proof-layout.svelte-1yxvc9n{grid-template-columns:minmax(340px,.72fr) minmax(500px,1.08fr);align-items:center;gap:clamp(55px,8vw,115px);display:grid}.proof-copy.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){max-width:680px;margin:23px 0 0;font-size:clamp(2.35rem,4.8vw,4.75rem);line-height:.94}.proof-copy.svelte-1yxvc9n>p:where(.svelte-1yxvc9n):not(.dx-eyebrow){max-width:590px;color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:27px 0 0;line-height:1.75}.proof-copy.svelte-1yxvc9n>p:where(.svelte-1yxvc9n) code:where(.svelte-1yxvc9n){color:var(--dx-navy);font-family:var(--dx-mono);font-size:.92em}.proof-copy.svelte-1yxvc9n>a:where(.svelte-1yxvc9n){border-bottom:1px solid var(--dx-line);color:var(--dx-accent);font-size:var(--dx-type-control-size);align-items:center;gap:8px;margin-top:30px;padding-bottom:8px;font-weight:600;display:inline-flex}.proof-object.svelte-1yxvc9n{aspect-ratio:1.1;background:linear-gradient(#ffffff08 1px, transparent 1px) 0 0 / 42px 42px, linear-gradient(90deg, #ffffff08 1px, transparent 1px) 0 0 / 42px 42px, var(--dx-navy);color:#fff;border:1px solid #ffffff24;border-radius:18px;min-width:0;position:relative;overflow:hidden;box-shadow:0 28px 70px #061a3333;container-type:inline-size}.proof-command.svelte-1yxvc9n{font-family:var(--dx-mono);border-bottom:1px solid #ffffff17;align-items:center;gap:10px;padding-bottom:5%;font-size:clamp(.58rem,1.7cqw,.78rem);display:flex;position:absolute;top:7%;left:7%;right:7%}.proof-command.svelte-1yxvc9n .dx-product-icon{color:#aeb6ff;border-color:#aeb6ff85}.proof-field.svelte-1yxvc9n{background:radial-gradient(circle,#5c6cff1a,#0000 58%);border:1px solid #aeb6ff38;border-radius:50%;position:absolute;inset:22% 10%}.proof-field.svelte-1yxvc9n>i:where(.svelte-1yxvc9n){top:var(--dot-top);left:var(--dot-left);z-index:1;background:#aeb6ff73;border-radius:50%;width:4px;height:4px;position:absolute;transform:translate(-50%,-50%)}.proof-field.svelte-1yxvc9n svg:where(.svelte-1yxvc9n){width:100%;height:100%;position:absolute;inset:0}.proof-field.svelte-1yxvc9n path:where(.svelte-1yxvc9n){fill:none;stroke:#aeb6ff33;stroke-dasharray:3 6;stroke-width:1px;vector-effect:non-scaling-stroke}.verified-core.svelte-1yxvc9n{z-index:2;aspect-ratio:1;color:#83e6be;width:27%;font-family:var(--dx-mono);background:#08243f;border:1px solid #83e6be94;border-radius:50%;align-content:center;place-items:center;gap:4px;display:grid;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.verified-core.svelte-1yxvc9n>i:where(.svelte-1yxvc9n){aspect-ratio:1;color:#071e3a;background:#83e6be;border-radius:50%;place-items:center;width:28%;display:grid}.verified-core.svelte-1yxvc9n b:where(.svelte-1yxvc9n){font-size:clamp(.5rem,1.65cqw,.74rem);font-weight:550}.verified-core.svelte-1yxvc9n small:where(.svelte-1yxvc9n){color:#ffffff61;font-size:clamp(.36rem,1.05cqw,.47rem)}.proof-foot.svelte-1yxvc9n{color:#ffffff61;font-family:var(--dx-mono);justify-content:space-between;gap:15px;font-size:clamp(.43rem,1.35cqw,.58rem);display:flex;position:absolute;bottom:7%;left:8%;right:8%}.proof-foot.svelte-1yxvc9n code:where(.svelte-1yxvc9n){color:#83e6be}.access-section.svelte-1yxvc9n{padding-bottom:clamp(100px,13vw,170px)}.access-close.svelte-1yxvc9n{background:var(--dx-navy);color:#fff;border-radius:22px;overflow:hidden}.access-close-inner.svelte-1yxvc9n{grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:50px;min-height:clamp(350px,38vw,500px);padding:clamp(45px,6vw,84px);display:grid}.access-close.svelte-1yxvc9n .dx-eyebrow:where(.svelte-1yxvc9n){color:#ffffff85}.access-close.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){max-width:970px;margin:25px 0 0;font-size:clamp(2.8rem,5.3vw,5.35rem);line-height:.94}.access-close.svelte-1yxvc9n .dx-button:where(.svelte-1yxvc9n){min-width:160px}@media (width<=1000px){.supertest-evidence.svelte-1yxvc9n,.proof-layout.svelte-1yxvc9n{grid-template-columns:1fr}.supertest-evidence.svelte-1yxvc9n .animated-diff,.proof-object.svelte-1yxvc9n{width:min(100%,700px);margin-inline:auto}}@media (width<=720px){.supertest-evidence.svelte-1yxvc9n{padding-block:100px}.evidence-copy.svelte-1yxvc9n h2:where(.svelte-1yxvc9n),.proof-copy.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){font-size:clamp(2.65rem,13vw,4rem)}.access-close-inner.svelte-1yxvc9n{grid-template-columns:1fr;min-height:0;padding:54px 28px}.access-close.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){font-size:clamp(3rem,14vw,4.8rem)}.access-close.svelte-1yxvc9n .dx-button:where(.svelte-1yxvc9n){width:100%}}