@layer base{:root{color-scheme:light;--paper:#f6f5f0;--surface:#fcfbf8;--ink:#202d26;--muted:#60695f;--line:#d7dcd2;--green:#203b30;--accent:#ab4d29;--accent-light:#f08a61;--dark:#18231f;--dark-muted:#b0beb3;--dark-line:#3b4b41;--font-body:Arial, Helvetica, sans-serif;--font-mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace;--gutter:clamp(1.25rem, 4.5vw, 4rem);--section-space:clamp(3.5rem, 6.5vw, 6rem);--content-width:86rem}*,:before,:after{box-sizing:border-box}html{scroll-padding-top:1rem}body{background:var(--paper);color:var(--ink);font-family:var(--font-body);-webkit-font-smoothing:antialiased;margin:0;font-size:1rem;line-height:1.55}h1,h2,h3,p,figure,pre,dl{margin:0}h1,h2,h3{font-weight:900}h1,h2{letter-spacing:-.065em;text-transform:uppercase;line-height:.95}h1{font-size:clamp(3.7rem,7.7vw,7.1rem)}h2{font-size:clamp(2.7rem,4.3vw,4rem)}h3{letter-spacing:-.035em;line-height:1.15}a{color:inherit;text-underline-offset:.22em}a:hover{color:var(--accent)}a,button{-webkit-tap-highlight-color:transparent}:focus-visible{outline:2px solid var(--accent);outline-offset:5px}main:focus{outline:none}::selection{background:var(--accent);color:var(--surface)}img,svg{max-width:100%;display:block}code,pre{font-family:var(--font-mono)}pre{font-size:.82rem;line-height:1.9;overflow-x:auto}.container{width:min(100%, var(--content-width));padding-inline:var(--gutter);margin-inline:auto}.eyebrow,.package-name,.text-link,.diagram-label{font-family:var(--font-mono);letter-spacing:.06em;font-size:.7rem;font-weight:400}.eyebrow{color:var(--accent);text-transform:uppercase;margin-bottom:1.5rem}.highlight{background:var(--green);color:var(--paper);margin-left:-.055em;padding:0 .055em .055em;display:inline-block}.text-link{text-transform:uppercase;align-items:center;gap:1rem;min-height:2.5rem;text-decoration-thickness:1px;display:inline-flex}.text-link span{font-size:1rem}.skip-link{z-index:10;top:.5rem;left:var(--gutter);background:var(--green);color:var(--paper);padding:.8rem 1rem;position:absolute;transform:translateY(-160%)}.skip-link:focus{transform:translateY(0)}}@layer layout{.site-header{border-bottom:1px solid var(--line);align-items:center;gap:2.5rem;min-height:5.5rem;display:flex}.brand{letter-spacing:-.065em;align-items:center;gap:.65rem;font-size:1.3rem;font-weight:900;text-decoration:none;display:inline-flex}.site-header nav{gap:1.8rem;margin-left:auto;display:flex}.site-header nav a,.source-link,.footer-links a{min-height:2.75rem;font-family:var(--font-mono);letter-spacing:.055em;text-transform:uppercase;align-items:center;gap:1rem;font-size:.67rem;text-decoration:none;display:inline-flex}.site-header nav a[aria-current=page]{text-decoration:underline;text-decoration-color:var(--accent);text-underline-offset:.5rem;text-decoration-thickness:2px}.source-link{background:var(--green);color:var(--paper);padding-inline:1rem}.source-link:hover{background:var(--accent);color:var(--paper)}.hero{grid-template-columns:1.1fr 1fr;align-items:center;gap:clamp(2rem,5vw,5rem);padding-block:clamp(3.5rem,6vw,5.5rem);display:grid}.hero-copy{min-width:0}.hero h1{margin-bottom:2rem}.hero-description{font-size:clamp(1rem,1.4vw,1.2rem);line-height:1.5}.hero-actions{flex-wrap:wrap;align-items:center;gap:1.5rem;margin-top:1.75rem;display:flex}.section-heading{justify-content:space-between;align-items:end;gap:2rem;margin-bottom:2.5rem;display:flex}.stack-section{padding-block:var(--section-space);border-top:1px solid var(--line)}.get-started{padding-block:var(--section-space);grid-template-columns:.85fr 1.15fr;align-items:center;gap:3rem;display:grid}.get-started h2{margin-bottom:1.5rem}.get-started p:not(.eyebrow){color:var(--muted);margin-bottom:.5rem}.site-footer{border-top:1px solid var(--line);justify-content:space-between;align-items:center;gap:1.5rem;min-height:6.5rem;display:flex}.site-footer p{letter-spacing:-.02em;font-size:.85rem;font-weight:900}.site-footer p span{color:var(--muted);letter-spacing:0;margin-left:1.3rem;font-size:.75rem;font-weight:400}.footer-links{flex-wrap:wrap;gap:1.75rem;display:flex}.interior{padding-bottom:2rem}.page-hero{padding-block:var(--section-space)}.page-hero h1{margin-bottom:2rem;font-size:clamp(3.4rem,6.7vw,6rem)}.page-hero p:not(.eyebrow){color:var(--muted);font-size:1.1rem;line-height:1.6}.detail-section{border-top:1px solid var(--line);padding-block:2.5rem 3.5rem}.detail-section>h2,.compact h2{letter-spacing:-.045em;text-transform:none;font-size:clamp(1.65rem,2.5vw,2.2rem);line-height:1.15}.detail-section>h2{margin-bottom:2rem}.reading-copy{max-width:51rem;color:var(--muted);margin-block:1.5rem}.not-found{min-height:70vh}.not-found .button{margin-top:2rem}}@layer components{.button{min-height:3rem;font-family:var(--font-mono);justify-content:space-between;align-items:center;gap:1.5rem;padding:.7rem 1rem;font-size:.72rem;text-decoration:none;display:inline-flex}.button.primary{background:var(--green);color:var(--paper)}.button.primary:hover{background:var(--accent)}.state-diagram{justify-self:end;width:100%;max-width:29rem;padding-top:.5rem}.state-diagram>.diagram-label{color:var(--muted);text-align:center;text-transform:uppercase;margin-bottom:1.75rem;font-size:.62rem}.model-sheet{border:1px solid var(--ink);width:66%;box-shadow:6px 6px 0 var(--accent);background:var(--surface);flex-direction:column;gap:.5rem;margin-inline:auto;padding:1rem 1.25rem;display:flex;transform:rotate(-3deg)}.model-sheet strong{letter-spacing:-.035em;font-size:1.1rem}.model-sheet .diagram-label{color:var(--muted);text-transform:uppercase;font-size:.6rem}.model-rule{background:var(--line);height:1px;margin-top:.3rem}.model-rule.short{width:66%;margin-bottom:.3rem}.diagram-connector{width:100%;height:2.65rem;stroke:var(--ink);stroke-width:1px}.diagram-branches{grid-template-columns:1fr 1fr;gap:1.4rem;display:grid}.state-sheet,.program-sheet{border:1px solid var(--green);flex-direction:column;min-width:0;padding:1.25rem;display:flex;container-type:inline-size}.state-sheet{background:var(--green);color:var(--paper)}.program-sheet{background:var(--surface);transform:rotate(2deg)}.diagram-branches .diagram-label{text-transform:uppercase;margin-bottom:1rem;font-size:.65rem}.diagram-branches strong{letter-spacing:-.05em;font-size:clamp(1rem,18cqi,2.25rem);font-weight:900;line-height:.97}.diagram-detail{font-family:var(--font-mono);letter-spacing:-.025em;margin-top:1rem;font-size:.59rem}.page-blocks,.program-blocks{gap:.35rem;height:1.45rem;margin-top:1rem;display:flex}.page-blocks i{border:1px solid var(--dark-muted);flex:1}.page-blocks i:first-child{background:var(--accent-light);border-color:var(--accent-light)}.page-blocks i:last-child{border-style:dashed}.program-blocks i{background:var(--line);flex:1}.program-blocks i:nth-child(2){background:var(--accent);flex:2}.runtime-sheet{border:1px solid var(--green);justify-content:space-between;align-items:center;gap:1rem;padding:1.25rem;display:flex}.runtime-sheet strong{letter-spacing:-.055em;font-size:clamp(1rem,1.65vw,1.5rem)}.runtime-sheet .diagram-label{color:var(--muted);font-size:.6rem}.state-diagram figcaption{color:var(--muted);text-align:center;margin-top:1.25rem;font-size:.72rem}.layer-grid{grid-template-columns:repeat(3,1fr);display:grid}.layer{border-top:1px solid var(--ink);border-right:1px solid var(--line);padding:1.7rem 2rem 1.5rem}.layer:first-child{padding-left:0}.layer:last-child{border-right:0;padding-right:0}.package-name{min-height:2rem;color:var(--accent);letter-spacing:0;align-items:center;gap:1rem;text-decoration:none;display:inline-flex}.package-name:hover{text-decoration:underline}.layer h3{margin-block:.85rem;font-size:clamp(1.5rem,2vw,1.9rem)}.layer p{max-width:26rem;color:var(--muted);font-size:.9rem}.provider-line{color:var(--muted);font-family:var(--font-mono);flex-wrap:wrap;gap:2rem;margin-top:2rem;font-size:.68rem;display:flex}.provider-line span{color:var(--ink);text-transform:uppercase}.proof-band{background:var(--green);color:var(--paper)}.proof-inner{grid-template-columns:1.55fr 1fr;align-items:center;gap:4rem;padding-block:3.5rem;display:grid}.proof-inner .eyebrow{color:var(--accent-light)}.proof-inner h2{margin-bottom:1.25rem;font-size:clamp(3rem,5vw,4.6rem)}.proof-inner p:not(.eyebrow){color:var(--dark-muted);font-size:.85rem}.proof-note{border-left:1px solid var(--dark-muted);padding-left:2rem}.proof-note .text-link{margin-top:1rem}.proof-note a:hover{color:var(--accent-light)}.proof-band :focus-visible{outline-color:var(--accent-light)}.code-panel{border:1px solid var(--line);background:var(--surface);min-width:0}.code-bar{border-bottom:1px solid var(--line);color:var(--muted);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em;padding:.7rem 1.25rem;font-size:.65rem}.code-panel pre{padding:1.5rem 1.25rem}.definition-list>div{border-bottom:1px solid var(--line);grid-template-columns:1fr 2fr;align-items:baseline;gap:2rem;padding-block:1.1rem;display:grid}.definition-list>div:last-child{border:0}.definition-list p{max-width:45rem;color:var(--muted);font-size:.95rem}.compile-flow{counter-reset:stages;grid-template-columns:repeat(4,1fr);gap:1.5rem;margin:0;padding:0;list-style:none;display:grid}.compile-flow li{counter-increment:stages;border-top:2px solid var(--green);padding-top:1rem}.compile-flow li:before{content:"0" counter(stages);color:var(--accent);font-family:var(--font-mono);margin-bottom:1.25rem;font-size:.7rem;display:block}.compile-flow h3{margin-bottom:.5rem;font-size:1.4rem}.compile-flow p{color:var(--muted);font-size:.85rem}.provider-list{grid-template-columns:1fr 1fr;gap:1.25rem 3rem;max-width:51rem;padding-block:1rem;display:grid}.provider-list dt{font-size:.9rem;font-weight:700}.provider-list dd{color:var(--muted);margin:.3rem 0 0;font-size:.85rem}.doc-links{grid-template-columns:1fr 1fr;column-gap:3rem;display:grid}.doc-links a{border-bottom:1px solid var(--line);justify-content:space-between;gap:1rem;padding-block:1rem;text-decoration:none;display:flex}.doc-links a span{color:var(--accent)}.compact{align-items:center;margin-bottom:1rem}.architecture-figure{margin:2rem 0}.architecture-figure img{border:1px solid var(--line);width:100%;height:auto;display:block}.architecture-figure figcaption{max-width:60rem;color:var(--muted);margin-top:1rem;font-size:.85rem;line-height:1.6}}@layer responsive{@media (width>=90rem){.hero{padding-block:6rem}}@media (width<=64rem){.site-header{gap:1.5rem}.site-header nav{gap:1.1rem}.hero{gap:2rem}.hero-actions{gap:.75rem}.layer{padding-inline:1.25rem}.proof-inner{gap:2rem}.diagram-branches{gap:1rem}.state-sheet,.program-sheet{padding:1rem .85rem}.runtime-sheet{flex-direction:column;align-items:start;gap:.25rem}}@media (width<=48rem){h1{font-size:clamp(3.5rem,11vw,6rem)}.site-header{flex-wrap:wrap;justify-content:space-between;gap:0 1rem;padding-top:.85rem}.site-header nav{order:3;justify-content:space-between;width:100%;margin:.6rem 0 0}.site-header nav a{min-height:3rem}.source-link{min-height:2.5rem}.hero{grid-template-columns:1fr;gap:3rem}.hero-copy{max-width:36rem}.hero-description br{display:none}.state-diagram{justify-self:center;max-width:29rem}.runtime-sheet{flex-direction:row;align-items:center}.runtime-sheet strong{font-size:1.25rem}.section-heading{flex-direction:column;align-items:start;gap:1rem;margin-bottom:1.75rem}.layer-grid{grid-template-columns:1fr}.layer,.layer:first-child,.layer:last-child{border-right:0;border-top-color:var(--line);padding:1.25rem 0}.layer h3{margin-block:.4rem .65rem}.layer p{max-width:36rem}.provider-line{gap:.65rem;line-height:1.9}.proof-inner,.get-started{grid-template-columns:1fr;gap:2rem}.proof-note{border-left:0;padding-left:0}.proof-note p{max-width:30rem}.site-footer{flex-direction:column;align-items:start;gap:.8rem;padding-block:1.5rem}.site-footer p span{margin-left:1rem}.footer-links{gap:.25rem 1.5rem}.page-hero h1{font-size:clamp(2.6rem,8.6vw,4.5rem)}.page-hero p:not(.eyebrow){font-size:1rem}.page-hero p br{display:none}.definition-list>div{grid-template-columns:1fr;gap:.35rem}.compile-flow{grid-template-columns:1fr 1fr;gap:1.75rem}.doc-links{column-gap:1.5rem}}@media (width<=25rem){.hero-actions{gap:.9rem}.button{gap:1rem}.runtime-sheet{flex-direction:column;align-items:start}.diagram-detail{font-size:.55rem}.state-diagram>.diagram-label{font-size:.58rem}.provider-list,.doc-links{grid-template-columns:1fr}}}