@font-face{font-family:Archivo;font-style:normal;font-weight:100 900;font-stretch:62% 125%;font-display:swap;src:url(/fonts/archivo-latin-wdth-normal.woff2)format("woff2")}@font-face{font-family:Chivo Mono;font-style:normal;font-weight:100 900;font-display:swap;src:url(/fonts/chivo-mono-latin-wght-normal.woff2)format("woff2")}:root{--cl-ground:#f2f3f6;--cl-surface:#e7e9ef;--cl-rule:#cdd0d8;--cl-code-surface:#eceef3;--cl-ink-primary:#1b1e23;--cl-ink-secondary:#515966;--cl-signal:#cc3218;--cl-signal-ink:#8c1f0e;--font-statement:"Archivo", "Helvetica Neue", Arial, system-ui, sans-serif;--font-record:"Chivo Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;--page-max:1200px;--gutter:24px;--section-gap:88px}*,:before,:after{box-sizing:border-box}html{text-size-adjust:100%;scroll-padding-top:72px}body{background:var(--cl-ground);color:var(--cl-ink-primary);font-family:var(--font-statement);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;overflow-wrap:break-word;margin:0;font-size:17px;font-weight:400;line-height:1.65}h1,h2,h3,p,ul,ol,dl,dd,figure{margin:0}ul,ol{padding:0;list-style:none}h1{letter-spacing:-.01em;text-wrap:balance;font-size:clamp(40px,5.6vw,64px);font-weight:450;line-height:1.1}h2{letter-spacing:-.01em;text-wrap:balance;font-size:clamp(28px,3.4vw,40px);font-weight:500;line-height:1.15}h3{font-size:clamp(20px,2vw,24px);font-weight:500;line-height:1.2}a{color:inherit;text-decoration:underline;text-decoration-color:var(--cl-ink-secondary);text-underline-offset:3px;text-decoration-thickness:1px}a:hover{text-decoration-color:var(--cl-ink-primary);text-decoration-thickness:2px}:focus-visible{outline:2px solid var(--cl-ink-primary);outline-offset:3px}code,.mono{font-family:var(--font-record);font-size:.8em}code{background:var(--cl-code-surface);border:1px solid var(--cl-rule);overflow-wrap:anywhere;padding:1px 5px}.visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.class-label{font-family:var(--font-statement);letter-spacing:.08em;text-transform:uppercase;color:var(--cl-ink-secondary);font-size:12px;font-weight:700;font-stretch:72%;line-height:1.2}.lead{max-width:60ch;font-size:clamp(18px,1.7vw,21px);line-height:1.5}.muted{color:var(--cl-ink-secondary)}.measure{max-width:66ch}.measure>*+*{margin-top:1em}.shell{width:100%;max-width:var(--page-max);padding:0 var(--gutter);margin:0 auto}.skip-link{left:var(--gutter);z-index:10;background:var(--cl-ink-primary);color:var(--cl-ground);padding:8px 12px;position:absolute;top:-80px}.skip-link:focus{top:8px}.site-header{border-bottom:1px solid var(--cl-ink-primary);background:var(--cl-ground)}.header-inner{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:6px 32px;padding-top:12px;padding-bottom:12px;display:flex}.wordmark{letter-spacing:.005em;white-space:nowrap;align-items:center;gap:12px;min-height:44px;font-size:18px;font-weight:500;text-decoration:none;display:inline-flex}.wordmark svg{flex:none;width:28px;height:28px}.site-nav{flex-wrap:wrap;align-items:center;gap:0 20px;font-size:15px;display:flex}.site-nav a{min-height:44px;color:var(--cl-ink-secondary);align-items:center;text-decoration:none;transition:color .12s linear;display:inline-flex}.site-nav a:hover,.site-nav a[aria-current=page]{color:var(--cl-ink-primary);text-underline-offset:6px;text-decoration:underline}.site-nav .nav-engage{border:1px solid var(--cl-ink-primary);min-height:36px;color:var(--cl-ink-primary);padding:0 14px;font-weight:500}main{display:block}.section{padding:var(--section-gap) 0;border-top:1px solid var(--cl-rule)}.section-head{grid-template-columns:88px minmax(0,1fr);align-items:baseline;gap:8px 24px;margin-bottom:40px;display:grid}.section-index{font-family:var(--font-record);color:var(--cl-ink-secondary);font-size:13px}.section-head .lead{grid-column:2;margin-top:12px}.section-body{margin-left:112px}.state{font-family:var(--font-statement);letter-spacing:.08em;text-transform:uppercase;white-space:nowrap;color:var(--cl-ink-primary);border:1px solid var(--cl-ink-primary);padding:5px 8px 4px;font-size:12px;font-weight:700;font-stretch:72%;line-height:1;display:inline-block}.state[data-state=BUILT_AND_LIVE]{background:var(--cl-ink-primary);color:var(--cl-ground)}.state[data-state=BUILT]{border-width:2px;padding:4px 7px 3px}.state[data-state=BUILT_NOT_ENABLED]{color:var(--cl-ink-secondary);border-color:var(--cl-ink-secondary)}.state[data-state=PROVING]{border-style:dashed}.state[data-state=PLANNED]{color:var(--cl-ink-secondary);border:1px dashed var(--cl-ink-secondary)}.state[data-state=LIMIT]{color:var(--cl-ink-secondary);border:1px dotted var(--cl-ink-secondary)}.claim{border-top:1px solid var(--cl-rule);padding:16px 0 18px}.claim-head{flex-wrap:wrap;align-items:center;gap:8px 12px;display:flex}.claim-title{font-size:17px;font-weight:500;line-height:1.3}.claim-statement{max-width:70ch;margin-top:8px;font-size:16px;line-height:1.55}.claim-evidence{font-family:var(--font-record);color:var(--cl-ink-secondary);overflow-wrap:anywhere;margin-top:8px;font-size:12.5px;line-height:1.5}.claim-evidence li:before{content:"↳ "}.claim-source{font-family:var(--font-record);margin-top:6px;font-size:12.5px}.claim-source a{color:var(--cl-ink-secondary);padding:6px 0;display:inline-block}.claim-list>div:target{outline:2px solid var(--cl-ink-primary);outline-offset:8px}.claim-list>.claim:last-child{border-bottom:1px solid var(--cl-rule)}.actions{flex-wrap:wrap;gap:12px;margin-top:32px;display:flex}.button{border:1px solid var(--cl-ink-primary);align-items:center;gap:10px;min-height:48px;padding:10px 20px;font-size:16px;font-weight:500;text-decoration:none;transition:background-color .12s linear,color .12s linear;display:inline-flex}.button-primary{background:var(--cl-ink-primary);color:var(--cl-ground)}.button-primary:hover{background:var(--cl-ground);color:var(--cl-ink-primary);text-decoration:none}.button-secondary{color:var(--cl-ink-primary);background:0 0}.button-secondary:hover{background:var(--cl-surface);text-decoration:none}.chain{counter-reset:chain;border-top:1px solid var(--cl-ink-primary)}.chain li{counter-increment:chain;border-bottom:1px solid var(--cl-rule);font-family:var(--font-record);grid-template-columns:36px minmax(0,1fr);align-items:baseline;gap:0 8px;padding:9px 12px 8px;font-size:14px;line-height:1.4;display:grid}.chain li:before{content:counter(chain, decimal-leading-zero);color:var(--cl-ink-secondary);font-size:12px}.chain .chain-boundary{border-top:2px solid var(--cl-signal);border-bottom:2px solid var(--cl-signal);background:var(--cl-ground);padding-top:13px;padding-bottom:12px;font-weight:700}.chain-note{color:var(--cl-signal-ink);grid-column:2;font-size:12px;font-weight:400}.chain-scope{color:var(--cl-ink-secondary);grid-column:2;font-size:12px;font-weight:400}.chain-row{border-top:0;border-left:1px solid var(--cl-rule);flex-wrap:wrap;display:flex}.chain-row li{border-top:1px solid var(--cl-ink-primary);border-right:1px solid var(--cl-rule);flex:150px;display:block}.chain-row li:before{margin-bottom:2px;display:block}.chain-row .chain-boundary{border-top:2px solid var(--cl-signal);border-bottom:2px solid var(--cl-signal)}.chain-row .chain-note{display:block}@media (prefers-reduced-motion:no-preference){.chain-animated li{animation:.32s cubic-bezier(.2,0,0,1) both chain-enter}.chain-animated li:first-child{animation-delay:.15s}.chain-animated li:nth-child(2){animation-delay:.3s}.chain-animated li:nth-child(3){animation-delay:.45s}.chain-animated li:nth-child(4){animation-delay:.6s}.chain-animated li:nth-child(5){animation-delay:.75s}.chain-animated li:nth-child(6){animation-delay:1.05s}.chain-animated li:nth-child(7){animation-delay:1.5s}.chain-animated li:nth-child(8){animation-delay:1.65s}.chain-animated li:nth-child(9){animation-delay:1.8s}}@keyframes chain-enter{0%{opacity:0;transform:translateY(-6px)}to{opacity:1;transform:translateY(0)}}.hero{grid-template-columns:minmax(0,1.25fr) minmax(0,.75fr);align-items:start;gap:64px;padding-top:80px;padding-bottom:88px;display:grid}.hero-eyebrow{color:var(--cl-ink-primary);margin-bottom:28px}.hero h1{letter-spacing:-.02em;font-size:clamp(44px,7vw,88px);font-weight:500;font-stretch:88%;line-height:1}.hero .lead{border-left:2px solid var(--cl-ink-primary);margin-top:32px;padding-left:20px}.hero-figure figcaption{margin-bottom:12px}.principles{border-top:1px solid var(--cl-ink-primary);border-left:1px solid var(--cl-rule);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.principle{border-right:1px solid var(--cl-rule);border-bottom:1px solid var(--cl-rule);padding:24px 24px 8px}.principle>p{margin-top:10px;font-size:16px}.principle .proof-label{margin-top:20px;margin-bottom:6px;display:block}.method{counter-reset:method;border-top:1px solid var(--cl-ink-primary);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.method li{counter-increment:method;padding:24px 28px 28px 0;position:relative}.method li+li{border-left:1px solid var(--cl-rule);padding-left:28px}.method li:before{content:counter(method, decimal-leading-zero);font-family:var(--font-record);color:var(--cl-ink-secondary);margin-bottom:14px;font-size:13px;display:block}.method-stage{letter-spacing:.02em;font-size:clamp(20px,2.2vw,26px);font-weight:600;font-stretch:80%;line-height:1.1;display:block}.method li p{margin-top:12px;font-size:16px}.method-statements{counter-reset:statement;border-top:1px solid var(--cl-rule);font-family:var(--font-record);grid-template-columns:repeat(4,minmax(0,1fr));gap:0 24px;margin-top:8px;padding-top:20px;font-size:13.5px;line-height:1.45;display:grid}.method-statements li{counter-increment:statement}.method-statements li:before{content:counter(statement) ". ";color:var(--cl-ink-secondary)}.method-note{margin-top:40px}.product{border:1px solid var(--cl-ink-primary);background:var(--cl-surface)}.product-head{border-bottom:1px solid var(--cl-ink-primary);background:var(--cl-ground);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:8px 24px;padding:18px 24px;display:flex}.product-head h2{font-size:clamp(24px,2.6vw,32px)}.product-index{font-family:var(--font-record);color:var(--cl-ink-secondary);margin-right:14px;font-size:13px;font-weight:400}.product-site{font-family:var(--font-record);padding:10px 0;font-size:13px;display:inline-block}.product-primary-body{grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.product-col{padding:28px 24px}.product-col+.product-col{border-left:1px solid var(--cl-rule)}.product-col-chain{background:var(--cl-ground)}.product-col-chain .chain li{padding-top:7px;padding-bottom:6px}.product-promise{letter-spacing:-.01em;text-wrap:balance;margin-top:10px;font-size:clamp(24px,2.2vw,28px);font-weight:500;line-height:1.15}.product-col>p{margin-top:16px}.product-col h2{margin:24px 0 8px}.product-col h2:first-child{margin-top:0}.verdicts{border-top:1px solid var(--cl-ink-primary)}.verdicts div{border-bottom:1px solid var(--cl-rule);grid-template-columns:150px minmax(0,1fr);gap:4px 16px;padding:10px 0;display:grid}.verdicts dt{font-family:var(--font-record);font-size:14px;font-weight:700}.verdicts dd{font-size:15.5px;line-height:1.45}.interfaces,.chain-scopes{border-top:1px solid var(--cl-ink-primary)}.chain-scopes{margin-top:16px}.interfaces li,.chain-scopes li{border-bottom:1px solid var(--cl-rule);font-family:var(--font-record);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:6px 16px;padding:9px 0;font-size:14px;font-weight:700;display:flex}.not-list{font-family:var(--font-record);flex-wrap:wrap;gap:6px 8px;font-size:13px;display:flex}.not-list li{border:1px solid var(--cl-rule);color:var(--cl-ink-secondary);background:var(--cl-ground);padding:3px 8px}.product-strip{border-top:1px solid var(--cl-rule);flex-wrap:wrap;align-items:center;gap:8px 20px;padding:14px 24px;display:flex}.product-strip h2{margin:0}.product-claims{border-top:1px solid var(--cl-ink-primary);background:var(--cl-ground);padding:8px 24px 12px}.product-claims>h2{margin:20px 0 12px}.product-claims-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:0 32px;display:grid}.environments{grid-template-columns:repeat(3,minmax(0,1fr));gap:24px;margin-top:24px;display:grid}.environment{border:1px solid var(--cl-ink-secondary);background:var(--cl-ground);flex-direction:column;display:flex}.environment .product-head{border-bottom-color:var(--cl-rule)}.environment .product-head h2{font-size:22px}.environment-body{padding:18px 24px 8px}.environment-body>p{margin-top:8px;font-size:16px}.environment-body>h3{margin:18px 0 8px}.environment-body .claim-list{margin-top:18px}.environment .claim-title,.product-claims .claim-title{font-size:16px}.environment .claim-statement,.product-claims .claim-statement{font-size:15px}.steps{counter-reset:step;border-top:1px solid var(--cl-ink-primary)}.steps>li{counter-increment:step;border-bottom:1px solid var(--cl-rule);grid-template-columns:48px 260px minmax(0,1fr);gap:6px 24px;padding:20px 0;display:grid}.steps>li:before{content:counter(step, decimal-leading-zero);font-family:var(--font-record);color:var(--cl-ink-secondary);font-size:13px;line-height:2}.steps h3{font-size:20px;font-stretch:88%}.steps .step-body>p{max-width:64ch;font-size:16px}.steps .claim{border:1px solid var(--cl-rule);background:var(--cl-surface);margin-top:14px;padding:12px 16px}.legend{border-top:1px solid var(--cl-ink-primary);grid-template-columns:repeat(3,minmax(0,1fr));gap:14px 32px;margin-top:40px;padding-top:24px;display:grid}.legend dt{margin-bottom:6px}.legend dd{color:var(--cl-ink-secondary);font-size:14px;line-height:1.45}.engage{border-top:2px solid var(--cl-ink-primary);background:var(--cl-surface)}.engage h2{font-size:clamp(32px,4.6vw,56px);font-stretch:88%;line-height:1.05}.engage-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:32px 48px;margin-top:40px;display:grid}.engage-grid h2{margin-bottom:12px;font-size:18px}.ruled-list li{border-top:1px solid var(--cl-rule);padding:10px 0;font-size:16px}.ruled-list li:last-child{border-bottom:1px solid var(--cl-rule)}.engage-address{font-family:var(--font-record);color:var(--cl-ink-secondary);margin-top:16px;font-size:13.5px}.more{margin-top:20px;font-size:16px}.more a{align-items:center;gap:8px;min-height:44px;font-weight:500;display:inline-flex}.property-titles{counter-reset:property;border-top:1px solid var(--cl-ink-primary);grid-template-columns:repeat(4,minmax(0,1fr));display:grid}.property-titles li{counter-increment:property;padding:18px 20px 4px 0;font-size:18px;font-weight:500;line-height:1.3}.property-titles li+li{border-left:1px solid var(--cl-rule);padding-left:20px}.property-titles li:before{content:counter(property, decimal-leading-zero);font-family:var(--font-record);color:var(--cl-ink-secondary);margin-bottom:10px;font-size:13px;font-weight:400;display:block}.overview{grid-template-columns:repeat(3,minmax(0,1fr));gap:24px;display:grid}.overview-entry{border:1px solid var(--cl-ink-secondary);background:var(--cl-ground);flex-direction:column;padding:22px 24px 10px;display:flex}.overview-primary{border-color:var(--cl-ink-primary);background:var(--cl-surface);grid-column:1/-1;grid-template-columns:minmax(0,1.15fr) minmax(0,.85fr);gap:16px 56px;padding-top:26px;display:grid}.overview-entry h3{margin-bottom:10px;font-size:22px}.overview-primary h3{font-size:clamp(26px,2.8vw,34px)}.overview-main>p+p{margin-top:10px;font-size:16px}.overview-main>.product-promise{font-size:clamp(24px,2.2vw,28px)}.overview-state{flex-direction:column;flex:1;margin-top:16px;display:flex}.overview-primary .overview-state{margin-top:0}.overview-state .more{margin-top:auto;padding-top:6px}.verdict-names{font-family:var(--font-record);flex-wrap:wrap;gap:6px 8px;margin-bottom:14px;font-size:13px;font-weight:700;display:flex}.verdict-names li{border:1px solid var(--cl-ink-primary);background:var(--cl-ground);padding:4px 9px 3px}.state-lines{border-top:1px solid var(--cl-ink-primary)}.state-line{border-bottom:1px solid var(--cl-rule);flex-wrap:wrap;align-items:center;gap:6px 12px;padding:10px 0;font-size:15px;line-height:1.35;display:flex}.product-summary{grid-template-columns:minmax(0,1.15fr) minmax(0,.85fr);display:grid}.product-summary .more{margin-top:8px}.teasers{border-top:1px solid var(--cl-ink-primary);grid-template-columns:repeat(2,minmax(0,1fr));gap:8px 56px;display:grid}.teaser{padding-top:22px}.teaser h3{font-size:20px;font-stretch:88%}.teaser>p{margin-top:8px;font-size:16px}.state-counts{flex-wrap:wrap;gap:8px 18px;margin-top:16px;display:flex}.state-counts li{font-family:var(--font-record);align-items:center;gap:8px;font-size:14px;font-weight:700;display:inline-flex}.page-head{padding:72px 0 48px}.page-head h1{margin-top:16px;font-stretch:88%}.page-head .lead,.page-head .product-promise{margin-top:20px}.page-head .entity-context{max-width:60ch;margin-top:16px}.page-head .class-label a{color:inherit}.portfolio-list{padding-bottom:var(--section-gap)}.product-detail{margin-bottom:var(--section-gap)}.product-detail>.product-claims:first-child{border-top:0}.register-group{border-top:1px solid var(--cl-ink-primary);padding:40px 0}.register-group h2{margin-bottom:20px;font-size:clamp(24px,2.6vw,30px)}.prose-section{border-top:1px solid var(--cl-rule);padding:40px 0}.prose-section h2{margin-bottom:16px;font-size:clamp(24px,2.6vw,30px)}.site-footer{border-top:1px solid var(--cl-ink-primary);padding:40px 0 48px;font-size:15px}.footer-inner{grid-template-columns:minmax(0,1.2fr) minmax(0,.8fr);gap:24px 48px;display:grid}.footer-statement p{max-width:52ch;color:var(--cl-ink-secondary);margin-top:8px}.footer-nav{flex-wrap:wrap;align-content:flex-start;gap:0 22px;display:flex}.footer-nav a{align-items:center;min-height:44px;display:inline-flex}.footer-meta{border-top:1px solid var(--cl-rule);color:var(--cl-ink-secondary);grid-column:1/-1;padding-top:20px;font-size:13px}@media (width<=1020px){.hero{grid-template-columns:minmax(0,1fr);gap:48px;padding-top:56px;padding-bottom:64px}.hero-figure{max-width:520px}.section-body{margin-left:0}.section-head{grid-template-columns:48px minmax(0,1fr);gap:8px 16px}.product-primary-body,.product-summary,.product-claims-grid,.overview,.overview-primary{grid-template-columns:minmax(0,1fr)}.overview-primary .overview-state{margin-top:4px}.property-titles{grid-template-columns:repeat(2,minmax(0,1fr))}.property-titles li:nth-child(3){border-left:0;padding-left:0}.property-titles li:nth-child(n+3){border-top:1px solid var(--cl-rule)}.product-col+.product-col{border-left:0;border-top:1px solid var(--cl-rule)}.environments{grid-template-columns:minmax(0,1fr)}.steps>li{grid-template-columns:40px minmax(0,1fr)}.steps .step-body{grid-column:2}.legend{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width>=721px) and (width<=1020px){.product-col-chain .chain{grid-template-rows:repeat(5,auto);grid-auto-columns:minmax(0,1fr);grid-auto-flow:column;column-gap:16px;display:grid}}@media (width<=720px){:root{--gutter:18px;--section-gap:56px}body{font-size:16px}.principles,.method,.method-statements,.engage-grid,.footer-inner,.legend,.property-titles,.teasers{grid-template-columns:minmax(0,1fr)}.property-titles li,.property-titles li+li{border-left:0;padding:14px 0}.property-titles li+li{border-top:1px solid var(--cl-rule)}.overview-entry{padding-left:16px;padding-right:16px}.method li,.method li+li{border-left:0;padding:20px 0}.method li+li{border-top:1px solid var(--cl-rule)}.method-statements{gap:6px}.section-head{grid-template-columns:minmax(0,1fr);margin-bottom:28px}.section-head .lead{grid-column:1}.verdicts div{grid-template-columns:minmax(0,1fr)}.product-head,.product-col,.product-strip,.product-claims,.environment-body{padding-left:16px;padding-right:16px}.principle{padding:20px 16px 4px}.button{text-align:center;justify-content:center;width:100%}}