/* canonical-json-sha256: 040af507d26496469914d581cd7e11c58f25ee068e7cd02e68e54289664930ee */
:root{--ink:#13231e;--forest:#244f40;--paper:#f4f0e7;--paper-2:#ebe5d9;--white:#fffdf8;--lime:#c9ed76;--amber:#e8aa50;--line:#cfc7b8;--muted:#5c6b64;--code:#091914;--max:1180px}
*{box-sizing:border-box}html{scroll-behavior:auto}body{margin:0;background:var(--paper);color:var(--ink);font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;line-height:1.55}a{color:inherit;text-underline-offset:.2em}a:focus-visible{outline:3px solid var(--amber);outline-offset:3px}.skip-link{position:fixed;left:12px;top:12px;z-index:10;transform:translateY(-180%);background:var(--white);padding:12px 16px;border:2px solid var(--ink)}.skip-link:focus{transform:none}header{border-bottom:1px solid var(--line);background:rgba(244,240,231,.98)}.site-nav{max-width:var(--max);min-height:72px;margin:auto;padding:10px 28px;display:flex;align-items:center;justify-content:space-between;gap:24px}.wordmark{font-size:22px;font-weight:900;letter-spacing:-.05em;text-decoration:none;min-height:44px;display:flex;align-items:center}.wordmark span{color:var(--forest)}.nav-links{display:flex;align-items:center;gap:8px}.nav-links a{min-height:44px;padding:11px 12px;display:inline-flex;align-items:center;font-size:14px;font-weight:750;text-decoration:none;border-radius:999px}.nav-links a[aria-current=page]{background:var(--paper-2)}.nav-install{background:var(--ink);color:white}main{overflow:hidden}.hero{max-width:var(--max);margin:auto;display:grid;grid-template-columns:1.15fr .85fr;min-height:560px}.hero-copy{padding:88px 44px 64px}.eyebrow,.data-label{margin:0;font:800 11px/1.3 ui-monospace,SFMono-Regular,Consolas,monospace;letter-spacing:.13em;text-transform:uppercase;color:var(--forest)}h1,h2,h3,p{overflow-wrap:anywhere}h1{font-size:clamp(3.25rem,7vw,5.5rem);line-height:.92;letter-spacing:-.07em;margin:20px 0 24px}h2{font-size:clamp(2.3rem,5vw,3.7rem);line-height:1;letter-spacing:-.055em;margin:10px 0 18px}h3{font-size:1.35rem;line-height:1.15}.hero-copy>p:not(.eyebrow){max-width:660px;font-size:18px;color:var(--muted)}.hero-actions{display:flex;flex-wrap:wrap;gap:10px;margin-top:30px}.button{display:inline-flex;align-items:center;justify-content:center;min-height:48px;padding:12px 18px;border-radius:999px;background:var(--ink);color:white;font-weight:800;text-decoration:none}.button.secondary{background:transparent;color:var(--ink);border:1px solid var(--line)}.hero-code{background:var(--code);color:#dce9e2;padding:64px 34px;display:flex;flex-direction:column;justify-content:center;gap:18px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace}.hero-code p,.hero-code span{color:#9fb2a9}.hero-code strong{color:var(--lime);font-size:26px}.hero-code code{padding:14px;border:1px solid #39574b;border-radius:9px;overflow-wrap:anywhere}.demo-section,.paper-section,.claim-section,.model-section,.dark-section{padding:76px max(24px,calc((100vw - var(--max))/2 + 44px))}.demo-section{background:var(--white);border-top:1px solid var(--line)}.section-heading{max-width:var(--max);margin:0 auto 38px;display:grid;grid-template-columns:.8fr 1.2fr;gap:50px;align-items:end}.section-heading>p{color:var(--muted);font-size:15px}.demo-grid,.claim-grid{max-width:var(--max);margin:auto;display:grid;grid-template-columns:1.15fr .85fr;gap:18px}.terminal-card{background:var(--code);color:#dce9e2;border-radius:16px;padding:28px;min-width:0}.terminal-title{color:#91a89d;font:700 12px ui-monospace,monospace}pre{max-width:100%;overflow:auto;padding:18px;border-radius:10px;background:#10251e;color:#dce9e2;font:12px/1.55 ui-monospace,SFMono-Regular,Consolas,monospace;white-space:pre-wrap}.terminal-result{padding-top:16px;border-top:1px solid #39574b;color:#9fb2a9}.terminal-result strong{color:var(--lime)}.recovery-card{padding:28px;border:1px solid var(--line);border-radius:16px;background:var(--paper)}dl{margin:0}dl>div{padding:12px 0;border-top:1px solid currentColor}dt{font-size:12px;color:var(--muted)}dd{margin:4px 0 0;font-weight:750}code,.digest{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;overflow-wrap:anywhere}.observed-strip{background:var(--ink);color:white;padding:30px max(24px,calc((100vw - var(--max))/2 + 30px));display:grid;grid-template-columns:1fr 2fr;gap:26px}.observed-strip h2{font-size:24px;letter-spacing:-.03em;margin:5px 0}.observed-strip>div>p:last-child,.scope-note{color:#b7c5be}.strip-stats{display:grid;grid-template-columns:repeat(3,1fr);gap:12px}.strip-stats>div{border-left:1px solid #486057;padding:5px 16px}.strip-stats dt{color:#adbbb4;text-transform:uppercase;letter-spacing:.08em;font-size:10px}.strip-stats dd{color:var(--lime);font-size:clamp(22px,3vw,32px);letter-spacing:-.04em}.scope-note{grid-column:1/-1;border-top:1px solid #354b42;padding-top:15px;font-size:12px}.observed-label{display:inline-block;background:var(--lime);color:var(--ink);border-radius:999px;padding:6px 9px}.modelled-label{display:inline-block;background:var(--amber);color:#3c2c18;border-radius:999px;padding:6px 9px}.paper-section{background:var(--paper)}.system-diagram{display:block;max-width:var(--max);width:100%;height:auto;margin:auto}.dark-section{background:var(--ink);color:white}.dark-section .section-heading>p{color:#bdcbc4}.eyebrow.light{color:var(--lime)}.contract-grid{max-width:var(--max);margin:auto;display:grid;grid-template-columns:repeat(3,1fr);gap:14px}.contract-grid article{padding:24px;border:1px solid #486057;border-radius:14px}.contract-grid p{color:#bdcbc4}.install-section{display:flex;max-width:var(--max);margin:auto;align-items:center;justify-content:space-between;gap:30px}.claim-section{background:var(--white);border-block:1px solid var(--line)}.observed-card,.modelled-card{padding:28px;border-radius:16px}.observed-card{background:var(--ink);color:white}.observed-card h3{font-size:clamp(38px,6vw,62px);color:var(--lime);letter-spacing:-.06em}.observed-card dt{color:#b5c4bd}.modelled-card{background:#fff1d7;border:1px solid #d6aa63;color:#50391d}.modelled-card h3{font-size:clamp(34px,5vw,54px);letter-spacing:-.055em}.modelled-card dt{color:#725938}.adjacent-limit{font-weight:800;border-top:2px solid var(--amber);padding-top:16px}.claim-link{max-width:var(--max);margin:24px auto 0}.route-hero{max-width:var(--max);margin:auto;padding:76px 44px}.route-hero h1{font-size:clamp(3rem,7vw,5rem)}.route-hero>p:last-child{max-width:780px;color:var(--muted);font-size:17px}.stacked{max-width:none}.table-wrap{max-width:var(--max);margin:auto;overflow-x:auto}table{width:100%;border-collapse:collapse;background:var(--white)}caption{text-align:left;font-weight:850;font-size:17px;padding:15px;border:1px solid var(--line);border-bottom:0}th,td{text-align:left;padding:14px 16px;border:1px solid var(--line);vertical-align:top}th{width:34%}.population{max-width:var(--max);margin:22px auto 0;display:grid;grid-template-columns:repeat(3,1fr);gap:16px}.population>div{padding:16px;border:1px solid var(--line);border-radius:12px}.model-section{background:#fff1d7;border-block:1px solid #d6aa63}.model-section>.modelled-card{max-width:var(--max);margin:auto}.limitations{max-width:var(--max);margin:auto;padding:0;list-style:none;display:grid;grid-template-columns:repeat(2,1fr);gap:12px}.limitations li{padding:18px;border:1px solid var(--line);border-radius:12px;background:var(--white)}.limitations code{display:block;font-size:11px;color:var(--forest);margin-bottom:8px}.limitations span{color:var(--muted)}.prose{max-width:920px;margin:auto}.prose h2{font-size:34px;margin-top:52px}.equations{display:grid;gap:10px}.equations code{display:block;padding:16px;background:var(--ink);color:var(--lime);border-radius:8px}.site-footer{background:var(--ink);color:#b6c4bd;padding:28px max(24px,calc((100vw - var(--max))/2 + 28px));display:flex;justify-content:space-between;gap:30px;font-size:13px}.site-footer strong{color:white}.site-footer p:last-child{text-align:right}
.button,.nav-links a,.site-footer a{display:inline-flex;align-items:center;min-width:44px;min-height:44px}
@media(max-width:850px){.site-nav{padding-inline:18px}.nav-links>a:not(.nav-install){display:none}.hero{grid-template-columns:1fr}.hero-copy{padding:64px 24px 48px}.hero-code{min-height:330px;padding:42px 24px}.section-heading,.demo-grid,.claim-grid{grid-template-columns:1fr}.observed-strip{grid-template-columns:1fr}.strip-stats{grid-template-columns:1fr}.strip-stats>div{border-left:0;border-top:1px solid #486057;padding:12px 0}.contract-grid,.limitations,.population{grid-template-columns:1fr}.install-section,.site-footer{flex-direction:column;align-items:flex-start}.site-footer p:last-child{text-align:left}.route-hero{padding:58px 24px}th{width:auto}}
@media(max-width:390px){h1{font-size:3rem}.demo-section,.paper-section,.claim-section,.model-section,.dark-section{padding-inline:18px}.terminal-card,.recovery-card,.observed-card,.modelled-card{padding:20px}.nav-install{padding-inline:10px}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}