:root{--casing:#e6e9e2;--casing-hi:#eef1ea;--ink:#141f1a;--muted:#5d6a63;--line:#cfd4cc;--screen:#0d1512;--screen-2:#111b17;--screen-line:#223229;--screen-ink:#d8e4de;--screen-muted:#7c8d85;--screen-dim:#3a4a42;--tok-keyword:#7aa2f7;--tok-fn:#c8b6ff;--tok-delimiter:#9fb0a8;--pulse:#19c37d;--pulse-deep:#0c7a52;--flag:#ff5d73;--flag-ink:#c42a45;--caution:#e0972b;--display:"Space Grotesk", system-ui, sans-serif;--sans:"IBM Plex Sans", system-ui, sans-serif;--mono:"IBM Plex Mono", ui-monospace, "SF Mono", Menlo, monospace;--shell:1120px;--radius:14px}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--casing);color:var(--ink);font-family:var(--sans);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0;font-size:16px;line-height:1.6}a{color:inherit}code{font-family:var(--mono);font-size:.9em}:focus-visible{outline:2px solid var(--pulse-deep);outline-offset:2px;border-radius:3px}.masthead{max-width:var(--shell);flex-wrap:wrap;align-items:center;gap:20px;margin:0 auto;padding:26px 24px 0;display:flex}.wordmark{font-family:var(--display);letter-spacing:-.02em;align-items:center;gap:10px;font-size:1.15rem;font-weight:700;text-decoration:none;display:inline-flex}.wordmark b{color:var(--pulse-deep);font-weight:700}.wordmark-mark{background:var(--screen);fill:none;width:26px;height:26px;stroke:var(--pulse);stroke-width:2.2px;stroke-linecap:round;stroke-linejoin:round;border-radius:6px;padding:3px}.spec-labels{flex-wrap:wrap;gap:6px;margin-left:4px;display:flex}.spec-labels span{font-family:var(--mono);letter-spacing:.04em;text-transform:uppercase;color:var(--muted);border:1px solid var(--line);border-radius:999px;padding:3px 9px;font-size:.66rem}.masthead-nav{gap:20px;margin-left:auto;font-size:.9rem;font-weight:500;display:flex}.masthead-nav a{color:var(--muted);text-decoration:none;transition:color .15s}.masthead-nav a:hover{color:var(--ink)}.hero{max-width:var(--shell);margin:0 auto;padding:54px 24px 30px}.eyebrow{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--pulse-deep);margin:0 0 14px;font-size:.72rem}.hero h1{font-family:var(--display);letter-spacing:-.035em;margin:0;font-size:clamp(2.4rem,6.2vw,4.4rem);font-weight:600;line-height:1.02}.lede{max-width:52ch;color:var(--muted);margin:22px 0 0;font-size:1.08rem}.instrument{max-width:var(--shell);margin:0 auto;padding:12px 24px 0}.bezel{background:linear-gradient(180deg, var(--casing-hi), var(--casing));border:1px solid var(--line);border-radius:var(--radius);padding:18px;box-shadow:inset 0 1px #fff9,0 22px 44px -30px #141f1a80}.panel-head{justify-content:space-between;align-items:center;gap:12px;min-height:24px;margin-bottom:8px;display:flex}.panel-label{font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);font-size:.7rem}.panel-meta{font-family:var(--mono);color:var(--muted);font-size:.72rem}.editor{background:var(--screen);border:1px solid var(--screen-line);border-radius:10px;position:relative;overflow:hidden}.editor-highlight,.editor-input{font-family:var(--mono);letter-spacing:0;white-space:pre-wrap;word-break:break-word;overflow-wrap:break-word;border:0;margin:0;padding:16px 18px;font-size:1.02rem;line-height:1.6}.editor-highlight{pointer-events:none;color:var(--screen-ink);min-height:1.6em;position:absolute;inset:0}.editor-input{resize:none;color:#0000;width:100%;caret-color:var(--pulse);background:0 0;display:block;position:relative;overflow:hidden}.editor-input::selection{background:#19c37d47}.editor-highlight mark{color:inherit;background:0 0;border-radius:2px;padding-bottom:1px}.editor-highlight mark.mk-error{-webkit-text-decoration:underline wavy var(--flag);text-decoration:underline wavy var(--flag);text-underline-offset:4px;background:#ff5d7324}.editor-highlight mark.mk-warning{-webkit-text-decoration:underline wavy var(--caution);text-decoration:underline wavy var(--caution);text-underline-offset:4px;background:#e0972b24}.chips{flex-wrap:wrap;gap:7px;margin-top:12px;display:flex}.chip{font-family:var(--mono);color:var(--ink);background:var(--casing-hi);border:1px solid var(--line);cursor:pointer;border-radius:7px;padding:5px 9px;font-size:.78rem;transition:border-color .15s,background .15s,transform 50ms}.chip:hover{border-color:var(--pulse-deep);background:#fff}.chip:active{transform:translateY(1px)}.readout{margin:16px 2px 18px}.trace{width:100%;height:40px;display:block}.trace-base{fill:none;stroke:var(--pulse-deep);stroke-width:2px;stroke-linecap:round;stroke-linejoin:round;opacity:.9;transition:stroke .2s}[data-state=error] .trace-base{stroke:var(--flag-ink)}[data-state=warn] .trace-base{stroke:var(--caution)}.readout-line{font-family:var(--mono);color:var(--pulse-deep);margin:4px 0 0;font-size:.82rem}[data-state=error] .readout-line{color:var(--flag-ink)}[data-state=warn] .readout-line{color:#a06a12}[data-state=idle] .readout-line{color:var(--muted)}.diags{flex-direction:column;gap:6px;min-height:43px;margin:12px 0 0;padding:0;list-style:none;display:flex}.diag{border-left:3px solid #0000;border-radius:8px;align-items:baseline;gap:10px;padding:9px 12px;font-size:.9rem;display:flex}.diag-error{border-left-color:var(--flag-ink);background:#c42a4512}.diag-warning{border-left-color:var(--caution);background:#e0972b17}.diag-code{color:var(--muted);background:var(--casing);border:1px solid var(--line);border-radius:5px;flex:none;padding:1px 6px;font-size:.72rem}.diag-msg{color:var(--ink)}.screens{grid-template-columns:1fr 1fr;gap:14px;display:grid}.screen{background:var(--screen);border:1px solid var(--screen-line);border-radius:10px;min-width:0;padding:12px 14px 14px}.screen .panel-head{margin-bottom:10px}.screen .panel-label,.screen .panel-meta{color:var(--screen-muted)}.resource{max-height:340px;font-family:var(--mono);color:var(--screen-ink);white-space:pre;margin:0;font-size:.82rem;line-height:1.55;overflow:auto}.tabs{gap:4px;display:flex}.tab{font-family:var(--mono);letter-spacing:.02em;color:var(--screen-muted);cursor:pointer;background:0 0;border:1px solid #0000;border-radius:7px;padding:5px 10px;font-size:.76rem;transition:color .15s,background .15s}.tab:hover{color:var(--screen-ink)}.tab[aria-selected=true]{color:var(--screen);background:var(--pulse);font-weight:500}.result{flex-direction:column;gap:6px;min-height:60px;max-height:340px;display:flex;overflow:auto}.result-row{background:var(--screen-2);border:1px solid var(--screen-line);border-radius:7px;align-items:baseline;gap:10px;padding:7px 10px;display:flex}.type-badge{font-family:var(--mono);letter-spacing:.03em;text-transform:uppercase;color:var(--pulse);border:1px solid #19c37d66;border-radius:5px;flex:none;padding:1px 6px;font-size:.66rem}.result .value{font-family:var(--mono);color:var(--screen-ink);word-break:break-word;font-size:.86rem}.result .empty{font-family:var(--mono);color:var(--screen-muted);margin:0;font-size:.84rem}.result.is-throw{border-radius:8px}.throw-head{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--flag);margin:0 0 4px;font-size:.72rem}.throw-head-caught{color:var(--pulse)}.throw-note{font-family:var(--mono);color:var(--screen-muted);margin:0 0 8px;font-size:.8rem;line-height:1.5}.throw-msg{font-family:var(--mono);color:var(--screen-ink);margin:0;font-size:.84rem}.tok-comment{color:var(--screen-muted);font-style:italic}.tok-string{color:var(--pulse)}.tok-keyword{color:var(--tok-keyword)}.tok-num{color:var(--caution)}.tok-fn{color:var(--tok-fn)}.proof{max-width:var(--shell);margin:0 auto;padding:64px 24px 20px}.proof-title{font-family:var(--display);letter-spacing:-.02em;margin:0 0 26px;font-size:1.5rem;font-weight:600}.proof-grid{grid-template-columns:repeat(3,1fr);gap:20px;margin-bottom:40px;display:grid}.proof-grid article{border-top:2px solid var(--ink);padding-top:14px}.proof-grid h3{font-family:var(--display);margin:0 0 8px;font-size:1.05rem;font-weight:600}.proof-grid p{color:var(--muted);margin:0;font-size:.94rem}.proof-grid code{color:var(--ink)}.layers{max-width:var(--shell);margin:0 auto;padding:30px 24px 20px}.layers-title{font-family:var(--display);letter-spacing:-.02em;margin:0 0 12px;font-size:1.5rem;font-weight:600}.layers-lede{max-width:62ch;color:var(--muted);margin:0 0 30px}.layer{border-top:1px solid var(--line);grid-template-columns:220px 1fr;gap:24px;padding:22px 0;display:grid}.layer:last-child{border-bottom:1px solid var(--line)}.layer-head{border-left:2px solid var(--pulse-deep);flex-direction:column;gap:4px;padding-left:14px;display:flex}.layer-late .layer-head{border-left-color:var(--caution)}.layer-when{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--pulse-deep);font-size:.72rem}.layer-late .layer-when{color:#a06a12}.layer-tool{font-family:var(--mono);color:var(--muted);font-size:.72rem}.layer-name{font-family:var(--display);margin:6px 0 0;font-size:1.15rem;font-weight:600}.layer-body{min-width:0}.layer-code{background:var(--screen);border:1px solid var(--screen-line);font-family:var(--mono);color:var(--screen-ink);border-radius:10px;margin:0 0 12px;padding:14px 16px;font-size:.82rem;line-height:1.6;overflow-x:auto}.layer-note{max-width:68ch;color:var(--muted);margin:0;font-size:.94rem}.layer-note code{color:var(--ink)}.colophon{max-width:var(--shell);border-top:1px solid var(--line);margin:40px auto 0;padding:40px 24px 60px}.colophon p{color:var(--muted);max-width:60ch;margin:0;font-size:.88rem}.colophon a{color:var(--pulse-deep)}.colophon .fine{margin-top:8px;font-size:.78rem}@media (max-width:760px){.screens{grid-template-columns:1fr}.proof-grid{grid-template-columns:1fr;gap:26px}.layer{grid-template-columns:1fr;gap:14px}.spec-labels{order:3;width:100%;margin-left:0}.masthead-nav{margin-left:auto}}@media (prefers-reduced-motion:reduce){*{transition-duration:.01ms!important}}.playground{background:var(--screen);border:1px solid var(--screen-line);border-radius:10px;margin-top:14px;padding:14px 16px 16px}.playground .panel-label{color:var(--screen-muted)}.pg-toolbar{align-items:center;gap:12px;margin-bottom:10px;display:flex}.pg-tabs{flex-wrap:wrap;flex:1;min-width:0}.pg-run{font-family:var(--mono);letter-spacing:.02em;color:var(--screen);background:var(--pulse);cursor:pointer;border:0;border-radius:7px;flex:none;padding:6px 14px;font-size:.76rem;font-weight:600;transition:background .15s,opacity .15s}.pg-run:hover{background:#2fd98f}.pg-run:disabled{opacity:.55;cursor:default}.pg-editor{border:1px solid var(--screen-line);border-radius:8px;height:420px;overflow:hidden}.pg-editor .monaco-editor,.pg-editor .monaco-editor-background,.pg-editor .monaco-editor .margin{background:var(--screen)}.pg-loading{font-family:var(--mono);color:var(--screen-muted);margin:0;padding:18px;font-size:.84rem}.pg-panel{flex-direction:column;gap:6px;margin-top:12px;display:flex}.pg-clean{font-family:var(--mono);color:var(--pulse);margin:0;font-size:.82rem}.pg-row{border-left:3px solid #0000;border-radius:8px;align-items:baseline;gap:10px;padding:8px 11px;font-size:.86rem;display:flex}.pg-out{border-left-color:var(--screen-line);background:#7c8d8517}.pg-out .pg-msg{color:var(--screen-muted)}.pg-out-throw,.pg-out-error{border-left-color:var(--flag);background:#ff5d7317}.pg-out-throw .pg-msg,.pg-out-error .pg-msg{color:var(--screen-ink)}.pg-problem-error{border-left-color:var(--flag);background:#ff5d7317}.pg-problem-warning{border-left-color:var(--caution);background:#e0972b1c}.pg-at{font-family:var(--mono);color:var(--screen-muted);border:1px solid var(--screen-line);border-radius:5px;flex:none;padding:1px 6px;font-size:.72rem}.pg-msg{white-space:pre-wrap;overflow-wrap:anywhere;min-width:0;font-family:var(--mono);color:var(--screen-ink);flex:1}