@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/runtime-diff/frontend/assets/geist-cyrillic-wght-normal-CHSlOQsW.woff2) format("woff2-variations");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/runtime-diff/frontend/assets/geist-latin-ext-wght-normal-DMtmJ5ZE.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/runtime-diff/frontend/assets/geist-latin-wght-normal-Dm3htQBi.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/runtime-diff/frontend/assets/geist-mono-cyrillic-wght-normal-BZdD_g9V.woff2) format("woff2-variations");unicode-range:U+0301,U+0400-045F,U+0490-0491,U+04B0-04B1,U+2116}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/runtime-diff/frontend/assets/geist-mono-latin-ext-wght-normal-b6lpi8_2.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/runtime-diff/frontend/assets/geist-mono-latin-wght-normal-Cjtb1TV-.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{--surface: #fafafa;--card: #ffffff;--border: #e4e4e7;--border-strong: #d4d4d8;--text: #18181b;--text-muted: #71717a;--text-subtle: #a1a1aa;--accent: #059669;--accent-fg: #ffffff;--accent-soft: #ecfdf5;--warn: #f59e0b;--error: #ef4444;--error-soft: #fef2f2;--diff-add-bg: #ecfdf5;--diff-add-fg: #065f46;--diff-del-bg: #fef2f2;--diff-del-fg: #991b1b;--diff-hunk-bg: #f4f4f5;--diff-hunk-fg: #71717a;--ink-muted: #a1a1aa;--ink-soft: #52525b;--font-sans: "Geist Variable", system-ui, sans-serif;--font-mono: "Geist Mono Variable", ui-monospace, monospace;--s1: 4px;--s2: 8px;--s3: 12px;--s4: 16px;--s5: 24px;--s6: 32px;--s7: 48px;--s8: 64px;--r-sm: 6px;--r-md: 8px;color-scheme:light}:root[data-theme=dark]{--surface: #09090b;--card: #18181b;--border: #27272a;--border-strong: #3f3f46;--text: #fafafa;--text-muted: #a1a1aa;--text-subtle: #71717a;--accent: #10b981;--accent-soft: #022c22;--warn: #fbbf24;--error: #f87171;--error-soft: #2a0d0d;--diff-add-bg: rgba(16, 185, 129, .14);--diff-add-fg: #6ee7b7;--diff-del-bg: rgba(248, 113, 113, .14);--diff-del-fg: #fca5a5;--diff-hunk-bg: #1f1f23;--diff-hunk-fg: #a1a1aa;--ink-muted: #71717a;--ink-soft: #a1a1aa;color-scheme:dark}*,*:before,*:after{box-sizing:border-box}html,body{margin:0;padding:0}body{background:var(--surface);color:var(--text);font-family:var(--font-sans);font-feature-settings:"cv11","ss01";-webkit-font-smoothing:antialiased;font-size:16px;line-height:1.5}button{font-family:inherit;cursor:pointer}.btn-primary{background:var(--accent);color:var(--accent-fg);border:1px solid var(--accent);padding:8px 14px;border-radius:var(--r-sm);font-size:14px;font-weight:500;transition:background .15s ease-out,opacity .15s ease-out}.btn-primary:hover:not(:disabled){opacity:.92}.btn-primary:disabled{opacity:.5;cursor:not-allowed}.btn-primary--soft{background:var(--accent-soft);color:var(--accent);border-color:var(--accent-soft)}.btn-primary--soft:hover:not(:disabled){opacity:1;background:color-mix(in srgb,var(--accent-soft) 80%,var(--accent) 20%)}.btn-secondary{background:transparent;color:var(--text);border:1px solid var(--border);padding:8px 14px;border-radius:var(--r-sm);font-size:14px;font-weight:500;transition:border-color .15s ease-out,background .15s ease-out}.btn-secondary:hover{border-color:var(--border-strong);background:var(--card)}.btn-ghost{background:transparent;color:var(--text-muted);border:none;padding:6px 10px;border-radius:var(--r-sm);font-size:14px;transition:color .15s ease-out,background .15s ease-out}.btn-ghost:hover{color:var(--text);background:var(--card)}.card{background:var(--card);border:1px solid var(--border);border-radius:var(--r-md);padding:var(--s4);position:relative}:root[data-theme=dark] .card:before{content:"";position:absolute;top:0;left:1px;right:1px;height:1px;background:linear-gradient(to right,transparent,rgba(255,255,255,.06),transparent);border-radius:var(--r-md) var(--r-md) 0 0;pointer-events:none}.code-surface,.code-input{background:var(--card);border:1px solid var(--border);border-radius:var(--r-md);font-family:var(--font-mono);font-size:13px;line-height:1.55;color:var(--text);padding:var(--s4);margin:0;overflow-x:auto;white-space:pre}.code-input{width:100%;resize:vertical;outline:none}.code-input:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.label-mono{font-family:var(--font-mono);font-size:11px;letter-spacing:.04em;color:var(--text-muted);text-transform:uppercase;font-weight:500}.app-container{max-width:1200px;margin:0 auto;padding:0 var(--s5)}@keyframes shimmer{0%{opacity:.5}50%{opacity:.9}to{opacity:.5}}.shimmer{animation:shimmer 1.4s ease-in-out infinite}@keyframes fadeSlide{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.fade-slide{animation:fadeSlide .25s ease-out}kbd{font-family:var(--font-mono);font-size:11px;padding:1px 6px;background:var(--surface);border:1px solid var(--border);border-radius:4px;color:var(--text-muted)}.demo-pill{background:var(--card);color:var(--text);border:1px solid var(--border);border-radius:9999px;padding:6px 12px;font-size:13px;font-weight:500;transition:border-color .15s ease-out}.demo-pill:hover{border-color:var(--border-strong)}.workspace{display:flex;flex-direction:column;gap:var(--s3)}.workspace__hint{margin:0;color:var(--text-muted);text-transform:none;letter-spacing:0;font-family:var(--font-sans);font-size:13px}.workspace__actions{display:flex;gap:var(--s2);align-items:center;flex-wrap:wrap;margin-top:var(--s3)}.edit-toolbar{display:flex;justify-content:flex-end;margin-bottom:var(--s2)}.split-editor{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:var(--s3)}.split-editor__pane{min-width:0}.split-editor__cm .cm-editor{border:1px solid var(--border);border-radius:var(--r-sm);font-size:13px;background:var(--card);min-height:240px}.split-editor__cm .cm-editor.cm-focused{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.split-editor__cm .cm-scroller{font-family:var(--font-mono)}.split-editor__cm .cm-gutters{background:transparent;border-right:1px solid var(--border);color:var(--text-subtle)}.split-editor__cm .cm-placeholder{color:var(--text-subtle);font-style:italic}.tabs{display:flex;flex-wrap:wrap;gap:var(--s2);align-items:center;margin-bottom:var(--s3)}.tabs__demos{display:flex;gap:var(--s2);flex-wrap:wrap}.tabs__divider{flex:0 0 1px;align-self:stretch;background:var(--border);margin:0 var(--s2)}.tab{background:transparent;border:1px solid var(--border);color:var(--text-muted);border-radius:9999px;padding:6px 14px;font-size:13px;font-weight:500;font-family:var(--font-mono);letter-spacing:-.01em;transition:border-color .15s ease-out,color .15s ease-out,background .15s ease-out;white-space:nowrap}.tab:hover{border-color:var(--border-strong);color:var(--text)}.tab[aria-selected=true]{background:var(--accent);border-color:var(--accent);color:var(--accent-fg);box-shadow:0 1px 2px #05966940}.diff-preview{margin-top:var(--s3)}.diff-preview__label{margin-bottom:var(--s2)}.comparison-card{display:flex;flex-direction:column;gap:var(--s3)}.comparison-card__label{color:var(--text-muted)}.comparison-card__summary{font-size:14px;line-height:1.55;color:var(--text)}.comparison-card__weakness{margin-top:auto;padding-top:var(--s3);border-top:1px dashed var(--border);font-size:13px;color:var(--text-muted)}.comparison-card__weakness .label-mono{display:block;margin-bottom:var(--s1)}.results-empty{text-align:center;color:var(--text-subtle);font-size:13px;padding:var(--s4) 0}.results-empty span{margin-right:var(--s2)}.spreadsheet{overflow-x:auto;border:1px solid var(--border);border-radius:var(--r-sm);background:var(--card)}.spreadsheet__table{border-collapse:collapse;width:100%;font-size:13px}.spreadsheet__th{padding:6px 12px;background:var(--surface);color:var(--text-muted);font-family:var(--font-mono);font-size:11px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;text-align:left;cursor:pointer;-webkit-user-select:none;user-select:none;white-space:nowrap;border-right:1px solid var(--border);border-bottom:1px solid var(--border)}.spreadsheet__th[data-numeric]{text-align:right}.spreadsheet__th:last-child{border-right:none}.spreadsheet__td{padding:5px 12px;border-bottom:1px solid var(--border);border-right:1px solid var(--border);text-align:left;color:var(--text);font-family:var(--font-sans)}.spreadsheet__td[data-numeric]{text-align:right;font-family:var(--font-mono);font-variant-numeric:tabular-nums}.spreadsheet__td[data-null]{color:var(--text-subtle);font-style:italic}.spreadsheet__td:last-child{border-right:none}.spreadsheet tbody tr:last-child .spreadsheet__td{border-bottom:none}.text-output{position:relative}.text-output__pre{margin:0;font-family:var(--font-mono);font-size:12.5px;line-height:1.55;background:var(--surface);color:var(--text);padding:var(--s3) calc(var(--s3) + 32px) var(--s3) var(--s3);border:1px solid var(--border);border-radius:var(--r-sm);white-space:pre-wrap;word-break:break-all}.text-output__copy{position:absolute;top:6px;right:6px;background:transparent;border:none;color:var(--text-subtle);cursor:pointer;font-size:11px;font-family:var(--font-mono);padding:2px 6px;border-radius:4px}.text-output__copy:hover{color:var(--text);background:var(--border)}.text-output__copy[data-copied]{color:var(--accent)}.scenario-card{padding:var(--s5)}.scenario-card__header{display:flex;justify-content:space-between;align-items:center;gap:var(--s2);margin-bottom:var(--s3)}.scenario-card__headline{font-size:16px;font-weight:500;line-height:1.4;color:var(--text);margin-bottom:var(--s2)}.scenario-card[data-verdict=broken]{border-left:3px solid var(--error)}.scenario-card[data-verdict=assertion_error]{border-left:3px solid var(--warn)}.scenario-card[data-verdict=hold]{border-left:3px solid var(--accent)}.grounding-line{font-size:12px;color:var(--text-muted);font-family:var(--font-mono);margin-bottom:var(--s3)}.scenario-card__expand{background:transparent;border:none;color:var(--text-muted);font-size:12px;padding:0;cursor:pointer;text-decoration:underline;text-decoration-color:var(--border);text-underline-offset:3px}.scenario-card__expand:hover{color:var(--text)}.scenario-card__details{margin-top:var(--s4);padding-top:var(--s4);border-top:1px solid var(--border)}.scenario-card__row{display:flex;justify-content:space-between;align-items:center;margin-bottom:var(--s2)}.scenario-card__row-actions{display:flex;gap:var(--s2)}.scenario-card__panes{display:flex;gap:var(--s3);flex-wrap:wrap;margin-top:var(--s4)}.kind-pill{font-family:var(--font-mono);font-size:11px;letter-spacing:.02em;padding:2px 8px;border-radius:4px;border:1px solid var(--border);color:var(--text-muted);background:var(--surface)}.kind-pill[data-kind=differential]{color:var(--accent);border-color:var(--accent);background:var(--accent-soft)}.kind-pill[data-kind=preserved]{color:#0e7490;border-color:#0e7490;background:#0e74901a}.kind-pill[data-kind=round-trip]{color:#6366f1;border-color:#6366f1;background:#6366f11a}.kind-pill[data-kind=idempotence]{color:#ea580c;border-color:#ea580c;background:#ea580c1a}.kind-pill[data-kind=metamorphic]{color:#c026d3;border-color:#c026d3;background:#c026d31a}.verdict-badge{font-family:var(--font-mono);font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.04em;padding:2px 8px;border-radius:9999px}.verdict-badge[data-verdict=hold]{color:var(--accent);background:var(--accent-soft)}.verdict-badge[data-verdict=broken]{color:var(--error);background:var(--error-soft)}.verdict-badge[data-verdict=assertion_error]{color:var(--warn);background:#f59e0b1f}.verdict-badge-group{display:inline-flex;align-items:center;gap:var(--s2)}.verdict-badge[data-was]{opacity:.55;text-decoration:line-through}.assertion-display{display:flex;justify-content:space-between;align-items:center;width:100%;background:var(--card);border:1px dashed var(--border);border-radius:var(--r-sm);padding:var(--s3);cursor:pointer;text-align:left;font:inherit;transition:border-color .15s ease-out}.assertion-display:hover{border-color:var(--accent);border-style:solid}.assertion-display code{font-family:var(--font-mono);font-size:13px;color:var(--text)}.assertion-display__edit-hint{font-size:11px;color:var(--text-subtle);font-style:italic;margin-left:var(--s3);flex-shrink:0}.scenario-card__try-row{display:flex;gap:var(--s2);margin-top:var(--s3);align-items:center;flex-wrap:wrap}.scenario-card__hint{flex:1;min-width:200px;background:var(--card);border:1px solid var(--border);border-radius:var(--r-sm);padding:6px var(--s3);font-family:var(--font-sans);font-size:13px;color:var(--text);outline:none}.scenario-card__hint:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.scenario-card__hint:disabled{opacity:.6;cursor:not-allowed}.btn-xs{font-size:12px;padding:4px 10px}.side-pane{flex:1;min-width:0;border:1px solid var(--border);border-radius:var(--r-sm);background:var(--card);padding:var(--s3)}.side-pane[data-error=true]{border-color:var(--error);background:var(--error-soft)}.side-pane__label{margin-bottom:var(--s2);color:var(--text-muted)}.side-pane__label[data-error=true]{color:var(--error)}.side-pane__error{font-family:var(--font-mono);font-size:13px;color:var(--error)}.side-pane__error-msg{margin-top:4px;white-space:pre-wrap}.side-pane__explanation{margin-top:var(--s2);padding-top:var(--s2);border-top:1px dashed var(--error);font-family:var(--font-sans);font-size:13px;font-style:italic;color:var(--text-muted);white-space:normal}.side-pane__explanation[data-loading=true]{opacity:.7}@media (max-width: 768px){.workspace-grid{grid-template-columns:1fr!important;gap:var(--s4)!important}.hero-title{font-size:32px!important}.header-nav-extra,.header-tagline{display:none}.split-editor{grid-template-columns:1fr}.tabs{flex-wrap:nowrap;overflow-x:auto;scrollbar-width:thin;-webkit-overflow-scrolling:touch}.tabs__demos{flex-wrap:nowrap}}