@font-face{font-family:GeistSans;src:url(/_next/static/media/dbccb4a9e22cbf0d-s.p.woff2) format("woff2");font-display:swap;font-weight:100 900}@font-face{font-family:GeistSans Fallback;src:local("Arial");ascent-override:94.56%;descent-override:27.76%;line-gap-override:0.00%;size-adjust:106.28%}.__className_4cefcd{font-family:GeistSans,GeistSans Fallback}.__variable_4cefcd{--font-geist-sans:"GeistSans","GeistSans Fallback"}@font-face{font-family:GeistMono;src:url(/_next/static/media/acc1c922d613a50a.p.woff2) format("woff2");font-display:swap;font-weight:100 900}.__className_ad0237{font-family:GeistMono,ui-monospace,SFMono-Regular,Roboto Mono,Menlo,Monaco,Liberation Mono,DejaVu Sans Mono,Courier New,monospace}.__variable_ad0237{--font-geist-mono:"GeistMono",ui-monospace,SFMono-Regular,Roboto Mono,Menlo,Monaco,Liberation Mono,DejaVu Sans Mono,Courier New,monospace}:root{--bg-0:#070a0f;--bg-1:#0b1017;--bg-2:#10161f;--bg-3:#161e2a;--line-0:rgba(148,178,209,0.08);--line-1:rgba(148,178,209,0.16);--line-2:rgba(148,178,209,0.3);--text-0:#eef3f9;--text-1:#a7b6c9;--text-2:#6b7d93;--mint:#54e0b3;--mint-strong:#3ecf9f;--mint-dim:#2f9478;--mint-glow:rgba(84,224,179,0.14);--mint-soft:rgba(84,224,179,0.06);--blue:#82a9ff;--blue-glow:rgba(130,169,255,0.14);--coral:#ff9378;--violet:#c29aff;--fault:#ff756d;--fault-glow:rgba(255,117,109,0.14);--warn:#ffc555;--warn-glow:rgba(255,197,85,0.12);--font-sans:var(--font-geist-sans),ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif;--font-mono:var(--font-geist-mono),ui-monospace,"SF Mono","Cascadia Mono",Menlo,monospace;--r-xs:6px;--r-sm:10px;--r-md:14px;--r-lg:18px;--r-full:999px;--dur-1:120ms;--dur-2:200ms;--dur-3:320ms;--dur-4:560ms;--ease-out:cubic-bezier(0.16,1,0.3,1);--ease-spring:cubic-bezier(0.34,1.3,0.64,1);--shadow-float:0 18px 50px rgba(0,0,0,0.5),0 2px 8px rgba(0,0,0,0.4)}*,:after,:before{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--bg-0);color:var(--text-0);font-family:var(--font-sans);font-size:15px;line-height:1.6;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}body:before{inset:0;z-index:0;background:radial-gradient(900px 460px at 16% -10%,rgba(84,224,179,.07),transparent 62%),radial-gradient(820px 480px at 102% 4%,rgba(130,169,255,.05),transparent 62%),radial-gradient(760px 620px at 48% 118%,rgba(84,224,179,.04),transparent 62%)}body:after,body:before{content:"";position:fixed;pointer-events:none}body:after{inset:-60%;width:220%;height:220%;z-index:2400;opacity:.021;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='180' height='180'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.82' numOctaves='2' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");animation:grainShift 8s steps(5) infinite}@keyframes grainShift{0%,to{transform:translate(0)}20%{transform:translate(-1.4%,.9%)}40%{transform:translate(1.1%,-1.3%)}60%{transform:translate(-.9%,.5%)}80%{transform:translate(.6%,1.2%)}}main{max-width:1200px;margin:0 auto;padding:16px 28px 96px;position:relative;z-index:1}::selection{background:rgba(84,224,179,.28);color:var(--text-0)}:focus-visible{outline:2px solid rgba(84,224,179,.65);outline-offset:2px;border-radius:4px}*{scrollbar-width:thin;scrollbar-color:var(--line-2) transparent}::-webkit-scrollbar{width:10px;height:10px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--line-1);border-radius:999px;border:2px solid var(--bg-0)}::-webkit-scrollbar-thumb:hover{background:var(--line-2)}h1,h2,h3,h4{margin:0;font-weight:580;letter-spacing:-.02em;line-height:1.15}p{margin:10px 0}.muted{color:var(--text-2);font-size:13px}.section-kicker{display:inline-flex;align-items:center;gap:9px;font-family:var(--font-mono);font-size:10.5px;font-weight:500;letter-spacing:.16em;line-height:1;color:var(--mint);text-transform:lowercase}.section-kicker:before{content:"";width:16px;height:1px;background:linear-gradient(90deg,transparent,var(--mint-dim));flex:none}.subheading{margin:30px 0 12px;font-size:15px;letter-spacing:-.01em}.mono,.num,.recorded-status strong,.signal{font-family:var(--font-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}button{font:inherit;font-size:13.5px;font-weight:500;letter-spacing:.01em;color:var(--text-0);background:var(--bg-2);border:1px solid var(--line-1);border-radius:var(--r-xs);padding:9px 14px;cursor:pointer;transition:background var(--dur-2) var(--ease-out),border-color var(--dur-2) var(--ease-out),box-shadow var(--dur-2) var(--ease-out),transform var(--dur-1) var(--ease-out),color var(--dur-2) var(--ease-out)}button:hover:not(:disabled){background:var(--bg-3);border-color:var(--line-2)}button:active:not(:disabled){transform:scale(.98)}button:disabled{opacity:.4;cursor:not-allowed}button.primary{color:#d9fdf0;background:linear-gradient(180deg,rgba(84,224,179,.18),rgba(84,224,179,.07));border-color:rgba(84,224,179,.38)}button.primary:hover:not(:disabled){background:linear-gradient(180deg,rgba(84,224,179,.26),rgba(84,224,179,.11));border-color:rgba(84,224,179,.55);box-shadow:0 0 0 3px rgba(84,224,179,.08),0 0 24px rgba(84,224,179,.12)}label{display:block;font-size:11px;font-weight:500;letter-spacing:.13em;color:var(--text-2);margin-bottom:4px}input,select,textarea{font:inherit;font-size:13.5px;color:var(--text-0);background:var(--bg-1);border:1px solid var(--line-1);border-radius:var(--r-xs);padding:9px 12px;width:100%;transition:border-color var(--dur-2) var(--ease-out),box-shadow var(--dur-2) var(--ease-out),background var(--dur-2) var(--ease-out)}textarea{min-height:92px;resize:vertical;font-family:var(--font-mono);font-size:12.5px;line-height:1.55}input:hover:not(:disabled),select:hover:not(:disabled),textarea:hover:not(:disabled){border-color:var(--line-2)}input:focus-visible,select:focus-visible,textarea:focus-visible{outline:none;border-color:rgba(84,224,179,.55);box-shadow:0 0 0 3px rgba(84,224,179,.1)}label input[type=checkbox]{width:auto;margin-right:8px;accent-color:var(--mint-strong)}label:has(input[type=checkbox]){display:flex;align-items:center;font-size:13px;letter-spacing:0;color:var(--text-1);text-transform:none;cursor:pointer}.grid{display:grid;grid-template-columns:1fr 1fr;grid-gap:26px;gap:26px;margin-top:8px}.grid>div>label{margin-top:12px}.grid>div>label:first-child{margin-top:0}.actions{display:flex;flex-wrap:wrap;align-items:center;gap:10px;margin-top:16px}@media (max-width:900px){.grid{grid-template-columns:1fr}}.panel{position:relative;margin-top:30px;padding:clamp(20px,3vw,34px);border:1px solid var(--line-0);border-radius:var(--r-lg);background:linear-gradient(180deg,rgba(255,255,255,.014),transparent 42%),var(--bg-1)}.panel:before{content:"";position:absolute;inset:0;border-radius:inherit;pointer-events:none;box-shadow:inset 0 1px 0 rgba(255,255,255,.03)}.panelhead{display:flex;align-items:flex-start;justify-content:space-between;gap:18px;flex-wrap:wrap;margin-bottom:10px}.panelhead h2{font-size:clamp(20px,2.4vw,26px);max-width:620px}.panelhead>span{font-family:var(--font-mono);font-size:10.5px;letter-spacing:.08em;color:var(--text-2);white-space:nowrap}.panelhead.subheading{align-items:center;margin:34px 0 12px}.panelhead.subheading h3{margin:0}table{width:100%;border-collapse:collapse;font-size:12.5px;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}th{font-size:10.5px;font-weight:600;letter-spacing:.12em;color:var(--text-2);text-align:left;border-bottom:1px solid var(--line-1);white-space:nowrap;text-transform:lowercase}td,th{padding:11px 14px}td{border-bottom:1px solid var(--line-0);color:var(--text-1);vertical-align:top}tbody tr{transition:background var(--dur-1) var(--ease-out)}tbody tr:hover{background:rgba(148,178,209,.045)}tbody tr:last-child td{border-bottom:none}td:first-child,th:first-child{padding-left:16px}.comparison-scroll{margin-top:14px;overflow-x:auto;border:1px solid var(--line-0);border-radius:var(--r-md);background:rgba(0,0,0,.18)}.comparison-scroll table{min-width:620px}.comparison-scroll td:first-child,.comparison-scroll th:first-child{position:-webkit-sticky;position:sticky;left:0;background:var(--bg-1)}details{margin-top:16px;border:1px solid var(--line-0);border-radius:var(--r-sm);background:rgba(255,255,255,.012);overflow:hidden}summary{display:flex;align-items:center;gap:10px;padding:12px 16px;font-size:12.5px;letter-spacing:.01em;color:var(--text-2);cursor:pointer;list-style:none;transition:color var(--dur-2) var(--ease-out),background var(--dur-2) var(--ease-out)}summary::-webkit-details-marker{display:none}summary:before{content:"+";font-family:var(--font-mono);font-size:12px;color:var(--mint-dim);width:14px;flex:none;transition:transform var(--dur-3) var(--ease-spring),color var(--dur-2)}details[open]>summary:before{content:"−";color:var(--mint)}summary:hover{color:var(--text-1);background:rgba(255,255,255,.014)}.json-record{margin:0;padding:16px;border-top:1px solid var(--line-0);background:rgba(0,0,0,.32);font-family:var(--font-mono);font-size:11.5px;line-height:1.6;color:var(--text-1);overflow:auto;max-height:420px;white-space:pre-wrap;word-break:break-word;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.dashboard-error,.error{padding:11px 14px;border:1px solid rgba(255,117,109,.32);border-radius:var(--r-sm);background:var(--fault-glow);color:#ffbab4;font-size:13px;animation:shakeX var(--dur-3) var(--ease-out) both}@keyframes shakeX{0%,to{transform:translateX(0)}25%{transform:translateX(-4px)}60%{transform:translateX(3px)}85%{transform:translateX(-1px)}}.proof-launch{display:flex;align-items:center;justify-content:space-between;gap:18px;flex-wrap:wrap;margin-top:22px;padding:18px 20px;border:1px solid var(--line-0);border-radius:var(--r-md);background:rgba(255,255,255,.014);transition:border-color var(--dur-2) var(--ease-out)}.proof-launch:hover{border-color:var(--line-1)}.proof-launch>div{display:flex;flex-direction:column;gap:4px}.proof-launch strong{font-size:15px;font-weight:560;letter-spacing:-.01em}.proof-launch small{color:var(--text-2);font-size:12.5px}.proof-result{margin-top:14px;animation:fadeUp var(--dur-4) var(--ease-out) both}.proof-verdict{padding:18px 20px;border:1px solid var(--line-1);border-radius:var(--r-md);background:rgba(255,255,255,.014);display:flex;flex-direction:column;gap:5px}.proof-verdict>span{font-family:var(--font-mono);font-size:10.5px;letter-spacing:.14em;color:var(--text-2);text-transform:lowercase}.proof-verdict strong{font-size:16px;letter-spacing:-.01em}.proof-verdict small{color:var(--text-2);font-size:12.5px}.proof-verdict.passed{border-color:rgba(84,224,179,.32);background:linear-gradient(180deg,rgba(84,224,179,.07),rgba(84,224,179,.015))}.proof-verdict.passed>span{color:var(--mint)}.proof-verdict.failed{border-color:rgba(255,117,109,.32);background:linear-gradient(180deg,rgba(255,117,109,.07),rgba(255,117,109,.015))}.proof-verdict.failed>span{color:var(--fault)}.proof-grid{display:grid;grid-template-columns:repeat(3,1fr);grid-gap:14px;gap:14px;margin-top:14px}.proof-grid article{padding:16px;border:1px solid var(--line-0);border-radius:var(--r-md);background:rgba(255,255,255,.012);display:flex;flex-direction:column;gap:6px;animation:fadeUp var(--dur-4) var(--ease-out) both}.proof-grid article small{font-family:var(--font-mono);font-size:10px;letter-spacing:.12em;color:var(--text-2);text-transform:lowercase}.proof-grid article strong{font-family:var(--font-mono);font-size:17px;font-weight:560;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:-.01em}.proof-grid article span{color:var(--text-2);font-size:12px}@media (max-width:760px){.proof-grid{grid-template-columns:1fr}}.proof-invariants{display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.proof-invariants span{display:inline-flex;align-items:center;gap:7px;padding:6px 11px;border-radius:var(--r-full);border:1px solid var(--line-1);font-family:var(--font-mono);font-size:11px;letter-spacing:.03em;color:var(--text-1)}.proof-invariants i{font-style:normal}.proof-invariants .invariant-pass{border-color:rgba(84,224,179,.3);color:#b8f5e0}.proof-invariants .invariant-pass i{color:var(--mint)}.proof-invariants .invariant-fail{border-color:rgba(255,117,109,.35);color:#ffc4be}.proof-invariants .invariant-fail i{color:var(--fault)}.lab-comparison{display:grid;grid-template-columns:1fr 1fr;grid-gap:14px;gap:14px;margin-top:18px}.lab-comparison article{padding:18px 20px;border:1px solid var(--line-0);border-radius:var(--r-md);background:rgba(255,255,255,.012)}.lab-comparison small{display:block;font-family:var(--font-mono);font-size:10px;letter-spacing:.13em;color:var(--text-2);margin-bottom:6px;text-transform:lowercase}.lab-comparison h3{font-family:var(--font-mono);font-size:clamp(24px,3vw,34px);font-weight:550;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;letter-spacing:-.03em}.lab-comparison p{margin:8px 0 0;color:var(--text-1);font-size:13px}@media (max-width:760px){.lab-comparison{grid-template-columns:1fr}}.history-list{display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.history-list button{font-family:var(--font-mono);font-size:11.5px;padding:7px 12px;color:var(--text-1)}.belief-card{display:flex;flex-direction:column;gap:7px;padding:16px 18px;margin-top:12px;border:1px solid var(--line-0);border-radius:var(--r-md);background:rgba(255,255,255,.012)}.belief-card strong{font-size:14px;letter-spacing:-.01em}.belief-card span{color:var(--text-1);font-size:12.5px}@keyframes fadeUp{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}@keyframes scaleIn{0%{opacity:0;transform:scale(.96)}to{opacity:1;transform:scale(1)}}@keyframes softPulse{0%,to{opacity:1}50%{opacity:.45}}@keyframes glowPulse{0%,to{box-shadow:0 0 0 0 rgba(84,224,179,0)}50%{box-shadow:0 0 22px 2px rgba(84,224,179,.22)}}@keyframes spin{to{transform:rotate(1turn)}}@keyframes dashFlow{to{stroke-dashoffset:-24}}@keyframes drawLine{0%{transform:scaleX(0)}to{transform:scaleX(1)}}.boot{animation:fadeUp .6s var(--ease-out) both;animation-delay:var(--d,0s)}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:after,:before{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}