:root {
  color-scheme: light;
  --bg: #f6f7f2; --surface: #fff; --surface-2: #edf0e8;
  --ink: #1d3029; --ink-2: #526159; --ink-3: #66736c; --line: #dce2d8;
  --accent: #246b4d; --accent-ink: #fff;
  --good: #206545; --good-bg: #e5f1e6; --bad: #9e382e; --bad-bg: #f9ebe5;
  --warn: #825a16; --warn-bg: #f8efd8; --muted: #526159; --muted-bg: #edf0e8;
  --code-bg: #f8f9f5; --cite-bg: #f5edc9; --cite-line: #b69130; --radius: 14px;
  --sans: "Inter", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-padding-top: 86px; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 15px/1.6 var(--sans); }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
button, input, textarea { font: inherit; }
code, pre, .mono { font-family: var(--mono); font-size: .86em; font-variant-ligatures: none; }
.wrap { max-width: 1180px; margin: 0 auto; padding: 0 30px; }
:focus-visible { outline: 3px solid var(--accent); outline-offset: 4px; }
.skip-link { position: fixed; top: -100px; left: 16px; z-index: 100; padding: 12px 20px; background: var(--surface); }
.skip-link:focus { top: 10px; }
.top { position: sticky; top: 0; z-index: 10; background: var(--bg); border-bottom: 1px solid var(--line); }
.top .wrap { display: flex; align-items: center; gap: 24px; height: 76px; }
.brand { font-weight: 750; font-size: 23px; color: var(--ink); letter-spacing: -.05em; display: flex; align-items: center; gap: 9px; }
.brand:hover { text-decoration: none; }
.brand-mark { width: 29px; height: 29px; border-radius: 9px; background: var(--ink); color: #d9f1b5; display: grid; place-items: center; font-size: 18px; }
.nav { display: flex; align-items: center; gap: 25px; margin-left: auto; font-size: 13px; font-weight: 550; }
.nav a { color: var(--ink-2); white-space: nowrap; }
.nav a.active, .nav a:hover { color: var(--accent); text-decoration: none; }
.nav .gh { border-left: 1px solid var(--line); padding-left: 25px; }
.hero { padding: 62px 0 36px; }
.eyebrow { color: var(--ink-2); font-family: var(--mono); font-size: 11px; letter-spacing: .09em; text-transform: uppercase; font-weight: 550; }
.signal-dot { display: inline-block; width: 7px; height: 7px; margin: 0 6px 1px 0; border-radius: 50%; background: #477750; }
.hero h1 { font-size: clamp(34px, 4.4vw, 54px); line-height: 1.12; letter-spacing: -.055em; margin: 20px 0; font-weight: 550; max-width: 790px; }
.hero p.lead { font-size: 17px; line-height: 1.7; color: var(--ink-2); max-width: 650px; margin: 0 0 28px; }
.home-hero { display: grid; grid-template-columns: 1.06fr 1fr; align-items: center; gap: 54px; padding: 65px 0 48px; }
.hero-note { color: var(--ink-3); font-size: 12px; line-height: 1.8; margin: 20px 0 0; }
.cta { display: flex; flex-wrap: wrap; gap: 10px; }
.btn { display: inline-flex; justify-content: center; align-items: center; gap: 16px; padding: 11px 18px; border-radius: 8px; font-weight: 550; font-size: 13px; border: 1px solid var(--line); background: var(--surface); color: var(--ink); }
.btn:hover { text-decoration: none; border-color: var(--ink-3); }
.btn.primary { background: var(--ink); color: #f4f9ec; border-color: var(--ink); }
.btn.primary:hover { background: var(--accent); }
button.btn { cursor: pointer; }
button.btn[disabled] { opacity: .55; cursor: progress; }
.proof-preview { display: block; color: var(--ink); background: var(--surface); border: 1px solid #cfd8cb; border-radius: var(--radius); box-shadow: 0 14px 50px #2337260b; overflow: hidden; transform: rotate(-1deg); transition: transform .2s; }
.proof-preview:hover { text-decoration: none; transform: rotate(0); }
.preview-top { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 14px 22px; border-bottom: 1px solid var(--line); color: var(--ink-3); font-size: 12px; }
.preview-claim { padding: 20px 22px 22px; }
.small-label { font-family: var(--mono); text-transform: uppercase; font-size: 10px; letter-spacing: .07em; color: var(--ink-3); }
.preview-claim p { font-size: 21px; line-height: 1.45; letter-spacing: -.025em; margin: 9px 0 0; font-weight: 550; }
.preview-code { background: var(--code-bg); border-block: 1px solid var(--line); padding: 14px 0; }
.preview-code .small-label { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 5px; padding: 0 22px 10px; }
.preview-code .small-label span { text-transform: none; letter-spacing: 0; }
.preview-code pre { margin: 0; font-size: 12px; line-height: 1.8; overflow-x: auto; padding-bottom: 3px; }
.preview-code pre > span { display: inline-block; width: 100%; min-width: max-content; padding-right: 12px; }
.line-number { display: inline-block; color: var(--ink-3); width: 44px; padding-right: 12px; text-align: right; user-select: none; }
.proof-hit { background: #e8edc9; box-shadow: inset 3px 0 #668045; }
.preview-answer { display: flex; align-items: center; gap: 12px; padding: 17px 22px; background: #f0f5e9; }
.preview-answer > span:last-child { margin-left: auto; }
.preview-answer b { display: block; font-size: 14px; }
.preview-answer div span { display: block; color: var(--ink-2); font-size: 11px; margin-top: 2px; }
.proof-check { border: 1px solid #b3c9a3; border-radius: 50%; height: 26px; width: 26px; flex-shrink: 0; display: grid; place-items: center; color: var(--good); }
.value-strip { display: grid; grid-template-columns: repeat(3, 1fr); border-block: 1px solid var(--line); gap: 16px; padding: 17px 0; }
.value-strip p { font-size: 12px; color: var(--ink-2); margin: 0; }
.value-strip b { color: var(--ink); font-weight: 600; }
.section { margin: 58px 0; }
.section h2 { font-size: 27px; font-weight: 550; line-height: 1.3; letter-spacing: -.035em; margin: 8px 0 16px; }
.section > p { color: var(--ink-2); margin: 0 0 18px; max-width: 780px; }
.section-heading { display: flex; align-items: end; justify-content: space-between; gap: 20px; margin-bottom: 20px; }
.section-heading h2 { margin-bottom: 0; }
.example-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.example-card { display: flex; flex-direction: column; align-items: start; border: 1px solid var(--line); border-radius: var(--radius); padding: 25px; background: var(--surface); color: var(--ink); transition: border-color .15s; min-width: 0; }
.example-card:hover { border-color: var(--accent); text-decoration: none; }
.example-number { font-family: var(--mono); color: var(--accent); font-size: 12px; }
.example-number span { color: var(--ink-3); margin-left: 10px; font-family: var(--sans); }
.example-card h3 { font-weight: 550; font-size: 21px; line-height: 1.35; letter-spacing: -.025em; margin: 24px 0 10px; }
.example-card p { font-size: 13px; color: var(--ink-2); margin: 0 0 25px; }
.example-link { margin-top: auto; font-size: 12px; color: var(--accent); font-weight: 600; }
.how-section { display: grid; grid-template-columns: 1fr 1.35fr; gap: 60px; border-block: 1px solid var(--line); padding: 40px 0; }
.how-steps { margin: 0; padding: 0; list-style: none; counter-reset: steps; }
.how-steps li { position: relative; padding-left: 43px; margin-bottom: 24px; counter-increment: steps; }
.how-steps li:last-child { margin-bottom: 0; }
.how-steps li::before { content: "0" counter(steps); position: absolute; left: 0; top: 1px; font: 12px var(--mono); color: var(--accent); }
.how-steps h3 { font-size: 15px; font-weight: 600; margin: 0 0 5px; }
.how-steps p { font-size: 13px; color: var(--ink-2); margin: 0; }
.results-preview { background: var(--surface-2); padding: 30px; border-radius: var(--radius); }
.stats { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; margin: 22px 0; }
.stat { border-left: 1px solid #c9d2c3; padding: 0 20px; }
.stat:first-child { border-left: 0; padding-left: 0; }
.stat b { display: block; font-size: 35px; font-weight: 550; letter-spacing: -.05em; margin-bottom: 5px; }
.stat span { color: var(--ink-2); font-size: 12px; display: block; max-width: 190px; }
.stat.caution b { color: var(--bad); }
.note { color: var(--ink-3); font-size: 12px; }
.text-link { font-size: 13px; font-weight: 600; }
.chip { display: inline-flex; align-items: center; gap: 6px; font-size: 11px; line-height: 1.6; font-weight: 550; padding: 4px 9px; border-radius: 5px; background: var(--muted-bg); color: var(--muted); }
.chip.good { background: var(--good-bg); color: var(--good); }
.chip.bad { background: var(--bad-bg); color: var(--bad); }
.chip.warn { background: var(--warn-bg); color: var(--warn); }
.chip.outline { background: transparent; border: 1px solid var(--line); color: var(--ink-2); }
.dot { display: inline-block; width: 5px; height: 5px; border-radius: 50%; background: currentColor; flex-shrink: 0; }
.table-scroll { overflow-x: auto; }
.table { width: 100%; border-collapse: collapse; font-size: 13px; }
.table th { font-size: 10px; text-transform: uppercase; letter-spacing: .05em; font-weight: 550; color: var(--ink-3); text-align: left; padding: 12px; border-bottom: 1px solid var(--line); }
.table td { padding: 14px 12px; border-bottom: 1px solid var(--line); vertical-align: middle; }
.table tr:hover td { background: #ffffff70; }
.table .title { width: 44%; min-width: 190px; }
.table .title a { color: var(--ink); font-weight: 550; }
.table .date { color: var(--ink-3); font-family: var(--mono); font-size: 10px; white-space: nowrap; }
.table .num { text-align: right; font-variant-numeric: tabular-nums; }
.filters { display: flex; flex-wrap: wrap; gap: 8px; margin: 14px 0; }
.filters a { display: inline-block; font-size: 12px; padding: 6px 12px; border: 1px solid var(--line); border-radius: 6px; color: var(--ink-2); }
.filters a.on { background: var(--ink); border-color: var(--ink); color: var(--bg); }
.filters a:hover { text-decoration: none; border-color: var(--ink-3); }
.search-label { font-size: 11px; color: var(--ink-3); min-width: 230px; }
input[type=search] { display: block; width: 100%; margin-top: 5px; padding: 9px 11px; border: 1px solid var(--line); border-radius: 7px; background: var(--surface); color: var(--ink); font-size: 12px; }
summary { cursor: pointer; font-size: 13px; font-weight: 550; }
summary::marker { color: var(--ink-3); }
details[open] > summary { margin-bottom: 16px; }
.verdict-filters { margin: 12px 0; color: var(--ink-2); }
.crumbs { margin: 28px 0 24px; font-size: 12px; color: var(--ink-3); display: flex; flex-wrap: wrap; align-items: center; gap: 9px; }
.saved-label { margin-left: auto; border: 1px solid var(--line); border-radius: 5px; padding: 3px 8px; font-family: var(--mono); font-size: 10px; }
.report-title { font-size: clamp(26px, 3.4vw, 39px); letter-spacing: -.04em; line-height: 1.2; margin: 12px 0 10px; font-weight: 550; overflow-wrap: anywhere; }
.report-subtitle { color: var(--ink-2); margin: 0; font-size: 14px; }
.meta { display: flex; flex-wrap: wrap; gap: 8px 22px; color: var(--ink-3); font-size: 11px; margin: 16px 0 28px; }
.panel { padding: 23px; border: 1px solid var(--line); background: var(--surface); border-radius: var(--radius); min-width: 0; }
.panel > :first-child { margin-top: 0; }
.panel > :last-child { margin-bottom: 0; }
.panel h3 { margin: 0 0 10px; font-size: 11px; font-weight: 600; text-transform: uppercase; letter-spacing: .07em; color: var(--ink-3); }
.panel p { color: var(--ink-2); font-size: 14px; }
.verdict { display: grid; grid-template-columns: 1fr 1.3fr; gap: 16px; margin-bottom: 25px; }
.verdict-main { border-top: 3px solid var(--muted); }
.verdict-main.bad { border-top-color: var(--bad); }
.verdict-main.good { border-top-color: var(--good); }
.verdict-main.warn { border-top-color: var(--warn); }
.verdict-main .big { font-size: 24px; font-weight: 550; line-height: 1.3; letter-spacing: -.03em; }
.verdict-main.bad .big { color: var(--bad); }
.verdict-main.good .big { color: var(--good); }
.verdict-main.warn .big { color: var(--warn); }
.report-claim .claim-summary { font-size: 19px; line-height: 1.5; color: var(--ink); margin: 16px 0 24px; letter-spacing: -.025em; }
.recorded-outcome summary { font-size: 11px; color: var(--ink-2); }
.reasoning-details { margin-top: 16px; }
.reasons { padding-left: 20px; font-size: 13px; color: var(--ink-2); }
.reasons li { margin: 9px 0; }
.override { margin: 15px 0; padding: 11px; background: var(--warn-bg); color: var(--warn); font-size: 12px; border-radius: 7px; overflow-wrap: anywhere; }
.spotlight-proof { display: grid; grid-template-columns: 1fr 1.3fr; gap: 30px; align-items: center; margin: 30px 0; }
.proof-caption h2 { font-weight: 550; font-size: 25px; letter-spacing: -.035em; margin: 10px 0; }
.proof-caption p { color: var(--ink-2); font-size: 14px; margin: 0 0 16px; }
.technical-details, .evidence-details, .method-details, .results-breakdown { border-block: 1px solid var(--line); margin: 24px 0; padding: 18px 0; }
.technical-details summary span, .evidence-details > summary span { font-size: 11px; font-weight: 400; color: var(--ink-3); margin-left: 12px; display: inline-block; }
.timeline { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); margin: 18px 0; border: 1px solid var(--line); border-radius: 10px; overflow: hidden; background: var(--surface); }
.tl { padding: 12px; border-right: 1px solid var(--line); min-width: 0; }
.tl:last-child { border-right: 0; }
.tl .k { font-size: 10px; color: var(--ink-3); text-transform: uppercase; letter-spacing: .03em; }
.tl .v { font-size: 12px; font-weight: 550; margin: 5px 0; overflow-wrap: anywhere; }
.tl .d { font-size: 11px; color: var(--ink-2); }
.tl.pending { opacity: .55; }
.tl.running { background: var(--good-bg); }
.tl.running .k::after { content: " …"; }
.tl.done .k { color: var(--good); }
.tl.failed { background: var(--bad-bg); }
.cols { display: grid; grid-template-columns: minmax(0, .9fr) minmax(0, 1.1fr); gap: 20px; align-items: start; margin-top: 24px; }
.column-heading { font-size: 17px; font-weight: 550; margin: 0 0 16px; }
.claims { display: flex; flex-direction: column; gap: 12px; }
.claim { background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); padding: 18px; }
.claim-head { display: flex; gap: 8px; align-items: center; margin-bottom: 10px; flex-wrap: wrap; }
.claim-id { font-family: var(--mono); font-size: 11px; color: var(--ink-3); }
.kind { font-size: 10px; text-transform: uppercase; letter-spacing: .05em; color: var(--ink-3); }
.claim .text { font-size: 14px; font-weight: 550; margin: 0 0 10px; }
.claim .why { color: var(--ink-2); font-size: 13px; margin: 8px 0; }
.claim-reasoning { margin-bottom: 12px; }
.claim-reasoning summary { font-size: 11px; color: var(--ink-2); }
.cites { display: flex; flex-wrap: wrap; gap: 6px; }
.cite { font-family: var(--mono); font-size: 10px; padding: 3px 7px; border-radius: 5px; background: var(--surface-2); color: var(--ink); border: 1px solid var(--line); overflow-wrap: anywhere; }
.cite.invalid { text-decoration: line-through; color: var(--ink-3); }
.code { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; overflow: hidden; margin-bottom: 14px; min-width: 0; }
.focus-code { margin-bottom: 0; }
.code-head { padding: 10px 14px; border-bottom: 1px solid var(--line); background: var(--surface-2); font-size: 10px; display: flex; gap: 5px 10px; flex-wrap: wrap; }
.code-head b { font-family: var(--mono); font-weight: 550; overflow-wrap: anywhere; }
.code-head span { color: var(--ink-3); }
.code-body { overflow: auto; background: var(--code-bg); max-height: 520px; padding: 10px 0; }
.code table { border-collapse: collapse; width: 100%; font-family: var(--mono); font-size: 11px; line-height: 1.8; font-variant-ligatures: none; }
.code td.ln { width: 1%; padding: 0 12px; text-align: right; color: var(--ink-3); user-select: none; white-space: nowrap; vertical-align: top; }
.code td.src { padding: 0 12px 0 4px; white-space: pre; }
.code tr.hit td, .code tr:target td { background: var(--cite-bg); }
.code tr.hit td.ln, .code tr:target td.ln { color: var(--ink); font-weight: 650; box-shadow: inset 3px 0 0 var(--cite-line); }
.code tr.note td.src { white-space: normal; font-family: var(--sans); font-size: 11px; color: var(--ink-2); padding: 4px 12px 8px 4px; background: var(--cite-bg); }
.code details summary { padding: 10px 12px; font-size: 11px; color: var(--ink-2); }
.problems li { margin: 8px 0; font-size: 12px; }
.draft-reply { margin: 20px 0; }
.reply { white-space: pre-wrap; background: var(--surface-2); border-radius: 8px; padding: 16px; font-size: 13px; margin: 0 0 14px; }
.excerpt { white-space: pre-wrap; font-family: var(--mono); font-size: 11px; background: var(--code-bg); border: 1px solid var(--line); border-radius: 8px; padding: 12px; max-height: 360px; overflow: auto; color: var(--ink-2); }
.quote { border-left: 3px solid var(--line); padding-left: 10px; color: var(--ink-2); font-size: 13px; margin: 8px 0; }
.stack > * + * { margin-top: 16px; }
.repro { border-left: 3px solid var(--muted); margin-bottom: 22px; }
.repro.good { border-left-color: var(--good); }
.repro.bad { border-left-color: var(--bad); }
.repro.warn { border-left-color: var(--warn); }
.repro .big { font-size: 25px; font-weight: 550; letter-spacing: -.025em; margin: 4px 0 12px; }
.repro.good .big { color: var(--good); }
.repro details { margin-top: 14px; }
.repro-code { white-space: pre-wrap; overflow-wrap: anywhere; background: var(--code-bg); border: 1px solid var(--line); border-radius: 8px; padding: 16px; font-family: var(--mono); font-size: 11px; color: var(--ink-2); margin: 8px 0 0; max-height: 320px; overflow-y: auto; }
.demo-next { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 16px; margin: 30px 0; font-size: 12px; }
.page-hero { padding-bottom: 10px; }
.live-form, .live-handoff { max-width: 800px; }
.live-form { display: grid; gap: 20px; }
.tabs { display: flex; gap: 8px; }
.tabs button { font-size: 13px; padding: 9px 15px; border-radius: 7px; border: 1px solid var(--line); background: var(--surface); color: var(--ink-2); cursor: pointer; }
.tabs button.on { background: var(--ink); color: var(--bg); border-color: var(--ink); }
.field-label { display: block; font-size: 12px; font-weight: 550; margin: 0 0 8px; }
.field-label:not(:first-child) { margin-top: 16px; }
input[type=text], input[type=url], textarea { width: 100%; color: var(--ink); background: var(--surface); border: 1px solid var(--line); border-radius: 8px; padding: 12px; font-size: 14px; }
textarea { font-family: var(--mono); font-size: 12px; min-height: 230px; resize: vertical; }
.examples { display: flex; flex-wrap: wrap; gap: 8px; font-size: 11px; color: var(--ink-3); align-items: center; margin-top: 12px; }
.examples button { font-size: 11px; padding: 5px 10px; border-radius: 6px; border: 1px dashed #b3c1af; background: transparent; color: var(--ink-2); cursor: pointer; }
.run-row { display: flex; flex-wrap: wrap; align-items: center; gap: 16px; }
.live-limits summary { font-size: 11px; color: var(--ink-2); }
.error { color: var(--bad); background: var(--bad-bg); border-radius: 8px; padding: 12px 16px; font-size: 13px; }
.failure-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
.collection { border-block: 1px solid var(--line); padding: 24px 0; }
.collection > summary { font-size: 20px; font-weight: 550; letter-spacing: -.025em; }
.collection > summary span { display: inline-block; font-size: 12px; font-weight: 400; letter-spacing: 0; color: var(--ink-3); margin-left: 12px; }
.repro-signature { font-family: var(--mono); font-size: 12px; background: var(--good-bg); color: var(--good); padding: 14px; border-radius: 8px; overflow-wrap: anywhere; }
.hidden { display: none !important; }
footer { margin: 65px 0 28px; padding-top: 20px; border-top: 1px solid var(--line); color: var(--ink-3); font-size: 11px; }
footer .wrap { display: flex; flex-wrap: wrap; gap: 10px 20px; justify-content: space-between; }
@media (max-width: 960px) {
  .home-hero { gap: 30px; }
  .hero h1 { font-size: 42px; }
  .value-strip b { display: block; }
  .example-card { padding: 20px; }
  .example-card h3 { font-size: 19px; }
}
@media (max-width: 760px) {
  .wrap { padding: 0 20px; }
  .top .wrap { height: 65px; }
  .nav { gap: 16px; font-size: 11px; }
  .nav .gh { display: none; }
  .brand { font-size: 20px; }
  .home-hero { grid-template-columns: 1fr; gap: 32px; padding-top: 40px; }
  .hero h1 { font-size: clamp(34px, 7vw, 47px); }
  .hero p.lead { font-size: 16px; }
  .proof-preview { transform: none; max-width: 530px; }
  .example-grid, .failure-grid, .how-section, .verdict, .spotlight-proof, .cols { grid-template-columns: 1fr; }
  .example-card h3 { margin-top: 16px; }
  .example-card p { margin-bottom: 18px; }
  .how-section { gap: 25px; }
  .section { margin: 40px 0; }
  .section h2 { font-size: 24px; }
  .section-heading { align-items: start; flex-direction: column; gap: 12px; }
  .results-preview { padding: 22px; }
  .stats { gap: 12px; }
  .stat { padding: 0 12px; }
  .stat b { font-size: 27px; }
  .stat span { font-size: 11px; }
  .table .hide-sm { display: none; }
  .table { min-width: 580px; }
  .spotlight-proof { gap: 20px; }
  .search-label { width: 100%; }
}
@media (max-width: 430px) {
  .nav { gap: 12px; }
  .brand { font-size: 18px; }
  .brand-mark { width: 24px; height: 24px; font-size: 15px; }
  .value-strip { grid-template-columns: 1fr; gap: 8px; }
  .value-strip b { display: inline; }
  .stats { grid-template-columns: 1fr; gap: 20px; }
  .stat, .stat:first-child { border-left: 0; padding: 0; }
  .stat span { max-width: none; }
  .stat b { font-size: 30px; margin-bottom: 0; }
  .preview-code pre { font-size: 10px; }
  .preview-top, .preview-claim, .preview-answer { padding-inline: 16px; }
  .technical-details summary span, .evidence-details > summary span { display: block; margin: 5px 0 0 17px; }
}
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { scroll-behavior: auto !important; transition: none !important; } }