/* heurics site styles */
  *,*::before,*::after{box-sizing:border-box;}
  body{margin:0;}
  img,svg,canvas{max-width:100%;}
  :root{
    --paper:#f3f0e8; --panel:#f8f6f0; --ink:#17181a; --ink-2:#3b3c3f; --muted:#75736c;
    --rule:#d8d2c4; --rule-strong:#17181a; --rust:#b4553a; --slate:#3f5f7a; --ok:#3d7a57;
    --gutter:clamp(16px,4vw,56px);
    --serif:"Newsreader",Georgia,"Times New Roman",serif;
    --sans:"IBM Plex Sans",system-ui,-apple-system,"Segoe UI",sans-serif;
    --mono:"IBM Plex Mono",ui-monospace,SFMono-Regular,Consolas,monospace;
  }
  html{scroll-behavior:smooth;}
  @media (prefers-reduced-motion:reduce){ html{scroll-behavior:auto;} }
  body{background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:16.5px;line-height:1.65;-webkit-font-smoothing:antialiased;}
  a{color:inherit;}
  a:focus-visible,button:focus-visible{outline:2px solid var(--rust);outline-offset:3px;}
  p{margin:0 0 1.1em;} p:last-child{margin-bottom:0;}
  .wrap{max-width:1240px;margin-inline:auto;padding-inline:var(--gutter);}
  .label{font-family:var(--mono);font-size:11.5px;letter-spacing:0.09em;text-transform:uppercase;color:var(--muted);margin:0;}
  .mono{font-family:var(--mono);}
  .num{font-variant-numeric:tabular-nums;}

  /* nav */
  .nav{position:sticky;top:env(safe-area-inset-top,0px);z-index:10;background:var(--paper);border-bottom:1px solid var(--rule);}
  .nav .wrap{display:flex;align-items:center;gap:28px;height:64px;}
  .brand{display:flex;align-items:center;gap:10px;text-decoration:none;}
  .brand span{font-family:var(--serif);font-size:21px;font-weight:500;letter-spacing:-0.01em;}
  .links{display:flex;align-items:center;align-self:stretch;gap:26px;margin-left:auto;font-family:var(--mono);font-size:12.5px;}
  .links > a.cta-sm{display:none;}
  .links a{text-decoration:none;color:var(--ink-2);padding-block:4px;border-bottom:1px solid transparent;}
  .links a:hover{color:var(--ink);}
  .links a[aria-current="page"]{color:var(--rust);border-bottom-color:var(--rust);}
  .cta-sm{font-family:var(--mono);font-size:12.5px;text-decoration:none;border:1px solid var(--ink);padding:7px 13px;white-space:nowrap;}
  .cta-sm:hover{background:var(--rust);border-color:var(--rust);color:#fdfbf7;}

  /* hero */
  .hero .wrap{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.12fr);align-items:center;gap:24px;padding-block:clamp(40px,6vw,72px) clamp(24px,4vw,40px);}
  .hero h1{font-family:var(--serif);font-weight:500;font-size:clamp(38px,5vw,64px);line-height:1.02;letter-spacing:-0.022em;margin:18px 0 24px;max-width:15ch;text-wrap:balance;}
  .hero h1 em{font-style:italic;color:var(--rust);}
  .lead{font-size:clamp(16px,1.35vw,18px);line-height:1.62;color:var(--ink-2);max-width:46ch;}
  .actions{display:flex;flex-wrap:wrap;gap:12px 22px;align-items:center;margin-top:30px;}
  .btn{font-family:var(--mono);font-size:13px;letter-spacing:0.03em;text-decoration:none;background:var(--rust);color:#fdfbf7;padding:13px 18px;}
  .btn:hover{background:var(--ink);}
  .link{font-family:var(--mono);font-size:13px;text-decoration:none;color:var(--rust);border-bottom:1px solid var(--rust);padding-bottom:2px;}
  .link:hover{color:var(--ink);border-color:var(--ink);}
  .mesh-box{position:relative;margin-right:calc(-1 * var(--gutter));}
  #mesh{display:block;width:100%;aspect-ratio:4 / 3;}

  /* essay sections: margin rail + reading column */
  .sec{border-top:1px solid var(--rule-strong);scroll-margin-top:64px;}
  .sec .wrap{display:grid;grid-template-columns:minmax(0,3fr) minmax(0,9fr);grid-template-areas:"rail body" "note body";column-gap:clamp(24px,4vw,64px);padding-block:clamp(56px,7vw,96px);}
  .rail{grid-area:rail;}
  .rail .label{position:sticky;top:96px;color:var(--rust);}
  .note{grid-area:note;align-self:end;font-size:14px;line-height:1.6;color:var(--muted);padding-top:28px;max-width:30ch;}
  .note b{color:var(--rust);font-weight:600;}
  .body{grid-area:body;min-width:0;}
  .body h2{font-family:var(--serif);font-weight:500;font-size:clamp(28px,3vw,40px);line-height:1.1;letter-spacing:-0.015em;margin:0 0 24px;max-width:22ch;text-wrap:balance;}
  .prose{max-width:64ch;color:var(--ink-2);}

  /* figure: the scale of the problem */
  .fig{margin:44px 0 0;}
  .fig .cols{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border-top:2px solid var(--rust);}
  .fig .cols > div{padding:18px 20px 4px 0;}
  .fig .cols > div + div{padding-left:20px;border-left:1px solid var(--rule);}
  .fig .v{font-family:var(--serif);font-size:clamp(28px,2.8vw,38px);line-height:1.1;letter-spacing:-0.01em;}
  .fig .v small{font-size:0.5em;color:var(--muted);}
  .fig .k{display:block;margin-top:8px;font-size:13.5px;color:var(--muted);max-width:26ch;}

  /* where they show up: a ruled definition list */
  .defs{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));column-gap:44px;margin-top:40px;}
  .def{border-top:1px solid var(--rule);padding-block:20px 22px;}
  .def .label{font-size:10.5px;color:var(--rust);}
  .def h3{font-family:var(--serif);font-weight:500;font-size:21px;line-height:1.25;margin:6px 0 6px;}
  .def p{font-size:15px;line-height:1.6;color:var(--ink-2);}

  /* what we're building */
  .goals{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:32px;margin-top:40px;}
  .goal{border-top:2px solid var(--rust);padding-top:16px;}
  .goal h3{font-family:var(--serif);font-weight:500;font-size:21px;line-height:1.25;margin:0 0 8px;}
  .goal p{font-size:15px;line-height:1.6;color:var(--ink-2);}
  .coda{font-family:var(--serif);font-style:italic;font-size:19px;line-height:1.55;color:var(--ink-2);max-width:56ch;margin-top:40px;}

  /* benchmarks */
  .families{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));column-gap:28px;margin-top:32px;font-family:var(--mono);font-size:13px;}
  .families span{border-top:1px solid var(--rule);padding-block:10px;}

  /* connect */
  .mail{display:inline-block;margin-top:28px;font-family:var(--mono);font-size:clamp(17px,2vw,22px);text-decoration:none;border-bottom:1px solid var(--rust);padding-bottom:4px;color:var(--rust);}
  .mail:hover{color:var(--ink);border-color:var(--ink);}

  /* research index */
  .entries{margin-top:40px;border-bottom:1px solid var(--rule);}
  .entry{display:grid;grid-template-columns:150px minmax(0,1fr);gap:8px 32px;padding-block:22px;border-top:1px solid var(--rule);text-decoration:none;}
  .entry .kind{display:flex;flex-direction:column;gap:5px;}
  .entry .kind .label{color:var(--rust);}
  .entry .soon{font-family:var(--mono);font-size:11px;letter-spacing:0.04em;color:var(--muted);}
  .entry h3{font-family:var(--serif);font-weight:500;font-size:22px;line-height:1.25;margin:0 0 6px;}
  .entry p{font-size:15px;color:var(--ink-2);max-width:60ch;}
  .entry:hover h3{color:var(--rust);}

  /* workbench preview (same paper theme) */
  .sec .wrap.appwrap{display:block;padding-block:0 clamp(56px,7vw,96px);}
  .app-scroll{overflow-x:auto;}
  .app{min-width:1080px;border:1px solid var(--rule-strong);background:var(--panel);font-size:13px;}
  .app-top{display:flex;align-items:center;gap:16px;padding:10px 14px;border-bottom:1px solid var(--rule);}
  .pill{font-family:var(--mono);font-size:12px;border:1px solid var(--rule);padding:5px 10px;background:var(--paper);}
  .app-grid{display:grid;grid-template-columns:minmax(0,1fr) 280px 260px;grid-template-rows:500px auto;}
  .pane{border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);min-width:0;display:flex;flex-direction:column;}
  .pane:nth-child(3){border-right:none;}
  .ph{display:flex;justify-content:space-between;align-items:center;gap:10px;padding:9px 12px;border-bottom:1px solid var(--rule);}
  .ph .label{font-size:10.5px;}
  .row{display:flex;justify-content:space-between;align-items:center;gap:10px;}

  /* real range inputs, styled to keep the old track/knob look; fill is set inline per-value */
  .rng{-webkit-appearance:none;appearance:none;width:100%;height:2px;background:var(--rule);border-radius:2px;margin:9px 0 16px;cursor:pointer;}
  .rng::-webkit-slider-thumb{-webkit-appearance:none;appearance:none;width:13px;height:13px;border-radius:50%;background:var(--panel);border:1.5px solid var(--ink);margin-top:-5.5px;}
  .rng::-moz-range-thumb{width:13px;height:13px;border-radius:50%;background:var(--panel);border:1.5px solid var(--ink);}
  .rng::-moz-range-track{height:2px;background:transparent;border:none;}
  .rng:focus-visible{outline:2px solid var(--rust);outline-offset:3px;}

  /* prove-optimality switch */
  .opt-toggle{font:inherit;font-family:var(--mono);font-size:11.5px;border:1px solid var(--ink);background:transparent;color:var(--ink);padding:3px 11px;min-width:38px;cursor:pointer;}
  .opt-toggle[aria-checked="true"]{background:var(--ink);color:var(--paper);}

  /* instance picker dropdown */
  .inst{position:relative;}
  .inst-menu{position:absolute;left:0;top:calc(100% + 8px);min-width:280px;background:var(--panel);border:1px solid var(--ink);box-shadow:0 10px 22px rgba(23,24,26,0.1);z-index:15;}
  .inst-menu button{display:flex;justify-content:space-between;align-items:baseline;gap:16px;width:100%;text-align:left;font:inherit;font-family:var(--mono);font-size:12px;color:var(--ink);background:none;border:0;border-bottom:1px solid var(--rule);padding:10px 14px;cursor:pointer;}
  .inst-menu button:last-child{border-bottom:0;}
  .inst-menu .sub{color:var(--muted);white-space:nowrap;}
  .inst-menu button:hover,.inst-menu button:focus-visible{background:var(--rust);color:#fdfbf7;}
  .inst-menu button:hover .sub,.inst-menu button:focus-visible .sub{color:#fdfbf7;}
  .inst-menu button[aria-selected="true"]{color:var(--rust);}

  table{border-collapse:collapse;width:100%;}
  th{font-family:var(--mono);font-weight:500;font-size:10px;letter-spacing:0.07em;text-transform:uppercase;color:var(--muted);text-align:left;padding:8px 12px;border-bottom:1px solid var(--rule);}
  td{font-family:var(--mono);font-size:12px;padding:7px 12px;border-bottom:1px solid #e6e1d5;font-variant-numeric:tabular-nums;}
  tr.fresh td{background:#e7eee6;}
  #runs-body tr{cursor:pointer;}
  #runs-body tr:hover td{background:var(--paper);}
  #runs-body tr.is-current td:first-child{color:var(--rust);font-weight:600;}
  .log{font-family:var(--mono);font-size:11.5px;line-height:1.8;padding:10px 14px;color:var(--ink-2);}
  .log .t{color:var(--muted);}
  @keyframes blink{50%{opacity:0;}}
  .caret{display:inline-block;width:7px;height:13px;background:var(--ink-2);vertical-align:-2px;animation:blink 1.1s steps(1) infinite;}
  @media (prefers-reduced-motion:reduce){ .caret{animation:none;} }

  /* footer */
  .foot{border-top:3px solid var(--rust);}
  .foot .wrap{display:flex;flex-wrap:wrap;gap:10px 28px;align-items:baseline;padding-block:26px 34px;font-family:var(--mono);font-size:12px;color:var(--muted);}
  .foot .wrap span:last-child{margin-left:auto;}

  @media (max-width:880px){
    .hero .wrap{grid-template-columns:minmax(0,1fr);row-gap:8px;}
    .mesh-box{order:-1;margin-inline:calc(-1 * var(--gutter));margin-top:calc(-1 * clamp(16px,4vw,40px));}
    #mesh{aspect-ratio:16 / 9;}
    .sec .wrap{grid-template-columns:minmax(0,1fr);grid-template-areas:"rail" "body" "note";row-gap:18px;}
    .rail .label{position:static;}
    .defs,.goals,.families{grid-template-columns:minmax(0,1fr);}
    .families{grid-template-columns:repeat(2,minmax(0,1fr));}
    .entry{grid-template-columns:minmax(0,1fr);}
  }
  @media (max-width:560px){
    .fig .cols{grid-template-columns:minmax(0,1fr);}
    .fig .cols > div + div{padding-left:0;border-left:none;border-top:1px solid var(--rule);}
  }

  /* eyebrow + steps (workbench intro) */
  .eyebrow{font-family:var(--mono);font-size:11.5px;letter-spacing:0.09em;text-transform:uppercase;color:var(--rust);margin:0 0 14px;}
  .steps{list-style:none;counter-reset:step;margin:36px 0 0;padding:0;max-width:64ch;}
  .steps li{counter-increment:step;position:relative;padding:18px 0 18px 46px;border-top:1px solid var(--rule);font-size:15px;line-height:1.6;color:var(--ink-2);}
  .steps li::before{content:counter(step);position:absolute;left:0;top:18px;width:26px;height:26px;display:grid;place-items:center;border:1px solid var(--rust);color:var(--rust);font-family:var(--mono);font-size:12px;}
  .steps b{color:var(--ink);font-weight:600;}

  /* what is coming next */
  .upcoming{margin-top:26px;}
  .up{border-top:1px solid var(--rule);padding-block:22px 24px;max-width:64ch;}
  .up:first-child{border-top:2px solid var(--rust);}
  .up-kind{font-family:var(--mono);font-size:11px;letter-spacing:0.08em;text-transform:uppercase;color:var(--rust);margin:0 0 8px;}
  .up h3{font-family:var(--serif);font-weight:500;font-size:22px;line-height:1.25;margin:0 0 8px;}
  .up p{font-size:15px;line-height:1.6;color:var(--ink-2);margin:0;}

  /* workbench menu in the nav */
  .wb{display:flex;align-items:center;}
  .wb-btn{font:inherit;font-family:var(--mono);font-size:12.5px;color:var(--ink-2);background:none;border:0;border-bottom:1px solid transparent;padding:4px 0;cursor:pointer;}
  .wb-btn[aria-expanded="true"]{color:var(--rust);}
  .wb-btn:hover{color:var(--ink);}
  .wb-btn.is-current{color:var(--rust);border-bottom-color:var(--rust);}
  .wb-strip{display:grid;grid-template-columns:0fr;overflow:hidden;transition:grid-template-columns 320ms cubic-bezier(0.4,0,0.2,1);}
  .wb-strip.open{grid-template-columns:1fr;}
  .wb-strip-inner{display:flex;align-items:center;gap:12px;min-width:0;padding-left:14px;opacity:0;transition:opacity 180ms ease;}
  .wb-strip.open .wb-strip-inner{opacity:1;transition-delay:80ms;}
  .wb-sep{width:1px;height:15px;background:var(--rule);flex:none;}
  .wb-strip a{font-family:var(--mono);font-size:12.5px;color:var(--rust);text-decoration:none;white-space:nowrap;}
  .wb-strip a:hover{color:var(--ink);}
  @media (prefers-reduced-motion:reduce){ .wb-strip,.wb-strip-inner{transition:none;} }

  /* small screens: the links collapse behind a menu button */
  .nav-toggle{display:none;margin-left:auto;background:none;border:1px solid var(--rule);color:var(--ink);padding:8px 10px;cursor:pointer;}
  .nav-toggle[aria-expanded="true"]{border-color:var(--rust);color:var(--rust);}
  @media (max-width:880px){
    .nav-toggle{display:inline-flex;}
    .nav .wrap{gap:14px;}
    .nav > .wrap > .cta-sm{display:none;}
    .links{display:none;position:absolute;left:0;right:0;top:100%;margin:0;background:var(--panel);border-top:1px solid var(--rule);border-bottom:2px solid var(--rust);padding:8px var(--gutter) 16px;}
    .links.open{display:block;}
    .links > a{display:block;padding-block:11px;border-bottom:1px solid var(--rule);}
    .links > a.cta-sm{display:block;margin-top:12px;border:1px solid var(--ink);text-align:center;padding-block:11px;}
    .links > a.cta-sm:last-child{border-bottom:1px solid var(--ink);}
    .wb{display:block;padding-top:4px;}
    .wb-strip{grid-template-columns:1fr;overflow:visible;display:block;transition:none;}
    .wb-strip-inner{display:block;padding-left:16px;opacity:1;}
    .wb-sep{display:none;}
    .wb-strip a{display:block;padding-block:10px;}
  }

  /* long-form article */
  .art-dek{font-family:var(--serif);font-size:clamp(19px,1.7vw,22px);line-height:1.5;color:var(--ink-2);max-width:56ch;margin:0 0 18px;}
  .art-meta{font-family:var(--mono);font-size:12px;color:var(--muted);margin:0 0 8px;}
  .art h3{font-family:var(--serif);font-weight:500;font-size:clamp(23px,2.2vw,28px);line-height:1.2;letter-spacing:-0.01em;margin:64px 0 18px;max-width:30ch;scroll-margin-top:84px;}
  .art h4{font-family:var(--sans);font-weight:600;font-size:16px;margin:32px 0 10px;color:var(--ink);}
  .art .prose b{color:var(--ink);font-weight:600;}
  .art .prose code,.art td code,.wrongs code{font-family:var(--mono);font-size:0.88em;background:var(--panel);border:1px solid var(--rule);padding:0 4px;}
  .eq{font-family:var(--mono);font-size:13.5px;line-height:1.9;background:var(--panel);border-left:2px solid var(--rust);padding:16px 20px;margin:22px 0 26px;max-width:64ch;overflow-x:auto;white-space:pre;color:var(--ink);}
  .eq .c{color:var(--muted);}
  .code{font-family:var(--mono);font-size:12.5px;line-height:1.75;background:var(--ink);color:#ece8de;padding:18px 22px;margin:22px 0 26px;max-width:72ch;overflow-x:auto;white-space:pre;}
  .code .c{color:#9c988d;}
  .fig .cols.four{grid-template-columns:repeat(4,minmax(0,1fr));}
  .fig .cols.four > div{padding-right:16px;}
  .fig .cols.four > div + div{padding-left:16px;}
  .fig-cap{font-size:13.5px;color:var(--muted);max-width:64ch;margin:18px 0 0;}
  .flow{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:0;margin:30px 0 8px;max-width:72ch;}
  .flow > div{border:1px solid var(--rule-strong);padding:14px 16px 16px;position:relative;background:var(--paper);}
  .flow > div + div{border-left:none;}
  .flow > div + div::before{content:"\2192";position:absolute;left:-9px;top:14px;background:var(--paper);color:var(--rust);font-family:var(--mono);font-size:14px;line-height:1;padding:2px 0;}
  .flow .label{color:var(--rust);margin-bottom:6px;}
  .flow h5{font-family:var(--serif);font-weight:500;font-size:19px;margin:0 0 6px;}
  .flow p{font-size:14px;line-height:1.55;color:var(--ink-2);margin:0;}
  .flow > div.trust{background:var(--panel);}
  .tbl{overflow-x:auto;margin:22px 0 10px;max-width:72ch;}
  .tbl table{min-width:520px;}
  .tbl td:not(:first-child),.tbl th:not(:first-child){text-align:right;}
  .tbl td.l,.tbl th.l{text-align:left;}
  .tbl tr.em td{color:var(--ink);font-weight:500;background:var(--panel);}
  .tbl caption{caption-side:bottom;text-align:left;font-size:13px;color:var(--muted);padding-top:10px;line-height:1.55;}
  .wrongs{margin:22px 0 0;max-width:64ch;}
  .wrongs > div{border-top:1px solid var(--rule);padding:16px 0 18px;}
  .wrongs h5{font-family:var(--serif);font-weight:500;font-size:19px;margin:0 0 6px;color:var(--ink);}
  .wrongs p{font-size:15px;line-height:1.6;color:var(--ink-2);margin:0;}
  .callout{border-top:2px solid var(--rust);background:var(--panel);padding:18px 22px;margin:28px 0;max-width:64ch;font-size:15px;line-height:1.6;color:var(--ink-2);}
  .callout b{color:var(--ink);}
  .art .up h3{font-size:22px;margin:0 0 8px;max-width:none;}
  .art .prose ul{margin:0 0 1.1em;padding-left:1.2em;}
  .art .prose li{margin-bottom:0.4em;}
  .art .prose li::marker{color:var(--rust);}
  .toc{position:sticky;top:96px;}
  .toc ol{list-style:none;margin:18px 0 0;padding:0;font-family:var(--mono);font-size:12px;line-height:1.5;}
  .toc li{border-top:1px solid var(--rule);}
  .toc a{display:block;padding:7px 0;text-decoration:none;color:var(--ink-2);}
  .toc a:hover{color:var(--rust);}
  .toc .label{position:static;}
  @media (max-width:880px){
    .toc{position:static;}
    .toc ol{display:none;}
    .fig .cols.four{grid-template-columns:repeat(2,minmax(0,1fr));}
    .fig .cols.four > div:nth-child(3){padding-left:0;border-left:none;}
    .fig .cols.four > div:nth-child(n+3){border-top:1px solid var(--rule);}
    .flow{grid-template-columns:minmax(0,1fr);}
    .flow > div + div{border-left:1px solid var(--rule-strong);border-top:none;}
    .flow > div + div::before{content:"\2193";left:16px;top:-9px;padding:0 4px;}
  }
  @media (max-width:560px){
    .fig .cols.four{grid-template-columns:minmax(0,1fr);}
    .fig .cols.four > div + div{padding-left:0;border-left:none;border-top:1px solid var(--rule);}
  }

  /* research areas */
  .areas{display:flex;flex-wrap:wrap;gap:8px;margin:36px 0 8px;}
  .area{font-family:var(--mono);font-size:12.5px;text-decoration:none;color:var(--ink-2);border:1px solid var(--rule);padding:7px 14px;}
  .area:hover{border-color:var(--ink);color:var(--ink);}
  .area[aria-selected="true"]{background:var(--ink);border-color:var(--ink);color:var(--paper);}
  .group{margin-top:32px;scroll-margin-top:84px;}
  .group[hidden]{display:none;}
  .group .entries{margin-top:14px;}
  .group-h{font-family:var(--serif);font-weight:500;font-size:26px;margin:0;display:flex;flex-wrap:wrap;align-items:baseline;gap:4px 14px;}
  .group-h span{font-family:var(--mono);font-size:11.5px;letter-spacing:0.08em;text-transform:uppercase;color:var(--rust);}