@import "https://fonts.googleapis.com/css2?family=Archivo:wght@500;600;700&family=IBM+Plex+Mono:wght@400;500&family=IBM+Plex+Sans:wght@400;500;600&display=swap";
:root{--font-display:"Archivo","IBM Plex Sans",system-ui,sans-serif;--font-body:"IBM Plex Sans",system-ui,-apple-system,"Segoe UI",sans-serif;--font-mono:"IBM Plex Mono",ui-monospace,Menlo,Consolas,monospace;--ground:#f2f3f5;--surface:#fff;--surface-sunk:#f7f8fa;--grid-line:#e4e7eb;--ink:#101318;--ink-2:#2a303a;--ink-muted:#3b4250;--ink-subtle:#4a5160;--rule:#d5d9e0;--rule-strong:#c9ced6;--rule-faint:#e3e6ea;--rule-dashed:#a7aeba;--accent:#b23b0a;--accent-on-dark:#ffb38a;--dark:#0d1117;--dark-deep:#080b0f;--dark-raised:#11161d;--dark-tile:#1c232d;--dark-rule:#2a313c;--dark-rule-2:#3a4250;--dark-text:#e8eaed;--dark-text-2:#c9d1d9;--dark-muted:#9aa4b2;--proved-bg:#e3f1e8;--proved-fg:#145a33;--tested-bg:#e4ebfa;--tested-fg:#1a45a3;--assumed-bg:#f7eedc;--assumed-fg:#6e4700;--open-bg:#e6e8ec;--open-fg:#323844;--live-green:#7bd69b;--live-active:#8fb2ff;--t-hero:clamp(44px,6.4vw,92px);--t-mark:clamp(72px,12vw,176px);--t-h2:clamp(32px,4vw,52px);--t-h2-lg:clamp(36px,5vw,64px);--t-statement:clamp(24px,2.8vw,36px);--t-lede:20px;--t-body:17px;--t-small:15px;--t-label:12px;--t-micro:11px;--container:1200px;--gutter:32px;--section-y:96px;--section-y-lg:104px;--radius:2px;--tap:44px}*,:before,:after{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--ground);color:var(--ink);font-family:var(--font-body);font-size:var(--t-body);-webkit-font-smoothing:antialiased;margin:0;line-height:1.6}h1,h2,h3,h4,p{margin:0}img,svg{max-width:100%;display:block}a{color:var(--ink)}a:hover{color:var(--accent)}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important;animation:none!important}}.container{max-width:var(--container);padding-inline:var(--gutter);margin:0 auto}.section{padding-block:var(--section-y);border-top:1px solid var(--rule)}.section--lg{padding-block:var(--section-y-lg)}.section--ground{background:var(--ground)}.section--surface{background:var(--surface)}.section--flush{border-top:0}.section--grid{background-color:var(--ground);background-image:linear-gradient(var(--grid-line)1px,transparent 1px),linear-gradient(90deg,var(--grid-line)1px,transparent 1px);background-size:48px 48px}.split{grid-template-columns:repeat(auto-fit,minmax(320px,1fr));align-items:start;gap:56px 80px;display:grid}.split--center{align-items:center}.grid-cards{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:16px;display:grid}.section-head{flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:16px 48px;display:flex}.mono{font-family:var(--font-mono)}.eyebrow{font-family:var(--font-mono);font-size:var(--t-label);letter-spacing:.14em;text-transform:uppercase;color:var(--accent)}.eyebrow--muted{color:var(--ink-subtle)}.display{font-family:var(--font-display);font-weight:700;font-size:var(--t-hero);letter-spacing:-.03em;max-width:13ch;line-height:.98}.wordmark{font-family:var(--font-display);font-weight:700;font-size:var(--t-mark);letter-spacing:-.045em;line-height:.86}.h2{font-family:var(--font-display);font-weight:700;font-size:var(--t-h2);letter-spacing:-.02em;line-height:1.04}.h2--lg{font-size:var(--t-h2-lg);letter-spacing:-.025em;line-height:1.02}.h3{font-family:var(--font-display);font-size:22px;font-weight:600;line-height:1.2}.statement{font-family:var(--font-display);font-weight:600;font-size:var(--t-statement);letter-spacing:-.01em;max-width:30ch;line-height:1.2}.principle{font-family:var(--font-display);border-top:2px solid var(--accent);padding-top:16px;font-size:22px;font-weight:700;line-height:1.3}.lede{font-size:var(--t-lede);color:var(--ink-2);max-width:58ch;line-height:1.5}.body-muted{color:var(--ink-muted);max-width:60ch;line-height:1.6}.label{font-family:var(--font-mono);font-size:var(--t-label);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-subtle)}.index{font-family:var(--font-mono);font-size:var(--t-label);color:var(--ink-subtle)}.site-header{background:var(--ground);border-bottom:1px solid var(--rule);z-index:100;position:sticky;top:0}.site-header__inner{max-width:var(--container);padding:6px var(--gutter);flex-wrap:wrap;align-items:center;gap:4px 40px;margin:0 auto;display:flex}.brand{font-family:var(--font-mono);letter-spacing:.18em;color:var(--ink);padding:12px 0;font-size:15px;font-weight:500;text-decoration:none}.nav{flex-wrap:wrap;flex:auto;gap:0 28px;display:flex}.nav__link{font-size:var(--t-small);color:var(--ink-muted);padding:12px 0;text-decoration:none;display:inline-block}.nav__link:hover{color:var(--ink)}.nav__link[aria-current=page]{color:var(--ink);font-weight:600}.subnav{background:var(--surface);border-bottom:1px solid var(--rule)}.subnav__inner{max-width:var(--container);padding-inline:var(--gutter);flex-wrap:wrap;gap:0 28px;margin:0 auto;display:flex}.subnav__link{font-family:var(--font-mono);font-size:var(--t-label);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-subtle);border-bottom:2px solid #0000;padding:14px 0 12px;text-decoration:none;display:inline-block}.subnav__link:hover{color:var(--ink)}.subnav__link[aria-current=page]{color:var(--ink);border-bottom-color:var(--accent)}.toc{padding:4px var(--gutter);max-width:var(--container);font-family:var(--font-mono);font-size:var(--t-label);flex-wrap:wrap;gap:0 26px;margin:0 auto;list-style:none;display:flex}.toc a{padding:12px 0;text-decoration:none;display:inline-block}.btn{border-radius:var(--radius);border:1px solid var(--ink);min-height:48px;font:500 var(--t-small)/1 var(--font-body);cursor:pointer;background:0 0;align-items:center;gap:8px;padding:0 22px;text-decoration:none;display:inline-flex}.btn--primary{background:var(--ink);color:#fff}.btn--primary:hover{color:#fff;background:#2a303a}.btn--ghost{color:var(--ink);min-height:var(--tap);background:0 0;padding:0 18px}.btn--ghost:hover{background:var(--ink);color:#fff}.btn-row{flex-wrap:wrap;gap:12px;display:flex}.link{min-height:var(--tap);color:var(--ink);align-items:center;font-weight:500;text-decoration:none;display:inline-flex}.link:hover{color:var(--accent)}.card{background:var(--surface);border:1px solid var(--rule);color:var(--ink);flex-direction:column;gap:14px;padding:28px;text-decoration:none;display:flex}a.card:hover{border-color:var(--ink);color:var(--ink)}.card__cta{margin-top:auto;font-weight:500}.card--tall{min-height:280px}.card--dark{background:var(--dark);border-color:var(--dark);color:var(--dark-text)}.card--dashed{border-style:dashed;border-color:var(--rule-dashed);background:0 0}.cells{background:var(--rule);border:1px solid var(--rule);grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:1px;display:grid}.cells>*{background:var(--surface);min-height:160px;padding:28px 24px}.pill{border-radius:var(--radius);font:500 var(--t-micro)/1.4 var(--font-mono);letter-spacing:.08em;white-space:nowrap;align-self:flex-start;padding:4px 8px;display:inline-block}.pill--proved{background:var(--proved-bg);color:var(--proved-fg)}.pill--tested{background:var(--tested-bg);color:var(--tested-fg)}.pill--assumed{background:var(--assumed-bg);color:var(--assumed-fg)}.pill--open{background:var(--open-bg);color:var(--open-fg)}.pill--counter{background:var(--ink);color:#fff}.fixture{font-family:var(--font-mono);font-size:var(--t-micro);letter-spacing:.1em;color:var(--assumed-fg)}.fixture-banner{background:var(--assumed-bg);border:1px solid var(--assumed-fg);color:#4a3000;flex-wrap:wrap;align-items:baseline;gap:6px 16px;padding:14px 18px;display:flex}.status{font:var(--t-label)var(--font-mono);letter-spacing:.1em;align-items:center;gap:8px;display:inline-flex}.status:before{content:"";background:currentColor;width:8px;height:8px}.status--green{color:var(--live-green)}.status--active{color:var(--live-active)}.status--none{color:var(--dark-muted)}.chain{flex-wrap:wrap;gap:24px 0;margin:0;padding:0;list-style:none;display:flex}.chain__step{border-top:2px solid var(--ink);min-width:0;font:500 15px/1.3 var(--font-mono);letter-spacing:.08em;flex-direction:column;flex:150px;gap:8px;padding:14px 12px 0 0;display:flex}.chain__step .index{font-weight:400}.chain__step--authorized{border-top-color:var(--accent)}.chain__step--authorized .index{color:var(--accent)}.chain__step--boundary{border-top:2px dashed var(--accent)}.chain__step--boundary .index{color:var(--accent)}.tiles{flex-wrap:wrap;gap:8px;margin:0;padding:0;list-style:none;display:flex}.tile{background:var(--surface-sunk);border:1px solid var(--rule-strong);font:13px/1.3 var(--font-mono);letter-spacing:.08em;flex-direction:column;flex:150px;gap:8px;padding:18px 16px;display:flex}.tile--change{border:2px dashed var(--accent);color:var(--accent);background:var(--surface);font-weight:500}.tile--gate{border:2px solid var(--ink);background:var(--surface);font-weight:500}.tile--preserved{border-color:var(--proved-fg);background:var(--proved-bg);color:var(--proved-fg);font-weight:500}.stack{flex-direction:column;width:100%;max-width:460px;display:flex}.stack__node{background:var(--surface-sunk);border:1px solid var(--rule-strong);font:14px/1.3 var(--font-mono);letter-spacing:.08em;justify-content:space-between;gap:12px;padding:16px 20px;display:flex}.stack__node small{color:var(--ink-subtle);letter-spacing:0;font-size:inherit}.stack__node--guard{border:2px solid var(--accent);background:var(--surface);padding:15px 19px;font-weight:500}.stack__node--guard small{color:var(--accent)}.stack__node--effect{background:var(--ink);border-color:var(--ink);color:#fff}.stack__arrow{height:32px;font:12px var(--font-mono);color:var(--ink-subtle);align-items:center;padding-left:24px;display:flex}.modules{grid-template-columns:repeat(auto-fit,minmax(110px,1fr));gap:6px;margin:14px 0 0;padding:0;list-style:none;display:grid}.modules li{background:var(--ground);text-align:center;font:12px var(--font-mono);padding:10px 6px}.ruled{border-top:1px solid var(--ink);margin:0;padding:0;list-style:none}.ruled>li{border-bottom:1px solid var(--rule);padding:18px 0}.ruled>li:last-child.is-final{border-bottom:2px solid var(--accent)}.ruled--row>li{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));align-items:center;gap:8px 32px;display:grid}.ruled--steps>li{align-items:baseline;gap:20px;display:flex}.choice-row{flex-wrap:wrap;gap:8px;display:flex}.choice{text-align:left;background:var(--surface);min-height:56px;color:var(--ink);border:1px solid var(--rule-strong);border-radius:var(--radius);font:500 14px/1.3 var(--font-mono);letter-spacing:.08em;cursor:pointer;flex-direction:column;flex:180px;justify-content:center;gap:4px;padding:10px 16px;display:flex}.choice:hover{border-color:var(--ink)}.choice[aria-pressed=true]{background:var(--ink);color:#fff;border-color:var(--ink)}.choice--core{border-left:4px solid var(--accent)}.panel{border:1px solid var(--ink);background:var(--surface-sunk)}.panel__row{border-bottom:1px solid var(--rule-faint);grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:6px 32px;padding:18px 24px;display:grid}.stats{background:var(--rule);border:1px solid var(--rule);grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;display:grid}.stats>div{background:var(--surface);padding:20px 16px}.stats__n{font:700 44px/1 var(--font-display)}.stats__k{font:var(--t-micro)var(--font-mono);color:var(--ink-subtle);margin-top:8px}.code{background:var(--dark);color:var(--dark-text-2);border-radius:var(--radius);font:13px/1.6 var(--font-mono);margin:0;padding:20px 24px;overflow-x:auto}.diff{background:var(--accent-on-dark);color:var(--ink);padding:0 3px}.band-dark{--accent:var(--accent-on-dark);background:var(--dark);color:var(--dark-text)}.band-dark--emphasis{border-top:4px solid #b23b0a}.band-dark .h2,.band-dark .display{color:#fff}.band-dark .body-muted{color:var(--dark-text-2)}.band-dark .label,.band-dark .index{color:var(--dark-muted)}.band-dark .ruled{border-top-color:var(--dark-rule)}.band-dark .ruled>li{border-bottom-color:var(--dark-rule)}.band-dark .stack__node{border-color:var(--dark-rule-2);color:var(--dark-text);background:0 0}.band-dark .stack__node--guard{border-color:var(--accent-on-dark)}.band-dark .stack__node--effect{background:var(--dark-text);color:var(--dark)}.band-dark .modules li{background:var(--dark-tile)}.band-dark .card{background:var(--dark-raised);border-color:var(--dark-rule);color:var(--dark-text)}.band-dark .stats{background:var(--dark-rule);border-color:var(--dark-rule)}.band-dark .stats>div{background:var(--dark)}.band-dark .stats__n{color:#fff}.band-dark .choice{color:var(--dark-text);border-color:var(--dark-rule-2);background:0 0}.band-dark .choice[aria-pressed=true]{background:var(--accent-on-dark);color:var(--ink);border-color:var(--accent-on-dark)}.band-dark a:hover,.band-dark .link:hover{color:var(--accent-on-dark)}.band-dark .link{color:var(--dark-text)}.btn--signal{background:var(--accent-on-dark);border-color:var(--accent-on-dark);color:var(--ink);font-weight:600}.btn--signal:hover{color:var(--ink);background:#ffc7a6}.btn--outline-light{border-color:var(--dark-text);color:#fff;background:0 0}.btn--outline-light:hover{background:var(--dark-text);color:var(--ink)}.site-footer{background:var(--dark-deep);color:var(--dark-text-2);border-top:1px solid #1c222b}.site-footer__cols{max-width:var(--container);padding:64px var(--gutter)40px;grid-template-columns:repeat(auto-fit,minmax(170px,1fr));gap:40px;margin:0 auto;display:grid}.site-footer__col{flex-direction:column;display:flex}.site-footer__heading{font:var(--t-micro)var(--font-mono);letter-spacing:.12em;color:#6b7482;padding:8px 0}.site-footer a{color:var(--dark-text-2);padding:8px 0;font-size:14px;text-decoration:none;display:inline-block}.site-footer a:hover{color:#fff}.site-footer__base{max-width:var(--container);padding:24px var(--gutter)40px;color:var(--dark-muted);border-top:1px solid #1c222b;flex-wrap:wrap;justify-content:space-between;gap:12px;margin:0 auto;font-size:13px;display:flex}@media (max-width:720px){:root{--gutter:20px;--section-y:64px;--section-y-lg:72px}.stats__n{font-size:34px}.panel__row{padding:16px}.stats{grid-template-columns:1fr}}.nav-mobile-toggle{border:1px solid var(--rule-strong);font-family:var(--font-mono);cursor:pointer;color:var(--ink);background:0 0;padding:6px 12px;font-size:13px;display:none}@media (max-width:768px){.nav-mobile-toggle{align-items:center;display:inline-flex}.nav--desktop-only{display:none}.nav--mobile-open{border-top:1px solid var(--rule);flex-direction:column;width:100%;padding:12px 0;display:flex}}