@import "https://fonts.googleapis.com/css2?family=DM+Mono:wght@400;500&family=Manrope:wght@400;500;600;700&display=swap";:root{color:#e9edf7;font-synthesis:none;text-rendering:optimizelegibility;--ink:#e9edf7;--muted:#91a09d;--panel:#0d1917;--line:#263633;--acid:#bdff53;--cyan:#66e6d4;background:#07100f;font-family:Manrope,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{min-width:320px;min-height:100vh;margin:0}body.modal-open{overflow:hidden}button,a{font:inherit}main{background-color:#07100f;background-image:radial-gradient(circle at 78% 8%,#66e6d417,#0000 28rem),linear-gradient(#ffffff06 1px,#0000 1px),linear-gradient(90deg,#ffffff06 1px,#0000 1px),none;background-position:0 0,0 0,0 0,0 0;background-repeat:repeat,repeat,repeat,repeat;background-size:auto,42px 42px,42px 42px;background-attachment:scroll,scroll,scroll,scroll;background-origin:padding-box,padding-box,padding-box,padding-box;background-clip:border-box,border-box,border-box,border-box;min-height:100vh}.hero,.workspace,.system-strip,footer{padding-left:clamp(1.5rem,6vw,6.5rem);padding-right:clamp(1.5rem,6vw,6.5rem)}.hero{border-bottom:1px solid var(--line);min-height:68vh;padding-top:1.4rem;position:relative;overflow:hidden}nav{justify-content:space-between;align-items:center;display:flex}.nav-links{align-items:center;gap:1.5rem;display:flex}.nav-links a{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;font:.68rem DM Mono,monospace;text-decoration:none}.nav-links a:hover{color:var(--acid)}.wordmark{color:var(--ink);letter-spacing:-.03em;align-items:center;gap:.7rem;font-weight:700;text-decoration:none;display:flex}.mark{border:1px solid var(--acid);color:var(--acid);padding:.35rem;font:500 .72rem DM Mono,monospace}.build-status{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;font:.72rem DM Mono,monospace}.build-status i{background:var(--acid);width:.45rem;height:.45rem;box-shadow:0 0 14px var(--acid);border-radius:50%;margin-right:.55rem;display:inline-block}.hero-copy{z-index:1;max-width:890px;padding-top:clamp(5rem,11vh,8rem);position:relative}.eyebrow{color:var(--acid);text-transform:uppercase;letter-spacing:.15em;margin:0 0 1.25rem;font:500 .7rem DM Mono,monospace}h1{letter-spacing:-.065em;margin:0;font-size:clamp(3rem,7.5vw,7.25rem);font-weight:500;line-height:.94}h1 em{color:#0000;-webkit-text-stroke:1px #e9edf79e;font-style:normal}.lede{color:#b2bfbc;max-width:650px;margin:2rem 0 5rem;font-size:clamp(1rem,1.5vw,1.25rem);line-height:1.7}.signal{opacity:.5;width:24rem;height:24rem;position:absolute;bottom:-10rem;right:5vw}.signal span{inset:calc(var(--i,0) * 1.8rem);border:1px solid var(--cyan);border-radius:50%;position:absolute}.signal span:first-child{--i:0}.signal span:nth-child(2){--i:1}.signal span:nth-child(3){--i:2}.signal span:nth-child(4){--i:3}.signal span:nth-child(5){--i:4}.signal span:nth-child(6){--i:5;background:var(--cyan)}.workspace{flex-direction:column;padding-top:3rem;padding-bottom:7rem;display:flex}.lab-navigation{z-index:20;border-bottom:1px solid var(--line);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#07100ff0;justify-content:center;gap:clamp(.6rem,3vw,2.5rem);padding:.85rem clamp(1.5rem,6vw,6.5rem);position:sticky;top:0}.lab-navigation a{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;font:.64rem DM Mono,monospace;text-decoration:none}.lab-navigation a:hover,.lab-navigation a:focus-visible{color:var(--acid)}.workspace>.section-heading{order:1}.workspace>.scenario-grid{order:2}.workspace>.scenario-builder{order:4}.workspace.custom-result-active>.scenario-builder,.workspace>.run-panel{order:3}.workspace.custom-result-active>.run-panel{order:4}.workspace>.load-lab{order:5}.workspace>.load-report{order:6}.workspace>.load-comparison{order:7}.workspace>.run-history{order:8}#scenario-title,#builder-title,#load-lab-title,#history-title{scroll-margin-top:4rem}.control-center{border-bottom:1px solid var(--line);background:#0d1917eb;grid-template-columns:1.2fr .8fr 1fr;gap:2rem;padding:2rem clamp(1.5rem,6vw,6.5rem);display:grid}.control-center.read_only{border-color:#ffcd5b80}.control-center.expired{border-color:#ff9d8f80}.control-center h2{margin:0;font:500 1.6rem DM Mono,monospace}.control-center>div>p:last-child{color:var(--muted);margin:.65rem 0 0;line-height:1.5}.control-center dl{grid-template-columns:auto 1fr;align-content:center;gap:.5rem 1rem;margin:0;display:grid}.control-center dt{color:var(--cyan);text-transform:uppercase;font:.6rem DM Mono,monospace}.control-center dd{margin:0;font-size:.75rem}.dependency-health{grid-template-columns:repeat(3,1fr);align-content:center;gap:.5rem;display:grid}.dependency-health span{border:1px solid var(--line);color:var(--muted);text-transform:uppercase;padding:.65rem;font:.6rem DM Mono,monospace}.dependency-health i{background:#ff9d8f;border-radius:50%;width:.4rem;height:.4rem;margin-right:.4rem;display:inline-block}.dependency-health .up i{background:var(--acid);box-shadow:0 0 8px #bdff538c}.evidence-pipeline{border-top:1px solid var(--line);text-transform:uppercase;grid-column:1/-1;align-items:center;gap:1rem;padding-top:1rem;font:.62rem DM Mono,monospace;display:flex}.evidence-pipeline span{color:var(--muted)}.evidence-pipeline small{color:var(--muted);margin-left:auto}.evidence-pipeline i{background:#ff9d8f;border-radius:50%;width:.4rem;height:.4rem;margin-right:.4rem;display:inline-block}.evidence-pipeline.running i{background:var(--acid);box-shadow:0 0 8px #bdff538c}.owner-controls{border-top:1px solid var(--line);grid-column:1/-1;align-items:center;gap:1rem;padding-top:1rem;font:.62rem DM Mono,monospace;display:flex}.owner-controls span{color:var(--muted);margin-right:auto}.owner-controls a{color:var(--cyan);text-transform:uppercase;text-decoration:none}.section-heading{justify-content:space-between;align-items:end;gap:2rem;margin-bottom:2.5rem;display:flex}.section-heading h2{letter-spacing:-.04em;margin:0;font-size:clamp(1.8rem,3vw,3rem);font-weight:500}.section-heading>p{color:var(--muted);max-width:410px;margin:0;line-height:1.6}.scenario-grid{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(4,1fr);display:grid}.scenario-card{border-right:1px solid var(--line);border-bottom:1px solid var(--line);background:#0d1917b8;flex-direction:column;min-height:370px;padding:1.5rem;transition:background .2s,transform .2s;display:flex;position:relative}.scenario-card:hover{background:#12231f;transform:translateY(-3px)}.scenario-number{color:#50605d;font:.72rem DM Mono,monospace}.scenario-tag{color:var(--cyan);text-transform:uppercase;letter-spacing:.1em;border:1px solid #66e6d44d;align-self:flex-start;margin-top:4rem;padding:.35rem .55rem;font:.62rem DM Mono,monospace}.scenario-card h3{letter-spacing:-.035em;margin:1.2rem 0 .75rem;font-size:1.55rem}.scenario-card p{color:var(--muted);margin:0;line-height:1.6}.scenario-card button{border:0;border-top:1px solid var(--line);color:#63716e;text-align:left;cursor:not-allowed;background:0 0;justify-content:space-between;margin-top:auto;padding:1rem 0 0;display:flex}.scenario-card.active-card{background:linear-gradient(145deg,#bdff5314,#0d1917d9)}.scenario-card .run-button{color:var(--acid);cursor:pointer}.scenario-card .run-button:disabled{color:var(--muted);cursor:wait}.scenario-builder{background:linear-gradient(135deg,#66e6d412,#0d1917d9);border:1px solid #66e6d459;grid-template-columns:1fr 1.2fr;gap:2rem 4rem;margin-top:3rem;padding:clamp(1.5rem,4vw,3rem);display:grid}.builder-copy h2{letter-spacing:-.05em;margin:0;font-size:clamp(2rem,4vw,3.6rem);font-weight:500}.builder-copy>p:last-child{color:var(--muted);line-height:1.7}.builder-controls{gap:1.2rem;display:grid}.builder-controls label{color:var(--cyan);text-transform:uppercase;letter-spacing:.08em;font:.65rem DM Mono,monospace}.builder-controls select{width:100%;color:var(--ink);border:1px solid var(--line);text-transform:none;background:#0d1917;margin-top:.55rem;padding:.9rem;font:.82rem Manrope,sans-serif;display:block}.builder-invariant{background:#bdff530a;border:1px solid #bdff534d;grid-column:1/-1;padding:1rem}.builder-invariant span,.plan-verdict span{color:var(--acid);text-transform:uppercase;letter-spacing:.08em;font:.6rem DM Mono,monospace;display:block}.builder-invariant strong{margin-top:.5rem;font-weight:500;display:block}.builder-run{color:#07100f;background:var(--acid);cursor:pointer;text-transform:uppercase;border:0;grid-column:1/-1;padding:1rem;font:.72rem DM Mono,monospace}.builder-run:disabled{opacity:.5;cursor:wait}.load-lab{background:radial-gradient(circle at 100% 0,#bdff5317,#0000 42%),#07100fd1;border:1px solid #bdff5359;margin-top:3rem;padding:clamp(1.5rem,4vw,3rem)}.load-lab-copy{grid-template-columns:1fr 1.2fr;gap:2rem 4rem;display:grid}.load-lab-copy h2{letter-spacing:-.05em;grid-column:1;margin:0;font-size:clamp(2rem,4vw,3.6rem);font-weight:500}.load-lab-copy>p:last-child{color:var(--muted);grid-area:1/2/3;align-self:end;margin:0;line-height:1.7}.load-controls{grid-template-columns:repeat(4,1fr);gap:1rem;margin-top:2rem;display:grid}.load-controls label{color:var(--acid);text-transform:uppercase;letter-spacing:.08em;font:.65rem DM Mono,monospace}.load-controls select{width:100%;color:var(--ink);border:1px solid var(--line);background:#0d1917;margin-top:.55rem;padding:.9rem;font:.78rem Manrope,sans-serif;display:block}.load-safety{border:1px solid var(--line);color:var(--muted);justify-content:space-between;gap:1rem;margin:1.4rem 0;padding:.9rem 1rem;font-size:.78rem;display:flex}.load-safety strong{color:var(--cyan);text-transform:uppercase;font:.68rem DM Mono,monospace}.load-actions{flex-wrap:wrap;align-items:center;gap:.8rem;display:flex}.comparison-run{border:1px solid var(--cyan);color:var(--cyan);text-transform:uppercase;cursor:pointer;background:0 0;padding:1rem 1.25rem;font:.7rem DM Mono,monospace}.comparison-run:disabled{opacity:.45;cursor:not-allowed}.impact-run{border-color:var(--acid);color:var(--acid)}.comparison-progress{color:var(--cyan);font:.72rem DM Mono,monospace}.load-report{border:1px solid var(--line);background:#0d1917e6;margin-top:1.5rem;padding:clamp(1.5rem,4vw,3rem);scroll-margin-top:1rem}.load-report.proved{border-color:#bdff5399}.load-report.failed{border-color:#ff7165b3}.load-report-heading{justify-content:space-between;align-items:end;gap:2rem;display:flex}.load-report-heading h2{color:var(--acid);margin:0;font-size:2.4rem;font-weight:500}.load-report-heading code{color:var(--cyan);font-size:.68rem}.load-report-actions{flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:.65rem;display:flex}.load-report-actions button,.load-report-actions a{border:1px solid var(--line);color:var(--cyan);cursor:pointer;background:0 0;padding:.45rem .6rem;font:.6rem DM Mono,monospace;text-decoration:none}.load-result-link{color:var(--cyan);font:inherit;cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}.load-progress{border:1px solid var(--line);height:2.5rem;margin:1.5rem 0;position:relative;overflow:hidden}.load-progress span{background:#66e6d42e;transition:width .4s;position:absolute;inset:0 auto 0 0}.load-progress.launch-progress{margin-bottom:-.75rem}.load-progress.launch-progress span{background:#bdff5324}.load-stage-flow{grid-template-columns:1fr auto 1fr auto 1fr auto 1fr;align-items:center;gap:.8rem;margin:1.5rem 0;display:grid}.load-stage-flow>div{border:1px solid var(--line);min-height:4.2rem;padding:.8rem;position:relative;overflow:hidden}.load-stage-flow span,.load-stage-flow strong{z-index:1;display:block;position:relative}.load-stage-flow span{color:var(--muted);text-transform:uppercase;font:.58rem DM Mono,monospace}.load-stage-flow strong{margin-top:.35rem;font-size:1.25rem}.load-stage-flow i{background:var(--cyan);height:.3rem;transition:width .4s;position:absolute;inset:auto auto 0 0}.load-stage-flow b{color:var(--acid);font-weight:400}.phase-timing{border:1px solid var(--line);background:#66e6d406;grid-template-columns:repeat(4,1fr auto) 1fr;align-items:center;gap:.6rem;margin:-.25rem 0 1.5rem;padding:.8rem;display:grid}.phase-timing div{min-width:0}.phase-timing span,.phase-timing strong{font-family:DM Mono,monospace;display:block}.phase-timing span{color:var(--muted);text-transform:uppercase;font-size:.55rem}.phase-timing strong{color:var(--cyan);margin-top:.25rem;font-size:.82rem}.phase-timing b{color:var(--muted);font-weight:400}.broker-pressure{border:1px solid var(--line);background:#66e6d406;margin:-.8rem 0 1.5rem;padding:.85rem}.broker-pressure-heading{justify-content:space-between;align-items:end;gap:1rem;margin-bottom:.75rem;display:flex}.broker-pressure-heading span,.broker-pressure-heading strong,.broker-pressure-stages span,.broker-pressure-stages strong{font-family:DM Mono,monospace;display:block}.broker-pressure-heading span,.broker-pressure-stages span{color:var(--muted);text-transform:uppercase;font-size:.55rem}.broker-pressure-heading strong{color:var(--lime);margin-top:.2rem;font-size:.7rem}.broker-pressure-heading p,.broker-pressure-unavailable{color:var(--muted);margin:0;font-size:.7rem}.broker-pressure-stages{grid-template-columns:repeat(3,1fr auto) 1fr;align-items:center;gap:.6rem;display:grid}.broker-pressure-stages div{border-left:2px solid var(--cyan);background:#0000001f;min-width:0;padding:.55rem .65rem}.broker-pressure-stages strong{color:var(--text);margin-top:.25rem;font-size:1rem}.broker-pressure-stages b{color:var(--lime);font-weight:400}.stall-attribution{background:#aeff480a;border:1px solid #aeff484d;grid-template-columns:minmax(12rem,.8fr) auto 1.6fr;align-items:center;gap:1rem;margin:-.8rem 0 1.5rem;padding:.8rem;display:grid}.stall-attribution span,.stall-attribution strong{font-family:DM Mono,monospace;display:block}.stall-attribution span{color:var(--muted);text-transform:uppercase;font-size:.55rem}.stall-attribution strong{color:var(--lime);margin-top:.2rem;font-size:.82rem}.stall-attribution code{color:var(--cyan);white-space:nowrap}.stall-attribution p{color:var(--muted);margin:0;font-size:.72rem}.constraint-hypothesis{border:1px solid var(--line);background:#66e6d409;grid-template-columns:1fr 1fr auto;align-items:center;gap:1rem;margin:0 0 1rem;padding:.8rem;display:grid}.constraint-hypothesis span,.constraint-hypothesis strong{font-family:DM Mono,monospace;display:block}.constraint-hypothesis span{color:var(--muted);text-transform:uppercase;font-size:.55rem}.constraint-hypothesis strong{color:var(--cyan);text-transform:uppercase;margin-top:.2rem;font-size:.8rem}.constraint-hypothesis p{color:var(--muted);margin:0;font-size:.72rem}.constraint-hypothesis code{color:var(--lime)}.constraint-hypothesis.not_matched code{color:var(--orange)}.stall-cell{white-space:nowrap}.stall-cell small{color:var(--muted);margin-top:.2rem;display:block}.comparison-summary article em{color:var(--cyan);margin-top:.45rem;font-family:DM Mono,monospace;font-size:.58rem;font-style:normal;display:block}.load-comparison{border:1px solid var(--line);background:#0d1917b8;margin-top:1.5rem;padding:clamp(1.5rem,4vw,3rem)}.load-comparison h2{margin:.25rem 0 .6rem;font-size:clamp(1.7rem,4vw,2.8rem);font-weight:500}.load-comparison>div>p{max-width:72rem;color:var(--muted)}.load-comparison-table{margin-top:1.5rem;overflow-x:auto}.load-comparison table{border-collapse:collapse;width:100%;min-width:760px;font-family:DM Mono,monospace;font-size:.76rem}.load-comparison th,.load-comparison td{border-bottom:1px solid var(--line);text-align:left;white-space:nowrap;padding:.8rem}.load-comparison th{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;font-size:.6rem}.load-comparison td strong{color:var(--cyan);font-size:1.15rem}.comparison-status{color:var(--muted)}.comparison-status.proved{color:var(--acid)}.comparison-status.failed{color:var(--red)}.comparison-note{color:var(--muted);margin:1rem 0 0;font-size:.8rem}.comparison-summary{border-top:1px solid var(--line);margin-top:1.5rem;padding-top:1.5rem}.comparison-summary h3{font-weight:500}.comparison-summary>div{grid-template-columns:repeat(3,1fr);gap:1rem;display:grid}.comparison-summary article{border:1px solid var(--line);padding:1rem}.comparison-summary span,.comparison-summary small{color:var(--muted);font:.62rem/1.5 DM Mono,monospace;display:block}.comparison-summary strong{color:var(--acid);margin:.45rem 0;font-size:1.5rem;display:block}.impact-comparison{background:#0d1917d1;border:1px solid #bdff538c;margin-top:1.5rem;padding:clamp(1.5rem,4vw,3rem)}.impact-heading{justify-content:space-between;align-items:end;gap:1rem;display:flex}.impact-heading h2{margin:.25rem 0 .5rem;font-size:clamp(1.7rem,4vw,2.8rem);font-weight:500}.impact-heading>span{color:var(--acid);font:.72rem DM Mono,monospace}.impact-heading>span.not_matched{color:var(--orange)}.impact-comparison>p{max-width:70rem;color:var(--muted)}.impact-grid{grid-template-columns:repeat(4,1fr);gap:.8rem;margin-top:1.25rem;display:grid}.impact-grid article{border:1px solid var(--line);padding:1rem}.impact-grid span,.impact-grid small{color:var(--muted);text-transform:uppercase;font:.6rem/1.5 DM Mono,monospace;display:block}.impact-grid strong{color:var(--cyan);margin:.45rem 0;font-size:1rem;display:block}.impact-proof{color:var(--acid);background:#bdff530d;justify-content:space-between;gap:1rem;margin-top:.8rem;padding:1rem;font:.68rem/1.5 DM Mono,monospace;display:flex}.impact-proof span{color:var(--muted)}.load-progress strong{text-transform:uppercase;place-items:center;height:100%;font:.7rem DM Mono,monospace;display:grid;position:relative}.load-metrics{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);margin:0;display:grid}.load-metrics div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:1.1rem}.load-metrics dt{color:var(--muted);text-transform:uppercase;font:.6rem DM Mono,monospace}.load-metrics dd{color:var(--ink);margin:.45rem 0 0;font-size:1.25rem}.load-verdict{color:var(--acid);background:#bdff530d;padding:1rem;font:.7rem/1.6 DM Mono,monospace}.inspect-member{color:var(--cyan);cursor:pointer;background:0 0;border:0;padding:.8rem 0}.run-history{border:1px solid var(--line);background:#0d1917a6;margin-top:3rem}.history-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:end;gap:2rem;padding:1.5rem;display:flex}.history-heading h2{letter-spacing:-.04em;margin:0;font-size:clamp(1.5rem,3vw,2.4rem);font-weight:500}.history-heading>p{max-width:33rem;color:var(--muted);margin:0;line-height:1.6}.history-list{margin:0;padding:0;list-style:none}.history-list li{border-bottom:1px solid var(--line)}.history-list li:last-child{border-bottom:0}.history-list button{width:100%;color:var(--ink);text-align:left;cursor:pointer;background:0 0;border:0;grid-template-columns:1fr 1.4fr auto;align-items:center;gap:1rem;padding:1rem 1.5rem;display:grid}.history-list button:hover{background:#66e6d40f}.history-list strong,.history-list small{display:block}.history-list strong{color:var(--acid);font:.7rem DM Mono,monospace}.history-list small{color:var(--muted);margin-top:.35rem}.history-plan{color:#b2bfbc;text-transform:lowercase;font-size:.78rem}.history-list code{color:var(--cyan);font:.68rem DM Mono,monospace}.history-empty{color:var(--muted);margin:0;padding:1.5rem}.run-comparison{border-top:1px solid var(--line);padding:1.5rem}.comparison-controls{grid-template-columns:1fr auto 1fr;align-items:end;gap:1rem;display:grid}.comparison-controls label{color:var(--cyan);text-transform:uppercase;font:.62rem DM Mono,monospace}.comparison-controls select{border:1px solid var(--line);width:100%;color:var(--ink);background:#0d1917;margin-top:.45rem;padding:.7rem;display:block}.comparison-controls>span{color:var(--muted);text-transform:uppercase;padding-bottom:.75rem;font:.62rem DM Mono,monospace}.comparison-grid{grid-template-columns:1fr 1fr;gap:1rem;margin-top:1rem;display:grid}.comparison-grid article{border:1px solid #66e6d440;padding:1rem}.comparison-grid strong,.comparison-grid code{display:block}.comparison-grid strong{color:var(--acid)}.comparison-grid code{color:var(--muted);overflow-wrap:anywhere;margin-top:.4rem;font-size:.62rem}.comparison-grid dl{grid-template-columns:6rem 1fr;gap:.5rem;margin:1rem 0;font-size:.72rem;display:grid}.comparison-grid dt{color:var(--cyan);text-transform:uppercase;font:.62rem DM Mono,monospace}.comparison-grid dd{color:#b2bfbc;margin:0}.comparison-grid button{color:var(--acid);cursor:pointer;text-transform:uppercase;background:0 0;border:0;padding:0;font:.65rem DM Mono,monospace}.plan-verdict{border:1px solid var(--line);grid-template-columns:6rem 1fr;gap:.6rem 1rem;margin-top:1rem;padding:1rem;display:grid}.plan-verdict.proved{background:#bdff530a;border-color:#bdff5373}.plan-verdict p{color:var(--muted);margin:0}.evidence-report{border:1px solid var(--line);margin-top:1rem}.dead-letter-proof{background:#66e6d406;border:1px solid #66e6d466;margin-top:1rem}.dead-letter-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:1rem;padding:1rem;display:flex}.dead-letter-heading span{color:var(--cyan);text-transform:uppercase;font:.6rem DM Mono,monospace}.dead-letter-heading h3{color:var(--acid);margin:.25rem 0 0;font:500 1.15rem DM Mono,monospace}.dead-letter-heading code{color:var(--muted);overflow-wrap:anywhere;font:.62rem DM Mono,monospace}.dead-letter-proof dl{grid-template-columns:10rem 1fr;gap:.7rem 1rem;margin:0;padding:1rem;display:grid}.dead-letter-proof dt{color:var(--cyan);text-transform:uppercase;font:.6rem DM Mono,monospace}.dead-letter-proof dd{color:#b2bfbc;overflow-wrap:anywhere;margin:0}.dead-letter-proof dd code,.dead-letter-proof dd strong{color:var(--acid);font:.7rem DM Mono,monospace}.dead-letter-proof>p{border-top:1px solid var(--line);color:var(--muted);margin:0;padding:1rem;font-size:.75rem}.dead-letter-proof.not_found,.dead-letter-proof.unavailable{border-color:var(--line)}.consistency-proof{border:1px solid var(--line);grid-template-columns:1fr auto 1fr;align-items:center;gap:1rem;margin-top:1rem;padding:1rem;display:grid}.consistency-proof>div{flex-direction:column;gap:.35rem;display:flex}.consistency-proof span{color:var(--cyan);text-transform:uppercase;font:.58rem DM Mono,monospace}.consistency-proof strong{font:500 .9rem DM Mono,monospace}.consistency-proof b{color:var(--muted)}.consistency-proof p{color:var(--muted);grid-column:1/-1;margin:0;font-size:.72rem}.consistency-proof em{color:var(--acid);text-transform:uppercase;margin-right:.65rem;font:.6rem DM Mono,monospace}.consistency-proof.projection_behind{border-color:#ff9d8f8c}.consistency-proof.projection_behind em,.consistency-proof.source_unavailable em{color:#ff9d8f}.evidence-report.proved{border-color:#bdff5373}.evidence-report.failed{border-color:#ff9d8f80}.evidence-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:1rem;padding:1rem;display:flex}.evidence-heading span{color:var(--cyan);text-transform:uppercase;font:.6rem DM Mono,monospace}.evidence-heading h3{color:var(--acid);margin:.25rem 0 0;font:500 1.2rem DM Mono,monospace}.evidence-heading a{color:var(--cyan);text-transform:uppercase;font:.62rem DM Mono,monospace;text-decoration:none}.evidence-report ol{margin:0;padding:0;list-style:none}.evidence-report li{border-bottom:1px solid var(--line);grid-template-columns:1.2fr 1fr auto;align-items:center;gap:1rem;padding:.85rem 1rem;display:grid}.evidence-report li:last-child{border-bottom:0}.evidence-report li strong{font-size:.78rem}.evidence-report li span,.evidence-report li small{color:var(--muted);font:.62rem DM Mono,monospace}.evidence-report li small{color:var(--cyan)}.run-panel{border:1px solid var(--line);background:#07100fe0;margin-top:4rem;padding:clamp(1.25rem,3vw,2.5rem);scroll-margin-top:1.5rem}.run-panel:focus{outline-offset:3px;outline:1px solid #66e6d48c}.run-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:end;gap:1.5rem;padding-bottom:1.5rem;display:flex}.run-heading h2{margin:0;font-size:2rem;font-weight:500}.run-heading code{color:var(--muted);overflow-wrap:anywhere;font:.7rem DM Mono,monospace}.run-identifiers{justify-items:end;gap:.35rem;display:grid}.run-identifiers code:last-child{color:var(--acid);font-size:.68rem}.run-identifiers button{color:var(--cyan);cursor:pointer;text-transform:uppercase;background:0 0;border:1px solid #66e6d459;justify-self:end;padding:.4rem .6rem;font:.62rem DM Mono,monospace}.run-error{color:#ff9d8f;border:1px solid #ff9d8f4d;padding:.8rem 1rem}.invariant{color:var(--acid);background:#bdff530a;border:1px solid #bdff534d;justify-content:space-between;gap:1rem;margin-top:1rem;padding:1rem;font:.72rem DM Mono,monospace;display:flex}.timeline{margin:0;padding:0;list-style:none}.timeline li{border-bottom:1px solid var(--line);grid-template-columns:1rem 9rem 1fr auto;align-items:center;gap:1rem;min-height:7rem;display:grid}.timeline li:last-child{border-bottom:0}.timeline-dot{background:var(--cyan);width:.55rem;height:.55rem;box-shadow:0 0 12px var(--cyan);border-radius:50%}.timeline-meta strong,.timeline-meta time{display:block}.timeline-meta time{color:var(--muted);margin-top:.4rem;font:.62rem DM Mono,monospace}.timeline h3{letter-spacing:.02em;margin:0 0 .3rem;font-size:1rem}.timeline mark{color:#07100f;background:var(--acid);text-transform:uppercase;margin-left:.35rem;padding:.18rem .35rem;font:.55rem DM Mono,monospace}.timeline p{color:var(--muted);margin:0}.timeline a{color:var(--acid);font:.7rem DM Mono,monospace;text-decoration:none}.trace-evidence{text-align:right;max-width:18rem}.trace-evidence small{color:var(--muted);margin-top:.5rem;font:.58rem/1.5 DM Mono,monospace;display:block}.trace-evidence code{color:var(--cyan);overflow-wrap:anywhere}.timeline .waiting{color:var(--muted);padding:2rem 0;display:block}.system-strip{border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:#0a1513;padding-top:5rem;padding-bottom:5rem}.compact{margin-bottom:2rem}.transport{color:var(--muted);font:.7rem DM Mono,monospace}.service-row{border:1px solid var(--line);grid-template-columns:repeat(4,1fr);display:grid}.service{border-right:1px solid var(--line);align-items:center;gap:.9rem;padding:1.3rem;display:flex}.service:last-child{border-right:0}.service-state{background:var(--acid);border-radius:50%;width:.55rem;height:.55rem;box-shadow:0 0 12px #bdff538c}.service strong,.service small{display:block}.service strong{font-size:.88rem}.service small{color:var(--muted);margin-top:.2rem;font:.62rem DM Mono,monospace}footer{color:#66736f;text-transform:uppercase;letter-spacing:.08em;justify-content:space-between;padding-top:2rem;padding-bottom:2rem;font:.65rem DM Mono,monospace;display:flex}.tour-hero,.tour-section,.tour-cta{padding-left:clamp(1.5rem,6vw,6.5rem);padding-right:clamp(1.5rem,6vw,6.5rem)}.tour-hero{border-bottom:1px solid var(--line);min-height:92vh;padding-top:1.4rem}.tour-hero-grid{grid-template-columns:minmax(0,1.6fr) minmax(18rem,.55fr);align-items:end;gap:clamp(3rem,8vw,9rem);padding:clamp(6rem,13vh,10rem) 0 6rem;display:grid}.tour-hero-grid h1{font-size:clamp(3.5rem,7.5vw,7.5rem)}.tour-actions{flex-wrap:wrap;align-items:center;gap:1.5rem;display:flex}.tour-actions a{color:var(--cyan);text-transform:uppercase;letter-spacing:.06em;font:.7rem DM Mono,monospace;text-decoration:none}.tour-actions .primary-link{color:#07100f;background:var(--acid);padding:.9rem 1.1rem}.tour-facts{border:1px solid var(--line);background:#0d1917c7;grid-template-columns:auto 1fr;gap:.9rem 1.2rem;padding:1.5rem;display:grid}.tour-facts span{color:#66736f;text-transform:uppercase;font:.62rem DM Mono,monospace}.tour-facts strong{font-size:.78rem;font-weight:500}.tour-section{border-bottom:1px solid var(--line);padding-top:7rem;padding-bottom:7rem}.architecture-map{grid-template-columns:1fr .8fr 1.15fr;grid-template-areas:"workflow bus participants""console bus telemetry";gap:1rem;display:grid;position:relative}.architecture-node,.architecture-bus{border:1px solid var(--line);background:#0d1917cc;flex-direction:column;justify-content:center;min-height:10rem;padding:1.4rem;display:flex}.architecture-node small,.architecture-bus small{color:var(--cyan);text-transform:uppercase;letter-spacing:.1em;font:.6rem DM Mono,monospace}.architecture-node strong,.architecture-bus strong{margin:.55rem 0;font-size:1.35rem}.architecture-node span,.architecture-bus span{color:var(--muted);font-size:.75rem}.orchestrator{border-color:#bdff5373;grid-area:workflow}.architecture-bus{text-align:center;background:repeating-linear-gradient(-45deg,#66e6d40d,#66e6d40d 8px,#0000 8px 16px);grid-area:bus}.participant-stack{grid-area:participants;grid-template-columns:1fr 1fr;gap:1rem;display:grid}.console{grid-area:console}.telemetry{grid-area:telemetry}.tour-scenarios{background:#0a1513}.tour-scenario-grid{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(2,1fr);display:grid}.tour-scenario-grid article{border-right:1px solid var(--line);border-bottom:1px solid var(--line);flex-direction:column;min-height:20rem;padding:1.7rem;display:flex}.tour-scenario-grid h3{margin:1.2rem 0 .7rem;font-size:1.8rem}.tour-scenario-grid p{color:var(--muted);max-width:36rem;line-height:1.7}.tour-scenario-grid code{color:var(--acid);border-top:1px solid var(--line);margin-top:auto;padding-top:1rem;font:.68rem/1.6 DM Mono,monospace}.recordings{background:#0a1513}.recording-grid{grid-template-columns:repeat(3,1fr);gap:1rem;display:grid}.recording-grid figure{border:1px solid var(--line);background:#0d1917cc;margin:0}.recording-preview{border:0;border-bottom:1px solid var(--line);width:100%;color:var(--acid);cursor:zoom-in;text-align:left;background:0 0;padding:0;position:relative}.recording-preview img{aspect-ratio:16/9;object-fit:cover;width:100%;display:block}.recording-preview span{border:1px solid var(--line);text-transform:uppercase;background:#07100fe6;padding:.45rem .6rem;font:.6rem DM Mono,monospace;position:absolute;bottom:.7rem;right:.7rem}.recording-preview:hover span,.recording-preview:focus-visible span{color:#07100f;background:var(--acid)}.recording-grid figcaption{padding:1.2rem}.recording-grid figcaption strong{font-size:1rem}.recording-grid figcaption p{color:var(--muted);margin:.5rem 0 0;font-size:.78rem;line-height:1.6}.recording-modal{z-index:100;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);cursor:zoom-out;background:#020706f0;place-items:center;padding:2rem;display:grid;position:fixed;inset:0}.recording-modal-content{cursor:default;width:min(1280px,94vw);position:relative}.recording-modal-content img{object-fit:contain;border:1px solid var(--line);width:100%;max-height:88vh;display:block;box-shadow:0 1.5rem 5rem #00000080}.recording-close{z-index:1;color:var(--ink);border:1px solid var(--line);cursor:pointer;text-transform:uppercase;background:#07100ff0;padding:.55rem .75rem;font:.65rem DM Mono,monospace;position:absolute;top:.8rem;right:.8rem}.recording-close:hover,.recording-close:focus-visible{color:#07100f;background:var(--acid)}.resilience-results{background:radial-gradient(circle at 80% 20%,#66e6d412,#0000 28rem)}.result-grid{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);display:grid}.result-grid article{border-right:1px solid var(--line);border-bottom:1px solid var(--line);background:#0d1917a3;flex-direction:column;min-height:25rem;padding:1.6rem;display:flex}.result-grid article>span{color:var(--cyan);text-transform:uppercase;letter-spacing:.08em;font:.62rem DM Mono,monospace}.result-grid article>strong{color:var(--acid);letter-spacing:-.06em;margin-top:3.5rem;font-size:clamp(3rem,6vw,5.5rem);font-weight:500;line-height:.9}.result-grid article>small{color:var(--ink);text-transform:uppercase;margin-top:.8rem;font:.68rem DM Mono,monospace}.result-grid article p{color:var(--muted);margin:2rem 0;font-size:.82rem;line-height:1.7}.result-grid article a{color:var(--acid);margin-top:auto;font:.68rem DM Mono,monospace;text-decoration:none}.result-caveat{color:var(--muted);margin:1.5rem 0 0;font-size:.75rem;line-height:1.7}.result-caveat strong{color:var(--ink)}.proof-section{grid-template-columns:1fr 1fr;align-items:center;gap:clamp(3rem,10vw,10rem);display:grid}.proof-section h2,.guarantees h2,.tour-cta h2{letter-spacing:-.045em;margin:0 0 1.5rem;font-size:clamp(2rem,4vw,4rem);font-weight:500}.proof-section>div>p:last-child,.tour-cta>p{color:var(--muted);line-height:1.8}.proof-section ol{margin:0;padding:0;list-style:none}.proof-section li{border-bottom:1px solid var(--line);grid-template-columns:3rem 1fr;gap:1rem;padding:1.3rem 0;display:grid}.proof-section li>span{color:var(--acid);font:.7rem DM Mono,monospace}.proof-section li strong{font-size:1.1rem}.proof-section li p{color:var(--muted);margin:.35rem 0 0}.guarantees>div{border:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin-top:2.5rem;display:grid}.guarantees article{border-right:1px solid var(--line);padding:1.5rem}.guarantees article:last-child{border:0}.guarantees p{color:var(--muted);font-size:.82rem;line-height:1.65}.tour-cta{border-bottom:1px solid var(--line);background:linear-gradient(135deg,#bdff5312,#66e6d40a);padding-top:8rem;padding-bottom:8rem}.tour-cta>p{max-width:48rem}.tour-cta .tour-actions{margin-top:2rem}.lab-status{border:1px solid var(--line);width:fit-content;color:var(--muted);text-transform:uppercase;letter-spacing:.06em;margin:2rem 0 0;padding:.65rem .85rem;font:.65rem DM Mono,monospace}.lab-status i{background:#65716e;border-radius:50%;width:.48rem;height:.48rem;margin-right:.6rem;display:inline-block}.lab-status.online{color:var(--acid);border-color:#bdff5359}.lab-status.online i{background:var(--acid);box-shadow:0 0 10px #bdff53b3}.recording-page{background-color:#07100f;background-image:radial-gradient(circle at 85% 15%,#66e6d41f,#0000 28rem),linear-gradient(#ffffff06 1px,#0000 1px),linear-gradient(90deg,#ffffff06 1px,#0000 1px),none;background-position:0 0,0 0,0 0,0 0;background-repeat:repeat,repeat,repeat,repeat;background-size:auto,42px 42px,42px 42px;background-attachment:scroll,scroll,scroll,scroll;background-origin:padding-box,padding-box,padding-box,padding-box;background-clip:border-box,border-box,border-box,border-box;grid-template-rows:auto auto 1fr auto;width:1280px;height:720px;padding:1.6rem 3.5rem;display:grid;overflow:hidden}.recording-page>header{justify-content:space-between;align-items:center;display:flex}.recording-badge{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;font:.65rem DM Mono,monospace}.recording-badge i{background:#ff776b;border-radius:50%;width:.5rem;height:.5rem;margin-right:.6rem;display:inline-block;box-shadow:0 0 12px #ff776b}.recording-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:end;gap:3rem;padding:2.8rem 0 1.5rem;display:flex}.recording-heading h1{letter-spacing:-.05em;font-size:3.4rem;line-height:1}.recording-heading p:last-child{color:var(--muted);margin:.8rem 0 0}.recording-trace{text-align:right;max-width:22rem}.recording-trace small{color:var(--cyan);text-transform:uppercase;font:.6rem DM Mono,monospace;display:block}.recording-trace code{color:var(--muted);margin-top:.4rem;font:.65rem DM Mono,monospace;display:block}.recording-timeline{grid-template-columns:repeat(3,1fr);align-content:center;gap:.8rem;padding:1.2rem 0;display:grid}.recording-timeline article{border:1px solid var(--line);opacity:.7;background:#0d1917c7;grid-template-columns:2.2rem 1fr;gap:.8rem;min-height:9rem;padding:1rem;display:grid}.recording-timeline article.current{opacity:1;border-color:var(--acid);background:linear-gradient(140deg,#bdff531a,#0d1917e6)}.timeline-index{color:#586763;font:.65rem DM Mono,monospace}.recording-timeline small{color:var(--cyan);text-transform:uppercase;font:.58rem DM Mono,monospace}.recording-timeline h2{letter-spacing:.02em;margin:.35rem 0;font-size:1rem}.recording-timeline p{color:var(--muted);margin:0;font-size:.72rem;line-height:1.4}.recording-timeline code{color:var(--acid);grid-column:2;align-self:end;font:.56rem DM Mono,monospace}.recording-footer{border-top:1px solid var(--line);color:var(--acid);grid-template-columns:12rem 1fr auto;align-items:center;gap:1rem;padding:1rem 0 0;font:.62rem DM Mono,monospace;display:grid}.recording-progress{gap:.35rem;display:flex}.recording-progress i{background:var(--line);flex:1;height:3px}.recording-progress i.active{background:var(--acid);box-shadow:0 0 8px #bdff5380}@media (width<=850px){.scenario-grid{grid-template-columns:1fr}.control-center{grid-template-columns:1fr 1fr}.control-center>div:first-child,.owner-controls{grid-column:1/-1}.scenario-builder,.load-lab-copy{grid-template-columns:1fr}.load-lab-copy h2,.load-lab-copy>p:last-child{grid-area:auto/1}.load-controls{grid-template-columns:repeat(2,1fr)}.builder-invariant,.builder-run{grid-column:1}.scenario-card{min-height:310px}.service-row{grid-template-columns:1fr 1fr}.service:nth-child(2){border-right:0}.service:nth-child(-n+2){border-bottom:1px solid var(--line)}.section-heading,.history-heading{flex-direction:column;align-items:start}.evidence-report li{grid-template-columns:1fr 1fr}.evidence-report li small{grid-column:2}.history-list button{grid-template-columns:1fr auto}.history-plan{grid-area:2/1/auto/-1}.comparison-grid{grid-template-columns:1fr}.signal{right:-12rem}.timeline li{grid-template-columns:1rem 7rem 1fr;padding:1rem 0}.trace-evidence{grid-column:3}.tour-hero-grid,.proof-section{grid-template-columns:1fr}.architecture-map{grid-template-columns:1fr 1fr;grid-template-areas:"workflow bus""participants bus""console telemetry"}.participant-stack{grid-template-columns:1fr}.guarantees>div{grid-template-columns:1fr 1fr}.recording-grid,.result-grid{grid-template-columns:1fr}.result-grid article{min-height:20rem}.guarantees article:nth-child(2){border-right:0}.guarantees article:nth-child(-n+2){border-bottom:1px solid var(--line)}}@media (width<=520px){.lab-navigation{justify-content:flex-start;overflow-x:auto}.lab-navigation a{white-space:nowrap}.build-status{display:none}.control-center{grid-template-columns:1fr}.control-center>div:first-child,.owner-controls{grid-column:1}.owner-controls{flex-direction:column;align-items:start}.consistency-proof{grid-template-columns:1fr}.dead-letter-heading{flex-direction:column;align-items:flex-start}.dead-letter-proof dl{grid-template-columns:1fr}.consistency-proof b{display:none}.hero{min-height:620px}.hero-copy{padding-top:6rem}.service-row{grid-template-columns:1fr}.service{border-right:0;border-bottom:1px solid var(--line)}.service:last-child{border-bottom:0}footer{flex-direction:column;gap:.5rem}.run-heading{flex-direction:column;align-items:start}.run-identifiers{justify-items:start}.run-identifiers button{justify-self:start}.history-list button,.load-controls,.load-metrics,.load-stage-flow,.comparison-summary>div{grid-template-columns:1fr}.impact-grid{grid-template-columns:1fr 1fr}.impact-proof{display:block}.impact-proof span{margin-top:.4rem;display:block}.load-stage-flow b{display:none}.phase-timing{grid-template-columns:1fr 1fr}.phase-timing b{display:none}.broker-pressure-heading{display:block}.broker-pressure-heading p{margin-top:.4rem}.broker-pressure-stages{grid-template-columns:1fr 1fr}.broker-pressure-stages b{display:none}.stall-attribution,.constraint-hypothesis{grid-template-columns:1fr}.load-report-heading{align-items:start}.load-report-actions{justify-content:flex-start}.load-safety,.load-report-heading{flex-direction:column;align-items:start}.history-plan{grid-area:auto/1}.comparison-controls{grid-template-columns:1fr}.comparison-controls>span{padding:0}.invariant{flex-direction:column}.evidence-heading{flex-direction:column;align-items:start}.evidence-report li{grid-template-columns:1fr}.evidence-report li small{grid-column:1}.timeline li{grid-template-columns:1rem 1fr}.timeline-meta,.timeline li>div,.trace-evidence{grid-column:2}.trace-evidence{text-align:left}.nav-links{gap:.75rem}.tour-page .nav-links a:not(:last-child),.nav-links .build-status{display:none}.tour-hero{min-height:auto}.tour-hero-grid{padding-top:5rem}.tour-facts{grid-template-columns:1fr}.architecture-map{flex-direction:column;display:flex}.tour-scenario-grid,.guarantees>div{grid-template-columns:1fr}.recording-modal{padding:.5rem}.recording-modal-content{width:100%}.guarantees article{border-right:0;border-bottom:1px solid var(--line)}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}