.verification-visual.svelte-wlp9yn{border:1px solid var(--dx-line);width:100%;min-height:470px;color:var(--dx-navy);background:radial-gradient(circle at 68% 47%,#5c6cff14,#0000 29%),linear-gradient(#061a330a 1px,#0000 1px) 0 0/34px 34px,linear-gradient(90deg,#061a330a 1px,#0000 1px) 0 0/34px 34px,#ffffff80;border-radius:20px;position:relative;overflow:hidden;box-shadow:0 25px 65px #061a3314;container-type:inline-size}.gateway-centered.svelte-wlp9yn{background:radial-gradient(circle at 62.43% 52.73%,#5c6cff17,#0000 28%),linear-gradient(#061a330a 1px,#0000 1px) 0 0/34px 34px,linear-gradient(90deg,#061a330a 1px,#0000 1px) 0 0/34px 34px,#ffffff80}.gateway-corrected.svelte-wlp9yn{background:radial-gradient(circle at 54.03% 52.73%,#5c6cff14,#0000 28%),linear-gradient(#061a330a 1px,#0000 1px) 0 0/34px 34px,linear-gradient(90deg,#061a330a 1px,#0000 1px) 0 0/34px 34px,#ffffff80;width:min(100%,780px);margin-inline:auto}.gateway-corrected.svelte-wlp9yn .visual-kicker:where(.svelte-wlp9yn){font-size:clamp(.45rem,1.1cqw,.58rem);left:6.45%}.visual-kicker.svelte-wlp9yn{z-index:3;color:var(--dx-accent);font-family:var(--dx-mono);letter-spacing:.07em;font-size:clamp(.36rem,.82cqw,.46rem);position:absolute;top:5%;left:5%}.gateway-visual.svelte-wlp9yn>svg:where(.svelte-wlp9yn){width:100%;height:100%;position:absolute;inset:0}.gateway-previous.svelte-wlp9yn>svg:where(.svelte-wlp9yn){width:98%;height:87%;inset:9% 1% 4%}.base-path.svelte-wlp9yn,.trace-path.svelte-wlp9yn,.result-flow.svelte-wlp9yn,.boundary-path.svelte-wlp9yn,.boundary-search.svelte-wlp9yn{fill:none;stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke}.base-path.svelte-wlp9yn{stroke:#5c6cff4a;stroke-width:1.5px}.gateway-previous.svelte-wlp9yn .issue-path:where(.svelte-wlp9yn){stroke:#e8645a61;stroke-dasharray:4 6}.result-flow.svelte-wlp9yn{stroke-dasharray:5 7;stroke-width:1.5px;animation:1.25s linear infinite svelte-wlp9yn-move-gateway-result}.certificate-flow.svelte-wlp9yn{stroke:color-mix(in srgb, var(--dx-verified) 70%, transparent)}.shared-result-flow.svelte-wlp9yn{stroke:#5c6cff6b}.counterexample-flow.svelte-wlp9yn{stroke:color-mix(in srgb, var(--dx-issue) 68%, transparent);animation-delay:-620ms}.trace-path.svelte-wlp9yn{stroke:var(--dx-accent);stroke-dasharray:620;stroke-dashoffset:620px;stroke-width:2px;animation:6.2s ease-in-out infinite svelte-wlp9yn-trace-gateway}.trace-two.svelte-wlp9yn{animation-delay:.1s}.trace-three.svelte-wlp9yn{animation-delay:.2s}.trace-four.svelte-wlp9yn{animation-delay:.3s}.result-particle.svelte-wlp9yn{filter:drop-shadow(0 0 5px)}.certificate-particle.svelte-wlp9yn{fill:var(--dx-verified);color:var(--dx-verified)}.counterexample-particle.svelte-wlp9yn{fill:var(--dx-issue);color:var(--dx-issue)}.previous-port.svelte-wlp9yn{fill:#fff;stroke:var(--dx-accent);stroke-width:1.5px;vector-effect:non-scaling-stroke}.previous-verified-port.svelte-wlp9yn{fill:var(--dx-verified);stroke:#fff;stroke-width:2.5px;vector-effect:non-scaling-stroke}.previous-issue-port.svelte-wlp9yn{fill:var(--dx-issue-soft);stroke:var(--dx-issue);stroke-width:1.5px;vector-effect:non-scaling-stroke}.entry-labels.svelte-wlp9yn{z-index:2;color:#536175;font-family:var(--dx-mono);letter-spacing:.035em;font-size:clamp(.52rem,1.6cqw,.7rem);font-weight:500;position:absolute;inset:0}.entry-labels.svelte-wlp9yn>span:where(.svelte-wlp9yn){position:absolute;left:4%;transform:translateY(-50%)}.entry-labels.svelte-wlp9yn>span:where(.svelte-wlp9yn):first-child{top:23.86%}.entry-labels.svelte-wlp9yn>span:where(.svelte-wlp9yn):nth-child(2){top:43.18%}.entry-labels.svelte-wlp9yn>span:where(.svelte-wlp9yn):nth-child(3){top:62.5%}.entry-labels.svelte-wlp9yn>span:where(.svelte-wlp9yn):nth-child(4){top:81.82%}.gateway-previous.svelte-wlp9yn .entry-labels:where(.svelte-wlp9yn){color:var(--dx-ink-muted);letter-spacing:0;flex-direction:column;justify-content:space-between;font-size:clamp(.31rem,.71cqw,.4rem);font-weight:400;display:flex;inset:18% auto 16.5% 2.4%}.gateway-previous.svelte-wlp9yn .entry-labels:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn){position:static;transform:none}.gateway-corrected.svelte-wlp9yn .entry-labels:where(.svelte-wlp9yn){letter-spacing:.025em;font-size:clamp(.5rem,1.45cqw,.66rem);font-weight:400}.gateway-corrected.svelte-wlp9yn .entry-labels:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn){left:6.45%}.gateway-corrected.svelte-wlp9yn .entry-ports:where(.svelte-wlp9yn)>i:where(.svelte-wlp9yn){left:20.16%}.entry-ports.svelte-wlp9yn{z-index:2;pointer-events:none;position:absolute;inset:0}.entry-ports.svelte-wlp9yn>i:where(.svelte-wlp9yn){border:1.5px solid var(--dx-accent);background:var(--dx-cream);border-radius:50%;width:13px;height:13px;position:absolute;left:15.71%;transform:translate(-50%,-50%);box-shadow:0 0 0 4px #5c6cff0e}.entry-ports.svelte-wlp9yn>i:where(.svelte-wlp9yn):first-child{top:23.86%}.entry-ports.svelte-wlp9yn>i:where(.svelte-wlp9yn):nth-child(2){top:43.18%}.entry-ports.svelte-wlp9yn>i:where(.svelte-wlp9yn):nth-child(3){top:62.5%}.entry-ports.svelte-wlp9yn>i:where(.svelte-wlp9yn):nth-child(4){top:81.82%}.verification-engine.svelte-wlp9yn{z-index:3;background:#f4f3ff;border:1px solid #5c6cff61;border-radius:12px;justify-content:center;align-items:center;gap:9px;min-width:104px;min-height:48px;display:flex;position:absolute;top:52.73%;left:62.85%;transform:translate(-50%,-50%);box-shadow:0 0 0 7px #5c6cff12,0 12px 28px #061a331f}.verification-engine.svelte-wlp9yn .dx-product-icon{color:var(--dx-accent);box-shadow:none;background:0 0;border:0}.verification-engine.svelte-wlp9yn strong:where(.svelte-wlp9yn){color:var(--dx-accent);font-family:var(--dx-mono);letter-spacing:.07em;font-size:clamp(.46rem,1.05cqw,.59rem);font-weight:500}.gateway-previous.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn){min-width:0;min-height:0;box-shadow:none;background:0 0;border:0;place-items:center;gap:0;display:grid;top:48.8%;left:57.15%}.gateway-previous.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) .dx-product-icon{background:#f4f3ff;border:1px solid #5c6cff7a;box-shadow:0 0 0 7px #5c6cff14,0 12px 28px #061a331f}.gateway-previous.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) small:where(.svelte-wlp9yn){color:var(--dx-accent);font-family:var(--dx-mono);letter-spacing:.06em;margin-top:7px;font-size:clamp(.31rem,.7cqw,.39rem)}.gateway-centered.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn){min-width:0;min-height:0;box-shadow:none;background:0 0;border:0;place-items:center;gap:0;display:grid;top:52.73%;transform:translate(-50%,-23.5px)}.gateway-centered.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn){left:62.43%}.gateway-corrected.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn){left:54.03%}.gateway-centered.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) .dx-product-icon,.gateway-corrected.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) .dx-product-icon{background:#f4f3ff;border:1px solid #5c6cff7a;box-shadow:0 0 0 7px #5c6cff14,0 12px 28px #061a331f}.gateway-centered.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) small:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) small:where(.svelte-wlp9yn){color:var(--dx-accent);font-family:var(--dx-mono);letter-spacing:.06em;margin-top:7px;font-size:clamp(.52rem,1.4cqw,.7rem)}.engine-label.svelte-wlp9yn{color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:clamp(.3rem,.68cqw,.38rem);position:absolute;top:63%;left:57%;transform:translate(-50%)}.gateway-refined.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn){min-width:110px;min-height:64px;left:57.14%}.gateway-refined.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) strong:where(.svelte-wlp9yn){font-size:clamp(.52rem,1.4cqw,.7rem)}.result-card.svelte-wlp9yn{z-index:3;border:1px solid;border-radius:9px;grid-template-columns:auto minmax(0,1fr);align-items:center;gap:8px;width:27%;padding:11px;display:grid;position:absolute;right:2.2%;box-shadow:0 10px 25px #061a3312}.result-card.svelte-wlp9yn>span:where(.svelte-wlp9yn){color:#fff;border-radius:7px;place-items:center;width:24px;height:24px;font-size:.65rem;font-weight:600;display:grid}.result-card.svelte-wlp9yn>div:where(.svelte-wlp9yn){gap:2px;min-width:0;display:grid}.result-card.svelte-wlp9yn small:where(.svelte-wlp9yn){font-family:var(--dx-mono);letter-spacing:.04em;font-size:clamp(.27rem,.61cqw,.34rem)}.result-card.svelte-wlp9yn strong:where(.svelte-wlp9yn){text-overflow:ellipsis;white-space:nowrap;font-size:clamp(.4rem,.91cqw,.51rem);font-weight:550;overflow:hidden}.certificate-result.svelte-wlp9yn{background:var(--dx-verified-soft);color:#176d51;border-color:#31b98745;top:25%}.certificate-result.svelte-wlp9yn>span:where(.svelte-wlp9yn){background:var(--dx-verified)}.counterexample-result.svelte-wlp9yn{background:var(--dx-issue-soft);color:#993d36;border-color:#e8645a45;bottom:22%}.counterexample-result.svelte-wlp9yn>span:where(.svelte-wlp9yn){background:var(--dx-issue)}.gateway-previous.svelte-wlp9yn .certificate-result:where(.svelte-wlp9yn){top:22%}.gateway-previous.svelte-wlp9yn .counterexample-result:where(.svelte-wlp9yn){bottom:19%}.gateway-refined.svelte-wlp9yn .result-card:where(.svelte-wlp9yn),.gateway-centered.svelte-wlp9yn .result-card:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn){gap:10px;width:24%;padding:13px;right:2%}.gateway-refined.svelte-wlp9yn .result-card:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn),.gateway-centered.svelte-wlp9yn .result-card:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn){border-radius:50%;width:28px;height:28px}.gateway-refined.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) small:where(.svelte-wlp9yn),.gateway-centered.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) small:where(.svelte-wlp9yn){font-size:clamp(.4rem,.92cqw,.5rem)}.gateway-refined.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) strong:where(.svelte-wlp9yn),.gateway-centered.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) strong:where(.svelte-wlp9yn){font-size:clamp(.52rem,1.2cqw,.66rem)}.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn){width:27.1%;padding:17px 13px;right:6.45%}.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) small:where(.svelte-wlp9yn){font-size:clamp(.45rem,1.02cqw,.56rem)}.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) strong:where(.svelte-wlp9yn){font-size:clamp(.59rem,1.34cqw,.74rem)}.gateway-corrected.svelte-wlp9yn .certificate-result:where(.svelte-wlp9yn){top:24%}.gateway-corrected.svelte-wlp9yn .counterexample-result:where(.svelte-wlp9yn){bottom:21%}@keyframes svelte-wlp9yn-trace-gateway{0%,10%{stroke-dashoffset:620px}52%,83%{stroke-dashoffset:0}to{stroke-dashoffset:-620px}}@keyframes svelte-wlp9yn-move-gateway-result{to{stroke-dashoffset:-24px}}.rail-visual.svelte-wlp9yn{padding:clamp(58px,10cqw,78px) 6% 6%}.rail-guarantee.svelte-wlp9yn{border:1px solid var(--dx-line);background:#fff;border-radius:10px;grid-template-columns:minmax(0,.8fr) minmax(260px,1.7fr) auto;align-items:center;gap:20px;padding:17px 19px;display:grid;box-shadow:0 12px 30px #061a3312}.rail-guarantee.svelte-wlp9yn span:where(.svelte-wlp9yn),.rail-guarantee.svelte-wlp9yn small:where(.svelte-wlp9yn),.rail-engine.svelte-wlp9yn small:where(.svelte-wlp9yn),.rail-outcome.svelte-wlp9yn small:where(.svelte-wlp9yn){color:var(--dx-accent);font-family:var(--dx-mono);letter-spacing:.055em;font-size:clamp(.34rem,.76cqw,.43rem)}.rail-guarantee.svelte-wlp9yn strong:where(.svelte-wlp9yn){font-family:var(--dx-display);letter-spacing:-.025em;font-size:clamp(.76rem,1.72cqw,1.1rem);font-weight:540}.rail-guarantee.svelte-wlp9yn small:where(.svelte-wlp9yn){color:var(--dx-ink-muted)}.rail-paths.svelte-wlp9yn{gap:8px;width:74%;margin-top:22px;display:grid;position:relative;overflow:hidden}.rail-paths.svelte-wlp9yn>span:where(.svelte-wlp9yn){border:1px solid var(--dx-line);background:#ffffffad;border-radius:8px;grid-template-columns:58px minmax(0,1fr) auto;align-items:center;gap:12px;min-height:44px;padding:0 13px;display:grid}.rail-paths.svelte-wlp9yn small:where(.svelte-wlp9yn),.rail-paths.svelte-wlp9yn b:where(.svelte-wlp9yn){color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:clamp(.31rem,.7cqw,.39rem);font-weight:400}.rail-paths.svelte-wlp9yn i:where(.svelte-wlp9yn){background:#5c6cff73;height:1px}.rail-paths.svelte-wlp9yn b:where(.svelte-wlp9yn){color:var(--dx-accent)}.rail-scan.svelte-wlp9yn{background:var(--dx-accent);width:2px;animation:4.5s ease-in-out infinite svelte-wlp9yn-scan-rail;position:absolute;top:0;bottom:0;box-shadow:0 0 14px #5c6cffb3}@keyframes svelte-wlp9yn-scan-rail{0%,10%{opacity:0;left:12%}20%,80%{opacity:1}90%,to{opacity:0;left:86%}}.rail-engine.svelte-wlp9yn{text-align:center;justify-items:center;gap:10px;width:17%;display:grid;position:absolute;top:45%;right:5.5%;transform:translateY(-50%)}.rail-engine.svelte-wlp9yn .dx-product-icon{color:var(--dx-accent);background:#f4f3ff;border-color:#5c6cff73;box-shadow:0 0 0 7px #5c6cff14}.rail-engine.svelte-wlp9yn>span:where(.svelte-wlp9yn){gap:3px;display:grid}.rail-engine.svelte-wlp9yn strong:where(.svelte-wlp9yn){font-size:clamp(.42rem,.95cqw,.53rem)}.rail-outcome.svelte-wlp9yn{background:var(--dx-verified-soft);border:1px solid #31b98747;border-radius:10px;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:10px;margin-top:18px;padding:14px;display:grid}.rail-seal.svelte-wlp9yn,.boundary-certificate.svelte-wlp9yn>span:where(.svelte-wlp9yn):first-child{background:var(--dx-verified);color:#fff;border-radius:8px;place-items:center;width:29px;height:29px;display:grid}.rail-outcome.svelte-wlp9yn>span:where(.svelte-wlp9yn):nth-child(2){gap:2px;display:grid}.rail-outcome.svelte-wlp9yn small:where(.svelte-wlp9yn){color:#16815d}.rail-outcome.svelte-wlp9yn strong:where(.svelte-wlp9yn){color:#365d50;font-size:clamp(.49rem,1.1cqw,.62rem);font-weight:550}.rail-outcome.svelte-wlp9yn code:where(.svelte-wlp9yn){color:#061a3366;font-family:var(--dx-mono);font-size:clamp(.32rem,.72cqw,.4rem)}.boundary-visual.svelte-wlp9yn{padding:clamp(58px,10cqw,78px) 6% 5%}.boundary-guarantee.svelte-wlp9yn{background:var(--dx-accent-soft);border:1px solid #5c6cff40;border-radius:10px;grid-template-columns:.7fr 1.6fr;align-items:center;gap:25px;padding:15px 18px;display:grid}.boundary-guarantee.svelte-wlp9yn small:where(.svelte-wlp9yn){color:var(--dx-accent);font-family:var(--dx-mono);font-size:clamp(.33rem,.74cqw,.41rem)}.boundary-guarantee.svelte-wlp9yn strong:where(.svelte-wlp9yn){font-family:var(--dx-display);letter-spacing:-.025em;font-size:clamp(.75rem,1.7cqw,1.05rem);font-weight:540}.system-boundary.svelte-wlp9yn{background:#ffffff6b;border:1px dashed #5c6cff6b;border-radius:12px;height:250px;margin-top:17px;position:relative;overflow:hidden}.boundary-label.svelte-wlp9yn{z-index:2;color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:clamp(.31rem,.7cqw,.39rem);position:absolute;top:11px;left:13px}.system-boundary.svelte-wlp9yn>svg:where(.svelte-wlp9yn){width:90%;height:84%;position:absolute;inset:8% 5%}.boundary-path.svelte-wlp9yn{stroke:#5c6cff5c;stroke-width:1.5px}.boundary-search.svelte-wlp9yn{stroke:var(--dx-accent);stroke-dasharray:520;stroke-dashoffset:520px;stroke-width:2px;animation:6.2s ease-in-out infinite svelte-wlp9yn-trace-gateway}.boundary-port.svelte-wlp9yn{fill:#fff;stroke:var(--dx-accent);stroke-width:1.5px;vector-effect:non-scaling-stroke}.boundary-output.svelte-wlp9yn{fill:var(--dx-verified);stroke:#fff;stroke-width:2.5px;vector-effect:non-scaling-stroke}.boundary-engine.svelte-wlp9yn{position:absolute;top:50%;left:58.5%;transform:translate(-50%,-50%)}.boundary-engine.svelte-wlp9yn .dx-product-icon{color:var(--dx-accent);background:#f4f3ff;border-color:#5c6cff73;box-shadow:0 0 0 7px #5c6cff14}.boundary-result.svelte-wlp9yn{color:#16815d;font-family:var(--dx-mono);align-items:center;gap:7px;font-size:clamp(.32rem,.72cqw,.4rem);display:flex;position:absolute;bottom:7%;right:4%}.boundary-result.svelte-wlp9yn i:where(.svelte-wlp9yn){background:var(--dx-verified);color:#fff;border-radius:6px;place-items:center;width:18px;height:18px;display:grid}.boundary-certificate.svelte-wlp9yn{background:var(--dx-verified-soft);border:1px solid #31b98745;border-radius:10px;grid-template-columns:auto 1fr;align-items:center;gap:10px;margin-top:16px;padding:12px 14px;display:grid}.boundary-certificate.svelte-wlp9yn>span:where(.svelte-wlp9yn):nth-child(2){gap:2px;display:grid}.boundary-certificate.svelte-wlp9yn small:where(.svelte-wlp9yn){color:#16815d;font-family:var(--dx-mono);font-size:clamp(.32rem,.72cqw,.4rem)}.boundary-certificate.svelte-wlp9yn strong:where(.svelte-wlp9yn){color:#365d50;font-size:clamp(.48rem,1.08cqw,.61rem);font-weight:550}@container (width<=520px){.verification-visual.svelte-wlp9yn{min-height:410px}.gateway-current.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn),.gateway-refined.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn){gap:4px;min-width:76px;min-height:42px}.gateway-current.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) .dx-product-icon,.gateway-refined.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) .dx-product-icon{width:22px;height:22px}.result-card.svelte-wlp9yn{width:31%;padding:8px;right:1%}.gateway-current.svelte-wlp9yn .result-card:where(.svelte-wlp9yn){width:25.5%}.gateway-refined.svelte-wlp9yn .result-card:where(.svelte-wlp9yn),.gateway-centered.svelte-wlp9yn .result-card:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn){grid-template-columns:1fr;justify-items:start;gap:6px;width:29%;padding:8px}.result-card.svelte-wlp9yn>span:where(.svelte-wlp9yn){display:none}.gateway-refined.svelte-wlp9yn .result-card:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn),.gateway-centered.svelte-wlp9yn .result-card:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn)>span:where(.svelte-wlp9yn){width:22px;height:22px;display:grid}.gateway-refined.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) strong:where(.svelte-wlp9yn),.gateway-centered.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) strong:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn) strong:where(.svelte-wlp9yn){white-space:normal;line-height:1.15}.gateway-centered.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn),.gateway-corrected.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn){transform:translate(-50%,-21px)}.gateway-centered.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) .dx-product-icon,.gateway-corrected.svelte-wlp9yn .verification-engine:where(.svelte-wlp9yn) .dx-product-icon{width:42px;height:42px}.gateway-corrected.svelte-wlp9yn .result-card:where(.svelte-wlp9yn){padding-block:10px}.rail-guarantee.svelte-wlp9yn{grid-template-columns:1fr auto}.rail-guarantee.svelte-wlp9yn strong:where(.svelte-wlp9yn){grid-area:2/1/auto/-1}.rail-paths.svelte-wlp9yn{width:70%}.rail-engine.svelte-wlp9yn{width:22%;right:2%}.rail-outcome.svelte-wlp9yn code:where(.svelte-wlp9yn){display:none}.boundary-guarantee.svelte-wlp9yn{grid-template-columns:1fr;gap:8px}}@media (prefers-reduced-motion:reduce){.trace-path.svelte-wlp9yn,.result-flow.svelte-wlp9yn,.rail-scan.svelte-wlp9yn,.boundary-search.svelte-wlp9yn{animation:none}.result-particle.svelte-wlp9yn{display:none}.trace-path.svelte-wlp9yn,.boundary-search.svelte-wlp9yn{stroke-dashoffset:0}}.placeholder-page.svelte-vj0sqr{background:var(--dx-cream);position:relative;overflow:hidden}.placeholder-page.svelte-vj0sqr>section:where(.svelte-vj0sqr){z-index:1;position:relative}@media (width>=861px){.placeholder-page.svelte-vj0sqr .page-hero.quill .hero-layout.has-visual{grid-template-columns:minmax(420px,1fr) minmax(520px,1fr);gap:clamp(30px,3.2vw,46px)}}.assurance-story.svelte-vj0sqr{padding-top:clamp(105px,13vw,175px)}.story-heading.svelte-vj0sqr{grid-template-columns:minmax(0,1fr) minmax(280px,.42fr);align-items:end;gap:55px;display:grid}.story-heading.svelte-vj0sqr>p:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:0 0 5px;line-height:1.72}.story-row.svelte-vj0sqr{grid-template-columns:minmax(300px,.72fr) minmax(520px,1.28fr);align-items:center;gap:clamp(50px,8vw,110px);margin-top:clamp(100px,13vw,165px);display:grid}.review-row.svelte-vj0sqr{grid-template-columns:minmax(520px,1.28fr) minmax(300px,.72fr)}.review-row.svelte-vj0sqr .story-copy:where(.svelte-vj0sqr){order:2}.review-row.svelte-vj0sqr .story-illustration:where(.svelte-vj0sqr){order:1}.story-copy.svelte-vj0sqr{max-width:480px}.story-index.svelte-vj0sqr{color:var(--dx-accent);font-family:var(--dx-mono);font-size:var(--dx-type-editorial-label-size);letter-spacing:.075em}.story-copy.svelte-vj0sqr h3:where(.svelte-vj0sqr){font-family:var(--dx-display);letter-spacing:var(--dx-heading-tracking);margin:19px 0 0;font-size:clamp(2.35rem,4.65vw,4.8rem);font-weight:500;line-height:.96}.story-copy.svelte-vj0sqr>p:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-size:var(--dx-type-body-size);margin:24px 0 0;line-height:1.75}.story-copy.svelte-vj0sqr ul:where(.svelte-vj0sqr){gap:10px;margin:25px 0 0;padding:0;list-style:none;display:grid}.story-copy.svelte-vj0sqr li:where(.svelte-vj0sqr){color:#405066;font-size:var(--dx-type-body-small-size);align-items:center;gap:9px;display:flex}.story-copy.svelte-vj0sqr li:where(.svelte-vj0sqr)>i:where(.svelte-vj0sqr){background:var(--dx-accent-soft);width:17px;height:17px;color:var(--dx-accent);border-radius:50%;flex:none;place-items:center;display:grid}.story-copy.svelte-vj0sqr>a:where(.svelte-vj0sqr){border-bottom:1px solid var(--dx-line);font-size:var(--dx-type-control-size);align-items:center;gap:7px;margin-top:28px;padding-bottom:9px;font-weight:600;display:inline-flex}.story-copy.svelte-vj0sqr>a:where(.svelte-vj0sqr) .experiment-arrow{color:var(--dx-accent)}.story-illustration.svelte-vj0sqr{border:1px solid var(--dx-line);background:linear-gradient(#061a3309 1px,#0000 1px) 0 0/34px 34px,linear-gradient(90deg,#061a3309 1px,#0000 1px) 0 0/34px 34px,#ffffff7a;border-radius:20px;min-width:0;min-height:470px;position:relative;overflow:hidden;box-shadow:0 25px 65px #061a3314}.source-document.svelte-vj0sqr{border:1px solid var(--dx-line);background:#fff;border-radius:10px;position:absolute;box-shadow:0 20px 45px #061a331c}.source-back.svelte-vj0sqr,.source-middle.svelte-vj0sqr{align-content:end;gap:11px;width:36%;height:65%;padding:26px;display:grid}.source-back.svelte-vj0sqr{opacity:.56;top:13%;left:8%;transform:rotate(-6deg)}.source-middle.svelte-vj0sqr{opacity:.72;top:18%;left:22%;transform:rotate(3deg)}.source-back.svelte-vj0sqr span:where(.svelte-vj0sqr),.source-middle.svelte-vj0sqr span:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-family:var(--dx-mono);letter-spacing:.06em;font-size:.44rem;position:absolute;top:22px;left:25px}.source-back.svelte-vj0sqr i:where(.svelte-vj0sqr),.source-middle.svelte-vj0sqr i:where(.svelte-vj0sqr){background:#061a331a;border-radius:4px;height:4px}.source-back.svelte-vj0sqr i:where(.svelte-vj0sqr):nth-of-type(2),.source-middle.svelte-vj0sqr i:where(.svelte-vj0sqr):nth-of-type(3){width:72%}.source-back.svelte-vj0sqr i:where(.svelte-vj0sqr):nth-of-type(4),.source-middle.svelte-vj0sqr i:where(.svelte-vj0sqr):nth-of-type(2){width:84%}.source-front.svelte-vj0sqr{width:51%;height:79%;top:8%;right:7%;overflow:hidden;transform:rotate(-.8deg)}.source-front.svelte-vj0sqr>header:where(.svelte-vj0sqr){border-bottom:1px solid var(--dx-line);min-height:45px;color:var(--dx-accent-secondary-ink);font-family:var(--dx-mono);justify-content:space-between;align-items:center;gap:12px;padding:0 15px;font-size:.48rem;display:flex}.source-front.svelte-vj0sqr>header:where(.svelte-vj0sqr) small:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-size:.43rem}.document-body.svelte-vj0sqr{position:absolute;inset:60px 10% 52px;overflow:hidden}.document-body.svelte-vj0sqr>small:where(.svelte-vj0sqr){color:var(--dx-accent-secondary-ink);font-family:var(--dx-mono);letter-spacing:.055em;font-size:.43rem}.document-body.svelte-vj0sqr>strong:where(.svelte-vj0sqr){margin:18px 0;font-size:.83rem;font-weight:550;display:block}.document-body.svelte-vj0sqr>i:where(.svelte-vj0sqr){background:#061a331a;border-radius:4px;width:100%;height:4px;margin-bottom:9px;display:block}.document-body.svelte-vj0sqr>i:where(.svelte-vj0sqr):nth-of-type(2),.document-body.svelte-vj0sqr>i:where(.svelte-vj0sqr):nth-of-type(5){width:78%}.document-body.svelte-vj0sqr>i:where(.svelte-vj0sqr):nth-of-type(3),.document-body.svelte-vj0sqr>i:where(.svelte-vj0sqr):nth-of-type(6){width:61%}.document-body.svelte-vj0sqr p:where(.svelte-vj0sqr){border-left:2px solid var(--dx-accent-secondary-ink);background:var(--dx-accent-secondary-soft);color:#554b6f;border-radius:4px;margin:16px -7px;padding:12px 10px;font-size:.63rem;line-height:1.55}.scan-line.svelte-vj0sqr{background:var(--dx-accent-secondary-ink);height:2px;box-shadow:0 0 10px rgb(var(--dx-accent-secondary-rgb) / .7);animation:6.4s ease-in-out infinite svelte-vj0sqr-source-scan;position:absolute;top:0;left:0;right:0}.scan-line.svelte-vj0sqr:after{background:linear-gradient(rgb(var(--dx-accent-secondary-rgb) / .13), transparent);content:"";height:44px;position:absolute;top:0;left:0;right:0}.scan-line.svelte-vj0sqr b:where(.svelte-vj0sqr){color:var(--dx-accent-secondary-ink);font-family:var(--dx-mono);letter-spacing:.05em;font-size:.38rem;font-weight:500;position:absolute;bottom:5px;right:3px}.source-front.svelte-vj0sqr>footer:where(.svelte-vj0sqr){border-top:1px solid var(--dx-line);min-height:41px;color:var(--dx-accent-secondary-ink);font-family:var(--dx-mono);justify-content:space-between;align-items:center;gap:10px;padding:0 14px;font-size:.42rem;display:flex;position:absolute;bottom:0;left:0;right:0}.source-front.svelte-vj0sqr>footer:where(.svelte-vj0sqr) span:where(.svelte-vj0sqr){align-items:center;gap:6px;display:flex}.source-front.svelte-vj0sqr>footer:where(.svelte-vj0sqr) span:where(.svelte-vj0sqr) i:where(.svelte-vj0sqr){background:var(--dx-accent-secondary-ink);width:6px;height:6px;box-shadow:0 0 0 5px var(--dx-accent-secondary-soft);border-radius:50%}.source-front.svelte-vj0sqr>footer:where(.svelte-vj0sqr) small:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-size:.4rem}.source-key.svelte-vj0sqr{color:var(--dx-ink-muted);font-family:var(--dx-mono);gap:15px;font-size:.36rem;display:flex;position:absolute;bottom:4%;right:7%}.source-key.svelte-vj0sqr span:where(.svelte-vj0sqr){align-items:center;gap:5px;display:flex}.source-key.svelte-vj0sqr i:where(.svelte-vj0sqr){background:var(--dx-accent-secondary-ink);border-radius:50%;width:5px;height:5px}.source-key.svelte-vj0sqr span:where(.svelte-vj0sqr):nth-child(2) i:where(.svelte-vj0sqr){background:var(--dx-accent)}.source-key.svelte-vj0sqr span:where(.svelte-vj0sqr):nth-child(3) i:where(.svelte-vj0sqr){background:var(--dx-verified)}@keyframes svelte-vj0sqr-source-scan{0%{opacity:0;top:0}8%{opacity:1}48%{opacity:1;top:calc(100% - 2px)}56%,to{opacity:0;top:calc(100% - 2px)}}.review-illustration.svelte-vj0sqr{background:radial-gradient(circle at 73% 35%,#5c6cff17,#0000 30%),linear-gradient(#061a3309 1px,#0000 1px) 0 0/34px 34px,linear-gradient(90deg,#061a3309 1px,#0000 1px) 0 0/34px 34px,#ffffff7a}.source-fragment.svelte-vj0sqr,.reviewed-guarantee.svelte-vj0sqr{border:1px solid var(--dx-line);background:#fff;border-radius:12px;position:absolute;box-shadow:0 20px 45px #061a3317}.source-fragment.svelte-vj0sqr{z-index:2;width:37%;padding:24px;top:20%;left:6%}.source-fragment.svelte-vj0sqr small:where(.svelte-vj0sqr){color:var(--dx-accent-secondary-ink);font-family:var(--dx-mono);letter-spacing:.06em;font-size:.43rem}.source-fragment.svelte-vj0sqr>i:where(.svelte-vj0sqr){background:#061a3317;border-radius:4px;width:100%;height:4px;margin-top:10px;display:block}.source-fragment.svelte-vj0sqr>i:where(.svelte-vj0sqr):nth-of-type(2){width:76%}.source-fragment.svelte-vj0sqr>i:where(.svelte-vj0sqr):nth-of-type(3){width:58%}.source-fragment.svelte-vj0sqr p:where(.svelte-vj0sqr){border-left:2px solid var(--dx-accent-secondary-ink);background:var(--dx-accent-secondary-soft);color:#554b6f;border-radius:4px;margin:16px -7px;padding:10px;font-size:.62rem;line-height:1.5}.source-fragment.svelte-vj0sqr>span:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-family:var(--dx-mono);font-size:.38rem}.review-connector.svelte-vj0sqr{width:24%;height:26%;position:absolute;top:25%;left:39%;overflow:visible}.review-connector.svelte-vj0sqr path:where(.svelte-vj0sqr){fill:none;stroke:#5c6cff80;stroke-dasharray:4 6;stroke-width:1.4px;vector-effect:non-scaling-stroke}.review-connector.svelte-vj0sqr circle:where(.svelte-vj0sqr){fill:var(--dx-accent);filter:drop-shadow(0 0 5px #5c6cffb3)}.reviewed-guarantee.svelte-vj0sqr{z-index:2;width:48%;top:11%;right:6%;overflow:hidden}.reviewed-guarantee.svelte-vj0sqr>header:where(.svelte-vj0sqr){border-bottom:1px solid var(--dx-line);min-height:42px;color:var(--dx-accent);font-family:var(--dx-mono);justify-content:space-between;align-items:center;gap:12px;padding:0 14px;font-size:.45rem;display:flex}.reviewed-guarantee.svelte-vj0sqr>header:where(.svelte-vj0sqr) small:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-size:.4rem}.reviewed-guarantee.svelte-vj0sqr>div:where(.svelte-vj0sqr){padding:25px 24px 28px}.reviewed-guarantee.svelte-vj0sqr>div:where(.svelte-vj0sqr) small:where(.svelte-vj0sqr){color:var(--dx-ink-muted);font-family:var(--dx-mono);letter-spacing:.06em;font-size:.42rem}.reviewed-guarantee.svelte-vj0sqr>div:where(.svelte-vj0sqr) strong:where(.svelte-vj0sqr){font-family:var(--dx-display);letter-spacing:-.035em;margin-top:15px;font-size:clamp(1.25rem,2.1vw,1.8rem);font-weight:540;line-height:1.03;display:block}.reviewed-guarantee.svelte-vj0sqr>footer:where(.svelte-vj0sqr){border-top:1px solid var(--dx-line);min-height:43px;padding:0 14px}.reviewed-guarantee.svelte-vj0sqr>footer:where(.svelte-vj0sqr) span:where(.svelte-vj0sqr){color:#405066;align-items:center;gap:7px;min-height:43px;font-size:.52rem;display:flex}.reviewed-guarantee.svelte-vj0sqr>footer:where(.svelte-vj0sqr) i:where(.svelte-vj0sqr),.review-notes.svelte-vj0sqr i:where(.svelte-vj0sqr){background:var(--dx-accent-soft);width:16px;height:16px;color:var(--dx-accent);border-radius:50%;place-items:center;display:grid}.review-notes.svelte-vj0sqr{border:1px solid var(--dx-line);background:var(--dx-line);border-radius:10px;grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;display:grid;position:absolute;bottom:10%;left:12%;right:7%;overflow:hidden;box-shadow:0 14px 35px #061a3314}.review-notes.svelte-vj0sqr span:where(.svelte-vj0sqr){color:#536175;background:#fff;align-items:center;gap:7px;min-height:59px;padding:10px;font-size:.47rem;display:flex}.review-notes.svelte-vj0sqr i:where(.svelte-vj0sqr){flex:none}.continuous-section.svelte-vj0sqr{padding-top:clamp(115px,15vw,195px);padding-bottom:clamp(105px,13vw,175px)}.continuous-card.svelte-vj0sqr{grid-template-columns:minmax(300px,.82fr) minmax(480px,1.18fr);align-items:center;gap:clamp(45px,7vw,95px);display:grid}.continuous-copy.svelte-vj0sqr .dx-eyebrow:where(.svelte-vj0sqr){color:#ffffff8f}.continuous-copy.svelte-vj0sqr h2:where(.svelte-vj0sqr){font-family:var(--dx-display);letter-spacing:var(--dx-heading-tracking);margin:22px 0 0;font-size:clamp(2.35rem,4.4vw,4.55rem);font-weight:500;line-height:.94}.continuous-copy.svelte-vj0sqr>p:where(.svelte-vj0sqr):last-of-type{color:#ffffff94;font-size:var(--dx-type-body-size);margin:25px 0 0;line-height:1.75}.continuous-copy.svelte-vj0sqr a:where(.svelte-vj0sqr){color:#fff;font-size:var(--dx-type-control-size);border-bottom:1px solid #ffffff3b;align-items:center;gap:8px;margin-top:30px;padding-bottom:8px;font-weight:600;display:inline-flex}.continuous-copy.svelte-vj0sqr a:where(.svelte-vj0sqr) .experiment-arrow{color:var(--dx-hero-accent)}.assurance-ledger.svelte-vj0sqr{background:#ffffff0e;border:1px solid #ffffff24;border-radius:14px;overflow:hidden;box-shadow:0 22px 55px #00081840}.ledger-head.svelte-vj0sqr{color:#ffffff9e;min-height:44px;font-family:var(--dx-mono);letter-spacing:.06em;border-bottom:1px solid #ffffff1f;justify-content:space-between;align-items:center;gap:15px;padding:0 15px;font-size:.48rem;display:flex}.ledger-head.svelte-vj0sqr small:where(.svelte-vj0sqr){color:#ffffff52;font-size:.43rem}.ledger-row.svelte-vj0sqr{background:#ffffff0a;border:1px solid #ffffff1c;border-radius:10px;grid-template-columns:auto minmax(0,1fr) auto auto;align-items:center;gap:12px;min-height:78px;margin-inline:14px;padding:12px;display:grid}.ledger-source-row.svelte-vj0sqr{margin-top:14px}.ledger-row.svelte-vj0sqr>span:where(.svelte-vj0sqr):nth-child(2){gap:3px;min-width:0;display:grid}.ledger-row.svelte-vj0sqr small:where(.svelte-vj0sqr){color:#ffffff61;font-family:var(--dx-mono);letter-spacing:.05em;font-size:.4rem}.ledger-row.svelte-vj0sqr strong:where(.svelte-vj0sqr){text-overflow:ellipsis;white-space:nowrap;font-size:.64rem;font-weight:500;overflow:hidden}.ledger-row.svelte-vj0sqr code:where(.svelte-vj0sqr){color:#fff6;font-family:var(--dx-mono);font-size:.43rem}.ledger-row.svelte-vj0sqr>b:where(.svelte-vj0sqr){color:#efc875;font-family:var(--dx-mono);letter-spacing:.04em;background:#e3a94724;border-radius:99px;padding:5px 7px;font-size:.37rem;font-weight:500}.ledger-node.svelte-vj0sqr{width:29px;height:29px;font-family:var(--dx-mono);border:1px solid;border-radius:8px;place-items:center;font-size:.44rem;display:grid!important}.source-node.svelte-vj0sqr{color:var(--dx-accent-secondary);background:#c4aff11c;border-color:#c4aff166}.guarantee-node.svelte-vj0sqr{color:var(--dx-hero-accent);background:#5c6cff21;border-color:#aab4ff66}.result-node.svelte-vj0sqr{background:var(--dx-verified);color:#fff;border-color:#75dcb866}.ledger-join.svelte-vj0sqr{place-items:center;height:28px;display:grid;position:relative}.ledger-join.svelte-vj0sqr:before{content:"";border-left:1px dashed #aab4ff61;height:100%}.ledger-join.svelte-vj0sqr i:where(.svelte-vj0sqr){background:var(--dx-hero-accent);border-radius:50%;width:5px;height:5px;position:absolute;box-shadow:0 0 8px #aab4ff8c}.result-row.svelte-vj0sqr{background:#31b98714;border-color:#75dcb840}.result-row.svelte-vj0sqr .dx-certificate-badge{color:#91e4c7;background:#31b98721;border-color:#75dcb842}.ledger-foot.svelte-vj0sqr{color:#ffffff61;min-height:46px;font-family:var(--dx-mono);border-top:1px solid #ffffff1c;align-items:center;gap:7px;margin-top:14px;padding:0 15px;font-size:.4rem;display:flex}.ledger-foot.svelte-vj0sqr span:where(.svelte-vj0sqr){align-items:center;gap:7px;display:flex}.ledger-foot.svelte-vj0sqr i:where(.svelte-vj0sqr){background:var(--dx-verified);border-radius:50%;width:6px;height:6px}@media (width<=1050px){.story-row.svelte-vj0sqr,.review-row.svelte-vj0sqr,.continuous-card.svelte-vj0sqr{grid-template-columns:1fr}.story-copy.svelte-vj0sqr,.continuous-copy.svelte-vj0sqr{max-width:680px}.review-row.svelte-vj0sqr .story-copy:where(.svelte-vj0sqr),.review-row.svelte-vj0sqr .story-illustration:where(.svelte-vj0sqr){order:initial}.story-illustration.svelte-vj0sqr{min-height:500px}}@media (width<=860px){.story-heading.svelte-vj0sqr{grid-template-columns:1fr;gap:25px}.story-heading.svelte-vj0sqr>p:where(.svelte-vj0sqr){max-width:650px}}@media (width<=700px){.assurance-story.svelte-vj0sqr{padding-top:85px}.story-row.svelte-vj0sqr{gap:38px;margin-top:90px}.story-copy.svelte-vj0sqr h3:where(.svelte-vj0sqr){font-size:clamp(2.35rem,12vw,3.6rem)}.story-illustration.svelte-vj0sqr{border-radius:16px;min-height:420px}.source-back.svelte-vj0sqr,.source-middle.svelte-vj0sqr{width:38%;padding:18px}.source-front.svelte-vj0sqr{width:56%;right:4%}.source-key.svelte-vj0sqr{display:none}.source-fragment.svelte-vj0sqr{width:42%;padding:18px;left:4%}.reviewed-guarantee.svelte-vj0sqr{width:54%;right:4%}.reviewed-guarantee.svelte-vj0sqr>div:where(.svelte-vj0sqr){padding:21px 17px 23px}.review-notes.svelte-vj0sqr{left:4%;right:4%}.review-notes.svelte-vj0sqr span:where(.svelte-vj0sqr){flex-direction:column;align-items:flex-start}.continuous-section.svelte-vj0sqr{padding-top:105px;padding-bottom:85px}}@media (width<=470px){.story-illustration.svelte-vj0sqr{min-height:390px}.source-front.svelte-vj0sqr>header:where(.svelte-vj0sqr){padding-inline:10px}.document-body.svelte-vj0sqr{inset-inline:8%}.source-fragment.svelte-vj0sqr{width:47%;padding:15px;top:12%}.reviewed-guarantee.svelte-vj0sqr{width:58%;top:22%}.review-connector.svelte-vj0sqr{top:30%}.review-notes.svelte-vj0sqr{grid-template-columns:1fr;bottom:5%}.review-notes.svelte-vj0sqr span:where(.svelte-vj0sqr){flex-direction:row;align-items:center;min-height:37px}.ledger-row.svelte-vj0sqr{grid-template-columns:auto minmax(0,1fr) auto}.ledger-row.svelte-vj0sqr>b:where(.svelte-vj0sqr),.ledger-row.svelte-vj0sqr .dx-certificate-badge{grid-column:2/-1;justify-self:start}}@media (prefers-reduced-motion:reduce){.scan-line.svelte-vj0sqr{animation:none}}