:root{--ink:#141d3b;--muted:#5d6a86;--paper:#f5f7fb;--card:#fff;--line:#dfe5f1;--blue:#2f5bea;--green:#13795b;--green-bg:#e7f6ef;--red:#c2410c;--red-bg:#fdf0e8;--violet:#6d4fd8;--violet-bg:#f1edff;--code:#0f172a;
  --display:Georgia,'Times New Roman',serif;--body:system-ui,-apple-system,'Segoe UI',Roboto,Arial,sans-serif;--mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}
*{box-sizing:border-box}
body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.6 var(--body)}
a{color:var(--blue)}
button{font:inherit;cursor:pointer}
code,kbd,pre{font-family:var(--mono)}
[hidden]{display:none!important}
.sr-only{position:absolute;width:1px;height:1px;margin:-1px;padding:0;border:0;overflow:hidden;clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap}
.skip{position:absolute;left:-999px}.skip:focus{left:16px;top:16px;background:#fff;padding:8px 12px;z-index:9}
:focus-visible{outline:3px solid var(--blue);outline-offset:2px}

.top,main,footer{max-width:1180px;margin:0 auto;padding:0 24px}
.top{display:flex;justify-content:space-between;align-items:center;height:72px}
.brand{display:flex;align-items:center;gap:10px;font-weight:700;font-size:19px;color:var(--ink);text-decoration:none}
.mark{display:grid;place-items:center;width:34px;height:34px;border-radius:9px;background:var(--ink);color:#fff;font:italic 700 17px var(--display)}
.top nav{display:flex;gap:22px;white-space:nowrap}.top nav a{color:var(--muted);text-decoration:none;font-size:14px}.top nav a:hover,.top nav a[aria-current=page]{color:var(--ink)}.top nav a[aria-current=page]{font-weight:600}

.hero{padding:56px 0 40px;max-width:860px}
.hero.with-film{max-width:none;display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);gap:48px;align-items:center}
.film{display:block;color:var(--ink);text-decoration:none;border-radius:16px;overflow:hidden;background:var(--card);border:1px solid var(--line);box-shadow:0 18px 40px rgba(15,23,42,.14)}
.film img{display:block;width:100%;height:auto}.film-label{display:grid;gap:4px;padding:14px 18px}.film-label b{font-size:17px}.film-label span{color:var(--muted);font-size:14px}
.film:hover b,.film:focus-visible b{text-decoration:underline}.film:focus-visible{outline:3px solid var(--blue);outline-offset:3px}
.top nav a.nav-film{color:var(--ink);font-weight:700}
.eyebrow{margin:0 0 14px;color:var(--green);font-size:13px;font-weight:700;letter-spacing:.08em;text-transform:uppercase}
.hero h1{font:400 clamp(40px,6vw,72px)/1.05 var(--display);margin:0;letter-spacing:-.02em}
.hero h1 q{quotes:'“' '”'}.hero h1 span{color:var(--blue)}
.lede{font-size:19px;color:var(--muted);max-width:640px;margin:22px 0 28px}
.cta{display:inline-block;background:var(--ink);color:#fff;text-decoration:none;padding:13px 20px;border-radius:10px;font-weight:600}
.actions{display:flex;flex-wrap:wrap;gap:12px;margin:0}.cta.secondary{background:transparent;color:var(--ink);border:1px solid var(--ink)}

.agent{display:grid;gap:20px;padding:12px 0 56px}
.cases{display:grid;grid-template-columns:1fr 1fr;gap:14px}
.panel{display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);gap:20px}
.case{text-align:left;background:var(--card);border:1px solid var(--line);border-radius:14px;padding:16px 18px;display:grid;gap:4px;color:var(--ink)}
.case:hover{border-color:#b9c3d8}.case[aria-selected=true]{border-color:var(--ink);box-shadow:0 0 0 1px var(--ink)}
.case small{color:var(--muted);font-size:14px}
.tag{justify-self:start;font-size:11px;font-weight:700;letter-spacing:.06em;text-transform:uppercase;padding:3px 8px;border-radius:99px}
.tag.stuck{background:var(--red-bg);color:var(--red)}.tag.lie{background:var(--violet-bg);color:var(--violet)}

.console{background:var(--code);color:#e2e8f0;border-radius:16px;padding:20px;min-height:420px;box-shadow:0 20px 50px -30px rgba(15,23,42,.6)}
.console-head{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px 12px;font-size:13px;color:#94a3b8}.console-head .run{margin:0}
.console a{color:#93c5fd}.console :focus-visible{outline-color:#93c5fd}
.dot{display:inline-block;width:8px;height:8px;border-radius:50%;background:#22c55e;margin-right:8px;box-shadow:0 0 0 4px rgba(34,197,94,.15)}
.console-actions{display:flex;flex-wrap:wrap;gap:8px}
.ghost,.solid{border-radius:8px;padding:6px 12px;font-size:13px}
.ghost{background:transparent;border:1px solid #64748b;color:#e2e8f0}.ghost:hover{border-color:#94a3b8}
.ghost[aria-pressed=true]{background:#1e293b;border-color:#94a3b8}
.ghost[aria-disabled=true],.solid[aria-disabled=true]{opacity:.5;cursor:default}.solid{background:#22c55e;border:0;color:#052e16;font-weight:700}
.goal{margin:14px 0 18px;font-size:14px;color:#cbd5e1}.goal b{color:#fff;margin-right:6px}
.timeline{list-style:none;margin:0;padding:0;display:grid;gap:8px}
.step>button,.step.running,.step.outcome{width:100%;display:grid;grid-template-columns:28px 1fr auto;gap:12px;align-items:start;text-align:left;padding:11px 12px;border-radius:10px;border:1px solid #1e293b;background:#111c33;color:inherit}
.step>button:hover{border-color:#334155}.step.selected>button{border-color:#60a5fa;background:#13223f}
.icon{display:grid;place-items:center;width:26px;height:26px;border-radius:50%;font-size:13px;font-weight:700}
.step.fail .icon{background:#431407;color:#fdba74}.step.pass .icon{background:#052e16;color:#86efac}.step.think .icon{background:#2e1065;color:#c4b5fd}.step.read .icon{background:#0c2a4a;color:#7dd3fc}.step.read .line{font-family:var(--mono);font-size:13px;color:#bae6fd}
.text{display:grid;gap:2px;min-width:0}.text b{font-size:12px;color:#94a3b8;font-weight:600;letter-spacing:.02em}
.line{font-size:14px;color:#f1f5f9;overflow-wrap:anywhere}
.step.think .line{color:#ddd6fe}
.meta{font-size:12px;color:#94a3b8;white-space:nowrap}
.step.running{color:#94a3b8;font-size:14px}
.spinner{border:2px solid #334155;border-top-color:#60a5fa;animation:spin .8s linear infinite}
.step.outcome{grid-template-columns:28px 1fr;font-weight:600}.step.outcome.pass{border-color:#166534;background:#052e16;color:#bbf7d0}.step.outcome.fail{border-color:#7c2d12;background:#2a1208;color:#fed7aa}
.step{animation:rise .35s ease-out}
@keyframes rise{from{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}
@keyframes spin{to{transform:rotate(360deg)}}
.empty{color:#94a3b8;font-size:14px}

.detail{background:var(--card);border:1px solid var(--line);border-radius:16px;padding:22px;min-height:420px;min-width:0}
.kicker{margin:0 0 6px;font-size:12px;font-weight:700;letter-spacing:.06em;text-transform:uppercase;color:var(--muted)}
.detail h3{margin:6px 0 12px;font-size:20px;line-height:1.35;overflow-wrap:anywhere}.detail h3.bad{color:var(--red)}.detail h3.good{color:var(--green)}
.detail blockquote{margin:0 0 18px;padding:12px 14px;border-left:3px solid var(--violet);background:var(--violet-bg);border-radius:0 8px 8px 0;overflow-wrap:anywhere}
.edit{border:1px solid var(--line);border-radius:10px;overflow:hidden;margin:0 0 12px}
.edit .file{font:12px var(--mono);padding:7px 10px;background:#f1f4fa;color:var(--muted);overflow-wrap:anywhere}
.edit pre{margin:0;padding:10px 12px;font-size:12px;line-height:1.5;white-space:pre-wrap;overflow-wrap:anywhere}
.edit .lines{padding:8px 0}.edit .lines span{display:block;padding:0 12px;white-space:pre-wrap;min-height:1.5em}
.edit .malformed{margin:0;padding:8px 12px 0;font-size:13px;color:var(--red)}
.edit .add{background:#effaf4;color:#166534}.edit .del{background:#fff4f2;color:#9a3412}.edit .ctx{color:#64748b}.edit .gap{color:#64748b;text-align:center}
.trail{display:flex;flex-wrap:wrap;gap:6px;margin:8px 0 14px}
.chip{display:inline-flex;gap:6px;align-items:center;font-size:12px;background:#f1f4fa;border:1px solid var(--line);border-radius:7px;padding:3px 7px}
.chip kbd{background:#fff;border:1px solid #c9d2e3;border-bottom-width:2px;border-radius:4px;padding:0 5px;font-size:11px}
.chip.stuck{background:var(--red-bg);border-color:#fbc8a8;color:var(--red);font-weight:700}
.facts-list{display:grid;gap:8px;margin:12px 0}.facts-list div{display:grid;grid-template-columns:minmax(120px,40%) 1fr;gap:12px;font-size:14px}
.facts-list dt{color:var(--muted)}.facts-list dd{margin:0;font-weight:600;overflow-wrap:anywhere}
.compare{width:100%;border-collapse:collapse;font-size:14px;margin:8px 0;table-layout:fixed}.compare th:first-child{width:28%}.compare td{overflow-wrap:anywhere}
.compare th,.compare td{border-bottom:1px solid var(--line);padding:8px;text-align:left}.compare td{font-family:var(--mono)}
.compare tr.mismatch td:last-child{color:var(--red);font-weight:700;background:var(--red-bg)}
.log{background:#0f172a;color:#fecaca;padding:12px;border-radius:8px;font-size:12px;white-space:pre-wrap;overflow-wrap:anywhere}
.checks{list-style:none;padding:0;margin:12px 0;display:grid;gap:6px;font-size:14px}
.checks li::before{display:inline-block;width:20px;font-weight:700}
.checks .ok::before{content:'✓';content:'✓' / 'Passed:';color:var(--green)}.checks .bad::before{content:'✗';content:'✗' / 'Failed:';color:var(--red)}
.proof{border:1px solid #b7e4cf;background:linear-gradient(180deg,var(--green-bg),#fff 120px);border-radius:12px;padding:16px}
.stamp{display:inline-block;margin:0 0 6px;font-weight:800;letter-spacing:.14em;font-size:12px;color:var(--green);border:2px solid var(--green);border-radius:6px;padding:2px 8px;transform:rotate(-2deg)}
.download{display:inline-block;margin-top:6px;font-weight:600}
.micro{font-size:12px;color:var(--muted);overflow-wrap:anywhere}
.placeholder{color:var(--muted);margin:0}

.how{padding:56px 0;border-top:1px solid var(--line)}
.how h2{font:400 clamp(28px,3.4vw,42px)/1.15 var(--display);margin:0 0 28px;max-width:760px}
.loop{list-style:none;counter-reset:loop;display:grid;grid-template-columns:repeat(4,1fr);gap:14px;padding:0;margin:0}
.loop li{counter-increment:loop;background:var(--card);border:1px solid var(--line);border-radius:14px;padding:18px;display:grid;gap:6px;align-content:start}
.loop li::before{content:counter(loop);display:grid;place-items:center;width:28px;height:28px;border-radius:50%;background:var(--ink);color:#fff;font-weight:700;font-size:13px}
.loop b{font-size:17px}.loop span{color:var(--muted);font-size:14px}
.loop li:last-child{border-style:dashed}
.why{display:grid;grid-template-columns:1fr 1fr;gap:28px;margin-top:36px}
.why h3{margin:0 0 6px;font-size:18px}.why p{margin:0;color:var(--muted)}
.why code{background:#eef1f8;padding:1px 5px;border-radius:4px;color:var(--ink)}
.facts{display:grid;grid-template-columns:repeat(4,1fr);gap:14px;padding:8px 0 40px}
.facts div{background:var(--card);border:1px solid var(--line);border-radius:14px;padding:18px}
.facts strong{display:block;font:400 34px/1.1 var(--display)}.facts span{color:var(--muted);font-size:14px}.facts .aside{display:block;margin-top:6px;font-size:13px}
.facts strong span{color:inherit;font-size:inherit}
.facts.usage{grid-template-columns:repeat(3,1fr);padding-bottom:8px}.facts.usage strong{font-size:30px}
.squares{display:inline-flex;gap:3px;vertical-align:middle;margin-left:6px}.sq{width:12px;height:12px;border-radius:3px;border:1px solid #9aa6bf;background:#fff}.sq.saved{background:#bfe8d4;border-color:#13795b}.sq.ok{background:#13795b;border-color:#13795b}
.runs td.good{color:var(--green);font-weight:700}
.filters{border:0;padding:0;margin:0 0 12px;display:flex;flex-wrap:wrap;gap:8px 18px;font-size:14px}.filters legend{font-weight:700;padding:0;margin-bottom:6px;float:left;margin-right:14px}.filters label{display:inline-flex;gap:6px;align-items:center;cursor:pointer}

.proves{padding:0 0 40px}.proves h2{font:400 clamp(24px,2.6vw,32px)/1.2 var(--display);margin:0 0 16px}
.proves-grid{display:grid;grid-template-columns:1fr 1fr;gap:14px}.proves-grid>div{background:var(--card);border:1px solid var(--line);border-radius:14px;padding:18px}
.proves-grid>div:last-child{border-style:dashed}.proves h3{margin:0 0 8px;font-size:17px}.proves ul{margin:0;padding-left:20px;color:var(--muted);font-size:14px;display:grid;gap:6px}
.limits{font-size:13px;color:var(--muted);max-width:780px;margin:0 0 40px}
footer{display:flex;justify-content:space-between;gap:16px;flex-wrap:wrap;padding-top:20px;padding-bottom:32px;border-top:1px solid var(--line);font-size:13px;color:var(--muted)}

@media (max-width:900px){
  .hero.with-film{grid-template-columns:1fr;gap:28px}
  .panel{grid-template-columns:1fr}.loop,.facts{grid-template-columns:1fr 1fr}.why,.proves-grid{grid-template-columns:1fr}.facts.usage{grid-template-columns:1fr 1fr}
}
@media (max-width:560px){
  .top nav a[href$="#how"]{display:none}
  .top,main,footer{padding:0 16px}.top nav{gap:14px}.cases,.loop,.facts{grid-template-columns:1fr}
  .console,.detail{padding:16px;min-height:0}.step>button{grid-template-columns:26px 1fr}.meta{display:none}
  .facts-list div{grid-template-columns:1fr;gap:0}
}
@media (prefers-reduced-motion:reduce){*{animation:none!important}}
.history{margin:6px 0 12px;padding:0;list-style:none;font-size:13px}.history li{display:grid;grid-template-columns:52px 1fr;gap:10px;border-bottom:1px dashed var(--line);padding:4px 6px;overflow-wrap:anywhere}.history code{font-weight:700;color:var(--muted)}.history li.jump{background:var(--red-bg);color:var(--red);font-weight:700;border-radius:6px}
.verdict{font-size:12px;font-weight:700;margin-top:4px}.verdict:empty{display:none}.verdict.good{color:var(--green)}.verdict.caught{color:var(--red)}
.finding{margin:-36px 0 48px;background:#fff;border:1px solid #f3c6a8;border-left:4px solid var(--red);border-radius:12px;padding:16px 20px}
.finding h3{margin:0 0 6px;font-size:18px}.finding p{margin:6px 0;color:var(--muted);max-width:90ch}.finding code{background:#f6efe9;padding:1px 5px;border-radius:4px;color:var(--ink)}
@media (min-width:901px){.detail{position:sticky;top:16px;align-self:start;max-height:calc(100vh - 32px);overflow:auto}}
.strip{display:flex;flex-wrap:wrap;align-items:center;gap:4px 8px;margin-top:6px;font-size:12px;color:var(--muted)}.strip:empty{display:none}
.pips{display:inline-flex;flex-wrap:wrap;gap:4px}.pip{width:10px;height:10px;border-radius:50%;border:2px solid currentColor;background:currentColor}
.pip.ok{color:var(--green)}.pip.bad{color:var(--red)}.pip.todo{color:#64748b;background:transparent}.pip.now{box-shadow:0 0 0 2px var(--card),0 0 0 3px var(--ink)}

.hero.compact{padding:40px 0 24px}.hero.compact h1{font-size:clamp(34px,5vw,56px)}
.runs-section,.earlier{padding:8px 0 40px}.runs-section h2,.earlier h2{font:400 clamp(24px,3vw,32px)/1.2 var(--display);margin:0 0 8px}
.runs-section>p,.earlier p{color:var(--muted);max-width:780px;margin:0 0 16px}
/* Edge shadows appear only while more columns are scrolled out of view on that side. */
.table-scroll{overflow-x:auto;border:1px solid var(--line);border-radius:14px;background:linear-gradient(90deg,var(--card) 30%,rgba(255,255,255,0)) left/40px 100% no-repeat local,
  linear-gradient(270deg,var(--card) 30%,rgba(255,255,255,0)) right/40px 100% no-repeat local,radial-gradient(farthest-side at 0 50%,rgba(20,29,59,.22),transparent) left/14px 100% no-repeat scroll,
  radial-gradient(farthest-side at 100% 50%,rgba(20,29,59,.22),transparent) right/14px 100% no-repeat scroll,var(--card)}
.runs{width:100%;min-width:980px;border-collapse:collapse;font-size:14px}
.runs th,.runs td{padding:10px 12px;text-align:left;vertical-align:top;border-bottom:1px solid var(--line)}
.runs thead th{font-size:12px;font-weight:700;letter-spacing:.04em;text-transform:uppercase;color:var(--muted);background:#f8fafd;vertical-align:bottom}
.runs tbody tr:last-child>*{border-bottom:0}.runs tbody th{font-weight:600}
.runs .num{text-align:right;font-variant-numeric:tabular-nums;white-space:nowrap}.runs thead .num{white-space:normal}.runs .nowrap{white-space:nowrap}.runs .pips{flex-wrap:nowrap}
.runs .id{display:block;font:12px var(--mono);color:var(--muted)}.runs .tag{display:inline-block;margin-top:4px;white-space:nowrap}.tag.feature{background:var(--green-bg);color:var(--green)}
.runs .good{color:var(--green);font-weight:600}.runs .bad{color:var(--red);font-weight:600}.runs .strip{margin-top:4px}
.runs .links{display:flex;flex-wrap:wrap;gap:2px 12px}.runs .note{display:block;font-size:12px;color:var(--muted)}.runs code{font-size:13px}
.status-line{color:var(--muted);font-size:14px}
.reasoning{margin:14px 0}.reasoning summary{cursor:pointer;font-weight:600;color:var(--violet)}.reasoning p{white-space:pre-wrap;font-size:14px;color:var(--muted);max-height:320px;overflow:auto;padding:10px 12px;border:1px solid var(--line);border-radius:8px}