.file-cascade-study.svelte-epfrtg{--final-card-scale:.656;--compact-card-width:min(52cqw, 374px);--compact-machine-shift:30px;--pup-machine-accent:var(--dx-pup-accent-on-light);--pup-machine-accent-rgb:var(--dx-pup-accent-on-light-rgb);--pup-machine-glow:var(--dx-pup-accent-on-dark);--pup-machine-glow-rgb:var(--dx-pup-accent-on-dark-rgb);--pup-machine-surface:color-mix(in srgb, var(--dx-pup-accent-soft) 72%, white);--pup-machine-window:color-mix(in srgb, #102946 88%, var(--dx-pup-accent));border:1px solid var(--dx-line);width:100%;min-height:620px;color:var(--dx-navy);background:#f8f8f6e6;border-radius:18px;position:relative;overflow:hidden;box-shadow:0 24px 70px #061a3317;container:file-cascade-study/inline-size}.file-cascade-study.frameless.svelte-epfrtg{min-height:480px;box-shadow:none;background:0 0;border-color:#0000;border-radius:0;overflow:visible}.frameless.svelte-epfrtg .construction-grid:where(.svelte-epfrtg){display:none}.construction-grid.svelte-epfrtg{pointer-events:none;background:linear-gradient(90deg,#061a3308 1px,#0000 1px) 0 0/52px 52px,linear-gradient(#061a3308 1px,#0000 1px) 0 0/52px 52px;position:absolute;inset:0;-webkit-mask-image:radial-gradient(#000,#0009 58%,#0000 88%);mask-image:radial-gradient(#000,#0009 58%,#0000 88%)}.construction-grid.svelte-epfrtg,.machine-window-bed.svelte-epfrtg,.cascade-stage.svelte-epfrtg,.pup-machine.svelte-epfrtg,.supertest-output.svelte-epfrtg{-webkit-user-select:none;user-select:none}.machine-window-bed.svelte-epfrtg{z-index:8;background:linear-gradient(145deg, #ffffff1a, transparent 36%), var(--pup-machine-window);opacity:0;transform-origin:50%;border-radius:8px;width:428px;height:194px;position:absolute;top:50%;left:50%;overflow:hidden;transform:translate(-50%,-50%)translateY(10px)scale(.94);box-shadow:inset 0 0 28px #061a336b}.machine-window-bed.svelte-epfrtg span:where(.svelte-epfrtg),.window-grid.svelte-epfrtg{background:linear-gradient(rgb(var(--pup-machine-glow-rgb) / .09) 1px, transparent 1px) 0 0 / 12px 12px, linear-gradient(90deg, rgb(var(--pup-machine-glow-rgb) / .09) 1px, transparent 1px) 0 0 / 12px 12px;position:absolute;inset:0;-webkit-mask-image:radial-gradient(#000,#0000 86%);mask-image:radial-gradient(#000,#0000 86%)}.pup-machine.svelte-epfrtg{z-index:40;box-sizing:border-box;border:1px solid rgb(var(--pup-machine-accent-rgb) / .32);width:452px;height:290px;box-shadow:0 20px 48px #061a3321, 0 0 0 4px rgb(var(--pup-machine-accent-rgb) / .04);opacity:0;transform-origin:50%;will-change:opacity, transform;background:0 0;border-radius:13px;position:absolute;top:calc(50% - 34px);left:50%;transform:translate(-50%,-50%)translateY(10px)scale(.94)}.pup-machine.svelte-epfrtg:before{z-index:0;border-radius:inherit;background:linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) top / 100% 82px no-repeat, linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) bottom / 100% 14px no-repeat, linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) left 82px / 12px calc(100% - 96px) no-repeat, linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) right 82px / 12px calc(100% - 96px) no-repeat;content:"";pointer-events:none;position:absolute;inset:0}.machine-top-grid.svelte-epfrtg{z-index:1;background:linear-gradient(rgb(var(--pup-machine-accent-rgb) / .065) 1px, transparent 1px) 0 0 / 16px 16px, linear-gradient(90deg, rgb(var(--pup-machine-accent-rgb) / .065) 1px, transparent 1px) 0 0 / 16px 16px;height:82px;position:absolute;top:0;left:0;right:0;-webkit-mask-image:linear-gradient(90deg,#0000,#000 20% 80%,#0000);mask-image:linear-gradient(90deg,#0000,#000 20% 80%,#0000)}.machine-window.svelte-epfrtg{z-index:6;border:1px solid rgb(var(--pup-machine-accent-rgb) / .38);border-radius:8px;position:absolute;inset:82px 12px 14px;overflow:hidden;box-shadow:inset 0 0 0 3px #061a3338,0 0 0 1px #ffffff8a}.window-grid.svelte-epfrtg{z-index:1;opacity:.76;pointer-events:none}.window-scanner.svelte-epfrtg{z-index:12;background:var(--pup-machine-glow);height:2px;box-shadow:0 -8px 18px rgb(var(--pup-machine-glow-rgb) / .28), 0 8px 18px rgb(var(--pup-machine-glow-rgb) / .34), 0 0 8px rgb(var(--pup-machine-glow-rgb) / .72);opacity:0;will-change:opacity, transform;border-radius:999px;position:absolute;top:8px;left:7px;right:7px}.window-burst.svelte-epfrtg{z-index:14;width:4px;height:4px;position:absolute;top:50%;left:50%}.window-burst.svelte-epfrtg i:where(.svelte-epfrtg){opacity:0;width:3px;height:3px;transform:rotate(calc(var(--burst-index) * 45deg)) translateX(0);background:#cf6470;border-radius:1px;position:absolute}.machine-brand.svelte-epfrtg{z-index:4;align-items:center;gap:15px;display:flex;position:absolute;top:5px;left:calc(50% - 2.5px);transform:translate(-50%)}.machine-mark.svelte-epfrtg{width:42px;height:42px;color:var(--pup-machine-accent);flex:none;place-items:center;display:grid}.machine-wordmark.svelte-epfrtg{color:var(--pup-machine-accent);font-family:var(--dx-display);letter-spacing:-.035em;font-size:28px;font-weight:550;line-height:1;transform:translateY(5px)}.machine-mark.svelte-epfrtg .dx-product-icon{--dx-product-icon-frame-color:var(--pup-machine-accent);color:var(--pup-machine-accent);transform-origin:50%;transform:scale(.81)}.machine-circuit.svelte-epfrtg{z-index:2;pointer-events:none;position:absolute;inset:0}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg){background:rgb(var(--pup-machine-accent-rgb) / .28);height:1px;position:absolute}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):after{border:1px solid rgb(var(--pup-machine-accent-rgb) / .34);background:var(--pup-machine-surface);content:"";border-radius:1px;width:4px;height:4px;position:absolute;top:50%;transform:translateY(-50%)}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):first-child{width:144px;top:20px;left:14px}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(2){width:144px;top:40px;left:14px}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(3){width:144px;top:20px;right:14px}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(4){width:144px;top:40px;right:14px}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):first-child:after,.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(3):after{left:0}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(2):after,.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(4):after{right:0}.machine-status.svelte-epfrtg{z-index:4;gap:6px;display:flex;position:absolute;top:63px;left:50%;transform:translate(-50%)}.machine-status.svelte-epfrtg i:where(.svelte-epfrtg){box-sizing:border-box;border:1.25px solid rgb(var(--pup-machine-accent-rgb) / .46);background:rgb(var(--pup-machine-accent-rgb) / .12);border-radius:50%;width:7px;height:7px}.machine-slot.svelte-epfrtg{z-index:5;box-sizing:border-box;border:1px solid rgb(var(--pup-machine-accent-rgb) / .26);background:var(--pup-machine-surface);position:absolute}.machine-slot-in.svelte-epfrtg,.machine-slot-out.svelte-epfrtg{width:10px;height:32px;top:60%;transform:translateY(-50%)}.machine-slot-in.svelte-epfrtg{border-radius:0 7px 7px 0;left:-5px}.machine-slot-out.svelte-epfrtg{border-radius:7px 0 0 7px;right:-5px}.machine-slot-bottom.svelte-epfrtg{border-radius:7px 7px 0 0;width:32px;height:10px;bottom:-5px;left:50%;transform:translate(-50%)}.supertest-output.svelte-epfrtg{--output-entry-scale:.328;--output-overshoot-scale:.666;--focus-overshoot-scale:1.465;--focus-scale:1.44;--focus-x:-577.613px;--focus-y:-48px;--output-start-transform:translateX(-80%) scale(var(--output-entry-scale));--output-overshoot-transform:translateX(0) scale(var(--output-overshoot-scale));--output-rest-transform:translateX(0) scale(var(--final-card-scale));--output-focus-overshoot-transform:translate(var(--focus-x), var(--focus-y)) scale(var(--focus-overshoot-scale));--focused-output-transform:translate(var(--focus-x), var(--focus-y)) scale(var(--focus-scale));z-index:35;box-sizing:border-box;opacity:0;width:374px;height:154px;transform:var(--output-start-transform);transform-origin:0;will-change:opacity, transform;background:#f1f3f3;border:1px solid #1d7a584d;border-radius:12px;position:absolute;top:calc(50% - 77px);left:calc(50% + 308.333px);overflow:hidden;box-shadow:0 18px 42px #061a331f,0 0 0 4px #1d7a580b}.supertest-output.svelte-epfrtg .file-header:where(.svelte-epfrtg){background:#f7f8f8;border-color:#061a3321}.supertest-output.svelte-epfrtg .test-number:where(.svelte-epfrtg){color:var(--dx-navy);background:#fff;border-color:#061a3342}.infinity-mark.svelte-epfrtg{width:22px;height:14px;display:block;overflow:visible}.infinity-mark.svelte-epfrtg path:where(.svelte-epfrtg){fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.9px;vector-effect:non-scaling-stroke}.supertest-output.svelte-epfrtg .test-filename:where(.svelte-epfrtg){color:#061a3394}.supertest-output.svelte-epfrtg .supertest-body:where(.svelte-epfrtg){background:#dcf1e7}.supertest-body.svelte-epfrtg .code-line:where(.svelte-epfrtg) i:where(.svelte-epfrtg){background:#6b9988}.supertest-body.svelte-epfrtg .code-line:where(.svelte-epfrtg) i.primary:where(.svelte-epfrtg){background:#245b49}.proof-stamp.svelte-epfrtg{z-index:4;aspect-ratio:1;box-sizing:border-box;color:#725315;opacity:0;transform-origin:50%;will-change:opacity, transform;background:conic-gradient(from 205deg,#b18831,#fff0af 13%,#c5993d 28%,#f4da94 48%,#9f7621 66%,#ffefad 82%,#b18831);border:2px solid #c59735;border-radius:50%;place-items:center;width:20%;display:grid;position:absolute;bottom:6.5%;right:3.9%;overflow:hidden;transform:translateY(-13px)scale(1.32)rotate(-5deg);box-shadow:0 10px 22px #352c1233,inset 0 0 0 1px #fff4beb8,inset 2px 2px 5px #fff7cd8c,inset -3px -3px 7px #5b420f38}.proof-stamp.svelte-epfrtg:before{content:"";opacity:.3;border:1px solid #5e430e9e;border-radius:50%;position:absolute;inset:3%;box-shadow:0 0 0 1px #fff5c273}.seal-lettering.svelte-epfrtg{z-index:2;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.seal-lettering.svelte-epfrtg path:where(.svelte-epfrtg){fill:none}.seal-lettering.svelte-epfrtg text:where(.svelte-epfrtg){fill:#664408;font-family:var(--dx-sans);letter-spacing:.65px;filter:drop-shadow(0 1px #f0d37e57);font-size:8.6px;font-weight:680}.seal-lettering.svelte-epfrtg .seal-copy-top:where(.svelte-epfrtg){letter-spacing:1.05px}.seal-inner.svelte-epfrtg{z-index:3;aspect-ratio:1;outline-offset:2px;color:#8b681c;background:radial-gradient(circle at 34% 26%,#fff3bb,#d9b45d 57%,#a77e2d 100%);border:1px solid #5b420f70;border-radius:50%;outline:1px solid #fff2bb80;place-items:center;width:54%;display:grid;position:relative;box-shadow:inset 1px 1px 2px #fff8cfd6,inset -1px -1px 2px #5b420f3d}.embossed-tick.svelte-epfrtg{filter:drop-shadow(1px 2px 1px #5b3a074d);width:72%;height:72%;display:block;overflow:visible}.tick-light.svelte-epfrtg{stop-color:#fff1aa}.tick-mid.svelte-epfrtg{stop-color:#d6a944}.tick-dark.svelte-epfrtg{stop-color:#9c6e19}.tick-depth.svelte-epfrtg{fill:#76500e;stroke:#76500e;stroke-linejoin:round;stroke-width:1px;opacity:.76;transform:translateY(2px)}.tick-face.svelte-epfrtg{stroke:#9c6e19;stroke-linejoin:round;stroke-width:.7px}.tick-highlight.svelte-epfrtg{fill:none;stroke:#fff8cdd1;stroke-linecap:round;stroke-linejoin:round;stroke-width:.8px;transform:translate(-.45px,-.5px)}.seal-glint.svelte-epfrtg,.seal-shimmer.svelte-epfrtg{filter:blur(.5px);pointer-events:none;background:linear-gradient(100deg,#0000,#ffffff94,#0000);width:18%;position:absolute;top:-14%;bottom:-14%;transform:skew(-15deg)}.seal-glint.svelte-epfrtg{z-index:1;opacity:.56;left:13%}.seal-shimmer.svelte-epfrtg{z-index:4;opacity:0;left:-32%}.final-summary.svelte-epfrtg{z-index:36;width:min(720px,100% - 48px);color:var(--dx-navy);opacity:0;text-align:center;-webkit-user-select:text;user-select:text;will-change:opacity, transform;position:absolute;top:calc(50% + 105px);left:50%;transform:translate(-50%,12px)}.final-claim.svelte-epfrtg{font-family:var(--dx-sans);letter-spacing:-.012em;margin:0;font-size:clamp(1.25rem,1.7vw,1.5rem);font-weight:450;line-height:1.35}.cascade-stage.svelte-epfrtg{z-index:10;width:374px;height:154px;position:absolute;top:50%;left:50%;transform:translate(-356px,-227px)}.test-file-card.svelte-epfrtg{--active-x:var(--card-x);--active-y:var(--card-y);--entrance-ease:cubic-bezier(.18, .8, .3, 1);--gather-x:var(--pile-x);--gather-y:var(--pile-y);--gather-scale:.656;--machine-x:var(--machine-pile-x);--machine-y:var(--machine-pile-y);z-index:calc(10 + var(--card-order));box-sizing:border-box;opacity:0;width:374px;height:154px;transform:translate(calc(var(--active-x) - 28px), calc(var(--active-y) - 16px)) scale(.98);transform-origin:13% 18%;will-change:opacity, transform;background:#f1f3f3;border:1px solid #061a332b;border-radius:12px;position:absolute;inset:0;overflow:hidden;box-shadow:0 16px 34px #061a3317,inset 0 1px #ffffffc2}.file-header.svelte-epfrtg{box-sizing:border-box;background:#f7f8f8;border-bottom:1px solid #061a3321;align-items:center;gap:13px;height:40px;padding-inline:13px 18px;display:flex}.test-number.svelte-epfrtg{box-sizing:border-box;min-width:32px;height:26px;color:var(--dx-navy);font-family:var(--dx-mono);background:#fff;border:1.25px solid #061a3342;border-radius:999px;place-items:center;padding-inline:5px;font-size:.68rem;font-weight:600;line-height:1;display:grid}.test-filename.svelte-epfrtg{color:#061a3394;align-items:center;gap:3px;min-width:0;display:flex}.test-filename.svelte-epfrtg code:where(.svelte-epfrtg){font-family:var(--dx-mono);letter-spacing:-.015em;font-size:.7rem}.abstract-stem.svelte-epfrtg{align-items:center;gap:4px;display:flex}.abstract-stem.svelte-epfrtg i:where(.svelte-epfrtg){width:var(--stem-width);background:#061a333d;border-radius:999px;height:2px;display:block}.abstract-stem.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(2){background:rgb(var(--pup-machine-accent-rgb) / .3)}.test-body.svelte-epfrtg{box-sizing:border-box;background:#ecefef;grid-template-rows:repeat(8,1fr);gap:3px;height:114px;padding:12px 18px 13px;display:grid}.code-line.svelte-epfrtg{width:calc(100% - var(--line-indent));min-width:0;margin-left:var(--line-indent);align-items:center;gap:7px;display:flex}.code-line.svelte-epfrtg i:where(.svelte-epfrtg){width:var(--line-width);background:#9ca6ae;border-radius:999px;flex:none;height:2.5px;display:block}.code-line.svelte-epfrtg i.primary:where(.svelte-epfrtg){background:#586674}.ellipsis-card.svelte-epfrtg{border:1px solid #0000;overflow:visible}.ellipsis-outline.svelte-epfrtg{z-index:2;pointer-events:none;width:calc(100% + 2px);max-width:none;height:calc(100% + 2px);position:absolute;inset:-1px;overflow:visible}.ellipsis-outline.svelte-epfrtg rect:where(.svelte-epfrtg){fill:none;rx:11.5px;stroke:#061a332b;stroke-linecap:butt;stroke-width:1px;x:.5px;y:.5px;width:calc(100% - 1px);height:calc(100% - 1px)}.ellipsis-outline.svelte-epfrtg .dashed-outline:where(.svelte-epfrtg){stroke-dasharray:9 7}.ellipsis-outline.svelte-epfrtg .solid-outline:where(.svelte-epfrtg){opacity:0;stroke-dasharray:none}.ellipsis-card.svelte-epfrtg .file-header:where(.svelte-epfrtg){border-radius:11px 11px 0 0}.ellipsis-card.svelte-epfrtg .test-body:where(.svelte-epfrtg){border-radius:0 0 11px 11px}.ellipsis-card.svelte-epfrtg .test-number:where(.svelte-epfrtg){color:#061a33ad;letter-spacing:-.16em;border-color:#061a333d;min-width:0;padding:0 11px 1px 9px;font-size:.82rem;line-height:1}.depth-card.svelte-epfrtg{--entrance-ease:cubic-bezier(.22, .72, .3, 1);border-color:#061a3324;box-shadow:0 10px 24px #061a3311}.depth-card.svelte-epfrtg .test-number:where(.svelte-epfrtg),.final-card.svelte-epfrtg .test-number:where(.svelte-epfrtg){padding-inline:11px}.final-card.svelte-epfrtg{border-color:#061a3330;box-shadow:0 22px 46px #061a3321}.final-card.svelte-epfrtg .file-header:where(.svelte-epfrtg){background:#f7f8f8;border-color:#061a3321}.suite-bracket.svelte-epfrtg{z-index:32;color:#061a3394;pointer-events:none;width:116px;height:444px;position:absolute;top:0;left:596px}.suite-bracket.svelte-epfrtg svg:where(.svelte-epfrtg){width:40px;max-width:none;height:100%;position:absolute;inset:0 auto 0 0;overflow:visible}.suite-bracket.svelte-epfrtg path:where(.svelte-epfrtg){fill:none;stroke:#061a3347;stroke-dasharray:100;stroke-dashoffset:100px;stroke-linecap:square;stroke-linejoin:round;stroke-width:1px;vector-effect:non-scaling-stroke}.suite-bracket.svelte-epfrtg .annotation-line:where(.svelte-epfrtg){stroke-dashoffset:100px}.suite-bracket.svelte-epfrtg span:where(.svelte-epfrtg){font-family:var(--dx-mono);letter-spacing:.09em;opacity:0;white-space:nowrap;font-size:.7rem;font-weight:600;line-height:1;position:absolute;top:50%;left:44px;transform:translateY(-50%)translate(-8px)}.started.svelte-epfrtg .test-file-card:where(.svelte-epfrtg){animation:svelte-epfrtg-add-file-card var(--card-duration) var(--card-delay) var(--entrance-ease) forwards, svelte-epfrtg-gather-test-suite 1.22s 4.95s cubic-bezier(.34, .04, .18, 1) forwards, svelte-epfrtg-feed-pile-to-machine .9s 7.05s cubic-bezier(.34, .02, .2, 1) forwards, svelte-epfrtg-process-machine-pile 1.91s 7.95s linear forwards}.started.svelte-epfrtg .test-file-card:where(.svelte-epfrtg) .test-body:where(.svelte-epfrtg){animation:.36s 4.34s forwards svelte-epfrtg-tint-test-body-red}.started.svelte-epfrtg .test-file-card:where(.svelte-epfrtg) .code-line:where(.svelte-epfrtg) i:where(.svelte-epfrtg){animation:.36s 4.34s forwards svelte-epfrtg-tint-code-line-red}.started.svelte-epfrtg .test-file-card:where(.svelte-epfrtg) .code-line:where(.svelte-epfrtg) i.primary:where(.svelte-epfrtg){animation-name:svelte-epfrtg-tint-primary-line-red}.started.svelte-epfrtg .ellipsis-outline:where(.svelte-epfrtg) .dashed-outline:where(.svelte-epfrtg){animation:.36s 4.34s forwards svelte-epfrtg-fade-dashed-outline}.started.svelte-epfrtg .ellipsis-outline:where(.svelte-epfrtg) .solid-outline:where(.svelte-epfrtg){animation:.36s 4.34s forwards svelte-epfrtg-fade-solid-outline}.started.svelte-epfrtg .suite-bracket:where(.svelte-epfrtg){animation:.52s 4.95s forwards svelte-epfrtg-remove-suite-bracket}.started.svelte-epfrtg .suite-bracket:where(.svelte-epfrtg) path:where(.svelte-epfrtg){animation:.52s cubic-bezier(.22,.68,.28,1) 2.68s forwards svelte-epfrtg-draw-suite-bracket}.started.svelte-epfrtg .suite-bracket:where(.svelte-epfrtg) .annotation-line:where(.svelte-epfrtg){animation-duration:.2s;animation-timing-function:ease-out;animation-delay:3.04s}.started.svelte-epfrtg .suite-bracket:where(.svelte-epfrtg) span:where(.svelte-epfrtg){animation:.3s ease-out 3.12s forwards svelte-epfrtg-add-suite-label}.started.svelte-epfrtg .pup-machine:where(.svelte-epfrtg),.started.svelte-epfrtg .machine-window-bed:where(.svelte-epfrtg){animation:.58s cubic-bezier(.2,.78,.3,1) 6.35s forwards svelte-epfrtg-reveal-pup-machine,.58s cubic-bezier(.7,0,.8,.22) 10.98s forwards svelte-epfrtg-hide-pup-machine}.started.svelte-epfrtg .window-scanner:where(.svelte-epfrtg){animation:1.72s linear 7.95s forwards svelte-epfrtg-scan-machine-window}.started.svelte-epfrtg .window-burst:where(.svelte-epfrtg) i:where(.svelte-epfrtg){animation:.44s cubic-bezier(.18,.78,.28,1) 9.53s forwards svelte-epfrtg-burst-window-stack}.started.svelte-epfrtg .machine-status:where(.svelte-epfrtg) i:where(.svelte-epfrtg):first-child{animation:.24s 8.09s forwards svelte-epfrtg-illuminate-machine-status}.started.svelte-epfrtg .machine-status:where(.svelte-epfrtg) i:where(.svelte-epfrtg):nth-child(2){animation:.24s 8.71s forwards svelte-epfrtg-illuminate-machine-status}.started.svelte-epfrtg .machine-status:where(.svelte-epfrtg) i:where(.svelte-epfrtg):nth-child(3){animation:.24s 9.33s forwards svelte-epfrtg-illuminate-machine-status}.started.svelte-epfrtg .supertest-output:where(.svelte-epfrtg){animation:.94s cubic-bezier(.18,.82,.28,1) 9.77s forwards svelte-epfrtg-emit-supertest-output,1.05s cubic-bezier(.2,.82,.28,1) 11.56s forwards svelte-epfrtg-focus-supertest-output}.started.svelte-epfrtg .supertest-output.output-complete:where(.svelte-epfrtg){opacity:1;transform:var(--focused-output-transform);animation:none;box-shadow:0 28px 54px #061a3326,0 0 0 5px #1d7a580e}.started.svelte-epfrtg .proof-stamp:where(.svelte-epfrtg){animation:.68s cubic-bezier(.2,.82,.28,1) 12.47s forwards svelte-epfrtg-stamp-proof}.started.svelte-epfrtg .seal-shimmer:where(.svelte-epfrtg){animation:6.8s linear 13.15s infinite both svelte-epfrtg-shimmer-proof-seal}.started.svelte-epfrtg .final-summary:where(.svelte-epfrtg){animation:.58s cubic-bezier(.2,.78,.3,1) 12.98s forwards svelte-epfrtg-reveal-final-summary}@keyframes svelte-epfrtg-add-file-card{0%{opacity:0;transform:translate(calc(var(--active-x) - 28px), calc(var(--active-y) - 16px)) scale(.98)}68%{opacity:1;transform:translate(calc(var(--active-x) + 2px), calc(var(--active-y) + 1px)) scale(1.006)}to{opacity:1;transform:translate(var(--active-x), var(--active-y))}}@keyframes svelte-epfrtg-tint-test-body-red{to{background:#f4d9dc}}@keyframes svelte-epfrtg-tint-code-line-red{to{background:#b96872}}@keyframes svelte-epfrtg-tint-primary-line-red{to{background:#91444e}}@keyframes svelte-epfrtg-fade-dashed-outline{to{opacity:0}}@keyframes svelte-epfrtg-fade-solid-outline{to{opacity:1}}@keyframes svelte-epfrtg-gather-test-suite{0%{transform:translate(var(--active-x), var(--active-y));transform-origin:50%}to{transform:translate(var(--gather-x), var(--gather-y)) scale(var(--gather-scale)) rotate(var(--pile-rotation));transform-origin:50%}}@keyframes svelte-epfrtg-feed-pile-to-machine{0%{opacity:1;transform:translate(var(--gather-x), var(--gather-y)) scale(var(--gather-scale)) rotate(var(--pile-rotation));transform-origin:50%}to{opacity:1;transform:translate(var(--machine-x), var(--machine-y)) scale(var(--gather-scale)) rotate(var(--pile-rotation));transform-origin:50%}}@keyframes svelte-epfrtg-process-machine-pile{0%,21%{opacity:1;transform:translate(var(--machine-x), var(--machine-y)) scale(var(--gather-scale)) rotate(var(--pile-rotation));transform-origin:50%}22%{transform:translate(calc(var(--machine-x) - 1px), calc(var(--machine-y) + .5px)) scale(var(--gather-scale)) rotate(calc(var(--pile-rotation) - .5deg))}33%{transform:translate(calc(var(--machine-x) + 1.5px), calc(var(--machine-y) - .5px)) scale(var(--gather-scale)) rotate(calc(var(--pile-rotation) + .8deg))}45%{transform:translate(calc(var(--machine-x) - 2px), calc(var(--machine-y) + 1px)) scale(var(--gather-scale)) rotate(calc(var(--pile-rotation) - 1deg))}57%{transform:translate(calc(var(--machine-x) + 2.5px), calc(var(--machine-y) - 1px)) scale(var(--gather-scale)) scale(1.012) rotate(calc(var(--pile-rotation) + 1.2deg))}69%{transform:translate(calc(var(--machine-x) - 3px), calc(var(--machine-y) + 1px)) scale(var(--gather-scale)) scale(1.024) rotate(calc(var(--pile-rotation) - 1.5deg))}80%{opacity:1;transform:translate(calc(var(--machine-x) + 3px), calc(var(--machine-y) - 1.5px)) scale(var(--gather-scale)) scale(1.071) rotate(calc(var(--pile-rotation) + 1.8deg))}90%{opacity:1;transform:translate(calc(var(--machine-x) - 3px), calc(var(--machine-y) + 1px)) scale(var(--gather-scale)) scale(1.095) rotate(calc(var(--pile-rotation) - 1.6deg))}to{opacity:0;transform:translate(var(--machine-x), var(--machine-y)) scale(.08) rotate(0deg);transform-origin:50%}}@keyframes svelte-epfrtg-reveal-pup-machine{to{opacity:1;transform:translate(-50%,-50%)}}@keyframes svelte-epfrtg-hide-pup-machine{0%{opacity:1;transform:translate(-50%,-50%)}to{opacity:0;transform:translate(-50%,-50%)translateY(10px)scale(.94)}}@keyframes svelte-epfrtg-scan-machine-window{0%{opacity:0;animation-timing-function:ease-in-out;transform:translateY(0)}5%{opacity:1}50%{opacity:1;animation-timing-function:ease-in-out;transform:translateY(174px)}95%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(0)}}@keyframes svelte-epfrtg-scan-machine-window-compact{0%{opacity:0;animation-timing-function:ease-in-out;transform:translateY(0)}5%{opacity:1}50%{opacity:1;animation-timing-function:ease-in-out;transform:translateY(132px)}95%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(0)}}@keyframes svelte-epfrtg-burst-window-stack{0%{opacity:0;transform:rotate(calc(var(--burst-index) * 45deg)) translateX(0) scale(1)}18%{opacity:.84}to{opacity:0;transform:rotate(calc(var(--burst-index) * 45deg)) translateX(28px) scale(.45)}}@keyframes svelte-epfrtg-illuminate-machine-status{to{border-color:var(--pup-machine-accent);background:var(--pup-machine-accent);box-shadow:0 0 6px rgb(var(--pup-machine-accent-rgb) / .62);transform:scale(1.08)}}@keyframes svelte-epfrtg-emit-supertest-output{0%{opacity:0;transform:var(--output-start-transform)}14%{opacity:1}76%{opacity:1;transform:var(--output-overshoot-transform)}to{opacity:1;transform:var(--output-rest-transform)}}@keyframes svelte-epfrtg-focus-supertest-output{0%{opacity:1;transform:var(--output-rest-transform);box-shadow:0 18px 42px #061a331f,0 0 0 4px #1d7a580b}78%{opacity:1;transform:var(--output-focus-overshoot-transform);box-shadow:0 30px 58px #061a3329,0 0 0 7px #1d7a5811}to{opacity:1;transform:var(--focused-output-transform);box-shadow:0 28px 54px #061a3326,0 0 0 5px #1d7a580e}}@keyframes svelte-epfrtg-stamp-proof{0%{opacity:0;transform:translateY(-14px)scale(1.34)rotate(-5deg)}52%{opacity:1;transform:translateY(1px)scale(.95)rotate(1.2deg)}76%{opacity:1;transform:translateY(0)scale(1.025)rotate(-.35deg)}to{opacity:1;transform:translateY(0)scale(1)rotate(0)}}@keyframes svelte-epfrtg-shimmer-proof-seal{0%,10%{opacity:0;left:-32%}12.5%{opacity:.38}23%{opacity:0;left:114%}23.01%,to{opacity:0;left:114%}}@keyframes svelte-epfrtg-reveal-final-summary{0%{opacity:0;transform:translate(-50%,12px)}to{opacity:1;transform:translate(-50%)}}@keyframes svelte-epfrtg-remove-suite-bracket{to{opacity:0;transform:translate(-7px)}}@keyframes svelte-epfrtg-draw-suite-bracket{to{stroke-dashoffset:0}}@keyframes svelte-epfrtg-add-suite-label{to{opacity:1;transform:translateY(-50%)}}@container file-cascade-study (width<=1200px){.cascade-stage.svelte-epfrtg{width:var(--compact-card-width);height:110px;transform:translate(calc(var(--compact-card-width) * -.5 - 56.5px), -226px)}.test-file-card.svelte-epfrtg{--active-x:var(--compact-x);--active-y:var(--compact-y);--gather-x:var(--compact-pile-x);--gather-y:var(--compact-pile-y);--gather-scale:.72;--machine-x:var(--compact-machine-pile-x);--machine-y:calc(var(--compact-machine-pile-y) + var(--compact-machine-shift));width:var(--compact-card-width);border-radius:10px;height:110px}.file-header.svelte-epfrtg{gap:6px;height:34px;padding-inline:6px}.test-number.svelte-epfrtg{min-width:29px;height:23px;padding-inline:4px;font-size:.56rem}.test-filename.svelte-epfrtg code:where(.svelte-epfrtg){font-size:.48rem}.abstract-stem.svelte-epfrtg{gap:2px}.abstract-stem.svelte-epfrtg i:where(.svelte-epfrtg){width:calc(var(--stem-width) * .36)}.test-body.svelte-epfrtg{gap:2px;height:76px;padding:8px 10px 9px}.code-line.svelte-epfrtg{gap:4px}.code-line.svelte-epfrtg i:where(.svelte-epfrtg){height:1.5px}.ellipsis-outline.svelte-epfrtg rect:where(.svelte-epfrtg){rx:9.5px}.ellipsis-card.svelte-epfrtg .file-header:where(.svelte-epfrtg){border-radius:9px 9px 0 0}.ellipsis-card.svelte-epfrtg .test-body:where(.svelte-epfrtg){border-radius:0 0 9px 9px}.suite-bracket.svelte-epfrtg{left:calc(var(--compact-card-width) + 84px);width:29px;height:345px}.suite-bracket.svelte-epfrtg svg:where(.svelte-epfrtg){width:18px}.suite-bracket.svelte-epfrtg span:where(.svelte-epfrtg){letter-spacing:.07em;writing-mode:vertical-rl;font-size:.62rem;top:50%;left:20px;transform:translateY(-50%)translate(-5px)}.machine-window-bed.svelte-epfrtg{top:calc(50% + var(--compact-machine-shift));width:calc(clamp(224px,66cqw,360px) - 24px);height:152px}.pup-machine.svelte-epfrtg{--compact-machine-width:clamp(224px, 66cqw, 360px);top:calc(50% - 30px + var(--compact-machine-shift));width:var(--compact-machine-width);height:236px}.pup-machine.svelte-epfrtg:before{background:linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) top / 100% 72px no-repeat, linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) bottom / 100% 12px no-repeat, linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) left 72px / 12px calc(100% - 84px) no-repeat, linear-gradient(var(--pup-machine-surface), var(--pup-machine-surface)) right 72px / 12px calc(100% - 84px) no-repeat}.machine-top-grid.svelte-epfrtg{height:72px}.machine-window.svelte-epfrtg{inset:72px 12px 12px}.machine-brand.svelte-epfrtg{transform-origin:top;gap:17px;top:5px;left:calc(50% - 2px);transform:translate(-50%)scale(.82)}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):first-child{width:calc((var(--compact-machine-width) - 130px) / 2);top:17px;left:10px}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(2){width:calc((var(--compact-machine-width) - 130px) / 2);top:35px;left:10px}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(3){width:calc((var(--compact-machine-width) - 130px) / 2);top:17px;right:10px}.machine-circuit.svelte-epfrtg i:where(.svelte-epfrtg):nth-child(4){width:calc((var(--compact-machine-width) - 130px) / 2);top:35px;right:10px}.machine-status.svelte-epfrtg{top:54px}.machine-slot-in.svelte-epfrtg{border-radius:0 0 7px 7px;width:32px;height:10px;top:-5px;left:50%;transform:translate(-50%)}.machine-slot-out.svelte-epfrtg{display:none}.supertest-output.svelte-epfrtg{--final-card-scale:.72;--focus-overshoot-scale:1.73;--focus-scale:1.7;--focus-y:calc(-183px - var(--compact-machine-shift));--output-start-transform:translate(-50%, -80%) scale(var(--output-entry-scale));--output-overshoot-transform:translate(-50%, 0) scale(var(--output-overshoot-scale));--output-rest-transform:translate(-50%, 0) scale(var(--final-card-scale));--output-focus-overshoot-transform:translate(-50%, var(--focus-y)) scale(var(--focus-overshoot-scale));--focused-output-transform:translate(-50%, var(--focus-y)) scale(var(--focus-scale));--output-entry-scale:.36;--output-overshoot-scale:.731;top:calc(50% + 86px + var(--compact-machine-shift));width:var(--compact-card-width);height:110px;transform:var(--output-start-transform);transform-origin:50%;border-radius:10px;left:50%}.proof-stamp.svelte-epfrtg{width:min(20%,53px);bottom:5%;right:3.9%}.seal-inner.svelte-epfrtg{outline-offset:1px}.infinity-mark.svelte-epfrtg{width:17px;height:10px}.final-summary.svelte-epfrtg{width:calc(100% - 36px);top:calc(50% + 92px)}.final-claim.svelte-epfrtg{font-size:clamp(1rem,4.6cqw,1.125rem);line-height:1.35}.started.svelte-epfrtg .window-scanner:where(.svelte-epfrtg){animation-name:svelte-epfrtg-scan-machine-window-compact}.started.svelte-epfrtg .suite-bracket:where(.svelte-epfrtg) span:where(.svelte-epfrtg){transform:translateY(-50%)}}@media (width<=680px){.file-cascade-study.svelte-epfrtg{min-height:520px}.file-cascade-study.frameless.svelte-epfrtg{min-height:460px}}@media (prefers-reduced-motion:reduce){.test-file-card.svelte-epfrtg{opacity:0;transform:translate(var(--machine-x), var(--machine-y)) scale(.08);transform-origin:50%;animation:none!important}.test-file-card.svelte-epfrtg .test-body:where(.svelte-epfrtg){background:#f4d9dc;animation:none!important}.test-file-card.svelte-epfrtg .code-line:where(.svelte-epfrtg) i:where(.svelte-epfrtg){background:#b96872;animation:none!important}.test-file-card.svelte-epfrtg .code-line:where(.svelte-epfrtg) i.primary:where(.svelte-epfrtg){background:#91444e}.ellipsis-outline.svelte-epfrtg .dashed-outline:where(.svelte-epfrtg){opacity:0;animation:none!important}.ellipsis-outline.svelte-epfrtg .solid-outline:where(.svelte-epfrtg){opacity:1;animation:none!important}.suite-bracket.svelte-epfrtg path:where(.svelte-epfrtg){stroke-dashoffset:0;animation:none!important}.suite-bracket.svelte-epfrtg span:where(.svelte-epfrtg){opacity:1;transform:translateY(-50%);animation:none!important}.suite-bracket.svelte-epfrtg{display:none}.pup-machine.svelte-epfrtg,.machine-window-bed.svelte-epfrtg{opacity:0;transform:translate(-50%,-50%)translateY(10px)scale(.94);animation:none!important}.window-scanner.svelte-epfrtg,.window-burst.svelte-epfrtg i:where(.svelte-epfrtg){opacity:0;animation:none!important}.machine-status.svelte-epfrtg i:where(.svelte-epfrtg){background:var(--pup-machine-accent);box-shadow:0 0 6px rgb(var(--pup-machine-accent-rgb) / .62);animation:none!important}.supertest-output.svelte-epfrtg{opacity:1;transform:var(--focused-output-transform);animation:none!important}.proof-stamp.svelte-epfrtg{opacity:1;transform:none;animation:none!important}.seal-shimmer.svelte-epfrtg{display:none}.final-summary.svelte-epfrtg{opacity:1;transform:translate(-50%);animation:none!important}}.file-cascade-study.machine-preview.svelte-epfrtg{min-height:420px}.machine-preview.svelte-epfrtg .test-file-card:where(.svelte-epfrtg){opacity:1;transform:translate(var(--machine-x), var(--machine-y)) scale(var(--gather-scale)) rotate(var(--pile-rotation));transform-origin:50%;animation:none!important}.machine-preview.svelte-epfrtg .test-file-card:where(.svelte-epfrtg) .test-body:where(.svelte-epfrtg){background:#f4d9dc;animation:none!important}.machine-preview.svelte-epfrtg .test-file-card:where(.svelte-epfrtg) .code-line:where(.svelte-epfrtg) i:where(.svelte-epfrtg){background:#b96872;animation:none!important}.machine-preview.svelte-epfrtg .test-file-card:where(.svelte-epfrtg) .code-line:where(.svelte-epfrtg) i.primary:where(.svelte-epfrtg){background:#91444e}.machine-preview.svelte-epfrtg .ellipsis-outline:where(.svelte-epfrtg) .dashed-outline:where(.svelte-epfrtg){opacity:0}.machine-preview.svelte-epfrtg .ellipsis-outline:where(.svelte-epfrtg) .solid-outline:where(.svelte-epfrtg){opacity:1}.machine-preview.svelte-epfrtg .suite-bracket:where(.svelte-epfrtg),.machine-preview.svelte-epfrtg .supertest-output:where(.svelte-epfrtg),.machine-preview.svelte-epfrtg .final-summary:where(.svelte-epfrtg){display:none}.machine-preview.svelte-epfrtg .pup-machine:where(.svelte-epfrtg),.machine-preview.svelte-epfrtg .machine-window-bed:where(.svelte-epfrtg){opacity:1;transform:translate(-50%,-50%);animation:none!important}.machine-preview.svelte-epfrtg .window-scanner:where(.svelte-epfrtg),.machine-preview.svelte-epfrtg .window-burst:where(.svelte-epfrtg) i:where(.svelte-epfrtg){opacity:0;animation:none!important}.machine-preview.svelte-epfrtg .machine-status:where(.svelte-epfrtg) i:where(.svelte-epfrtg){animation:none!important}.machine-preview.svelte-epfrtg .machine-status:where(.svelte-epfrtg) i:where(.svelte-epfrtg):first-child{border-color:var(--pup-machine-accent);background:var(--pup-machine-accent);box-shadow:0 0 6px rgb(var(--pup-machine-accent-rgb) / .62);transform:scale(1.08)}@container file-cascade-study (width<=680px){.file-cascade-study.machine-preview.svelte-epfrtg{min-height:360px}}.terminal-codebase-study.svelte-oc9bj2{--pup-diagram-accent:var(--dx-hero-accent);--pup-diagram-accent-rgb:var(--dx-hero-accent-rgb);--pup-machine-resultant:#3a507b;--pup-machine-label:color-mix(in srgb, var(--pup-machine-resultant) 58%, white);--pup-machine-top:color-mix(in srgb, #15345a 82%, var(--pup-diagram-accent));--pup-machine-side:color-mix(in srgb, #0a203f 88%, var(--pup-diagram-accent));--pup-machine-face:color-mix(in srgb, #18385d 80%, var(--pup-diagram-accent));--pup-machine-base:color-mix(in srgb, #17375b 84%, var(--pup-diagram-accent));--pup-machine-dark:color-mix(in srgb, #0a2141 90%, var(--pup-diagram-accent));aspect-ratio:1.08;color:#fff;background:linear-gradient(#ffffff09 1px,#0000 1px) 0 0/38px 38px,linear-gradient(90deg,#ffffff09 1px,#0000 1px) 0 0/38px 38px,#071e3a;border:1px solid #ffffff1f;border-radius:21px;justify-self:end;width:min(100%,620px);position:relative;overflow:hidden;box-shadow:0 28px 75px #00071438;container-type:inline-size}.study-grid.svelte-oc9bj2,.proof-cycle.svelte-oc9bj2{position:absolute;inset:0}.study-grid.svelte-oc9bj2{background:radial-gradient(circle at 80% 86%, rgb(var(--dx-accent-rgb) / .11), transparent 35%), linear-gradient(145deg, transparent 46%, #020c1c47);pointer-events:none}.connections.svelte-oc9bj2{z-index:2;pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.connection.svelte-oc9bj2{fill:none;stroke-dasharray:4 6;stroke-linecap:round;stroke-width:1.25px;vector-effect:non-scaling-stroke}.claim-route.svelte-oc9bj2,.codebase-route.svelte-oc9bj2,.system-route.svelte-oc9bj2{stroke:rgb(var(--dx-hero-accent-rgb) / .5)}.return-route.svelte-oc9bj2{stroke:#75dcb875;stroke-dashoffset:60px;opacity:.12}.counterexample.svelte-oc9bj2 .return-route:where(.svelte-oc9bj2){stroke:#ff898080}.flow-dot.svelte-oc9bj2{filter:drop-shadow(0 0 7px)}.claim-dot.svelte-oc9bj2,.codebase-dot.svelte-oc9bj2{fill:var(--pup-diagram-accent);color:var(--pup-diagram-accent)}.verified.svelte-oc9bj2 .system-dot:where(.svelte-oc9bj2){fill:#75dcb8;color:#75dcb8}.counterexample.svelte-oc9bj2 .system-dot:where(.svelte-oc9bj2){fill:#ff8980;color:#ff8980}.return-dot.svelte-oc9bj2{fill:#75dcb8;color:#75dcb8}.counterexample.svelte-oc9bj2 .return-dot:where(.svelte-oc9bj2){fill:#ff8980;color:#ff8980}.terminal-window.svelte-oc9bj2,.codebase-object.svelte-oc9bj2{z-index:3;background:#020e1df5;border:1px solid #ffffff24;border-radius:12px;position:absolute;overflow:hidden;box-shadow:0 22px 48px #00051052}.terminal-window.svelte-oc9bj2{height:calc(38% + 19px);top:7%;left:5%;right:5%}.terminal-bar.svelte-oc9bj2{background:#ffffff09;border-bottom:1px solid #ffffff17;grid-template-columns:1fr auto 1fr;align-items:center;height:20%;min-height:40px;padding-inline:3.5%;display:grid}.window-controls.svelte-oc9bj2{gap:6px;display:flex}.window-controls.svelte-oc9bj2 i:where(.svelte-oc9bj2){background:#fff3;border-radius:50%;width:6px;height:6px}.window-controls.svelte-oc9bj2 i:where(.svelte-oc9bj2):first-child{background:#ff8980b8}.terminal-bar.svelte-oc9bj2 small:where(.svelte-oc9bj2),.terminal-state.svelte-oc9bj2,.command-line.svelte-oc9bj2,.paw-progress.svelte-oc9bj2,.terminal-result.svelte-oc9bj2{font-family:var(--dx-mono)}.terminal-bar.svelte-oc9bj2 small:where(.svelte-oc9bj2),.terminal-state.svelte-oc9bj2{color:#ffffff7a;letter-spacing:.08em;font-size:clamp(.7rem,1.85cqw,.78rem)}.terminal-state.svelte-oc9bj2{justify-self:end;align-items:center;gap:7px;display:flex}.terminal-state.svelte-oc9bj2 i:where(.svelte-oc9bj2){background:var(--pup-diagram-accent);width:7px;height:7px;box-shadow:0 0 9px rgb(var(--pup-diagram-accent-rgb) / .6);border-radius:50%}.terminal-body.svelte-oc9bj2{grid-template-rows:31% 24% 45%;height:80%;padding:2% 4%;display:grid}.command-line.svelte-oc9bj2,.paw-progress.svelte-oc9bj2,.terminal-result.svelte-oc9bj2{align-items:center;min-width:0;display:flex}.command-line.svelte-oc9bj2{color:#ffffffeb;font-size:clamp(.88rem,2.35cqw,1rem)}.command-line.svelte-oc9bj2>b:where(.svelte-oc9bj2){color:var(--pup-diagram-accent);margin-right:11px;font-weight:540}.typed-command.svelte-oc9bj2{white-space:nowrap;width:0;display:inline-block;overflow:hidden}.terminal-cursor.svelte-oc9bj2{background:var(--pup-diagram-accent);opacity:0;width:2px;height:1.15em;margin-left:3px}.paw-progress.svelte-oc9bj2{min-height:1.7em;color:var(--pup-diagram-accent);font-variant-emoji:text;opacity:0;gap:1ch;padding-left:1.75em;font-size:clamp(.78rem,2cqw,.88rem)}.paw-progress.svelte-oc9bj2 span:where(.svelte-oc9bj2){width:2ch;font-family:var(--dx-emoji-text);opacity:.18;filter:grayscale()brightness(0)invert(82%);flex:0 0 2ch;font-weight:400;display:inline-block}.terminal-result.svelte-oc9bj2{opacity:0;border-top:1px solid #ffffff13;grid-template-columns:auto minmax(0,1fr);gap:14px;display:grid;transform:translateY(4px)}.terminal-result.svelte-oc9bj2>b:where(.svelte-oc9bj2){aspect-ratio:1;color:#83e6be;background:#31b9872e;border-radius:50%;place-items:center;width:34px;font-size:.9rem;font-weight:560;display:grid;box-shadow:inset 0 0 0 1px #83e6be45}.counterexample.svelte-oc9bj2 .terminal-result:where(.svelte-oc9bj2)>b:where(.svelte-oc9bj2){color:#ff9f98;background:#e8645a2b;font-size:1.15rem;box-shadow:inset 0 0 0 1px #ff9f9845}.terminal-result.svelte-oc9bj2>span:where(.svelte-oc9bj2){gap:4px;display:grid}.terminal-result.svelte-oc9bj2 small:where(.svelte-oc9bj2){color:#83e6be;letter-spacing:.08em;font-size:clamp(.75rem,2cqw,.86rem);font-weight:590}.counterexample.svelte-oc9bj2 .terminal-result:where(.svelte-oc9bj2) small:where(.svelte-oc9bj2){color:#ff9f98}.terminal-result.svelte-oc9bj2 strong:where(.svelte-oc9bj2){color:#ffffffe0;font-family:var(--dx-sans);font-size:clamp(.88rem,2.25cqw,1rem);font-weight:500}.product-boundary.svelte-oc9bj2{z-index:4;border:1px solid rgb(var(--dx-hero-accent-rgb) / .5);background:radial-gradient(circle at 32% 50%, rgb(var(--dx-hero-accent-rgb) / .16), transparent 47%), #071934f5;width:27%;height:13%;box-shadow:inset 0 0 30px rgb(var(--dx-hero-accent-rgb) / .06), 0 0 34px rgb(var(--pup-diagram-accent-rgb) / .09), 0 18px 40px #00071438;border-radius:999px;position:absolute;top:66%;left:7%}.product-boundary.svelte-oc9bj2:before{border:1px solid rgb(var(--dx-hero-accent-rgb) / .12);border-radius:inherit;content:"";position:absolute;inset:-7px}.boundary-activity.svelte-oc9bj2{z-index:2;opacity:0;pointer-events:none;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.boundary-activity.svelte-oc9bj2 rect:where(.svelte-oc9bj2){fill:none;stroke:var(--pup-diagram-accent);stroke-dasharray:32 90.832;stroke-dashoffset:-91.416px;stroke-linecap:round;stroke-width:1px;opacity:1;filter:drop-shadow(0 0 4px rgb(var(--pup-diagram-accent-rgb) / .88))}.product-boundary-label.svelte-oc9bj2{z-index:3;white-space:nowrap;align-items:center;gap:10px;display:flex;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.product-boundary-label.svelte-oc9bj2 .dx-product-icon{--dx-product-icon-frame-color:rgb(var(--pup-diagram-accent-rgb) / .7);background:rgb(var(--dx-hero-accent-rgb) / .12);color:var(--dx-hero-accent)}.product-boundary-copy.svelte-oc9bj2{grid-template-rows:minmax(0,1fr) auto;align-self:stretch;line-height:1;display:grid}.product-boundary-copy.svelte-oc9bj2>strong:where(.svelte-oc9bj2){font-family:var(--dx-display);letter-spacing:.075em;align-self:center;font-size:clamp(.95rem,2.5cqw,1.08rem);font-weight:620}.product-boundary-copy.svelte-oc9bj2>small:where(.svelte-oc9bj2){width:11ch;height:.66rem;font-family:var(--dx-mono);letter-spacing:.06em;font-size:clamp(.5rem,1.3cqw,.58rem);font-weight:520;display:block;position:relative}.product-boundary-copy.svelte-oc9bj2>small:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2){opacity:0;font-style:normal;position:absolute;inset:0 auto auto 0}.ready-status.svelte-oc9bj2{color:#fff6}.verifying-status.svelte-oc9bj2{color:rgb(var(--pup-diagram-accent-rgb) / .68);align-items:baseline;display:flex}.verifying-dots.svelte-oc9bj2{letter-spacing:0;opacity:1;grid-template-columns:repeat(3,1ch);width:3ch;display:inline-grid}.verifying-dots.svelte-oc9bj2 b:where(.svelte-oc9bj2){font-weight:inherit;opacity:0}.verified-status.svelte-oc9bj2{color:#75dcb8;font-weight:620}.problem-status.svelte-oc9bj2{color:#ff9f98;font-weight:620}.codebase-object.svelte-oc9bj2{-webkit-backdrop-filter:blur(11px);backdrop-filter:blur(11px);background:#071a33c7;width:47.5%;height:38%;top:55%;right:5%}.desktop-system.svelte-oc9bj2 .codebase-object:where(.svelte-oc9bj2){width:29%;left:5%;right:auto}.desktop-system.svelte-oc9bj2 .product-boundary:where(.svelte-oc9bj2){left:39%}.codebase-object.svelte-oc9bj2>header:where(.svelte-oc9bj2){z-index:3;height:19%;min-height:38px;color:var(--pup-machine-label);font-family:var(--dx-mono);letter-spacing:.08em;background:#ffffff08;border-bottom:1px solid #ffffff17;justify-content:space-between;align-items:center;padding-inline:6%;font-size:clamp(.74rem,1.95cqw,.84rem);font-weight:560;display:flex;position:relative}.codebase-object.svelte-oc9bj2>header:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2){border:1px solid var(--pup-machine-label);border-radius:50%;width:8px;height:8px}.file-field.svelte-oc9bj2{grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;display:grid;position:absolute;inset:27% 6% 8%}.code-file.svelte-oc9bj2{--active-file-delay:var(--desktop-file-delay);background:#ffffff0b;border:1px solid #ffffff1f;border-radius:6px;align-content:center;gap:5px;padding:13%;display:grid;position:relative;overflow:hidden;box-shadow:0 7px 14px #00071426}.desktop-system.svelte-oc9bj2 .code-file:where(.svelte-oc9bj2):after{z-index:2;border-radius:inherit;background:linear-gradient(90deg, rgb(var(--dx-hero-accent-rgb) / .27), rgb(var(--dx-hero-accent-rgb) / .16));box-shadow:inset 0 0 17px rgb(var(--pup-diagram-accent-rgb) / .2), 0 0 15px rgb(var(--pup-diagram-accent-rgb) / .13);clip-path:inset(0 100% 0 0);content:"";mix-blend-mode:screen;opacity:0;pointer-events:none;position:absolute;inset:0}.code-file.svelte-oc9bj2 i:where(.svelte-oc9bj2){z-index:1;width:var(--line-width);background:#ffffff2e;border-radius:2px;height:2px;position:relative}.code-file.svelte-oc9bj2 i:where(.svelte-oc9bj2):nth-of-type(2){background:rgb(var(--dx-hero-accent-rgb) / .52)}.file-scan.svelte-oc9bj2{z-index:3;background:var(--pup-diagram-accent);width:1px;box-shadow:0 0 7px 2px rgb(var(--pup-diagram-accent-rgb) / .28), 6px 0 12px rgb(var(--pup-diagram-accent-rgb) / .12);opacity:0;position:absolute;top:-25%;bottom:-25%;left:0}.system-scan.svelte-oc9bj2{z-index:4;background:linear-gradient(transparent, var(--pup-diagram-accent) 14% 86%, transparent);width:1px;box-shadow:0 0 18px 4px rgb(var(--pup-diagram-accent-rgb) / .2), 18px 0 32px rgb(var(--pup-diagram-accent-rgb) / .08);opacity:0;position:absolute;top:22%;bottom:6%;left:5%}.desktop-system.svelte-oc9bj2 .system-scan:where(.svelte-oc9bj2){display:none}.retro-system.svelte-oc9bj2{z-index:3;filter:drop-shadow(0 22px 25px #00051045);width:31.5%;height:42%;position:absolute;top:calc(52.5% + 19px);right:2.4%}.retro-computer.svelte-oc9bj2{width:100%;height:100%;overflow:visible}.retro-computer.svelte-oc9bj2 path:where(.svelte-oc9bj2),.retro-computer.svelte-oc9bj2 circle:where(.svelte-oc9bj2),.retro-computer.svelte-oc9bj2 rect:where(.svelte-oc9bj2){vector-effect:non-scaling-stroke}.monitor-top.svelte-oc9bj2,.monitor-side.svelte-oc9bj2,.monitor-face.svelte-oc9bj2,.screen-bezel.svelte-oc9bj2,.screen-glass.svelte-oc9bj2,.stand-neck.svelte-oc9bj2,.keyboard-bed.svelte-oc9bj2,.keyboard-edge.svelte-oc9bj2{stroke:rgb(var(--pup-diagram-accent-rgb) / .58);stroke-linejoin:round;stroke-width:1.1px}.monitor-top.svelte-oc9bj2{fill:var(--pup-machine-top)}.monitor-side.svelte-oc9bj2{fill:var(--pup-machine-side)}.monitor-face.svelte-oc9bj2{fill:var(--pup-machine-face)}.screen-bezel.svelte-oc9bj2{fill:var(--pup-machine-dark);stroke:rgb(var(--pup-diagram-accent-rgb) / .64)}.screen-glass.svelte-oc9bj2{fill:#020e1d;stroke:rgb(var(--pup-diagram-accent-rgb) / .72);transition:fill .25s}.screen-grid.svelte-oc9bj2{fill:none;stroke:rgb(var(--pup-diagram-accent-rgb) / .09);stroke-width:1px}.monitor-light.svelte-oc9bj2{fill:var(--pup-diagram-accent);filter:drop-shadow(0 0 4px rgb(var(--pup-diagram-accent-rgb) / .6))}.monitor-vent.svelte-oc9bj2{fill:none;stroke:rgb(var(--pup-diagram-accent-rgb) / .3);stroke-linecap:round;stroke-width:1px}.beacon-stem.svelte-oc9bj2,.beacon-glass.svelte-oc9bj2,.beacon-base.svelte-oc9bj2{stroke:rgb(var(--pup-diagram-accent-rgb) / .62);stroke-linejoin:round;stroke-width:1.1px}.beacon-stem.svelte-oc9bj2{fill:none;stroke-linecap:round;stroke-width:2px}.beacon-glass.svelte-oc9bj2{fill:rgb(var(--pup-diagram-accent-rgb) / .2);filter:drop-shadow(0 0 4px rgb(var(--pup-diagram-accent-rgb) / .3))}.beacon-base.svelte-oc9bj2{fill:var(--pup-machine-base)}.stand-neck.svelte-oc9bj2{fill:var(--pup-machine-side)}.keyboard-bed.svelte-oc9bj2{fill:var(--pup-machine-base)}.keyboard-edge.svelte-oc9bj2{fill:var(--pup-machine-dark)}.key-field.svelte-oc9bj2 rect:where(.svelte-oc9bj2){fill:color-mix(in srgb, #29476a 80%, var(--pup-diagram-accent));stroke:rgb(var(--pup-diagram-accent-rgb) / .5);stroke-width:.7px}.screen-result.svelte-oc9bj2{fill:none;stroke-linecap:round;stroke-linejoin:round;stroke-width:4px;opacity:0}.screen-verified.svelte-oc9bj2{stroke:#83e6be;filter:drop-shadow(0 0 6px #83e6be94)}.screen-problem.svelte-oc9bj2{stroke:#ff9f98;filter:drop-shadow(0 0 6px #ff9f9894)}.started.svelte-oc9bj2 .typed-command:where(.svelte-oc9bj2){animation:1.25s steps(9,end) .45s forwards svelte-oc9bj2-type-command}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .typed-command:where(.svelte-oc9bj2){animation:1.6s steps(24,end) .4s forwards svelte-oc9bj2-type-command-verified}.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .typed-command:where(.svelte-oc9bj2){animation:1.72s steps(26,end) .4s forwards svelte-oc9bj2-type-command-counterexample}.started.svelte-oc9bj2 .terminal-cursor:where(.svelte-oc9bj2){animation:2.2s step-end .2s forwards svelte-oc9bj2-cursor-visible,.7s step-end infinite svelte-oc9bj2-cursor-blink}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .terminal-cursor:where(.svelte-oc9bj2){animation:2.8s step-end .2s forwards svelte-oc9bj2-cursor-visible,.7s step-end infinite svelte-oc9bj2-cursor-blink}.started.svelte-oc9bj2 .paw-progress:where(.svelte-oc9bj2){animation:12s ease-in-out forwards svelte-oc9bj2-show-paws}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .paw-progress:where(.svelte-oc9bj2){animation:svelte-oc9bj2-show-system-status .284s 2.121s ease forwards, svelte-oc9bj2-hide-system-status .299s var(--desktop-paws-hide-start) ease forwards}.started.svelte-oc9bj2 .paw-progress:where(.svelte-oc9bj2) span:where(.svelte-oc9bj2){animation:1.8s step-end 2.1s infinite svelte-oc9bj2-paw-step}.started.svelte-oc9bj2 .paw-progress:where(.svelte-oc9bj2) span:where(.svelte-oc9bj2):nth-child(2){animation-delay:2.4s}.started.svelte-oc9bj2 .paw-progress:where(.svelte-oc9bj2) span:where(.svelte-oc9bj2):nth-child(3){animation-delay:2.7s}.started.svelte-oc9bj2 .return-route:where(.svelte-oc9bj2){animation:.8s 7.85s forwards svelte-oc9bj2-reveal-return-route}.started.svelte-oc9bj2 .system-scan:where(.svelte-oc9bj2){animation:12s ease-in-out forwards svelte-oc9bj2-scan-codebase}.started.svelte-oc9bj2 .code-file:where(.svelte-oc9bj2){animation:svelte-oc9bj2-inspect-file .58s var(--proof-file-delay) ease forwards}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .code-file:where(.svelte-oc9bj2){animation:none}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .code-file:where(.svelte-oc9bj2):after{animation:svelte-oc9bj2-reveal-file-glow var(--desktop-file-scan-duration) var(--active-file-delay) linear forwards, svelte-oc9bj2-clear-file-glow .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .file-scan:where(.svelte-oc9bj2){animation:svelte-oc9bj2-scan-file var(--desktop-file-scan-duration) var(--active-file-delay) linear forwards}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .code-file:where(.svelte-oc9bj2){animation:svelte-oc9bj2-verify-result-file .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-verified-result-file .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .code-file.problem-file:where(.svelte-oc9bj2){animation:svelte-oc9bj2-fail-result-file .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-problem-result-file .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .code-file:where(.svelte-oc9bj2):after{animation:svelte-oc9bj2-reveal-file-glow var(--desktop-file-scan-duration) var(--active-file-delay) linear forwards, svelte-oc9bj2-verify-result-file-glow .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-clear-file-glow .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .code-file.problem-file:where(.svelte-oc9bj2):after{animation:svelte-oc9bj2-reveal-file-glow var(--desktop-file-scan-duration) var(--active-file-delay) linear forwards, svelte-oc9bj2-fail-result-file-glow .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-clear-file-glow .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .code-file:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2):nth-of-type(2){animation:svelte-oc9bj2-verify-result-file-line .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-verified-result-file-line .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .code-file.problem-file:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2):nth-of-type(2){animation:svelte-oc9bj2-fail-result-file-line .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-problem-result-file-line .27s var(--desktop-reset-start) ease forwards}.proof-loop.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .codebase-object:where(.svelte-oc9bj2){animation:.55s 8.85s forwards svelte-oc9bj2-verify-codebase}.proof-loop.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .codebase-object:where(.svelte-oc9bj2){animation:.55s 8.85s forwards svelte-oc9bj2-fail-codebase}.proof-loop.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .code-file.problem-file:where(.svelte-oc9bj2){animation:svelte-oc9bj2-inspect-file .58s var(--proof-file-delay) ease forwards, svelte-oc9bj2-mark-problem-file .5s 8.85s ease forwards}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .screen-verified:where(.svelte-oc9bj2),.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .screen-problem:where(.svelte-oc9bj2){animation:svelte-oc9bj2-show-screen-result .42s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-hide-screen-result .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .screen-glass:where(.svelte-oc9bj2){animation:svelte-oc9bj2-verify-screen .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-verified-screen .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .screen-glass:where(.svelte-oc9bj2){animation:svelte-oc9bj2-fail-screen .45s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-problem-screen .27s var(--desktop-reset-start) ease forwards}.started.svelte-oc9bj2 .verifying-status:where(.svelte-oc9bj2){animation:12s ease-in-out forwards svelte-oc9bj2-show-verifying}.started.verified.svelte-oc9bj2 .verified-status:where(.svelte-oc9bj2),.started.counterexample.svelte-oc9bj2 .problem-status:where(.svelte-oc9bj2){animation:12s ease-in-out forwards svelte-oc9bj2-show-final-status}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .ready-status:where(.svelte-oc9bj2){animation:14.94s linear forwards svelte-oc9bj2-show-ready-status-system}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .verifying-status:where(.svelte-oc9bj2){animation:svelte-oc9bj2-show-system-status .135s 2.196s ease forwards, svelte-oc9bj2-hide-system-status .135s var(--desktop-status-change-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .verified-status:where(.svelte-oc9bj2),.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .problem-status:where(.svelte-oc9bj2){animation:svelte-oc9bj2-show-system-status .135s var(--desktop-status-change-start) ease forwards, svelte-oc9bj2-hide-system-status .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .product-boundary:where(.svelte-oc9bj2){animation:svelte-oc9bj2-emphasize-product-boundary var(--desktop-boundary-emphasis-reveal-duration) var(--desktop-boundary-reveal-start) linear forwards, svelte-oc9bj2-deemphasize-product-boundary var(--desktop-boundary-emphasis-fade-duration) var(--desktop-boundary-emphasis-fade-start) linear forwards}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .boundary-activity:where(.svelte-oc9bj2) rect:where(.svelte-oc9bj2){animation:svelte-oc9bj2-travel-boundary-activity var(--desktop-boundary-travel-cycle) var(--desktop-boundary-start) linear infinite}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .boundary-activity:where(.svelte-oc9bj2){animation:svelte-oc9bj2-reveal-boundary-activity var(--desktop-boundary-reveal-duration) var(--desktop-boundary-reveal-start) linear forwards, svelte-oc9bj2-hide-boundary-activity var(--desktop-boundary-fade-duration) var(--desktop-boundary-fade-start) linear forwards}.proof-loop.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .boundary-activity:where(.svelte-oc9bj2) rect:where(.svelte-oc9bj2){animation:1.932s linear 4.1s infinite svelte-oc9bj2-travel-boundary-activity}.proof-loop.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .boundary-activity:where(.svelte-oc9bj2){animation:12s linear forwards svelte-oc9bj2-show-boundary-activity-proof-loop}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .verifying-dots:where(.svelte-oc9bj2) b:where(.svelte-oc9bj2):first-child{animation:.9s step-end 2.2s infinite svelte-oc9bj2-accumulate-first-dot}.proof-loop.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .verifying-dots:where(.svelte-oc9bj2) b:where(.svelte-oc9bj2):first-child{animation:.9s step-end 1.45s infinite svelte-oc9bj2-accumulate-first-dot}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .verifying-dots:where(.svelte-oc9bj2) b:where(.svelte-oc9bj2):nth-child(2){animation:.9s step-end 2.2s infinite svelte-oc9bj2-accumulate-second-dot}.proof-loop.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .verifying-dots:where(.svelte-oc9bj2) b:where(.svelte-oc9bj2):nth-child(2){animation:.9s step-end 1.45s infinite svelte-oc9bj2-accumulate-second-dot}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .verifying-dots:where(.svelte-oc9bj2) b:where(.svelte-oc9bj2):nth-child(3){animation:.9s step-end 2.2s infinite svelte-oc9bj2-accumulate-third-dot}.proof-loop.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .verifying-dots:where(.svelte-oc9bj2) b:where(.svelte-oc9bj2):nth-child(3){animation:.9s step-end 1.45s infinite svelte-oc9bj2-accumulate-third-dot}.desktop-system.svelte-oc9bj2 .started.verified:where(.svelte-oc9bj2) .beacon-glass:where(.svelte-oc9bj2){animation:svelte-oc9bj2-verify-beacon .35s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-verified-beacon .27s var(--desktop-reset-start) ease forwards}.desktop-system.svelte-oc9bj2 .started.counterexample:where(.svelte-oc9bj2) .beacon-glass:where(.svelte-oc9bj2){animation:svelte-oc9bj2-fail-beacon .35s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-reset-problem-beacon .27s var(--desktop-reset-start) ease forwards}.started.svelte-oc9bj2 .terminal-result:where(.svelte-oc9bj2){animation:.55s 9.15s forwards svelte-oc9bj2-show-terminal-result}.desktop-system.svelte-oc9bj2 .started:where(.svelte-oc9bj2) .terminal-result:where(.svelte-oc9bj2){animation:svelte-oc9bj2-show-terminal-result .42s var(--desktop-outbound-arrival) ease forwards, svelte-oc9bj2-hide-terminal-result .27s var(--desktop-reset-start) ease forwards}@keyframes svelte-oc9bj2-type-command{to{width:9ch}}@keyframes svelte-oc9bj2-type-command-verified{to{width:24ch}}@keyframes svelte-oc9bj2-type-command-counterexample{to{width:26ch}}@keyframes svelte-oc9bj2-cursor-visible{0%,74%{opacity:1}75%,to{opacity:0}}@keyframes svelte-oc9bj2-cursor-blink{0%,48%{filter:opacity()}49%,to{filter:opacity(0)}}@keyframes svelte-oc9bj2-show-paws{0%,16%,74%,to{opacity:0}20%,68%{opacity:1}}@keyframes svelte-oc9bj2-paw-step{0%,20%,to{opacity:.18}21%,68%{opacity:.9}}@keyframes svelte-oc9bj2-reveal-return-route{to{stroke-dashoffset:0;opacity:1}}@keyframes svelte-oc9bj2-scan-codebase{0%,41%{opacity:0;left:5%}45%{opacity:1}65%{opacity:1;left:95%}69%,to{opacity:0;left:95%}}@keyframes svelte-oc9bj2-scan-file{0%{opacity:0;left:0}14%,96%{opacity:.92}to{opacity:0;left:100%}}@keyframes svelte-oc9bj2-reveal-file-glow{0%{clip-path:inset(0 100% 0 0);opacity:1}to{clip-path:inset(0);opacity:1}}@keyframes svelte-oc9bj2-clear-file-glow{0%{opacity:1}to{opacity:0}}@keyframes svelte-oc9bj2-verify-result-file{to{background:#31b98721;border-color:#83e6bead;box-shadow:0 0 18px #31b98726}}@keyframes svelte-oc9bj2-fail-result-file{to{background:#e8645a24;border-color:#ff9f98b8;box-shadow:0 0 18px #e8645a29}}@keyframes svelte-oc9bj2-reset-verified-result-file{0%{background:#31b98721;border-color:#83e6bead;box-shadow:0 0 18px #31b98726}to{background:#ffffff0b;border-color:#ffffff1f;box-shadow:0 7px 14px #00071426}}@keyframes svelte-oc9bj2-reset-problem-result-file{0%{background:#e8645a24;border-color:#ff9f98b8;box-shadow:0 0 18px #e8645a29}to{background:#ffffff0b;border-color:#ffffff1f;box-shadow:0 7px 14px #00071426}}@keyframes svelte-oc9bj2-verify-result-file-glow{to{background:linear-gradient(90deg,#83e6be4d,#31b9872e);box-shadow:inset 0 0 17px #31b98738,0 0 15px #31b98729}}@keyframes svelte-oc9bj2-fail-result-file-glow{to{background:linear-gradient(90deg,#ff9f984d,#e8645a2e);box-shadow:inset 0 0 17px #e8645a38,0 0 15px #e8645a29}}@keyframes svelte-oc9bj2-verify-result-file-line{to{background:#83e6bee0;box-shadow:0 0 7px #31b98747}}@keyframes svelte-oc9bj2-fail-result-file-line{to{background:#ff9f98e6;box-shadow:0 0 7px #e8645a4d}}@keyframes svelte-oc9bj2-reset-verified-result-file-line{0%{background:#83e6bee0;box-shadow:0 0 7px #31b98747}to{background:rgb(var(--dx-hero-accent-rgb) / .52);box-shadow:none}}@keyframes svelte-oc9bj2-reset-problem-result-file-line{0%{background:#ff9f98e6;box-shadow:0 0 7px #e8645a4d}to{background:rgb(var(--dx-hero-accent-rgb) / .52);box-shadow:none}}@keyframes svelte-oc9bj2-show-screen-result{0%{opacity:0;transform:translateY(2px)}to{opacity:1;transform:translateY(0)}}@keyframes svelte-oc9bj2-hide-screen-result{0%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(-1px)}}@keyframes svelte-oc9bj2-verify-screen{to{fill:#114542;stroke:#83e6bec7}}@keyframes svelte-oc9bj2-fail-screen{to{fill:#452634;stroke:#ff9f98c7}}@keyframes svelte-oc9bj2-reset-verified-screen{0%{fill:#114542;stroke:#83e6bec7}to{fill:#020e1d;stroke:rgb(var(--pup-diagram-accent-rgb) / .72)}}@keyframes svelte-oc9bj2-reset-problem-screen{0%{fill:#452634;stroke:#ff9f98c7}to{fill:#020e1d;stroke:rgb(var(--pup-diagram-accent-rgb) / .72)}}@keyframes svelte-oc9bj2-verify-beacon{0%{fill:rgb(var(--pup-diagram-accent-rgb) / .2);stroke:rgb(var(--pup-diagram-accent-rgb) / .62);filter:drop-shadow(0 0 4px rgb(var(--pup-diagram-accent-rgb) / .3))}to{fill:#83e6beb3;stroke:#a8f5d7eb;filter:drop-shadow(0 0 8px #83e6bed1)}}@keyframes svelte-oc9bj2-fail-beacon{0%{fill:rgb(var(--pup-diagram-accent-rgb) / .2);stroke:rgb(var(--pup-diagram-accent-rgb) / .62);filter:drop-shadow(0 0 4px rgb(var(--pup-diagram-accent-rgb) / .3))}to{fill:#ff9f98ad;stroke:#ffc0bbeb;filter:drop-shadow(0 0 8px #ff9f98cc)}}@keyframes svelte-oc9bj2-reset-verified-beacon{0%{fill:#83e6beb3;stroke:#a8f5d7eb;filter:drop-shadow(0 0 8px #83e6bed1)}to{fill:rgb(var(--pup-diagram-accent-rgb) / .2);stroke:rgb(var(--pup-diagram-accent-rgb) / .62);filter:drop-shadow(0 0 4px rgb(var(--pup-diagram-accent-rgb) / .3))}}@keyframes svelte-oc9bj2-reset-problem-beacon{0%{fill:#ff9f98ad;stroke:#ffc0bbeb;filter:drop-shadow(0 0 8px #ff9f98cc)}to{fill:rgb(var(--pup-diagram-accent-rgb) / .2);stroke:rgb(var(--pup-diagram-accent-rgb) / .62);filter:drop-shadow(0 0 4px rgb(var(--pup-diagram-accent-rgb) / .3))}}@keyframes svelte-oc9bj2-inspect-file{50%{border-color:rgb(var(--dx-hero-accent-rgb) / .58);background:rgb(var(--dx-hero-accent-rgb) / .1);box-shadow:0 0 18px rgb(var(--dx-hero-accent-rgb) / .11)}to{border-color:rgb(var(--dx-hero-accent-rgb) / .25);background:rgb(var(--dx-hero-accent-rgb) / .065)}}@keyframes svelte-oc9bj2-verify-codebase{to{border-color:#52d3a57a;box-shadow:0 22px 48px #00051052,0 0 30px #31b98712}}@keyframes svelte-oc9bj2-fail-codebase{to{border-color:#ff898075;box-shadow:0 22px 48px #00051052,0 0 30px #e8645a12}}@keyframes svelte-oc9bj2-mark-problem-file{to{background:#e8645a24;border-color:#ff8980b8;box-shadow:0 0 18px #e8645a1f}}@keyframes svelte-oc9bj2-show-verifying{0%,6%,73%,to{opacity:0}12%,69%{opacity:1}}@keyframes svelte-oc9bj2-show-final-status{0%,73%,to{opacity:0}78%,94%{opacity:1}}@keyframes svelte-oc9bj2-show-ready-status-system{0%,14.7%{opacity:1}15.6%,to{opacity:0}}@keyframes svelte-oc9bj2-show-system-status{0%{opacity:0}to{opacity:1}}@keyframes svelte-oc9bj2-hide-system-status{0%{opacity:1}to{opacity:0}}@keyframes svelte-oc9bj2-show-verifying-system{0%,14.7%,76.8%,to{opacity:0}15.6%,75.9%{opacity:1}}@keyframes svelte-oc9bj2-show-final-status-system{0%,75.9%,99.2%,to{opacity:0}76.8%,97.4%{opacity:1}}@keyframes svelte-oc9bj2-accumulate-first-dot{0%,to{opacity:1}}@keyframes svelte-oc9bj2-accumulate-second-dot{0%,32%{opacity:0}33%,to{opacity:1}}@keyframes svelte-oc9bj2-accumulate-third-dot{0%,65%{opacity:0}66%,to{opacity:1}}@keyframes svelte-oc9bj2-reveal-boundary-activity{to{opacity:.96}}@keyframes svelte-oc9bj2-hide-boundary-activity{0%{opacity:.96}to{opacity:0}}@keyframes svelte-oc9bj2-show-boundary-activity-proof-loop{0%,34%,73%,to{opacity:0}35%,69%{opacity:.96}}@keyframes svelte-oc9bj2-travel-boundary-activity{0%{stroke-dashoffset:-91.416px}10.921%{stroke-dashoffset:-122.832px}39.079%{stroke-dashoffset:-182.832px}60.921%{stroke-dashoffset:-245.664px}89.079%{stroke-dashoffset:-305.664px}to{stroke-dashoffset:-337.08px}}@keyframes svelte-oc9bj2-emphasize-product-boundary{to{border-color:rgb(var(--pup-diagram-accent-rgb) / .82);box-shadow:inset 0 0 34px rgb(var(--dx-hero-accent-rgb) / .16), 0 0 45px 10px rgb(var(--pup-diagram-accent-rgb) / .2), 0 18px 40px #00071438}}@keyframes svelte-oc9bj2-deemphasize-product-boundary{0%{border-color:rgb(var(--pup-diagram-accent-rgb) / .82);box-shadow:inset 0 0 34px rgb(var(--dx-hero-accent-rgb) / .16), 0 0 45px 10px rgb(var(--pup-diagram-accent-rgb) / .2), 0 18px 40px #00071438}to{border-color:rgb(var(--dx-hero-accent-rgb) / .5);box-shadow:inset 0 0 30px rgb(var(--dx-hero-accent-rgb) / .06), 0 0 34px rgb(var(--pup-diagram-accent-rgb) / .09), 0 18px 40px #00071438}}@keyframes svelte-oc9bj2-show-terminal-result{to{opacity:1;transform:translateY(0)}}@keyframes svelte-oc9bj2-hide-terminal-result{0%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(-2px)}}@media (width<=860px){.terminal-codebase-study.svelte-oc9bj2{justify-self:center;width:min(100%,700px)}}@container (width<=520px){.terminal-result.svelte-oc9bj2{gap:10px}.terminal-result.svelte-oc9bj2>b:where(.svelte-oc9bj2){width:30px}.terminal-result.svelte-oc9bj2 small:where(.svelte-oc9bj2){font-size:.7rem}.terminal-result.svelte-oc9bj2 strong:where(.svelte-oc9bj2){font-size:.78rem}.codebase-object.svelte-oc9bj2>header:where(.svelte-oc9bj2){font-size:.72rem}}@media (width<=520px){.terminal-codebase-study.svelte-oc9bj2{aspect-ratio:.86}.terminal-window.svelte-oc9bj2{height:calc(39% + 19px)}.product-boundary.svelte-oc9bj2{width:31%;left:5%}.product-boundary.svelte-oc9bj2:before{inset:-4px}.codebase-object.svelte-oc9bj2{width:53%;right:4%}.desktop-system.svelte-oc9bj2 .codebase-object:where(.svelte-oc9bj2){width:30.5%;left:3.5%;right:auto}.desktop-system.svelte-oc9bj2 .product-boundary:where(.svelte-oc9bj2){width:33%;height:14%;top:65.5%;left:calc(37.5% - 2px)}.desktop-system.svelte-oc9bj2 .product-boundary-label:where(.svelte-oc9bj2){gap:8px}.desktop-system.svelte-oc9bj2 .product-boundary-label:where(.svelte-oc9bj2) .dx-product-icon{--dx-product-icon-rendered-size:32px}.desktop-system.svelte-oc9bj2 .product-boundary-copy:where(.svelte-oc9bj2)>small:where(.svelte-oc9bj2){width:9.75ch}.desktop-system.svelte-oc9bj2 .verifying-dots:where(.svelte-oc9bj2){display:none}.retro-system.svelte-oc9bj2{width:31.5%;height:39%;top:calc(54% + 19px);right:0}.desktop-system.svelte-oc9bj2 .codebase-object:where(.svelte-oc9bj2)>header:where(.svelte-oc9bj2){min-height:33px;padding-inline:8%;font-size:.63rem}.desktop-system.svelte-oc9bj2 .file-field:where(.svelte-oc9bj2){grid-template-columns:repeat(2,minmax(0,1fr));gap:4px;inset-inline:8%}.desktop-system.svelte-oc9bj2 .code-file:where(.svelte-oc9bj2){--active-file-delay:var(--mobile-file-delay)}.desktop-system.svelte-oc9bj2 .code-file:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2):first-of-type{transform:translateY(1px)}.desktop-system.svelte-oc9bj2 .code-file:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2):last-of-type{transform:translateY(-1px)}.desktop-system.svelte-oc9bj2 .code-file:where(.svelte-oc9bj2):last-child{display:none}.file-field.svelte-oc9bj2{gap:5px}.code-file.svelte-oc9bj2{padding:10%}}@media (prefers-reduced-motion:reduce){.flow-dot.svelte-oc9bj2{display:none}.typed-command.svelte-oc9bj2,.terminal-cursor.svelte-oc9bj2,.paw-progress.svelte-oc9bj2,.paw-progress.svelte-oc9bj2 span:where(.svelte-oc9bj2),.return-route.svelte-oc9bj2,.system-scan.svelte-oc9bj2,.code-file.svelte-oc9bj2,.code-file.svelte-oc9bj2:after,.codebase-object.svelte-oc9bj2,.product-boundary.svelte-oc9bj2,.boundary-activity.svelte-oc9bj2,.boundary-activity.svelte-oc9bj2 rect:where(.svelte-oc9bj2),.ready-status.svelte-oc9bj2,.verifying-status.svelte-oc9bj2,.verifying-dots.svelte-oc9bj2,.verifying-dots.svelte-oc9bj2 b:where(.svelte-oc9bj2),.verified-status.svelte-oc9bj2,.problem-status.svelte-oc9bj2,.terminal-result.svelte-oc9bj2,.beacon-glass.svelte-oc9bj2,.file-scan.svelte-oc9bj2,.screen-result.svelte-oc9bj2,.screen-glass.svelte-oc9bj2{animation:none!important}.typed-command.svelte-oc9bj2{width:9ch}.desktop-system.svelte-oc9bj2 .typed-command:where(.svelte-oc9bj2){width:24ch}.terminal-cursor.svelte-oc9bj2,.paw-progress.svelte-oc9bj2,.ready-status.svelte-oc9bj2,.verifying-status.svelte-oc9bj2,.problem-status.svelte-oc9bj2{display:none}.return-route.svelte-oc9bj2{stroke-dashoffset:0;opacity:1}.system-scan.svelte-oc9bj2{opacity:.35;left:95%}.code-file.svelte-oc9bj2{border-color:rgb(var(--dx-hero-accent-rgb) / .25);background:rgb(var(--dx-hero-accent-rgb) / .065)}.desktop-system.svelte-oc9bj2 .verified:where(.svelte-oc9bj2) .code-file:where(.svelte-oc9bj2){background:#31b98721;border-color:#83e6bead;box-shadow:0 0 18px #31b98726}.desktop-system.svelte-oc9bj2 .verified:where(.svelte-oc9bj2) .code-file:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2):nth-of-type(2){background:#83e6bee0}.desktop-system.svelte-oc9bj2 .counterexample:where(.svelte-oc9bj2) .code-file.problem-file:where(.svelte-oc9bj2){background:#e8645a24;border-color:#ff9f98b8;box-shadow:0 0 18px #e8645a29}.desktop-system.svelte-oc9bj2 .counterexample:where(.svelte-oc9bj2) .code-file.problem-file:where(.svelte-oc9bj2) i:where(.svelte-oc9bj2):nth-of-type(2){background:#ff9f98e6}.proof-loop.svelte-oc9bj2 .codebase-object:where(.svelte-oc9bj2){border-color:#52d3a57a}.desktop-system.svelte-oc9bj2 .codebase-object:where(.svelte-oc9bj2){border-color:rgb(var(--dx-hero-accent-rgb) / .34)}.desktop-system.svelte-oc9bj2 .screen-glass:where(.svelte-oc9bj2){fill:#114542;stroke:#83e6bec7}.desktop-system.svelte-oc9bj2 .screen-verified:where(.svelte-oc9bj2){opacity:1}.desktop-system.svelte-oc9bj2 .beacon-glass:where(.svelte-oc9bj2){fill:#83e6beb3;stroke:#a8f5d7eb;filter:drop-shadow(0 0 8px #83e6bed1)}.product-boundary-copy.svelte-oc9bj2>small:where(.svelte-oc9bj2) .verified-status:where(.svelte-oc9bj2),.terminal-result.svelte-oc9bj2{opacity:1;display:grid;transform:none}}.product-demo-section.svelte-kzqha2{z-index:1;padding-top:var(--dx-space-section);position:relative}.demo-heading.svelte-kzqha2{grid-template-columns:minmax(0,1fr) minmax(280px,.42fr);align-items:end;gap:55px;display:grid}.demo-heading.svelte-kzqha2>p:where(.svelte-kzqha2){max-width:510px;color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:0 0 5px;line-height:1.7}.demo-heading.centered.svelte-kzqha2{text-align:center;grid-template-columns:minmax(0,1fr);justify-items:center;gap:30px}.demo-heading.centered.svelte-kzqha2 .dx-section-heading{text-align:center}.demo-heading.centered.svelte-kzqha2>p:where(.svelte-kzqha2){text-wrap:balance;max-width:800px;margin:0}.demo-heading.centered.svelte-kzqha2+.demo-stage:where(.svelte-kzqha2){margin-top:clamp(32px,3.5vw,44px)}.heading-accent.svelte-kzqha2{color:var(--dx-accent)}.heading-accent.typewriter-accent.svelte-kzqha2{display:inline-block;position:relative}.typewriter-reserve.svelte-kzqha2{color:inherit}.typewriter-ready.svelte-kzqha2 .typewriter-reserve:where(.svelte-kzqha2){visibility:hidden}.typed-accent.svelte-kzqha2{color:var(--dx-accent);white-space:nowrap;position:absolute;top:0;left:0}.heading-accent-lead.svelte-kzqha2+.heading-accent:where(.svelte-kzqha2){margin-left:.13em}.demo-stage.svelte-kzqha2{margin-top:var(--dx-space-content-gap)}@media (prefers-reduced-motion:reduce){.typewriter-ready.svelte-kzqha2 .typewriter-reserve:where(.svelte-kzqha2){visibility:visible}.typewriter-ready.svelte-kzqha2 .typed-accent:where(.svelte-kzqha2){display:none}}@media (width<=900px){.demo-heading.svelte-kzqha2{grid-template-columns:1fr;gap:25px}.demo-heading.svelte-kzqha2>p:where(.svelte-kzqha2){max-width:600px;margin-bottom:0}.demo-heading.centered.svelte-kzqha2>p:where(.svelte-kzqha2){max-width:620px}}@media (width<=720px){.product-demo-section.svelte-kzqha2{padding-top:var(--dx-space-section)}.demo-stage.svelte-kzqha2{margin-top:38px}}.pup-terminal-section.svelte-1m4efrf{z-index:2;padding-block:var(--dx-space-section-feature);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:10px}.terminal-brand.svelte-1m4efrf .dx-product-icon{--dx-product-icon-frame-color:var(--dx-pup-accent);--dx-product-icon-stroke-width:1.3px;color:var(--dx-pup-accent)}.terminal-brand.svelte-1m4efrf strong:where(.svelte-1m4efrf){color:var(--dx-pup-accent);font-family:var(--dx-display);letter-spacing:-.04em;font-size:1.5rem;font-weight:540;line-height:.9}.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{border-color:rgb(var(--dx-accent-rgb) / .3);background:var(--dx-accent-soft);color:var(--dx-accent)}.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{--terminal-padding:clamp(20px, 3vw, 36px);min-height:600px;padding:var(--terminal-padding);color:#f3f5fa;font-family:monospace;font-size:var(--dx-type-body-small-size);-webkit-user-select:text;user-select:text;background:#081b31;line-height:1.7}.terminal-session.svelte-1m4efrf{animation:.18s ease-out both svelte-1m4efrf-session-arrive}.command-line.svelte-1m4efrf{overflow-wrap:anywhere;color:#f6f0e8;align-items:flex-start;gap:1ch;min-height:1lh;font-weight:400}.command-text.svelte-1m4efrf{white-space:pre-wrap}.prompt.svelte-1m4efrf{color:#e6ae3e;font-weight:700}.executable.svelte-1m4efrf{color:#9aaef0}.argument.svelte-1m4efrf{color:#9fbe78}.flag.svelte-1m4efrf{color:#fa9278}.cursor.svelte-1m4efrf{background:#e8edf4db;flex:0 0 .62em;width:.62em;height:1.15em;animation:.85s step-end infinite svelte-1m4efrf-cursor-blink}.terminal-window.paused.svelte-1m4efrf .cursor:where(.svelte-1m4efrf){animation-play-state:paused}.command-line.svelte-1m4efrf kbd:where(.svelte-1m4efrf),.answer-enter.svelte-1m4efrf{color:#e8edf461;font-family:inherit;font-size:inherit;margin-left:2px;font-weight:400}.terminal-output.svelte-1m4efrf{overflow-wrap:anywhere;margin-top:1lh;padding-left:2ch;display:grid}.terminal-output.svelte-1m4efrf p:where(.svelte-1m4efrf){margin:0}.terminal-output.svelte-1m4efrf strong:where(.svelte-1m4efrf){color:#f3f5fa;font-weight:700}.terminal-output.svelte-1m4efrf .muted:where(.svelte-1m4efrf){color:#b0b6c5}.check-heading.svelte-1m4efrf>span:where(.svelte-1m4efrf):first-child{white-space:nowrap}.status-checking.svelte-1m4efrf{color:#d1b1f5;font-weight:400}.activity.svelte-1m4efrf,.activity.svelte-1m4efrf b:where(.svelte-1m4efrf){color:#84dde0}.activity-dots.svelte-1m4efrf{white-space:pre;width:3ch;display:inline-block}.status-failed.svelte-1m4efrf{color:#f3a1a1}.status-passed.svelte-1m4efrf{color:#95d4ad}.terminal-checkmark.svelte-1m4efrf{vertical-align:-.12em;width:1ch;height:1em;display:inline-block;position:relative}.terminal-checkmark.svelte-1m4efrf svg:where(.svelte-1m4efrf){fill:none;stroke:currentColor;stroke-width:2.2px;stroke-linecap:round;stroke-linejoin:round;width:1em;max-width:none;height:1em;position:absolute;top:0;left:50%;transform:translate(-50%)}.accent.svelte-1m4efrf,.terminal-hint.svelte-1m4efrf{color:#d1b1f5}.next-command.svelte-1m4efrf .accent:where(.svelte-1m4efrf),.check-panel.svelte-1m4efrf .accent:where(.svelte-1m4efrf),.answer-text.svelte-1m4efrf{font-weight:700}.prompt-choice.svelte-1m4efrf{white-space:nowrap}.check-panel.svelte-1m4efrf{margin-block:1lh;background:#343b52;gap:1lh;margin-left:-1ch;padding:1.7em 2ch;display:grid}.counterexample.svelte-1m4efrf{display:grid}.counterexample.svelte-1m4efrf p:where(.svelte-1m4efrf){white-space:pre-wrap}.diff-block.svelte-1m4efrf{min-width:0;margin-top:1lh;margin-left:calc(-1 * var(--terminal-padding) - 2ch);margin-right:calc(-1 * var(--terminal-padding));display:grid;overflow-x:auto}.diff-block.svelte-1m4efrf p:where(.svelte-1m4efrf){min-width:max-content;padding-left:calc(var(--terminal-padding) + 2ch);padding-right:var(--terminal-padding);white-space:pre}.diff-block.svelte-1m4efrf .removed:where(.svelte-1m4efrf){color:#f6b2b2;background:#482a2b}.diff-block.svelte-1m4efrf .added:where(.svelte-1m4efrf){color:#addeb7;background:#243c2d}.removed.svelte-1m4efrf .diff-marker:where(.svelte-1m4efrf){color:#f3a1a1}.added.svelte-1m4efrf .diff-marker:where(.svelte-1m4efrf){color:#95d4ad}.prompt-answer.svelte-1m4efrf,.fix-result.svelte-1m4efrf,.next-command.svelte-1m4efrf,.recheck-result.svelte-1m4efrf,.check-history.svelte-1m4efrf{margin-top:1lh!important}.history-row.svelte-1m4efrf{white-space:pre-wrap}.selected-attempt.svelte-1m4efrf{background:#49426b;padding-left:1ch;font-weight:700;margin-left:-1ch!important}.screen-reader-summary.svelte-1m4efrf,.checkmark-text.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}}@media (width>=1121px){.terminal-intro.svelte-1m4efrf{margin-bottom:clamp(24px,3.5svh,36px)}}@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:var(--dx-space-section-feature)}.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:840px;font-size:var(--dx-type-caption-size)}}@media (prefers-reduced-motion:reduce){.terminal-session.svelte-1m4efrf,.cursor.svelte-1m4efrf{animation:none!important}.progress-controls.svelte-1m4efrf button:where(.svelte-1m4efrf) i:where(.svelte-1m4efrf){transform:scaleX(1)!important}}.evidence-banner.svelte-1cb9jv3{--before-height:360px;--after-height:calc(var(--before-height) * .496);--retained-height:calc(var(--before-height) * .10366 - 3px);--diff-card-duration:.42s;--diff-card-stagger:.1s;--diff-connector-start:calc(var(--diff-card-duration) + var(--diff-card-stagger) + var(--diff-card-stagger) + var(--diff-card-stagger));--diff-connector-merge-duration:.48s;--diff-connector-exit-start:calc(var(--diff-connector-start) + var(--diff-connector-merge-duration));--diff-connector-exit-duration:.18s;--diff-arrowhead-start:calc(var(--diff-connector-exit-start) + var(--diff-connector-exit-duration));--diff-arrowhead-duration:.16s;--diff-after-pause:.18s;--comparison-arrow-gap:14px;--reduction-measure-duration:.2s;--structure-long-bar-duration:1s;--diff-after-start:calc(var(--diff-arrowhead-start) + var(--diff-arrowhead-duration) + var(--diff-after-pause));--diff-result-start:calc(var(--diff-after-start) + var(--diff-card-stagger) + var(--diff-card-duration));width:100%;color:var(--dx-navy);background:#fffffff5;position:relative;overflow:hidden}.evidence-shell.svelte-1cb9jv3{box-sizing:border-box;width:min(100%, calc(var(--dx-width) + var(--dx-gutter) * 2));padding:calc(clamp(88px, 9vw, 130px) * .75) var(--dx-gutter) calc(clamp(82px, 8vw, 116px) * .75);margin-inline:auto}.evidence-heading.svelte-1cb9jv3{grid-template-columns:minmax(0,1fr) minmax(310px,.42fr);align-items:end;gap:clamp(45px,8vw,120px);display:grid}.evidence-heading.svelte-1cb9jv3 .dx-eyebrow:where(.svelte-1cb9jv3){color:var(--dx-accent)}.evidence-heading.svelte-1cb9jv3 h2:where(.svelte-1cb9jv3){max-width:920px;font-family:var(--dx-display);letter-spacing:var(--dx-stat-tracking);margin:23px 0 0;font-size:clamp(3.25rem,5.7vw,5.9rem);font-weight:520;line-height:.92}.evidence-heading.svelte-1cb9jv3>p:where(.svelte-1cb9jv3){max-width:560px;color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:0 0 6px;line-height:1.7}.evidence-banner--4.svelte-1cb9jv3 .evidence-heading:where(.svelte-1cb9jv3){grid-template-columns:1fr}.evidence-banner--4.svelte-1cb9jv3 .evidence-heading:where(.svelte-1cb9jv3) h2:where(.svelte-1cb9jv3){white-space:nowrap;max-width:none;margin-top:29px;font-size:clamp(3.25rem,4.7vw,5.25rem)}.primary-evidence.svelte-1cb9jv3{border-block:1px solid var(--dx-line);grid-template-columns:minmax(330px,.6fr) minmax(560px,1.4fr);align-items:stretch;margin-top:clamp(66px,8vw,104px);display:grid}.headline-result.svelte-1cb9jv3{border-right:1px solid var(--dx-line);align-content:center;padding:clamp(45px,6vw,75px) clamp(36px,5vw,70px) clamp(45px,6vw,75px) 0;display:grid}.headline-result.svelte-1cb9jv3 strong:where(.svelte-1cb9jv3){color:var(--dx-accent);font-family:var(--dx-display);letter-spacing:-.055em;font-size:clamp(5.2rem,9vw,9.4rem);font-weight:500;line-height:.76}.headline-result.svelte-1cb9jv3 span:where(.svelte-1cb9jv3){max-width:300px;color:var(--dx-ink-muted);font-size:var(--dx-type-caption-size);margin-top:30px;line-height:1.45}.diff-evidence.svelte-1cb9jv3{min-width:0;padding:clamp(44px,5vw,66px) 0 clamp(44px,5vw,66px) clamp(38px,5vw,70px)}.file-comparison.svelte-1cb9jv3{min-height:calc(var(--before-height) + 39px);grid-template-columns:minmax(190px,1fr) clamp(58px,6vw,90px) minmax(170px,.82fr);align-items:start;display:grid}.file-column.svelte-1cb9jv3{min-width:0}.file-caption.svelte-1cb9jv3{min-height:31px;color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:var(--dx-type-ui-label-size);letter-spacing:.035em;text-transform:uppercase;border-bottom:1px solid #061a3329;justify-content:space-between;align-items:center;gap:14px;display:flex}.file-caption.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){white-space:nowrap;align-items:center;gap:8px;display:flex}.file-caption.svelte-1cb9jv3 span:where(.svelte-1cb9jv3)>i:where(.svelte-1cb9jv3){border:1px solid #061a3373;border-radius:2px;width:7px;height:7px}.after-file.svelte-1cb9jv3 .file-caption:where(.svelte-1cb9jv3) span:where(.svelte-1cb9jv3)>i:where(.svelte-1cb9jv3){background:#42a77a1f;border-color:#1d7a58a6}.file-caption.svelte-1cb9jv3 strong:where(.svelte-1cb9jv3){color:var(--dx-navy);font-size:inherit;white-space:nowrap;font-weight:520}.file-body.svelte-1cb9jv3{box-sizing:border-box;gap:7px;padding-top:8px;display:grid;position:relative;overflow:hidden}.before-body.svelte-1cb9jv3{height:var(--before-height);grid-template-rows:1fr .88fr .34fr 1.06fr}.after-body.svelte-1cb9jv3{height:var(--after-height)}.evidence-banner--4.svelte-1cb9jv3 .after-body:where(.svelte-1cb9jv3){grid-template-rows:minmax(0, 1fr) var(--retained-height)}.diff-hunk.svelte-1cb9jv3{box-sizing:border-box;opacity:0;border-radius:5px;flex-direction:column;min-height:0;padding:6px 7px 6px 5px;display:flex;overflow:hidden;transform:translateY(7px)}.red-hunk.svelte-1cb9jv3{background:#f6dadd;box-shadow:inset 3px 0 #cf6470}.retained-hunk.svelte-1cb9jv3{background:#e8ecef;box-shadow:inset 3px 0 #8898a7}.green-hunk.svelte-1cb9jv3{background:#dcf1e7;height:100%;box-shadow:inset 3px 0 #42a77a}.code-line.svelte-1cb9jv3{-webkit-user-select:none;user-select:none;flex:1 1 0;grid-template-columns:10px minmax(0,1fr);align-items:center;min-height:0;display:grid}.code-line.svelte-1cb9jv3>b:where(.svelte-1cb9jv3){color:#a94855;font-family:var(--dx-mono);text-align:center;font-size:.62rem;font-weight:450;line-height:1}.retained-hunk.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3){color:#6d7d8c}.green-hunk.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3){color:#1d7a58}.code-line.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){width:calc(100% - var(--line-indent));margin-left:var(--line-indent);align-items:center;gap:4px;display:flex}.code-line.svelte-1cb9jv3 i:where(.svelte-1cb9jv3){width:var(--token-width);background:#75828d;border-radius:2px;flex:0 auto;height:2px;display:block}.code-line.svelte-1cb9jv3 i:where(.svelte-1cb9jv3):nth-child(3){background:#9aa3aa}.code-line.svelte-1cb9jv3 i.keyword:where(.svelte-1cb9jv3){background:#1d2b38}.green-hunk.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3) i.keyword:where(.svelte-1cb9jv3){background:#245b49}.evidence-banner--4.svelte-1cb9jv3 .diff-hunk:where(.svelte-1cb9jv3){justify-content:flex-start;gap:2px;container-type:size}.evidence-banner--4.svelte-1cb9jv3 .retained-hunk:where(.svelte-1cb9jv3){padding-block:4px}.evidence-banner--4.svelte-1cb9jv3 .green-hunk:where(.svelte-1cb9jv3){height:auto}.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3){flex:0 0 7px;column-gap:5px;height:7px}.diff-transition.svelte-1cb9jv3{height:var(--before-height);margin-top:31px;position:relative}.transition-arrow.svelte-1cb9jv3{top:calc(var(--after-height) / 2);z-index:2;color:var(--dx-accent);font-size:1rem;position:absolute;left:50%;transform:translate(-50%,-50%)}.flow-paths.svelte-1cb9jv3{width:100%;height:var(--before-height);display:none;position:absolute;inset:8px 0 0;overflow:visible}.flow-paths.svelte-1cb9jv3 path:where(.svelte-1cb9jv3){fill:none;stroke:rgb(var(--dx-accent-rgb) / .52);stroke-dasharray:1;stroke-dashoffset:1px;stroke-width:1.25px;vector-effect:non-scaling-stroke}.flow-paths.svelte-1cb9jv3 .retained-path:where(.svelte-1cb9jv3){stroke:#6d7d8c99;stroke-dasharray:.04 .04}.compression-paths.svelte-1cb9jv3{width:100%;height:var(--before-height);position:absolute;inset:8px 0 0;overflow:visible}.compression-paths.svelte-1cb9jv3 path:where(.svelte-1cb9jv3){fill:none;stroke:#9da8b1;stroke-dasharray:1;stroke-dashoffset:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-width:1.35px;vector-effect:non-scaling-stroke}.compression-arrowhead.svelte-1cb9jv3{top:calc(8px + var(--before-height) * .2167);width:7px;height:7px;position:absolute;left:78%;overflow:visible;transform:translate(-90%,-50%)}.compression-arrowhead.svelte-1cb9jv3 path:where(.svelte-1cb9jv3){fill:none;stroke:#9da8b1;stroke-dasharray:1;stroke-dashoffset:1px;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.4px;vector-effect:non-scaling-stroke}.removed-measure.svelte-1cb9jv3{height:calc(var(--before-height) - var(--after-height));color:#1d7a58;grid-template-rows:minmax(0,1fr) auto minmax(0,1fr);gap:9px;padding-top:12px;display:grid}.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3){opacity:0;background:#1d7a5894;justify-self:center;width:1px;height:100%;display:block;position:relative;transform:scaleY(0)}.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3):first-child{transform-origin:bottom}.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3):last-child{transform-origin:top}.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3):first-child:before,.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3):last-child:after{content:"";background:currentColor;width:25px;height:1px;position:absolute;left:50%;transform:translate(-50%)}.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3):first-child:before{top:0}.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3):last-child:after{bottom:0}.removed-measure.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){font-family:var(--dx-mono);font-size:var(--dx-type-ui-label-size);letter-spacing:.035em;text-transform:uppercase;opacity:0;justify-items:center;gap:3px;line-height:1.2;display:grid}.removed-measure.svelte-1cb9jv3 strong:where(.svelte-1cb9jv3){font-family:var(--dx-display);letter-spacing:var(--dx-stat-tracking);font-size:clamp(1.75rem,3.3vw,2.65rem);font-weight:560;line-height:.9}.reduction-result.svelte-1cb9jv3{height:calc(var(--before-height) - var(--after-height));padding-top:var(--comparison-arrow-gap);color:var(--dx-navy);text-align:center;grid-template-rows:minmax(20px,1fr) auto minmax(20px,1fr);place-items:center;gap:13px;display:grid}.reduction-measure.svelte-1cb9jv3{opacity:0;align-self:stretch;width:7px;height:100%;min-height:20px;position:relative;overflow:visible}.reduction-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3){background:#9da8b1;width:1.15px;position:absolute;left:50%;transform:translate(-50%)}.reduction-measure-top.svelte-1cb9jv3>i:where(.svelte-1cb9jv3){inset-block:.7px 0}.reduction-measure-top.svelte-1cb9jv3{clip-path:inset(100% 0 0)}.reduction-measure-bottom.svelte-1cb9jv3>i:where(.svelte-1cb9jv3){inset-block:0 .7px}.reduction-measure-bottom.svelte-1cb9jv3{clip-path:inset(0 0 100%)}.reduction-measure.svelte-1cb9jv3 svg:where(.svelte-1cb9jv3){width:7px;height:7px;position:absolute;left:50%;overflow:visible}.reduction-measure-top.svelte-1cb9jv3 svg:where(.svelte-1cb9jv3){top:0;transform:translate(-50%)rotate(-90deg)}.reduction-measure-bottom.svelte-1cb9jv3 svg:where(.svelte-1cb9jv3){bottom:0;transform:translate(-50%)rotate(90deg)}.reduction-measure.svelte-1cb9jv3 svg:where(.svelte-1cb9jv3) path:where(.svelte-1cb9jv3){fill:none;stroke:#9da8b1;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.4px;vector-effect:non-scaling-stroke}.reduction-copy.svelte-1cb9jv3{justify-items:center;gap:7px;display:grid}.reduction-copy.svelte-1cb9jv3>strong:where(.svelte-1cb9jv3){color:#24825f;font-family:var(--dx-display);letter-spacing:var(--dx-stat-tracking);opacity:0;font-size:clamp(2.4rem,3.6vw,3.6rem);font-weight:520;line-height:.8;transform:translateY(7px)}.reduction-copy.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:var(--dx-type-ui-label-size);letter-spacing:.035em;text-transform:uppercase;opacity:0;line-height:1.25;transform:translateY(7px)}.diff-evidence.started.svelte-1cb9jv3 .diff-hunk:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-reveal-hunk var(--diff-card-duration) cubic-bezier(.23, 1, .32, 1) forwards}.diff-evidence.started.svelte-1cb9jv3 .hunk-two:where(.svelte-1cb9jv3){animation-delay:var(--diff-card-stagger)}.diff-evidence.started.svelte-1cb9jv3 .hunk-retained:where(.svelte-1cb9jv3){animation-delay:calc(var(--diff-card-stagger) + var(--diff-card-stagger))}.diff-evidence.started.svelte-1cb9jv3 .hunk-three:where(.svelte-1cb9jv3){animation-delay:calc(var(--diff-card-stagger) + var(--diff-card-stagger) + var(--diff-card-stagger))}.diff-evidence.started.svelte-1cb9jv3 .green-hunk:where(.svelte-1cb9jv3){animation-delay:.65s}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .after-primary-hunk:where(.svelte-1cb9jv3){animation-delay:var(--diff-after-start)}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .after-retained-hunk:where(.svelte-1cb9jv3){animation-delay:calc(var(--diff-after-start) + var(--diff-card-stagger))}.diff-evidence.started.svelte-1cb9jv3 .removed-measure:where(.svelte-1cb9jv3)>i:where(.svelte-1cb9jv3){animation:.48s cubic-bezier(.23,1,.32,1) .82s forwards svelte-1cb9jv3-draw-measure}.diff-evidence.started.svelte-1cb9jv3 .removed-measure:where(.svelte-1cb9jv3)>span:where(.svelte-1cb9jv3){animation:.3s .98s forwards svelte-1cb9jv3-reveal-measure-copy}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .compression-route:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-draw-flow var(--diff-connector-merge-duration) var(--diff-connector-start) linear forwards}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .compression-exit-route:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-draw-flow var(--diff-connector-exit-duration) var(--diff-connector-exit-start) linear forwards}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .compression-arrowhead:where(.svelte-1cb9jv3) path:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-draw-flow var(--diff-arrowhead-duration) var(--diff-arrowhead-start) cubic-bezier(.23, 1, .32, 1) forwards}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .reduction-measure-top:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-draw-reduction-measure-top var(--reduction-measure-duration) calc(var(--diff-result-start) + .46s) linear both}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .reduction-measure-bottom:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-draw-reduction-measure-bottom var(--reduction-measure-duration) calc(var(--diff-result-start) + .46s) linear both}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .reduction-copy:where(.svelte-1cb9jv3)>strong:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-reveal-hunk .34s var(--diff-result-start) cubic-bezier(.23, 1, .32, 1) forwards}.evidence-banner--4.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .reduction-copy:where(.svelte-1cb9jv3)>span:where(.svelte-1cb9jv3){animation:svelte-1cb9jv3-reveal-hunk .3s calc(var(--diff-result-start) + .1s) cubic-bezier(.23, 1, .32, 1) forwards}.supporting-evidence.svelte-1cb9jv3{border-bottom:1px solid var(--dx-line);grid-template-columns:.42fr .65fr minmax(350px,1fr);display:grid}.supporting-evidence.svelte-1cb9jv3>div:where(.svelte-1cb9jv3),.supporting-evidence.svelte-1cb9jv3>p:where(.svelte-1cb9jv3){min-height:155px;margin:0;padding:34px clamp(24px,4vw,52px) 36px 0}.supporting-evidence.svelte-1cb9jv3>div:where(.svelte-1cb9jv3){align-items:flex-end;gap:18px;display:flex}.supporting-evidence.svelte-1cb9jv3>:where(.svelte-1cb9jv3):not(:first-child){border-left:1px solid var(--dx-line);padding-left:clamp(24px,4vw,52px)}.supporting-evidence.svelte-1cb9jv3>div:where(.svelte-1cb9jv3) strong:where(.svelte-1cb9jv3){color:var(--dx-accent);font-family:var(--dx-display);letter-spacing:var(--dx-stat-tracking);font-size:clamp(3.8rem,6.7vw,6.7rem);font-weight:500;line-height:.75}.supporting-evidence.svelte-1cb9jv3>div:where(.svelte-1cb9jv3) span:where(.svelte-1cb9jv3){max-width:145px;color:var(--dx-ink-muted);font-size:var(--dx-type-caption-size);line-height:1.4}.supporting-evidence.svelte-1cb9jv3>p:where(.svelte-1cb9jv3){color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);align-content:center;line-height:1.65;display:grid}.supporting-evidence.svelte-1cb9jv3 a:where(.svelte-1cb9jv3),.study-link.svelte-1cb9jv3{width:fit-content;color:var(--dx-accent);font-size:var(--dx-type-control-size);align-items:center;gap:8px;font-weight:600;display:inline-flex}.supporting-evidence.svelte-1cb9jv3 a:where(.svelte-1cb9jv3){margin-top:13px}.study-link.svelte-1cb9jv3{border-bottom:1px solid rgb(var(--dx-accent-rgb) / .24);margin-top:28px;padding-bottom:7px}.evidence-matrix.svelte-1cb9jv3{border-block:1px solid var(--dx-line);grid-template:"headline diff""compact structure"minmax(208px,auto)/minmax(370px,.67fr) minmax(540px,1.33fr);margin-top:clamp(34px,3.5vw,44px);display:grid}.evidence-matrix.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){border-right:1px solid var(--dx-line);border-bottom:1px solid var(--dx-line);text-align:center;grid-area:headline;justify-items:center;padding-inline:clamp(24px,3vw,42px)}.headline-result-context.svelte-1cb9jv3{max-width:360px;color:var(--dx-ink-muted);font-size:var(--dx-type-caption-size);margin:0 0 clamp(24px,2.5vw,32px);line-height:1.5}.evidence-matrix.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3) span:where(.svelte-1cb9jv3){font-size:var(--dx-type-body-size);margin-top:24px;font-weight:500}.evidence-matrix.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3) .headline-result-label:where(.svelte-1cb9jv3){max-width:none;color:var(--dx-accent);font-family:var(--dx-display);letter-spacing:-.045em;margin-top:18px;font-size:clamp(1.6rem,2.25vw,2.25rem);font-weight:520;line-height:1}.evidence-matrix.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3) strong:where(.svelte-1cb9jv3){font-size:clamp(6.4rem,11vw,11rem)}.evidence-matrix.svelte-1cb9jv3 .diff-evidence:where(.svelte-1cb9jv3){border-bottom:1px solid var(--dx-line);grid-area:diff;padding:clamp(32px,3.4vw,44px) 0 clamp(36px,3.8vw,48px) clamp(28px,3.3vw,46px)}.evidence-banner--4.svelte-1cb9jv3 .file-comparison:where(.svelte-1cb9jv3){grid-template-columns:minmax(190px,1fr) clamp(48px,4.6vw,66px) minmax(175px,.82fr)}.evidence-banner--4.svelte-1cb9jv3 .transition-arrow:where(.svelte-1cb9jv3){display:none}.compact-stats.svelte-1cb9jv3{border-right:1px solid var(--dx-line);grid-area:compact;grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.compact-stat.svelte-1cb9jv3+.compact-stat:where(.svelte-1cb9jv3){border-left:1px solid var(--dx-line)}.compact-stat.svelte-1cb9jv3{text-align:center;align-content:center;justify-items:center;gap:18px;min-width:0;padding:40px clamp(24px,3vw,42px);display:grid}.compact-stat.svelte-1cb9jv3 strong:where(.svelte-1cb9jv3){color:var(--dx-accent);font-family:var(--dx-display);letter-spacing:var(--dx-stat-tracking);font-size:clamp(3.8rem,6.5vw,6.4rem);font-weight:500;line-height:.72}.evidence-matrix.svelte-1cb9jv3 .compact-stat:where(.svelte-1cb9jv3) strong:where(.svelte-1cb9jv3){font-size:clamp(3.2rem,4.7vw,4.8rem)}.compact-stat.svelte-1cb9jv3 span:where(.svelte-1cb9jv3){max-width:180px;color:var(--dx-ink-muted);font-size:var(--dx-type-caption-size);line-height:1.38}.structure-comparison.svelte-1cb9jv3{grid-area:structure;align-content:center;gap:21px;padding:30px 0 32px clamp(28px,3.3vw,46px);display:grid}.structure-comparison.svelte-1cb9jv3>header:where(.svelte-1cb9jv3){color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:var(--dx-type-ui-label-size);letter-spacing:.04em;text-transform:uppercase;justify-content:space-between;align-items:center;gap:24px;font-weight:500;display:flex}.structure-comparison.svelte-1cb9jv3>header:where(.svelte-1cb9jv3) strong:where(.svelte-1cb9jv3){color:inherit;font-size:inherit;font-weight:inherit;white-space:nowrap}.structure-bars.svelte-1cb9jv3{gap:12px;display:grid}.structure-row.svelte-1cb9jv3{color:var(--dx-ink-muted);font-family:var(--dx-sans);font-size:var(--dx-type-caption-size);grid-template-columns:128px minmax(0,1fr) 32px;align-items:center;gap:12px;display:grid}.structure-row.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){letter-spacing:0;white-space:nowrap}.structure-row.svelte-1cb9jv3>i:where(.svelte-1cb9jv3){background:#061a3312;border-radius:3px;height:18px;position:relative;overflow:hidden}.structure-row.svelte-1cb9jv3>i:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3){inset-block:0;border-radius:inherit;transform-origin:0;position:absolute;left:0;transform:scaleX(0)}.before-structure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3){background:#061a3347;width:5%;min-width:10px}.after-structure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3):first-child{z-index:2;background:var(--dx-accent);width:90%}.structure-row.svelte-1cb9jv3>strong:where(.svelte-1cb9jv3){color:var(--dx-navy);font-family:var(--dx-display);font-size:var(--dx-type-caption-size);letter-spacing:var(--dx-stat-tracking);text-align:right;font-weight:500}.structure-comparison.svelte-1cb9jv3 .consolidation-count:where(.svelte-1cb9jv3){font:inherit;color:var(--dx-accent)}.structure-bars.started.svelte-1cb9jv3 .before-structure:where(.svelte-1cb9jv3)>i:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3){animation:.42s cubic-bezier(.23,1,.32,1) .2s forwards svelte-1cb9jv3-fill-structure-bar}.structure-bars.started.svelte-1cb9jv3 .after-structure:where(.svelte-1cb9jv3)>i:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3):first-child{animation:svelte-1cb9jv3-fill-structure-bar var(--structure-long-bar-duration) .68s cubic-bezier(.3, .6, .32, 1) forwards}.evidence-footer.svelte-1cb9jv3{grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:clamp(35px,7vw,105px);padding-top:28px;display:grid}.evidence-context.svelte-1cb9jv3{max-width:760px;color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:clamp(24px,2.8vw,34px) 0 0;line-height:1.65}.evidence-footer.svelte-1cb9jv3>p:where(.svelte-1cb9jv3){max-width:850px;color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:0;line-height:1.65}.evidence-footer.svelte-1cb9jv3 .study-link:where(.svelte-1cb9jv3){font-size:var(--dx-type-body-small-size);white-space:nowrap;margin-top:0}.evidence-banner--2.svelte-1cb9jv3 .primary-evidence:where(.svelte-1cb9jv3){grid-template-columns:1fr}.evidence-banner--2.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){border-right:0;border-bottom:1px solid var(--dx-line);justify-content:space-between;align-items:flex-end;gap:40px;padding:clamp(40px,5vw,62px) 0;display:flex}.evidence-banner--2.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3) span:where(.svelte-1cb9jv3){text-align:right;margin:0 0 6px}.evidence-banner--2.svelte-1cb9jv3 .diff-evidence:where(.svelte-1cb9jv3){padding-left:0}.evidence-banner--2.svelte-1cb9jv3 .file-comparison:where(.svelte-1cb9jv3){grid-template-columns:minmax(280px,1fr) clamp(100px,11vw,165px) minmax(240px,.74fr)}.evidence-banner--2.svelte-1cb9jv3 .transition-arrow:where(.svelte-1cb9jv3){display:none}.evidence-banner--2.svelte-1cb9jv3 .flow-paths:where(.svelte-1cb9jv3){display:block}.evidence-banner--2.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .flow-paths:where(.svelte-1cb9jv3) path:where(.svelte-1cb9jv3){animation:.65s cubic-bezier(.23,1,.32,1) .36s forwards svelte-1cb9jv3-draw-flow}.evidence-banner--3.svelte-1cb9jv3 .primary-evidence:where(.svelte-1cb9jv3){grid-template-columns:minmax(560px,1.38fr) minmax(330px,.62fr)}.evidence-banner--3.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){border-right:0;border-left:1px solid var(--dx-line);order:2;padding-left:clamp(38px,5vw,70px);padding-right:0}.evidence-banner--3.svelte-1cb9jv3 .diff-evidence:where(.svelte-1cb9jv3){order:1;padding-left:0;padding-right:clamp(38px,5vw,70px)}.evidence-banner--3.svelte-1cb9jv3 .file-comparison:where(.svelte-1cb9jv3){grid-template-columns:minmax(210px,1fr) clamp(72px,7vw,108px) minmax(180px,.78fr)}.evidence-banner--3.svelte-1cb9jv3 .transition-arrow:where(.svelte-1cb9jv3){display:none}.evidence-banner--3.svelte-1cb9jv3 .flow-paths:where(.svelte-1cb9jv3){display:block}.evidence-banner--3.svelte-1cb9jv3 .diff-evidence.started:where(.svelte-1cb9jv3) .flow-paths:where(.svelte-1cb9jv3) path:where(.svelte-1cb9jv3){animation:.65s cubic-bezier(.23,1,.32,1) .36s forwards svelte-1cb9jv3-draw-flow}@keyframes svelte-1cb9jv3-reveal-hunk{to{opacity:1;transform:translateY(0)}}@keyframes svelte-1cb9jv3-draw-flow{to{stroke-dashoffset:0}}@keyframes svelte-1cb9jv3-draw-reduction-measure-top{0%{clip-path:inset(100% 0 0);opacity:1}to{clip-path:inset(0);opacity:1}}@keyframes svelte-1cb9jv3-draw-reduction-measure-bottom{0%{clip-path:inset(0 0 100%);opacity:1}to{clip-path:inset(0);opacity:1}}@keyframes svelte-1cb9jv3-draw-measure{to{opacity:1;transform:scaleY(1)}}@keyframes svelte-1cb9jv3-reveal-measure-copy{to{opacity:1}}@keyframes svelte-1cb9jv3-fill-structure-bar{to{transform:scaleX(1)}}@container (height<=114px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+13){display:none}}@container (height<=105px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+12){display:none}}@container (height<=96px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+11){display:none}}@container (height<=87px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+10){display:none}}@container (height<=78px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+9){display:none}}@container (height<=69px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+8){display:none}}@container (height<=60px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+7){display:none}}@container (height<=51px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+6){display:none}}@container (height<=42px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+5){display:none}}@container (height<=33px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+4){display:none}}@container (height<=24px){.evidence-banner--4.svelte-1cb9jv3 .code-line:where(.svelte-1cb9jv3):nth-child(n+3){display:none}}@media (width>=1121px){.evidence-banner--4.svelte-1cb9jv3{--before-height:clamp(252px, calc(44svh - 120px), 360px);--dx-type-evidence-stat-size:clamp(8rem, min(11vw, 17svh), 11rem);--dx-type-reduction-size:clamp(2rem, calc(8svh - 28px), 3.6rem)}.evidence-banner--4.svelte-1cb9jv3 .evidence-shell:where(.svelte-1cb9jv3){padding-block:calc(var(--dx-space-panel-large) + var(--dx-space-monitor-bonus) / 2)}.evidence-banner--4.svelte-1cb9jv3 .evidence-heading:where(.svelte-1cb9jv3) h2:where(.svelte-1cb9jv3){margin-top:clamp(18px,2.5svh,29px)}.evidence-banner--4.svelte-1cb9jv3 .evidence-context:where(.svelte-1cb9jv3){margin-top:clamp(18px,2.5svh,34px)}.evidence-matrix.svelte-1cb9jv3{grid-template-rows:auto minmax(clamp(148px,18svh,208px),auto);margin-top:clamp(24px,3.5svh,44px)}.evidence-matrix.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){padding-block:clamp(20px,8svh - 44px,75px)}.evidence-matrix.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3) strong:where(.svelte-1cb9jv3){font-size:var(--dx-type-evidence-stat-size)}.headline-result-context.svelte-1cb9jv3{margin-bottom:clamp(18px,5svh - 20px,32px)}.evidence-matrix.svelte-1cb9jv3 .diff-evidence:where(.svelte-1cb9jv3){padding-block:clamp(20px,3svh,44px)}.compact-stat.svelte-1cb9jv3{gap:clamp(12px,1.8svh,18px);padding-block:clamp(20px,3svh,40px)}.structure-comparison.svelte-1cb9jv3{gap:clamp(16px,2svh,21px);padding-block:clamp(20px,3svh,32px)}.evidence-footer.svelte-1cb9jv3{padding-top:clamp(20px,2.5svh,28px)}.reduction-result.svelte-1cb9jv3{grid-template-rows:minmax(12px,1fr) auto minmax(12px,1fr);gap:clamp(6px,1svh,13px)}.reduction-measure.svelte-1cb9jv3{min-height:12px}.reduction-copy.svelte-1cb9jv3{gap:5px}.reduction-copy.svelte-1cb9jv3>strong:where(.svelte-1cb9jv3){font-size:var(--dx-type-reduction-size)}}@media (width>=1121px) and (height<=1000px){.evidence-banner--4.svelte-1cb9jv3 .retained-hunk:where(.svelte-1cb9jv3){padding-block:3px}}@media (width<=1100px){.evidence-heading.svelte-1cb9jv3{grid-template-columns:1fr;gap:28px}.evidence-heading.svelte-1cb9jv3>p:where(.svelte-1cb9jv3){max-width:700px}.evidence-banner--4.svelte-1cb9jv3 .evidence-heading:where(.svelte-1cb9jv3) h2:where(.svelte-1cb9jv3){white-space:normal}.primary-evidence.svelte-1cb9jv3,.evidence-banner--3.svelte-1cb9jv3 .primary-evidence:where(.svelte-1cb9jv3){grid-template-columns:minmax(270px,.54fr) minmax(500px,1.46fr)}.evidence-banner--3.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){border-right:1px solid var(--dx-line);border-left:0;order:0;padding-left:0;padding-right:clamp(36px,5vw,70px)}.evidence-banner--3.svelte-1cb9jv3 .diff-evidence:where(.svelte-1cb9jv3){order:0;padding-left:clamp(38px,5vw,70px);padding-right:0}.evidence-matrix.svelte-1cb9jv3{grid-template-columns:minmax(320px,.67fr) minmax(460px,1.33fr)}}@media (width>=851px) and (width<=1040px){.evidence-banner--4.svelte-1cb9jv3 .file-caption:where(.svelte-1cb9jv3){align-content:center;justify-content:initial;gap:2px;padding-block:5px;display:grid}.evidence-banner--4.svelte-1cb9jv3 .file-caption:where(.svelte-1cb9jv3) strong:where(.svelte-1cb9jv3){padding-left:15px}}@media (width<=850px){.evidence-context-break.svelte-1cb9jv3{display:none}.primary-evidence.svelte-1cb9jv3,.evidence-banner--2.svelte-1cb9jv3 .primary-evidence:where(.svelte-1cb9jv3),.evidence-banner--3.svelte-1cb9jv3 .primary-evidence:where(.svelte-1cb9jv3),.supporting-evidence.svelte-1cb9jv3{grid-template-columns:1fr}.headline-result.svelte-1cb9jv3,.evidence-banner--3.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){border-right:0;border-bottom:1px solid var(--dx-line);order:0;padding-right:0}.evidence-banner--2.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){flex-direction:column;align-items:flex-start}.evidence-banner--2.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3) span:where(.svelte-1cb9jv3){text-align:left}.diff-evidence.svelte-1cb9jv3,.evidence-banner--3.svelte-1cb9jv3 .diff-evidence:where(.svelte-1cb9jv3){order:0;padding-left:0;padding-right:0}.supporting-evidence.svelte-1cb9jv3>:where(.svelte-1cb9jv3):not(:first-child){border-top:1px solid var(--dx-line);border-left:0;padding-left:0}.evidence-matrix.svelte-1cb9jv3{grid-template:"headline""diff""compact"minmax(190px,auto)"structure"minmax(210px,auto)/minmax(0,1fr)}.evidence-matrix.svelte-1cb9jv3 .headline-result:where(.svelte-1cb9jv3){border-right:0}.evidence-matrix.svelte-1cb9jv3 .diff-evidence:where(.svelte-1cb9jv3){padding-left:0;padding-right:0}.compact-stats.svelte-1cb9jv3{border-bottom:1px solid var(--dx-line);border-right:0}.structure-comparison.svelte-1cb9jv3{padding-left:0;padding-right:0}.evidence-footer.svelte-1cb9jv3{grid-template-columns:1fr;align-items:start;gap:22px}}@media (width<=620px){.evidence-banner.svelte-1cb9jv3{--before-height:310px}.evidence-shell.svelte-1cb9jv3{padding-block:76px 72px}.evidence-heading.svelte-1cb9jv3 h2:where(.svelte-1cb9jv3){font-size:clamp(3.15rem,14vw,4.65rem)}.primary-evidence.svelte-1cb9jv3{margin-top:52px}.evidence-matrix.svelte-1cb9jv3{margin-top:34px}.headline-result.svelte-1cb9jv3 strong:where(.svelte-1cb9jv3){font-size:clamp(5.2rem,25vw,7.6rem)}.file-comparison.svelte-1cb9jv3,.evidence-banner--2.svelte-1cb9jv3 .file-comparison:where(.svelte-1cb9jv3),.evidence-banner--3.svelte-1cb9jv3 .file-comparison:where(.svelte-1cb9jv3),.evidence-banner--4.svelte-1cb9jv3 .file-comparison:where(.svelte-1cb9jv3){grid-template-columns:minmax(130px,1fr) 42px minmax(120px,.82fr)}.file-caption.svelte-1cb9jv3{align-content:center;gap:2px;padding-block:5px;font-size:.65rem;display:grid}.file-caption.svelte-1cb9jv3 strong:where(.svelte-1cb9jv3){padding-left:15px}.transition-arrow.svelte-1cb9jv3{display:block}.evidence-banner--4.svelte-1cb9jv3 .transition-arrow:where(.svelte-1cb9jv3){display:none}.flow-paths.svelte-1cb9jv3{display:none!important}.evidence-banner--4.svelte-1cb9jv3 .green-hunk:where(.svelte-1cb9jv3) .code-line:where(.svelte-1cb9jv3){transform:translateY(4.5px)}.removed-measure.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){font-size:0}.removed-measure.svelte-1cb9jv3 strong:where(.svelte-1cb9jv3){font-size:1.55rem}.reduction-copy.svelte-1cb9jv3>strong:where(.svelte-1cb9jv3){font-size:clamp(1.8rem,9vw,2.5rem)}.reduction-copy.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){font-size:.65rem}.supporting-evidence.svelte-1cb9jv3>div:where(.svelte-1cb9jv3),.supporting-evidence.svelte-1cb9jv3>p:where(.svelte-1cb9jv3){min-height:136px;padding-block:29px}.supporting-evidence.svelte-1cb9jv3>div:where(.svelte-1cb9jv3){justify-content:space-between}.supporting-evidence.svelte-1cb9jv3>div:where(.svelte-1cb9jv3) span:where(.svelte-1cb9jv3){text-align:right}.compact-stat.svelte-1cb9jv3{padding:32px 20px}.structure-comparison.svelte-1cb9jv3>header:where(.svelte-1cb9jv3){flex-direction:column;align-items:flex-start;gap:7px}.structure-row.svelte-1cb9jv3{grid-template-columns:90px minmax(0,1fr) 32px;gap:9px}.structure-row.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){white-space:normal}}@media (prefers-reduced-motion:reduce){.diff-hunk.svelte-1cb9jv3,.removed-measure.svelte-1cb9jv3>i:where(.svelte-1cb9jv3),.removed-measure.svelte-1cb9jv3>span:where(.svelte-1cb9jv3),.reduction-measure.svelte-1cb9jv3,.reduction-copy.svelte-1cb9jv3>strong:where(.svelte-1cb9jv3),.reduction-copy.svelte-1cb9jv3>span:where(.svelte-1cb9jv3){opacity:1;transform:none}.reduction-measure.svelte-1cb9jv3{clip-path:none}.flow-paths.svelte-1cb9jv3 path:where(.svelte-1cb9jv3),.compression-paths.svelte-1cb9jv3 path:where(.svelte-1cb9jv3),.compression-arrowhead.svelte-1cb9jv3 path:where(.svelte-1cb9jv3){stroke-dashoffset:0}.structure-row.svelte-1cb9jv3>i:where(.svelte-1cb9jv3)>b:where(.svelte-1cb9jv3){transform:scaleX(1)}}.supertest-experience.svelte-1han65u{--dx-accent:#5c6cff;--dx-accent-rgb:92 108 255;--dx-accent-soft:#e9ebff;--dx-accent-secondary-ink:#8965d8;--dx-accent-secondary-rgb:137 101 216;--dx-accent-secondary-soft:#eee9fc;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-focus-target.svelte-1han65u{opacity:0;pointer-events:none;position:absolute}.annotation-focus-bottom.svelte-1han65u{width:100%;height:1px;position:absolute;top:100%;transform:translateY(-100%)}.annotation-connectors.svelte-1han65u{z-index:3;opacity:0;pointer-events:none;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}.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:100;stroke-dashoffset:100px;stroke-width:1.8px}.annotation-connectors.svelte-1han65u .connector-signal:where(.svelte-1han65u){opacity:0;stroke-dasharray:7.5 110;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:var(--dx-accent-rgb)}.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)}.python-panel.svelte-1han65u{z-index:2;width:clamp(500px,44%,600px);min-width:0;box-shadow:0 28px 70px #061a3338, 0 0 0 8px rgb(var(--dx-accent-rgb) / .035);color:#d6e0e9;background:#071a32;border:1px solid #687f9a52;border-radius:14px;position:absolute;top:12px;left:50%;transform:translate(-50%)}.python-code.svelte-1han65u,.annotation-list.svelte-1han65u li:where(.svelte-1han65u){-webkit-user-select:text;user-select:text}.python-panel.svelte-1han65u:after{z-index:-1;background:rgb(var(--dx-accent-rgb) / .09);content:"";filter:blur(35px);pointer-events:none;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);font-size:var(--dx-type-editorial-label-size);gap:8px}.file-meta.svelte-1han65u i:where(.svelte-1han65u){background:var(--dx-accent);width:7px;height:7px;box-shadow:0 0 0 4px rgb(var(--dx-accent-rgb) / .14), 0 0 12px rgb(var(--dx-accent-rgb) / .55);border-radius:50%}.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:.625rem}.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(.75rem,1vw,.9375rem);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;-webkit-user-select:none;user-select:none;font-size:.78em;position:relative}.row-annotation-marker.svelte-1han65u{display:none}.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:var(--dx-accent-rgb);--sequence-rgb:var(--dx-accent-rgb);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;position:relative}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette){color:#f0f6fc}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .keyword{color:#f67bcf}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .function{color:#c792ea}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .constant{color:#82aaff}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .type{color:#7fdbca}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .decorator{color:#7ee787}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .number{color:#fff59d}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .string{color:#c3e88d}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .operator{color:#d8dee9}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .keyword-def{color:#ff5c57}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .keyword-pink{color:#f67bcf}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .identifier-number,.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .identifier-text{color:#ffad66}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .builtin-type{color:#66d9c2}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .function-reverse{color:#f0f6fc}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .literal-none{color:#64b5ff}.python-panel.svelte-1han65u .syntax-code:not(.docs-palette) .punctuation-parenthesis{color:#ffd54f}.docs-syntax-highlighting.svelte-1han65u .python-panel:where(.svelte-1han65u){background:#081b31}.docs-syntax-highlighting.svelte-1han65u .code-toolbar:where(.svelte-1han65u){background:#0b213a}.docs-syntax-highlighting.svelte-1han65u .code-line.decorator:where(.svelte-1han65u){border-bottom-color:#081b31}.docs-syntax-highlighting.svelte-1han65u .code-line.claim:where(.svelte-1han65u){border-top-color:#081b31}.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:var(--dx-accent-rgb);--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;font-size:var(--dx-type-control-size);margin:0;line-height:1.5}.annotation-list.svelte-1han65u code:where(.svelte-1han65u),.detail-claim.svelte-1han65u code:where(.svelte-1han65u){background:rgb(var(--dx-accent-rgb) / .08);color:#3946b5;font-family:var(--dx-mono);border-radius:3px;padding:1px 3px;font-size:1em}.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{border:1px solid rgb(var(--dx-accent-rgb) / .13);background:#f1f3f5;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{border-color:rgb(var(--dx-accent-rgb) / .3);background:var(--dx-accent-soft);color:var(--dx-accent)}.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-annotation-card-glow-synced{0%{opacity:0}8%{opacity:.28}32%{opacity:.78}40%,52%{opacity:.9}74%{opacity:.56}to{opacity:0}}@keyframes svelte-1han65u-connector-color-arrive{0%{stroke-dashoffset:100px}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:-100px}}@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-row-marker-arrive{0%{opacity:0;transform:scale(.88)}to{opacity:1;transform:scale(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>=1121px){.definition-stage.svelte-1han65u{min-height:0;padding-bottom:0}.annotated-composition.svelte-1han65u{min-height:clamp(462px,22svh + 300px,502px)}.annotation-list.svelte-1han65u .claim-annotation:where(.svelte-1han65u){top:clamp(332px,22svh + 170px,372px)}}@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 .annotation-list:where(.svelte-1han65u) li:where(.svelte-1han65u):after{animation-name:svelte-1han65u-annotation-card-glow-synced}.code-line.svelte-1han65u{border-left:0;grid-template-columns:9px 22px 9px 12px minmax(0,1fr) 18px}.code-line.svelte-1han65u:before{display:none}.line-number.svelte-1han65u{text-align:right;grid-area:1/4;justify-self:stretch;width:12px;margin-right:0}.row-annotation-marker.svelte-1han65u{z-index:1;background:rgb(var(--sequence-rgb));color:#fff;width:22px;height:22px;font-family:var(--dx-mono);opacity:0;visibility:hidden;border-radius:50%;grid-area:1/2;place-items:center;font-size:.625rem;font-weight:600;display:grid;position:relative;transform:scale(.88)}.row-annotation-marker.has-annotation.svelte-1han65u{visibility:visible}.code-line.svelte-1han65u .syntax-code{grid-area:1/5;margin-left:10px}.sequence-active.svelte-1han65u .row-annotation-marker.has-annotation:where(.svelte-1han65u){animation:.45s cubic-bezier(.33,0,.2,1) both svelte-1han65u-row-marker-arrive}.sequence-active.svelte-1han65u .code-line.decorator:where(.svelte-1han65u) .row-annotation-marker:where(.svelte-1han65u){animation-delay:1.15s}.sequence-active.svelte-1han65u .code-line.inputs:where(.svelte-1han65u) .row-annotation-marker:where(.svelte-1han65u){animation-delay:3.45s}.sequence-active.svelte-1han65u .code-line.claim:where(.svelte-1han65u) .row-annotation-marker:where(.svelte-1han65u){animation-delay:5.75s}.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}.annotation-list.svelte-1han65u .inputs-annotation:where(.svelte-1han65u){--sequence-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}.annotation-list.svelte-1han65u .scope-annotation:where(.svelte-1han65u){--sequence-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}.annotation-list.svelte-1han65u .claim-annotation:where(.svelte-1han65u){--sequence-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%,680px);margin:0 auto;top:auto}.annotation-list.svelte-1han65u{grid-area:2/1;grid-template-columns:1fr;gap:8px;width:min(100%,680px);margin-inline:auto;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;min-height:0;padding:14px 16px;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:418px}.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,.row-annotation-marker.svelte-1han65u,.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)}.sequence-active.svelte-1han65u .row-annotation-marker.has-annotation:where(.svelte-1han65u){opacity:1;transform:scale(1)}}.pup-page.svelte-1yxvc9n{--dx-accent-base:var(--dx-pup-accent);--dx-accent-base-rgb:var(--dx-pup-accent-rgb);--dx-accent:var(--dx-pup-accent-on-light);--dx-accent-rgb:var(--dx-pup-accent-on-light-rgb);--dx-accent-soft:var(--dx-pup-accent-soft);--dx-hero-accent:var(--dx-pup-accent-on-dark);--dx-hero-accent-rgb:var(--dx-pup-accent-on-dark-rgb);--dx-eyebrow-marker-accent:var(--dx-pup-accent-on-dark);--dx-accent-secondary:var(--dx-quill-accent-on-dark);--dx-accent-secondary-rgb:var(--dx-quill-accent-on-dark-rgb);--dx-accent-secondary-ink:var(--dx-quill-accent-on-light);--dx-accent-secondary-soft:var(--dx-quill-accent-soft);background:var(--dx-cream);position:relative;overflow:hidden}.pup-page.svelte-1yxvc9n>section:where(.svelte-1yxvc9n){z-index:1;position:relative}.motivation-inner.svelte-1yxvc9n>h2:where(.svelte-1yxvc9n),.closing-card.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){font-family:var(--dx-display);letter-spacing:-.055em;font-weight:520}.motivation-section.svelte-1yxvc9n{padding-top:var(--dx-space-after-hero);position:relative}.motivation-inner.svelte-1yxvc9n{position:relative}.motivation-inner.svelte-1yxvc9n>h2:where(.svelte-1yxvc9n){text-align:center;white-space:nowrap;width:max-content;max-width:100%;margin:0 auto;font-size:clamp(4.05rem,6.55vw,6.75rem);line-height:.88}.motivation-subheading.svelte-1yxvc9n{max-width:680px;color:var(--dx-ink-muted);text-align:center;margin:clamp(34px,3.2vw,42px) auto 0;font-size:clamp(1.04rem,1.4vw,1.25rem);font-weight:400;line-height:1.58}.motivation-diagram.svelte-1yxvc9n{min-width:0;margin-top:clamp(38px,5vw,64px)}.motivation-section--frameless.svelte-1yxvc9n .motivation-diagram:where(.svelte-1yxvc9n){margin-top:clamp(24px,2.5vw,34px)}.motivation-section.svelte-1yxvc9n+.product-demo-section{padding-top:var(--dx-space-section-feature)}.closing-section.svelte-1yxvc9n{padding-block:var(--dx-space-section-feature)}.closing-card.svelte-1yxvc9n{background:radial-gradient(circle at 91% 10%, rgb(var(--dx-accent-base-rgb) / .21), transparent 34%), linear-gradient(#ffffff06 1px, transparent 1px) 0 0 / 54px 54px, linear-gradient(90deg, #ffffff06 1px, transparent 1px) 0 0 / 54px 54px, var(--dx-navy);padding:var(--dx-space-panel-large);padding-block:calc(var(--dx-space-panel-large) + var(--dx-space-monitor-bonus) / 2);color:#fff;border-radius:24px;grid-template-columns:minmax(0,1.3fr) minmax(290px,.7fr);align-content:center;align-items:end;gap:clamp(55px,8vw,125px);display:grid;position:relative;overflow:hidden}.closing-copy.svelte-1yxvc9n{z-index:1;position:relative}.closing-card.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){max-width:900px;margin:0;font-size:clamp(3.2rem,6.2vw,6.3rem);line-height:.88}.closing-action.svelte-1yxvc9n{z-index:1;flex-direction:column;align-items:flex-start;gap:clamp(28px,3vw,38px);max-width:430px;display:flex;position:relative}.closing-action.svelte-1yxvc9n>p:where(.svelte-1yxvc9n){color:#fff9;margin:0;font-size:clamp(1.06rem,1.4vw,1.22rem);line-height:1.62}.closing-card.svelte-1yxvc9n .dx-button:where(.svelte-1yxvc9n){z-index:1;min-width:148px;position:relative}@media (width>=1121px){.pup-page.svelte-1yxvc9n .demo-heading.centered{gap:30px}.pup-page.svelte-1yxvc9n .demo-heading.centered+.demo-stage{margin-top:clamp(32px,4.5svh,44px)}}@media (width<=820px){.closing-card.svelte-1yxvc9n{grid-template-columns:1fr;align-content:center;align-items:stretch;gap:45px}.closing-action.svelte-1yxvc9n{max-width:610px}}@media (width<=720px){.motivation-inner.svelte-1yxvc9n>h2:where(.svelte-1yxvc9n){white-space:normal;width:auto;font-size:clamp(3.45rem,15.5vw,4.8rem)}.motivation-diagram.svelte-1yxvc9n{margin-top:34px}.motivation-section--frameless.svelte-1yxvc9n .motivation-diagram:where(.svelte-1yxvc9n){margin-top:24px}.closing-section.svelte-1yxvc9n{padding-block:var(--dx-space-section-feature)}.closing-card.svelte-1yxvc9n{border-radius:19px;padding:50px 27px}.closing-card.svelte-1yxvc9n h2:where(.svelte-1yxvc9n){font-size:clamp(3.25rem,15vw,4.85rem)}.closing-card.svelte-1yxvc9n .dx-button:where(.svelte-1yxvc9n){width:100%}}