@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-border-style:solid;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial}}}@layer theme{:root,:host{--font-sans:ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";--font-mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.relative{position:relative}.container{width:100%}@media (min-width:40rem){.container{max-width:40rem}}@media (min-width:48rem){.container{max-width:48rem}}@media (min-width:64rem){.container{max-width:64rem}}@media (min-width:80rem){.container{max-width:80rem}}@media (min-width:96rem){.container{max-width:96rem}}.flex{display:flex}.grid{display:grid}.inline{display:inline}.rounded{border-radius:.25rem}.border{border-style:var(--tw-border-style);border-width:1px}.blur{--tw-blur:blur(8px);filter:var(--tw-blur,)var(--tw-brightness,)var(--tw-contrast,)var(--tw-grayscale,)var(--tw-hue-rotate,)var(--tw-invert,)var(--tw-saturate,)var(--tw-sepia,)var(--tw-drop-shadow,)}}:root{--paper:#f5f3ee;--paper-2:#ece9e1;--surface:#fbfaf7;--surface-strong:#fff;--ink:#17181d;--ink-2:#353741;--muted:#6d6e76;--line:#17181d21;--line-strong:#17181d3d;--accent:#5d4ff2;--accent-deep:#4436d8;--accent-soft:#5d4ff21a;--proof:#16805d;--proof-soft:#16805d1c;--warn:#a26014;--warn-soft:#a260141c;--code:#12131a;--code-2:#1c1e29;--code-text:#f3f2ee;--code-muted:#9295a6;--blue:#176e9b;--max:1240px;--radius-sm:10px;--radius:18px;--radius-lg:28px;--shadow:0 16px 55px #1a181414;--font-sans:"Inter Variable","Inter","SF Pro Display","Segoe UI",Helvetica,Arial,sans-serif;--font-mono:"JetBrains Mono","SFMono-Regular",Consolas,"Liberation Mono",monospace}*{box-sizing:border-box}html{scroll-behavior:smooth}html,body{margin:0;padding:0}body{background:radial-gradient(circle at 12% 8%,#5d4ff212,transparent 25rem),var(--paper);color:var(--ink);font-family:var(--font-sans);font-feature-settings:"ss01" 1,"cv02" 1,"cv03" 1;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration:none}button,input,textarea,select{font:inherit}button{color:inherit}::selection{color:var(--ink);background:#5d4ff22e}.site-main{min-height:calc(100vh - 72px)}.page-shell{width:min(var(--max),calc(100% - 40px));margin:0 auto}.page-section{border-top:1px solid var(--line);padding:92px 0}.page-section:first-child{border-top:0}.page-section.compact{padding:64px 0}.page-section.dark-section{color:#f6f4ee;background:var(--code);border-top:0;width:100%}.eyebrow{color:var(--accent-deep);font-family:var(--font-mono);letter-spacing:.13em;text-transform:uppercase;align-items:center;gap:8px;font-size:12px;font-weight:700;line-height:1.2;display:inline-flex}.dark-section .eyebrow{color:#a99fff}.site-header{z-index:80;border-bottom:1px solid var(--line);-webkit-backdrop-filter:blur(18px)saturate(140%);backdrop-filter:blur(18px)saturate(140%);background:#f5f3eee0;position:sticky;top:0}.site-header-inner{width:min(var(--max),calc(100% - 40px));grid-template-columns:auto 1fr auto;align-items:center;gap:28px;height:72px;margin:0 auto;display:grid}.brand-mark{align-items:center;gap:10px;min-width:max-content;display:inline-flex}.brand-glyph{width:34px;height:34px;color:var(--ink)}.brand-type{align-items:baseline;gap:8px;display:flex}.brand-type strong{letter-spacing:-.02em;font-size:17px}.brand-type span{color:var(--muted);font-family:var(--font-mono);letter-spacing:.07em;text-transform:uppercase;font-size:10px}.desktop-nav{justify-content:center;align-items:center;gap:4px;display:flex}.nav-link{color:var(--ink-2);border-radius:9px;padding:9px 11px;font-size:13px;font-weight:600;transition:background .18s,color .18s;position:relative}.nav-link:hover{color:var(--ink);background:#17181d0d}.nav-link.is-active{color:var(--accent-deep);background:var(--accent-soft)}.header-actions{align-items:center;gap:8px;display:flex}.status-link{color:var(--muted);font-family:var(--font-mono);align-items:center;gap:7px;font-size:11px;display:inline-flex}.status-dot{background:var(--proof);width:7px;height:7px;box-shadow:0 0 0 4px var(--proof-soft);border-radius:50%}.icon-button{border:1px solid var(--line);cursor:pointer;background:#ffffff59;border-radius:10px;place-items:center;width:38px;height:38px;transition:all .18s;display:inline-grid}.icon-button:hover{border-color:var(--line-strong);background:var(--surface-strong)}.mobile-menu-button,.mobile-nav-wrap{display:none}.hero{padding:78px 0 70px;overflow:hidden}.hero-grid{grid-template-columns:minmax(0,1.06fr) minmax(460px,.94fr);align-items:center;gap:68px;display:grid}.hero-copy h1{letter-spacing:-.065em;max-width:760px;margin:18px 0 22px;font-size:clamp(54px,6.2vw,88px);font-weight:730;line-height:.95}.hero-copy h1 .accent-word{color:var(--accent)}.hero-lead{max-width:680px;color:var(--ink-2);letter-spacing:-.018em;margin:0;font-size:clamp(18px,1.6vw,22px);line-height:1.55}.hero-actions{flex-wrap:wrap;gap:11px;margin-top:30px;display:flex}.button-primary,.button-secondary,.button-text{border-radius:11px;justify-content:center;align-items:center;gap:9px;min-height:46px;padding:0 18px;font-size:13px;font-weight:700;transition:transform .18s,background .18s,border-color .18s;display:inline-flex}.button-primary{background:var(--ink);color:#fff;border:1px solid var(--ink)}.button-primary:hover{background:#000;transform:translateY(-1px)}.button-secondary{border:1px solid var(--line-strong);background:#ffffff61}.button-secondary:hover{background:var(--surface-strong);transform:translateY(-1px)}.button-text{min-height:auto;color:var(--accent-deep);padding:8px 0}.hero-status{color:var(--muted);font-family:var(--font-mono);flex-wrap:wrap;gap:9px 18px;margin-top:34px;font-size:11px;display:flex}.hero-status span{align-items:center;gap:7px;display:inline-flex}.hero-status span:before{content:"";background:var(--accent);border-radius:50%;width:4px;height:4px}.hero-visual{position:relative}.hero-visual:before{content:"";background-image:linear-gradient(var(--line)1px,transparent 1px),linear-gradient(90deg,var(--line)1px,transparent 1px);opacity:.44;pointer-events:none;background-size:28px 28px;position:absolute;inset:-35px -50px -50px -35px;-webkit-mask-image:radial-gradient(circle,#000 10%,#0000 72%);mask-image:radial-gradient(circle,#000 10%,#0000 72%)}.code-panel{background:var(--code);color:var(--code-text);border:1px solid #ffffff14;border-radius:19px;position:relative;overflow:hidden;box-shadow:0 30px 80px #12131a38}.code-panel-head{color:#d4d3dc;min-height:45px;font-family:var(--font-mono);border-bottom:1px solid #ffffff14;grid-template-columns:60px 1fr auto;align-items:center;gap:10px;padding:0 15px;font-size:11px;display:grid}.window-dots{gap:5px;display:flex}.window-dots span{background:#ffffff2e;border-radius:50%;width:7px;height:7px}.window-dots span:nth-child(2){background:#5d4ff2b3}.window-dots span:nth-child(3){background:#16805db8}.code-panel-meta{color:var(--code-muted)}.code-panel-body{padding:22px 24px 24px}.code-panel-footer{color:var(--code-muted);font-family:var(--font-mono);border-top:1px solid #ffffff14;padding:13px 18px;font-size:10px}.hero-code{white-space:pre-wrap;font-family:var(--font-mono);color:#dad9e3;margin:0;font-size:13px;line-height:1.85}.hero-code .line-muted{color:#6f7285}.hero-code .kw{color:#b7afff}.hero-code .ty{color:#79d4c0}.hero-code .proof-token{color:#c6e27b}.hero-code .num{color:#e9b872}.code-trace{background:#ffffff14;border-top:1px solid #ffffff14;grid-template-columns:repeat(4,1fr);gap:1px;display:grid}.code-trace>div{background:#161821;padding:13px 12px}.code-trace strong{color:#fff;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.08em;font-size:10px;display:block}.code-trace span{color:#8f92a1;margin-top:4px;font-size:10px;line-height:1.4;display:block}.code-trace .is-proof strong{color:#77d7b5}.fact-strip{border:1px solid var(--line);background:#ffffff59;border-radius:16px;grid-template-columns:repeat(5,1fr);display:grid;overflow:hidden}.fact{border-right:1px solid var(--line);padding:23px 20px}.fact:last-child{border-right:0}.fact strong{letter-spacing:-.035em;font-size:24px;line-height:1;display:block}.fact span{color:var(--muted);font-size:11px;line-height:1.45;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.045em;margin-top:7px;display:block}.section-heading{grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:40px;margin-bottom:40px;display:grid}.section-heading h2{letter-spacing:-.048em;max-width:820px;margin:12px 0 0;font-size:clamp(36px,4.6vw,62px);font-weight:710;line-height:1.02}.section-heading p{max-width:760px;color:var(--muted);margin:18px 0 0;font-size:16px;line-height:1.65}.section-heading-aside{align-self:end}.principle-grid{grid-template-columns:repeat(3,1fr);gap:14px;display:grid}.principle-card{border:1px solid var(--line);background:#ffffff6b;border-radius:16px;flex-direction:column;min-height:260px;padding:26px;display:flex}.principle-index{color:var(--accent);font-family:var(--font-mono);font-size:11px}.principle-card h3{letter-spacing:-.025em;margin:auto 0 10px;font-size:24px;line-height:1.1}.principle-card p{color:var(--muted);margin:0;font-size:14px;line-height:1.6}.pipeline-explorer{grid-template-columns:minmax(0,1.55fr) minmax(280px,.45fr);gap:22px;display:grid}.pipeline-track{border:1px solid var(--line);background:var(--surface);border-radius:18px;overflow:hidden}.pipeline-node{border:0;border-bottom:1px solid var(--line);text-align:left;cursor:pointer;background:0 0;grid-template-columns:42px 130px 1fr;align-items:center;gap:12px;width:100%;padding:18px 20px;transition:all .18s;display:grid}.pipeline-node:last-child{border-bottom:0}.pipeline-node:hover{background:#5d4ff20b}.pipeline-node.is-active{background:var(--accent-soft)}.pipeline-number{color:var(--muted);font-family:var(--font-mono);font-size:10px}.pipeline-node strong{font-size:14px}.pipeline-node>span:last-child{color:var(--muted);font-family:var(--font-mono);font-size:11px}.pipeline-detail{background:var(--ink);color:#fff;border-radius:18px;flex-direction:column;min-height:320px;padding:28px;display:flex}.pipeline-detail h3{font-family:var(--font-mono);letter-spacing:-.03em;margin:18px 0 12px;font-size:24px}.pipeline-detail p{color:#b6b6c0;margin:0;font-size:14px;line-height:1.7}.pipeline-rule{color:#8e91a0;border-top:1px solid #ffffff1f;gap:10px;margin-top:auto;padding-top:24px;font-size:11px;line-height:1.5;display:flex}.pipeline-rule span:first-child{background:var(--proof);border-radius:50%;flex:0 0 8px;width:8px;height:8px;margin-top:4px}.language-grid{grid-template-columns:repeat(3,1fr);gap:14px;display:grid}.language-card{border:1px solid var(--line);background:var(--surface);border-radius:16px;padding:24px}.language-card .language-code{background:var(--accent-soft);color:var(--accent-deep);font-family:var(--font-mono);border-radius:7px;margin:14px 0 18px;padding:7px 10px;font-size:11px;display:inline-block}.language-card h3{margin:0;font-size:18px}.language-card p{color:var(--muted);margin:0;font-size:13px;line-height:1.6}.proof-explorer{background:#151720;border:1px solid #ffffff1a;border-radius:20px;overflow:hidden}.proof-tabs{border-bottom:1px solid #ffffff14;gap:2px;padding:10px;display:flex}.proof-tab{color:#8d90a1;font-family:var(--font-mono);cursor:pointer;background:0 0;border:0;border-radius:8px;padding:8px 12px;font-size:10px}.proof-tab:hover{color:#fff}.proof-tab.is-active{color:#c4beff;background:#5d4ff22e}.proof-explorer-grid{grid-template-columns:1.08fr .92fr;display:grid}.proof-source{border-right:1px solid #ffffff14;padding:28px}.proof-panel-label{color:#818495;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.11em;font-size:10px}.proof-source h3{letter-spacing:-.03em;margin:12px 0 24px;font-size:24px}.syntax-code{white-space:pre-wrap;color:#d8d8e2;font-family:var(--font-mono);margin:0;font-size:12px;line-height:1.85}.tok-kw{color:#bcb5ff}.tok-type{color:#7ed8c4}.tok-plain{color:#dad9e4}.proof-trace{background:#11131a;padding:28px}.trace-list{margin-top:22px}.trace-row{grid-template-columns:30px 1px 1fr auto;align-items:start;gap:12px;min-height:62px;display:grid}.trace-index{color:#666a7e;font-family:var(--font-mono);padding-top:2px;font-size:9px}.trace-line{background:linear-gradient(to bottom,var(--accent),#5d4ff20d);width:1px;height:100%}.trace-row div{padding-bottom:18px}.trace-row strong{color:#f1f0f6;font-family:var(--font-mono);font-size:10px;display:block}.trace-row div span{color:#8e91a2;margin-top:5px;font-size:11px;line-height:1.45;display:block}.trace-row>svg{color:#5bcaa2;margin-top:1px}.proof-note{color:#777b8d;border-top:1px solid #ffffff14;margin:8px 0 0;padding-top:18px;font-size:11px;line-height:1.6}.toolchain-grid{grid-template-columns:repeat(3,1fr);gap:14px;display:grid}.tool-card{border:1px solid var(--line);background:#ffffff6b;border-radius:16px;padding:24px}.tool-card-head{justify-content:space-between;align-items:start;gap:12px;display:flex}.tool-card h3{letter-spacing:-.02em;margin:0;font-size:18px}.tool-command{color:var(--accent-deep);font-family:var(--font-mono);margin:18px 0 14px;font-size:11px;display:inline-block}.tool-card p{color:var(--muted);margin:0;font-size:13px;line-height:1.6}.status-badge{min-height:25px;font-family:var(--font-mono);letter-spacing:.04em;text-transform:uppercase;white-space:nowrap;border-radius:999px;align-items:center;padding:0 8px;font-size:9px;line-height:1;display:inline-flex}.status-proof{color:var(--proof);background:var(--proof-soft)}.status-info{color:var(--blue);background:#176e9b1a}.status-evolving{color:var(--warn);background:var(--warn-soft)}.status-neutral{color:var(--muted);background:#17181d0f}.status-warning{color:#9b4b39;background:#9b4b391a}.sentinel-grid{grid-template-columns:.78fr 1.22fr;align-items:stretch;gap:28px;display:grid}.sentinel-copy{padding:32px 0}.sentinel-copy h3{letter-spacing:-.045em;margin:14px 0 18px;font-size:clamp(34px,4vw,54px);line-height:1.03}.sentinel-copy p{color:var(--muted);font-size:15px;line-height:1.7}.feature-list{gap:12px;margin-top:26px;display:grid}.feature-list>div{grid-template-columns:28px 1fr;gap:10px;display:grid}.feature-list .feature-icon{background:var(--proof-soft);width:24px;height:24px;color:var(--proof);border-radius:50%;place-items:center;display:grid}.feature-list strong{font-size:13px;display:block}.feature-list span{color:var(--muted);margin-top:3px;font-size:12px;line-height:1.5;display:block}.sentinel-frame{color:#e8e8ef;min-height:480px;box-shadow:var(--shadow);background:#111219;border-radius:20px;overflow:hidden}.sentinel-titlebar{height:42px;font-family:var(--font-mono);color:#7d8190;border-bottom:1px solid #ffffff12;justify-content:space-between;align-items:center;padding:0 14px;font-size:9px;display:flex}.sentinel-workspace{grid-template-columns:55% 45%;min-height:438px;display:grid}.sentinel-editor{border-right:1px solid #ffffff12;padding:22px}.sentinel-editor pre{font-family:var(--font-mono);color:#bfc0ca;white-space:pre-wrap;margin:0;font-size:11px;line-height:1.9}.sentinel-editor .line-good{border-left:2px solid var(--proof);background:#16805d14;margin:0 -10px;padding:0 10px;display:block}.sentinel-panel{background:#151720;padding:20px}.sentinel-panel h4{margin:0 0 15px;font-size:12px}.proof-result{border:1px solid #ffffff14;border-radius:10px;margin-bottom:10px;padding:13px}.proof-result-head{font-family:var(--font-mono);justify-content:space-between;gap:10px;font-size:9px;display:flex}.proof-result-head span:last-child{color:#69d2ab}.proof-result p{color:#858999;margin:7px 0 0;font-size:10px;line-height:1.5}.ecosystem-grid{grid-template-columns:repeat(3,1fr);gap:14px;display:grid}.ecosystem-card{border:1px solid var(--line);background:var(--surface);border-radius:16px;flex-direction:column;min-height:230px;padding:24px;transition:transform .18s,border-color .18s;display:flex}.ecosystem-card:hover{border-color:var(--line-strong);transform:translateY(-2px)}.ecosystem-card .card-eyebrow{color:var(--accent-deep);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;font-size:9px}.ecosystem-card h3{letter-spacing:-.025em;margin:auto 0 10px;font-size:22px}.ecosystem-card p{color:var(--muted);margin:0;font-size:12px;line-height:1.6}.ecosystem-card .card-arrow{color:var(--accent);margin-top:20px}.claims-grid{grid-template-columns:1fr 1fr;gap:16px;display:grid}.claim-panel{border:1px solid var(--line);background:var(--surface);border-radius:18px;overflow:hidden}.claim-panel-head{border-bottom:1px solid var(--line);align-items:center;gap:10px;padding:18px 22px;display:flex}.claim-panel-head strong{font-size:14px}.claim-panel.is-supported .claim-panel-head svg{color:var(--proof)}.claim-panel.is-boundary .claim-panel-head svg{color:var(--warn)}.claim-list{margin:0;padding:10px 22px 18px;list-style:none}.claim-list li{border-bottom:1px solid var(--line);color:var(--ink-2);gap:10px;padding:11px 0;font-size:13px;line-height:1.45;display:flex}.claim-list li:last-child{border-bottom:0}.claim-list li:before{content:"";background:var(--proof);border-radius:50%;flex:0 0 5px;width:5px;height:5px;margin-top:7px}.claim-panel.is-boundary .claim-list li:before{background:var(--warn)}.subpage-hero{padding:72px 0 58px}.subpage-hero-grid{grid-template-columns:1fr minmax(280px,.42fr);align-items:end;gap:50px;display:grid}.subpage-hero h1{letter-spacing:-.058em;max-width:900px;margin:16px 0 18px;font-size:clamp(46px,6vw,78px);line-height:.98}.subpage-hero p{max-width:760px;color:var(--ink-2);margin:0;font-size:18px;line-height:1.65}.subpage-summary{border:1px solid var(--line);background:#fff6;border-radius:16px;padding:22px}.subpage-summary dl{gap:13px;margin:0;display:grid}.subpage-summary div{border-bottom:1px solid var(--line);grid-template-columns:1fr auto;gap:10px;padding-bottom:10px;display:grid}.subpage-summary div:last-child{border-bottom:0;padding-bottom:0}.subpage-summary dt{color:var(--muted);font-size:11px}.subpage-summary dd{font-family:var(--font-mono);margin:0;font-size:10px}.two-col{grid-template-columns:1fr 1fr;gap:18px;display:grid}.three-col{grid-template-columns:repeat(3,1fr);gap:14px;display:grid}.content-card{border:1px solid var(--line);background:var(--surface);border-radius:16px;padding:26px}.content-card h3{letter-spacing:-.025em;margin:0 0 10px;font-size:21px}.content-card p{color:var(--muted);margin:0;font-size:13px;line-height:1.65}.content-card code{font-family:var(--font-mono);color:var(--accent-deep);font-size:.88em}.numbered-list{border-top:1px solid var(--line);display:grid}.numbered-row{border-bottom:1px solid var(--line);grid-template-columns:70px minmax(170px,.5fr) 1fr;align-items:start;gap:20px;padding:20px 0;display:grid}.numbered-row>span:first-child{color:var(--accent);font-family:var(--font-mono);font-size:10px}.numbered-row strong{font-size:15px}.numbered-row p{color:var(--muted);margin:0;font-size:13px;line-height:1.6}.command-block{border:1px solid var(--line);background:var(--code);color:var(--code-text);border-radius:14px;overflow:hidden}.command-block-label{color:#8d90a0;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.08em;border-bottom:1px solid #ffffff14;padding:10px 14px;font-size:9px}.command-block pre{font-family:var(--font-mono);color:#d8d8e0;margin:0;padding:18px;font-size:11px;line-height:1.8;overflow-x:auto}.status-matrix{border:1px solid var(--line);border-radius:16px;overflow:hidden}.status-matrix-row{border-bottom:1px solid var(--line);background:#ffffff61;grid-template-columns:1fr 180px 1.35fr;display:grid}.status-matrix-row:last-child{border-bottom:0}.status-matrix-row>div{border-right:1px solid var(--line);padding:15px 17px;font-size:12px;line-height:1.45}.status-matrix-row>div:last-child{color:var(--muted);border-right:0}.status-matrix-row.is-head{background:var(--paper-2);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em}.status-matrix-row.is-head>div{color:var(--muted);font-size:9px}.gallery-grid{grid-template-columns:repeat(2,1fr);gap:16px;display:grid}.gallery-card{border:1px solid var(--line);background:var(--surface);border-radius:18px;flex-direction:column;min-height:330px;display:flex;overflow:hidden}.gallery-visual{background:var(--ink);color:#fff;min-height:170px;padding:22px;position:relative;overflow:hidden}.gallery-visual:before{content:"";background-image:linear-gradient(#ffffff0f 1px,#0000 1px),linear-gradient(90deg,#ffffff0f 1px,#0000 1px);background-size:24px 24px;position:absolute;inset:0}.gallery-visual code{font-family:var(--font-mono);color:#bbb7ff;white-space:pre-wrap;font-size:11px;line-height:1.8;position:relative}.gallery-copy{flex:1;padding:24px}.gallery-copy h3{margin:0;font-size:23px}.gallery-copy p{color:var(--muted);font-size:13px;line-height:1.6}.gallery-meta{flex-wrap:wrap;gap:7px;margin-top:20px;display:flex}.gallery-meta span{color:var(--muted);font-family:var(--font-mono);background:#17181d0d;border-radius:999px;padding:5px 8px;font-size:9px}.explorer-shell{border:1px solid var(--line);background:var(--surface);border-radius:18px;overflow:hidden}.explorer-head{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:18px;padding:16px 18px;display:flex}.explorer-tabs{flex-wrap:wrap;gap:6px;display:flex}.explorer-tabs button{border:1px solid var(--line);color:var(--muted);cursor:pointer;background:0 0;border-radius:8px;padding:7px 10px;font-size:11px}.explorer-tabs button.is-active{color:var(--accent-deep);background:var(--accent-soft);border-color:#5d4ff240}.explorer-body{grid-template-columns:1.15fr .85fr;display:grid}.explorer-code{background:var(--code);color:#fff;padding:24px}.explorer-code pre{white-space:pre-wrap;font-family:var(--font-mono);color:#d8d8e1;margin:0;font-size:12px;line-height:1.9}.explorer-notes{padding:24px}.explorer-notes h3{margin:0 0 10px;font-size:20px}.explorer-notes p{color:var(--muted);font-size:13px;line-height:1.65}.explorer-points{gap:9px;margin-top:20px;display:grid}.explorer-points div{background:var(--paper-2);border-radius:9px;padding:11px 12px;font-size:11px;line-height:1.5}.docs-shell{grid-template-columns:250px minmax(0,850px) 1fr;align-items:start;gap:36px;width:min(1440px,100% - 40px);margin:0 auto;padding:42px 0 72px;display:grid}.docs-sidebar{max-height:calc(100vh - 120px);padding-right:8px;position:sticky;top:96px;overflow:auto}.docs-sidebar-title{margin-bottom:18px;font-size:13px;font-weight:800}.docs-group{margin:0 0 20px}.docs-group-label{color:var(--muted);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;margin-bottom:6px;font-size:9px}.docs-group a{color:var(--ink-2);border-radius:7px;margin:1px 0;padding:6px 8px;font-size:12px;line-height:1.4;display:block}.docs-group a:hover{color:var(--ink);background:#17181d0d}.docs-article{border:1px solid var(--line);background:var(--surface);border-radius:18px;min-width:0;padding:38px 42px 60px}.docs-article>h1{letter-spacing:-.045em;margin:0 0 14px;font-size:42px;line-height:1.05}.docs-article .lead{color:var(--muted);margin:0 0 34px;font-size:16px;line-height:1.65}.docs-article h2{letter-spacing:-.03em;margin:44px 0 14px;font-size:27px}.docs-article h3{letter-spacing:-.02em;margin:30px 0 10px;font-size:20px}.docs-article p,.docs-article li{color:var(--ink-2);font-size:14px;line-height:1.75}.docs-article ul,.docs-article ol{padding-left:22px}.docs-article a{color:var(--accent-deep);text-underline-offset:3px;-webkit-text-decoration:underline #5d4ff259;text-decoration:underline #5d4ff259}.docs-article :not(pre)>code{background:var(--paper-2);color:var(--accent-deep);font-family:var(--font-mono);border-radius:5px;padding:2px 5px;font-size:.88em}.docs-article table{border-collapse:collapse;width:100%;margin:24px 0;font-size:12px}.docs-article th,.docs-article td{border:1px solid var(--line);text-align:left;vertical-align:top;padding:10px 12px}.docs-article th{background:var(--paper-2)}.docs-rail{padding-top:4px;position:sticky;top:96px}.docs-rail-card{border-left:1px solid var(--line);color:var(--muted);padding:16px;font-size:11px;line-height:1.6}.docs-rail-card strong{color:var(--ink);margin-bottom:7px;font-size:11px;display:block}.mdx-pre{background:var(--code);color:var(--code-text);border-radius:12px;margin:22px 0;overflow:auto}.mdx-pre pre{font-family:var(--font-mono);margin:0;padding:18px 20px;font-size:11px;line-height:1.75}.mdx-callout{border:1px solid var(--line);background:#fff6;border-left-width:3px;border-radius:10px;margin:22px 0;padding:16px 18px}.mdx-callout strong{margin-bottom:5px;font-size:12px;display:block}.mdx-callout p{margin:0;font-size:12px}.mdx-callout.note{border-left-color:var(--blue)}.mdx-callout.tip,.mdx-callout.semantics{border-left-color:var(--proof)}.mdx-callout.warning{border-left-color:var(--warn)}.mdx-callout.syntax{border-left-color:var(--accent)}.mdx-example{border:1px dashed var(--line-strong);border-radius:10px;margin:22px 0;padding:16px 18px}.closing-panel{background:var(--accent);color:#fff;border-radius:24px;grid-template-columns:1fr auto;align-items:end;gap:50px;padding:50px;display:grid}.closing-panel h2{letter-spacing:-.052em;max-width:760px;margin:0;font-size:clamp(38px,5vw,66px);line-height:1}.closing-panel p{color:#ffffffc2;max-width:650px;margin:18px 0 0;font-size:15px;line-height:1.65}.closing-panel .button-secondary{color:#fff;background:#ffffff14;border-color:#ffffff59}.closing-panel .button-secondary:hover{background:#ffffff26}.site-footer{border-top:1px solid var(--line);background:var(--paper-2)}.footer-grid{width:min(var(--max),calc(100% - 40px));grid-template-columns:2fr repeat(4,1fr);gap:40px;margin:0 auto;padding:54px 0 46px;display:grid}.footer-brand{align-items:flex-start;gap:14px;display:flex}.footer-glyph{flex:0 0 38px;width:38px;height:38px}.footer-brand strong{font-size:18px}.footer-brand p{max-width:250px;color:var(--muted);margin:7px 0 0;font-size:11px;line-height:1.6}.footer-column{flex-direction:column;gap:9px;display:flex}.footer-label{color:var(--muted);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.1em;margin-bottom:5px;font-size:9px}.footer-column a{color:var(--ink-2);font-size:11px}.footer-column a:hover{color:var(--accent-deep)}.footer-external{align-items:center;gap:5px;display:inline-flex}.footer-bottom{width:min(var(--max),calc(100% - 40px));border-top:1px solid var(--line);min-height:54px;color:var(--muted);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em;align-items:center;gap:20px;margin:0 auto;font-size:9px;display:flex}.prose{color:var(--ink-2)}@media (max-width:1100px){.hero-grid{grid-template-columns:1fr;gap:46px}.hero-copy{max-width:850px}.hero-visual{max-width:820px}.fact-strip{grid-template-columns:repeat(3,1fr)}.fact:nth-child(3){border-right:0}.fact:nth-child(n+4){border-top:1px solid var(--line)}.pipeline-explorer{grid-template-columns:1fr}.pipeline-detail{min-height:250px}.docs-shell{grid-template-columns:230px minmax(0,1fr)}.docs-rail{display:none}.footer-grid{grid-template-columns:1.7fr repeat(2,1fr)}}@media (max-width:860px){.desktop-nav,.desktop-only,.status-link{display:none}.site-header-inner{grid-template-columns:1fr auto}.mobile-menu-button{display:inline-grid}.mobile-nav-wrap{border-top:1px solid var(--line);background:var(--paper);display:block}.mobile-nav{width:min(var(--max),calc(100% - 40px));margin:0 auto;padding:12px 0 18px;display:grid}.mobile-nav a{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;min-height:46px;font-size:13px;font-weight:650;display:flex}.brand-type span{display:none}.hero{padding-top:56px}.hero-grid{gap:38px}.fact-strip{grid-template-columns:repeat(2,1fr)}.fact{border-top:1px solid var(--line)}.fact:first-child,.fact:nth-child(2){border-top:0}.fact:nth-child(2n){border-right:0}.fact:nth-child(3){border-right:1px solid var(--line)}.principle-grid,.language-grid,.toolchain-grid,.ecosystem-grid,.three-col{grid-template-columns:1fr 1fr}.proof-explorer-grid,.sentinel-grid,.claims-grid,.two-col,.explorer-body,.gallery-grid{grid-template-columns:1fr}.proof-source{border-bottom:1px solid #ffffff14;border-right:0}.sentinel-workspace{grid-template-columns:1fr}.sentinel-editor{border-bottom:1px solid #ffffff12;border-right:0}.subpage-hero-grid{grid-template-columns:1fr;gap:28px}.section-heading{grid-template-columns:1fr;gap:18px}.closing-panel{grid-template-columns:1fr;padding:36px}.docs-shell{grid-template-columns:1fr;padding-top:26px}.docs-sidebar{border:1px solid var(--line);background:#ffffff59;border-radius:14px;grid-template-columns:repeat(2,1fr);gap:12px 24px;max-height:none;padding:18px;display:grid;position:relative;top:0}.docs-sidebar-title{grid-column:1/-1}.docs-article{padding:30px 28px 48px}.footer-grid{grid-template-columns:1fr 1fr}.footer-brand{grid-column:1/-1}}@media (max-width:580px){.page-shell,.site-header-inner,.mobile-nav,.footer-grid,.footer-bottom,.docs-shell{width:min(100% - 24px,var(--max))}.site-header-inner{height:64px}.brand-glyph{width:31px;height:31px}.hero{padding:44px 0 50px}.hero-copy h1{font-size:clamp(48px,15vw,68px)}.hero-lead{font-size:17px}.hero-actions{display:grid}.button-primary,.button-secondary{width:100%}.code-panel-body{padding:17px}.hero-code{font-size:11px}.code-trace{grid-template-columns:1fr 1fr}.fact-strip,.principle-grid,.language-grid,.toolchain-grid,.ecosystem-grid,.three-col{grid-template-columns:1fr}.fact{border-right:0!important;border-top:1px solid var(--line)!important}.fact:first-child{border-top:0!important}.page-section{padding:66px 0}.section-heading h2{font-size:38px}.pipeline-node{grid-template-columns:34px 105px 1fr;padding:15px}.pipeline-node>span:last-child{font-size:9px}.proof-source,.proof-trace{padding:20px}.subpage-hero{padding:52px 0 42px}.subpage-hero h1{font-size:46px}.numbered-row{grid-template-columns:42px 1fr}.numbered-row p{grid-column:2}.status-matrix{overflow-x:auto}.status-matrix-row{min-width:720px}.docs-sidebar{grid-template-columns:1fr}.docs-article{padding:25px 20px 38px}.docs-article>h1{font-size:34px}.closing-panel{padding:28px}.footer-grid{grid-template-columns:1fr;gap:28px}.footer-brand{grid-column:auto}.footer-bottom{flex-direction:column;justify-content:center;align-items:flex-start;gap:6px;padding:14px 0}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}.content-card ul{color:var(--muted);margin:16px 0 0;padding-left:18px;font-size:13px;line-height:1.7}.content-card li+li{margin-top:5px}.content-card .language-code{background:var(--accent-soft);color:var(--accent-deep);font-family:var(--font-mono);border-radius:7px;margin:0 0 18px;padding:7px 10px;font-size:11px;display:inline-block}.command-block{white-space:pre-wrap;font-family:var(--font-mono);margin:18px 0 0;padding:18px;font-size:11px;line-height:1.8;display:block;overflow-x:auto}.command-block>code{color:#d8d8e0;font-family:var(--font-mono)}.numbered-row h3{margin:0;font-size:15px;line-height:1.45}.status-matrix-row>strong,.status-matrix-row>span,.status-matrix-row>code{border-right:1px solid var(--line);padding:15px 17px;font-size:12px;line-height:1.45}.status-matrix-row>:last-child{color:var(--muted);border-right:0}.status-matrix-row.is-head>strong{color:var(--muted);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em;font-size:9px}.gallery-visual>span{z-index:1;color:#c4beff;width:64px;height:64px;font-family:var(--font-mono);letter-spacing:.08em;border:1px solid #ffffff2e;border-radius:14px;place-items:center;margin-top:30px;font-size:18px;display:inline-grid;position:relative}.gallery-copy .gallery-meta{color:var(--muted);font-family:var(--font-mono);background:#17181d0d;border-radius:999px;margin:0 0 10px;padding:5px 8px;font-size:9px;display:inline-block}.gallery-card:hover{border-color:var(--line-strong);transition:all .18s;transform:translateY(-2px)}.explorer-head>span{color:var(--muted);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em;font-size:9px}.four-col{grid-template-columns:repeat(4,1fr)}.download-hero{background:linear-gradient(#5d4ff209,#0000 72%)}.download-intro-section{border-top:0;padding-top:0}.download-trust-strip{border:1px solid var(--line);background:#ffffff59;border-radius:16px;grid-template-columns:repeat(3,1fr);display:grid;overflow:hidden}.download-trust-strip>div{border-right:1px solid var(--line);min-height:118px;padding:24px}.download-trust-strip>div:last-child{border-right:0}.download-trust-strip strong{letter-spacing:-.015em;margin-bottom:8px;font-size:14px;display:block}.download-trust-strip span{color:var(--muted);font-size:12px;line-height:1.6;display:block}.download-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;display:grid}.download-grid.single-feature{grid-template-columns:minmax(0,1fr)}.download-card{border:1px solid var(--line);background:#ffffff73;border-radius:18px;flex-direction:column;min-height:292px;padding:28px;display:flex}.download-card.is-primary{background:linear-gradient(135deg,#5d4ff213,#ffffff94 48%);border-color:#5d4ff23d;min-height:320px;padding:34px}.download-card-topline{justify-content:space-between;align-items:center;gap:14px;margin-bottom:34px;display:flex}.download-kind{color:var(--accent-deep);font-family:var(--font-mono);letter-spacing:.09em;text-transform:uppercase;font-size:10px;font-weight:700}.download-availability{color:var(--muted);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.045em;align-items:center;gap:7px;font-size:9px;display:inline-flex}.download-availability-dot{background:var(--muted);border-radius:50%;width:7px;height:7px}.download-availability.is-available{color:var(--proof)}.download-availability.is-available .download-availability-dot{background:var(--proof);box-shadow:0 0 0 4px var(--proof-soft)}.download-availability.is-missing{color:var(--warn)}.download-availability.is-missing .download-availability-dot{background:var(--warn);box-shadow:0 0 0 4px var(--warn-soft)}.download-card h3{letter-spacing:-.035em;margin:0 0 12px;font-size:28px;line-height:1.05}.download-card.is-primary h3{font-size:clamp(34px,4vw,52px)}.download-card p{max-width:780px;color:var(--muted);margin:0;font-size:13px;line-height:1.68}.download-card .download-detail{color:var(--ink-2);margin-top:10px;font-weight:650}.download-file-row{border-top:1px solid var(--line);justify-content:space-between;align-items:center;gap:18px;margin-top:auto;padding-top:30px;display:flex}.download-file-row code{color:var(--ink-2);font-family:var(--font-mono);overflow-wrap:anywhere;font-size:11px}.button-disabled{border:1px solid var(--line);min-height:46px;color:var(--muted);white-space:nowrap;background:#17181d09;border-radius:11px;justify-content:center;align-items:center;padding:0 18px;font-size:12px;font-weight:700;display:inline-flex}.download-build-note{border:1px solid var(--line);background:var(--code);color:var(--code-text);border-radius:14px;grid-template-columns:minmax(0,1fr) minmax(280px,.6fr);align-items:center;gap:30px;margin-top:18px;padding:22px 24px;display:grid}.download-build-note>div{min-width:0}.download-build-label{color:#9f96ff;font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.08em;margin-bottom:9px;font-size:9px;display:block}.download-build-note code{color:#f0eff7;font-family:var(--font-mono);overflow-wrap:anywhere;font-size:11px;line-height:1.7}.download-build-note p{color:var(--code-muted);margin:0;font-size:11px;line-height:1.65}.download-build-note p code{color:#c9c5ff;font-size:.95em}.release-alias-grid{background:#ffffff14;border:1px solid #ffffff14;border-radius:16px;grid-template-columns:repeat(5,1fr);gap:1px;display:grid;overflow:hidden}.release-alias-grid>div{background:#161821;flex-direction:column;justify-content:space-between;gap:28px;min-height:140px;padding:22px;display:flex}.release-alias-grid code{color:#c4beff;font-family:var(--font-mono);overflow-wrap:anywhere;font-size:11px}.release-alias-grid span{color:#8f92a1;font-size:11px;line-height:1.45}@media (max-width:1000px){.release-alias-grid{grid-template-columns:repeat(2,1fr)}.download-build-note{grid-template-columns:1fr;gap:16px}}@media (max-width:760px){.download-trust-strip,.download-grid{grid-template-columns:1fr}.download-trust-strip>div{border-right:0;border-bottom:1px solid var(--line)}.download-trust-strip>div:last-child{border-bottom:0}.download-card,.download-card.is-primary{min-height:0;padding:24px}.download-card-topline,.download-file-row{flex-direction:column;align-items:flex-start}.download-file-row .button-primary,.download-file-row .button-disabled{width:100%}.release-alias-grid{grid-template-columns:1fr}}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}