.mobile-navigation.svelte-rfuq4y{position:fixed;inset:0 auto 0 0;margin:0;width:min(20rem,calc(100vw - 2rem));height:100dvh;max-height:none;overflow-y:auto;overscroll-behavior:contain}.page-transition-wrapper.svelte-1sgpos4{opacity:1;animation:svelte-1sgpos4-page-enter .35s cubic-bezier(.33,1,.68,1) backwards}@keyframes svelte-1sgpos4-page-enter{0%{opacity:0;transform:translateY(12px)}to{opacity:1;transform:translateY(0)}}@media(prefers-reduced-motion:reduce){.page-transition-wrapper.svelte-1sgpos4{animation:none}}.trace-demo.svelte-1ua8y6y{margin:2.5rem 0}.trace-window.svelte-1ua8y6y{overflow:hidden;border:1px solid #30363d;border-radius:.85rem;color:#e6edf3;background:#0d1117;box-shadow:0 18px 45px #0000002e}header.svelte-1ua8y6y,footer.svelte-1ua8y6y,.panel-heading.svelte-1ua8y6y{display:flex;align-items:center;justify-content:space-between}header.svelte-1ua8y6y{min-height:3rem;padding:.7rem 1rem;border-bottom:1px solid #30363d;background:#161b22;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.78rem}header.svelte-1ua8y6y>span:where(.svelte-1ua8y6y),footer.svelte-1ua8y6y{color:#8b949e;text-transform:uppercase;letter-spacing:.05em}.window-dots.svelte-1ua8y6y{display:flex;gap:.35rem}.window-dots.svelte-1ua8y6y i:where(.svelte-1ua8y6y),footer.svelte-1ua8y6y i:where(.svelte-1ua8y6y){width:.45rem;height:.45rem;border-radius:50%;background:#ff5f57}.window-dots.svelte-1ua8y6y i:where(.svelte-1ua8y6y):nth-child(2){background:#febc2e}.window-dots.svelte-1ua8y6y i:where(.svelte-1ua8y6y):nth-child(3),footer.svelte-1ua8y6y i:where(.svelte-1ua8y6y){background:#3fb950}.command.svelte-1ua8y6y{padding:.8rem 1rem;border-bottom:1px solid #30363d;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.82rem}.command.svelte-1ua8y6y span:where(.svelte-1ua8y6y){color:#58a6ff}.trace-tabs.svelte-1ua8y6y{display:grid;grid-template-columns:repeat(3,1fr);border-bottom:1px solid #30363d;background:#161b22}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y){position:relative;min-height:3.4rem;border:0;border-right:1px solid #30363d;color:#8b949e;background:transparent;cursor:pointer;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.75rem;text-transform:uppercase;letter-spacing:.04em}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y):last-child{border-right:0}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y):after{position:absolute;right:0;bottom:-1px;left:0;height:2px;background:#58a6ff;content:"";opacity:0;transform:scaleX(.5);transition:opacity .16s ease,transform .2s ease}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y):hover,.trace-tabs.svelte-1ua8y6y button[aria-selected=true]:where(.svelte-1ua8y6y){color:#e6edf3;background:#0d1117}.trace-tabs.svelte-1ua8y6y button[aria-selected=true]:where(.svelte-1ua8y6y):after{opacity:1;transform:scaleX(1)}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y):focus-visible{outline:2px solid #79c0ff;outline-offset:-3px}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y) span:where(.svelte-1ua8y6y){margin-right:.5rem;color:#58a6ff}.trace-panel.svelte-1ua8y6y{min-height:21rem;padding:1.35rem}.panel-heading.svelte-1ua8y6y{gap:1rem;margin-bottom:1.2rem}.panel-heading.svelte-1ua8y6y>div:where(.svelte-1ua8y6y)>span:where(.svelte-1ua8y6y),.coverage-grid.svelte-1ua8y6y>div:where(.svelte-1ua8y6y)>span:where(.svelte-1ua8y6y){color:#8b949e;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.7rem;text-transform:uppercase;letter-spacing:.05em}.panel-heading.svelte-1ua8y6y h3:where(.svelte-1ua8y6y){margin:.25rem 0 0;color:#e6edf3;font-size:1.25rem;letter-spacing:-.02em}.status.svelte-1ua8y6y,.partial.svelte-1ua8y6y{padding:.35rem .55rem;border:1px solid rgb(63 185 80 / .35);border-radius:999px;color:#7ee787;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.66rem;text-transform:uppercase}.partial.svelte-1ua8y6y{border-color:#ffa65759;color:#ffa657}.summary-grid.svelte-1ua8y6y{display:grid;grid-template-columns:repeat(3,1fr);margin:0;border:1px solid #30363d;border-radius:.6rem}.summary-grid.svelte-1ua8y6y div:where(.svelte-1ua8y6y){min-width:0;padding:1rem;border-right:1px solid #30363d;border-bottom:1px solid #30363d}.summary-grid.svelte-1ua8y6y div:where(.svelte-1ua8y6y):nth-child(3n){border-right:0}.summary-grid.svelte-1ua8y6y div:where(.svelte-1ua8y6y):nth-last-child(-n+3){border-bottom:0}dt.svelte-1ua8y6y,dd.svelte-1ua8y6y{margin:0}dt.svelte-1ua8y6y{color:#8b949e;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.68rem;text-transform:uppercase}dd.svelte-1ua8y6y{overflow:hidden;margin-top:.35rem;color:#e6edf3;font-size:.86rem;text-overflow:ellipsis;white-space:nowrap}.event-list.svelte-1ua8y6y{display:grid;gap:0;margin:0;padding:0;border:1px solid #30363d;border-radius:.6rem;list-style:none}.event-list.svelte-1ua8y6y li:where(.svelte-1ua8y6y){display:grid;grid-template-columns:5rem 4rem minmax(0,1fr);gap:.65rem;padding:.58rem .75rem;border-bottom:1px solid #21262d;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.75rem}.event-list.svelte-1ua8y6y li:where(.svelte-1ua8y6y):last-child{border-bottom:0}.event-list.svelte-1ua8y6y time:where(.svelte-1ua8y6y){color:#8b949e}.event-list.svelte-1ua8y6y li:where(.svelte-1ua8y6y)>span:where(.svelte-1ua8y6y){color:#d2a8ff}.event-list.svelte-1ua8y6y li.error:where(.svelte-1ua8y6y)>span:where(.svelte-1ua8y6y){color:#ff7b72}.event-list.svelte-1ua8y6y li.result:where(.svelte-1ua8y6y)>span:where(.svelte-1ua8y6y){color:#7ee787}.event-list.svelte-1ua8y6y li.response:where(.svelte-1ua8y6y)>span:where(.svelte-1ua8y6y){color:#ffa657}.event-list.svelte-1ua8y6y code:where(.svelte-1ua8y6y){overflow:hidden;padding:0;color:#c9d1d9;background:none;text-overflow:ellipsis;white-space:nowrap}.coverage-grid.svelte-1ua8y6y{display:grid;grid-template-columns:1fr 1fr;gap:1rem}.coverage-grid.svelte-1ua8y6y>div:where(.svelte-1ua8y6y){padding:1rem;border:1px solid #30363d;border-radius:.6rem;background:#161b22}.coverage-grid.svelte-1ua8y6y ul:where(.svelte-1ua8y6y){margin:.8rem 0 0;padding-left:1.1rem;color:#c9d1d9;font-size:.84rem}.coverage-grid.svelte-1ua8y6y li:where(.svelte-1ua8y6y){margin:.45rem 0;padding-left:.2rem}footer.svelte-1ua8y6y{gap:1rem;min-height:3rem;padding:.7rem 1rem;border-top:1px solid #30363d;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.66rem}footer.svelte-1ua8y6y span:where(.svelte-1ua8y6y){display:inline-flex;align-items:center;gap:.45rem}figcaption.svelte-1ua8y6y{margin-top:.8rem;color:oklch(var(--bc) / .6);font-size:.84rem;line-height:1.5}@media(max-width:560px){header.svelte-1ua8y6y>span:where(.svelte-1ua8y6y),footer.svelte-1ua8y6y span:where(.svelte-1ua8y6y):last-child{display:none}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y){font-size:.68rem}.trace-tabs.svelte-1ua8y6y button:where(.svelte-1ua8y6y) span:where(.svelte-1ua8y6y){display:block;margin:0 0 .2rem}.trace-panel.svelte-1ua8y6y{min-height:0;padding:1rem}.panel-heading.svelte-1ua8y6y{align-items:flex-start;flex-direction:column}.summary-grid.svelte-1ua8y6y,.coverage-grid.svelte-1ua8y6y{grid-template-columns:1fr}.summary-grid.svelte-1ua8y6y div:where(.svelte-1ua8y6y),.summary-grid.svelte-1ua8y6y div:where(.svelte-1ua8y6y):nth-child(3n),.summary-grid.svelte-1ua8y6y div:where(.svelte-1ua8y6y):nth-last-child(-n+3){border-right:0;border-bottom:1px solid #30363d}.summary-grid.svelte-1ua8y6y div:where(.svelte-1ua8y6y):last-child{border-bottom:0}.event-list.svelte-1ua8y6y li:where(.svelte-1ua8y6y){grid-template-columns:4.5rem minmax(0,1fr)}.event-list.svelte-1ua8y6y li:where(.svelte-1ua8y6y)>span:where(.svelte-1ua8y6y){display:none}}.claim-compiler.svelte-kt445h{--paper: #f4efe4;--panel: #fbf7ee;--ink: #191814;--muted: #686157;--line: #c8bcaa;--line-strong: #948778;--trusted: #24596a;--trusted-soft: #dce8e8;--model: #a74720;--model-soft: #f2ddd0;--verifier: #665278;--verifier-soft: #e7dfee;--warning: #9b5b13;margin:3rem 0;color:var(--ink)}[data-theme=neural] .claim-compiler.svelte-kt445h{--paper: #171814;--panel: #20211c;--ink: #f1eadf;--muted: #bdb3a6;--line: #4b483f;--line-strong: #777064;--trusted: #77b5c6;--trusted-soft: #203b42;--model: #f29870;--model-soft: #4a2d22;--verifier: #c5a8db;--verifier-soft: #3b3043;--warning: #e6ad61}.claim-compiler--wide.svelte-kt445h{width:min(76rem,calc(100vw - 2rem));max-width:none;margin-left:50%;transform:translate(-50%)}.compiler-sheet.svelte-kt445h{overflow:hidden;border:1px solid var(--line);border-radius:.75rem;outline:none;background:var(--paper);box-shadow:0 22px 48px #1e19121c}.compiler-sheet.svelte-kt445h:focus-visible{outline:3px solid color-mix(in srgb,var(--trusted) 58%,transparent);outline-offset:4px}.sheet-header.svelte-kt445h,.control-rail.svelte-kt445h,.contract-heading.svelte-kt445h,.result-layer.svelte-kt445h>header:where(.svelte-kt445h){display:flex;align-items:center;justify-content:space-between;gap:1.5rem}.sheet-header.svelte-kt445h{padding:1.35rem 1.5rem;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--panel) 96%,transparent)}.sheet-header.svelte-kt445h p:where(.svelte-kt445h),.contract-heading.svelte-kt445h p:where(.svelte-kt445h),.result-layer.svelte-kt445h>header:where(.svelte-kt445h) p:where(.svelte-kt445h),.guide-copy.svelte-kt445h>p:where(.svelte-kt445h){margin:0;color:var(--model);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.68rem;font-weight:700;letter-spacing:.075em;text-transform:uppercase}.sheet-header.svelte-kt445h h2:where(.svelte-kt445h),.contract-heading.svelte-kt445h h3:where(.svelte-kt445h),.result-layer.svelte-kt445h h3:where(.svelte-kt445h),.guide-copy.svelte-kt445h h3:where(.svelte-kt445h){margin:.3rem 0 0;color:var(--ink);font-size:clamp(1.15rem,2.3vw,1.65rem);line-height:1.18;letter-spacing:-.025em}.ownership-key.svelte-kt445h{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:.75rem;color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.65rem}.ownership-key.svelte-kt445h span:where(.svelte-kt445h){display:inline-flex;align-items:center;gap:.35rem}.ownership-key.svelte-kt445h i:where(.svelte-kt445h){width:.66rem;height:.66rem;border:1px solid var(--line-strong);border-radius:2px;background:var(--trusted)}.ownership-key.svelte-kt445h i.model:where(.svelte-kt445h){background:var(--model)}.ownership-key.svelte-kt445h i.verifier:where(.svelte-kt445h){background:var(--verifier)}.control-rail.svelte-kt445h{padding:.75rem 1.5rem;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--paper) 90%,transparent)}.contract-switch.svelte-kt445h{display:inline-grid;grid-template-columns:1fr 1fr;padding:.18rem;border:1px solid var(--line);border-radius:.45rem;background:var(--panel)}button.svelte-kt445h{min-height:2.75rem;border:1px solid transparent;border-radius:.32rem;color:var(--muted);background:transparent;font:inherit;font-size:.78rem;font-weight:650;cursor:pointer}button.svelte-kt445h:hover{color:var(--ink);background:color-mix(in srgb,var(--line) 24%,transparent)}button.svelte-kt445h:focus-visible{outline:2px solid var(--trusted);outline-offset:2px}button.svelte-kt445h:disabled{cursor:not-allowed;opacity:.42}.contract-switch.svelte-kt445h button:where(.svelte-kt445h){padding:.45rem .8rem}.contract-switch.svelte-kt445h button[aria-pressed=true]:where(.svelte-kt445h){border-color:var(--line);color:var(--ink);background:var(--paper);box-shadow:0 2px 8px #1e191214}.text-control.svelte-kt445h{padding:.35rem .55rem;text-decoration:underline;text-underline-offset:.2rem}.guide-panel.svelte-kt445h{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:1.25rem;padding:1.1rem 1.5rem;border-bottom:1px solid var(--line);background:var(--panel)}.guide-progress.svelte-kt445h{display:flex;gap:.35rem}.guide-progress.svelte-kt445h button:where(.svelte-kt445h){display:grid;width:2.75rem;min-height:2.75rem;place-items:center;border:1px solid var(--line);border-radius:999px;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.65rem}.guide-progress.svelte-kt445h button[aria-current=step]:where(.svelte-kt445h){border-color:var(--model);color:var(--panel);background:var(--model)}.guide-copy.svelte-kt445h h3:where(.svelte-kt445h){font-size:1rem}.guide-copy.svelte-kt445h>span:where(.svelte-kt445h){display:block;max-width:68ch;margin-top:.3rem;color:var(--muted);font-size:.8rem;line-height:1.5}.guide-actions.svelte-kt445h{display:flex;gap:.35rem}.guide-actions.svelte-kt445h button:where(.svelte-kt445h){padding:.35rem .65rem;border-color:var(--line);background:var(--paper)}.contract-heading.svelte-kt445h{padding:1.2rem 1.5rem 0;background:color-mix(in srgb,var(--paper) 86%,transparent)}.contract-heading.svelte-kt445h p:where(.svelte-kt445h){margin-top:.3rem;color:var(--muted);font-family:inherit;font-size:.78rem;font-weight:500;letter-spacing:0;text-transform:none}.contract-heading.svelte-kt445h>strong:where(.svelte-kt445h){padding:.45rem .7rem;border:1px solid var(--line-strong);border-radius:.3rem;color:var(--ink);background:var(--panel);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.7rem}.pipeline.svelte-kt445h{display:grid;grid-template-columns:repeat(5,minmax(0,1fr) auto) minmax(0,1fr);align-items:stretch;padding:1.25rem 1.5rem 1.5rem;background:color-mix(in srgb,var(--paper) 86%,transparent)}.pipeline.svelte-kt445h article:where(.svelte-kt445h){min-width:0;padding:.85rem;border:1px solid var(--line);border-top:.28rem solid var(--trusted);border-radius:.5rem;background:color-mix(in srgb,var(--panel) 96%,transparent);transition:transform .22s ease,box-shadow .22s ease,border-color .22s ease}.pipeline.svelte-kt445h article[data-owner=model]:where(.svelte-kt445h){border-top-color:var(--model)}.pipeline.svelte-kt445h article[data-owner=verifier]:where(.svelte-kt445h){border-top-color:var(--verifier)}.pipeline.svelte-kt445h article.focused:where(.svelte-kt445h){border-color:var(--ink);transform:translateY(-.24rem);box-shadow:0 10px 20px #1e19121c}.pipeline.svelte-kt445h article.collision:where(.svelte-kt445h){background:repeating-linear-gradient(-45deg,transparent,transparent 7px,color-mix(in srgb,var(--model) 7%,transparent) 7px,color-mix(in srgb,var(--model) 7%,transparent) 14px),var(--panel)}.pipeline.svelte-kt445h article.bounded:where(.svelte-kt445h){background:linear-gradient(90deg,color-mix(in srgb,var(--trusted) 9%,transparent),transparent),var(--panel)}.stage-topline.svelte-kt445h{display:flex;align-items:flex-start;justify-content:space-between;gap:.4rem}.stage-topline.svelte-kt445h>span:where(.svelte-kt445h),.stage-topline.svelte-kt445h small:where(.svelte-kt445h){font-family:JetBrains Mono,ui-monospace,monospace;font-size:.59rem;line-height:1.25;text-transform:uppercase}.stage-topline.svelte-kt445h>span:where(.svelte-kt445h){color:var(--muted)}.stage-topline.svelte-kt445h small:where(.svelte-kt445h){color:var(--trusted);font-weight:700;text-align:right}.pipeline.svelte-kt445h article[data-owner=model]:where(.svelte-kt445h) small:where(.svelte-kt445h){color:var(--model)}.pipeline.svelte-kt445h article[data-owner=verifier]:where(.svelte-kt445h) small:where(.svelte-kt445h){color:var(--verifier)}.pipeline.svelte-kt445h article:where(.svelte-kt445h)>strong:where(.svelte-kt445h){display:block;margin-top:.9rem;color:var(--ink);font-size:.88rem;line-height:1.25}.pipeline.svelte-kt445h article:where(.svelte-kt445h)>p:where(.svelte-kt445h){margin:.4rem 0 0;color:var(--muted);font-size:.72rem;line-height:1.45}.connector.svelte-kt445h{display:flex;width:1.2rem;align-items:center;color:var(--line-strong)}.connector.svelte-kt445h span:where(.svelte-kt445h){height:1px;flex:1;background:currentColor}.connector.svelte-kt445h b:where(.svelte-kt445h){font-family:ui-monospace,monospace;font-size:1rem;font-weight:400}.result-layer.svelte-kt445h{border-top:1px solid var(--line);background:var(--panel)}.result-layer.svelte-kt445h>header:where(.svelte-kt445h){padding:1.25rem 1.5rem;border-bottom:1px solid var(--line)}.result-layer.svelte-kt445h>header:where(.svelte-kt445h)>span:where(.svelte-kt445h){max-width:25ch;color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.65rem;text-align:right;text-transform:uppercase}.result-panels.svelte-kt445h{display:grid;grid-template-columns:1fr 1fr}.result-panels.svelte-kt445h>section:where(.svelte-kt445h){padding:1.25rem 1.5rem}.result-panels.svelte-kt445h>section:where(.svelte-kt445h)+section:where(.svelte-kt445h){border-left:1px solid var(--line)}.result-title.svelte-kt445h{display:flex;align-items:baseline;justify-content:space-between;gap:1rem;padding-bottom:.75rem;border-bottom:1px solid var(--line)}.result-title.svelte-kt445h strong:where(.svelte-kt445h){font-size:1.35rem}.result-title.svelte-kt445h span:where(.svelte-kt445h){color:var(--muted);font-size:.72rem;text-align:right}.result-panels.svelte-kt445h dl:where(.svelte-kt445h){margin:0}.result-panels.svelte-kt445h dl:where(.svelte-kt445h)>div:where(.svelte-kt445h){display:grid;grid-template-columns:minmax(0,1fr) auto;gap:1rem;padding:.7rem 0;border-bottom:1px solid var(--line)}.result-panels.svelte-kt445h dt:where(.svelte-kt445h),.result-panels.svelte-kt445h dd:where(.svelte-kt445h){margin:0;font-size:.76rem}.result-panels.svelte-kt445h dt:where(.svelte-kt445h){color:var(--muted)}.result-panels.svelte-kt445h dd:where(.svelte-kt445h){color:var(--ink);font-family:JetBrains Mono,ui-monospace,monospace;font-weight:650;text-align:right}.comparison-label.svelte-kt445h{display:inline-flex;margin-top:.9rem;padding:.3rem .45rem;border:1px solid var(--line-strong);border-radius:.25rem;color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.62rem;font-weight:700;text-transform:uppercase}.comparison-label.transformed.svelte-kt445h{border-style:dashed}.comparison-label.not-comparable.svelte-kt445h{border-style:double}.direct-bridge.svelte-kt445h{display:grid;grid-template-columns:minmax(10rem,.8fr) repeat(2,minmax(0,1fr));border-top:1px solid var(--line-strong);background:color-mix(in srgb,var(--trusted) 8%,var(--paper))}.direct-bridge.svelte-kt445h>div:where(.svelte-kt445h){padding:1rem 1.5rem}.direct-bridge.svelte-kt445h>div:where(.svelte-kt445h)+div:where(.svelte-kt445h){border-left:1px solid var(--line)}.bridge-copy.svelte-kt445h strong:where(.svelte-kt445h),.bridge-copy.svelte-kt445h span:where(.svelte-kt445h),.bridge-metric.svelte-kt445h>span:where(.svelte-kt445h){display:block}.bridge-copy.svelte-kt445h strong:where(.svelte-kt445h){color:var(--trusted);font-size:.83rem}.bridge-copy.svelte-kt445h span:where(.svelte-kt445h),.bridge-metric.svelte-kt445h>span:where(.svelte-kt445h){margin-top:.25rem;color:var(--muted);font-size:.68rem}.bridge-metric.svelte-kt445h>div:where(.svelte-kt445h){display:flex;align-items:center;justify-content:space-between;gap:.4rem;margin-top:.55rem}.bridge-metric.svelte-kt445h code:where(.svelte-kt445h){color:var(--ink);font-size:.72rem}.static-fallback.svelte-kt445h{display:none}figcaption.svelte-kt445h{margin-top:.9rem;color:oklch(var(--bc) / .68);font-size:.84rem;line-height:1.55}@media(max-width:980px){.pipeline.svelte-kt445h{grid-template-columns:1fr;gap:0}.connector.svelte-kt445h{width:100%;height:1.15rem;flex-direction:column;justify-content:center}.connector.svelte-kt445h span:where(.svelte-kt445h){width:1px;flex:1}.connector.svelte-kt445h b:where(.svelte-kt445h){line-height:.65;transform:rotate(90deg)}.pipeline.svelte-kt445h article:where(.svelte-kt445h){display:grid;grid-template-columns:minmax(8rem,.7fr) minmax(0,1fr);align-items:center;-moz-column-gap:1rem;column-gap:1rem}.pipeline.svelte-kt445h article:where(.svelte-kt445h)>strong:where(.svelte-kt445h){margin-top:.55rem}.pipeline.svelte-kt445h article:where(.svelte-kt445h)>p:where(.svelte-kt445h){grid-column:2;grid-row:1 / span 2;margin:0}}@media(max-width:700px){.claim-compiler--wide.svelte-kt445h{width:min(100%,calc(100vw - 1rem))}.sheet-header.svelte-kt445h,.control-rail.svelte-kt445h,.contract-heading.svelte-kt445h,.result-layer.svelte-kt445h>header:where(.svelte-kt445h){align-items:flex-start;flex-direction:column;gap:.8rem}.ownership-key.svelte-kt445h{justify-content:flex-start}.control-rail.svelte-kt445h,.contract-switch.svelte-kt445h{width:100%}.guide-panel.svelte-kt445h{grid-template-columns:1fr;gap:.85rem}.guide-actions.svelte-kt445h{justify-content:flex-end}.contract-heading.svelte-kt445h>strong:where(.svelte-kt445h),.result-layer.svelte-kt445h>header:where(.svelte-kt445h)>span:where(.svelte-kt445h){text-align:left}.pipeline.svelte-kt445h{padding:1rem}.pipeline.svelte-kt445h article:where(.svelte-kt445h){display:block}.pipeline.svelte-kt445h article:where(.svelte-kt445h)>p:where(.svelte-kt445h){margin-top:.4rem}.result-panels.svelte-kt445h,.direct-bridge.svelte-kt445h{grid-template-columns:1fr}.result-panels.svelte-kt445h>section:where(.svelte-kt445h)+section:where(.svelte-kt445h),.direct-bridge.svelte-kt445h>div:where(.svelte-kt445h)+div:where(.svelte-kt445h){border-top:1px solid var(--line);border-left:0}}@media(prefers-reduced-motion:reduce){.pipeline.svelte-kt445h article:where(.svelte-kt445h){transition:none}.pipeline.svelte-kt445h article.focused:where(.svelte-kt445h){transform:none}}@media print{.sheet-header.svelte-kt445h,.control-rail.svelte-kt445h,.guide-panel.svelte-kt445h,.contract-heading.svelte-kt445h,.pipeline.svelte-kt445h,.result-layer.svelte-kt445h{display:none}.static-fallback.svelte-kt445h{display:block}}.control-figure.svelte-ddwoeh{--bone: #f4efe4;--paper: #fbf8f0;--ink: #171713;--muted: #625f56;--line: #c9c1b3;--signal: #c54b1a;--signal-soft: #f2d3c1;--harm: #9f2f2a;--harm-soft: #f3d8d3;--safe: #285f3e;margin:2.75rem 0;color:var(--ink)}[data-theme=neural] .control-figure.svelte-ddwoeh{--bone: #171813;--paper: #1e201a;--ink: #f3eee4;--muted: #b7b0a4;--line: #4a4b42;--signal: #ff8557;--signal-soft: #4b2b20;--harm: #ff8b82;--harm-soft: #482523;--safe: #83d6a1}.control-figure--wide.svelte-ddwoeh{width:min(72rem,calc(100vw - 2rem));max-width:none;margin-left:50%;transform:translate(-50%)}.measurement-sheet.svelte-ddwoeh{overflow:hidden;border:1px solid var(--line);border-radius:.75rem;background:linear-gradient(color-mix(in srgb,var(--line) 52%,transparent) 1px,transparent 1px),linear-gradient(90deg,color-mix(in srgb,var(--line) 52%,transparent) 1px,transparent 1px),var(--bone);background-size:28px 28px;box-shadow:0 18px 40px #1c18121a}.sheet-heading.svelte-ddwoeh{display:flex;align-items:flex-end;justify-content:space-between;gap:1rem;padding:1.35rem 1.5rem;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--paper) 95%,transparent)}.sheet-heading.svelte-ddwoeh p:where(.svelte-ddwoeh){margin:0;color:var(--ink);font-size:clamp(1.2rem,2.5vw,1.75rem);font-weight:720;line-height:1.15;letter-spacing:-.025em;text-wrap:balance}.sheet-heading.svelte-ddwoeh span:where(.svelte-ddwoeh),.outcome-stamp.svelte-ddwoeh span:where(.svelte-ddwoeh),.sheet-note.svelte-ddwoeh,.mechanism-lane.svelte-ddwoeh header:where(.svelte-ddwoeh) span:where(.svelte-ddwoeh),.mechanism-divider.svelte-ddwoeh,.timeline-sheet.svelte-ddwoeh header:where(.svelte-ddwoeh) span:where(.svelte-ddwoeh),.timeline-sheet.svelte-ddwoeh small:where(.svelte-ddwoeh),.authorization-key.svelte-ddwoeh{font-family:JetBrains Mono,ui-monospace,monospace;font-size:.68rem;font-weight:650;letter-spacing:.06em}.sheet-heading.svelte-ddwoeh>div:where(.svelte-ddwoeh)>span:where(.svelte-ddwoeh){display:block;margin-top:.45rem;color:var(--signal)}.outcome-stamp.svelte-ddwoeh{flex:none;padding-left:1rem;border-left:1px solid var(--line);text-align:right}.outcome-stamp.svelte-ddwoeh span:where(.svelte-ddwoeh),.outcome-stamp.svelte-ddwoeh strong:where(.svelte-ddwoeh){display:block}.outcome-stamp.svelte-ddwoeh span:where(.svelte-ddwoeh){color:var(--muted)}.outcome-stamp.svelte-ddwoeh strong:where(.svelte-ddwoeh){margin-top:.25rem;color:var(--harm);font-size:1.15rem}.results-chart.svelte-ddwoeh{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));background:color-mix(in srgb,var(--paper) 88%,transparent)}.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh){padding:1.25rem 1.4rem;border-right:1px solid var(--line);border-bottom:1px solid var(--line)}.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh):nth-child(2n){border-right:0}.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh):nth-last-child(-n+2){border-bottom:0}.metric-copy.svelte-ddwoeh{display:flex;min-height:3.8rem;align-items:flex-start;justify-content:space-between;gap:1rem}.metric-copy.svelte-ddwoeh strong:where(.svelte-ddwoeh),.metric-copy.svelte-ddwoeh span:where(.svelte-ddwoeh){display:block}.metric-copy.svelte-ddwoeh strong:where(.svelte-ddwoeh){font-size:.95rem}.metric-copy.svelte-ddwoeh span:where(.svelte-ddwoeh){max-width:15rem;margin-top:.25rem;color:var(--muted);font-size:.72rem;line-height:1.4}.metric-copy.svelte-ddwoeh code:where(.svelte-ddwoeh){flex:none;color:var(--signal);background:transparent;font-size:.74rem;font-weight:700}.unsafe.svelte-ddwoeh .metric-copy:where(.svelte-ddwoeh) code:where(.svelte-ddwoeh){color:var(--harm)}.arm-row.svelte-ddwoeh{display:grid;grid-template-columns:1.25rem minmax(0,1fr) 3.75rem;align-items:center;gap:.65rem;margin-top:.65rem}.arm-row.svelte-ddwoeh b:where(.svelte-ddwoeh),.arm-row.svelte-ddwoeh strong:where(.svelte-ddwoeh){font-family:JetBrains Mono,ui-monospace,monospace;font-size:.72rem;font-variant-numeric:tabular-nums}.arm-row.svelte-ddwoeh strong:where(.svelte-ddwoeh){text-align:right}.bar-track.svelte-ddwoeh{height:.72rem;border:1px solid var(--line);background:color-mix(in srgb,var(--ink) 5%,transparent)}.bar-track.svelte-ddwoeh i:where(.svelte-ddwoeh){display:block;height:100%}.bar-a.svelte-ddwoeh{background:var(--muted)}.bar-c.svelte-ddwoeh{background:var(--signal)}.unsafe.svelte-ddwoeh .bar-c:where(.svelte-ddwoeh){background:var(--harm)}.sheet-note.svelte-ddwoeh{display:flex;flex-wrap:wrap;gap:.6rem 1.25rem;padding:.85rem 1.4rem;border-top:1px solid var(--line);color:var(--muted);background:color-mix(in srgb,var(--paper) 95%,transparent);font-size:.6rem;letter-spacing:.03em;text-transform:none}.mechanism-map.svelte-ddwoeh{display:grid;grid-template-columns:minmax(0,1fr) 7rem minmax(0,1fr);background:color-mix(in srgb,var(--paper) 88%,transparent)}.mechanism-lane.svelte-ddwoeh{display:grid;align-content:start;padding:1.4rem}.mechanism-lane.svelte-ddwoeh header:where(.svelte-ddwoeh){display:grid;grid-template-columns:1fr auto;align-items:baseline;gap:.25rem 1rem;padding-bottom:1rem;border-bottom:1px solid var(--line)}.mechanism-lane.svelte-ddwoeh header:where(.svelte-ddwoeh) span:where(.svelte-ddwoeh){grid-column:1 / -1;color:var(--signal)}.mechanism-lane.svelte-ddwoeh header:where(.svelte-ddwoeh) strong:where(.svelte-ddwoeh){font-size:1.35rem}.mechanism-lane.svelte-ddwoeh header:where(.svelte-ddwoeh) b:where(.svelte-ddwoeh){color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.72rem}.flow-node.svelte-ddwoeh{margin-top:1.25rem;padding:1rem;border:1px solid var(--line);background:var(--paper);text-align:center}.flow-node.svelte-ddwoeh strong:where(.svelte-ddwoeh),.flow-node.svelte-ddwoeh span:where(.svelte-ddwoeh){display:block}.flow-node.svelte-ddwoeh strong:where(.svelte-ddwoeh){font-size:1rem}.flow-node.svelte-ddwoeh span:where(.svelte-ddwoeh){margin-top:.3rem;color:var(--muted);font-size:.72rem}.flow-node.malformed.svelte-ddwoeh{border-color:color-mix(in srgb,var(--muted) 70%,var(--line))}.flow-node.valid.svelte-ddwoeh{border-color:var(--signal)}.flow-arrow.svelte-ddwoeh{width:1px;height:1.5rem;margin:0 auto;background:var(--line)}.score-box.svelte-ddwoeh{display:grid;grid-template-columns:repeat(3,1fr);border:1px solid var(--line)}.score-box.svelte-ddwoeh span:where(.svelte-ddwoeh){padding:.7rem .4rem;border-right:1px solid var(--line);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.61rem;text-align:center}.score-box.svelte-ddwoeh span:where(.svelte-ddwoeh):last-child{border-right:0}.decision-split.svelte-ddwoeh{display:grid;grid-template-columns:1fr 1fr;border:1px solid var(--line)}.decision-split.svelte-ddwoeh>div:where(.svelte-ddwoeh){padding:.8rem;text-align:center}.decision-split.svelte-ddwoeh>div:where(.svelte-ddwoeh):first-child{border-right:1px solid var(--line)}.decision-split.svelte-ddwoeh strong:where(.svelte-ddwoeh),.decision-split.svelte-ddwoeh span:where(.svelte-ddwoeh){display:block}.decision-split.svelte-ddwoeh strong:where(.svelte-ddwoeh){color:var(--safe);font-size:.85rem}.decision-split.svelte-ddwoeh span:where(.svelte-ddwoeh){margin-top:.25rem;color:var(--muted);font-size:.65rem}.decision-split.svelte-ddwoeh .unsafe-accept:where(.svelte-ddwoeh) strong:where(.svelte-ddwoeh){color:var(--harm)}.mechanism-lane.svelte-ddwoeh>p:where(.svelte-ddwoeh){margin:.8rem 0 0;color:var(--muted);font-size:.72rem;font-weight:650;text-align:center}.mechanism-divider.svelte-ddwoeh{display:grid;place-items:center;border-inline:1px solid var(--line);color:var(--signal);background:var(--ink);text-align:center}.mechanism-divider.svelte-ddwoeh span:where(.svelte-ddwoeh){max-width:5rem;color:var(--bone);line-height:1.5}.mechanism-warning.svelte-ddwoeh{padding:.9rem 1.4rem;border-top:1px solid var(--line);color:var(--harm);background:color-mix(in srgb,var(--harm-soft) 58%,var(--paper));font-size:.78rem;font-weight:650;text-align:center}.timeline-sheet.svelte-ddwoeh ol:where(.svelte-ddwoeh){display:grid;grid-template-columns:repeat(5,minmax(0,1fr));margin:0;padding:0;background:color-mix(in srgb,var(--paper) 88%,transparent);list-style:none}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh){position:relative;min-width:0;min-height:15rem;padding:2.7rem 1rem 1.2rem;border-right:1px solid var(--line)}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh):last-child{border-right:0}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh):before{position:absolute;top:1.35rem;right:0;left:0;height:1px;background:var(--line);content:""}.timeline-marker.svelte-ddwoeh{position:absolute;z-index:1;top:1rem;left:1rem;width:.75rem;height:.75rem;border:2px solid var(--paper);border-radius:50%;outline:1px solid var(--muted);background:var(--muted)}.timeline-sheet.svelte-ddwoeh li.amended:where(.svelte-ddwoeh) .timeline-marker:where(.svelte-ddwoeh){outline-color:var(--signal);background:var(--signal)}.timeline-sheet.svelte-ddwoeh li.completed:where(.svelte-ddwoeh) .timeline-marker:where(.svelte-ddwoeh){outline-color:var(--safe);background:var(--safe)}.timeline-sheet.svelte-ddwoeh header:where(.svelte-ddwoeh) span:where(.svelte-ddwoeh),.timeline-sheet.svelte-ddwoeh header:where(.svelte-ddwoeh) strong:where(.svelte-ddwoeh){display:block}.timeline-sheet.svelte-ddwoeh header:where(.svelte-ddwoeh) span:where(.svelte-ddwoeh){color:var(--muted)}.timeline-sheet.svelte-ddwoeh header:where(.svelte-ddwoeh) strong:where(.svelte-ddwoeh){margin-top:.25rem;color:var(--harm);font-size:.92rem}.timeline-sheet.svelte-ddwoeh li.amended:where(.svelte-ddwoeh) header:where(.svelte-ddwoeh) strong:where(.svelte-ddwoeh){color:var(--signal)}.timeline-sheet.svelte-ddwoeh li.completed:where(.svelte-ddwoeh) header:where(.svelte-ddwoeh) strong:where(.svelte-ddwoeh){color:var(--safe)}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh)>b:where(.svelte-ddwoeh){display:block;margin-top:1.15rem;font-size:.76rem}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh)>p:where(.svelte-ddwoeh){margin:.45rem 0 0;color:var(--muted);font-size:.74rem;line-height:1.5}.timeline-sheet.svelte-ddwoeh small:where(.svelte-ddwoeh){display:block;margin-top:1rem;color:var(--muted);font-size:.56rem;letter-spacing:.02em;line-height:1.45;text-transform:none}.authorization-key.svelte-ddwoeh{display:flex;flex-wrap:wrap;gap:.65rem 1.3rem;padding:.8rem 1rem;border-top:1px solid var(--line);color:var(--muted);background:color-mix(in srgb,var(--paper) 95%,transparent);font-size:.58rem;letter-spacing:.02em;text-transform:none}.authorization-key.svelte-ddwoeh span:where(.svelte-ddwoeh){display:inline-flex;align-items:center;gap:.4rem}.authorization-key.svelte-ddwoeh i:where(.svelte-ddwoeh){width:.62rem;height:.62rem;border-radius:50%;background:var(--muted)}.authorization-key.svelte-ddwoeh i.run:where(.svelte-ddwoeh){background:var(--safe)}figcaption.svelte-ddwoeh{max-width:48rem;margin:.8rem auto 0;color:var(--muted);font-size:.83rem;line-height:1.6}@media(max-width:900px){.results-chart.svelte-ddwoeh{grid-template-columns:1fr}.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh),.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh):nth-child(2n),.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh):nth-last-child(-n+2){border-right:0;border-bottom:1px solid var(--line)}.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh):last-child{border-bottom:0}.mechanism-map.svelte-ddwoeh{grid-template-columns:1fr}.mechanism-divider.svelte-ddwoeh{min-height:3.5rem;border-inline:0;border-block:1px solid var(--line)}.mechanism-divider.svelte-ddwoeh span:where(.svelte-ddwoeh){max-width:none}.timeline-sheet.svelte-ddwoeh ol:where(.svelte-ddwoeh){grid-template-columns:1fr}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh){min-height:0;padding:1.2rem 1.2rem 1.2rem 3.2rem;border-right:0;border-bottom:1px solid var(--line)}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh):last-child{border-bottom:0}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh):before{top:0;bottom:0;left:1.45rem;width:1px;height:auto}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh):first-child:before{top:1.45rem}.timeline-sheet.svelte-ddwoeh li:where(.svelte-ddwoeh):last-child:before{bottom:calc(100% - 1.45rem)}.timeline-marker.svelte-ddwoeh{top:1.1rem;left:1.08rem}}@media(max-width:560px){.control-figure--wide.svelte-ddwoeh{width:calc(100vw - 1.5rem)}.sheet-heading.svelte-ddwoeh{align-items:flex-start;flex-direction:column;padding:1.1rem}.outcome-stamp.svelte-ddwoeh{padding:.7rem 0 0;border-top:1px solid var(--line);border-left:0;text-align:left}.results-chart.svelte-ddwoeh section:where(.svelte-ddwoeh),.mechanism-lane.svelte-ddwoeh{padding:1.1rem}.metric-copy.svelte-ddwoeh{display:block;min-height:0}.metric-copy.svelte-ddwoeh code:where(.svelte-ddwoeh){display:inline-block;margin-top:.5rem}.arm-row.svelte-ddwoeh{grid-template-columns:1rem minmax(0,1fr) 3.4rem}.mechanism-lane.svelte-ddwoeh header:where(.svelte-ddwoeh) strong:where(.svelte-ddwoeh){font-size:1.15rem}.score-box.svelte-ddwoeh{grid-template-columns:1fr}.score-box.svelte-ddwoeh span:where(.svelte-ddwoeh){border-right:0;border-bottom:1px solid var(--line)}.score-box.svelte-ddwoeh span:where(.svelte-ddwoeh):last-child{border-bottom:0}}.distill-figure.svelte-te09oh{--bone: #f4efe4;--paper: #fbf8f0;--ink: #171713;--muted: #625f56;--line: #c9c1b3;--signal: #c54b1a;--signal-soft: #f2d3c1;margin:2.75rem 0;color:var(--ink)}[data-theme=neural] .distill-figure.svelte-te09oh{--bone: #171813;--paper: #1e201a;--ink: #f3eee4;--muted: #b7b0a4;--line: #4a4b42;--signal: #ff8557;--signal-soft: #4b2b20}.distill-figure--wide.svelte-te09oh{width:min(72rem,calc(100vw - 2rem));max-width:none;margin-left:50%;transform:translate(-50%)}.measurement-sheet.svelte-te09oh{overflow:hidden;border:1px solid var(--line);border-radius:.75rem;background:linear-gradient(color-mix(in srgb,var(--line) 52%,transparent) 1px,transparent 1px),linear-gradient(90deg,color-mix(in srgb,var(--line) 52%,transparent) 1px,transparent 1px),var(--bone);background-size:28px 28px;box-shadow:0 18px 40px #1c18121a}.sheet-title.svelte-te09oh{display:flex;align-items:flex-end;justify-content:space-between;gap:1rem;padding:1.35rem 1.5rem;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--paper) 95%,transparent)}.sheet-title.svelte-te09oh p:where(.svelte-te09oh){margin:0;font-size:clamp(1.2rem,2.5vw,1.75rem);font-weight:720;line-height:1.15;letter-spacing:-.025em;text-wrap:balance}.sheet-title.svelte-te09oh span:where(.svelte-te09oh),.digest.svelte-te09oh>span:where(.svelte-te09oh),.step-boundary.svelte-te09oh,.mutation-grid.svelte-te09oh header:where(.svelte-te09oh) span:where(.svelte-te09oh),.stable-bundle.svelte-te09oh>span:where(.svelte-te09oh){color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.75rem;font-weight:650;letter-spacing:.06em;text-transform:uppercase}.compile-map.svelte-te09oh{display:grid;grid-template-columns:minmax(0,1.5fr) minmax(7rem,.45fr) minmax(13rem,.8fr);align-items:stretch;background:color-mix(in srgb,var(--paper) 84%,transparent)}.variant-stack.svelte-te09oh{display:grid}.variant-stack.svelte-te09oh section:where(.svelte-te09oh){padding:1rem 1.25rem;border-bottom:1px solid var(--line)}.variant-stack.svelte-te09oh section:where(.svelte-te09oh):last-child{border-bottom:0}.variant-stack.svelte-te09oh header:where(.svelte-te09oh){display:flex;align-items:center;justify-content:space-between;gap:1rem}.variant-stack.svelte-te09oh header:where(.svelte-te09oh) strong:where(.svelte-te09oh){font-size:.85rem}.variant-stack.svelte-te09oh code:where(.svelte-te09oh),.digest.svelte-te09oh code:where(.svelte-te09oh),.mutation-grid.svelte-te09oh code:where(.svelte-te09oh){overflow-wrap:anywhere;color:var(--muted);background:transparent;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.75rem;font-variant-numeric:tabular-nums}.source-row.svelte-te09oh{display:flex;flex-wrap:wrap;gap:.45rem;margin-top:.7rem}.source-row.svelte-te09oh span:where(.svelte-te09oh){padding:.35rem .5rem;border:1px solid var(--line);background:var(--paper);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.75rem}.compiler.svelte-te09oh{display:grid;align-content:center;gap:.55rem;padding:1rem;border-inline:1px solid var(--line);background:var(--ink)}.compiler.svelte-te09oh span:where(.svelte-te09oh){padding:.4rem;border:1px solid color-mix(in srgb,var(--bone) 30%,transparent);color:var(--bone);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.75rem;text-align:center}.digest.svelte-te09oh{display:grid;align-content:center;padding:1.35rem}.digest.svelte-te09oh>strong:where(.svelte-te09oh){margin:.5rem 0 .3rem;font-size:clamp(1.4rem,3vw,2.2rem);line-height:1;letter-spacing:-.04em}.digest.svelte-te09oh dl:where(.svelte-te09oh){display:grid;grid-template-columns:1fr 1fr;margin:1.2rem 0 0;border-top:1px solid var(--line)}.digest.svelte-te09oh dl:where(.svelte-te09oh) div:where(.svelte-te09oh){padding:.65rem 0;border-bottom:1px solid var(--line)}.digest.svelte-te09oh dt:where(.svelte-te09oh){color:var(--muted);font-size:.75rem}.digest.svelte-te09oh dd:where(.svelte-te09oh){margin:.15rem 0 0;font-family:JetBrains Mono,ui-monospace,monospace;font-size:1rem;font-weight:700}.pipeline.svelte-te09oh{display:grid;grid-template-columns:minmax(0,1fr) 3.5rem minmax(0,1fr) 3.5rem minmax(0,1fr);background:color-mix(in srgb,var(--paper) 88%,transparent)}.pipeline-step.svelte-te09oh{display:flex;min-width:0;min-height:18rem;flex-direction:column;padding:1.4rem}.step-meta.svelte-te09oh{display:flex;align-items:baseline;gap:.75rem}.step-number.svelte-te09oh{flex:0 0 auto;color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:1rem;font-weight:750;font-variant-numeric:tabular-nums;line-height:1}.step-boundary.svelte-te09oh{min-width:0;color:var(--muted);font-family:inherit;font-size:.78rem;font-weight:650;letter-spacing:0;line-height:1.35;text-transform:none}.pipeline.svelte-te09oh header:where(.svelte-te09oh) strong:where(.svelte-te09oh){display:block;margin-top:1.1rem;font-size:clamp(2.35rem,4vw,3.4rem);line-height:.92;letter-spacing:-.04em}.step-copy.svelte-te09oh{margin-top:1.4rem}.pipeline-step.svelte-te09oh p:where(.svelte-te09oh){margin:0}.pipeline-step.svelte-te09oh .step-action:where(.svelte-te09oh){color:var(--ink);font-size:1rem;font-weight:720;line-height:1.35}.pipeline-step.svelte-te09oh .step-detail:where(.svelte-te09oh){margin-top:.55rem;color:var(--muted);font-size:.88rem;line-height:1.5}.step-properties.svelte-te09oh{display:grid;gap:.35rem;margin-top:auto;padding-top:1.1rem;border-top:1px solid var(--line)}.step-properties.svelte-te09oh span:where(.svelte-te09oh){color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.4}.step-properties.svelte-te09oh span:where(.svelte-te09oh):before{margin-right:.45rem;color:var(--signal);content:"•"}.pipeline-connector.svelte-te09oh{display:grid;min-width:0;place-items:center;border-inline:1px solid var(--line);background:color-mix(in srgb,var(--paper) 68%,transparent)}.pipeline-connector.svelte-te09oh svg:where(.svelte-te09oh){display:block;width:2.5rem;height:1.25rem;overflow:visible;fill:none;stroke:var(--signal);stroke-linecap:square;stroke-linejoin:miter;stroke-width:1.5}.mutation-grid.svelte-te09oh{display:grid;grid-template-columns:minmax(0,1.55fr) minmax(14rem,.75fr);background:color-mix(in srgb,var(--paper) 88%,transparent)}.mutation-grid.svelte-te09oh>section:where(.svelte-te09oh){padding:1.4rem}.mutation-grid.svelte-te09oh .relevant:where(.svelte-te09oh){border-right:1px solid var(--line)}.mutation-grid.svelte-te09oh header:where(.svelte-te09oh) strong:where(.svelte-te09oh),.mutation-grid.svelte-te09oh header:where(.svelte-te09oh) span:where(.svelte-te09oh){display:block}.mutation-grid.svelte-te09oh header:where(.svelte-te09oh) strong:where(.svelte-te09oh){font-size:1.15rem}.mutation-grid.svelte-te09oh header:where(.svelte-te09oh) span:where(.svelte-te09oh){margin-top:.35rem;color:var(--muted);letter-spacing:0;text-transform:none}.mutation-grid.svelte-te09oh ol:where(.svelte-te09oh){margin:1.2rem 0 0;padding:0;border-top:1px solid var(--line);list-style:none}.mutation-grid.svelte-te09oh li:where(.svelte-te09oh){display:grid;grid-template-columns:4.5rem minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:.65rem;padding:.85rem 0;border-bottom:1px solid var(--line)}.mutation-grid.svelte-te09oh li:where(.svelte-te09oh)>span:where(.svelte-te09oh){color:var(--muted);font-size:.8rem;font-weight:650}.mutation-grid.svelte-te09oh li:where(.svelte-te09oh) i:where(.svelte-te09oh){color:var(--signal);font-style:normal}.mutation-grid.svelte-te09oh li:where(.svelte-te09oh) code:where(.svelte-te09oh):last-child{color:var(--signal)}.excluded.svelte-te09oh{display:grid;align-content:space-between;gap:2rem}.stable-bundle.svelte-te09oh{padding-top:1rem;border-top:1px solid var(--line)}.stable-bundle.svelte-te09oh>span:where(.svelte-te09oh),.stable-bundle.svelte-te09oh code:where(.svelte-te09oh),.stable-bundle.svelte-te09oh strong:where(.svelte-te09oh){display:block}.stable-bundle.svelte-te09oh code:where(.svelte-te09oh){margin-top:.5rem}.stable-bundle.svelte-te09oh strong:where(.svelte-te09oh){margin-top:.7rem;color:var(--signal);font-size:1.4rem}figcaption.svelte-te09oh{max-width:48rem;margin:.8rem auto 0;color:oklch(var(--bc) / .68);font-size:.85rem;line-height:1.6}@media(max-width:800px){.compile-map.svelte-te09oh{grid-template-columns:1fr}.compiler.svelte-te09oh{grid-template-columns:repeat(4,1fr);border-inline:0;border-block:1px solid var(--line)}.pipeline.svelte-te09oh{grid-template-columns:1fr}.pipeline-step.svelte-te09oh{min-height:0;padding:1.35rem}.pipeline-connector.svelte-te09oh{height:3rem;border-inline:0;border-block:1px solid var(--line)}.pipeline-connector.svelte-te09oh svg:where(.svelte-te09oh){transform:rotate(90deg)}.step-properties.svelte-te09oh{margin-top:1.35rem}.mutation-grid.svelte-te09oh{grid-template-columns:1fr}.mutation-grid.svelte-te09oh .relevant:where(.svelte-te09oh){border-right:0;border-bottom:1px solid var(--line)}}@media(max-width:540px){.distill-figure--wide.svelte-te09oh{width:calc(100vw - 1.5rem)}.sheet-title.svelte-te09oh{align-items:flex-start;flex-direction:column-reverse;padding:1.1rem}.variant-stack.svelte-te09oh section:where(.svelte-te09oh),.digest.svelte-te09oh,.pipeline-step.svelte-te09oh,.mutation-grid.svelte-te09oh>section:where(.svelte-te09oh){padding:1.1rem}.pipeline.svelte-te09oh header:where(.svelte-te09oh) strong:where(.svelte-te09oh){font-size:clamp(2.1rem,14vw,2.75rem)}.variant-stack.svelte-te09oh header:where(.svelte-te09oh){align-items:flex-start;flex-direction:column;gap:.25rem}.compiler.svelte-te09oh{grid-template-columns:1fr 1fr;padding:.8rem}.mutation-grid.svelte-te09oh li:where(.svelte-te09oh){grid-template-columns:3.7rem minmax(0,1fr)}.mutation-grid.svelte-te09oh li:where(.svelte-te09oh) i:where(.svelte-te09oh){display:none}.mutation-grid.svelte-te09oh li:where(.svelte-te09oh) code:where(.svelte-te09oh):last-child{grid-column:2}}.truth-figure.svelte-4vetuf{--signal: #9f3717;--signal-ink: #fff8f2;--signal-soft: color-mix(in oklab, var(--signal) 14%, transparent);--status-success: #24633f;--status-error: #a42f28;--ink: oklch(var(--bc));--muted: oklch(var(--bc) / .68);--line: oklch(var(--bc) / .16);margin:2.75rem 0}[data-theme=neural] .truth-figure.svelte-4vetuf{--signal: #ff8a6d;--signal-ink: #171a15;--status-success: #83d6a1;--status-error: #ff8b82}.truth-figure--wide.svelte-4vetuf{width:min(72rem,calc(100vw - 2rem));max-width:none;margin-left:50%;transform:translate(-50%)}.measurement-sheet.svelte-4vetuf{overflow:hidden;border:1px solid var(--line);border-radius:.8rem;color:var(--ink);background:linear-gradient(var(--line) 1px,transparent 1px),linear-gradient(90deg,var(--line) 1px,transparent 1px),oklch(var(--b1));background-size:24px 24px;box-shadow:0 20px 45px oklch(var(--bc) / .08)}.sheet-heading.svelte-4vetuf{display:flex;align-items:flex-end;justify-content:space-between;gap:1.5rem;padding:1.4rem 1.5rem;border-bottom:1px solid var(--line);background:oklch(var(--b1) / .94)}.sheet-heading.svelte-4vetuf span:where(.svelte-4vetuf),.matrix-summary.svelte-4vetuf span:where(.svelte-4vetuf),.strip-scale.svelte-4vetuf,.matrix-key.svelte-4vetuf,.null-scope.svelte-4vetuf span:where(.svelte-4vetuf){font-family:JetBrains Mono,ui-monospace,monospace;font-size:.68rem;font-weight:600;letter-spacing:.08em;text-transform:uppercase}.sheet-heading.svelte-4vetuf>div:where(.svelte-4vetuf):first-child>span:where(.svelte-4vetuf){color:var(--signal)}.visual-title.svelte-4vetuf{margin:.35rem 0 0;max-width:34rem;color:var(--ink);font-size:clamp(1.15rem,2.5vw,1.65rem);font-weight:700;line-height:1.18;letter-spacing:-.025em}.legend.svelte-4vetuf{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:.9rem;color:var(--muted)}.legend.svelte-4vetuf span:where(.svelte-4vetuf){display:inline-flex;align-items:center;gap:.4rem}.legend.svelte-4vetuf i:where(.svelte-4vetuf){width:.7rem;height:.7rem;border:1px solid var(--line)}.legend.svelte-4vetuf i.reuse:where(.svelte-4vetuf){background:var(--signal)}.legend.svelte-4vetuf i.work:where(.svelte-4vetuf){background:oklch(var(--bc) / .08)}.reuse-rows.svelte-4vetuf{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));background:oklch(var(--b1) / .88)}.reuse-rows.svelte-4vetuf section:where(.svelte-4vetuf){min-width:0;padding:1.4rem;border-right:1px solid var(--line)}.reuse-rows.svelte-4vetuf section:where(.svelte-4vetuf):last-child{border-right:0}.row-copy.svelte-4vetuf{display:flex;min-height:4.4rem;align-items:flex-start;justify-content:space-between;gap:.8rem}.row-copy.svelte-4vetuf strong:where(.svelte-4vetuf),.row-copy.svelte-4vetuf span:where(.svelte-4vetuf){display:block}.row-copy.svelte-4vetuf strong:where(.svelte-4vetuf){font-size:.94rem}.row-copy.svelte-4vetuf span:where(.svelte-4vetuf){margin-top:.25rem;color:var(--muted);font-size:.72rem;line-height:1.4}.row-copy.svelte-4vetuf code:where(.svelte-4vetuf){flex:none;color:var(--signal);background:var(--signal-soft);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.61rem}.token-strip.svelte-4vetuf{display:grid;grid-template-columns:repeat(9,minmax(0,1fr));gap:.24rem;margin:1rem 0 .65rem}.token-strip.svelte-4vetuf span:where(.svelte-4vetuf){display:grid;aspect-ratio:1;place-items:center;border:1px solid var(--line);font-family:JetBrains Mono,ui-monospace,monospace;font-size:clamp(.58rem,1vw,.72rem);font-weight:600}.token-strip.svelte-4vetuf .reused:where(.svelte-4vetuf){border-color:var(--signal);color:var(--signal-ink);background:var(--signal)}.token-strip.svelte-4vetuf .worked:where(.svelte-4vetuf){background:oklch(var(--bc) / .07)}.strip-scale.svelte-4vetuf{display:flex;justify-content:space-between;gap:.75rem;color:var(--muted);font-size:.58rem;letter-spacing:.02em;text-transform:none}.matrix-summary.svelte-4vetuf{flex:none;text-align:right}.matrix-summary.svelte-4vetuf strong:where(.svelte-4vetuf),.matrix-summary.svelte-4vetuf span:where(.svelte-4vetuf){display:block}.matrix-summary.svelte-4vetuf strong:where(.svelte-4vetuf){color:var(--signal);font-size:1.75rem;line-height:1}.matrix-summary.svelte-4vetuf span:where(.svelte-4vetuf){margin-top:.3rem;color:var(--muted);font-size:.58rem}.matrix-desktop.svelte-4vetuf{overflow-x:auto;background:oklch(var(--b1) / .9)}table.svelte-4vetuf{width:100%;margin:0;border-collapse:collapse;font-size:.76rem}th.svelte-4vetuf,td.svelte-4vetuf{padding:.78rem .8rem;border-bottom:1px solid var(--line);text-align:left;white-space:nowrap}thead.svelte-4vetuf th:where(.svelte-4vetuf){color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.62rem;letter-spacing:.06em;text-transform:uppercase}tbody.svelte-4vetuf th:where(.svelte-4vetuf){font-family:JetBrains Mono,ui-monospace,monospace;font-size:.7rem;font-weight:600}.verdict.svelte-4vetuf{display:inline-flex;align-items:center;gap:.38rem;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.62rem;font-weight:600;letter-spacing:.01em;white-space:nowrap}.verdict.svelte-4vetuf:before{width:.55rem;height:.55rem;border:1px solid currentColor;content:""}.verdict.verified_hit.svelte-4vetuf{color:var(--status-success)}.verdict.verified_hit.svelte-4vetuf:before{border-radius:50%;background:currentColor}.verdict.partial_reuse.svelte-4vetuf{color:var(--signal)}.verdict.partial_reuse.svelte-4vetuf:before{background:linear-gradient(135deg,currentColor 50%,transparent 50%)}.verdict.verified_miss.svelte-4vetuf{color:var(--muted)}.verdict.verified_miss.svelte-4vetuf:before{border-radius:50%}.verdict.evicted.svelte-4vetuf{color:var(--status-error)}.verdict.evicted.svelte-4vetuf:before{transform:rotate(45deg)}.matrix-mobile.svelte-4vetuf{display:none}.matrix-key.svelte-4vetuf{display:flex;flex-wrap:wrap;gap:.9rem 1.2rem;padding:.9rem 1rem;background:oklch(var(--b1) / .95)}.evidence-chain.svelte-4vetuf{background-color:oklch(var(--b1))}.evidence-chain.svelte-4vetuf ol:where(.svelte-4vetuf){display:grid;grid-template-columns:repeat(6,minmax(0,1fr));margin:0;padding:0;background:oklch(var(--b1) / .9);list-style:none}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf){position:relative;min-height:12rem;padding:1.25rem 1rem;border-right:1px solid var(--line)}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf):last-child{border-right:0}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf)>span:where(.svelte-4vetuf){display:inline-grid;width:1.8rem;height:1.8rem;place-items:center;border:1px solid var(--signal);border-radius:50%;color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.62rem;font-weight:600}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf) strong:where(.svelte-4vetuf){display:block;margin-top:1.2rem;font-size:.82rem;line-height:1.35}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf) p:where(.svelte-4vetuf){margin:.55rem 0 0;color:var(--muted);font-size:.68rem;line-height:1.5}.null-scope.svelte-4vetuf{display:flex;align-items:center;gap:1.2rem;padding:1rem 1.25rem;border-top:1px solid var(--line);background:oklch(var(--b1) / .96)}.null-scope.svelte-4vetuf div:where(.svelte-4vetuf){display:flex;align-items:baseline;gap:.45rem}.null-scope.svelte-4vetuf span:where(.svelte-4vetuf){color:var(--muted);font-size:.58rem}.null-scope.svelte-4vetuf strong:where(.svelte-4vetuf){color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.7rem}.null-scope.svelte-4vetuf p:where(.svelte-4vetuf){margin:0 0 0 auto;color:var(--muted);font-size:.72rem}figcaption.svelte-4vetuf{max-width:48rem;margin:.8rem auto 0;color:var(--muted);font-size:.83rem;line-height:1.6}@media(max-width:900px){.reuse-rows.svelte-4vetuf{grid-template-columns:1fr}.reuse-rows.svelte-4vetuf section:where(.svelte-4vetuf){border-right:0;border-bottom:1px solid var(--line)}.reuse-rows.svelte-4vetuf section:where(.svelte-4vetuf):last-child{border-bottom:0}.row-copy.svelte-4vetuf{min-height:auto}.evidence-chain.svelte-4vetuf ol:where(.svelte-4vetuf){grid-template-columns:repeat(3,1fr)}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf):nth-child(3){border-right:0}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf):nth-child(-n+3){border-bottom:1px solid var(--line)}}@media(max-width:640px){.truth-figure--wide.svelte-4vetuf{width:calc(100vw - 1.5rem)}.sheet-heading.svelte-4vetuf{align-items:flex-start;padding:1.1rem}.legend.svelte-4vetuf{display:none}.reuse-rows.svelte-4vetuf section:where(.svelte-4vetuf){padding:1.1rem}.row-copy.svelte-4vetuf{display:block}.row-copy.svelte-4vetuf code:where(.svelte-4vetuf){display:inline-block;margin-top:.55rem}.matrix-summary.svelte-4vetuf strong:where(.svelte-4vetuf){font-size:1.45rem}.matrix-summary.svelte-4vetuf span:where(.svelte-4vetuf){max-width:5rem}.matrix-desktop.svelte-4vetuf{display:none}.matrix-mobile.svelte-4vetuf{display:block;background:oklch(var(--b1) / .9)}.matrix-mobile.svelte-4vetuf section:where(.svelte-4vetuf){padding:1rem;border-bottom:1px solid var(--line)}.mobile-title.svelte-4vetuf{display:flex;align-items:flex-start;justify-content:space-between;gap:.75rem}.mobile-title.svelte-4vetuf>strong:where(.svelte-4vetuf){overflow-wrap:anywhere;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.72rem}.matrix-mobile.svelte-4vetuf dl:where(.svelte-4vetuf){display:grid;grid-template-columns:repeat(4,1fr);gap:.4rem;margin:.85rem 0 0}.matrix-mobile.svelte-4vetuf dl:where(.svelte-4vetuf) div:where(.svelte-4vetuf){margin:0}.matrix-mobile.svelte-4vetuf dt:where(.svelte-4vetuf){color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.53rem;letter-spacing:.03em;text-transform:uppercase}.matrix-mobile.svelte-4vetuf dd:where(.svelte-4vetuf){margin:.15rem 0 0;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.76rem;font-weight:600}.matrix-mobile.svelte-4vetuf p:where(.svelte-4vetuf){margin:.7rem 0 0;color:var(--muted);font-size:.68rem}.matrix-key.svelte-4vetuf{gap:.7rem 1rem}.evidence-chain.svelte-4vetuf ol:where(.svelte-4vetuf){grid-template-columns:1fr}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf){min-height:0;padding:1rem 1rem 1rem 3.6rem;border-right:0;border-bottom:1px solid var(--line)}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf)>span:where(.svelte-4vetuf){position:absolute;top:1rem;left:1rem}.evidence-chain.svelte-4vetuf li:where(.svelte-4vetuf) strong:where(.svelte-4vetuf){margin-top:0}.null-scope.svelte-4vetuf{display:grid;grid-template-columns:1fr 1fr;gap:.7rem}.null-scope.svelte-4vetuf p:where(.svelte-4vetuf){grid-column:1 / -1;margin:0}}.compiler-figure.svelte-1hsssm6{--paper: #f8f3e9;--panel: #fffaf0;--ink: #171713;--muted: #656158;--line: #c9c0b1;--signal: #9f3717;--signal-soft: #f2d7c7;--code: #285f3e;--code-soft: #d9e8dc;margin:2.75rem 0;color:var(--ink)}[data-theme=neural] .compiler-figure.svelte-1hsssm6{--paper: #151712;--panel: #1d2019;--ink: #f4efe5;--muted: #b9b1a4;--line: #484a41;--signal: #ff8a68;--signal-soft: #482a20;--code: #83d6a1;--code-soft: #203a2a}.compiler-figure--wide.svelte-1hsssm6{width:min(72rem,calc(100vw - 2rem));max-width:none;margin-left:50%;transform:translate(-50%)}.compiler-sheet.svelte-1hsssm6{overflow:hidden;border:1px solid var(--line);border-radius:.8rem;background:var(--paper);box-shadow:0 20px 45px #1c181217}.sheet-heading.svelte-1hsssm6{display:flex;align-items:flex-end;justify-content:space-between;gap:1.5rem;padding:1.4rem 1.5rem;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--panel) 94%,transparent)}.sheet-heading.svelte-1hsssm6>div:where(.svelte-1hsssm6):first-child>span:where(.svelte-1hsssm6),.verification-rail.svelte-1hsssm6 span:where(.svelte-1hsssm6){color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.68rem;font-weight:700;letter-spacing:.09em}.sheet-heading.svelte-1hsssm6 p:where(.svelte-1hsssm6){margin:.35rem 0 0;color:var(--ink);font-size:clamp(1.2rem,2.4vw,1.75rem);font-weight:720;line-height:1.15;letter-spacing:-.025em;text-wrap:balance}.boundary-key.svelte-1hsssm6{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:.75rem;color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.67rem}.boundary-key.svelte-1hsssm6 span:where(.svelte-1hsssm6){display:inline-flex;align-items:center;gap:.4rem}.boundary-key.svelte-1hsssm6 i:where(.svelte-1hsssm6){width:.65rem;height:.65rem;border-radius:999px;background:var(--signal)}.boundary-key.svelte-1hsssm6 i.deterministic:where(.svelte-1hsssm6){background:var(--code)}.pipeline.svelte-1hsssm6{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr) auto minmax(0,1fr) auto minmax(0,1fr);align-items:stretch;gap:0;padding:1.5rem}.stage.svelte-1hsssm6{min-width:0;padding:1rem;border:1px solid var(--line);border-radius:.65rem;background:color-mix(in srgb,var(--panel) 96%,transparent)}.stage.probabilistic.svelte-1hsssm6,.stage.contract.svelte-1hsssm6{border-top:.3rem solid var(--signal)}.stage.deterministic.svelte-1hsssm6,.stage.verification.svelte-1hsssm6{border-top:.3rem solid var(--code)}.stage.svelte-1hsssm6 header:where(.svelte-1hsssm6){display:flex;align-items:center;justify-content:space-between;gap:.5rem;margin-bottom:1rem;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.62rem;letter-spacing:.07em}.stage.svelte-1hsssm6 header:where(.svelte-1hsssm6) span:where(.svelte-1hsssm6){color:var(--muted)}.stage.svelte-1hsssm6 header:where(.svelte-1hsssm6) b:where(.svelte-1hsssm6){color:var(--signal);font-weight:700}.stage.deterministic.svelte-1hsssm6 header:where(.svelte-1hsssm6) b:where(.svelte-1hsssm6),.stage.verification.svelte-1hsssm6 header:where(.svelte-1hsssm6) b:where(.svelte-1hsssm6){color:var(--code)}.stage.svelte-1hsssm6>strong:where(.svelte-1hsssm6){display:block;color:var(--ink);font-size:1.05rem;line-height:1.2}.stage.svelte-1hsssm6>p:where(.svelte-1hsssm6){min-height:2.4rem;margin:.35rem 0 .9rem;color:var(--muted);font-size:.76rem;line-height:1.35}.stage.svelte-1hsssm6 ul:where(.svelte-1hsssm6){display:flex;flex-wrap:wrap;gap:.35rem;margin:0;padding:0;list-style:none}.stage.svelte-1hsssm6 li:where(.svelte-1hsssm6){margin:0;padding:.28rem .42rem;border:1px solid var(--line);border-radius:.3rem;color:var(--muted);background:var(--paper);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.62rem;line-height:1.2}.connector.svelte-1hsssm6{display:flex;width:1.65rem;align-items:center;color:var(--muted)}.connector.svelte-1hsssm6 span:where(.svelte-1hsssm6){height:1px;flex:1;background:var(--line)}.connector.svelte-1hsssm6 b:where(.svelte-1hsssm6){font-family:ui-monospace,monospace;font-size:1.15rem;font-weight:400;line-height:1}.verification-rail.svelte-1hsssm6{display:grid;grid-template-columns:minmax(0,1fr) 3rem minmax(12rem,.45fr);align-items:center;gap:1rem;margin:0 1.5rem 1.5rem;padding:1rem;border:1px solid var(--code);border-radius:.65rem;background:color-mix(in srgb,var(--code-soft) 78%,var(--panel))}.verification-rail.svelte-1hsssm6 strong:where(.svelte-1hsssm6){display:block;margin-top:.3rem;color:var(--ink);font-size:.85rem;line-height:1.4}.verification-rail.svelte-1hsssm6 p:where(.svelte-1hsssm6){margin:0;color:var(--code);font-size:.8rem;font-weight:700;line-height:1.35}.rail-arrow.svelte-1hsssm6{height:1px;background:var(--code);position:relative}.rail-arrow.svelte-1hsssm6:after{position:absolute;top:50%;right:0;width:.45rem;height:.45rem;border-top:1px solid var(--code);border-right:1px solid var(--code);content:"";transform:translateY(-50%) rotate(45deg)}.failure-strip.svelte-1hsssm6{display:flex;align-items:center;gap:.55rem;padding:.85rem 1.5rem;border-top:1px solid var(--line);background:color-mix(in srgb,var(--signal-soft) 70%,var(--panel));font-family:JetBrains Mono,ui-monospace,monospace;font-size:.64rem}.failure-strip.svelte-1hsssm6 span:where(.svelte-1hsssm6):after{margin-left:.55rem;color:var(--muted);content:"/"}.failure-strip.svelte-1hsssm6 strong:where(.svelte-1hsssm6){margin-left:auto;color:var(--signal);letter-spacing:.08em}.compiler-figure.svelte-1hsssm6 figcaption:where(.svelte-1hsssm6){max-width:48rem;margin-right:auto;margin-left:auto}@media(max-width:900px){.sheet-heading.svelte-1hsssm6{align-items:flex-start;flex-direction:column}.boundary-key.svelte-1hsssm6{justify-content:flex-start}.pipeline.svelte-1hsssm6{grid-template-columns:1fr;gap:0}.connector.svelte-1hsssm6{width:100%;height:1.5rem;justify-content:center;transform:rotate(90deg)}.connector.svelte-1hsssm6 span:where(.svelte-1hsssm6){max-width:1rem}.stage.svelte-1hsssm6>p:where(.svelte-1hsssm6){min-height:0}}@media(max-width:640px){.compiler-figure--wide.svelte-1hsssm6{width:min(100%,calc(100vw - 1.5rem))}.sheet-heading.svelte-1hsssm6,.pipeline.svelte-1hsssm6{padding:1rem}.verification-rail.svelte-1hsssm6{grid-template-columns:1fr;gap:.65rem;margin:0 1rem 1rem}.rail-arrow.svelte-1hsssm6{width:1.5rem;transform:rotate(90deg);transform-origin:left center}.failure-strip.svelte-1hsssm6{align-items:flex-start;flex-direction:column;padding:1rem}.failure-strip.svelte-1hsssm6 span:where(.svelte-1hsssm6):after{content:none}.failure-strip.svelte-1hsssm6 strong:where(.svelte-1hsssm6){margin-left:0}}.security-figure.svelte-1nw6kdx{--paper: #fbf8f0;--bone: #eee8dc;--ink: #171713;--muted: #625f56;--line: #c9c1b3;--signal: #c54b1a;--signal-soft: #f2d3c1;--ease-out: cubic-bezier(.23, 1, .32, 1);width:min(68rem,calc(100vw - 2rem));max-width:none;margin:2.75rem 0 2.75rem 50%;transform:translate(-50%);color:var(--ink);font-family:inherit}[data-theme=neural] .security-figure.svelte-1nw6kdx{--paper: #1e201a;--bone: #171813;--ink: #f3eee4;--muted: #b7b0a4;--line: #4a4b42;--signal: #ff8557;--signal-soft: #4b2b20}.sheet.svelte-1nw6kdx{overflow:hidden;border:1px solid var(--line);border-radius:12px;background:var(--paper);box-shadow:0 16px 36px #1c181214}.sheet-heading.svelte-1nw6kdx{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:1.4rem 1.5rem;border-bottom:1px solid var(--line)}.eyebrow.svelte-1nw6kdx,.node-label.svelte-1nw6kdx,.scale-note.svelte-1nw6kdx,.delta.svelte-1nw6kdx>span:where(.svelte-1nw6kdx),.packet-facts.svelte-1nw6kdx dt:where(.svelte-1nw6kdx),.sheet-footer.svelte-1nw6kdx{font-family:JetBrains Mono,ui-monospace,monospace;font-size:.65rem;line-height:1.6}.eyebrow.svelte-1nw6kdx{color:var(--signal);letter-spacing:.055em;text-transform:uppercase}h3.svelte-1nw6kdx{margin:.35rem 0 0;font-size:clamp(1.2rem,2.4vw,1.65rem);font-weight:720;line-height:1.15;letter-spacing:-.025em}.status-tag.svelte-1nw6kdx{flex-shrink:0;padding:.3rem .55rem;border:1px solid var(--line);border-radius:4px;color:var(--muted);font-size:.68rem}.walkthrough-controls.svelte-1nw6kdx{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;padding:.7rem 1.5rem;border-bottom:1px solid var(--line);background:var(--bone)}.stage-buttons.svelte-1nw6kdx,.playback-controls.svelte-1nw6kdx,.packet-controls.svelte-1nw6kdx{display:flex;gap:.3rem}button.svelte-1nw6kdx{display:inline-flex;min-height:36px;align-items:center;justify-content:center;gap:.4rem;padding:.45rem .65rem;border:1px solid transparent;border-radius:4px;color:var(--muted);background:transparent;font-family:inherit;font-size:.74rem;cursor:pointer}button[aria-pressed=true].svelte-1nw6kdx{border-color:var(--line);background:var(--paper);color:var(--ink);font-weight:650}.stage-buttons.svelte-1nw6kdx button:where(.svelte-1nw6kdx) span:where(.svelte-1nw6kdx){color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.6rem}.play-button.svelte-1nw6kdx,.reset-button.svelte-1nw6kdx{border-color:var(--line);background:var(--paper)}button.svelte-1nw6kdx:focus-visible,a.svelte-1nw6kdx:focus-visible{outline:2px solid var(--signal);outline-offset:3px}button.svelte-1nw6kdx:disabled{cursor:default;opacity:.6}.flow-map.svelte-1nw6kdx{padding:1.4rem 1.5rem;background:linear-gradient(color-mix(in srgb,var(--line) 26%,transparent) 1px,transparent 1px),linear-gradient(90deg,color-mix(in srgb,var(--line) 26%,transparent) 1px,transparent 1px),var(--bone);background-size:24px 24px}.node.svelte-1nw6kdx{position:relative;min-width:0;padding:1rem 1.1rem;border:1px solid var(--line);border-radius:5px;background:var(--paper)}.node.svelte-1nw6kdx:after{position:absolute;pointer-events:none;inset:-1px;border:2px solid var(--signal);border-radius:inherit;opacity:0;transform:scale(.98);content:""}.node.active.svelte-1nw6kdx:after{opacity:1;transform:scale(1)}.motion-enabled.svelte-1nw6kdx .node:where(.svelte-1nw6kdx):after,.motion-enabled.svelte-1nw6kdx .signal-path:where(.svelte-1nw6kdx),.motion-enabled.svelte-1nw6kdx .lane-connector:where(.svelte-1nw6kdx),.motion-enabled.svelte-1nw6kdx .join-connector:where(.svelte-1nw6kdx){transition:opacity .2s var(--ease-out),transform .2s var(--ease-out)}.motion-enabled.svelte-1nw6kdx .lane:where(.svelte-1nw6kdx):nth-child(2) .node:where(.svelte-1nw6kdx):after{transition-delay:50ms}.node-label.svelte-1nw6kdx{display:flex;flex-wrap:wrap;align-items:center;gap:.4rem;margin-bottom:.35rem;color:var(--muted)}.node-label.svelte-1nw6kdx b:where(.svelte-1nw6kdx){margin-left:auto;font-size:.6rem;font-weight:500}.node.svelte-1nw6kdx>strong:where(.svelte-1nw6kdx),.outcome-pair.svelte-1nw6kdx strong:where(.svelte-1nw6kdx){display:block;font-size:.98rem;font-weight:650;line-height:1.35}.node.svelte-1nw6kdx p:where(.svelte-1nw6kdx){margin:.4rem 0 0;color:var(--muted);font-size:.78rem;line-height:1.5}.node.svelte-1nw6kdx small:where(.svelte-1nw6kdx){display:block;margin-top:.4rem;color:var(--muted);font-size:.68rem}.source-node.svelte-1nw6kdx{max-width:34rem;margin:0 auto}.source-files.svelte-1nw6kdx{display:flex;flex-wrap:wrap;gap:.3rem .7rem;margin-top:.55rem;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.68rem}a.svelte-1nw6kdx{color:inherit;text-decoration:underline;text-underline-offset:3px;text-decoration-color:var(--line)}.fork.svelte-1nw6kdx{display:block;width:100%;height:36px;overflow:visible}.fork.svelte-1nw6kdx path:where(.svelte-1nw6kdx){fill:none;stroke:var(--line);stroke-width:1.5;vector-effect:non-scaling-stroke}.fork.svelte-1nw6kdx .signal-path:where(.svelte-1nw6kdx){stroke:var(--signal);opacity:0}.signal-path.lit.svelte-1nw6kdx{opacity:1}.mobile-source-note.svelte-1nw6kdx{display:none}.pair.svelte-1nw6kdx{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1.5rem}.lane.svelte-1nw6kdx{min-width:0}.packet-node.svelte-1nw6kdx{min-height:8rem}.compiled.svelte-1nw6kdx .packet-node:where(.svelte-1nw6kdx)>strong:where(.svelte-1nw6kdx){color:var(--signal)}.pending.svelte-1nw6kdx{border-style:dashed}.lane-connector.svelte-1nw6kdx,.join-connector.svelte-1nw6kdx{display:flex;height:30px;justify-content:center;align-items:center;color:var(--muted);opacity:.65}.lane-connector.lit.svelte-1nw6kdx,.join-connector.lit.svelte-1nw6kdx{color:var(--signal);opacity:1}.outcome-pair.svelte-1nw6kdx{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1.5rem;margin-top:.6rem}.stage-detail.svelte-1nw6kdx{display:grid;grid-template-columns:1fr 1fr;align-items:center;gap:1.5rem;min-height:7rem;padding:1rem 1.5rem;border-top:1px solid var(--line)}.stage-detail.svelte-1nw6kdx strong:where(.svelte-1nw6kdx){display:block;margin-top:.4rem;font-size:.9rem}.stage-detail.svelte-1nw6kdx p:where(.svelte-1nw6kdx){margin:0;color:var(--muted);font-size:.82rem;line-height:1.6}.sheet-footer.svelte-1nw6kdx{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.5rem 1rem;padding:.7rem 1.5rem;border-top:1px solid var(--line);color:var(--muted);background:var(--bone)}.packet-controls.svelte-1nw6kdx{padding:.7rem 1.5rem;border-bottom:1px solid var(--line);background:var(--bone)}.byte-comparison.svelte-1nw6kdx{display:grid;grid-template-columns:minmax(0,1fr) 12rem;gap:2rem;padding:1.5rem}.byte-chart.svelte-1nw6kdx{min-width:0}.byte-row.svelte-1nw6kdx+.byte-row:where(.svelte-1nw6kdx){margin-top:1.2rem}.byte-label.svelte-1nw6kdx{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.25rem;margin-bottom:.5rem;font-size:.8rem}.byte-label.svelte-1nw6kdx strong:where(.svelte-1nw6kdx){font-family:JetBrains Mono,ui-monospace,monospace;font-size:.82rem;font-weight:650;font-variant-numeric:tabular-nums}.byte-label.svelte-1nw6kdx small:where(.svelte-1nw6kdx){font-size:.65rem;font-weight:400;color:var(--muted)}.bar-track.svelte-1nw6kdx{height:1.3rem;border-radius:2px;background:var(--bone);overflow:hidden}.bar-track.svelte-1nw6kdx i:where(.svelte-1nw6kdx){display:block;height:100%;transform-origin:left center}.baseline-bar.svelte-1nw6kdx{background:var(--muted)}.compiled-bar.svelte-1nw6kdx{background:var(--signal)}.motion-enabled.svelte-1nw6kdx .bar-track:where(.svelte-1nw6kdx) i:where(.svelte-1nw6kdx){transition:transform .25s var(--ease-out)}.scale-note.svelte-1nw6kdx{display:block;margin-top:.9rem;color:var(--muted);font-size:.6rem}.delta.svelte-1nw6kdx{display:flex;flex-direction:column;justify-content:center;padding-left:1.5rem;border-left:1px solid var(--line);color:var(--signal)}.delta.svelte-1nw6kdx>strong:where(.svelte-1nw6kdx){margin:.3rem 0;font-family:JetBrains Mono,ui-monospace,monospace;font-size:2.7rem;font-weight:500;line-height:1;letter-spacing:-.08em}.delta.svelte-1nw6kdx>a:where(.svelte-1nw6kdx){margin-top:1rem;color:var(--muted);font-size:.7rem}.packet-facts.svelte-1nw6kdx{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin:0;border-top:1px solid var(--line)}.packet-facts.svelte-1nw6kdx>div:where(.svelte-1nw6kdx){padding:.8rem 1.5rem;border-right:1px solid var(--line)}.packet-facts.svelte-1nw6kdx>div:where(.svelte-1nw6kdx):last-child{border-right:0}.packet-facts.svelte-1nw6kdx dt:where(.svelte-1nw6kdx){margin:0;color:var(--muted);font-size:.6rem}.packet-facts.svelte-1nw6kdx dd:where(.svelte-1nw6kdx){margin:.3rem 0 0;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.9rem;font-variant-numeric:tabular-nums}figcaption.svelte-1nw6kdx{max-width:48rem;margin:.8rem auto 0;color:var(--muted);font-size:.83rem;line-height:1.6}@media(hover:hover)and (pointer:fine){button.svelte-1nw6kdx:not(:disabled):hover{background:var(--paper);color:var(--ink)}a.svelte-1nw6kdx:hover{text-decoration-color:var(--signal)}}@media(prefers-reduced-motion:reduce){.motion-enabled.svelte-1nw6kdx .node:where(.svelte-1nw6kdx):after,.motion-enabled.svelte-1nw6kdx .signal-path:where(.svelte-1nw6kdx),.motion-enabled.svelte-1nw6kdx .lane-connector:where(.svelte-1nw6kdx),.motion-enabled.svelte-1nw6kdx .join-connector:where(.svelte-1nw6kdx),.motion-enabled.svelte-1nw6kdx .bar-track:where(.svelte-1nw6kdx) i:where(.svelte-1nw6kdx){transition:none}}@media(max-width:760px){.sheet-heading.svelte-1nw6kdx{align-items:flex-start;flex-direction:column}.stage-buttons.svelte-1nw6kdx{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));width:100%;gap:.2rem}.walkthrough-controls.svelte-1nw6kdx,.sheet-heading.svelte-1nw6kdx,.packet-controls.svelte-1nw6kdx,.sheet-footer.svelte-1nw6kdx{padding-inline:1rem}.stage-buttons.svelte-1nw6kdx button:where(.svelte-1nw6kdx){padding-inline:.35rem;gap:.25rem;font-size:.68rem}.flow-map.svelte-1nw6kdx{padding:1.25rem 1rem}.pair.svelte-1nw6kdx{gap:1rem}.node.svelte-1nw6kdx{padding:.85rem}.stage-detail.svelte-1nw6kdx{grid-template-columns:1fr;gap:.6rem;min-height:10rem;padding:1rem}.byte-comparison.svelte-1nw6kdx{grid-template-columns:minmax(0,1fr) 9rem;gap:1.25rem;padding:1.25rem 1rem}.delta.svelte-1nw6kdx{padding-left:1rem}.packet-facts.svelte-1nw6kdx{grid-template-columns:repeat(2,minmax(0,1fr))}.packet-facts.svelte-1nw6kdx>div:where(.svelte-1nw6kdx){padding:.8rem 1rem}.packet-facts.svelte-1nw6kdx>div:where(.svelte-1nw6kdx):nth-child(2){border-right:0}.packet-facts.svelte-1nw6kdx>div:where(.svelte-1nw6kdx):nth-child(-n+2){border-bottom:1px solid var(--line)}}@media(max-width:480px){.security-figure.svelte-1nw6kdx{width:calc(100vw - 1.5rem)}.stage-buttons.svelte-1nw6kdx{grid-template-columns:repeat(2,minmax(0,1fr))}.stage-buttons.svelte-1nw6kdx button:where(.svelte-1nw6kdx){justify-content:flex-start;min-height:40px;padding:.5rem;font-size:.76rem}.fork.svelte-1nw6kdx{display:none}.mobile-source-note.svelte-1nw6kdx{display:flex;align-items:center;justify-content:center;gap:.4rem;padding:.75rem 0;color:var(--muted);font-size:.68rem}.pair.svelte-1nw6kdx,.outcome-pair.svelte-1nw6kdx{grid-template-columns:1fr}.pair.svelte-1nw6kdx{gap:1.1rem}.lane.svelte-1nw6kdx{padding-left:.65rem;border-left:2px solid var(--line)}.lane.compiled.svelte-1nw6kdx{border-left-color:var(--signal)}.packet-node.svelte-1nw6kdx{min-height:0}.outcome-pair.svelte-1nw6kdx{gap:.85rem}.byte-comparison.svelte-1nw6kdx{grid-template-columns:1fr}.delta.svelte-1nw6kdx{flex-direction:row;flex-wrap:wrap;align-items:baseline;justify-content:flex-start;gap:.4rem .75rem;padding:1rem 0 0;border-left:0;border-top:1px solid var(--line)}.delta.svelte-1nw6kdx>strong:where(.svelte-1nw6kdx){font-size:2rem}.delta.svelte-1nw6kdx>a:where(.svelte-1nw6kdx){flex-basis:100%;margin-top:.25rem}.packet-controls.svelte-1nw6kdx{gap:.2rem}.packet-controls.svelte-1nw6kdx button:where(.svelte-1nw6kdx){min-height:40px;padding-inline:.55rem}}.voxel-explorer.svelte-1bvpmr3{--bone: #f4efe4;--paper: #fbf8f0;--ink: #28241f;--muted: #746b60;--line: #c9c0b2;--signal: #a64020;--source: #526c5a;width:min(74rem,calc(100vw - 2rem));max-width:none;min-width:0;margin:2.75rem 0 3rem 50%;transform:translate(-50%)}.explorer-shell.svelte-1bvpmr3{overflow:hidden;border:1px solid var(--line);border-radius:.85rem;color:var(--ink);background:linear-gradient(rgb(121 111 98 / .1) 1px,transparent 1px),linear-gradient(90deg,rgb(121 111 98 / .1) 1px,transparent 1px),var(--bone);background-size:24px 24px;box-shadow:0 20px 45px #28241f1f}.explorer-header.svelte-1bvpmr3{display:flex;align-items:flex-end;justify-content:space-between;gap:1.5rem;padding:1.2rem 1.35rem;border-bottom:1px solid var(--line);background:#fbf8f0f5}.explorer-header.svelte-1bvpmr3 h2:where(.svelte-1bvpmr3){margin:0;color:var(--ink);font-size:clamp(1.2rem,3vw,1.75rem);line-height:1.1;letter-spacing:-.025em}.explorer-header.svelte-1bvpmr3 p:where(.svelte-1bvpmr3),.viewer-instructions.svelte-1bvpmr3{margin:.38rem 0 0;color:var(--muted);font-size:.72rem;line-height:1.45}.explorer-header.svelte-1bvpmr3 p:where(.svelte-1bvpmr3),.window-badge.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.analysis-heading.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.difference-map.svelte-1bvpmr3 header:where(.svelte-1bvpmr3) span:where(.svelte-1bvpmr3),.verdict-panel.svelte-1bvpmr3>span:where(.svelte-1bvpmr3),dt.svelte-1bvpmr3{font-family:JetBrains Mono,ui-monospace,monospace;font-size:.62rem;font-weight:650;letter-spacing:.07em;text-transform:uppercase}.window-badge.svelte-1bvpmr3{flex:none;text-align:right}.window-badge.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.window-badge.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){display:block}.window-badge.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){color:var(--muted)}.window-badge.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){margin-top:.22rem;color:var(--ink);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.9rem}.mode-switch.svelte-1bvpmr3{display:flex;gap:.35rem;padding:.65rem 1.35rem;border-bottom:1px solid var(--line);background:#f4efe4f5}.mode-switch.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){min-height:2rem;padding:.35rem .65rem}.mode-switch.svelte-1bvpmr3 button.active:where(.svelte-1bvpmr3){border-color:#a6402052;color:var(--signal);background:var(--paper)}.cinematic-intro.svelte-1bvpmr3{display:flex;align-items:flex-end;justify-content:space-between;gap:1.5rem;padding:.9rem 1.35rem 1rem;border-bottom:1px solid var(--line);background:#fbf8f0f5}.cinematic-intro.svelte-1bvpmr3>div:where(.svelte-1bvpmr3):first-child>span:where(.svelte-1bvpmr3){color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.6rem;font-weight:650;letter-spacing:.06em;text-transform:uppercase}.cinematic-intro.svelte-1bvpmr3 h3:where(.svelte-1bvpmr3){margin:.25rem 0 0;color:var(--ink);font-size:1.05rem;letter-spacing:-.015em}.cinematic-intro.svelte-1bvpmr3 p:where(.svelte-1bvpmr3){margin:.28rem 0 0;color:var(--muted);font-size:.76rem;line-height:1.45}.cinematic-actions.svelte-1bvpmr3{display:flex;flex:none;gap:.45rem}.cinematic-actions.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){display:inline-flex;align-items:center;gap:.35rem;padding:.45rem .7rem;border-color:var(--line);background:var(--paper)}.cinematic-actions.svelte-1bvpmr3 button.primary:where(.svelte-1bvpmr3){border-color:var(--signal);color:#fffaf3;background:var(--signal)}.cinematic-actions.svelte-1bvpmr3 svg{width:.85rem;height:.85rem}.guided-proof.svelte-1bvpmr3{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:1rem 1.5rem;padding:1rem 1.35rem 1.15rem;border-bottom:1px solid var(--line);background:#fbf8f0f5}.proof-progress.svelte-1bvpmr3{display:grid;grid-column:1 / -1;grid-template-columns:repeat(4,1fr);gap:0;margin:0;padding:0;list-style:none}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3){position:relative;display:grid;grid-template-columns:auto 1fr;gap:.55rem;align-items:center;min-width:0;padding:0 .7rem 0 0;color:var(--muted)}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3):after{position:absolute;top:50%;right:.35rem;left:2rem;z-index:0;height:1px;background:var(--line);content:""}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3):last-child:after{display:none}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3)>span:where(.svelte-1bvpmr3),.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3)>strong:where(.svelte-1bvpmr3){position:relative;z-index:1}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3)>span:where(.svelte-1bvpmr3){display:grid;width:1.55rem;height:1.55rem;place-items:center;border:1px solid var(--line);border-radius:50%;background:var(--paper);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.58rem}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3)>strong:where(.svelte-1bvpmr3){overflow:hidden;padding-right:.45rem;color:inherit;background:var(--paper);font-size:.68rem;font-weight:650;line-height:1.25;text-overflow:ellipsis;white-space:nowrap}.proof-progress.svelte-1bvpmr3 li.complete:where(.svelte-1bvpmr3)>span:where(.svelte-1bvpmr3){border-color:var(--source);color:var(--paper);background:var(--source)}.proof-progress.svelte-1bvpmr3 li.current:where(.svelte-1bvpmr3){color:var(--signal)}.proof-progress.svelte-1bvpmr3 li.current:where(.svelte-1bvpmr3)>span:where(.svelte-1bvpmr3){border-color:var(--signal)}.step-copy.svelte-1bvpmr3{min-width:0}.step-copy.svelte-1bvpmr3>span:where(.svelte-1bvpmr3),.step-copy.svelte-1bvpmr3 small:where(.svelte-1bvpmr3){color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.6rem;font-weight:650;letter-spacing:.06em;text-transform:uppercase}.step-copy.svelte-1bvpmr3 h3:where(.svelte-1bvpmr3){margin:.28rem 0 0;color:var(--ink);font-size:1.05rem;letter-spacing:-.015em}.step-copy.svelte-1bvpmr3 p:where(.svelte-1bvpmr3){max-width:64ch;margin:.35rem 0 0;color:var(--muted);font-size:.78rem;line-height:1.55}.step-copy.svelte-1bvpmr3 small:where(.svelte-1bvpmr3){display:block;margin-top:.45rem;color:var(--source);letter-spacing:.02em;text-transform:none}.guide-actions.svelte-1bvpmr3{display:flex;align-items:flex-end;gap:.45rem}.guide-actions.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){padding:.45rem .7rem;border-color:var(--line);background:var(--paper)}.guide-actions.svelte-1bvpmr3 button.primary:where(.svelte-1bvpmr3){border-color:var(--signal);color:#fffaf3;background:var(--signal)}.explorer-grid.svelte-1bvpmr3{display:grid;grid-template-columns:minmax(0,1.65fr) minmax(18rem,.75fr);min-height:34rem}.explorer-grid.cinematic-mode.svelte-1bvpmr3{grid-template-columns:minmax(0,1fr)}.explorer-grid.cinematic-mode.svelte-1bvpmr3 .viewer-panel:where(.svelte-1bvpmr3){border-right:0}.explorer-grid.cinematic-mode.svelte-1bvpmr3 .analysis-panel:where(.svelte-1bvpmr3){display:none}.viewer-panel.svelte-1bvpmr3{min-width:0;padding:1rem;border-right:1px solid var(--line);background:#fbf8f0b8}.tensor-viewport.svelte-1bvpmr3{position:relative;overflow:hidden;height:clamp(26rem,45vw,34rem);border:1px solid var(--line);border-radius:.65rem;background:#f7f2e8;cursor:grab;touch-action:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}.tensor-viewport.svelte-1bvpmr3:active{cursor:grabbing}.tensor-viewport.svelte-1bvpmr3:not(.free-explore){cursor:default;touch-action:pan-y}.tensor-viewport.svelte-1bvpmr3:focus-visible,button.svelte-1bvpmr3:focus-visible{outline:2px solid var(--signal);outline-offset:3px}.tensor-viewport.svelte-1bvpmr3 img:where(.svelte-1bvpmr3){display:block;width:100%;height:100%;margin:0;-o-object-fit:contain;object-fit:contain}.tensor-viewport.svelte-1bvpmr3 img.hidden:where(.svelte-1bvpmr3){display:none}.tensor-viewport.svelte-1bvpmr3 canvas{position:absolute;inset:0;display:block;width:100%;height:100%}.viewport-label.svelte-1bvpmr3,.axis-labels.svelte-1bvpmr3{position:absolute;z-index:2;pointer-events:none}.viewport-label.svelte-1bvpmr3{top:.8rem;left:.8rem;padding:.55rem .65rem;border:1px solid rgb(166 64 32 / .3);background:#fbf8f0e6}.viewport-label.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.viewport-label.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){display:block;font-family:JetBrains Mono,ui-monospace,monospace}.viewport-label.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){color:var(--signal);font-size:.6rem;font-weight:700;letter-spacing:.08em}.viewport-label.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){margin-top:.16rem;color:var(--ink);font-size:.68rem}.axis-labels.svelte-1bvpmr3{right:.8rem;bottom:.75rem;display:flex;gap:.8rem;color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.58rem;font-weight:650;text-transform:uppercase}.tensor-viewport.svelte-1bvpmr3:not(.free-explore)>.viewport-label:where(.svelte-1bvpmr3),.tensor-viewport.svelte-1bvpmr3:not(.free-explore)>.axis-labels:where(.svelte-1bvpmr3){display:none}.signal-band-key.svelte-1bvpmr3{position:absolute;top:.75rem;left:.75rem;z-index:4;display:none;flex-wrap:wrap;gap:.35rem .55rem;max-width:11rem;padding:.45rem .55rem;border:1px solid var(--line);background:#fbf8f0e6;pointer-events:none}.signal-band-key.visible.svelte-1bvpmr3{display:flex}.free-explore.svelte-1bvpmr3>.signal-band-key:where(.svelte-1bvpmr3){right:.75rem;left:auto}.signal-band-key.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){width:100%;color:var(--ink);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.55rem;text-transform:uppercase}.signal-band-key.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){display:inline-flex;align-items:center;gap:.25rem;color:var(--muted);font-size:.52rem}.signal-band-key.svelte-1bvpmr3 i:where(.svelte-1bvpmr3){width:.48rem;height:.48rem;border-radius:50%;background:#9f3419}.signal-band-key.svelte-1bvpmr3 i.mid:where(.svelte-1bvpmr3){background:#c75b32}.signal-band-key.svelte-1bvpmr3 i.low:where(.svelte-1bvpmr3){background:#e4a07b}.viewport-callouts.svelte-1bvpmr3{position:absolute;inset:0;z-index:3;overflow:hidden;pointer-events:none}.cinematic-viewport-overlay.svelte-1bvpmr3{position:absolute;inset:0;z-index:5;pointer-events:none}.cinematic-stage-copy.svelte-1bvpmr3{position:absolute;top:1rem;left:1rem;max-width:min(24rem,calc(100% - 2rem));padding:.55rem .68rem;border:1px solid rgb(166 64 32 / .35);background:#fbf8f0eb}.cinematic-stage-copy.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.cinematic-stage-copy.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){display:block;font-family:JetBrains Mono,ui-monospace,monospace}.cinematic-stage-copy.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){color:var(--signal);font-size:.56rem;font-weight:700;letter-spacing:.06em;text-transform:uppercase}.cinematic-stage-copy.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){margin-top:.2rem;color:var(--ink);font-size:clamp(.72rem,1.5vw,.92rem);line-height:1.3}.cinematic-window-labels.svelte-1bvpmr3,.cinematic-same-box.svelte-1bvpmr3,.cinematic-placement.svelte-1bvpmr3,.cinematic-resolution.svelte-1bvpmr3{position:absolute;color:var(--ink);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.58rem;font-weight:650}.cinematic-window-labels.svelte-1bvpmr3{inset:auto 8% 8%;display:flex;justify-content:space-between}.cinematic-window-labels.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){padding:.28rem .4rem;border:1px solid var(--line);background:#fbf8f0e6}.cinematic-same-box.svelte-1bvpmr3{right:1rem;bottom:1rem;display:grid;gap:.35rem}.cinematic-same-box.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.cinematic-placement.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.cinematic-placement.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){padding:.32rem .45rem;border:1px solid var(--line);background:#fbf8f0eb}.cinematic-placement.svelte-1bvpmr3{right:1rem;bottom:1rem;display:grid;gap:.3rem;justify-items:end}.cinematic-placement.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){border-color:#a640206b;color:var(--signal)}.cinematic-resolution.svelte-1bvpmr3{right:1rem;bottom:1rem;display:grid;gap:.22rem;justify-items:end;font-size:clamp(.76rem,1.8vw,1.05rem)}.cinematic-resolution.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.cinematic-resolution.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){padding:.32rem .48rem;border:1px solid var(--line);opacity:.18;background:#fbf8f0eb}.cinematic-resolution.svelte-1bvpmr3 .revealed:where(.svelte-1bvpmr3){opacity:1}.cinematic-resolution.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){border-color:var(--signal);color:#fffaf3;background:var(--signal)}.viewport-callouts.svelte-1bvpmr3 svg:where(.svelte-1bvpmr3){position:absolute;inset:0;width:100%;height:100%}.viewport-callouts.svelte-1bvpmr3 svg:where(.svelte-1bvpmr3) path:where(.svelte-1bvpmr3){fill:none;stroke:var(--signal);stroke-width:.32;vector-effect:non-scaling-stroke;marker-end:url(#callout-arrow)}.viewport-callouts.svelte-1bvpmr3 svg:where(.svelte-1bvpmr3) path.bracket:where(.svelte-1bvpmr3),.viewport-callouts.svelte-1bvpmr3 svg:where(.svelte-1bvpmr3) path.shift:where(.svelte-1bvpmr3){marker-end:none}.viewport-callouts.svelte-1bvpmr3 svg:where(.svelte-1bvpmr3) path.strong:where(.svelte-1bvpmr3){stroke-width:.55}.viewport-callouts.svelte-1bvpmr3 svg:where(.svelte-1bvpmr3) marker:where(.svelte-1bvpmr3) path:where(.svelte-1bvpmr3){fill:var(--signal);stroke:none}.callout.svelte-1bvpmr3{position:absolute;max-width:13rem;padding:.3rem .42rem;border:1px solid rgb(166 64 32 / .35);color:var(--ink);background:#fbf8f0eb;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.58rem;font-weight:650;line-height:1.25}.callout.cage.svelte-1bvpmr3{top:7%;right:3%}.callout.source.svelte-1bvpmr3{bottom:12%;left:3%}.callout.field.svelte-1bvpmr3{top:28%;right:2%}.callout.patch-width.svelte-1bvpmr3{top:2.5%;left:50%;transform:translate(-50%)}.callout.same-window.svelte-1bvpmr3{top:3%;left:50%;transform:translate(-50%)}.callout.box-match.svelte-1bvpmr3{top:20%;right:3%;color:var(--signal)}.callout.monai-pad.svelte-1bvpmr3{top:8%;left:2%}.callout.legacy-pad.svelte-1bvpmr3{top:8%;right:2%}.callout.delta.svelte-1bvpmr3{bottom:7%;left:50%;color:var(--signal);transform:translate(-50%)}.callout.local-indices.svelte-1bvpmr3{top:9%;right:2%}.callout.bytes-differ.svelte-1bvpmr3{bottom:16%;left:3%}.callout.viewport-verdict.svelte-1bvpmr3{right:3%;bottom:8%;border-color:var(--signal);color:#fffaf3;background:var(--signal);font-size:.72rem}.viewer-instructions.svelte-1bvpmr3{min-height:1.1rem}.guided-ruler.svelte-1bvpmr3{position:relative;display:grid;gap:.4rem;margin-top:.75rem;padding:.7rem;border:1px solid var(--line);background:var(--paper)}.guided-ruler.svelte-1bvpmr3>div:where(.svelte-1bvpmr3){display:grid;grid-template-columns:4.2rem minmax(0,1fr) 6.5rem;gap:.55rem;align-items:center;opacity:.52}.guided-ruler.svelte-1bvpmr3>div.active:where(.svelte-1bvpmr3){opacity:1}.guided-ruler.svelte-1bvpmr3>div:where(.svelte-1bvpmr3)>span:where(.svelte-1bvpmr3),.guided-ruler.svelte-1bvpmr3>div:where(.svelte-1bvpmr3)>small:where(.svelte-1bvpmr3),.shift-marker.svelte-1bvpmr3{font-family:JetBrains Mono,ui-monospace,monospace;font-size:.57rem;font-weight:650}.guided-ruler.svelte-1bvpmr3>div:where(.svelte-1bvpmr3)>span:where(.svelte-1bvpmr3){color:var(--ink)}.guided-ruler.svelte-1bvpmr3>div:where(.svelte-1bvpmr3)>small:where(.svelte-1bvpmr3){color:var(--muted);text-align:right}.ruler-strip.svelte-1bvpmr3{display:flex;height:1.3rem}.ruler-strip.svelte-1bvpmr3 i:where(.svelte-1bvpmr3),.ruler-strip.svelte-1bvpmr3 b:where(.svelte-1bvpmr3){display:grid;place-items:center;border:1px solid var(--line);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.48rem;font-style:normal}.ruler-strip.svelte-1bvpmr3 i:where(.svelte-1bvpmr3){width:.82rem;background:repeating-linear-gradient(135deg,transparent 0 4px,rgb(116 107 96 / .3) 4px 5px),var(--paper)}.ruler-strip.svelte-1bvpmr3 b:where(.svelte-1bvpmr3){flex:1;color:#fffaf3;background:var(--source)}.shift-marker.svelte-1bvpmr3{display:none;justify-self:end;color:var(--signal)}.guided-ruler.comparison-active.svelte-1bvpmr3 .shift-marker:where(.svelte-1bvpmr3){display:block}.visual-legend.svelte-1bvpmr3{display:grid;grid-template-columns:auto 1fr;gap:.6rem 1rem;align-items:start;margin-top:.65rem;padding:.55rem .1rem 0}.visual-legend.svelte-1bvpmr3>strong:where(.svelte-1bvpmr3){color:var(--ink);font-size:.68rem}.visual-legend.svelte-1bvpmr3 ul:where(.svelte-1bvpmr3){display:flex;flex-wrap:wrap;gap:.35rem .9rem;margin:0;padding:0;list-style:none}.visual-legend.svelte-1bvpmr3 li:where(.svelte-1bvpmr3){display:inline-flex;align-items:center;gap:.35rem;color:var(--muted);font-size:.62rem}.visual-legend.svelte-1bvpmr3 i:where(.svelte-1bvpmr3){width:.72rem;height:.72rem;border:1px solid var(--ink)}.visual-legend.svelte-1bvpmr3 i.source:where(.svelte-1bvpmr3){border-color:var(--source);background:#526c5a38}.visual-legend.svelte-1bvpmr3 i.voxel:where(.svelte-1bvpmr3){border-color:var(--signal);background:var(--signal)}.visual-legend.svelte-1bvpmr3 i.padding:where(.svelte-1bvpmr3){width:.2rem;border-color:var(--signal);background:transparent}.viewer-controls.svelte-1bvpmr3{display:flex;flex-wrap:wrap;gap:.55rem;margin-top:.8rem}.placement-control.svelte-1bvpmr3{display:flex;padding:.18rem;border:1px solid var(--line);border-radius:.45rem;background:var(--paper)}button.svelte-1bvpmr3{min-height:2.35rem;border:1px solid transparent;border-radius:.34rem;color:var(--ink);background:transparent;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.66rem;font-weight:700;cursor:pointer}.placement-control.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){padding:.45rem .7rem}.placement-control.svelte-1bvpmr3 button.active:where(.svelte-1bvpmr3){border-color:#a6402040;color:var(--signal);background:#a6402014}.control-button.svelte-1bvpmr3{display:inline-flex;align-items:center;gap:.38rem;padding:.45rem .7rem;border-color:var(--line);background:var(--paper)}.control-button.svelte-1bvpmr3 svg{width:.9rem;height:.9rem}button.svelte-1bvpmr3:hover:not(:disabled){border-color:#a6402073}button.svelte-1bvpmr3:disabled{cursor:not-allowed;opacity:.48}.analysis-panel.svelte-1bvpmr3{min-width:0;padding:1rem;background:#f4efe4eb}.analysis-heading.svelte-1bvpmr3{padding-bottom:.85rem;border-bottom:1px solid var(--line)}.analysis-heading.svelte-1bvpmr3 span:where(.svelte-1bvpmr3),.analysis-heading.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){display:block}.analysis-heading.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){color:var(--signal)}.analysis-heading.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){margin-top:.3rem;color:var(--ink);font-size:1rem}.placement-facts.svelte-1bvpmr3{display:grid;gap:.7rem;margin-top:.8rem}.placement-facts.svelte-1bvpmr3 section:where(.svelte-1bvpmr3){padding:.75rem;border:1px solid var(--line);background:#fbf8f0a3;opacity:.68}.placement-facts.svelte-1bvpmr3 section.active:where(.svelte-1bvpmr3){border-color:#a6402073;opacity:1}.placement-facts.svelte-1bvpmr3 header:where(.svelte-1bvpmr3),.difference-map.svelte-1bvpmr3 header:where(.svelte-1bvpmr3){display:flex;align-items:baseline;justify-content:space-between;gap:.8rem}.placement-facts.svelte-1bvpmr3 header:where(.svelte-1bvpmr3) strong:where(.svelte-1bvpmr3){color:var(--ink);font-size:.78rem}.placement-facts.svelte-1bvpmr3 header:where(.svelte-1bvpmr3) span:where(.svelte-1bvpmr3){color:var(--muted);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.58rem}.position-strip.svelte-1bvpmr3{display:flex;height:1.55rem;margin-top:.55rem}.position-strip.svelte-1bvpmr3 i:where(.svelte-1bvpmr3),.position-strip.svelte-1bvpmr3 b:where(.svelte-1bvpmr3){display:grid;place-items:center;border:1px solid var(--line);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.52rem;font-style:normal}.position-strip.svelte-1bvpmr3 i:where(.svelte-1bvpmr3){width:1rem;background:repeating-linear-gradient(135deg,transparent 0 4px,rgb(116 107 96 / .3) 4px 5px),var(--paper)}.position-strip.svelte-1bvpmr3 b:where(.svelte-1bvpmr3){flex:1;color:#fffaf3;background:var(--source)}.difference-map.svelte-1bvpmr3{margin-top:.8rem;padding-top:.85rem;border-top:1px solid var(--line)}.difference-map.svelte-1bvpmr3 header:where(.svelte-1bvpmr3) span:where(.svelte-1bvpmr3){color:var(--muted)}.difference-map.svelte-1bvpmr3 header:where(.svelte-1bvpmr3) strong:where(.svelte-1bvpmr3){color:var(--signal);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.75rem}.difference-cells.svelte-1bvpmr3{display:grid;grid-template-columns:repeat(8,1fr);gap:.2rem;margin-top:.55rem}.difference-cells.svelte-1bvpmr3 i:where(.svelte-1bvpmr3){display:grid;aspect-ratio:1;place-items:center;border:1px solid var(--line);color:var(--muted);background:var(--paper);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.55rem;font-style:normal}.difference-cells.svelte-1bvpmr3 i.changed:where(.svelte-1bvpmr3){border-color:var(--signal);color:var(--signal);background:repeating-linear-gradient(135deg,transparent 0 5px,rgb(166 64 32 / .24) 5px 6px),var(--paper)}.difference-map.svelte-1bvpmr3 p:where(.svelte-1bvpmr3){margin:.55rem 0 0;color:var(--muted);font-size:.66rem;line-height:1.45}.verdict-panel.svelte-1bvpmr3{margin-top:.85rem;padding:.85rem;border:1px solid var(--ink);background:var(--paper)}.verdict-panel.svelte-1bvpmr3>span:where(.svelte-1bvpmr3),.verdict-panel.svelte-1bvpmr3>strong:where(.svelte-1bvpmr3){display:block}.verdict-panel.svelte-1bvpmr3>span:where(.svelte-1bvpmr3){margin-top:.55rem;color:var(--muted)}.verdict-panel.svelte-1bvpmr3>span:where(.svelte-1bvpmr3):first-child{margin-top:0}.verdict-panel.svelte-1bvpmr3>strong:where(.svelte-1bvpmr3){margin-top:.18rem;color:var(--ink);font-family:JetBrains Mono,ui-monospace,monospace;font-size:.78rem}.verdict-panel.svelte-1bvpmr3 p:where(.svelte-1bvpmr3){margin:.8rem 0 0;padding-top:.7rem;border-top:1px solid var(--line);color:var(--ink);font-size:.82rem;font-weight:650}.verdict-panel.svelte-1bvpmr3 b:where(.svelte-1bvpmr3){color:var(--signal)}.contract-row.svelte-1bvpmr3{display:grid;grid-template-columns:repeat(5,1fr);margin:0;border-top:1px solid var(--line);background:#fbf8f0f0}.contract-row.svelte-1bvpmr3 div:where(.svelte-1bvpmr3){min-width:0;padding:.85rem 1rem;border-right:1px solid var(--line)}.contract-row.svelte-1bvpmr3 div:where(.svelte-1bvpmr3):last-child{border-right:0}dt.svelte-1bvpmr3{color:var(--muted)}dd.svelte-1bvpmr3{margin:.28rem 0 0;font-family:JetBrains Mono,ui-monospace,monospace;font-size:.78rem;font-weight:700}figcaption.svelte-1bvpmr3{max-width:50rem;margin:.85rem auto 0;color:oklch(var(--bc) / .72);font-size:.83rem;line-height:1.6}figcaption.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){overflow-wrap:anywhere}@media(max-width:880px){.explorer-grid.svelte-1bvpmr3{grid-template-columns:1fr}.viewer-panel.svelte-1bvpmr3{border-right:0;border-bottom:1px solid var(--line)}.analysis-panel.svelte-1bvpmr3{display:grid;grid-template-columns:1fr 1fr;gap:.8rem}.analysis-heading.svelte-1bvpmr3{grid-column:1 / -1}.placement-facts.svelte-1bvpmr3{margin-top:0}.difference-map.svelte-1bvpmr3{margin-top:0;padding:.75rem;border:1px solid var(--line)}.verdict-panel.svelte-1bvpmr3{grid-column:1 / -1;margin-top:0}}@media(max-width:640px){.voxel-explorer.svelte-1bvpmr3{width:calc(100vw - 1.5rem)}.explorer-header.svelte-1bvpmr3{align-items:flex-start;padding:1rem}.mode-switch.svelte-1bvpmr3{padding-inline:1rem}.mode-switch.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){flex:1;padding-inline:.35rem;font-size:.58rem}.cinematic-intro.svelte-1bvpmr3{align-items:stretch;flex-direction:column;gap:.75rem;padding:.8rem 1rem}.cinematic-actions.svelte-1bvpmr3{display:grid;grid-template-columns:1fr 1.35fr}.cinematic-actions.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){justify-content:center;padding-inline:.35rem}.guided-proof.svelte-1bvpmr3{grid-template-columns:1fr;padding:.85rem 1rem 1rem}.proof-progress.svelte-1bvpmr3{grid-template-columns:repeat(2,1fr);gap:.6rem 0}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3):nth-child(2):after{display:none}.proof-progress.svelte-1bvpmr3 li:where(.svelte-1bvpmr3)>strong:where(.svelte-1bvpmr3){font-size:.62rem}.guide-actions.svelte-1bvpmr3{display:grid;grid-template-columns:repeat(3,1fr)}.guide-actions.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){padding-inline:.35rem}.window-badge.svelte-1bvpmr3{max-width:7rem}.viewer-panel.svelte-1bvpmr3,.analysis-panel.svelte-1bvpmr3{padding:.75rem}.tensor-viewport.svelte-1bvpmr3{height:22rem}.callout.svelte-1bvpmr3{max-width:8.5rem;padding:.25rem .32rem;font-size:.48rem}.cinematic-stage-copy.svelte-1bvpmr3{top:.65rem;left:.65rem;max-width:calc(100% - 1.3rem);padding:.4rem .5rem}.cinematic-stage-copy.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){font-size:.66rem}.cinematic-window-labels.svelte-1bvpmr3{right:3%;bottom:4%;left:3%}.cinematic-same-box.svelte-1bvpmr3,.cinematic-placement.svelte-1bvpmr3,.cinematic-resolution.svelte-1bvpmr3{right:.65rem;bottom:.65rem;font-size:.5rem}.callout.field.svelte-1bvpmr3{top:32%}.callout.same-window.svelte-1bvpmr3{width:-moz-max-content;width:max-content;max-width:13rem}.callout.box-match.svelte-1bvpmr3{display:none}.callout.monai-pad.svelte-1bvpmr3,.callout.legacy-pad.svelte-1bvpmr3{max-width:7rem}.callout.local-indices.svelte-1bvpmr3{max-width:9rem}.signal-band-key.svelte-1bvpmr3{max-width:8rem;padding:.35rem}.signal-band-key.svelte-1bvpmr3 strong:where(.svelte-1bvpmr3){font-size:.48rem}.signal-band-key.svelte-1bvpmr3 span:where(.svelte-1bvpmr3){font-size:.46rem}.guided-ruler.svelte-1bvpmr3>div:where(.svelte-1bvpmr3){grid-template-columns:3.5rem minmax(0,1fr)}.guided-ruler.svelte-1bvpmr3>div:where(.svelte-1bvpmr3)>small:where(.svelte-1bvpmr3){grid-column:2;text-align:left}.visual-legend.svelte-1bvpmr3{grid-template-columns:1fr}.viewer-controls.svelte-1bvpmr3{display:grid;grid-template-columns:1fr 1fr}.placement-control.svelte-1bvpmr3{grid-column:1 / -1}.placement-control.svelte-1bvpmr3 button:where(.svelte-1bvpmr3){flex:1}.control-button.svelte-1bvpmr3{justify-content:center}.analysis-panel.svelte-1bvpmr3{grid-template-columns:1fr}.analysis-heading.svelte-1bvpmr3,.verdict-panel.svelte-1bvpmr3{grid-column:auto}.contract-row.svelte-1bvpmr3{grid-template-columns:repeat(2,1fr)}.contract-row.svelte-1bvpmr3 div:where(.svelte-1bvpmr3){border-bottom:1px solid var(--line)}.contract-row.svelte-1bvpmr3 div:where(.svelte-1bvpmr3):nth-child(2n){border-right:0}.contract-row.svelte-1bvpmr3 div:where(.svelte-1bvpmr3):last-child{grid-column:1 / -1;border-bottom:0}figcaption.svelte-1bvpmr3{padding-inline:.15rem}}.story-demo.svelte-wfdann{margin:2.5rem 0}.story-board.svelte-wfdann{overflow:hidden;border:1px solid #34372f;border-radius:.85rem;color:#f1f2ed;background:#10120e;box-shadow:0 18px 45px #0000002e}.story-label.svelte-wfdann,.story-footer.svelte-wfdann{display:flex;align-items:center;justify-content:space-between;color:#92968b;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.68rem;text-transform:uppercase;letter-spacing:.05em}.story-label.svelte-wfdann{min-height:3rem;padding:.75rem 1rem;border-bottom:1px solid #34372f}.story-tabs.svelte-wfdann{display:grid;grid-template-columns:repeat(4,1fr);border-bottom:1px solid #34372f}.story-tabs.svelte-wfdann button:where(.svelte-wfdann){position:relative;display:grid;min-height:6.4rem;gap:.25rem;align-content:center;padding:.8rem 1rem;border:0;border-right:1px solid #34372f;color:#92968b;background:#151712;cursor:pointer;text-align:left}.story-tabs.svelte-wfdann button:where(.svelte-wfdann):last-child{border-right:0}.story-tabs.svelte-wfdann button:where(.svelte-wfdann):after{position:absolute;right:0;bottom:-1px;left:0;height:2px;background:#3155f5;content:"";opacity:0;transform:scaleX(.5);transition:opacity .16s ease,transform .2s ease}.story-tabs.svelte-wfdann button.orange:where(.svelte-wfdann):after{background:#f2633f}.story-tabs.svelte-wfdann button.lime:where(.svelte-wfdann):after{background:#c9f57a}.story-tabs.svelte-wfdann button:where(.svelte-wfdann):hover,.story-tabs.svelte-wfdann button[aria-selected=true]:where(.svelte-wfdann){color:#f1f2ed;background:#10120e}.story-tabs.svelte-wfdann button[aria-selected=true]:where(.svelte-wfdann):after{opacity:1;transform:scaleX(1)}.story-tabs.svelte-wfdann button:where(.svelte-wfdann):focus-visible{outline:2px solid #9eafff;outline-offset:-3px}.story-tabs.svelte-wfdann span:where(.svelte-wfdann),.story-tabs.svelte-wfdann small:where(.svelte-wfdann),.panel-copy.svelte-wfdann>span:where(.svelte-wfdann){font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.68rem;text-transform:uppercase;letter-spacing:.05em}.story-tabs.svelte-wfdann strong:where(.svelte-wfdann){font-size:1rem;font-weight:570}.story-tabs.svelte-wfdann small:where(.svelte-wfdann),.panel-copy.svelte-wfdann>span:where(.svelte-wfdann){color:#9eafff}.story-tabs.svelte-wfdann .orange:where(.svelte-wfdann) small:where(.svelte-wfdann),.orange.svelte-wfdann .panel-copy:where(.svelte-wfdann)>span:where(.svelte-wfdann){color:#ffad93}.story-tabs.svelte-wfdann .lime:where(.svelte-wfdann) small:where(.svelte-wfdann),.lime.svelte-wfdann .panel-copy:where(.svelte-wfdann)>span:where(.svelte-wfdann){color:#c9f57a}.story-panel.svelte-wfdann{display:grid;min-height:20rem;grid-template-columns:minmax(16rem,.8fr) minmax(0,1.2fr);animation:svelte-wfdann-story-in .28s ease-out both}.panel-copy.svelte-wfdann{display:flex;flex-direction:column;justify-content:center;padding:clamp(1.4rem,4vw,2.4rem);border-right:1px solid #34372f;background:#3155f50f}.story-panel.orange.svelte-wfdann .panel-copy:where(.svelte-wfdann){background:#f2633f0f}.story-panel.lime.svelte-wfdann .panel-copy:where(.svelte-wfdann){background:#c9f57a0d}.panel-copy.svelte-wfdann h3:where(.svelte-wfdann){max-width:11ch;margin:1rem 0 0;color:#f1f2ed;font-size:clamp(1.8rem,4vw,2.8rem);font-weight:520;line-height:1;letter-spacing:-.05em}.panel-copy.svelte-wfdann p:where(.svelte-wfdann){margin:1rem 0 0;color:#a5a99e;font-size:.84rem;line-height:1.5}.fact-list.svelte-wfdann{display:grid;align-content:center;margin:0;padding:clamp(1.4rem,4vw,2.4rem)}.fact-list.svelte-wfdann>div:where(.svelte-wfdann){display:grid;grid-template-columns:minmax(6rem,.45fr) minmax(0,1.55fr);gap:1rem;padding:1rem 0;border-bottom:1px solid #34372f}.fact-list.svelte-wfdann>div:where(.svelte-wfdann):first-child{border-top:1px solid #34372f}.fact-list.svelte-wfdann dt:where(.svelte-wfdann){color:#92968b;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.68rem;text-transform:uppercase}.fact-list.svelte-wfdann dd:where(.svelte-wfdann){margin:0;color:#f1f2ed;font-size:.88rem;font-weight:550}.story-footer.svelte-wfdann{gap:1rem;min-height:3rem;padding:.75rem 1rem;border-top:1px solid #34372f}.story-footer.svelte-wfdann span:where(.svelte-wfdann){display:inline-flex;align-items:center;gap:.4rem}.story-footer.svelte-wfdann span:where(.svelte-wfdann):last-child{margin-left:auto}.story-footer.svelte-wfdann i:where(.svelte-wfdann){width:.38rem;height:.38rem;border-radius:50%;background:#3155f5}.story-footer.svelte-wfdann .gap-key:where(.svelte-wfdann){background:#f2633f}.story-footer.svelte-wfdann .decision-key:where(.svelte-wfdann){background:#c9f57a}figcaption.svelte-wfdann{margin-top:.8rem;color:oklch(var(--bc) / .6);font-size:.84rem;line-height:1.5}@keyframes svelte-wfdann-story-in{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}@media(max-width:620px){.story-label.svelte-wfdann span:where(.svelte-wfdann):last-child,.story-footer.svelte-wfdann span:where(.svelte-wfdann):last-child{display:none}.story-tabs.svelte-wfdann{grid-template-columns:1fr 1fr}.story-tabs.svelte-wfdann button:where(.svelte-wfdann){min-height:5.5rem;border-bottom:1px solid #34372f}.story-tabs.svelte-wfdann button:where(.svelte-wfdann):nth-child(2n){border-right:0}.story-tabs.svelte-wfdann button:where(.svelte-wfdann):nth-last-child(-n+2){border-bottom:0}.story-panel.svelte-wfdann{grid-template-columns:1fr}.panel-copy.svelte-wfdann{min-height:14rem;border-right:0;border-bottom:1px solid #34372f}.fact-list.svelte-wfdann>div:where(.svelte-wfdann){grid-template-columns:1fr;gap:.35rem}.story-footer.svelte-wfdann{display:grid}}