@font-face{font-family:Departure Mono;src:url(/fonts/DepartureMono-Regular.otf)format("opentype");font-style:normal;font-weight:400;font-display:swap}:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark only;--paper:#222;--ink:#8e8e8e;--yellow:#ffc240;--frame:#666;--moss:#8a8a64;--rail-size:clamp(1.25rem,2.6vw,2.25rem);--cement:silver;--gutter:clamp(1rem,2.35vw,2.75rem);--intro-box-floor:calc(var(--gutter) + var(--rail-size) + clamp(.9rem,1.9dvh,1.5rem));font-family:Departure Mono,monospace}*{box-sizing:border-box}html{background:var(--paper);touch-action:pan-x pan-y;-moz-text-size-adjust:100%;text-size-adjust:100%;height:100%;margin:0;overflow:hidden}body{overscroll-behavior:none;background:var(--paper);height:100%;color:var(--ink);text-rendering:geometricPrecision;-webkit-touch-callout:none;-webkit-user-select:none;user-select:none;margin:0;font-family:Departure Mono,monospace;overflow:hidden}button,input,textarea,select{font:inherit}input,textarea,select,[contenteditable=true]{-webkit-user-select:text;user-select:text}img,svg,canvas{-webkit-user-drag:none;user-drag:none}button,label,input{-webkit-tap-highlight-color:transparent}::selection{background:var(--yellow);color:var(--paper)}.site-shell{isolation:isolate;background:var(--paper);touch-action:none;width:100%;height:100dvh;position:relative;overflow:hidden}.site-background,.three-scene,.pixel-wave{pointer-events:none;position:fixed;inset:0}.site-background{z-index:1;overflow:hidden}.three-scene{z-index:0}.pixel-wave{z-index:1;overflow:hidden}.pixel-wave__tile{position:absolute}.text-section{z-index:2;height:100%;padding:var(--gutter);position:relative}.terminal-frame{--dot-field-gap:clamp(.7rem,1.8dvh,1.25rem);--dot-field-top-height:clamp(2.5rem,13dvh,8rem);--dot-field-bottom-height:clamp(2rem,9dvh,5.5rem);width:min(52rem,calc(100vw - (var(--gutter)*3)));height:auto;margin:0;transition:transform .52s cubic-bezier(.22,0,.12,1),opacity .26s;position:absolute;top:45%;left:50%;transform:translate(-50%,-50%)}.char-frame{--frame-right-column:3;--frame-span:2/3;--frame-body-row:2;--frame-separator-row:3;--frame-footer-row:4;color:var(--frame);grid-template-rows:1em auto 1em;grid-template-columns:1ch minmax(0,1fr) 1ch;font-size:clamp(.7rem,.9vw,1rem);line-height:1;display:grid;position:relative}.char-frame--footer{grid-template-rows:1em auto 1em minmax(2.75rem,auto) 1em}.char-frame--header{--frame-right-column:5;--frame-span:2/5;--frame-body-row:4;--frame-separator-row:5;--frame-footer-row:6;grid-template-rows:1em auto 1em auto 1em;grid-template-columns:1ch minmax(0,1fr) 1ch minmax(0,1fr) 1ch}.char-frame--header.char-frame--footer{grid-template-rows:1em auto 1em auto 1em minmax(2.75rem,auto) 1em}.char-frame--lower-tabs{--frame-right-column:5;--frame-span:2/5;--frame-lower-tabs-top-row:3;--frame-lower-tabs-row:4;--frame-separator-row:5;--frame-footer-row:6;grid-template-rows:1em auto 1em auto 1em minmax(2.75rem,auto) 1em;grid-template-columns:1ch minmax(0,1fr) 1ch minmax(0,1fr) 1ch}.char-frame--header.char-frame--lower-tabs{--frame-body-row:4;--frame-lower-tabs-top-row:5;--frame-lower-tabs-row:6;--frame-separator-row:7;--frame-footer-row:8;grid-template-rows:1em auto 1em auto 1em auto 1em minmax(2.75rem,auto) 1em}.char-frame__corner,.char-frame__edge,.char-frame__junction,.char-frame__rule{-webkit-user-select:none;user-select:none;min-width:0;display:block;overflow:hidden}.char-frame__corner--tl{grid-area:1/1}.char-frame__corner--tr{grid-column:var(--frame-right-column);grid-row:1}.char-frame__corner--bl{grid-area:-2/1}.char-frame__corner--br{grid-column:var(--frame-right-column);grid-row:-2}.char-frame__edge--top,.char-frame__edge--bottom,.char-frame__edge--separator{grid-column:var(--frame-span);white-space:nowrap;width:100%}.char-frame__edge--top{grid-row:1}.char-frame__edge--bottom{grid-row:-2}.char-frame__edge--head-left,.char-frame__edge--head-right,.char-frame__edge--head-sep-left,.char-frame__edge--head-sep-right{white-space:nowrap;width:100%}.char-frame__edge--head-left,.char-frame__edge--head-sep-left{grid-column:2}.char-frame__edge--head-right,.char-frame__edge--head-sep-right{grid-column:4}.char-frame__edge--head-left,.char-frame__edge--head-right,.char-frame__junction--head-top{grid-row:1}.char-frame__junction--head-top,.char-frame__junction--head-bottom{grid-column:3}.char-frame__edge--head-sep-left,.char-frame__edge--head-sep-right,.char-frame__junction--head-bottom,.char-frame__junction--head-sep-left,.char-frame__junction--head-sep-right{grid-row:3}.char-frame__junction--head-sep-left{grid-column:1}.char-frame__junction--head-sep-right{grid-column:5}.char-frame__rule{contain:size;white-space:pre;background-image:linear-gradient(currentColor,currentColor);background-position:50%;background-repeat:no-repeat;background-size:1px 100%;height:100%;min-height:0}.char-frame__rule--head-left,.char-frame__rule--head-middle,.char-frame__rule--head-right,.char-frame__head-cell{grid-row:2}.char-frame__rule--head-left{grid-column:1}.char-frame__rule--head-middle{grid-column:3}.char-frame__rule--head-right{grid-column:5}.char-frame__head-cell--first{grid-column:2}.char-frame__head-cell--second{grid-column:4}.char-frame__edge--lower-tabs-top-left,.char-frame__edge--lower-tabs-top-right,.char-frame__edge--lower-tabs-bottom-left,.char-frame__edge--lower-tabs-bottom-right{white-space:nowrap;width:100%}.char-frame__edge--lower-tabs-top-left,.char-frame__edge--lower-tabs-bottom-left{grid-column:2}.char-frame__edge--lower-tabs-top-right,.char-frame__edge--lower-tabs-bottom-right{grid-column:4}.char-frame__junction--lower-tabs-top-left{grid-column:1}.char-frame__junction--lower-tabs-top-middle,.char-frame__junction--lower-tabs-bottom-middle{grid-column:3}.char-frame__junction--lower-tabs-top-right{grid-column:5}.char-frame__edge--lower-tabs-top-left,.char-frame__edge--lower-tabs-top-right,.char-frame__junction--lower-tabs-top-left,.char-frame__junction--lower-tabs-top-middle,.char-frame__junction--lower-tabs-top-right{grid-row:var(--frame-lower-tabs-top-row)}.char-frame__rule--lower-tabs-left,.char-frame__rule--lower-tabs-middle,.char-frame__rule--lower-tabs-right,.char-frame__lower-tab-cell{grid-row:var(--frame-lower-tabs-row)}.char-frame__rule--lower-tabs-left{grid-column:1}.char-frame__rule--lower-tabs-middle{grid-column:3}.char-frame__rule--lower-tabs-right{grid-column:5}.char-frame__lower-tab-cell{min-width:0}.char-frame__lower-tab-cell--first{grid-column:2}.char-frame__lower-tab-cell--second{grid-column:4}.char-frame__edge--lower-tabs-bottom-left,.char-frame__edge--lower-tabs-bottom-right,.char-frame__junction--lower-tabs-bottom-middle{grid-row:var(--frame-separator-row)}.char-frame__rule--body-left,.char-frame__rule--body-right{grid-row:var(--frame-body-row)}.char-frame__rule--body-left,.char-frame__rule--footer-left,.char-frame__junction--left{grid-column:1}.char-frame__rule--body-right,.char-frame__rule--footer-right,.char-frame__junction--right{grid-column:var(--frame-right-column)}.char-frame__junction--left,.char-frame__junction--right,.char-frame__edge--separator{grid-row:var(--frame-separator-row)}.char-frame__rule--footer-left,.char-frame__rule--footer-right{grid-row:var(--frame-footer-row)}.char-frame__body{grid-column:var(--frame-span);grid-row:var(--frame-body-row);min-width:0;position:relative}.char-frame__footer{grid-column:var(--frame-span);grid-row:var(--frame-footer-row);align-self:stretch;min-width:0;min-height:2.75rem}.dot-field{--dot-cell:7px;pointer-events:none;position:absolute;left:1ch;right:1ch;overflow:hidden}.dot-field__layer{letter-spacing:0;white-space:pre;transform:scale(var(--dot-scale,1));transform-origin:0 0;font-size:11px;line-height:7px;position:absolute;top:0;left:0}.dot-field__layer span{height:7px;display:block}.dot-field__layer--base{color:color-mix(in srgb,var(--frame)72%,transparent)}.dot-field__layer--lit{color:var(--yellow)}.dot-field--top{bottom:calc(100% + var(--dot-field-gap));height:var(--dot-field-top-height);border-radius:4rem;display:none;-webkit-mask:radial-gradient(#000,#000,#0000,#0000);mask:radial-gradient(#000,#000,#0000,#0000)}.dot-field--bottom{top:calc(100% + var(--dot-field-gap));height:var(--dot-field-bottom-height);border-radius:4rem;display:none;-webkit-mask:radial-gradient(#000,#000,#0000,#0000);mask:radial-gradient(#000,#000,#0000,#0000)}.section-copy{width:100%;min-width:0;height:auto;min-height:clamp(5.5rem,14vh,8rem);max-height:min(24rem,58dvh);color:var(--ink);text-align:left;white-space:pre-line;margin:0;padding:clamp(.8rem,2vw,1.5rem);font-size:clamp(.8rem,1.05vw,1.08rem);line-height:1.55;overflow:hidden}.section-copy--ontology{color:var(--yellow);letter-spacing:.025em;font-size:clamp(.68rem,.88vw,.9rem);line-height:1.8}.terminal-frame__send{z-index:2;color:var(--yellow);cursor:pointer;letter-spacing:.04em;text-transform:uppercase;touch-action:manipulation;background:0 0;border:0;margin:clamp(.72rem,1.6vw,1.15rem) clamp(.8rem,2vw,1.5rem) 0 0;padding:.2rem 0;font-size:clamp(.72rem,.9vw,.9rem);line-height:1;text-decoration:none;animation:.36s steps(4,end) both send-reveal;position:absolute;top:0;right:0}.terminal-frame__send:hover,.terminal-frame__send:focus-visible{color:var(--cement)}.terminal-frame__send:focus-visible{outline:1px solid var(--yellow);outline-offset:.25rem}.terminal-input{--terminal-input-size:max(16px,.82vw);min-width:0;min-height:2.75rem;color:var(--ink);touch-action:manipulation;grid-template-columns:auto minmax(0,1fr) auto auto;align-items:start;gap:.55em;padding:clamp(.62rem,1.2dvh,.78rem) clamp(.65rem,1.5vw,1.1rem);display:grid}.terminal-input__prompt{color:var(--yellow);font-size:var(--terminal-input-size);grid-column:1;padding-top:.08em;line-height:1.35}.terminal-input input,.terminal-input textarea{width:100%;min-width:0;min-height:1.35em;color:var(--cement);caret-color:#0000;font-size:var(--terminal-input-size);text-transform:none;background:0 0;border:0;outline:0;margin:0;padding:0;line-height:1.35;display:block}.terminal-input textarea{field-sizing:content;resize:none;white-space:pre-wrap;overflow-wrap:anywhere;max-height:min(8rem,22dvh);overflow:hidden auto}.terminal-input input:placeholder-shown,.terminal-input textarea:placeholder-shown{text-indent:1ch}.terminal-input input::placeholder,.terminal-input textarea::placeholder{color:color-mix(in srgb,var(--frame)78%,transparent);opacity:1}.terminal-input input:disabled,.terminal-input textarea:disabled{cursor:wait;opacity:.55}.terminal-input__field{grid-column:2;align-self:stretch;min-width:0;min-height:1.35em;display:flex;position:relative;overflow:hidden}.terminal-input__caret{transform:translate(calc((var(--caret-index)*1ch) - var(--caret-scroll)),-50%);color:var(--yellow);font-size:var(--terminal-input-size);pointer-events:none;position:absolute;top:50%;left:0}.terminal-input__field--multiline .terminal-input__caret{transform:translate(var(--caret-x),var(--caret-y));line-height:1.35;top:0}.terminal-input__status{max-width:14ch;color:var(--yellow);text-overflow:clip;white-space:nowrap;grid-column:4;align-self:start;padding-top:.32em;font-size:.68em;line-height:1.35;overflow:hidden}.terminal-input__proof{color:var(--frame);cursor:pointer;font:inherit;white-space:nowrap;background:0 0;border:0;grid-column:3;align-self:start;padding:.32em 0 0;font-size:.62em}.terminal-input__proof:hover:not(:disabled),.terminal-input__proof:focus-visible{color:var(--yellow);outline:0}.terminal-input__proof:disabled{cursor:wait;opacity:.45}.context-trace{color:var(--frame);margin:0 clamp(.8rem,2vw,1.5rem) clamp(.75rem,1.5vw,1.15rem);font-size:clamp(.56rem,.65vw,.68rem);line-height:1.45}.context-trace__summary,.context-trace__checks{flex-wrap:wrap;align-items:center;gap:.45em 1.1em;display:flex}.context-trace__summary:before{content:"["}.context-trace__summary:after{content:"]"}.context-trace__verdict,.context-trace--pass .context-trace__check--pass,.context-trace__toggle{color:var(--yellow)}.context-trace--reject .context-trace__verdict,.context-trace--unverified .context-trace__verdict,.context-trace__check--fail,.context-trace__check--unverified{color:var(--cement)}.context-trace__check--repair{color:var(--frame)}.context-trace__notice{border-left:1px solid color-mix(in srgb,var(--frame)55%,transparent);color:var(--cement);text-wrap:pretty;margin:.5em 0 0;padding-left:1ch}.context-trace__toggle{cursor:pointer;font:inherit;background:0 0;border:0;padding:0}.context-trace__detail{color:var(--ink);margin-top:.65em;padding-left:1ch}.context-trace__detail p,.context-trace__findings,.context-trace__reasoning,.context-trace__tools{margin:.35em 0 0}.context-trace__section-label{color:var(--frame);letter-spacing:.08em;margin-top:.8em!important}.context-trace__reasoning,.context-trace__tools{padding:0;list-style:none}.context-trace__reasoning li,.context-trace__tool>p{grid-template-columns:3ch minmax(0,1fr) auto;align-items:baseline;gap:1ch;display:grid}.context-trace__reasoning span,.context-trace__tool p span,.context-trace__tool strong{color:var(--yellow)}.context-trace__reasoning strong,.context-trace__reasoning i,.context-trace__tool strong,.context-trace__tool i{font:inherit}.context-trace__reasoning i,.context-trace__tool i{color:var(--cement);font-style:normal}.context-trace__tool{border-top:1px solid color-mix(in srgb,var(--frame)38%,transparent);padding:.45em 0}.context-trace__tool code,.context-trace__tool small{overflow-wrap:anywhere;font:inherit;margin-top:.25em;display:block}.context-trace__tool code{color:var(--cement)}.context-trace__tool-sources{flex-wrap:wrap;gap:.3em 1ch;margin-top:.35em;display:flex}.context-trace__tool-sources a,.context-trace__tool-sources>span{max-width:100%;color:var(--frame);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.context-trace__tool-sources a:hover{color:var(--yellow)}.ask-zoomer .context-trace{margin:.7rem 0 0}.home-terminal-stack .context-trace__detail{scrollbar-width:thin;max-height:min(24dvh,15rem);overflow-y:auto}.context-trace__path,.context-trace__profile{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.context-trace__stages{max-width:100%;color:var(--frame);scrollbar-width:none;white-space:nowrap;align-items:baseline;gap:.55ch;display:flex;overflow-x:auto}.context-trace__stages::-webkit-scrollbar{display:none}.context-trace__stage i{color:var(--frame);margin-right:.55ch;font-style:normal}.context-trace__stage--complete,.context-trace__stage--repaired{color:var(--yellow)}.context-trace__stage--deferred{color:var(--cement)}.context-trace__lens{gap:.2em 1ch;margin:.35em 0 0;display:grid}.context-trace__lens>div{grid-template-columns:minmax(0,14ch) minmax(0,1fr);align-items:baseline;gap:1ch;display:grid}.context-trace__lens dt{color:var(--frame)}.context-trace__lens dd{overflow-wrap:anywhere;color:var(--ink);margin:0}.context-trace__coverage{color:var(--cement)}.context-trace__findings{padding-left:2.5ch}.context-trace__findings li span{color:var(--yellow);margin-right:1ch}.home-terminal-stack{width:min(52rem,calc(100vw - (var(--gutter)*3)));flex-direction:column;align-items:center;transition:transform .52s cubic-bezier(.22,0,.12,1),opacity .26s;display:flex;position:absolute;top:45%;left:50%;transform:translate(-50%,-50%)}.home-terminal-stack--proof-open{transform:translate(calc(-50% - min(12vw,11rem)),-50%)}.home-terminal-stack .terminal-frame{width:100%;position:relative;top:auto;left:auto;transform:none}.home-terminal-stack--intro{width:min(44rem,calc(100vw - (var(--gutter)*3)));max-height:calc(100dvh - (var(--intro-box-floor)*2));top:50%;transform:translate(-50%,-50%)}.home-terminal-stack--intro .terminal-frame--ask{min-height:0}.home-terminal-stack--intro .char-frame__body{min-height:0;overflow:hidden}.home-terminal-stack--intro .ask-zoomer{overscroll-behavior:contain;scrollbar-width:thin;height:100%;overflow-y:auto}.ask-zoomer{min-height:clamp(8rem,21dvh,12rem);padding:clamp(.9rem,2.2vw,1.5rem)}.ask-zoomer__label{color:var(--yellow);letter-spacing:.08em;justify-content:space-between;align-items:center;gap:2ch;margin:0 0 clamp(.8rem,2dvh,1.25rem);font-size:clamp(.68rem,.82vw,.86rem);line-height:1;display:flex}.ask-zoomer__history{color:var(--concrete);letter-spacing:.045em;align-items:center;gap:.65ch;font-size:.82em;display:inline-flex}.ask-zoomer__history button{width:1.6em;color:var(--yellow);cursor:pointer;font:inherit;background:0 0;border:0;padding:0;line-height:1}.ask-zoomer__history button:hover,.ask-zoomer__history button:focus-visible{color:var(--cement);outline:1px solid var(--yellow);outline-offset:.18rem}.ask-zoomer__history button:disabled{color:var(--frame);cursor:default;opacity:.48;outline:none}.ask-zoomer__question{min-width:0;color:color-mix(in srgb,var(--cement)68%,transparent);letter-spacing:.035em;text-overflow:ellipsis;white-space:nowrap;gap:1ch;margin:0 0 clamp(.55rem,1.2dvh,.8rem);font-size:clamp(.52rem,.64vw,.66rem);line-height:1.35;display:flex;overflow:hidden}.ask-zoomer__question span{color:var(--yellow);flex:none}.ask-zoomer__answer{max-width:64ch;color:var(--cement);white-space:pre-line;margin:0;font-size:clamp(.74rem,.98vw,1rem);line-height:1.6}.ask-zoomer__examples,.ask-zoomer__context{border-top:1px solid color-mix(in srgb,var(--frame)72%,transparent);letter-spacing:.045em;align-items:center;gap:1ch;min-width:0;margin-top:clamp(.75rem,1.8dvh,1.1rem);padding-top:.62rem;font-size:clamp(.48rem,.58vw,.62rem);line-height:1.35;display:flex}.ask-zoomer__examples-label,.ask-zoomer__context-status{color:var(--yellow);flex:none}.ask-zoomer__examples-list,.ask-zoomer__sources{scrollbar-width:none;flex:1;gap:.5ch;min-width:0;display:flex;overflow-x:auto}.ask-zoomer__examples-list::-webkit-scrollbar{display:none}.ask-zoomer__sources::-webkit-scrollbar{display:none}.ask-zoomer__example,.ask-zoomer__source{border:1px solid color-mix(in srgb,var(--frame)78%,transparent);color:var(--concrete);font:inherit;letter-spacing:inherit;white-space:nowrap;background:0 0;flex:none;padding:.22rem .42rem;text-decoration:none}.ask-zoomer__example{cursor:pointer}.ask-zoomer__example:hover,.ask-zoomer__example:focus-visible,a.ask-zoomer__source:hover,a.ask-zoomer__source:focus-visible{border-color:var(--yellow);color:var(--yellow);outline:none}.home-focus-lane{flex:none;align-items:start;width:min(44rem,100%);display:grid}.home-focus-lane--wide{justify-items:center}.home-focus-lane--split{grid-template-columns:repeat(2,minmax(0,1fr));gap:clamp(.35rem,.8vw,.65rem);width:min(48rem,100%)}.home-focus-lane--left{justify-items:start}.home-focus-lane--right{justify-items:end}.home-focus{width:min(38rem,100%);color:var(--frame);background:0 0;flex:none;font-size:clamp(.62rem,.72vw,.76rem);animation:.42s steps(5,end) both home-focus-arrive}.home-focus-lane--split .home-focus{width:100%}.home-focus-lane--left .home-focus,.home-focus-lane--right .home-focus{width:min(29rem,72%)}.home-focus.char-frame--header{grid-template-rows:1em auto 1em auto 1em;grid-template-columns:1ch minmax(0,.85fr) 1ch minmax(0,1.45fr) 1ch}.home-focus__connector{width:2rem;height:clamp(1.35rem,2.5dvh,1.8rem);color:var(--yellow);white-space:pre;flex:none;justify-content:center;align-items:center;font-size:clamp(.8rem,1vw,1.05rem);line-height:1;display:flex}.home-focus__connector--split{letter-spacing:.08em;width:min(44rem,92%)}.home-focus__connector--left{justify-content:flex-end;align-self:flex-start;width:min(30rem,64%);padding-right:1.5rem}.home-focus__connector--right{justify-content:flex-start;align-self:flex-end;width:min(30rem,64%);padding-left:1.5rem}.home-focus__head,.home-focus__signal{letter-spacing:.05em;text-overflow:ellipsis;white-space:nowrap;width:100%;padding:.55rem .65rem;font-size:clamp(.48rem,.56vw,.58rem);display:block;overflow:hidden}.home-focus__head{color:var(--yellow)}.home-focus__signal{color:var(--frame);text-align:right}.home-focus__statement{min-width:0;color:var(--cement);text-align:center;white-space:nowrap;justify-content:center;align-items:baseline;gap:.55ch;margin:0;padding:.5rem .7rem .6rem;font-size:clamp(.54rem,.67vw,.68rem);display:flex;overflow:hidden}.home-focus-lane--split .home-focus__statement{gap:.4ch;padding-left:.5rem;padding-right:.5rem;font-size:clamp(.46rem,.56vw,.58rem)}.home-focus__item,.home-copy-link{appearance:none;color:var(--moss);cursor:crosshair;font:inherit;line-height:inherit;text-align:inherit;background:0 0;border:0;border-radius:0;padding:0;transition:color .14s,text-shadow .14s}.home-focus__item{letter-spacing:inherit;flex:none}.home-focus__separator{color:var(--frame);flex:none}.home-focus__item:hover,.home-focus__item:focus-visible,.home-focus__item--active,.home-copy-link:hover,.home-copy-link:focus-visible,.home-copy-link--active{color:var(--yellow);text-shadow:0 0 .65rem color-mix(in srgb,var(--yellow)28%,transparent);outline:0}.home-focus__item:focus-visible,.home-copy-link:focus-visible{text-underline-offset:.2em;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}@keyframes home-focus-arrive{0%{opacity:0;filter:blur(3px)}to{opacity:1;filter:blur()}}.home-proof{z-index:3;top:45%;right:var(--gutter);width:clamp(19rem,25vw,25rem);animation:.42s cubic-bezier(.22,0,.12,1) both proof-arrive;position:absolute;transform:translateY(-50%)}.home-proof__frame{background:var(--paper)}.home-proof__head,.home-proof__close{width:100%;color:var(--yellow);letter-spacing:.08em;padding:.75em .9em;font-size:clamp(.58rem,.72vw,.76rem);line-height:1;display:block}.home-proof__close{color:var(--frame);cursor:pointer;text-align:right;background:0 0;border:0}.home-proof__close:hover,.home-proof__close:focus-visible{color:var(--yellow);outline:0}.home-proof__body{max-height:min(59dvh,37rem);color:var(--ink);scrollbar-width:none;padding:.7rem .8rem .85rem;font-size:clamp(.58rem,.67vw,.72rem);line-height:1.45;overflow-y:auto}.home-proof__body::-webkit-scrollbar{display:none}.home-proof__views{border-bottom:1px solid var(--frame);grid-template-columns:repeat(3,minmax(0,1fr));margin:-.15rem -.15rem .8rem;display:grid}.home-proof__view{border:0;border-right:1px solid var(--frame);color:var(--frame);cursor:pointer;font:inherit;letter-spacing:.05em;background:0 0;padding:.55em .35em}.home-proof__view:last-child{border-right:0}.home-proof__view--active,.home-proof__view:hover,.home-proof__view:focus-visible{background:var(--yellow);color:var(--paper);outline:0}.home-proof__view-panel{animation:.28s cubic-bezier(.22,0,.12,1) both facet-arrive}.home-proof__tabs{gap:1.2ch;margin-bottom:.65rem;display:flex}.home-proof__tab{color:var(--frame);cursor:pointer;font:inherit;background:0 0;border:0;padding:0}.home-proof__tab--active,.home-proof__tab:hover,.home-proof__tab:focus-visible{color:var(--yellow);outline:0}.home-proof__pattern{animation:.32s cubic-bezier(.22,0,.12,1) both facet-arrive}.home-proof__title{color:var(--cement);letter-spacing:.05em;margin:0 0 .8em}.home-proof__chain{grid-template-columns:1fr;display:grid}.home-proof__chain p,.home-proof__ledger dd,.home-proof__ledger dt{margin:0}.home-proof__chain p span,.home-proof__ledger dt{color:var(--yellow);letter-spacing:.05em;margin-bottom:.25em;font-size:.88em;display:block}.home-proof__chain i{color:var(--yellow);margin:.25em 0 .25em 1ch;font-style:normal}.home-proof__ledger{background-image:linear-gradient(90deg,var(--frame)50%,transparent 50%);background-position:top;background-repeat:repeat-x;background-size:.9ch 1px;gap:.65em;margin:.9em 0 0;padding-top:.8em;display:grid}.home-proof__ledger dd{color:var(--frame)}.home-proof__module{background-image:linear-gradient(90deg,var(--frame)50%,transparent 50%);background-position:top;background-repeat:repeat-x;background-size:.9ch 1px;margin-top:.9em;padding-top:.75em}.home-proof__module-label{color:var(--yellow);letter-spacing:.05em;margin:0 0 .65em}.home-proof__claims{gap:.45em;margin:0;padding:0;list-style:none;display:grid}.home-proof__claims li{grid-template-columns:3.5ch minmax(0,1fr);gap:.8ch;display:grid}.home-proof__claims span{color:var(--moss)}.home-proof__guard{background-image:linear-gradient(90deg,var(--frame)50%,transparent 50%),linear-gradient(90deg,var(--frame)50%,transparent 50%);background-position:top,bottom;background-repeat:repeat-x;background-size:.9ch 1px;gap:.55em;margin:.85em 0;padding:.75em 0;display:grid}.home-proof__guard div{grid-template-columns:11ch minmax(0,1fr);gap:1ch;display:grid}.home-proof__guard dt,.home-proof__guard dd{margin:0}.home-proof__guard dt{color:var(--yellow)}.home-proof__relations{gap:.35em;display:grid}.home-proof__relations p{grid-template-columns:minmax(0,1fr) 1.1fr minmax(0,1fr);gap:.6ch;margin:0;display:grid}.home-proof__relations i{color:var(--yellow);text-align:center;font-style:normal}.home-proof__relations strong{color:var(--cement);text-align:right;font-weight:400}.home-proof__module summary,.workbench__business summary{color:var(--yellow);cursor:pointer;list-style:none}.home-proof__module summary::-webkit-details-marker{display:none}.workbench__business summary::-webkit-details-marker{display:none}.home-proof__matrix{gap:.3em;margin-top:.7em;display:grid}.home-proof__matrix p{justify-content:space-between;gap:1em;margin:0;display:flex}.home-proof__matrix strong{color:var(--cement);font-weight:400}.home-proof__spine{gap:.45em;margin:.75em 0 0;padding:0;list-style:none;display:grid}.home-proof__spine li{grid-template-columns:8ch minmax(0,1fr);gap:1ch;display:grid}.home-proof__spine li:not(:last-child):after{content:"↓";color:var(--yellow);text-align:center;grid-column:1}.home-proof__spine span{color:var(--cement)}.home-proof__live-run{background-image:linear-gradient(90deg,var(--frame)50%,transparent 50%);background-position:top;background-repeat:repeat-x;background-size:.9ch 1px;gap:.45em;margin-top:.9em;padding-top:.75em;display:grid}.home-proof__live-run p{margin:0}.home-proof__run-head{color:var(--cement);justify-content:space-between;display:flex}.home-proof__run-head strong{color:var(--yellow);font-weight:400}.home-proof__run-path{color:var(--moss);flex-wrap:wrap;gap:.25em .7ch;display:flex}.home-proof__no-run{background-image:linear-gradient(90deg,var(--frame)50%,transparent 50%);color:var(--cement);background-position:top;background-repeat:repeat-x;background-size:.9ch 1px;margin:.9em 0 0;padding-top:.75em}.home-proof__workbench-link{color:var(--yellow);margin-top:.8em;text-decoration:none;display:inline-block}@keyframes proof-arrive{0%{opacity:0;transform:translate(-.75rem,-50%)}to{opacity:1;transform:translateY(-50%)}}.visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.block-cursor{letter-spacing:0;line-height:1;display:inline-block;position:relative}.block-cursor__glyph{animation:var(--cursor-cycle,.72s)steps(1,end)infinite;opacity:0}.block-cursor__glyph--light,.block-cursor__glyph--medium{position:absolute;top:0;left:0}.block-cursor__glyph--light{animation-name:cursor-light}.block-cursor__glyph--medium{animation-name:cursor-medium}.block-cursor__glyph--solid{animation-name:cursor-solid}.block-cursor--type{vertical-align:.02em;--cursor-cycle:.62s;margin-left:.1em;font-size:.82em}.block-cursor--disintegrating .block-cursor__glyph{animation-duration:.62s;animation-iteration-count:1;animation-fill-mode:forwards}.block-cursor--disintegrating .block-cursor__glyph--light{animation-name:cursor-out-light}.block-cursor--disintegrating .block-cursor__glyph--medium{animation-name:cursor-out-medium}.block-cursor--disintegrating .block-cursor__glyph--solid{animation-name:cursor-out-solid}.links-stage{width:min(46rem,calc(100vw - (var(--gutter)*3)));position:absolute;top:45%;left:50%;transform:translate(-50%,-50%)}.link-lattice{flex-direction:column;width:100%;display:flex}.link-lattice__row{min-width:0;display:flex}.link-lattice__row--band{align-items:stretch}.link-lattice__mark{-webkit-user-select:none;user-select:none;flex:none}.link-lattice__edge{-webkit-user-select:none;user-select:none;white-space:nowrap;flex:1 1 0;min-width:0;overflow:hidden}.link-lattice__rule{contain:size;white-space:pre;-webkit-user-select:none;user-select:none;background-image:linear-gradient(currentColor,currentColor);background-position:50%;background-repeat:no-repeat;background-size:1px 100%;flex:none;width:1ch;min-height:0;overflow:hidden}.link-lattice__cell{min-width:0;color:var(--ink);flex-direction:column;flex:1 1 0;justify-content:center;align-items:center;gap:.45em;padding:clamp(1rem,3vw,1.9rem) .6rem;text-decoration:none;transition:color .18s,background-color .18s;animation:.42s cubic-bezier(.22,0,.12,1) both facet-arrive;display:flex;position:relative}.link-lattice__cell:hover,.link-lattice__cell:focus-visible{color:var(--cement)}.link-lattice__cell:focus-visible{outline:1px solid var(--yellow);outline-offset:-3px}.link-lattice__icon{color:var(--yellow);font-size:clamp(1.6rem,3.4vw,2.6rem);line-height:1}.link-lattice__word{letter-spacing:.14em;overflow-wrap:anywhere;text-align:center;max-width:100%;font-size:clamp(.62rem,.86vw,.9rem);line-height:1.3}.link-lattice__fizz{pointer-events:none;width:0;height:0;position:absolute;top:50%;left:50%}.link-lattice__spark{font-size:clamp(.7rem,1vw,1rem);line-height:1;animation-name:spark-fizz;animation-timing-function:cubic-bezier(.16,.7,.3,1);animation-fill-mode:both;position:absolute;top:0;left:0}@keyframes spark-fizz{0%{color:var(--yellow);opacity:0;transform:translate(-50%,-50%)}12%{opacity:1}55%{color:var(--yellow);opacity:.92}to{color:var(--frame);opacity:0;transform:translate(calc(-50% + var(--spark-x)),calc(-50% + var(--spark-y)))scale(.55)}}.link-lattice__label{min-width:0;color:var(--yellow);letter-spacing:.18em;flex:1 1 0;justify-content:space-between;align-items:center;gap:.8em;margin:0;padding:.7em .9em;font-size:clamp(.58rem,.78vw,.8rem);line-height:1;display:flex}.link-lattice__label-mark{flex:none;font-size:1.3em;line-height:1}@media (max-width:700px){.link-lattice__cell{gap:.35em;padding:.9rem .3rem}.link-lattice__word{letter-spacing:.06em;font-size:.55rem}}.site-view{display:contents}.site-view--hidden>*{visibility:hidden}.view-transit{z-index:2;pointer-events:none;transition:width .42s cubic-bezier(.4,0,.15,1),height .42s cubic-bezier(.4,0,.15,1);position:absolute;top:45%;left:50%;transform:translate(-50%,-50%)}.view-transit__frame{height:100%}.view-transit__void{height:100%;display:block}.view-transit__corner{--transit-inset:1.35em;z-index:1;width:1ch;height:1em;color:var(--yellow);font-size:clamp(.7rem,.95vw,1rem);line-height:1;position:absolute}.view-transit__corner--tl{top:var(--transit-inset);left:var(--transit-inset)}.view-transit__corner--tr{top:var(--transit-inset);right:var(--transit-inset)}.view-transit__corner--bl{bottom:var(--transit-inset);left:var(--transit-inset)}.view-transit__corner--br{bottom:var(--transit-inset);right:var(--transit-inset)}.view-transit__arrow{transition:opacity .2s;position:absolute;inset:0}.view-transit__arrow--out,.view-transit--pivot .view-transit__arrow--in,.view-transit--expanding .view-transit__arrow--in{opacity:0}.view-transit--expanding .view-transit__arrow--out{opacity:1}.workbench{--aside-width:clamp(20rem,32vw,32rem);--aside-gap:.4rem;--dot-field-gap:clamp(.7rem,1.8dvh,1.25rem);--dot-field-top-height:clamp(2.5rem,13dvh,8rem);--dot-field-bottom-height:clamp(2rem,9dvh,5.5rem);width:min(52rem,calc(100vw - (var(--gutter)*3)));max-height:calc(90dvh - (var(--gutter)*2));flex-direction:column;transition:transform .52s cubic-bezier(.22,0,.12,1);display:flex;position:absolute;top:45%;left:50%;transform:translate(-50%,-50%)}.workbench--expanded{max-height:calc(100dvh - (var(--gutter)*2));transform:translate(calc(-50% - ((var(--aside-width) + var(--aside-gap))/2)),-50%);top:50%}.workbench__stage{flex-direction:column;min-height:0;display:flex;position:relative}.workbench__panel{min-height:0}.workbench .char-frame__body{min-height:0;overflow:hidden}.workbench__source{color:var(--ink);scrollbar-width:none;max-height:min(56dvh,35rem);padding:clamp(.8rem,2vw,1.5rem);font-size:clamp(.8rem,1.05vw,1.08rem);line-height:1.55;overflow-y:auto;-webkit-mask:linear-gradient(#0000,#000 2rem calc(100% - 2rem),#0000);mask:linear-gradient(#0000,#000 2rem calc(100% - 2rem),#0000)}.workbench__source::-webkit-scrollbar{display:none}.workbench__source--loaded{height:min(56dvh,35rem);max-height:100%}.workbench__provenance-rule,.workbench__provenance-head{display:none}.workbench__provenance-body{min-width:0}.workbench__source-primary,.workbench__provenance{display:none}.workbench__source-primary--active,.workbench__provenance--active{display:block}.workbench__panel-tab{min-width:0;height:100%}.workbench__panel-tab-mark{flex:none;font-size:.86em}.workbench__source-label{min-width:0;color:var(--yellow);letter-spacing:.08em;text-overflow:ellipsis;white-space:nowrap;margin:0;font-size:.78em;overflow:hidden}.workbench__source-identity{min-width:0}.workbench__scenario-label{color:var(--cement);text-overflow:ellipsis;white-space:nowrap;margin:.3em 0 0;font-size:.62em;overflow:hidden}.workbench__source-body{white-space:pre-line;min-height:clamp(4.5rem,11vh,7rem);margin:0;display:block}.workbench__challenge{color:var(--cement);grid-template-columns:9ch minmax(0,1fr);gap:.25em 1ch;margin-top:.8em;font-size:.64em;display:grid}.workbench__challenge>span{color:var(--yellow)}.workbench__challenge p,.workbench__challenge small{margin:0}.workbench__challenge small{color:var(--frame);font:inherit;grid-column:2}.workbench__authority{color:var(--cement);cursor:pointer;flex-wrap:wrap;gap:.45em 1.2em;margin-top:.8em;font-size:.68em;list-style:none;display:flex}.workbench__authority::-webkit-details-marker{display:none}.workbench__authority span:nth-child(2){color:var(--moss)}.workbench__authority span:last-child{color:var(--yellow);margin-left:auto}.workbench__interpretation[open] .workbench__authority span:last-child{font-size:0}.workbench__interpretation[open] .workbench__authority span:last-child:after{content:"INSPECT -";font-size:.68rem}.workbench__interpretation-detail{color:var(--moss);gap:.45em;margin-top:.65em;font-size:.62em;display:grid}.workbench__interpretation-detail p{grid-template-columns:3ch minmax(0,1fr);margin:0;display:grid}.workbench__interpretation-detail p span{color:var(--yellow)}.workbench__interpretation-detail small{color:var(--frame);font:inherit;grid-column:2}.source-anatomy{color:var(--frame);margin-top:1em;font-size:.64em}.source-anatomy__head{color:var(--yellow);letter-spacing:.04em;justify-content:space-between;gap:1em;margin-bottom:.5em;display:flex}.source-anatomy__units{flex-direction:column;gap:.45em;height:auto;max-height:none;display:flex;overflow:visible}.source-anatomy__units::-webkit-scrollbar{display:none}.source-anatomy__group{grid-template-columns:minmax(8ch,.7fr) minmax(0,3fr);gap:.75ch;display:grid}.source-anatomy__group-label{color:var(--cement);text-overflow:ellipsis;white-space:nowrap;margin:0;overflow:hidden}.source-anatomy__group-units{grid-template-columns:repeat(3,minmax(0,1fr));gap:.25em .5em;min-width:0;display:grid}.source-anatomy__unit{min-width:0;color:inherit;cursor:crosshair;text-align:left;background:0 0;border:0;grid-template-columns:4ch minmax(0,1fr);gap:.5ch;padding:.1em 0;display:grid}.source-anatomy__unit span:last-child{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.source-anatomy__unit--active,.source-anatomy__unit:hover,.source-anatomy__unit:focus-visible{color:var(--yellow);outline:0}.source-anatomy__unit--heading>span:first-child,.source-anatomy__unit--list_item>span:first-child,.source-anatomy__unit--table_row>span:first-child{color:var(--moss)}.claim-bridge{color:var(--frame);margin-top:.85em;font-size:.62em}.claim-bridge__summary{flex-wrap:wrap;gap:.35em 1em;display:flex}.claim-bridge__summary span:first-child{color:var(--yellow)}.claim-bridge__route{color:var(--frame);text-overflow:ellipsis;white-space:nowrap;margin:.35em 0 0;overflow:hidden}.claim-bridge__route--active{color:var(--yellow)}.workbench__business{color:var(--frame);margin-top:.75em;font-size:.62em}.workbench__business dl{gap:.55em;margin:.65em 0 0;display:grid}.workbench__business dl div{grid-template-columns:12ch minmax(0,1fr);gap:1ch;display:grid}.workbench__business dt,.workbench__business dd{margin:0}.workbench__business dt{color:var(--yellow)}.workbench__business dd{color:var(--ink)}.workbench .context-trace{margin:.9em 0 0}.workbench__source-head{justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.75em;display:flex}.workbench__steps{flex:none;gap:.35em;display:flex}.workbench__step{color:var(--frame);cursor:pointer;font:inherit;background:0 0;border:0;padding:0 .15em;line-height:1;transition:color .18s}.workbench__step:hover:not(:disabled){color:var(--yellow)}.workbench__step:disabled{cursor:wait;opacity:.4}.workbench__aside{top:50%;left:calc(100% + var(--aside-gap));width:var(--aside-width);max-height:calc(100dvh - (var(--gutter)*3));scrollbar-width:none;padding:4rem 0;display:block;position:absolute;overflow:hidden auto;transform:translateY(-50%);-webkit-mask:linear-gradient(#0000,#000 2rem calc(100% - 2rem),#0000);mask:linear-gradient(#0000,#000 2rem calc(100% - 2rem),#0000)}.workbench__deck-head{display:none}.workbench__facet-track{flex-direction:column;gap:.5rem;display:flex}.workbench__aside::-webkit-scrollbar{display:none}.workbench__aside--deleting,.workbench__aside--collapsing{pointer-events:none}.workbench__row{align-items:center;gap:.4rem;animation:.42s cubic-bezier(.22,0,.12,1) both facet-arrive;display:flex}.workbench__arrow{color:var(--yellow);flex:none;font-size:clamp(.8rem,1vw,1.05rem);line-height:1}.workbench__arrow--down,.workbench__facet-route{display:none}.workbench__facet-frame{flex:1;min-width:0}.workbench__facet{color:var(--ink);padding:.6rem .7rem;font-size:clamp(.62rem,.72vw,.76rem);line-height:1.5}.workbench__facet-label{color:var(--yellow);letter-spacing:.06em;margin:0 0 .5em;font-size:.92em}.workbench__facet-body{flex-direction:column;gap:.25em;display:flex}.workbench__facet-line{color:inherit;cursor:crosshair;font:inherit;line-height:inherit;text-align:left;background:0 0;border:0;grid-template-columns:1ch minmax(0,1fr) auto;gap:.45ch;padding:0;animation:.36s cubic-bezier(.22,0,.12,1) both facet-arrive;display:grid}.workbench__facet-line--assumption{color:var(--moss)}.workbench__facet-line--unresolved{color:var(--frame)}.workbench__facet-line--active,.workbench__facet-line:hover,.workbench__facet-line:focus-visible{color:var(--yellow);outline:0}.workbench__facet-ref{color:var(--frame);white-space:nowrap;align-self:start;font-size:.82em}.workbench__aside--deleting .workbench__facet-ref{opacity:0;transition:opacity .18s .32s}.workbench__upload{color:var(--frame);cursor:pointer;white-space:nowrap;grid-column:3;align-self:start;padding-top:.32em;font-size:.62em}.workbench__upload:hover{color:var(--yellow)}.workbench__upload input{clip:rect(0 0 0 0);width:1px;height:1px;position:absolute;overflow:hidden}.workbench__disclosure{color:var(--frame);text-align:right;margin:.35em 1ch 0;font-size:clamp(.48rem,.56vw,.6rem)}.workbench__tab{width:100%;color:var(--frame);cursor:pointer;font:inherit;letter-spacing:.12em;text-align:left;background:0 0;border:0;justify-content:space-between;align-items:center;gap:.8em;padding:.75em .9em;font-size:clamp(.62rem,.78vw,.82rem);transition:color .18s;display:flex}.workbench__tab-mark{flex:none;font-size:1.25em;line-height:1}.workbench__tab:hover:not(:disabled){color:var(--cement)}.workbench__tab--active{color:var(--yellow)}.workbench__tab:disabled{cursor:wait}@keyframes facet-arrive{0%{opacity:0;transform:translate(-.75rem)}to{opacity:1;transform:translate(0)}}.workbench__aside--collapsing .workbench__row{transform-origin:0;animation-name:facet-depart;animation-duration:.4s;animation-timing-function:cubic-bezier(.58,0,.78,1);animation-fill-mode:both;overflow:hidden}@keyframes facet-depart{0%{opacity:1;max-height:24rem;transform:translate(0)scale(1)}to{opacity:0;max-height:0;transform:translate(-.75rem)scale(.86)}}@media (max-width:1240px){.workbench{max-height:calc(90dvh - (var(--gutter)*2) - (var(--rail-size)*2) - 1.8rem);scrollbar-width:none;transition:top .52s cubic-bezier(.22,0,.12,1),transform .52s cubic-bezier(.22,0,.12,1);top:45%;overflow-y:auto;transform:translate(-50%,-50%)}.workbench--expanded{top:calc(var(--gutter) + var(--rail-size) + .9rem);max-height:calc(100dvh - (var(--gutter)*2) - var(--rail-size) - .9rem);padding:3rem 0 4rem;transform:translate(-50%);-webkit-mask:linear-gradient(#0000,#000,#000,#000,#000,#000,#000,#000,#0000);mask:linear-gradient(#0000,#000,#000,#000,#000,#000,#000,#000,#0000)}.workbench::-webkit-scrollbar{display:none}.workbench__aside{width:100%;max-height:none;margin-top:.5rem;padding:0;position:static;overflow:visible;transform:none;-webkit-mask:none;mask:none}.workbench__facet-track{flex-direction:row;align-items:stretch;gap:.4rem}.workbench__row{flex-direction:column;flex:1 1 0;align-items:stretch;gap:.2rem;min-width:0}.workbench__arrow{align-self:center}.workbench__arrow--side{display:none}.workbench__arrow--down{display:block}.workbench__facet{padding:.45rem .5rem;font-size:clamp(.5rem,1.35vw,.68rem);line-height:1.45}.workbench__facet-label{letter-spacing:.02em;margin-bottom:.45em;font-size:.9em}}@media (max-width:1100px){.home-terminal-stack--proof-open{opacity:.08;pointer-events:none;transform:translate(-50%,-50%)}.home-proof{width:min(42rem,calc(100vw - (var(--gutter)*2)));left:50%;right:auto;transform:translate(-50%,-50%)}@keyframes proof-arrive{0%{opacity:0;transform:translate(calc(-50% - .75rem),-50%)}to{opacity:1;transform:translate(-50%,-50%)}}}@media (max-width:700px){.home-proof{top:47%}.home-proof__body{max-height:61dvh;padding:.6rem;font-size:.58rem}.terminal-input{grid-template-columns:auto minmax(0,1fr) auto}.terminal-input__field{grid-area:1/2/auto/4}.terminal-input__proof,.workbench__upload{grid-area:2/2;justify-self:start}.terminal-input__status{grid-area:2/3;justify-self:end}.terminal-input__proof{font-size:0}.terminal-input__proof:after{content:"PROOF +";font-size:.55rem}.terminal-input__proof[aria-expanded=true]:after{content:"PROOF -"}.home-focus{font-size:.58rem}.home-terminal-stack{width:calc(100vw - (var(--gutter)*2))}.ask-zoomer{min-height:clamp(7.5rem,19dvh,9.5rem);padding:.8rem}.ask-zoomer__answer{font-size:clamp(.66rem,2.5vw,.8rem);line-height:1.45}.ask-zoomer__label{margin-bottom:.68rem}.ask-zoomer__question{margin-bottom:.52rem;font-size:.48rem}.ask-zoomer__examples,.ask-zoomer__context{margin-top:.6rem;padding-top:.5rem;font-size:.46rem}.home-focus-lane--split{gap:.3rem}.home-focus-lane--left .home-focus,.home-focus-lane--right .home-focus{width:82%}.home-focus.char-frame--header{grid-template-columns:1ch minmax(0,.9fr) 1ch minmax(0,1.4fr) 1ch}.home-focus__head,.home-focus__signal{padding:.42rem .45rem;font-size:.43rem}.home-focus__statement{padding:.42rem .45rem .5rem;font-size:.48rem}.home-focus-lane--split .home-focus__head,.home-focus-lane--split .home-focus__signal{padding-left:.25rem;padding-right:.25rem;font-size:.37rem}.home-focus-lane--split .home-focus__signal{font-size:.34rem}.home-focus-lane--split .home-focus.char-frame--header{grid-template-columns:1ch minmax(0,1.1fr) 1ch minmax(0,1.2fr) 1ch}.home-focus-lane--split .home-focus__statement{padding-left:.3rem;padding-right:.3rem;font-size:.4rem}.source-anatomy__group{grid-template-columns:1fr;gap:.2em}.source-anatomy__group-units{grid-template-columns:repeat(2,minmax(0,1fr))}.workbench{width:calc(100vw - (var(--gutter)*2))}.workbench--expanded{padding:2.25rem 0 3.25rem}.workbench__stage{flex:none;min-height:auto}.workbench .char-frame__body{min-height:auto;overflow:visible}.workbench__source{height:auto;max-height:none;padding:.65rem .7rem;font-size:.68rem;line-height:1.48;overflow:visible}.workbench__source-head{margin-bottom:.55em}.workbench__source-body{min-height:3.8rem}.workbench__challenge{grid-template-columns:8ch minmax(0,1fr);margin-top:.65em;font-size:.62em}.workbench__provenance{margin-top:.55rem}.workbench__provenance-rule{height:1em;color:var(--frame);white-space:nowrap;line-height:1;display:block;overflow:hidden}.workbench__provenance-head{color:var(--yellow);letter-spacing:.035em;justify-content:space-between;gap:1ch;margin:.25rem 0 .5rem;font-size:.52rem;display:flex}.workbench__provenance-head span:last-child{color:var(--frame);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.workbench__provenance-body{max-height:none;padding-right:0;overflow:visible}.workbench__panel-tab{padding:.55em .7em;font-size:.52rem}.source-anatomy{margin-top:0;font-size:.52rem}.source-anatomy__units{height:auto;max-height:none;overflow:visible}.claim-bridge,.workbench__business,.workbench .context-trace{font-size:.5rem}.workbench__facet{padding:.55rem .6rem .65rem;font-size:.56rem;line-height:1.45}.workbench__aside{margin-top:.65rem;display:block;-webkit-mask:none;mask:none}.workbench__deck-head{color:var(--yellow);letter-spacing:.05em;justify-content:space-between;align-items:center;gap:1ch;margin:0 1ch .45rem;font-size:.52rem;display:flex}.workbench__deck-controls{color:var(--frame);align-items:center;gap:.65ch;display:flex}.workbench__deck-controls button{color:var(--yellow);cursor:pointer;background:0 0;border:0;padding:0 .2em;font-family:inherit;font-size:1.25em;line-height:1}.workbench__deck-controls button:disabled{color:var(--frame);cursor:default;opacity:.45}.workbench__facet-track{overscroll-behavior-inline:contain;scroll-snap-type:inline mandatory;scrollbar-width:none;touch-action:pan-x;grid-auto-columns:calc(100% - 2.25rem);grid-auto-flow:column;align-items:stretch;gap:.65rem;padding:0 1ch .55rem;scroll-padding-inline:1ch;display:grid;overflow:auto hidden}.workbench__facet-track::-webkit-scrollbar{display:none}.workbench__row{scroll-snap-align:start;scroll-snap-stop:always;grid-template-rows:auto minmax(0,1fr);gap:.25rem;width:auto;min-width:0;display:grid}.workbench__arrow--down{display:none}.workbench__facet-route{color:var(--frame);letter-spacing:.04em;justify-content:space-between;align-items:baseline;padding:0 1ch;font-size:.5rem;display:flex}.workbench__facet-route span:last-child{color:var(--yellow)}.workbench__facet-frame{width:100%;height:100%}.workbench__facet-body{gap:.42em}.workbench__facet-line{grid-template-columns:1ch minmax(0,1fr);gap:.15em .5ch;padding:.12em 0}.workbench__facet-ref{grid-column:2;justify-self:start;font-size:.72em}.workbench__business dl div{grid-template-columns:1fr;gap:.15em}}.site-mark,.site-rail__icons{z-index:3;top:calc(var(--gutter) + .264em);font-size:var(--rail-size);line-height:1;position:absolute}.site-mark{left:calc(var(--gutter) + .309em);text-decoration:none}.site-rail__icons{right:calc(var(--gutter) + .4em);gap:.7em;display:flex}.site-mark,.rail-icon{color:var(--moss);font-family:inherit;font-weight:inherit;cursor:pointer;background:0 0;border:0;align-items:baseline;margin:0;padding:0;line-height:1;transition:color .2s;display:inline-flex}.rail-icon{font-size:inherit}.site-mark__rest{white-space:nowrap;width:0;transition:width .34s steps(5,end);display:inline-block;overflow:hidden}.site-mark:hover .site-mark__rest,.site-mark:focus-visible .site-mark__rest{width:5ch}.rail-icon:hover{color:color-mix(in srgb,var(--yellow)65%,var(--moss))}.rail-icon--active{color:var(--yellow)}.home-scroll-cue{z-index:3;right:var(--gutter);bottom:calc(var(--gutter) + .1em);color:var(--moss);cursor:pointer;background:0 0;border:0;flex-direction:column;align-items:center;margin:0;padding:0;font-family:inherit;font-size:clamp(.58rem,.68vw,.7rem);font-weight:400;line-height:1;transition:color .2s;display:flex;position:absolute}.home-scroll-cue__label{opacity:0;visibility:hidden;flex-direction:column;align-items:center;margin-bottom:1em;line-height:1.08;transition:opacity .16s,transform .24s;display:flex;transform:translateY(.45em)}.home-scroll-cue__label>span{height:1.08em;display:block}.home-scroll-cue__arrow{font-family:system-ui,sans-serif;font-size:1.35em;line-height:1;display:block}.home-scroll-cue:hover,.home-scroll-cue:focus-visible{color:var(--yellow);outline:0}.home-scroll-cue:hover .home-scroll-cue__label,.home-scroll-cue:focus-visible .home-scroll-cue__label{opacity:1;visibility:visible;transform:translateY(0)}.home-scroll-cue:disabled{cursor:default;opacity:.42}.morph-glyph{display:inline-block}.section-title{right:var(--gutter);bottom:calc(var(--gutter) + .1em);left:var(--gutter);letter-spacing:-.075em;overflow-wrap:normal;text-wrap:nowrap;white-space:nowrap;text-transform:uppercase;width:max-content;max-width:none;color:var(--yellow);margin:0;font-size:min(7.7vw,9.5rem,17vh);font-weight:400;line-height:.78;transition:transform .56s cubic-bezier(.22,0,.12,1),font-size .56s cubic-bezier(.22,0,.12,1),letter-spacing .56s cubic-bezier(.22,0,.12,1);position:absolute;transform:translate(0)}@media (max-width:700px){.section-copy{padding:.75rem;font-size:clamp(.65rem,2.65vw,.82rem);line-height:1.4}.terminal-frame{width:calc(100vw - (var(--gutter)*2));top:45%}}@media (max-height:640px){.terminal-frame,.home-terminal-stack{top:44%}.section-copy{font-size:.66rem;line-height:1.32}}@media (prefers-reduced-motion:reduce){.block-cursor:not(.block-cursor--disintegrating) .block-cursor__glyph{animation-duration:1.4s}.home-scroll-cue,.home-scroll-cue__label,.section-title{transition:none}}@keyframes cursor-light{0%{opacity:1}8%{opacity:0}58%{opacity:1}66%{opacity:0}}@keyframes cursor-medium{0%{opacity:0}8%{opacity:1}16%{opacity:0}50%{opacity:1}58%{opacity:0}}@keyframes cursor-solid{0%{opacity:0}16%{opacity:1}50%{opacity:0}}@keyframes send-reveal{0%{opacity:0}to{opacity:1}}@keyframes cursor-out-solid{0%{opacity:1}34%{opacity:0}}@keyframes cursor-out-medium{0%{opacity:0}34%{opacity:1}68%{opacity:0}}@keyframes cursor-out-light{0%{opacity:0}68%{opacity:1}to{opacity:0}}