@layer reset{*,:before,:after{box-sizing:border-box}html{scroll-behavior:smooth}body,h1,h2,h3,p,dl,dd{margin:0}button,input{font:inherit}button,a{-webkit-tap-highlight-color:transparent}}@layer base{:root{color:#0b1b31;font-synthesis:none;text-rendering:optimizelegibility;--amber:#b65f00;--amber-soft:#fff0d5;--blue:#0a4bdf;--blue-dark:#0738a5;--blue-soft:#dce8ff;--ink:#0b1b31;--line:#c7d0dc;--line-strong:#91a2b7;--muted:#53657b;--paper:#f6f8fb;--paper-cool:#eff3f7;--white:#fff;--display:"Barlow Condensed", sans-serif;--mono:"Spline Sans Mono", monospace;background:#dfe6ed;font-family:Public Sans,sans-serif}body{background:var(--paper-cool);min-width:320px;min-height:100vh}button,a{color:inherit}button{cursor:pointer}button:focus-visible,a:focus-visible,input:focus-visible{outline-offset:3px;outline:3px solid #ffb13b}code,pre{font-family:var(--mono)}::selection{color:var(--white);background:var(--blue)}}@layer components{.site-shell{border-inline:1px solid var(--line);background:var(--paper);max-width:1680px;min-height:100vh;margin:0 auto;overflow:hidden}.site-header{z-index:10;border-bottom:1px solid var(--line);background:var(--white);grid-template-columns:34% 1fr auto;align-items:center;min-height:74px;padding:0 32px;display:grid;position:relative}.site-header:after{background:var(--line);content:"";width:1px;position:absolute;top:0;bottom:0;left:34%}.brand{width:fit-content;color:var(--blue);letter-spacing:-.03em;align-items:center;gap:10px;font-weight:740;text-decoration:none;display:inline-flex}.brand-mark{border:2px solid;width:25px;height:25px;display:block;position:relative}.brand-mark:before,.brand-mark:after,.brand-mark span{content:"";border:1px solid;position:absolute}.brand-mark:before{inset:4px -5px -5px 4px}.brand-mark:after{background:var(--white);width:5px;height:5px;top:4px;right:-5px}.brand-mark span{background:var(--white);width:5px;height:5px;bottom:-5px;left:4px}.site-header nav{justify-self:end;gap:32px;margin-right:32px;font-size:13px;display:flex}.site-header nav a,.github-link{color:#33465e;text-decoration:none;transition:color .16s}.site-header nav a:hover,.github-link:hover{color:var(--blue)}.github-link{justify-self:end;align-items:center;gap:8px;font-size:13px;font-weight:650;display:inline-flex}.github-link svg{fill:currentColor;width:18px}.hero-workbench{border-bottom:1px solid var(--line);grid-template-columns:34% 66%;min-height:552px;display:grid}.hero-copy{border-right:1px solid var(--line);background:var(--paper-cool);flex-direction:column;justify-content:center;align-items:flex-start;min-width:0;padding:42px 32px 36px;display:flex}.hero-copy h1{max-width:460px;font-family:var(--display);letter-spacing:-.03em;font-size:clamp(58px,4.35vw,68px);font-weight:650;line-height:.92}.hero-copy h1 span{white-space:nowrap}.hero-lede{color:#41556d;max-width:46ch;margin-top:24px;font-size:clamp(15px,1.15vw,17px);line-height:1.58}.hero-lede code{color:var(--ink);font-size:.86em;font-weight:600}.install-control{border:1px solid var(--line-strong);background:var(--white);border-radius:12px;grid-template-columns:minmax(0,1fr) auto;width:min(100%,500px);margin-top:26px;display:grid;overflow:hidden}.install-control code{text-overflow:ellipsis;white-space:nowrap;padding:17px 18px;font-size:12px;overflow:hidden}.install-control button{border:0;border-left:1px solid var(--line);color:var(--blue-dark);background:0 0;align-items:center;gap:7px;padding:0 16px;font-size:12px;font-weight:700;display:inline-flex}.install-control button:hover{background:var(--blue-soft)}.install-control svg,.code-proof button svg,.light-action svg{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.6px;width:15px}.hero-actions{flex-wrap:wrap;gap:12px;margin-top:18px;display:flex}.primary-action,.secondary-action{border-radius:12px;justify-content:center;align-items:center;gap:9px;min-height:50px;padding:0 20px;font-size:14px;font-weight:700;text-decoration:none;transition:background .16s,color .16s,transform .16s;display:inline-flex}.primary-action{color:var(--white);background:var(--blue);border:0;gap:24px}.primary-action:hover{background:var(--blue-dark);transform:translateY(-2px)}.primary-action svg,.closing-section a svg{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.7px;width:18px}.secondary-action{border:1px solid var(--line-strong);color:var(--ink);background:0 0}.secondary-action:hover{color:var(--blue-dark);background:var(--white)}.secondary-action svg{fill:currentColor;width:17px}.inspector-shell{border:1px solid var(--line-strong);background:var(--white);border-radius:16px;grid-template-rows:32px minmax(0,1fr) 56px;align-self:stretch;min-width:0;margin:0 22px 14px;animation:.72s cubic-bezier(.16,1,.3,1) both inspector-boot;display:grid;overflow:hidden}.instrument-toolbar,.controller-strip{border-bottom:1px solid var(--line);color:#40536a;min-height:32px;font-family:var(--mono);text-transform:uppercase;align-items:center;padding:0 14px;font-size:9px;display:flex}.instrument-toolbar{justify-content:space-between}.instrument-toolbar>div,.live-status{align-items:center;gap:8px;display:inline-flex}.instrument-mark{background:var(--blue);width:9px;height:9px;box-shadow:4px 4px 0 var(--blue-soft)}.live-status.is-hidden{color:var(--amber)}.inspector-grid{grid-template-columns:minmax(0,1fr) minmax(220px,244px);min-height:0;display:grid}.specimen-stage{border-right:1px solid var(--line);background:linear-gradient(#0b1b310d 1px, transparent 1px), var(--paper-cool);background-size:100% 44px;place-items:center;min-width:0;padding:26px 28px 20px;display:grid;position:relative;overflow:hidden}.stage-ruler{border-top:1px solid var(--line-strong);justify-content:space-between;display:flex;position:absolute;top:16px;left:18px;right:18px}.stage-ruler span{background:var(--line-strong);width:1px;height:8px}.specimen-card{z-index:1;background:var(--white);border-radius:14px;flex-direction:column;width:min(100%,610px);min-height:390px;padding:26px 28px;transition:filter .2s,opacity .2s,transform .2s;display:flex;position:relative;box-shadow:10px 14px 34px #0b1b3129}.specimen-card.is-destroyed{filter:none;opacity:1;transform:none}.specimen-card.is-hidden{filter:saturate(.92);opacity:.94;transform:translateY(3px)}.specimen-topline{color:var(--muted);font-family:var(--mono);text-transform:uppercase;justify-content:space-between;align-items:center;font-size:9px;display:flex}.specimen-topline span:last-child{width:28px;height:28px;color:var(--ink);place-items:center;font-family:sans-serif;font-size:20px;display:grid}.specimen-card h2{font-family:var(--display);letter-spacing:-.025em;margin-top:18px;font-size:clamp(36px,3vw,46px);font-weight:600;line-height:1}.specimen-card>p{max-width:46ch;color:var(--muted);margin-top:12px;font-size:13px;line-height:1.55}.specimen-card label{gap:8px;margin-top:20px;font-size:12px;font-weight:650;display:grid}.specimen-card input{border:1px solid var(--line-strong);width:100%;min-height:46px;color:var(--ink);background:#f7fafc;border-radius:8px;padding:0 13px;font-size:13px}.specimen-actions{justify-content:flex-end;align-items:center;gap:14px;margin-top:auto;padding-top:20px;font-size:12px;display:flex}.specimen-actions>span{color:var(--muted)}.specimen-actions button{min-height:42px;color:var(--white);background:var(--blue);border:0;border-radius:10px;padding:0 16px;font-weight:700}.specimen-actions button:hover{background:var(--blue-dark)}.preview-note{color:#4d6077;font-family:var(--mono);font-size:9px;position:absolute;bottom:8px;left:22px}.telemetry-panel{background:#f5f8fb;min-width:0;padding:16px 18px}.telemetry-heading{border-bottom:1px solid var(--line);color:var(--muted);font-family:var(--mono);text-transform:uppercase;justify-content:space-between;align-items:center;padding-bottom:12px;font-size:9px;display:flex}.telemetry-heading span:last-child{color:var(--blue);font-weight:700}.telemetry-panel dl>div{border-bottom:1px solid var(--line);padding:13px 0}.telemetry-panel dt{color:var(--muted);align-items:center;gap:7px;font-size:11px;display:flex}.telemetry-panel dd{overflow-wrap:anywhere;font-family:var(--mono);margin-top:8px;font-size:12px;font-weight:650}.telemetry-panel dd.is-preserved{color:var(--amber)}.status-dot{border-radius:50%;flex:none;width:7px;height:7px;display:inline-block}.status-dot.is-blue{background:var(--blue);box-shadow:0 2px 6px #0a4bdf47}.status-dot.is-amber{background:var(--amber);box-shadow:0 2px 6px #b65f003d}.status-dot.is-muted{background:#8696a8}.telemetry-note{color:#5a6c81;margin-top:14px;font-size:11px;line-height:1.55}.controller-strip{border-top:1px solid var(--line);border-bottom:0;justify-content:flex-end;gap:8px;min-height:56px}.controller-strip>span{color:var(--muted);margin-right:auto}.controller-strip button{border:1px solid var(--line-strong);min-height:32px;color:var(--ink);background:var(--white);font-family:var(--mono);border-radius:8px;padding:0 11px;font-size:10px}.controller-strip button:first-of-type{border-color:var(--blue);color:var(--white);background:var(--blue)}.controller-strip button:hover:not(:disabled){border-color:var(--blue);color:var(--blue-dark);background:var(--blue-soft)}.controller-strip button:first-of-type:hover{color:var(--white);background:var(--blue-dark)}.controller-strip button:disabled{cursor:not-allowed;opacity:.38}.proof-workbench{border-bottom:1px solid var(--line);background:var(--white);grid-template-columns:1fr 1fr;min-height:360px;display:grid}.event-trace,.code-proof{min-width:0;padding:22px 26px}.event-trace{border-right:1px solid var(--line)}.workbench-heading{justify-content:space-between;align-items:flex-start;gap:20px;margin-bottom:16px;display:flex}.workbench-heading h2{font-family:var(--display);letter-spacing:-.02em;font-size:clamp(28px,2.5vw,38px);font-weight:600;line-height:1}.workbench-heading p{color:var(--muted);margin-top:5px;font-size:11px;line-height:1.5}.workbench-heading>span{color:var(--muted);font-family:var(--mono);flex:none;padding-top:7px;font-size:10px}.trace-table{border-top:1px solid var(--line)}.trace-row{border-bottom:1px solid var(--line);color:#465970;grid-template-columns:38px minmax(82px,.7fr) minmax(150px,1.6fr) minmax(74px,auto);align-items:center;gap:12px;min-height:42px;font-size:11px;display:grid}.trace-header{min-height:30px;color:var(--muted);font-family:var(--mono);text-transform:uppercase;font-size:9px}.trace-row>span:first-child{color:#718196;font-family:var(--mono)}.trace-row code{color:var(--blue-dark);font-size:10px;font-weight:650}.trace-state{color:var(--muted);font-family:var(--mono);justify-self:end;font-size:9px}.trace-state.is-visible{color:var(--blue-dark)}.trace-state.is-hidden{color:var(--amber)}.code-proof{color:var(--ink);background:var(--white)}.code-proof .workbench-heading p{color:var(--muted)}.code-proof .workbench-heading button{border:1px solid var(--line-strong);min-height:36px;color:var(--blue-dark);background:0 0;border-radius:8px;align-items:center;gap:7px;padding:0 12px;font-size:11px;display:inline-flex}.code-proof .workbench-heading button:hover{border-color:var(--blue);color:var(--blue-dark);background:var(--blue-soft)}.code-proof pre{border:1px solid var(--line);min-height:258px;color:var(--ink);tab-size:2;background:#fbfcfe;border-radius:12px;margin:0;padding:18px;font-size:clamp(9px,.85vw,11px);line-height:1.65;overflow:auto}.lifecycle-section{border-bottom:1px solid var(--line);background:var(--paper);padding:clamp(76px,8vw,128px) clamp(28px,6vw,96px)}.lifecycle-intro{grid-template-columns:1.2fr .8fr;align-items:end;gap:56px;display:grid}.lifecycle-intro h2{max-width:760px;font-family:var(--display);letter-spacing:-.03em;text-wrap:balance;font-size:clamp(51px,6vw,88px);font-weight:630;line-height:.94}.lifecycle-intro p{max-width:55ch;color:var(--muted);font-size:17px;line-height:1.65}.lifecycle-flow{border-top:1px solid var(--line-strong);grid-template-columns:repeat(3,1fr);margin-top:70px;display:grid;position:relative}.lifecycle-flow article{min-height:285px;padding:38px 30px 24px 0;position:relative}.lifecycle-flow article+article{border-left:1px solid var(--line);padding-left:30px}.lifecycle-flow article>span{border:1px solid var(--blue);width:32px;height:32px;color:var(--white);background:var(--blue);font-family:var(--mono);border-radius:50%;place-items:center;font-size:10px;display:grid;position:absolute;top:-16px;left:0}.lifecycle-flow article+article>span{left:30px}.lifecycle-flow article:nth-child(2)>span{border-color:var(--amber);background:var(--amber)}.lifecycle-flow code{color:var(--blue-dark);margin-top:20px;font-size:12px;font-weight:700;display:inline-block}.lifecycle-flow article:nth-child(2) code{color:var(--amber)}.lifecycle-flow h3{font-family:var(--display);letter-spacing:-.02em;margin-top:42px;font-size:clamp(32px,3vw,44px);font-weight:600;line-height:1}.lifecycle-flow p{max-width:40ch;color:var(--muted);margin-top:15px;font-size:14px;line-height:1.65}.closing-section{color:var(--white);background:var(--blue);grid-template-columns:1.1fr .9fr;align-items:center;gap:48px;padding:clamp(66px,7vw,110px) clamp(28px,6vw,96px);display:grid}.closing-section h2{font-family:var(--display);letter-spacing:-.03em;font-size:clamp(51px,6vw,88px);font-weight:630;line-height:.94}.closing-section p{color:#d8e5ff;max-width:58ch;margin-top:18px;line-height:1.6}.closing-actions{flex-direction:column;align-items:flex-end;gap:12px;display:flex}.light-action,.closing-section a{border-radius:12px;justify-content:space-between;align-items:center;width:min(100%,420px);min-height:54px;padding:0 18px;font-weight:700;display:inline-flex}.light-action{color:var(--ink);background:var(--white);font-family:var(--mono);border:0;font-size:12px}.closing-section a{color:var(--white);border:1px solid #ffffff8c;text-decoration:none}.closing-section a:hover{background:#ffffff1a}footer{min-height:96px;color:var(--muted);background:var(--white);grid-template-columns:1fr auto 1fr;align-items:center;padding:0 clamp(22px,3.5vw,56px);font-size:12px;display:grid}footer>span{justify-self:end}.footer-brand{font-size:14px}.footer-brand .brand-mark{transform-origin:0;transform:scale(.82)}.modal-layer{z-index:100;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);opacity:0;pointer-events:none;background:#07183070;place-items:center;padding:24px;transition:opacity .19s;display:grid;position:fixed;inset:0;overflow-y:auto}.modal-layer[data-visible=true]{opacity:1;pointer-events:auto}.demo-modal{width:min(100%,580px);color:var(--ink);background:var(--white);border:0;border-radius:16px;padding:clamp(28px,4vw,48px);transition:transform .25s cubic-bezier(.16,1,.3,1);transform:translateY(16px)scale(.98);box-shadow:14px 20px 50px #05132647}.modal-layer[data-visible=true] .demo-modal{transform:translateY(0)scale(1)}.modal-topline{border-bottom:1px solid var(--line);color:var(--muted);font-family:var(--mono);text-transform:uppercase;justify-content:space-between;align-items:center;padding-bottom:18px;font-size:9px;display:flex}.modal-topline button{border:1px solid var(--line);width:36px;height:36px;color:var(--ink);background:0 0;border-radius:9px;place-items:center;display:grid}.modal-topline button:hover{border-color:var(--blue);color:var(--blue);background:var(--blue-soft)}.modal-topline svg{fill:none;stroke:currentColor;stroke-linecap:round;stroke-width:1.6px;width:16px}.modal-heading{grid-template-columns:auto 1fr;gap:20px;margin-top:30px;display:grid}.modal-index{color:var(--blue);font-family:var(--mono);padding-top:8px;font-size:10px}.modal-heading h2{font-family:var(--display);letter-spacing:-.025em;font-size:clamp(40px,6vw,58px);font-weight:600;line-height:.98}.modal-heading p{max-width:46ch;color:var(--muted);margin-top:12px;font-size:13px;line-height:1.55}.demo-modal>label{gap:9px;margin-top:30px;font-size:12px;font-weight:700;display:grid}.demo-modal>label input{border:1px solid var(--line-strong);width:100%;min-height:50px;color:var(--ink);background:#f8fafc;border-radius:9px;padding:0 14px}.demo-modal>label input:focus{border-color:var(--blue)}.modal-hint{color:#65400f;background:var(--amber-soft);border-radius:10px;grid-template-columns:auto 1fr;gap:12px;margin-top:18px;padding:15px;font-size:12px;line-height:1.5;display:grid}.modal-hint span{color:var(--amber);font-family:var(--mono);font-size:9px;font-weight:700}.modal-actions{justify-content:flex-end;align-items:center;gap:10px;margin-top:28px;display:flex}.modal-actions button{border-radius:10px;min-height:46px;padding:0 17px;font-size:13px;font-weight:700}.reset-button{border:1px solid var(--line-strong);color:var(--ink);background:0 0}.reset-button:hover{color:var(--blue-dark);background:var(--blue-soft)}.save-button{color:var(--white);background:var(--blue);border:0;align-items:center;gap:20px;display:inline-flex}.save-button:hover{background:var(--blue-dark)}@keyframes inspector-boot{0%{clip-path:inset(0 0 14%);filter:blur(5px);opacity:.72;transform:translateY(12px)}to{clip-path:inset(0);filter:blur();opacity:1;transform:translateY(0)}}}@layer responsive{@media (width<=1180px){.hero-workbench{grid-template-columns:34% 66%}.hero-copy{padding-inline:28px}.inspector-shell{margin-left:18px;margin-right:18px}.inspector-grid{grid-template-columns:minmax(0,1fr) minmax(190px,220px)}.specimen-stage{padding-inline:28px}}@media (width<=960px){.site-header{grid-template-columns:1fr auto}.site-header:after,.site-header nav{display:none}.hero-workbench{grid-template-columns:1fr;min-height:0}.hero-copy{border-right:0;border-bottom:1px solid var(--line);padding:56px 34px}.inspector-shell{grid-template-rows:42px minmax(0,1fr) 56px;justify-self:center;width:calc(100% - 48px);max-width:820px;min-height:590px;margin:24px}.inspector-grid{min-height:490px}.proof-workbench{grid-template-columns:1fr}.event-trace{border-right:0;border-bottom:1px solid var(--line)}.lifecycle-intro,.closing-section{grid-template-columns:1fr}.lifecycle-intro{align-items:start;gap:28px}.closing-actions{align-items:flex-start}}@media (width<=700px){.site-header{min-height:64px}.github-link span{display:none}.hero-copy{padding:40px 22px 28px}.hero-copy h1{margin-top:0;font-size:clamp(52px,16.5vw,68px);line-height:.88}.hero-copy h1 span{white-space:normal}.hero-lede{margin-top:22px;font-size:16px}.install-control{grid-template-columns:minmax(0,1fr) 48px;margin-top:28px}.install-control button{justify-content:center;padding:0}.install-control button span{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.hero-actions,.primary-action,.secondary-action{width:100%}.hero-actions{margin-top:12px}.secondary-action{display:none}.inspector-shell{grid-template-rows:42px auto auto;width:calc(100% - 24px);min-height:0;margin:12px}.instrument-toolbar{padding-inline:14px}.instrument-toolbar>div{max-width:180px}.inspector-grid{grid-template-columns:1fr;min-height:0}.specimen-stage{border-right:0;border-bottom:1px solid var(--line);min-height:440px;padding:54px 18px}.specimen-card{padding:24px}.telemetry-panel dl{grid-template-columns:1fr 1fr;column-gap:18px;display:grid}.controller-strip{grid-template-columns:repeat(3,1fr);padding:12px;display:grid}.controller-strip>span{grid-column:1/-1}.controller-strip button{width:100%;min-height:40px}.event-trace,.code-proof{padding:46px 20px}.workbench-heading{align-items:flex-end}.trace-header{display:none}.trace-row{grid-template-columns:28px minmax(76px,auto) 1fr;gap:10px;padding:14px 0}.trace-row>span:nth-child(3){grid-column:2/-1;font-size:10px}.trace-state{grid-area:1/3}.code-proof pre{min-height:0;padding:20px;font-size:9px}.lifecycle-section{padding:72px 22px}.lifecycle-intro h2,.closing-section h2{font-size:clamp(49px,15vw,70px)}.lifecycle-flow{border-top:0;border-left:1px solid var(--line-strong);grid-template-columns:1fr;margin-top:58px}.lifecycle-flow article,.lifecycle-flow article+article{border-top:0;border-left:0;min-height:0;padding:20px 0 48px 32px}.lifecycle-flow article>span,.lifecycle-flow article+article>span{top:16px;left:-16px}.lifecycle-flow h3{margin-top:28px}.closing-section{padding:72px 22px}.closing-actions,.light-action,.closing-section a{width:100%}footer{grid-template-columns:1fr auto;gap:18px;padding-block:24px}footer p{display:none}.modal-layer{align-items:end;padding:12px}.demo-modal{padding:26px 20px}.modal-heading{grid-template-columns:1fr;gap:8px}.modal-index{padding:0}.modal-actions{flex-direction:column-reverse;align-items:stretch}.modal-actions button{width:100%}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}}