._pill_1k5kk_5{border-radius:var(--vernant-radius-sm,4px);font-family:var(--vernant-font-mono);font-size:var(--vernant-text-caption-size,12px);cursor:pointer;vertical-align:baseline;color:var(--vernant-accent,#60a5fa);background:0 0;border:1px solid #0000;justify-content:center;align-items:center;padding:1px 6px;font-weight:600;line-height:1.4;display:inline-flex;position:relative}._pill_1k5kk_5:focus-visible{outline:2px solid var(--vernant-accent,#60a5fa);outline-offset:2px}._pill--live_1k5kk_31{color:var(--vernant-accent,#2563eb);border-color:var(--vernant-accent,#2563eb);background-color:color-mix(in srgb, var(--vernant-accent,#2563eb) 10%, transparent)}._pill--cached_1k5kk_37{color:var(--vernant-text-secondary,#94a3b8);border-color:var(--vernant-text-secondary,#94a3b8);background-color:var(--vernant-bg-elevated,#ffffff0a);border-style:dashed}._pill--retracted_1k5kk_44{color:var(--vernant-error,#dc2626);border-color:var(--vernant-error,#dc2626);background-color:color-mix(in srgb, var(--vernant-error,#dc2626) 5%, transparent);text-decoration:line-through}._pill--unavailable_1k5kk_51{color:var(--vernant-text-tertiary,#9ca3af);border-color:var(--vernant-border-default,#ffffff26);cursor:not-allowed;opacity:.6}._is-navigation-disabled_1k5kk_59{cursor:not-allowed;opacity:.6}._container_oqhyb_2{background:#ffffff0a;border:1px solid #ffffff1f;border-radius:12px;width:100%;padding:12px;position:relative;overflow:hidden}._container_oqhyb_2 canvas{width:100%;max-width:100%}._calcAsserted_55gq7_5{display:inline}._calcDerived_55gq7_9{border-bottom:2px solid var(--vernant-accent,#3b82f6);display:inline}._calcModeled_55gq7_14{border-bottom:2px dashed var(--vernant-warning,#ca8a04);display:inline}._calcModeledUnverified_55gq7_19{border-bottom:2px dashed var(--vernant-error,#dc2626);background-color:color-mix(in srgb, var(--vernant-error,#dc2626) 5%, transparent);display:inline}._chipGlyph_55gq7_25{margin-left:var(--vernant-spacing-1,4px);padding:0 var(--vernant-spacing-1,4px);font-size:var(--vernant-text-caption-size,.75rem);font-family:var(--vernant-font-mono,monospace);border:1px solid var(--vernant-border-default,#ffffff26);border-radius:var(--vernant-radius-sm,4px);background:var(--vernant-bg-surface,#ffffff0a);color:var(--vernant-text-secondary,#94a3b8);cursor:pointer;vertical-align:middle;justify-content:center;align-items:center;min-width:1.5em;height:1.25em;font-weight:600;line-height:1;display:inline-flex}._chipGlyph_55gq7_25:hover{background:var(--vernant-bg-subtle,#ffffff14);border-color:var(--vernant-accent,#60a5fa);color:var(--vernant-accent,#60a5fa)}._chipGlyph_55gq7_25:focus-visible{outline:2px solid var(--vernant-accent,#60a5fa);outline-offset:1px}._is-navigation-disabled_55gq7_56{cursor:not-allowed;opacity:.5}._is-navigation-disabled_55gq7_56:hover{background:var(--vernant-bg-surface,#ffffff0a);border-color:var(--vernant-border-default,#ffffff26);color:var(--vernant-text-secondary,#94a3b8)}._unverifiedWarning_55gq7_67{align-items:center;gap:var(--vernant-spacing-1,4px);padding:var(--vernant-spacing-1,4px) var(--vernant-spacing-2,8px);background:color-mix(in srgb, var(--vernant-error,#dc2626) 5%, transparent);border:1px solid var(--vernant-error,#dc2626);border-radius:var(--vernant-radius-sm,4px);color:var(--vernant-error,#dc2626);font-size:var(--vernant-text-caption-size,.75rem);font-weight:500;display:inline-flex}._panel_1ku5e_7{background:#ffffff0d;border:1px solid #ffffff1a;border-radius:12px;flex-direction:column;gap:8px;margin-top:12px;padding:12px 16px;display:flex}._row_1ku5e_18{align-items:baseline;gap:10px;font-size:13px;display:flex}._label_1ku5e_25{color:#64748b;letter-spacing:.3px;text-transform:uppercase;flex-shrink:0;min-width:120px;font-size:11px}._confidenceWrap_1ku5e_35{align-items:center;gap:8px;display:flex}._confidenceText_1ku5e_41{color:#e2e8f0;min-width:36px;font-weight:600}._confidenceTrack_1ku5e_47{background:#ffffff1a;border-radius:2px;flex:1;height:4px;overflow:hidden}._confidenceFill_1ku5e_55{background:#60a5fa;border-radius:2px;height:100%;transition:width .2s}._alignmentValue_1ku5e_64{color:#e2e8f0;align-items:center;gap:6px;display:flex}._glyph_1ku5e_71{font-family:monospace;font-weight:700}._alignmentSupports_1ku5e_78{color:#86efac}._alignmentInconclusive_1ku5e_81{color:#fde68a}._alignmentContradicts_1ku5e_84{color:#fca5a5}._corroborationValue_1ku5e_89{align-items:center;gap:8px;display:flex}._corroborationScore_1ku5e_95{color:#e2e8f0;font-weight:600}._corroborationMethod_1ku5e_100{color:#64748b;font-size:11px}._trustDegradedBadge_1ku5e_106{color:#fca5a5;background:#f871711f;border:1px solid #f8717166;border-radius:999px;align-items:center;gap:6px;padding:2px 10px;font-size:12px;font-weight:600;display:inline-flex}._tierText_1ku5e_121{color:#94a3b8;margin-left:4px;font-size:11px}:root{--vernant-bg-base:#fafaf9;--vernant-bg-surface:#fff;--vernant-bg-elevated:#fff;--vernant-bg-subtle:#f5f5f3;--vernant-border-default:#e8e6e1;--vernant-text-primary:#1c1c1a;--vernant-text-secondary:#6b6b66;--vernant-text-tertiary:#5e5e63;--vernant-accent:#2563eb;--vernant-success:#16a34a;--vernant-success-text:#166534;--vernant-warning:#ca8a04;--vernant-warning-text:#92400e;--vernant-error:#dc2626;--vernant-info:#2563eb;--vernant-accent-on:#fff;--vernant-text-on-accent:#fff;--vernant-scrim:#0006;--vernant-tier1-bg:#eff6ff;--vernant-tier1-border:transparent;--vernant-tier2-bg:#f8fafc;--vernant-tier2-border:#94a3b8;--vernant-tier3-bg:#fafaf9;--vernant-tier3-border:#a3a39e;--vernant-tier4-bg:#fafaf9cc;--vernant-tier4-border:#d4d4cf;--vernant-branch-1:#6366f1;--vernant-branch-2:#0ea5e9;--vernant-branch-3:#10b981;--vernant-branch-4:#f59e0b;--vernant-branch-5:#ef4444;--vernant-branch-6:#8b5cf6;--vernant-branch-7:#ec4899;--vernant-branch-8:#14b8a6;--vernant-font-sans:"Geist Sans", system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;--vernant-font-mono:"Geist Mono", ui-monospace, "Cascadia Code", Consolas, monospace;--vernant-text-display-size:28px;--vernant-text-display-leading:36px;--vernant-text-display-weight:600;--vernant-text-heading-1-size:22px;--vernant-text-heading-1-leading:28px;--vernant-text-heading-1-weight:600;--vernant-text-heading-2-size:18px;--vernant-text-heading-2-leading:24px;--vernant-text-heading-2-weight:600;--vernant-text-heading-3-size:16px;--vernant-text-heading-3-leading:22px;--vernant-text-heading-3-weight:500;--vernant-text-body-size:14px;--vernant-text-body-leading:20px;--vernant-text-body-weight:400;--vernant-text-body-small-size:13px;--vernant-text-body-small-leading:18px;--vernant-text-body-small-weight:400;--vernant-text-caption-size:12px;--vernant-text-caption-leading:16px;--vernant-text-caption-weight:400;--vernant-text-mono-size:13px;--vernant-text-mono-leading:18px;--vernant-text-mono-weight:400;--vernant-spacing-0:0;--vernant-spacing-1:4px;--vernant-spacing-2:8px;--vernant-spacing-3:12px;--vernant-spacing-4:16px;--vernant-spacing-5:20px;--vernant-spacing-6:24px;--vernant-spacing-8:32px;--vernant-spacing-10:40px;--vernant-spacing-12:48px;--vernant-spacing-16:64px;--vernant-radius-sm:4px;--vernant-radius-md:8px;--vernant-radius-lg:12px;--vernant-radius-full:9999px;--vernant-shadow-sm:0 1px 2px 0 #0000000d;--vernant-shadow-md:0 4px 6px -1px #0000001a, 0 2px 4px -2px #0000001a;--vernant-shadow-lg:0 10px 15px -3px #0000001a, 0 4px 6px -4px #0000001a;--vernant-transition-micro:80ms;--vernant-transition-panel:.15s;--vernant-transition-page:.3s;--vernant-transition-easing:ease-out;--vernant-focus-ring-width:2px;--vernant-focus-ring-offset:2px;--vernant-bg-overlay:#00000080;--text:var(--vernant-text-secondary);--text-h:var(--vernant-text-primary);--bg:var(--vernant-bg-base);--border:var(--vernant-border-default);--code-bg:var(--vernant-bg-subtle);--accent:var(--vernant-accent);--accent-bg:color-mix(in srgb, var(--vernant-accent) 10%, transparent);--accent-border:color-mix(in srgb, var(--vernant-accent) 50%, transparent);--social-bg:color-mix(in srgb, var(--vernant-bg-subtle) 50%, transparent);--shadow:var(--vernant-shadow-lg);--sans:var(--vernant-font-sans);--heading:var(--vernant-font-sans);--mono:var(--vernant-font-mono)}:root.dark,html.dark{--vernant-bg-base:#0f0f10;--vernant-bg-surface:#1a1a1e;--vernant-bg-elevated:#252529;--vernant-bg-subtle:#2e2e33;--vernant-border-default:#2e2e33;--vernant-text-primary:#e8e8ed;--vernant-text-secondary:#9a9a9f;--vernant-text-tertiary:#5e5e63;--vernant-accent:#3b82f6;--vernant-success:#22c55e;--vernant-success-text:#4ade80;--vernant-warning:#eab308;--vernant-warning-text:#fbbf24;--vernant-error:#ef4444;--vernant-info:#3b82f6;--vernant-accent-on:#fff;--vernant-text-on-accent:#fff;--vernant-scrim:#0009;--vernant-tier1-bg:#1a2840;--vernant-tier1-border:transparent;--vernant-tier2-bg:#1c2028;--vernant-tier2-border:#475569;--vernant-tier3-bg:#1a1a1f;--vernant-tier3-border:#52524e;--vernant-tier4-bg:#171719cc;--vernant-tier4-border:#3e3e3a;--vernant-shadow-sm:0 1px 2px 0 #0003;--vernant-shadow-md:0 4px 6px -1px #0000004d, 0 2px 4px -2px #0000004d;--vernant-shadow-lg:0 10px 15px -3px #0000004d, 0 4px 6px -4px #0000004d;--vernant-bg-overlay:#000000b3}@media (prefers-color-scheme:dark){:root:not(.light){--vernant-bg-base:#0f0f10;--vernant-bg-surface:#1a1a1e;--vernant-bg-elevated:#252529;--vernant-bg-subtle:#2e2e33;--vernant-border-default:#2e2e33;--vernant-text-primary:#e8e8ed;--vernant-text-secondary:#9a9a9f;--vernant-text-tertiary:#5e5e63;--vernant-accent:#3b82f6;--vernant-success:#22c55e;--vernant-success-text:#4ade80;--vernant-warning:#eab308;--vernant-warning-text:#fbbf24;--vernant-error:#ef4444;--vernant-info:#3b82f6;--vernant-tier1-bg:#1a2840;--vernant-tier2-bg:#1c2028;--vernant-tier3-bg:#1a1a1f;--vernant-tier4-bg:#171719cc;--vernant-tier1-border:transparent;--vernant-tier2-border:#475569;--vernant-tier3-border:#52524e;--vernant-tier4-border:#3e3e3a;--vernant-scrim:#0009;--vernant-bg-overlay:#000000b3}#social .button-icon{filter:invert()brightness(2)}}html{transition:background-color var(--vernant-transition-panel) var(--vernant-transition-easing), color var(--vernant-transition-panel) var(--vernant-transition-easing), border-color var(--vernant-transition-panel) var(--vernant-transition-easing)}@media (prefers-reduced-motion:reduce){html{transition:none}}body{background:var(--vernant-bg-base);color:var(--vernant-text-primary);font-family:var(--vernant-font-sans);font-size:var(--vernant-text-body-size);line-height:var(--vernant-text-body-leading);margin:0}#app{text-align:center;border-inline:1px solid var(--vernant-border-default);box-sizing:border-box;flex-direction:column;width:1126px;max-width:100%;min-height:100svh;margin:0 auto;display:flex}h1,h2{font-family:var(--vernant-font-sans);color:var(--vernant-text-primary);letter-spacing:-.01em}h1{font-size:var(--vernant-text-display-size);line-height:var(--vernant-text-display-leading);font-weight:var(--vernant-text-display-weight);margin:var(--vernant-spacing-8) 0}h2{font-size:var(--vernant-text-heading-1-size);line-height:var(--vernant-text-heading-1-leading);font-weight:var(--vernant-text-heading-1-weight);margin:0 0 var(--vernant-spacing-2)}p{margin:0}code,.counter{font-family:var(--vernant-font-mono);border-radius:var(--vernant-radius-sm);color:var(--vernant-text-primary);display:inline-flex}code{font-size:var(--vernant-text-mono-size);line-height:var(--vernant-text-mono-leading);padding:var(--vernant-spacing-1) var(--vernant-spacing-2);background:var(--vernant-bg-subtle)}:focus-visible{outline:var(--vernant-focus-ring-width) solid var(--vernant-accent);outline-offset:var(--vernant-focus-ring-offset);transition:outline-color var(--vernant-transition-micro) var(--vernant-transition-easing)}:focus:not(:focus-visible){outline:none}@media (width<=640px){.vernant-conflict-claims-grid{grid-template-columns:1fr!important}}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.px-shell-container{container:proof-explorer/inline-size}@container proof-explorer (width<=639px){.px-shell-container [data-testid=px-main]{overflow-x:hidden}}.streaming-arrival-toast{min-height:40px;padding:0 var(--vernant-spacing-4);border:1px solid var(--vernant-accent);border-radius:var(--vernant-radius-sm);background:var(--vernant-bg-elevated);color:var(--vernant-text-primary);box-shadow:var(--vernant-shadow-lg);cursor:pointer;font-family:var(--vernant-font-sans);font-size:var(--vernant-text-body-small-size);font-weight:600}.streaming-arrival-highlight{animation:.3s ease-out vernant-streaming-arrival-flash}.streaming-arrival-highlight--reduced-motion{box-shadow:inset 0 -2px 0 var(--vernant-accent)}@keyframes vernant-streaming-arrival-flash{0%,33%{background-color:color-mix(in srgb, var(--vernant-accent) 12%, transparent)}to{background-color:#0000}}@media (prefers-reduced-motion:reduce){.streaming-arrival-highlight{box-shadow:inset 0 -2px 0 var(--vernant-accent);animation:none}}.scope-combobox{position:relative}.scope-combobox__input{box-sizing:border-box;width:100%;font:inherit;color:var(--vernant-text-primary);background:var(--vernant-bg-surface);border:1px solid var(--vernant-border-default);border-radius:var(--vernant-radius-md,6px);transition:outline-color var(--vernant-transition-micro) var(--vernant-transition-easing);padding:8px 10px}.scope-combobox__input:focus-visible{outline:2px solid var(--vernant-accent);outline-offset:2px}.scope-combobox__listbox{z-index:1;width:100%;color:var(--vernant-text-primary);background:var(--vernant-bg-elevated);border:1px solid var(--vernant-border-default);border-radius:var(--vernant-radius-md,6px);max-height:240px;margin:4px 0 0;padding:4px;list-style:none;position:absolute;overflow:auto}.scope-combobox__option{color:var(--vernant-text-primary);border-radius:var(--vernant-radius-md,6px);cursor:pointer;align-items:baseline;gap:6px;padding:6px 8px;display:flex}.scope-combobox__option--active{background:var(--vernant-bg-subtle);outline:2px solid var(--vernant-accent);outline-offset:-2px}.scope-combobox__option--scoped{cursor:default}.scope-combobox__name{flex:1}.scope-combobox__empty{color:var(--vernant-text-primary);padding:6px 8px}.scope-combobox__folder-meta{color:var(--vernant-text-secondary);font-size:var(--vernant-text-caption-size);white-space:nowrap}.scope-combobox__option--child{padding-left:var(--vernant-spacing-6)}.corpus-scope-panel__chip{align-items:center;gap:var(--vernant-spacing-1);transition:outline-color var(--vernant-transition-micro) var(--vernant-transition-easing);display:inline-flex}.corpus-scope-panel__chip:focus-visible{outline:2px solid var(--vernant-accent);outline-offset:2px}.corpus-scope-panel__chip[aria-busy=true]{opacity:.7}.corpus-scope-panel__chip-remove{font:inherit;color:var(--vernant-text-secondary);cursor:pointer;background:0 0;border:0;padding:0 2px}.invalidation-alert{border-left:2px solid var(--vernant-error);background:var(--vernant-bg-surface);color:var(--vernant-text-primary);padding:var(--vernant-spacing-3);margin:var(--vernant-spacing-2) 0;border-radius:var(--vernant-radius-sm);text-align:left;animation:vernant-invalidation-slide-in var(--vernant-transition-panel) var(--vernant-transition-easing)}.invalidation-alert__heading{color:var(--vernant-text-primary);font-weight:600}.invalidation-alert__body{margin-top:var(--vernant-spacing-1)}.invalidation-alert__expand{font:inherit;color:var(--vernant-text-primary);cursor:pointer;padding:var(--vernant-spacing-1) 0;background:0 0;border:0}.invalidation-alert__claims{margin:var(--vernant-spacing-1) 0 0;padding-left:var(--vernant-spacing-5)}.invalidation-alert__actions{gap:var(--vernant-spacing-2);margin-top:var(--vernant-spacing-2);flex-wrap:wrap;display:flex}@keyframes vernant-invalidation-slide-in{0%{opacity:0;transform:translateY(-4px)}to{opacity:1;transform:translateY(0)}}@media (prefers-reduced-motion:reduce){.invalidation-alert{transition:none;animation:none}}.used-artifacts{margin:var(--vernant-spacing-3) 0;text-align:left}.used-artifacts__heading{color:var(--vernant-text-primary);font-weight:600}.used-artifacts__intro{margin-top:var(--vernant-spacing-1);color:var(--vernant-text-secondary)}.used-artifacts__group-label{margin-top:var(--vernant-spacing-2);color:var(--vernant-text-primary);font-weight:600}.used-artifacts__list{margin:var(--vernant-spacing-1) 0 0;padding-left:var(--vernant-spacing-3);list-style:none}.used-artifacts__row{margin:var(--vernant-spacing-1) 0}.used-artifacts__no-passages{color:var(--vernant-text-secondary)}.used-artifacts__expand,.used-artifacts__unused-toggle{font:inherit;color:var(--vernant-text-primary);cursor:pointer;padding:var(--vernant-spacing-1);transition:outline-color var(--vernant-transition-micro) var(--vernant-transition-easing);background:0 0;border:0}.used-artifacts__expand:focus-visible,.used-artifacts__unused-toggle:focus-visible{outline:2px solid var(--vernant-accent);outline-offset:2px}.used-artifacts__expand:disabled{cursor:default;color:var(--vernant-text-secondary)}.used-artifacts__claims{margin:var(--vernant-spacing-1) 0 0;padding-left:var(--vernant-spacing-5)}.used-artifacts__unused{margin-top:var(--vernant-spacing-2)}