.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:3px;height:3px}.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{stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.25px;width:14px;height:14px;overflow:visible}.branch-fork.svelte-10qcx1y circle:where(.svelte-10qcx1y),.branch-fork.svelte-10qcx1y path:where(.svelte-10qcx1y){fill:none}.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:"";opacity:0;transform-origin:0;background:#d7aa50;width:100%;height:100%;display:block;transform:scaleX(0)}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):first-child:after{animation:3.2s linear infinite svelte-10qcx1y-verification-segment-one}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):nth-child(2):after{animation:3.2s linear infinite svelte-10qcx1y-verification-segment-two}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):nth-child(3):after{animation:3.2s linear infinite svelte-10qcx1y-verification-segment-three}.proof-progress.svelte-10qcx1y span:where(.svelte-10qcx1y):nth-child(4):after{animation:3.2s linear infinite svelte-10qcx1y-verification-segment-four}.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-verification-segment-one{0%{opacity:1;transform:scaleX(0)}20%,90%{opacity:1;transform:scaleX(1)}97%,to{opacity:0;transform:scaleX(0)}}@keyframes svelte-10qcx1y-verification-segment-two{0%,20%{opacity:1;transform:scaleX(0)}40%,90%{opacity:1;transform:scaleX(1)}97%,to{opacity:0;transform:scaleX(0)}}@keyframes svelte-10qcx1y-verification-segment-three{0%,40%{opacity:1;transform:scaleX(0)}60%,90%{opacity:1;transform:scaleX(1)}97%,to{opacity:0;transform:scaleX(0)}}@keyframes svelte-10qcx1y-verification-segment-four{0%,60%{opacity:1;transform:scaleX(0)}80%,90%{opacity:1;transform:scaleX(1)}97%,to{opacity:0;transform:scaleX(0)}}@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}.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 (width<=360px){.window-brand.svelte-10qcx1y strong:where(.svelte-10qcx1y),.window-separator.svelte-10qcx1y{display:none}}@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{opacity:1;transform:scaleX(1)}}