.hero-check{min-height:6.5rem;font-size:var(--step--1);align-content:start;gap:.4rem;display:grid}.js .hero-check[data-ready=false]{visibility:hidden}.hero-check__line{max-width:none;color:var(--graphite);flex-wrap:wrap;align-items:baseline;gap:.25rem .75rem;display:flex}.hero-check__line code{color:var(--paper);overflow-wrap:anywhere}@media (width<=40rem){.hero-check__line{grid-template-columns:auto minmax(0,1fr);column-gap:.6rem;display:grid}.hero-check__line>:not(.hero-check__prompt,code){grid-column:2}}.hero-check__prompt{color:var(--allowed-ink);font-family:var(--font-mono)}.hero-check__line[data-visible=false],.hero-check__verdict[data-visible=false]{opacity:0}.hero-check__line,.hero-check__verdict{transition:opacity .26s var(--ease-out)}.hero-check__verdict[data-allowed=false][data-visible=true]{animation:shake .36s var(--ease-out)}.hero-check__note{font-family:var(--font-serif);font-style:italic;font-size:var(--step-0)}.hero-check__greeting{color:var(--paper);margin-top:.5rem}@keyframes shake{25%{transform:translate(-3px)}75%{transform:translate(3px)}}.rail{--rail-node:.75rem;--rail-axis:.9rem;font-size:var(--step--1);gap:.75rem;display:grid}.rail code{font-size:inherit}.rail__subject{padding-left:calc(var(--rail-axis) + 1.25rem);gap:.15rem;display:grid}.rail__summary{color:var(--graphite)}.rail__relations{margin:0;padding:0;list-style:none;display:grid;position:relative}.rail__relations:before{content:"";inset:-.75rem auto -.75rem var(--rail-axis);background:var(--paper);width:1px;position:absolute}.rail__relation a{min-height:2.25rem;color:var(--graphite);align-items:center;gap:1.25rem;text-decoration:none;display:flex;position:relative}.rail__relation a:before{content:"";border-top:1px dashed var(--line-strong);transition:border-color .4s var(--ease-out);position:absolute;top:50%;left:0;right:0}.rail__relation code{background:var(--ink);padding-right:.5rem;position:relative}.rail__node{width:var(--rail-node);height:var(--rail-node);margin-left:calc(var(--rail-axis) - var(--rail-node) / 2 + .5px);border:1px solid var(--line-strong);background:var(--ink);transition:background-color .4s var(--ease-out), border-color .4s var(--ease-out), transform .4s var(--ease-out);border-radius:50%;flex:none;position:relative}.rail__relation[data-granted=true] a{color:var(--paper)}.rail__relation[data-granted=true] a:before{border-top:1px solid var(--allowed-ink)}.rail__relation[data-granted=true] .rail__node{border-color:var(--allowed);background:var(--allowed);transform:scale(1.15)}.rail__relation a:hover code{color:var(--paper)}.rail__object{padding-left:calc(var(--rail-axis) + 1.25rem);color:var(--graphite)}.rail__verdict{border-top:1px solid var(--line);justify-content:space-between;gap:1rem;padding-top:.75rem;display:flex}@media (width<=60rem){.rail{padding:.6rem var(--gutter);border-top:1px solid var(--line);background:color-mix(in srgb, var(--ink) 92%, transparent);backdrop-filter:blur(12px);grid-template-columns:1fr auto;align-items:center;gap:.25rem 1rem}.rail__subject{grid-column:1;padding:0}.rail__subject>code,.rail__object,.rail__relation code{display:none}.rail__relations{grid-area:1/2;gap:.5rem;display:flex}.rail__relations:before{width:auto;height:1px;inset:50% 0 auto}.rail__relation a{justify-content:center;min-width:1.5rem;min-height:2.75rem}.rail__relation a:before{display:none}.rail__node{margin:0}.rail__verdict{display:none}}.define-editor{grid-template-columns:minmax(0,1fr);gap:1rem;display:grid}.define-editor__code{min-height:24rem}.define-editor__code pre{border:1px solid var(--line);border-radius:var(--radius-code);background:var(--ink-raised);margin:0;padding:1rem;overflow-x:auto}.define-editor__result{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;display:flex}.define-editor__status{font-size:var(--step--1);flex-wrap:wrap;align-items:baseline;gap:.25rem .5rem;display:flex}.define-editor__hint{color:var(--graphite);flex-basis:100%}.define-editor__diagnostics{font-family:var(--font-mono);font-size:var(--step--1);color:var(--denied);gap:.35rem;margin:0;padding:0;list-style:none;display:grid}.define-editor__source{color:var(--graphite);margin-right:.6rem}.check-console{border:1px solid var(--line);border-radius:var(--radius-code);background:var(--ink-raised);font-size:var(--step--1);gap:1rem;padding:1.25rem;display:grid}.check-console__query{gap:.2rem;display:grid}.check-console__arg{padding-left:1.5rem}.check-console label{align-items:center;gap:.5rem;display:flex}.check-console select{border:1px solid var(--line-strong);background:var(--ink);min-height:2.25rem;color:var(--allowed-ink);font:inherit;font-family:var(--font-mono);border-radius:6px;padding:0 .6rem}.check-console__actions{flex-wrap:wrap;align-items:center;gap:1rem;display:flex}.check-console__report{color:var(--graphite)}.ship-terminal{border:1px solid var(--line);border-radius:var(--radius-code);background:var(--ink-raised);min-height:15rem;font-family:var(--font-mono);font-size:var(--step--1);align-content:start;gap:1rem;padding:1.25rem;display:grid}.ship-terminal__log{gap:.9rem;margin:0;padding:0;list-style:none;display:grid}.ship-terminal__log:empty{display:none}.ship-terminal__log li{animation:reveal-step .32s var(--ease-out)}.ship-terminal__command{color:var(--paper)}.ship-terminal__command span{color:var(--allowed-ink)}.ship-terminal__output{min-height:1.6em;color:var(--graphite);white-space:pre-wrap}.ship-terminal__run{justify-self:start}.ship-terminal__run code{font-size:inherit}.ship-terminal__done{font-family:var(--font-serif);font-style:italic;font-size:var(--step-1)}@keyframes reveal-step{0%{opacity:0}}.proof-tree{font-size:var(--step--1);gap:1.25rem;display:grid}.proof-tree .button{justify-self:start}.proof-tree .button code{font-size:inherit}.proof-tree ul{margin:0;padding:0;list-style:none}.proof-tree__node>ul{border-left:1px dashed var(--line-strong);margin-left:.4rem;padding-left:1.25rem}.proof-tree__node[data-allowed=true]>ul{border-left:1px solid var(--allowed-ink)}.proof-tree__label{flex-wrap:wrap;align-items:baseline;gap:.25rem .75rem;padding:.3rem 0;display:flex;position:relative}.proof-tree__node .proof-tree__node>.proof-tree__label:before{content:"";border-top:1px solid var(--line-strong);width:.9rem;position:absolute;top:1em;left:-1.25rem}.proof-tree__granted{color:var(--graphite)}.proof-tree__summary{font-family:var(--font-serif);font-style:italic;font-size:var(--step-1);line-height:1.4}.proof-tree__summary code{font-family:var(--font-mono);font-style:normal;font-size:var(--step--1)}.waitlist-form{gap:.6rem;max-width:34rem;display:grid}.waitlist-form__row{border:1px solid var(--line-strong);border-radius:var(--radius-control);background:var(--ink-raised);gap:.5rem;padding:.3rem;display:flex}.waitlist-form__row:focus-within{border-color:var(--allowed-ink)}.waitlist-form input[type=email]{min-width:0;color:var(--paper);font:inherit;font-size:var(--step-0);background:0 0;border:0;flex:1;padding:0 .9rem}.waitlist-form input[type=email]:focus{outline:none}.waitlist-form input::placeholder{color:var(--graphite)}.waitlist-form__trap{position:absolute;left:-9999px}.waitlist-form__note{color:var(--graphite);font-size:var(--step--1);padding-left:1.2rem}.waitlist-form__done{font-family:var(--font-serif);font-style:italic;font-size:var(--step-1);color:var(--allowed-ink)}@media (width<=30rem){.waitlist-form__row{border-radius:18px;flex-direction:column}.waitlist-form input[type=email]{min-height:2.75rem}.waitlist-form .button{justify-content:center}}.page{grid-template-columns:minmax(0, 1fr) var(--rail-width);max-width:78rem;padding:0 var(--gutter);gap:clamp(2rem,5vw,6rem);margin:0 auto;display:grid}.page__main{min-width:0}.page__rail{top:calc(var(--header-height) + 2rem);align-self:start;padding-top:5rem;position:sticky}.stage{border-left:1px dashed var(--line-strong);grid-template-columns:minmax(0,1fr);gap:1.5rem;padding:clamp(4rem,10vw,8rem) 0 0 clamp(1.25rem,3vw,2.5rem);display:grid;position:relative}.stage:before{content:"";background:var(--allowed-ink);transform-origin:top;width:1px;transition:transform .9s var(--ease-out);position:absolute;inset:0 auto 0 -1px;transform:scaleY(0)}.stage[data-granted=true]:before{transform:scaleY(1)}.stage__grant{font-size:var(--step--1);color:var(--graphite);flex-wrap:wrap;align-items:baseline;gap:.25rem .75rem;display:flex}.stage__grant code{font-size:inherit}.stage__verdict{color:var(--graphite)}.js .stage__verdict[data-allowed=false]{color:var(--denied)}.js .stage__verdict[data-allowed=true]{color:var(--allowed-ink)}.stage__heading{max-width:18ch;font-size:var(--step-2);transition:color .6s var(--ease-out);line-height:1.05}.js .stage[data-granted=false] .stage__heading{color:var(--graphite)}.stage__body{gap:1.25rem;min-width:0;display:grid}.stage__sentinel{height:1px;display:block}.hero{gap:2rem;padding-top:clamp(3rem,8vw,6rem)}.hero__heading{font-size:var(--step-3);letter-spacing:-.025em;max-width:11ch;font-style:italic;line-height:.92}.hero__lede{font-size:var(--step-1);max-width:40ch;line-height:1.5}.hero__tour{max-width:52ch;color:var(--graphite);font-size:var(--step--1)}.code-block{border:1px solid var(--line);border-radius:var(--radius-code);background:var(--ink-raised);font-size:var(--step--1);margin:0;padding:1.1rem 1.25rem;line-height:1.65;overflow-x:auto}.code-block code{font-size:inherit}.hosting{grid-template-columns:repeat(auto-fit,minmax(16rem,1fr));gap:2rem;display:grid}.hosting__option{border-top:1px solid var(--line-strong);align-content:start;gap:.75rem;padding-top:1rem;display:grid}.hosting__option h3{font-size:var(--step-1);font-style:italic}.join{border:1px solid var(--allowed-ink);background:var(--allowed-wash);border-radius:20px;gap:1.5rem;margin:clamp(5rem,12vw,9rem) 0 clamp(4rem,8vw,6rem);padding:clamp(2rem,5vw,3.5rem);display:grid}.join h2{font-size:var(--step-2);font-style:italic;line-height:1}@media (width<=60rem){.page{grid-template-columns:minmax(0,1fr)}.page__rail{z-index:10;padding:0;position:fixed;inset:auto 0 0}.stage{padding-left:1rem}}