.product-mark.svelte-19zjcb2{flex:none;display:block}.sequence-shell.svelte-1d5ls2t{min-height:540px;color:var(--navy);background:#f7f9fa;border:1px solid #0519332e;border-radius:18px;overflow:hidden;box-shadow:0 30px 90px #0009183d,inset 0 1px #ffffffd9}.window-bar.svelte-1d5ls2t{background:#ffffffc7;border-bottom:1px solid #0519331a;grid-template-columns:1fr auto 1fr;align-items:center;gap:16px;min-height:58px;padding:0 22px;font-size:.72rem;display:grid}.window-brand.svelte-1d5ls2t,.engine-status.svelte-1d5ls2t{align-items:center;display:flex}.window-brand.svelte-1d5ls2t{gap:9px}.window-brand.svelte-1d5ls2t strong:where(.svelte-1d5ls2t),.request-id.svelte-1d5ls2t,.engine-status.svelte-1d5ls2t{letter-spacing:.06em;text-transform:uppercase}.window-brand.svelte-1d5ls2t strong:where(.svelte-1d5ls2t){font-weight:900}.request-id.svelte-1d5ls2t{color:#6b7784;font-family:var(--font-mono);font-size:.64rem}.engine-status.svelte-1d5ls2t{color:#60707f;justify-self:end;gap:8px;font-size:.58rem;font-weight:900}.engine-status.svelte-1d5ls2t>span:where(.svelte-1d5ls2t){background:#78cbbc;border-radius:50%;width:7px;height:7px;box-shadow:0 0 11px #78cbbcb3}.engine-status.verified.svelte-1d5ls2t{color:#278866}.sequence-grid.svelte-1d5ls2t{grid-template-columns:minmax(0,1.08fr) minmax(350px,.92fr);min-height:482px;display:grid}.request-pane.svelte-1d5ls2t{color:#d7e0e9;background:radial-gradient(circle at 0 0,#82a4df21,#0000 34%),linear-gradient(145deg,#071d39,#03142b);grid-template-rows:auto 1fr auto;min-width:0;display:grid}.pane-label.svelte-1d5ls2t{color:#bac7d2;min-height:50px;font-family:var(--font-mono);border-bottom:1px solid #ffffff14;justify-content:space-between;align-items:center;padding:0 22px;font-size:.7rem;display:flex}.language.svelte-1d5ls2t{color:#91afe4;letter-spacing:.1em}.request-code.svelte-1d5ls2t{font-family:var(--font-mono);align-self:center;padding:26px 0;font-size:clamp(.62rem,.95vw,.78rem);line-height:2.2}.code-line.svelte-1d5ls2t{border-left:3px solid #0000;grid-template-columns:50px minmax(0,1fr);align-items:center;min-height:36px;padding-right:18px;transition:border-color .24s,background .24s;display:grid}.code-line.svelte-1d5ls2t>span:where(.svelte-1d5ls2t){color:#60748a;text-align:center;-webkit-user-select:none;user-select:none}.code-line.svelte-1d5ls2t code:where(.svelte-1d5ls2t){text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.request-code.svelte-1d5ls2t code:where(.svelte-1d5ls2t) i:where(.svelte-1d5ls2t),.request-code.svelte-1d5ls2t code:where(.svelte-1d5ls2t) b:where(.svelte-1d5ls2t),.lean-code.svelte-1d5ls2t i:where(.svelte-1d5ls2t){font-style:normal;font-weight:400}.request-code.svelte-1d5ls2t .syntax-keyword:where(.svelte-1d5ls2t){color:#d0a6eb}.request-code.svelte-1d5ls2t .syntax-function:where(.svelte-1d5ls2t){color:#80c9bd}.request-code.svelte-1d5ls2t .syntax-property:where(.svelte-1d5ls2t){color:#8eafe9}.request-code.svelte-1d5ls2t .syntax-string:where(.svelte-1d5ls2t){color:#e2bd79}.request-code.svelte-1d5ls2t .syntax-boolean:where(.svelte-1d5ls2t){color:#e5a07e}.lean-code.svelte-1d5ls2t .syntax-operator:where(.svelte-1d5ls2t){color:#8655a8}.lean-code.svelte-1d5ls2t .syntax-type:where(.svelte-1d5ls2t){color:#2f6f9e}.lean-code.svelte-1d5ls2t .syntax-number:where(.svelte-1d5ls2t){color:#a4523e}.lean-code.svelte-1d5ls2t .syntax-function:where(.svelte-1d5ls2t){color:#247b69}.code-line.svelte-1d5ls2t i:where(.svelte-1d5ls2t){color:#9ed5c9;font-style:normal}.code-line.svelte-1d5ls2t b:where(.svelte-1d5ls2t){color:#dcb96e;font-weight:500}.claim-line.claim-active.svelte-1d5ls2t{background:#7f9fdb21;border-left-color:#7f9fdb}.request-footer.svelte-1d5ls2t{color:#aebdca;border-top:1px solid #ffffff14;align-items:center;gap:9px;min-height:48px;padding:0 22px;font-size:.68rem;display:flex}.ready-dot.svelte-1d5ls2t,.search-dot.svelte-1d5ls2t{border-radius:50%;width:7px;height:7px}.ready-dot.svelte-1d5ls2t{background:#d7aa50;box-shadow:0 0 12px #d7aa50a6}.search-dot.svelte-1d5ls2t{background:#91afe4;box-shadow:0 0 12px #91afe4ad}.complete-dot.svelte-1d5ls2t{color:#061a34;background:#78cbbc;border-radius:50%;place-items:center;width:18px;height:18px;font-size:.65rem;font-weight:900;display:grid}.proof-pane.svelte-1d5ls2t{background:radial-gradient(circle at 100% 0,#7f9fdb1a,#0000 34%),linear-gradient(90deg,#05193306 1px,#0000 1px) 0 0/38px 38px,linear-gradient(#05193306 1px,#0000 1px) 0 0/38px 38px,#f7f9fa;min-width:0;padding:clamp(26px,4vw,48px);display:grid}.proof-state.svelte-1d5ls2t{align-content:center;gap:20px;min-width:0;display:grid}.state-label.svelte-1d5ls2t{color:#6d7b88;letter-spacing:.15em;text-transform:uppercase;font-size:.66rem;font-weight:900}.success-label.svelte-1d5ls2t{color:#278866}.goal-card.svelte-1d5ls2t,.response-card.svelte-1d5ls2t{background:#fffffff0;border:1px solid #d6dde3;border-radius:12px;padding:clamp(19px,3vw,28px);box-shadow:0 14px 38px #0519331a}.goal-card.svelte-1d5ls2t{border-color:#7f9fdb6b;box-shadow:inset 4px 0 #7f9fdb,0 14px 38px #0519331a}.goal-type.svelte-1d5ls2t{color:#647ea9;letter-spacing:.13em;font-size:.58rem;font-weight:900}.goal-card.svelte-1d5ls2t p:where(.svelte-1d5ls2t){font-family:var(--font-display);margin:21px 0 18px;font-size:clamp(1.15rem,2vw,1.55rem);font-weight:600;line-height:1.15}.goal-card.svelte-1d5ls2t p:where(.svelte-1d5ls2t) em:where(.svelte-1d5ls2t){font-style:italic}.goal-card.svelte-1d5ls2t>code:where(.svelte-1d5ls2t){overflow-wrap:anywhere;color:#526577;border-top:1px solid #e4e8eb;padding-top:16px;font-size:.61rem;line-height:1.6;display:block}.context-row.svelte-1d5ls2t,.api-return.svelte-1d5ls2t{color:#71808e;justify-content:space-between;align-items:center;font-size:.64rem;display:flex}.context-row.svelte-1d5ls2t strong:where(.svelte-1d5ls2t),.api-return.svelte-1d5ls2t strong:where(.svelte-1d5ls2t){color:var(--navy);font-size:.68rem}.proof-graph.svelte-1d5ls2t{background:radial-gradient(circle at 50% 45%,#7f9fdb1f,#0000 45%),#ffffffe6;border:1px solid #d8dfe5;border-radius:12px;min-height:240px;position:relative;overflow:hidden;box-shadow:0 14px 38px #05193312}.proof-graph.svelte-1d5ls2t svg:where(.svelte-1d5ls2t){width:86%;height:84%;position:absolute;inset:8% 7%}.proof-graph.svelte-1d5ls2t path:where(.svelte-1d5ls2t){fill:none;stroke:#a9b7c8;stroke-dasharray:4 4;stroke-width:.8px;vector-effect:non-scaling-stroke}.graph-node.svelte-1d5ls2t{left:var(--x);top:var(--y);z-index:2;color:#66788a;width:34px;height:34px;font-family:var(--font-mono);animation:svelte-1d5ls2t-node-appear .35s var(--delay) ease-out both;background:#fff;border:1px solid #9faebb;border-radius:50%;place-items:center;font-size:.67rem;display:grid;position:absolute;transform:translate(-50%,-50%);box-shadow:0 5px 14px #0519331f}.graph-node.root.svelte-1d5ls2t{color:#436295;background:#edf3ff;border-color:#7f9fdb}.graph-node.closed.svelte-1d5ls2t{color:#278866;background:#e9f7f3;border-color:#75b7a8}.graph-node.active.svelte-1d5ls2t{color:#8e6817;background:#fff8e6;border-color:#d7aa50}.search-ring.svelte-1d5ls2t{border:1px solid #d7aa508c;border-radius:50%;width:54px;height:54px;animation:1.8s ease-out infinite svelte-1d5ls2t-search-pulse;position:absolute;top:42%;left:50%;transform:translate(-50%,-50%)}.search-stats.svelte-1d5ls2t{grid-template-columns:repeat(3,1fr);gap:9px;display:grid}.search-stats.svelte-1d5ls2t>span:where(.svelte-1d5ls2t){background:#ffffffb3;border:1px solid #dce2e7;border-radius:7px;gap:6px;padding:10px;display:grid}.search-stats.svelte-1d5ls2t small:where(.svelte-1d5ls2t){color:#7b8995;letter-spacing:.08em;font-size:.49rem;font-weight:900}.search-stats.svelte-1d5ls2t strong:where(.svelte-1d5ls2t){font-family:var(--font-mono);font-size:.66rem}.response-card.svelte-1d5ls2t{border-color:#75b7a880;box-shadow:inset 4px 0 #75b7a8,0 14px 38px #0519331a}.response-topline.svelte-1d5ls2t,.response-topline.svelte-1d5ls2t code:where(.svelte-1d5ls2t){color:#788691;justify-content:space-between;align-items:center;font-size:.58rem;display:flex}.success-badge.svelte-1d5ls2t{color:#278866;letter-spacing:.08em;background:#e5f5f1;border-radius:999px;padding:6px 9px;font-weight:900}.response-body.svelte-1d5ls2t{font-family:var(--font-mono);border-block:1px solid #e3e8ec;gap:10px;margin:22px 0;padding:19px 0;font-size:.64rem;display:grid}.response-body.svelte-1d5ls2t i:where(.svelte-1d5ls2t){color:#657487;font-style:normal}.response-body.svelte-1d5ls2t b:where(.svelte-1d5ls2t){color:#278866;font-weight:500}.response-body.svelte-1d5ls2t span:where(.svelte-1d5ls2t){color:#5879ae}.certificate.svelte-1d5ls2t{align-items:center;gap:12px;display:flex}.certificate.svelte-1d5ls2t>span:where(.svelte-1d5ls2t):last-child{gap:3px;display:grid}.certificate.svelte-1d5ls2t strong:where(.svelte-1d5ls2t){font-size:.68rem}.certificate.svelte-1d5ls2t small:where(.svelte-1d5ls2t){color:#71808d;font-size:.58rem}.api-return.svelte-1d5ls2t{letter-spacing:.08em;border-top:1px solid #d8dee3;padding-top:17px}@keyframes svelte-1d5ls2t-node-appear{0%{opacity:0;transform:translate(-50%,-50%)scale(.75)}to{opacity:1;transform:translate(-50%,-50%)scale(1)}}@keyframes svelte-1d5ls2t-search-pulse{0%{opacity:.8;transform:translate(-50%,-50%)scale(.65)}to{opacity:0;transform:translate(-50%,-50%)scale(1.45)}}@media (width<=840px){.sequence-shell.svelte-1d5ls2t{min-height:0}.sequence-grid.svelte-1d5ls2t{grid-template-columns:1fr}.request-pane.svelte-1d5ls2t{min-height:342px}.proof-pane.svelte-1d5ls2t{min-height:380px}}@media (width<=560px){.window-bar.svelte-1d5ls2t{grid-template-columns:1fr auto;padding:0 15px}.request-id.svelte-1d5ls2t{display:none}.code-line.svelte-1d5ls2t{grid-template-columns:35px minmax(0,1fr);padding-right:12px}.request-code.svelte-1d5ls2t{font-size:.59rem}.proof-pane.svelte-1d5ls2t{min-height:360px;padding:24px 18px}.proof-graph.svelte-1d5ls2t{min-height:210px}.search-stats.svelte-1d5ls2t small:where(.svelte-1d5ls2t){min-height:2.3em}}@media (prefers-reduced-motion:reduce){.graph-node.svelte-1d5ls2t,.search-ring.svelte-1d5ls2t{animation:none}}.sequence-shell.svelte-10qcx1y{min-height:540px;color:var(--navy);background:#f7f9fa;border:1px solid #0519332e;border-radius:18px;overflow:hidden;box-shadow:0 30px 90px #0009183d,inset 0 1px #ffffffd9}.window-bar.svelte-10qcx1y{background:#ffffffc7;border-bottom:1px solid #0519331a;grid-template-columns:1fr auto 1fr;align-items:center;gap:16px;min-height:58px;padding:0 22px;font-size:.72rem;display:grid}.window-brand.svelte-10qcx1y,.branch.svelte-10qcx1y{align-items:center;display:flex}.window-brand.svelte-10qcx1y{gap:9px}.window-brand.svelte-10qcx1y img:where(.svelte-10qcx1y){width:86px;height:auto}.window-separator.svelte-10qcx1y{background:#7b8792;border-radius:50%;width:4px;height:4px}.window-brand.svelte-10qcx1y strong:where(.svelte-10qcx1y),.repository.svelte-10qcx1y,.branch.svelte-10qcx1y{letter-spacing:.06em;text-transform:uppercase}.window-brand.svelte-10qcx1y strong:where(.svelte-10qcx1y){color:#596878;font-family:var(--font-label);letter-spacing:.16em;font-size:.66rem;font-weight:500}.repository.svelte-10qcx1y{color:#6b7784;font-family:var(--font-mono);font-size:.64rem}.branch.svelte-10qcx1y{background:#fff;border:1px solid #cdd4da;border-radius:999px;justify-self:end;gap:7px;padding:7px 11px;font-weight:700;transition:border-color .24s,background .24s,color .24s}.branch-alert.svelte-10qcx1y{color:#a83f37;background:#fff5f3;border-color:#d6524866}.branch-fork.svelte-10qcx1y{font-size:.95rem;line-height:0}.sequence-grid.svelte-10qcx1y{grid-template-columns:minmax(0,1.08fr) minmax(350px,.92fr);min-height:482px;display:grid}.code-pane.svelte-10qcx1y{color:#d7e0e9;background:radial-gradient(circle at 0 0,#78cbbc21,#0000 34%),linear-gradient(145deg,#071d39,#03142b);grid-template-rows:auto 1fr auto;min-width:0;display:grid}.pane-label.svelte-10qcx1y{color:#bac7d2;min-height:50px;font-family:var(--font-mono);border-bottom:1px solid #ffffff14;justify-content:space-between;align-items:center;padding:0 22px;font-size:.7rem;display:flex}.language.svelte-10qcx1y{color:#74c9ba;letter-spacing:.1em}.code-lines.svelte-10qcx1y{font-family:var(--font-mono);align-self:center;padding:26px 0;font-size:clamp(.68rem,1vw,.82rem);line-height:1.9}.code-line.svelte-10qcx1y{border-left:3px solid #0000;grid-template-columns:50px minmax(0,1fr) auto;align-items:center;min-height:32px;padding:0 18px 0 0;transition:background .26s,border-color .26s,color .26s;display:grid;position:relative}.code-line.svelte-10qcx1y>span:where(.svelte-10qcx1y):first-child{color:#60748a;text-align:center;-webkit-user-select:none;user-select:none}.code-line.svelte-10qcx1y code:where(.svelte-10qcx1y){text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.code-line.svelte-10qcx1y code:where(.svelte-10qcx1y) i:where(.svelte-10qcx1y),.formal-claim.svelte-10qcx1y i:where(.svelte-10qcx1y){font-style:normal}.code-pane.svelte-10qcx1y .syntax-keyword:where(.svelte-10qcx1y){color:#d0a6eb}.code-pane.svelte-10qcx1y .syntax-function:where(.svelte-10qcx1y){color:#80c9bd}.code-pane.svelte-10qcx1y .syntax-type:where(.svelte-10qcx1y){color:#8eafe9}.code-pane.svelte-10qcx1y .syntax-constant:where(.svelte-10qcx1y){color:#e2bd79}.code-pane.svelte-10qcx1y .syntax-number:where(.svelte-10qcx1y){color:#e5a07e}.formal-claim.svelte-10qcx1y .syntax-operator:where(.svelte-10qcx1y){color:#8655a8}.formal-claim.svelte-10qcx1y .syntax-type:where(.svelte-10qcx1y){color:#2f6f9e}.formal-claim.svelte-10qcx1y .syntax-function:where(.svelte-10qcx1y){color:#247b69}.code-line.muted.svelte-10qcx1y{color:#8fa0b1}.error-line.svelte-10qcx1y{color:#fff;background:#d6524829;border-left-color:#e66a5e}.line-flag.svelte-10qcx1y{color:#ffb5aa;font-family:var(--font-sans);letter-spacing:.09em;text-transform:uppercase;background:#d6524826;border:1px solid #f4928580;border-radius:999px;padding:3px 7px;font-size:.55rem;font-weight:900;line-height:1}.code-footer.svelte-10qcx1y{color:#aebdca;border-top:1px solid #ffffff14;align-items:center;gap:9px;min-height:48px;padding:0 22px;font-size:.68rem;display:flex}.calm-dot.svelte-10qcx1y,.checking-dot.svelte-10qcx1y,.failed-dot.svelte-10qcx1y{border-radius:50%;width:7px;height:7px}.calm-dot.svelte-10qcx1y{background:#78cbbc;box-shadow:0 0 12px #78cbbcb3}.checking-dot.svelte-10qcx1y{background:#d7aa50;box-shadow:0 0 12px #d7aa50a6}.failed-dot.svelte-10qcx1y{background:#e66a5e;box-shadow:0 0 12px #e66a5ea6}.result-pane.svelte-10qcx1y{background:linear-gradient(90deg,#05193306 1px,#0000 1px) 0 0/38px 38px,linear-gradient(#05193306 1px,#0000 1px) 0 0/38px 38px,#f7f9fa;min-width:0;padding:clamp(26px,4vw,48px);display:grid}.result-state.svelte-10qcx1y{align-content:center;gap:20px;min-width:0;display:grid}.state-label.svelte-10qcx1y{color:#6d7b88;letter-spacing:.15em;text-transform:uppercase;font-size:.66rem;font-weight:900}.alert-label.svelte-10qcx1y{color:#aa443a}.test-stack.svelte-10qcx1y{gap:8px;display:grid}.test-row.svelte-10qcx1y{min-width:0;animation:svelte-10qcx1y-test-arrive .38s var(--delay) ease-out both;background:#ffffffe0;border:1px solid #d8dee3;border-radius:8px;align-items:center;gap:10px;padding:11px 12px;display:flex;box-shadow:0 5px 14px #0519330a}.test-row.svelte-10qcx1y code:where(.svelte-10qcx1y){color:#405265;text-overflow:ellipsis;white-space:nowrap;font-size:.66rem;overflow:hidden}.test-check.svelte-10qcx1y{color:#278866;background:#e5f5f1;border-radius:50%;flex:none;place-items:center;width:19px;height:19px;font-size:.65rem;font-weight:900;display:grid}.stack-summary.svelte-10qcx1y{color:#70808e;font-family:var(--font-display);grid-template-columns:1fr auto 1fr;align-items:center;gap:12px;font-size:1.1rem;display:grid}.stack-summary.svelte-10qcx1y strong:where(.svelte-10qcx1y){color:var(--navy);font-weight:600}.converge-arrow.svelte-10qcx1y{font-family:var(--font-sans)}.guarantee-card.svelte-10qcx1y,.issue-card.svelte-10qcx1y{background:#fff;border-radius:12px;padding:clamp(19px,3vw,28px);box-shadow:0 14px 38px #0519331a}.guarantee-card.svelte-10qcx1y{border:1px solid #d7aa5080;box-shadow:inset 4px 0 #d7aa50,0 14px 38px #0519331a}.issue-card.svelte-10qcx1y{border:1px solid #d652486b;box-shadow:inset 4px 0 #d65248,0 14px 38px #0519331a}.card-topline.svelte-10qcx1y{color:#667684;letter-spacing:.1em;justify-content:space-between;align-items:center;gap:12px;font-size:.59rem;font-weight:900;display:flex}.status.svelte-10qcx1y{border-radius:999px;padding:5px 8px}.status.checking.svelte-10qcx1y{color:#946c15;background:#fff6dd}.status.failed.svelte-10qcx1y{color:#aa443a;background:#fff0ed}.guarantee-card.svelte-10qcx1y p:where(.svelte-10qcx1y),.issue-card.svelte-10qcx1y h3:where(.svelte-10qcx1y){color:var(--navy);font-family:var(--font-display);margin:23px 0 18px;font-size:clamp(1.25rem,2vw,1.65rem);font-weight:600;line-height:1.12}.formal-claim.svelte-10qcx1y{overflow-wrap:anywhere;color:#526577;border-top:1px solid #e4e8eb;padding-top:16px;font-size:.65rem;line-height:1.6;display:block}.proof-progress.svelte-10qcx1y{grid-template-columns:repeat(4,1fr);gap:6px;display:grid}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y){background:#dbe1e5;border-radius:999px;height:3px;overflow:hidden}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):after{border-radius:inherit;content:"";background:#d7aa50;width:100%;height:100%;animation:1.8s ease-in-out infinite svelte-10qcx1y-progress-pulse;display:block;transform:translate(-100%)}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):nth-child(2):after{animation-delay:.18s}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):nth-child(3):after{animation-delay:.36s}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):nth-child(4):after{animation-delay:.54s}.result-state.svelte-10qcx1y>small:where(.svelte-10qcx1y){color:#73818d;font-size:.68rem;line-height:1.5}.issue-card.svelte-10qcx1y h3:where(.svelte-10qcx1y){margin-bottom:10px}.issue-card.svelte-10qcx1y>p:where(.svelte-10qcx1y){color:#687886;margin:0;font-size:.76rem;line-height:1.5}.counterexample.svelte-10qcx1y{color:#9d493f;letter-spacing:.07em;text-transform:uppercase;background:#fff3f0;border-radius:7px;justify-content:space-between;align-items:center;gap:12px;margin-top:20px;padding:11px 12px;font-size:.62rem;font-weight:900;display:flex}.counterexample.svelte-10qcx1y code:where(.svelte-10qcx1y){color:#913a32;letter-spacing:0;text-transform:none;font-size:.66rem}.release-gate.svelte-10qcx1y{border-top:1px solid #d8dee3;align-items:center;gap:12px;padding-top:17px;display:flex}.gate-cross.svelte-10qcx1y{color:#fff;background:#d65248;border-radius:50%;place-items:center;width:30px;height:30px;font-size:1.15rem;line-height:1;display:grid}.release-gate.svelte-10qcx1y>span:where(.svelte-10qcx1y):last-child{gap:2px;display:grid}.release-gate.svelte-10qcx1y strong:where(.svelte-10qcx1y){color:#923d35;font-size:.76rem}.release-gate.svelte-10qcx1y small:where(.svelte-10qcx1y){color:#798691;font-size:.62rem}@keyframes svelte-10qcx1y-test-arrive{0%{opacity:0;transform:translateY(7px)}to{opacity:1;transform:translateY(0)}}@keyframes svelte-10qcx1y-progress-pulse{0%{transform:translate(-100%)}55%,to{transform:translate(100%)}}@media (width<=840px){.sequence-shell.svelte-10qcx1y{min-height:660px}.window-bar.svelte-10qcx1y{grid-template-columns:1fr auto}.repository.svelte-10qcx1y{display:none}.sequence-grid.svelte-10qcx1y{grid-template-rows:300px minmax(320px,auto);grid-template-columns:1fr}.code-lines.svelte-10qcx1y{padding:10px 0;font-size:.66rem}.code-line.svelte-10qcx1y{min-height:27px;line-height:1.5}.code-footer.svelte-10qcx1y{min-height:38px}.result-pane.svelte-10qcx1y{min-height:320px;padding:24px}}@media (width<=520px){.window-bar.svelte-10qcx1y{min-height:52px;padding:0 12px}.window-brand.svelte-10qcx1y strong:where(.svelte-10qcx1y){display:none}.branch.svelte-10qcx1y{text-overflow:ellipsis;white-space:nowrap;max-width:170px;font-size:.58rem;overflow:hidden}.sequence-grid.svelte-10qcx1y{grid-template-rows:280px minmax(340px,auto)}.pane-label.svelte-10qcx1y,.code-footer.svelte-10qcx1y{padding-inline:14px}.code-line.svelte-10qcx1y{grid-template-columns:36px minmax(0,1fr);padding-right:8px}.line-flag.svelte-10qcx1y{display:none}.stack-summary.svelte-10qcx1y{font-size:.92rem}.counterexample.svelte-10qcx1y{flex-direction:column;align-items:flex-start}}@media (prefers-reduced-motion:reduce){.test-row.svelte-10qcx1y,.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):after{animation:none}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):after{transform:none}}.page-curve.svelte-1rx45ch{z-index:0;pointer-events:none;position:absolute;inset:0;overflow:hidden}.page-curve.svelte-1rx45ch svg:where(.svelte-1rx45ch){width:100%;height:100%}.curve-shadow.svelte-1rx45ch,.curve-line.svelte-1rx45ch{fill:none;vector-effect:non-scaling-stroke}.curve-shadow.svelte-1rx45ch{stroke:#05193309;stroke-width:72px}.curve-line.svelte-1rx45ch{stroke:#05193321;stroke-width:1.25px;stroke-dasharray:4 12;animation:24s linear infinite svelte-1rx45ch-curve-travel}.hero-curve.svelte-1rx45ch{width:min(52vw,690px);display:block;overflow:visible}.hero-ring.svelte-1rx45ch,.hero-path.svelte-1rx45ch,.hero-signal.svelte-1rx45ch{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round}.hero-ring.svelte-1rx45ch,.hero-path.svelte-1rx45ch{stroke-width:5px}.hero-ring.svelte-1rx45ch{opacity:.16}.hero-path.svelte-1rx45ch{stroke-dasharray:1700;stroke-dashoffset:1700px;animation:2.2s cubic-bezier(.22,.61,.36,1) .3s forwards svelte-1rx45ch-draw-curve}.hero-signal.svelte-1rx45ch{opacity:0;stroke-width:5px;stroke-dasharray:110 700;animation:5s ease-in-out 2.4s infinite both svelte-1rx45ch-signal-travel}.hero-node.svelte-1rx45ch{fill:var(--cream);stroke:currentColor;stroke-width:3px;opacity:0;transform-box:fill-box;transform-origin:50%;animation:.52s cubic-bezier(.16,1,.3,1) 2.4s forwards svelte-1rx45ch-node-arrive}.node-b.svelte-1rx45ch{animation-delay:2.7s}@keyframes svelte-1rx45ch-curve-travel{to{stroke-dashoffset:-160px}}@keyframes svelte-1rx45ch-draw-curve{to{stroke-dashoffset:0}}@keyframes svelte-1rx45ch-signal-travel{0%,15%{stroke-dashoffset:810px;opacity:0}35%,70%{opacity:.8}to{stroke-dashoffset:-120px;opacity:0}}@keyframes svelte-1rx45ch-node-arrive{0%{opacity:0;transform:scale(.15)}70%{opacity:1;transform:scale(1.24)}to{opacity:1;transform:scale(1)}}@media (width<=760px){.hero-curve.svelte-1rx45ch{width:min(115vw,620px)}.curve-shadow.svelte-1rx45ch{stroke-width:44px}}@media (prefers-reduced-motion:reduce){.curve-line.svelte-1rx45ch,.hero-path.svelte-1rx45ch,.hero-signal.svelte-1rx45ch,.hero-node.svelte-1rx45ch{animation:none}.hero-path.svelte-1rx45ch{stroke-dashoffset:0}.hero-signal.svelte-1rx45ch{opacity:.35}.hero-node.svelte-1rx45ch{opacity:1}}.site-footer.svelte-4jwo3w{background:var(--navy);color:var(--cream);border-top:1px solid #faf8f526}.site-footer.light.svelte-4jwo3w{border-top-color:var(--line);background:var(--cream);color:var(--navy)}.footer-inner.svelte-4jwo3w{grid-template-columns:1fr auto;gap:55px;padding-block:48px 38px;display:grid}.footer-inner.svelte-4jwo3w>img:where(.svelte-4jwo3w){width:158px;height:auto}.footer-inner.svelte-4jwo3w nav:where(.svelte-4jwo3w){align-items:start;gap:28px;display:flex}.footer-inner.svelte-4jwo3w nav:where(.svelte-4jwo3w) a:where(.svelte-4jwo3w),.footer-meta.svelte-4jwo3w{color:#faf8f594;letter-spacing:.07em;text-transform:uppercase;font-size:.6rem}.light.svelte-4jwo3w .footer-inner:where(.svelte-4jwo3w) nav:where(.svelte-4jwo3w) a:where(.svelte-4jwo3w),.light.svelte-4jwo3w .footer-meta:where(.svelte-4jwo3w){color:#05193394}.footer-inner.svelte-4jwo3w nav:where(.svelte-4jwo3w) a:where(.svelte-4jwo3w):hover{color:var(--cream)}.light.svelte-4jwo3w .footer-inner:where(.svelte-4jwo3w) nav:where(.svelte-4jwo3w) a:where(.svelte-4jwo3w):hover{color:var(--navy)}.footer-meta.svelte-4jwo3w{border-top:1px solid #faf8f51f;grid-column:1/-1;justify-content:space-between;padding-top:25px;display:flex}.light.svelte-4jwo3w .footer-meta:where(.svelte-4jwo3w){border-top-color:var(--line)}@media (width<=620px){.footer-inner.svelte-4jwo3w{grid-template-columns:1fr}.footer-inner.svelte-4jwo3w nav:where(.svelte-4jwo3w){flex-wrap:wrap}.footer-meta.svelte-4jwo3w{flex-direction:column;grid-column:1;align-items:flex-start;gap:10px}}.skip-link.svelte-a8kxe2{z-index:1000;background:var(--navy);color:var(--cream);padding:10px 14px;font-size:.72rem;position:fixed;top:16px;left:20px;transform:translateY(-150%)}.skip-link.svelte-a8kxe2:focus{transform:translateY(0)}.site-header.svelte-a8kxe2{z-index:100;background:var(--cream);border-bottom:1px solid #0519331c;position:fixed;inset:0 0 auto}.header-inner.svelte-a8kxe2{grid-template-columns:minmax(180px,1fr) auto minmax(180px,1fr);align-items:center;gap:30px;min-height:76px;display:grid}.brand-link.svelte-a8kxe2{width:154px}.brand-link.svelte-a8kxe2 img:where(.svelte-a8kxe2){width:100%;height:auto;display:block}.desktop-nav.svelte-a8kxe2{align-items:center;gap:clamp(19px,2.15vw,35px);display:flex}.desktop-nav.svelte-a8kxe2 a:where(.svelte-a8kxe2),.header-cta.svelte-a8kxe2{letter-spacing:.065em;text-transform:uppercase;font-size:.72rem;font-weight:900}.desktop-nav.svelte-a8kxe2 a:where(.svelte-a8kxe2){color:#051933a3;padding:28px 0;transition:color .18s;position:relative}.desktop-nav.svelte-a8kxe2 a:where(.svelte-a8kxe2):not(.action-link):after{background:var(--navy);content:"";transform-origin:100%;height:1px;transition:transform .2s;position:absolute;bottom:21px;left:0;right:0;transform:scaleX(0)}.desktop-nav.svelte-a8kxe2 a:where(.svelte-a8kxe2):hover,.desktop-nav.svelte-a8kxe2 a.active:where(.svelte-a8kxe2){color:var(--navy)}.desktop-nav.svelte-a8kxe2 a:where(.svelte-a8kxe2):not(.action-link):hover:after,.desktop-nav.svelte-a8kxe2 a:not(.action-link).active:where(.svelte-a8kxe2):after{transform-origin:0;transform:scaleX(1)}.desktop-nav.svelte-a8kxe2 .action-link:where(.svelte-a8kxe2){color:var(--navy);background:#0519330b;border:1px solid #0519332e;border-radius:999px;align-items:center;gap:8px;padding:9px 12px;transition:background .18s,color .18s;display:flex}.desktop-nav.svelte-a8kxe2 .action-link:where(.svelte-a8kxe2):hover{background:var(--navy);color:var(--cream)}.action-link.svelte-a8kxe2 svg{transition:transform .18s}.action-link.svelte-a8kxe2:hover svg{transform:scale(1.12)}.header-cta.svelte-a8kxe2{border:1px solid var(--navy);background:var(--navy);min-height:40px;color:var(--cream);border-radius:999px;justify-self:end;align-items:center;gap:13px;padding:0 16px;transition:background .18s,color .18s;display:flex}.header-cta.svelte-a8kxe2:hover{color:var(--navy);background:0 0}.menu-toggle.svelte-a8kxe2,.mobile-nav.svelte-a8kxe2{display:none}@media (width<=1180px){.header-inner.svelte-a8kxe2{grid-template-columns:1fr auto auto}.desktop-nav.svelte-a8kxe2{display:none}.menu-toggle.svelte-a8kxe2{border:1px solid var(--line);background:0 0;border-radius:50%;place-content:center;gap:6px;width:39px;height:39px;display:grid}.menu-toggle.svelte-a8kxe2 span:where(.svelte-a8kxe2){background:var(--navy);width:15px;height:1px;transition:transform .18s}.menu-open.svelte-a8kxe2 .menu-toggle:where(.svelte-a8kxe2) span:where(.svelte-a8kxe2):first-child{transform:translateY(3.5px)rotate(45deg)}.menu-open.svelte-a8kxe2 .menu-toggle:where(.svelte-a8kxe2) span:where(.svelte-a8kxe2):last-child{transform:translateY(-3.5px)rotate(-45deg)}.mobile-nav.svelte-a8kxe2{border-top:1px solid var(--line);background:var(--cream);min-height:calc(100svh - 76px);padding:45px var(--page-gutter);align-content:center;display:grid}.mobile-nav.svelte-a8kxe2>a:where(.svelte-a8kxe2):not(.mobile-cta){border-bottom:1px solid var(--line);font-family:var(--font-display);align-items:baseline;gap:24px;padding:17px 0;font-size:clamp(2.4rem,7vw,4rem);line-height:1;display:flex}.mobile-nav.svelte-a8kxe2>a:where(.svelte-a8kxe2)>span:where(.svelte-a8kxe2){color:#05193366;font-family:var(--font-mono);font-size:.55rem}.mobile-cta.svelte-a8kxe2{background:var(--navy);width:fit-content;min-height:48px;color:var(--cream);letter-spacing:.08em;text-transform:uppercase;border-radius:999px;align-items:center;gap:30px;margin-top:40px;padding:0 18px;font-size:.67rem;font-weight:900;display:flex}}@media (width<=620px){.header-inner.svelte-a8kxe2{grid-template-columns:1fr auto;gap:14px;min-height:68px}.brand-link.svelte-a8kxe2{width:140px}.header-cta.svelte-a8kxe2{display:none}.mobile-nav.svelte-a8kxe2{min-height:calc(100svh - 68px)}}