:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--ink:#121814;--ink-soft:#3e4841;--muted:#6d776f;--paper:#f3f2e9;--paper-deep:#e8e7dc;--surface:#fffef7;--line:#12181424;--line-strong:#1218143d;--night:#111713;--night-soft:#1a221d;--lime:#c7f36b;--lime-dark:#557416;--green:#3c9b70;--green-soft:#d5f2e2;--amber:#d99028;--amber-soft:#fae8be;--red:#c95b52;--red-soft:#f6d8d3;--white:#fff;--shadow:0 24px 70px #1f28221f;--sans:Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--mono:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:5.5rem}body{background:var(--paper);min-width:320px;color:var(--ink);font-family:var(--sans);-webkit-font-smoothing:antialiased;margin:0;font-size:16px;line-height:1.6}a{color:inherit;text-decoration:none}button,a{-webkit-tap-highlight-color:transparent}button,input,textarea,select{font:inherit}::selection{background:var(--lime);color:var(--ink)}.shell{width:min(1180px,100% - 3rem);margin-inline:auto}.skip-link{z-index:999;background:var(--lime);color:var(--ink);border-radius:.4rem;padding:.7rem 1rem;font-weight:800;transition:transform .16s;position:fixed;top:.75rem;left:.75rem;transform:translateY(-180%)}.skip-link:focus{transform:translateY(0)}:focus-visible{outline:3px solid var(--amber);outline-offset:4px}.site-header{z-index:50;color:var(--white);-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);background:#111713e0;border-bottom:1px solid #ffffff1a;position:sticky;top:0}.header-inner{grid-template-columns:1fr auto 1fr;align-items:center;gap:1.5rem;min-height:4.5rem;display:grid}.brand{align-items:center;gap:.72rem;width:fit-content;display:inline-flex}.brand-mark{background:#ffffff0d;border:1px solid #ffffff42;border-radius:.44rem;grid-template-columns:repeat(3,.3rem);place-content:center;gap:.18rem;width:2rem;height:2rem;display:inline-grid}.brand-mark span{background:var(--lime);border-radius:999px;width:.3rem;height:.82rem}.brand-mark span:nth-child(2){background:var(--amber);height:.5rem}.brand-mark span:nth-child(3){background:#e68076;height:.66rem}.brand-name{letter-spacing:-.025em;font-size:1rem;font-weight:820}.primary-nav{color:#ffffffb3;font-family:var(--mono);letter-spacing:.04em;align-items:center;gap:1.9rem;font-size:.76rem;display:flex}.primary-nav a,.header-github,.footer-links a{transition:color .16s,opacity .16s}.primary-nav a:hover,.primary-nav a:focus-visible,.header-github:hover,.header-github:focus-visible{color:var(--lime)}.header-github{font-family:var(--mono);letter-spacing:.02em;justify-self:end;font-size:.78rem;font-weight:700}.hero{background:var(--night);min-height:calc(100vh - 4.5rem);color:var(--white);padding:clamp(5rem,9vw,8rem) 0 clamp(5.5rem,10vw,8.5rem);position:relative;overflow:hidden}.hero-grid{opacity:.19;background-image:linear-gradient(#ffffff14 1px,#0000 1px),linear-gradient(90deg,#ffffff14 1px,#0000 1px);background-size:64px 64px;position:absolute;inset:0;-webkit-mask-image:linear-gradient(#000 0%,#0000 90%);mask-image:linear-gradient(#000 0%,#0000 90%)}.hero-glow{background:radial-gradient(circle,#c7f36b26,#0000 65%);border-radius:50%;width:50rem;height:50rem;position:absolute;top:-18rem;right:-14rem}.hero-layout{grid-template-columns:minmax(0,1.05fr) minmax(380px,.78fr);align-items:center;gap:clamp(3.5rem,7vw,7rem);display:grid;position:relative}.hero-copy{max-width:710px}.eyebrow,.kicker,.panel-label{font-family:var(--mono);letter-spacing:.11em;text-transform:uppercase;margin:0 0 1.3rem;font-size:.73rem;font-weight:750}.eyebrow{color:var(--lime);align-items:center;gap:.65rem;display:flex}.pulse-dot{background:var(--lime);border-radius:50%;width:.5rem;height:.5rem;animation:2.6s infinite pulse;display:inline-block;box-shadow:0 0 #c7f36b8c}@keyframes pulse{65%{box-shadow:0 0 0 .55rem #c7f36b00}to{box-shadow:0 0 #c7f36b00}}h1,h2,h3,p{overflow-wrap:break-word}h1,h2,h3{margin-top:0;line-height:1.06}h1{letter-spacing:-.065em;max-width:760px;margin-bottom:1.6rem;font-size:clamp(3.15rem,6vw,6rem);font-weight:720}h1 span{color:var(--lime);display:block}.hero-summary{color:#ffffffb8;max-width:630px;margin:0 0 2rem;font-size:clamp(1.05rem,1.7vw,1.3rem)}.hero-summary em{color:var(--white);font-style:normal}.axioms{border-left:2px solid var(--lime);gap:.62rem;margin-bottom:2.1rem;padding-left:1.1rem;display:grid}.axioms p{color:#ffffffd1;font-family:var(--mono);margin:0;font-size:clamp(.78rem,1.1vw,.88rem)}.hero-actions,.break-actions{flex-wrap:wrap;align-items:center;gap:.9rem;display:flex}.button{min-height:3.15rem;font-family:var(--mono);letter-spacing:.01em;border:1px solid #0000;border-radius:.48rem;justify-content:center;align-items:center;padding:.8rem 1.15rem;font-size:.78rem;font-weight:800;transition:transform .16s,background .16s,border-color .16s;display:inline-flex}.button:hover{transform:translateY(-2px)}.button-primary{background:var(--lime);color:var(--ink)}.button-primary:hover{background:#d4ff79}.button-secondary{color:var(--white);border-color:#ffffff3d}.button-secondary:hover{background:#ffffff12;border-color:#ffffff7a}.hero-meta{color:#ffffff7a;font-family:var(--mono);flex-wrap:wrap;gap:0;margin:2.2rem 0 0;padding:0;font-size:.69rem;list-style:none;display:flex}.hero-meta li{align-items:center;display:inline-flex}.hero-meta li:not(:last-child):after{content:"/";color:#ffffff38;margin:0 .65rem}.demo-card{background:#0b100d;border:1px solid #ffffff24;border-radius:.8rem;position:relative;overflow:hidden;transform:rotate(.8deg);box-shadow:0 38px 90px #00000059}.demo-card:before{border-radius:inherit;content:"";pointer-events:none;position:absolute;inset:0;box-shadow:inset 0 0 0 1px #c7f36b0f}.terminal-bar,.mini-code-header{color:#ffffff8a;min-height:2.75rem;font-family:var(--mono);border-bottom:1px solid #ffffff1a;align-items:center;padding:.65rem .9rem;font-size:.66rem;display:flex}.terminal-dots{gap:.3rem;margin-right:.8rem;display:flex}.terminal-dots span{background:#fff3;border-radius:50%;width:.48rem;height:.48rem}.terminal-dots span:first-child{background:#e68076}.terminal-dots span:nth-child(2){background:var(--amber)}.terminal-dots span:last-child{background:var(--green)}.terminal-status{color:var(--lime);margin-left:auto}.demo-body{padding:1.1rem}.demo-context{color:#ffffffa3;margin-bottom:1rem;font-size:.78rem}.demo-context span{color:var(--lime);font-family:var(--mono);text-transform:uppercase;margin-right:.45rem;font-size:.66rem}.comparison{background:#ffffff09;border:1px solid #ffffff1a;border-radius:.52rem;padding:1.05rem}.comparison-naive{border-color:#c95b525c}.comparison-dataoad{background:#c7f36b0b;border-color:#c7f36b4d}.comparison-heading{font-family:var(--mono);justify-content:space-between;align-items:center;gap:.8rem;margin-bottom:.75rem;font-size:.74rem;font-weight:800;display:flex}.risk-label,.evidence-label{text-transform:uppercase;border-radius:.24rem;padding:.2rem .38rem;font-size:.56rem;font-weight:700}.risk-label{color:#ee9b93;background:#c95b5229}.evidence-label{color:var(--lime);background:#c7f36b1f}pre{white-space:pre-wrap;margin:0}code{font-family:var(--mono)}.comparison pre{color:#ffffffb3;font-size:clamp(.73rem,1.2vw,.82rem);line-height:1.72}.comparison strong{color:var(--amber);font-weight:800}.comparison-dataoad strong:nth-of-type(2),.comparison-dataoad strong:nth-of-type(3){color:var(--lime)}.comparison-arrow{color:#ffffff57;height:1.55rem;font-family:var(--mono);text-align:center;line-height:1.55rem}.demo-note{color:#ffffff6b;border-top:1px solid #ffffff14;margin:0;padding:.9rem 1.1rem;font-size:.68rem}.premise-strip{border-bottom:1px solid var(--line);background:var(--lime)}.premise-inner{justify-content:space-between;align-items:center;gap:2rem;min-height:7rem;display:flex}.premise-inner>p{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;margin:0;font-size:.7rem;font-weight:800}.premise-equation{letter-spacing:-.035em;align-items:center;gap:1.35rem;font-size:clamp(1.1rem,2.3vw,1.75rem);font-weight:780;display:flex}.not-equal{color:#12181461;font-family:var(--mono)}.section{padding:clamp(5.5rem,10vw,9rem) 0}.section-heading{margin-bottom:clamp(2.8rem,5vw,4.8rem)}.split-heading{grid-template-columns:minmax(0,1.2fr) minmax(280px,.72fr);align-items:end;gap:clamp(2rem,6vw,7rem);display:grid}.section-heading h2,.contract-copy h2,.break-inner h2{letter-spacing:-.055em;margin-bottom:0;font-size:clamp(2.35rem,4.3vw,4.35rem);font-weight:720}.section-heading>p,.split-heading>p,.section-lead{color:var(--ink-soft);margin:0;font-size:1.03rem}.kicker{color:var(--lime-dark)}.state-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;display:grid}.state-card{border:1px solid var(--line);background:#fffef79e;border-radius:.75rem;flex-direction:column;min-height:19rem;padding:clamp(1.35rem,2.4vw,2rem);transition:transform .18s,box-shadow .18s,background .18s;display:flex}.state-card:hover{background:var(--surface);transform:translateY(-4px);box-shadow:0 18px 50px #1f282214}.state-topline{justify-content:space-between;align-items:center;margin-bottom:3.6rem;display:flex}.state-light{border-radius:50%;width:.8rem;height:.8rem}.state-confirmed .state-light{background:var(--green);box-shadow:0 0 0 .38rem var(--green-soft)}.state-failed .state-light{background:var(--red);box-shadow:0 0 0 .38rem var(--red-soft)}.state-unknown .state-light{background:var(--amber);box-shadow:0 0 0 .38rem var(--amber-soft)}.state-index,.flow-number{color:var(--muted);font-family:var(--mono);font-size:.65rem}.state-card h3{font-family:var(--mono);letter-spacing:-.035em;margin-bottom:1rem;font-size:clamp(1.3rem,2vw,1.7rem)}.state-card p{color:var(--ink-soft);margin:0 0 2rem}.state-rule{border-top:1px solid var(--line);color:var(--ink);font-family:var(--mono);margin-top:auto;padding-top:1rem;font-size:.7rem;font-weight:750}.warning-callout{background:#fae8be73;border:1px solid #d990284d;border-radius:.65rem;align-items:center;gap:1rem;margin-top:1rem;padding:1.15rem 1.35rem;display:flex}.warning-callout p{color:#6e4a14;margin:0;font-size:.87rem}.warning-callout code{color:var(--ink);font-weight:800}.warning-icon{background:var(--amber);width:1.8rem;height:1.8rem;color:var(--ink);font-family:var(--mono);border-radius:50%;flex:none;place-items:center;font-weight:900;display:grid}.contract-section{border-block:1px solid var(--line);background:var(--surface)}.contract-layout{grid-template-columns:minmax(0,.8fr) minmax(420px,1fr);align-items:center;gap:clamp(3rem,8vw,8rem);display:grid}.contract-copy h2{margin-bottom:1.6rem}.contract-points{gap:1rem;margin:2.4rem 0;display:grid}.contract-points>div{border-top:1px solid var(--line);grid-template-columns:5.5rem 1fr;gap:1rem;padding-top:1rem;display:grid}.contract-points span{font-family:var(--mono);text-transform:uppercase;font-size:.68rem;font-weight:800}.contract-points p,.fine-print{color:var(--ink-soft);margin:0;font-size:.88rem}.fine-print{border-left:3px solid var(--amber);background:var(--paper);padding:1rem}.contract-visual{border:1px solid var(--line);background:var(--paper);box-shadow:var(--shadow);border-radius:.85rem;padding:clamp(1.25rem,3vw,2rem);position:relative}.flow{grid-template-columns:repeat(4,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.flow li{min-height:8.7rem;padding-right:1rem;position:relative}.flow li:not(:last-child):after{background:var(--line-strong);content:"";width:calc(100% - 2.1rem);height:1px;position:absolute;top:1.2rem;right:.5rem;transform:translate(50%)}.flow-number{z-index:1;border:1px solid var(--line-strong);background:var(--surface);width:2.4rem;height:2.4rem;color:var(--ink);border-radius:50%;place-items:center;margin-bottom:1rem;display:grid;position:relative}.flow strong,.flow div>span{display:block}.flow strong{margin-bottom:.2rem;font-size:.79rem}.flow div>span{color:var(--muted);font-family:var(--mono);font-size:.58rem;line-height:1.45}.mini-code{background:var(--night);color:#ffffffc7;border-radius:.56rem;overflow:hidden}.mini-code-header{justify-content:space-between}.mini-code pre{white-space:pre;padding:clamp(1.1rem,2.5vw,1.7rem);font-size:clamp(.68rem,1.2vw,.8rem);line-height:1.75;overflow-x:auto}.code-muted{color:#7d8b82}.code-keyword{color:var(--lime)}.harness-section{background:var(--night);color:var(--white)}.light-heading .kicker{color:var(--lime)}.light-heading>p{color:#fff9}.harness-layout{border:1px solid #ffffff24;border-radius:.85rem;grid-template-columns:minmax(260px,.6fr) minmax(0,1.4fr);display:grid;overflow:hidden}.scenario-panel,.run-panel{padding:clamp(1.4rem,3.5vw,2.6rem)}.scenario-panel{background:var(--night-soft);border-right:1px solid #ffffff1f}.panel-label{color:var(--lime)}.scenario-list{margin:0;padding:0;list-style:none}.scenario-list li{color:#ffffffbf;font-family:var(--mono);border-bottom:1px solid #ffffff17;grid-template-columns:2rem 1fr;gap:.45rem;padding:.75rem 0;font-size:.69rem;display:grid}.scenario-list span{color:#ffffff47}.run-panel{background:#0c110e;gap:1.2rem;display:grid}.command-group{border:1px solid #ffffff1c;border-radius:.55rem;overflow:hidden}.command-heading{background:#ffffff09;border-bottom:1px solid #ffffff17;justify-content:space-between;align-items:center;gap:1rem;padding:.8rem 1rem;display:flex}.command-heading span,.command-heading small{display:block}.command-heading span{font-family:var(--mono);font-size:.7rem;font-weight:800}.command-heading small{color:#ffffff61;margin-top:.1rem;font-size:.68rem}.copy-button{color:#ffffffa3;cursor:pointer;font-family:var(--mono);background:0 0;border:1px solid #ffffff2e;border-radius:.32rem;flex:none;padding:.38rem .58rem;font-size:.62rem;transition:border-color .15s,color .15s,background .15s}.copy-button:hover,.copy-button[data-copied=true]{border-color:var(--lime);color:var(--lime);background:#c7f36b14}.command-group pre{color:#ffffffb3;white-space:pre;padding:1rem;font-size:clamp(.62rem,1.2vw,.74rem);line-height:1.75;overflow-x:auto}.safety-result{background:#c7f36b0f;border:1px solid #c7f36b42;border-radius:.55rem;padding:1.25rem}.result-label,.safety-result strong{font-family:var(--mono);display:block}.result-label{color:#ffffff6e;text-transform:uppercase;margin-bottom:.35rem;font-size:.61rem}.safety-result strong{color:var(--lime);font-size:clamp(.92rem,1.8vw,1.18rem)}.safety-result p{color:#ffffff7a;margin:.45rem 0 0;font-size:.73rem}.centered-heading{text-align:center;max-width:760px;margin-inline:auto}.centered-heading>p:last-child{max-width:650px;margin:1.4rem auto 0}.agents-section{border-bottom:1px solid var(--line);background:var(--surface)}.agent-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;display:grid}.agent-card{border:1px solid var(--line);background:var(--paper);border-radius:.78rem;flex-direction:column;min-width:0;padding:clamp(1.4rem,3vw,2.25rem);display:flex}.agent-card-heading,.agent-card-heading>div{align-items:center;display:flex}.agent-card-heading{justify-content:space-between;gap:1rem;margin-bottom:1.2rem}.agent-card-heading>div{gap:.75rem}.agent-card h3{letter-spacing:-.04em;margin:0;font-size:clamp(1.45rem,2.5vw,2rem)}.agent-index,.agent-badge,.agent-prompt span,.agents-note{font-family:var(--mono)}.agent-index{color:var(--muted);font-size:.65rem}.agent-badge{background:var(--green-soft);color:#1b6747;text-transform:uppercase;border-radius:999px;flex:none;padding:.28rem .48rem;font-size:.58rem;font-weight:800}.agent-card>p{color:var(--ink-soft);margin:0 0 1.5rem;font-size:.9rem}.agent-command{background:var(--night);border-radius:.55rem;margin-top:auto;position:relative;overflow:hidden}.agent-command pre{color:#ffffffc2;white-space:pre;padding:1.25rem 4.5rem 1.25rem 1.1rem;font-size:clamp(.62rem,1.1vw,.72rem);line-height:1.75;overflow-x:auto}.copy-button-light{z-index:1;position:absolute;top:.75rem;right:.75rem}.agent-prompt{border-top:1px solid var(--line);gap:.38rem;margin-top:1rem;padding-top:1rem;display:grid}.agent-prompt span{color:var(--muted);text-transform:uppercase;font-size:.6rem;font-weight:800}.agent-prompt code{color:var(--ink-soft);font-size:.72rem;line-height:1.55}.agents-note{border-left:3px solid var(--amber);background:var(--amber-soft);color:#6e4a14;margin:1rem 0 0;padding:1rem 1.2rem;font-size:.7rem}.limits-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;max-width:960px;margin-inline:auto;display:grid}.limits-card{border:1px solid var(--line);background:var(--surface);border-radius:.75rem;padding:clamp(1.5rem,3vw,2.4rem)}.limits-card-heading{align-items:center;gap:.85rem;margin-bottom:1.7rem;display:flex}.limits-card-heading span{width:2rem;height:2rem;font-family:var(--mono);border-radius:50%;place-items:center;font-weight:800;display:grid}.does-card .limits-card-heading span{background:var(--green-soft);color:#1b6747}.does-not-card .limits-card-heading span{background:var(--red-soft);color:#843b34}.limits-card h3{margin:0;font-size:1.22rem}.limits-card ul{gap:.8rem;margin:0;padding:0;list-style:none;display:grid}.limits-card li{color:var(--ink-soft);padding-left:1.2rem;font-size:.9rem;position:relative}.limits-card li:before{background:var(--line-strong);content:"";border-radius:50%;width:.35rem;height:.35rem;position:absolute;top:.63em;left:0}.break-section{background:var(--lime);padding:clamp(4.5rem,8vw,7.5rem) 0}.break-inner{grid-template-columns:minmax(0,1.2fr) auto;align-items:end;gap:3rem;display:grid}.break-inner .kicker{color:#12181494}.break-inner h2{margin-bottom:1.1rem}.break-inner>div:first-child>p:last-child{color:#121814b8;max-width:670px;margin:0;font-size:1.05rem}.break-actions{flex-direction:column;align-items:flex-start}.button-inverse{background:var(--ink);color:var(--white)}.button-inverse:hover{background:#26322a}.text-link{font-family:var(--mono);border-bottom:1px solid #1218146b;font-size:.72rem;font-weight:800}.break-question{font-family:var(--mono);border-top:1px solid #12181433;grid-column:1/-1;margin:2.2rem 0 0;padding-top:1.4rem;font-size:.74rem;font-weight:800}.site-footer{background:var(--night);color:var(--white);padding:3.2rem 0}.footer-inner{grid-template-columns:1fr auto auto;align-items:center;gap:3rem;display:grid}.footer-brand p{color:#ffffff6b;margin:.7rem 0 0;font-size:.76rem}.footer-links{color:#ffffff94;font-family:var(--mono);flex-wrap:wrap;gap:1.2rem;font-size:.68rem;display:flex}.footer-links a:hover{color:var(--lime)}.footer-version{color:#ffffff5c;font-family:var(--mono);margin:0;font-size:.66rem}@media (width<=980px){.header-inner{grid-template-columns:1fr auto}.primary-nav{display:none}.hero-layout,.contract-layout{grid-template-columns:1fr}.hero-copy{max-width:780px}.demo-card{width:min(100%,650px);transform:none}.contract-copy{max-width:720px}.break-inner{grid-template-columns:1fr;align-items:start}.break-actions{flex-direction:row;align-items:center}.footer-inner{grid-template-columns:1fr auto}.footer-version{grid-column:1/-1}}@media (width<=760px){.shell{width:min(100% - 2rem,1180px)}.hero{min-height:auto}h1{font-size:clamp(2.75rem,14vw,4.7rem)}.premise-inner,.premise-equation{flex-direction:column;align-items:flex-start}.premise-inner{justify-content:center;gap:.7rem;padding-block:1.7rem}.premise-equation{gap:.2rem}.not-equal{transform:rotate(90deg)}.split-heading,.state-grid,.agent-grid,.limits-grid,.harness-layout{grid-template-columns:1fr}.state-card{min-height:16rem}.state-topline{margin-bottom:2.4rem}.scenario-panel{border-bottom:1px solid #ffffff1f;border-right:0}.flow{grid-template-columns:1fr 1fr;gap:1.2rem}.flow li{min-height:7.7rem}.flow li:after{display:none}.footer-inner{grid-template-columns:1fr;gap:2rem}}@media (width<=480px){.site-header .brand-name{font-size:.92rem}.header-github{font-size:.7rem}.hero-actions,.hero-actions .button,.break-actions,.break-actions .button{width:100%}.hero-meta{line-height:2}.comparison-heading,.command-heading{align-items:flex-start}.comparison-heading{flex-direction:column}.contract-points>div{grid-template-columns:1fr;gap:.35rem}.flow{grid-template-columns:1fr}.flow li{grid-template-columns:2.7rem 1fr;min-height:auto;display:grid}.flow-number{margin:0}.command-group pre{font-size:.58rem}.footer-links{grid-template-columns:1fr 1fr;display:grid}}@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}}