@font-face{font-family:Inter;src:url(/fonts/inter-latin-400-700.woff2) format("woff2");font-weight:400 700;font-style:normal;font-display:swap}@font-face{font-family:JetBrains Mono;src:url(/fonts/jetbrains-mono-latin-400-600.woff2) format("woff2");font-weight:400 600;font-style:normal;font-display:swap}*,:before,:after{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }*,:before,:after{box-sizing:border-box;border-width:0;border-style:solid;border-color:#e5e7eb}:before,:after{--tw-content: ""}html,:host{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:Inter,-apple-system,BlinkMacSystemFont,system-ui,sans-serif;font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}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;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dl,dd,h1,h2,h3,h4,h5,h6,hr,figure,p,pre{margin:0}fieldset{margin:0;padding:0}legend{padding:0}ol,ul,menu{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}button,[role=button]{cursor:pointer}:disabled{cursor:default}img,svg,video,canvas,audio,iframe,embed,object{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.site-container{margin-left:auto;margin-right:auto;width:100%;max-width:76rem;padding-left:1.25rem;padding-right:1.25rem}@media(min-width:640px){.site-container{padding-left:2rem;padding-right:2rem}}.site-header{position:sticky;top:0;z-index:50;border-bottom-width:1px;border-color:#ffffff12;background-color:#020617cc;--tw-backdrop-blur: blur(24px);-webkit-backdrop-filter:var(--tw-backdrop-blur) var(--tw-backdrop-brightness) var(--tw-backdrop-contrast) var(--tw-backdrop-grayscale) var(--tw-backdrop-hue-rotate) var(--tw-backdrop-invert) var(--tw-backdrop-opacity) var(--tw-backdrop-saturate) var(--tw-backdrop-sepia);backdrop-filter:var(--tw-backdrop-blur) var(--tw-backdrop-brightness) var(--tw-backdrop-contrast) var(--tw-backdrop-grayscale) var(--tw-backdrop-hue-rotate) var(--tw-backdrop-invert) var(--tw-backdrop-opacity) var(--tw-backdrop-saturate) var(--tw-backdrop-sepia)}.brand-lockup{display:inline-flex;align-items:center;gap:.75rem;font-size:.875rem;line-height:1.25rem;font-weight:600;letter-spacing:.16em;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.nav-link{border-radius:.375rem;padding:.5rem .75rem;font-size:.875rem;line-height:1.25rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1));transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.nav-link:hover{background-color:#ffffff0a;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.nav-link[aria-current=page]{background-color:#8b5cf61a;--tw-text-opacity: 1;color:rgb(221 214 254 / var(--tw-text-opacity, 1))}.mobile-navigation{border-top-width:1px;border-color:#ffffff12;background-color:#020617f2}@media(min-width:768px){.mobile-navigation{display:none}}.icon-button{display:inline-flex;height:2.5rem;width:2.5rem;align-items:center;justify-content:center;border-radius:.5rem;border-width:1px;border-color:#ffffff14;--tw-text-opacity: 1;color:rgb(203 213 225 / var(--tw-text-opacity, 1));transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.icon-button:hover{background-color:#ffffff0d;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.skip-link{position:fixed;left:1rem;top:.75rem;z-index:100;--tw-translate-y: -5rem;transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y));border-radius:.375rem;--tw-bg-opacity: 1;background-color:rgb(124 58 237 / var(--tw-bg-opacity, 1));padding:.5rem 1rem;font-size:.875rem;line-height:1.25rem;font-weight:600;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1));transition-property:transform;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.skip-link:focus{--tw-translate-y: 0px;transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.hero-section{padding-bottom:6rem;padding-top:5rem}@media(min-width:640px){.hero-section{padding-bottom:8rem;padding-top:7rem}}.page-intro{padding-bottom:4rem;padding-top:5rem}@media(min-width:640px){.page-intro{padding-bottom:5rem;padding-top:7rem}}.site-section{padding-top:5rem;padding-bottom:5rem}@media(min-width:640px){.site-section{padding-top:7rem;padding-bottom:7rem}}.eyebrow{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.6875rem;font-weight:600;text-transform:uppercase;letter-spacing:.18em;--tw-text-opacity: 1;color:rgb(167 139 250 / var(--tw-text-opacity, 1))}.hero-title{max-width:56rem;font-size:clamp(2.7rem,5.5vw,4.65rem);font-weight:600;line-height:1.05;letter-spacing:-.055em;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.hero-title-secondary{margin-top:.5rem;display:block;--tw-text-opacity: 1;color:rgb(221 214 254 / var(--tw-text-opacity, 1))}.frame-boundary{border-top-width:1px;border-color:#ffffff12;padding:1rem 1.25rem;font-size:.75rem;line-height:1.25rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.display-title{font-size:clamp(2.5rem,6vw,4.75rem);font-weight:600;line-height:1.02;letter-spacing:-.05em;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.section-title{font-size:clamp(1.75rem,4vw,2.8rem);font-weight:600;line-height:1.25;letter-spacing:-.035em;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.lead{font-size:1rem;line-height:1.75rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}@media(min-width:640px){.lead{font-size:1.125rem;line-height:2rem}}.body-copy{font-size:.875rem;line-height:1.75rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}@media(min-width:640px){.body-copy{font-size:1rem;line-height:1.5rem}}.status-line{display:inline-flex;align-items:center;gap:.625rem;border-radius:9999px;border-width:1px;border-color:#10b98133;background-color:#10b9810f;padding:.375rem .75rem;font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.6875rem;text-transform:uppercase;letter-spacing:.14em;--tw-text-opacity: 1;color:rgb(110 231 183 / var(--tw-text-opacity, 1))}.status-dot{height:.375rem;width:.375rem;border-radius:9999px;--tw-bg-opacity: 1;background-color:rgb(52 211 153 / var(--tw-bg-opacity, 1));box-shadow:0 0 0 4px #34d39917}.primary-action{display:inline-flex;min-height:2.75rem;align-items:center;justify-content:center;gap:.5rem;border-radius:.5rem;--tw-bg-opacity: 1;background-color:rgb(124 58 237 / var(--tw-bg-opacity, 1));padding:.625rem 1.25rem;font-size:.875rem;line-height:1.25rem;font-weight:600;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1));--tw-shadow: 0 10px 15px -3px rgb(0 0 0 / .1), 0 4px 6px -4px rgb(0 0 0 / .1);--tw-shadow-colored: 0 10px 15px -3px var(--tw-shadow-color), 0 4px 6px -4px var(--tw-shadow-color);box-shadow:var(--tw-ring-offset-shadow, 0 0 #0000),var(--tw-ring-shadow, 0 0 #0000),var(--tw-shadow);--tw-shadow-color: rgb(46 16 101 / .3);--tw-shadow: var(--tw-shadow-colored);transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.primary-action:hover{--tw-bg-opacity: 1;background-color:rgb(139 92 246 / var(--tw-bg-opacity, 1))}.secondary-action{display:inline-flex;min-height:2.75rem;align-items:center;justify-content:center;border-radius:.5rem;border-width:1px;border-color:#ffffff1a;background-color:#ffffff06;padding:.625rem 1.25rem;font-size:.875rem;line-height:1.25rem;font-weight:500;--tw-text-opacity: 1;color:rgb(203 213 225 / var(--tw-text-opacity, 1));transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.secondary-action:hover{border-color:#ffffff2e;background-color:#ffffff0d;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.system-frame{overflow:hidden;border-radius:1rem;border-width:1px;border-color:#ffffff1a;background-color:#020617bf;--tw-shadow: 0 25px 50px -12px rgb(0 0 0 / .25);--tw-shadow-colored: 0 25px 50px -12px var(--tw-shadow-color);box-shadow:var(--tw-ring-offset-shadow, 0 0 #0000),var(--tw-ring-shadow, 0 0 #0000),var(--tw-shadow);--tw-shadow-color: rgb(0 0 0 / .3);--tw-shadow: var(--tw-shadow-colored)}.frame-header{display:flex;align-items:center;justify-content:space-between;border-bottom-width:1px;border-color:#ffffff12;padding:.75rem 1.25rem;font-size:.75rem;line-height:1rem;font-weight:500;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.flow-node{display:flex;min-height:4rem;align-items:center;gap:.75rem;border-radius:.5rem;border-width:1px;border-color:#ffffff12;background-color:#ffffff06;padding:.75rem .875rem}.flow-node-emphasis{border-color:#8b5cf640;background-color:#8b5cf612}.flow-node strong,.flow-node small{display:block}.flow-node strong{font-size:.75rem;line-height:1rem;font-weight:600;--tw-text-opacity: 1;color:rgb(226 232 240 / var(--tw-text-opacity, 1))}.flow-node small{margin-top:.25rem;font-size:.6875rem;line-height:1rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.flow-index{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.6875rem;font-weight:600;--tw-text-opacity: 1;color:rgb(167 139 250 / var(--tw-text-opacity, 1))}.flow-connector{margin-left:auto;margin-right:auto;height:.75rem;width:1px;background-image:linear-gradient(to bottom,var(--tw-gradient-stops));--tw-gradient-from: rgb(139 92 246 / .5) var(--tw-gradient-from-position);--tw-gradient-to: rgb(139 92 246 / 0) var(--tw-gradient-to-position);--tw-gradient-stops: var(--tw-gradient-from), var(--tw-gradient-to);--tw-gradient-to: rgb(6 182 212 / .2) var(--tw-gradient-to-position)}.surface-card{border-radius:.75rem;border-width:1px;border-color:#ffffff14;background-color:#0f172a73;padding:1.25rem}@media(min-width:640px){.surface-card{padding:1.5rem}}.evidence-card{position:relative;overflow:hidden;border-radius:.75rem;border-width:1px;border-color:#ffffff14;background-color:#0f172a8c;padding:1.25rem}@media(min-width:640px){.evidence-card{padding:1.5rem}}.evidence-card:before{position:absolute;inset:0 auto 0 0;width:2px;content:""}.layer-violet:before{--tw-bg-opacity: 1;background-color:rgb(139 92 246 / var(--tw-bg-opacity, 1))}.layer-cyan:before{--tw-bg-opacity: 1;background-color:rgb(6 182 212 / var(--tw-bg-opacity, 1))}.layer-amber:before{--tw-bg-opacity: 1;background-color:rgb(245 158 11 / var(--tw-bg-opacity, 1))}.layer-mark{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:1.5rem;line-height:2rem;font-weight:600;letter-spacing:-.025em;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.closing-panel{display:flex;flex-direction:column;gap:2rem;border-radius:1rem;border-width:1px;border-color:#8b5cf633;background-image:linear-gradient(to bottom right,var(--tw-gradient-stops));--tw-gradient-from: rgb(139 92 246 / .09) var(--tw-gradient-from-position);--tw-gradient-to: rgb(139 92 246 / 0) var(--tw-gradient-to-position);--tw-gradient-stops: var(--tw-gradient-from), var(--tw-gradient-to);--tw-gradient-to: rgb(15 23 42 / .4) var(--tw-gradient-to-position);padding:1.5rem}@media(min-width:640px){.closing-panel{padding:2.25rem}}@media(min-width:1024px){.closing-panel{flex-direction:row;align-items:center;justify-content:space-between}}.metric-card{border-radius:.75rem;border-width:1px;border-color:#ffffff14;background-color:#0f172a8c;padding:1.25rem}@media(min-width:640px){.metric-card{min-width:18rem}}.metric-card strong,.metric-card small{display:block}.metric-card strong{margin-top:1.25rem;font-size:1.25rem;line-height:1.75rem;font-weight:600;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.metric-card small{margin-top:.5rem;font-size:.875rem;line-height:1.5rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.boundary-note{display:flex;align-items:flex-start;gap:1rem;border-radius:.75rem;border-width:1px;border-color:#f59e0b26;background-color:#f59e0b0a;padding:1rem;font-size:.875rem;line-height:1.5rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}@media(min-width:640px){.boundary-note{padding-left:1.25rem;padding-right:1.25rem}}.boundary-note svg{margin-top:.125rem;flex-shrink:0}.predicate-row{display:grid;gap:.75rem;border-bottom-width:1px;border-color:#ffffff0f;background-color:#0f172a59;padding:1.25rem}.predicate-row:last-child{border-bottom-width:0px}@media(min-width:640px){.predicate-row{grid-template-columns:9rem minmax(0,1fr);align-items:center}}.predicate-row code{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.75rem;line-height:1rem;font-weight:600;--tw-text-opacity: 1;color:rgb(196 181 253 / var(--tw-text-opacity, 1))}.predicate-row p{font-size:.875rem;line-height:1.5rem;--tw-text-opacity: 1;color:rgb(203 213 225 / var(--tw-text-opacity, 1))}.predicate-mark{width:-moz-fit-content;width:fit-content;border-radius:.25rem;border-width:1px;padding:.25rem .5rem;font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.75rem;line-height:1rem;font-weight:600}.predicate-mark.predicate-requires{border-color:#38bdf859;background-color:#082f494d;--tw-text-opacity: 1;color:rgb(186 230 253 / var(--tw-text-opacity, 1))}.predicate-mark.predicate-precedes{border-color:#22d3ee59;background-color:#0833444d;--tw-text-opacity: 1;color:rgb(165 243 252 / var(--tw-text-opacity, 1))}.predicate-mark.predicate-follows{border-color:#a78bfa59;background-color:#2e10654d;--tw-text-opacity: 1;color:rgb(221 214 254 / var(--tw-text-opacity, 1))}.predicate-mark.predicate-coincides{border-color:#2dd4bf59;background-color:#042f2e4d;--tw-text-opacity: 1;color:rgb(153 246 228 / var(--tw-text-opacity, 1))}.predicate-mark.predicate-forbids{border-color:#c6ad8c66;background-color:#c6ad8c0d;--tw-text-opacity: 1;color:rgb(223 206 185 / var(--tw-text-opacity, 1))}.axiom-examples{overflow:hidden;border-radius:1rem;border-width:1px;border-color:#a78bfa33;background-color:#0f172a73}.example-header{display:flex;flex-direction:column;gap:1rem;border-bottom-width:1px;border-color:#ffffff14;padding:1rem 1.25rem}@media(min-width:640px){.example-header{padding-left:1.75rem;padding-right:1.75rem}}@media(min-width:1024px){.example-header{flex-direction:row;align-items:center;justify-content:space-between}}.example-selector{display:flex;flex-wrap:wrap;gap:.25rem;border-radius:.5rem;border-width:1px;border-color:#ffffff14;background-color:#02061799;padding:.25rem}.example-selector button{min-height:2.5rem;flex:1 1 0%;border-radius:.375rem;padding:.5rem .75rem;font-size:.75rem;line-height:1rem;font-weight:500;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1));transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.example-selector button:hover{background-color:#ffffff0a;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}@media(min-width:640px){.example-selector button{flex:none}}.example-selector button[aria-pressed=true]{background-color:#a78bfa1a;--tw-text-opacity: 1;color:rgb(237 233 254 / var(--tw-text-opacity, 1));box-shadow:inset 0 0 0 1px #a78bfa40}.example-body{padding:1.25rem}@media(min-width:640px){.example-body{padding:1.75rem}}.example-requirement h3{margin-top:.75rem;font-size:1.25rem;line-height:1.75rem;font-weight:600;letter-spacing:-.025em;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}@media(min-width:640px){.example-requirement h3{font-size:1.5rem;line-height:2rem}}.example-requirement p{margin-top:.75rem;max-width:56rem;font-size:.875rem;line-height:1.75rem;--tw-text-opacity: 1;color:rgb(203 213 225 / var(--tw-text-opacity, 1))}.example-analysis{margin-top:1.75rem;display:grid;gap:1.75rem}@media(min-width:1024px){.example-analysis{grid-template-columns:repeat(2,minmax(0,1fr));gap:2rem}}.example-label{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.625rem;font-weight:600;text-transform:uppercase;letter-spacing:.14em;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.example-surfaces{margin-top:1rem;display:grid;gap:.75rem}.example-surfaces li{display:flex;align-items:flex-start;gap:.75rem;border-radius:.5rem;border-width:1px;border-color:#ffffff12;background-color:#02061759;padding:.75rem 1rem}.example-source-mark{margin-top:.125rem;flex-shrink:0;font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.625rem;--tw-text-opacity: 1;color:rgb(167 139 250 / var(--tw-text-opacity, 1))}.example-surfaces strong{display:block;font-size:.875rem;line-height:1.25rem;font-weight:500;--tw-text-opacity: 1;color:rgb(226 232 240 / var(--tw-text-opacity, 1))}.example-surfaces p{margin-top:.25rem;font-size:.75rem;line-height:1.5rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.example-result{border-top-width:1px;border-color:#ffffff12;padding-top:1.5rem}@media(min-width:1024px){.example-result{border-left-width:1px;border-top-width:0px;padding-left:2rem;padding-top:0}}.example-result>p{margin-top:1rem;font-size:.875rem;line-height:1.75rem;--tw-text-opacity: 1;color:rgb(203 213 225 / var(--tw-text-opacity, 1))}.example-declaration{margin-top:1.5rem;display:block;border-radius:.75rem;border-width:1px;border-color:#a78bfa26;background-color:#02061799;padding:1rem;font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.875rem;line-height:2rem;--tw-text-opacity: 1;color:rgb(226 232 240 / var(--tw-text-opacity, 1))}@media(min-width:640px){.example-declaration{padding-left:1.25rem;padding-right:1.25rem;font-size:1rem;line-height:2.25rem}}.example-declaration{overflow-wrap:anywhere}.example-declaration .predicate-mark{vertical-align:baseline}.example-qualifier{--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.example-correlation{--tw-text-opacity: 1;color:rgb(221 214 254 / var(--tw-text-opacity, 1))}.example-boundary{margin-top:1.25rem;border-top-width:1px;border-color:#ffffff12;padding-top:1.25rem}.example-boundary p{margin-top:.5rem;font-size:.75rem;line-height:1.5rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.feature-panel{border-radius:1rem;border-width:1px;border-color:#8b5cf633;background-color:#0f172a73;padding:1.5rem}@media(min-width:640px){.feature-panel{padding:2rem}}.responsibility-row{display:grid;gap:.75rem;border-bottom-width:1px;border-color:#ffffff0f;background-color:#0f172a59;padding:1.25rem}.responsibility-row:last-child{border-bottom-width:0px}@media(min-width:768px){.responsibility-row{grid-template-columns:11rem minmax(0,1fr) minmax(0,1fr)}}.responsibility-row h2{font-size:.875rem;line-height:1.25rem;font-weight:600;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.responsibility-row p{font-size:.875rem;line-height:1.5rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.responsibility-row p span{font-weight:600;--tw-text-opacity: 1;color:rgb(203 213 225 / var(--tw-text-opacity, 1))}.section-index{display:grid;border-radius:.75rem;border-width:1px;border-color:#ffffff14;background-color:#0f172a8c;padding:.5rem}.section-index a{display:flex;align-items:center;gap:.75rem;border-radius:.5rem;padding:.5rem .75rem;font-size:.75rem;line-height:1rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1));transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.section-index a:hover{background-color:#ffffff0a;--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}.section-index span{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.625rem;--tw-text-opacity: 1;color:rgb(167 139 250 / var(--tw-text-opacity, 1))}.specification-list{overflow:hidden;border-radius:.75rem;border-width:1px;border-color:#ffffff14}.specification-list>div{display:grid;gap:.75rem;border-bottom-width:1px;border-color:#ffffff0f;background-color:#0f172a59;padding:1.25rem}.specification-list>div:last-child{border-bottom-width:0px}@media(min-width:640px){.specification-list>div{grid-template-columns:12rem minmax(0,1fr)}}.specification-list dt{font-family:JetBrains Mono,Menlo,Monaco,monospace;font-size:.75rem;line-height:1rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;--tw-text-opacity: 1;color:rgb(167 139 250 / var(--tw-text-opacity, 1))}.specification-list dd strong,.specification-list dd span{display:block}.specification-list dd strong{font-size:.875rem;line-height:1.25rem;font-weight:500;--tw-text-opacity: 1;color:rgb(226 232 240 / var(--tw-text-opacity, 1))}.specification-list dd span{margin-top:.5rem;font-size:.875rem;line-height:1.5rem;--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.mb-9{margin-bottom:2.25rem}.mt-3{margin-top:.75rem}.mt-4{margin-top:1rem}.mt-5{margin-top:1.25rem}.mt-6{margin-top:1.5rem}.mt-7{margin-top:1.75rem}.mt-8{margin-top:2rem}.mt-9{margin-top:2.25rem}.block{display:block}.flex{display:flex}.grid{display:grid}.hidden{display:none}.h-5{height:1.25rem}.h-6{height:1.5rem}.h-7{height:1.75rem}.h-8{height:2rem}.h-\[4\.5rem\]{height:4.5rem}.min-h-screen{min-height:100vh}.w-5{width:1.25rem}.w-6{width:1.5rem}.w-7{width:1.75rem}.w-8{width:2rem}.max-w-2xl{max-width:42rem}.max-w-3xl{max-width:48rem}.max-w-4xl{max-width:56rem}.max-w-md{max-width:28rem}.scroll-mt-20{scroll-margin-top:5rem}.grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}.grid-cols-\[11rem_minmax\(0\,1fr\)_minmax\(0\,1fr\)\]{grid-template-columns:11rem minmax(0,1fr) minmax(0,1fr)}.grid-cols-\[9rem_minmax\(0\,1fr\)\]{grid-template-columns:9rem minmax(0,1fr)}.flex-col{flex-direction:column}.flex-wrap{flex-wrap:wrap}.items-center{align-items:center}.justify-between{justify-content:space-between}.gap-1{gap:.25rem}.gap-10{gap:2.5rem}.gap-12{gap:3rem}.gap-3{gap:.75rem}.gap-4{gap:1rem}.gap-6{gap:1.5rem}.gap-8{gap:2rem}.gap-x-5{-moz-column-gap:1.25rem;column-gap:1.25rem}.gap-y-2{row-gap:.5rem}.space-y-3>:not([hidden])~:not([hidden]){--tw-space-y-reverse: 0;margin-top:calc(.75rem * calc(1 - var(--tw-space-y-reverse)));margin-bottom:calc(.75rem * var(--tw-space-y-reverse))}.overflow-hidden{overflow:hidden}.truncate{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.rounded-lg{border-radius:.5rem}.rounded-md{border-radius:.375rem}.rounded-xl{border-radius:.75rem}.border{border-width:1px}.border-y{border-top-width:1px;border-bottom-width:1px}.border-b{border-bottom-width:1px}.border-t{border-top-width:1px}.border-white\/5{border-color:#ffffff0d}.border-white\/\[0\.06\]{border-color:#ffffff0f}.border-white\/\[0\.07\]{border-color:#ffffff12}.border-white\/\[0\.08\]{border-color:#ffffff14}.bg-white\/\[0\.015\]{background-color:#ffffff04}.bg-white\/\[0\.025\]{background-color:#ffffff06}.p-4{padding:1rem}.px-5{padding-left:1.25rem;padding-right:1.25rem}.py-10{padding-top:2.5rem;padding-bottom:2.5rem}.py-3{padding-top:.75rem;padding-bottom:.75rem}.pb-24{padding-bottom:6rem}.pt-4{padding-top:1rem}.pt-5{padding-top:1.25rem}.pt-6{padding-top:1.5rem}.font-mono{font-family:JetBrains Mono,Menlo,Monaco,monospace}.text-2xl{font-size:1.5rem;line-height:2rem}.text-\[0\.6875rem\]{font-size:.6875rem}.text-base{font-size:1rem;line-height:1.5rem}.text-lg{font-size:1.125rem;line-height:1.75rem}.text-sm{font-size:.875rem;line-height:1.25rem}.text-xl{font-size:1.25rem;line-height:1.75rem}.text-xs{font-size:.75rem;line-height:1rem}.font-medium{font-weight:500}.font-semibold{font-weight:600}.uppercase{text-transform:uppercase}.leading-6{line-height:1.5rem}.leading-7{line-height:1.75rem}.tracking-\[0\.14em\]{letter-spacing:.14em}.tracking-tight{letter-spacing:-.025em}.tracking-wider{letter-spacing:.05em}.text-cyan-400{--tw-text-opacity: 1;color:rgb(34 211 238 / var(--tw-text-opacity, 1))}.text-slate-200{--tw-text-opacity: 1;color:rgb(226 232 240 / var(--tw-text-opacity, 1))}.text-slate-400{--tw-text-opacity: 1;color:rgb(148 163 184 / var(--tw-text-opacity, 1))}.text-slate-500{--tw-text-opacity: 1;color:rgb(100 116 139 / var(--tw-text-opacity, 1))}.text-slate-600{--tw-text-opacity: 1;color:rgb(71 85 105 / var(--tw-text-opacity, 1))}.text-violet-400{--tw-text-opacity: 1;color:rgb(167 139 250 / var(--tw-text-opacity, 1))}.text-white{--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}:root{color-scheme:dark;font-family:Inter,ui-sans-serif,system-ui,sans-serif;font-synthesis:none;text-rendering:optimizeLegibility;--page: #030713;--surface: rgba(15, 23, 42, .58);--line: rgba(148, 163, 184, .13);--violet: #8b5cf6}html{min-width:20rem;scroll-behavior:smooth;background:var(--page)}body{min-width:20rem;min-height:100vh;margin:0;background:radial-gradient(circle at 76% -8%,rgba(109,40,217,.15),transparent 31rem),radial-gradient(circle at -8% 22%,rgba(14,116,144,.07),transparent 28rem),var(--page);color:#e2e8f0;-webkit-font-smoothing:antialiased}body:before{position:fixed;inset:0;z-index:-1;pointer-events:none;content:"";background-image:linear-gradient(rgba(148,163,184,.025) 1px,transparent 1px),linear-gradient(90deg,rgba(148,163,184,.025) 1px,transparent 1px);background-size:4rem 4rem;-webkit-mask-image:linear-gradient(to bottom,black,transparent 78%);mask-image:linear-gradient(to bottom,black,transparent 78%)}::-moz-selection{background:#8b5cf659;color:#fff}::selection{background:#8b5cf659;color:#fff}:focus-visible{outline:2px solid #a78bfa;outline-offset:3px}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{scroll-behavior:auto!important;transition-duration:.01ms!important}}.hover\:text-white:hover{--tw-text-opacity: 1;color:rgb(255 255 255 / var(--tw-text-opacity, 1))}@media(min-width:640px){.sm\:mb-12{margin-bottom:3rem}.sm\:grid{display:grid}.sm\:flex-row{flex-direction:row}.sm\:p-5{padding:1.25rem}.sm\:py-12{padding-top:3rem;padding-bottom:3rem}.sm\:pb-32{padding-bottom:8rem}.sm\:text-3xl{font-size:1.875rem;line-height:2.25rem}}@media(min-width:768px){.md\:flex{display:flex}.md\:grid{display:grid}.md\:hidden{display:none}.md\:grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}.md\:flex-row{flex-direction:row}.md\:items-end{align-items:flex-end}.md\:justify-between{justify-content:space-between}}@media(min-width:1024px){.lg\:grid-cols-3{grid-template-columns:repeat(3,minmax(0,1fr))}.lg\:grid-cols-\[minmax\(0\,0\.8fr\)_minmax\(0\,1\.2fr\)\]{grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr)}.lg\:grid-cols-\[minmax\(0\,1\.15fr\)_minmax\(22rem\,0\.85fr\)\]{grid-template-columns:minmax(0,1.15fr) minmax(22rem,.85fr)}.lg\:grid-cols-\[minmax\(0\,1fr\)_22rem\]{grid-template-columns:minmax(0,1fr) 22rem}.lg\:items-end{align-items:flex-end}.lg\:items-center{align-items:center}.lg\:justify-self-end{justify-self:end}}