/* zkAI SoK design system. Lifted verbatim from the hand-built Operator Atlas (docs/index.html) so the generated site keeps the look. Additions for the multi-page shell are at the end, under ADDITIONS -- keep them there so the lifted block stays diffable against its origin. */ :root{ --void:#0a0c0e; --ink:#0f1316; --surface:#141a1e; --surface-2:#1a2228; --line:#28323a; --line-bright:#3b4750; --paper:#e9e4d9; --paper-dim:#a8a89f; --muted:#6f7d86; --amber:#d99a3f; --amber-dim:#7a5a26; --cyan:#5fb0b7; --rose:#c96a5e; --lime:#a8c256; --violet:#9b8bc4; --serif:"Newsreader",Georgia,serif; --display:"Instrument Serif",Georgia,serif; --mono:"JetBrains Mono",ui-monospace,Menlo,monospace; --sidebar:296px; --topbar:46px; color-scheme:dark; } /* Light theme: flip the neutral scale, darken the accents for contrast on paper. Set by an inline script from localStorage / prefers-color-scheme, toggled by the button in the top bar. Dark stays the default (no attribute). */ :root[data-theme="light"]{ --void:#f6f3ec; --ink:#efebe1; --surface:#e6e0d4; --surface-2:#dcd5c7; --line:#d7d0c1; --line-bright:#c0b8a6; --paper:#20252a; --paper-dim:#565b61; --muted:#82868c; --amber:#9c6410; --amber-dim:#c8a468; --cyan:#26757c; --rose:#a8453a; --lime:#5c7a28; --violet:#655593; color-scheme:light; } :root[data-theme="light"] a:hover{color:#c07d18} :root[data-theme="light"] body::before{opacity:.02} :root[data-theme="light"] .note{background:rgba(0,0,0,.035)} *{box-sizing:border-box} html{scroll-behavior:smooth} body{margin:0;background:var(--void);color:var(--paper);font-family:var(--serif);font-size:17px;line-height:1.62;-webkit-font-smoothing:antialiased} body::before{content:"";position:fixed;inset:0;pointer-events:none;z-index:200;opacity:.03; background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='140' height='140'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.85' numOctaves='3'/%3E%3C/filter%3E%3Crect width='140' height='140' filter='url(%23n)'/%3E%3C/svg%3E")} a{color:var(--amber);text-decoration:none} a:hover{color:#f0b755} /* ===== top bar: crypto-paradigm switcher (orthogonal to the cell 2x2) ===== */ nav.topbar{ position:sticky;top:0;z-index:110;height:var(--topbar); display:flex;align-items:stretch;gap:2px;overflow-x:auto; background:var(--ink);border-bottom:1px solid var(--line); padding:0 18px;scrollbar-width:none; } nav.topbar::-webkit-scrollbar{display:none} nav.topbar a.top{ display:flex;align-items:center;white-space:nowrap;padding:0 15px; font-family:var(--mono);font-size:11px;letter-spacing:.11em;text-transform:uppercase; color:var(--muted);border-bottom:2px solid transparent;transition:color .15s; } nav.topbar a.top:hover{color:var(--paper)} nav.topbar a.top.on{color:var(--amber);border-bottom-color:var(--amber)} .themetoggle{margin-left:auto;flex:none;background:none;border:none;color:var(--muted); cursor:pointer;font-size:15px;line-height:1;padding:0 6px 0 16px;display:flex;align-items:center} .themetoggle:hover{color:var(--paper)} .themetoggle .t-light{display:none} :root[data-theme="light"] .themetoggle .t-dark{display:none} :root[data-theme="light"] .themetoggle .t-light{display:inline} /* ===== shell ===== */ .shell{display:flex;min-height:calc(100vh - var(--topbar))} aside.sidebar{ width:var(--sidebar);flex:0 0 var(--sidebar); position:sticky;top:var(--topbar);height:calc(100vh - var(--topbar));overflow-y:auto; border-right:1px solid var(--line);background:var(--ink); padding:26px 0 60px;scrollbar-width:thin;scrollbar-color:var(--line-bright) transparent; } aside.sidebar::-webkit-scrollbar{width:7px} aside.sidebar::-webkit-scrollbar-thumb{background:var(--line-bright)} .brand{padding:0 24px 22px;border-bottom:1px solid var(--line);margin-bottom:18px} .brand .mark{display:flex;align-items:center;gap:9px;font-family:var(--mono);font-size:9.5px;letter-spacing:.24em;text-transform:uppercase;color:var(--muted)} .brand .mark i{width:5px;height:5px;background:var(--amber);border-radius:50%;box-shadow:0 0 10px var(--amber)} .brand h1{font-family:var(--display);font-weight:400;font-size:27px;line-height:1.1;margin:12px 0 0;letter-spacing:-.01em} .brand h1 em{font-style:italic;color:var(--amber)} .filter{margin:0 20px 20px;position:relative} .filter input{ width:100%;background:var(--void);border:1px solid var(--line);color:var(--paper); font-family:var(--mono);font-size:11.5px;padding:9px 11px 9px 30px;outline:none;letter-spacing:.05em; } .filter input:focus{border-color:var(--amber-dim)} .filter input::placeholder{color:var(--muted)} .filter svg{position:absolute;left:10px;top:9px;width:13px;height:13px;stroke:var(--muted);fill:none;stroke-width:2} .navgroup{font-family:var(--mono);font-size:9px;letter-spacing:.22em;text-transform:uppercase;color:var(--muted);padding:20px 24px 8px} aside a.nav{ display:flex;align-items:baseline;gap:9px;padding:7px 24px 7px 22px; border-left:2px solid transparent;color:var(--paper-dim);font-size:15px;line-height:1.35; } aside a.nav:hover{background:var(--surface);color:var(--paper)} aside a.nav.on{border-left-color:var(--amber);background:var(--surface);color:var(--paper)} aside a.nav .n{font-family:var(--mono);font-size:9.5px;color:var(--muted);min-width:16px} aside a.nav.on .n{color:var(--amber)} aside a.nav .miss{margin-left:auto;font-family:var(--mono);font-size:8.5px;letter-spacing:.1em;color:var(--rose);opacity:.75;align-self:center} main{flex:1;min-width:0;padding:0 0 120px} .page{max-width:900px;padding:56px 56px 0} @media(max-width:1080px){.page{padding:44px 28px 0}} .burger{display:none} @media(max-width:900px){ .shell{display:block} aside.sidebar{position:fixed;z-index:120;top:var(--topbar);height:calc(100vh - var(--topbar)); transform:translateX(-100%);transition:transform .28s ease;width:290px} aside.sidebar.open{transform:none} /* burger tucks into the top bar's left; the bar pads left to clear it */ .burger{display:flex;position:fixed;z-index:130;top:2px;left:8px;width:40px;height:42px;align-items:center;justify-content:center; background:var(--surface);border:1px solid var(--line);color:var(--paper);font-size:17px;cursor:pointer} nav.topbar{padding-left:56px} .page{padding-top:28px} } /* ===== page furniture ===== */ .crumb{font-family:var(--mono);font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:var(--muted);margin-bottom:16px} .crumb b{color:var(--amber);font-weight:400} h2.ptitle{font-family:var(--display);font-weight:400;font-size:clamp(38px,5.2vw,62px);line-height:1.02;letter-spacing:-.015em;margin:0} h2.ptitle em{font-style:italic;color:var(--amber)} .psub{font-family:var(--mono);font-size:11px;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);margin-top:12px} .lede{font-size:19px;font-weight:300;color:var(--paper-dim);max-width:66ch;margin:26px 0 0;border-left:2px solid var(--amber-dim);padding-left:18px} .lede strong{color:var(--paper);font-weight:500} .tag{font-family:var(--mono);font-size:9.5px;letter-spacing:.13em;text-transform:uppercase;padding:4px 9px;border:1px solid var(--line-bright);color:var(--paper-dim);white-space:nowrap} .tag.hostile{border-color:#5c2f2b;color:var(--rose);background:rgba(201,106,94,.07)} .tag.friendly{border-color:#3d5240;color:var(--lime);background:rgba(168,194,86,.06)} .tag.mid{border-color:#4a4529;color:var(--amber);background:rgba(217,154,63,.06)} .tag.core{border-color:#3a3560;color:var(--violet);background:rgba(155,139,196,.08)} h3.head{font-family:var(--mono);font-size:10.5px;letter-spacing:.24em;text-transform:uppercase;color:var(--muted); margin:58px 0 20px;display:flex;align-items:center;gap:16px} h3.head::after{content:"";flex:1;height:1px;background:var(--line)} h3.head.amber{color:var(--amber)} h3.head.amber::after{background:var(--amber-dim);opacity:.5} p{margin:0 0 16px} .prose p{color:var(--paper-dim);font-weight:300;max-width:72ch} .prose p strong{color:var(--paper);font-weight:500} .prose em{color:var(--paper)} code{font-family:var(--mono);font-size:12.5px;background:var(--void);border:1px solid var(--line);padding:1px 5px;color:var(--cyan)} .math{background:var(--void);border:1px solid var(--line);border-left:2px solid var(--cyan); padding:18px 20px;margin:0 0 24px;overflow-x:auto} .math .katex{color:var(--paper);font-size:1.02em} .math .katex-display{margin:0} pre.ascii{font-family:var(--mono);font-size:12.5px;line-height:1.75;color:var(--paper-dim); background:var(--void);border:1px solid var(--line);border-left:2px solid var(--violet); padding:16px 18px;margin:0 0 24px;overflow-x:auto} /* --- code-grounded additions (Jolt Atlas from source @b20cdce) --- */ .scheme-body figure.code{margin:15px 0;border:1px solid var(--line);border-radius:7px;overflow:hidden;background:var(--void)} .scheme-body figure.code figcaption{font-family:var(--mono);font-size:11px;letter-spacing:.02em;color:var(--cyan);padding:6px 12px;border-bottom:1px solid var(--line);background:rgba(0,0,0,.2);white-space:nowrap;overflow-x:auto} .scheme-body figure.code figcaption.cap{color:var(--muted);border-bottom:none;border-top:1px dotted var(--line);font-size:11.5px;letter-spacing:0;white-space:normal} .scheme-body pre.src{margin:0;padding:12px 14px;overflow-x:auto;font-family:var(--mono);font-size:11.5px;line-height:1.6;color:var(--paper);tab-size:2} .audit{margin:18px 0 4px;border-left:3px solid var(--amber);background:linear-gradient(90deg,rgba(217,154,63,.09),transparent);padding:12px 15px;border-radius:0 6px 6px 0;font-size:14px;line-height:1.62;color:var(--paper-dim);max-width:74ch} .audit .audit-h{display:block;font-family:var(--mono);font-size:10.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--amber);margin-bottom:7px} .audit code,.audit b{color:var(--paper)} .audit code{font-family:var(--mono);font-size:12.5px} .audit ul{margin:6px 0 0;padding-left:18px} .audit li{margin:5px 0} /* intuition: non-adversarial teaching. Cyan == the "mechanism" colour. */ .intuition{margin:18px 0 4px;border-left:3px solid var(--cyan);background:linear-gradient(90deg,rgba(95,176,183,.09),transparent);padding:12px 15px;border-radius:0 6px 6px 0;font-size:14px;line-height:1.62;color:var(--paper-dim);max-width:74ch} .intuition .intuition-h{display:block;font-family:var(--mono);font-size:10.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--cyan);margin-bottom:7px} .intuition code,.intuition b{color:var(--paper)} .intuition code{font-family:var(--mono);font-size:12.5px} .intuition ul{margin:6px 0 0;padding-left:18px} .intuition li{margin:5px 0} /* note: a quiet tangential aside. Neutral grey, no alarm colour. */ .note{margin:18px 0 4px;border-left:3px solid var(--line-bright);background:rgba(255,255,255,.02);padding:12px 15px;border-radius:0 6px 6px 0;font-size:14px;line-height:1.62;color:var(--paper-dim);max-width:74ch} .note .note-h{display:block;font-family:var(--mono);font-size:10.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted);margin-bottom:7px} .note code,.note b{color:var(--paper)} .note code{font-family:var(--mono);font-size:12.5px} .note ul{margin:6px 0 0;padding-left:18px} .note li{margin:5px 0} .grounded{display:inline-block;margin-left:9px;font-family:var(--mono);font-size:9.5px;letter-spacing:.09em;color:var(--cyan);border:1px solid var(--line-bright);border-radius:10px;padding:1px 8px;vertical-align:middle;text-transform:uppercase} table.audit-t{border-collapse:collapse;width:100%;margin:8px 0 22px;font-size:13.5px} table.audit-t th,table.audit-t td{border:1px solid var(--line);padding:8px 11px;text-align:left;vertical-align:top} table.audit-t th{font-family:var(--mono);font-size:11px;letter-spacing:.05em;color:var(--muted);text-transform:uppercase;background:var(--surface)} table.audit-t td code{font-family:var(--mono);font-size:11.5px;color:var(--cyan)} /* orgs.yml landscape table */ table.orgs{border-collapse:collapse;width:100%;margin:10px 0 26px;font-size:13.5px} table.orgs th,table.orgs td{border:1px solid var(--line);padding:9px 12px;text-align:left;vertical-align:top} table.orgs th{font-family:var(--mono);font-size:10.5px;letter-spacing:.05em;color:var(--muted);text-transform:uppercase;background:var(--surface);white-space:nowrap} table.orgs td:nth-child(4){font-weight:300;color:var(--paper-dim);min-width:26ch} table.orgs td p{margin:0} table.orgs td b{color:var(--paper)} .pbadge{display:inline-block;font-family:var(--mono);font-size:9.5px;letter-spacing:.04em;padding:2px 8px;border-radius:9px;white-space:nowrap;border:1px solid var(--line-bright);color:var(--muted)} .pbadge.pb-model{color:var(--cyan);border-color:var(--cyan)} .pbadge.pb-input{color:var(--violet);border-color:var(--violet)} .pbadge.pb-config{color:var(--amber);border-color:var(--amber-dim)} .sev{font-family:var(--mono);font-size:10.5px;letter-spacing:.06em;padding:1px 7px;border-radius:9px;white-space:nowrap} .sev.high{color:var(--rose);border:1px solid var(--rose)} .sev.med{color:var(--amber);border:1px solid var(--amber-dim)} .sev.low{color:var(--muted);border:1px solid var(--line-bright)} ul.kit{list-style:none;padding:0;margin:0 0 8px;max-width:72ch} ul.kit li{font-family:var(--mono);font-size:12.5px;color:var(--paper-dim);padding:9px 0 9px 22px;position:relative;border-bottom:1px dotted var(--line)} ul.kit li::before{content:"▸";position:absolute;left:0;color:var(--cyan)} /* ===== scheme sections ===== */ .scheme{border:1px solid var(--line);background:var(--ink);margin-bottom:26px} .scheme-head{display:flex;align-items:center;gap:14px;padding:16px 22px;border-bottom:1px solid var(--line);flex-wrap:wrap} .scheme-head .pname{font-family:var(--display);font-size:25px;line-height:1} .scheme-head .venue{font-family:var(--mono);font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted)} .scheme-head .spine{margin-left:auto;font-family:var(--mono);font-size:9.5px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted)} .scheme[data-p="deepprove"] .scheme-head{background:linear-gradient(90deg,rgba(217,154,63,.10),transparent 70%)} .scheme[data-p="deepprove"] .scheme-head .pname{color:var(--amber)} .scheme[data-p="jolt"] .scheme-head{background:linear-gradient(90deg,rgba(95,176,183,.10),transparent 70%)} .scheme[data-p="jolt"] .scheme-head .pname{color:var(--cyan)} .scheme[data-p="zkllm"] .scheme-head{background:linear-gradient(90deg,rgba(155,139,196,.10),transparent 70%)} .scheme[data-p="zkllm"] .scheme-head .pname{color:var(--violet)} .scheme-body{padding:22px 22px 8px} .scheme-body .tldr{font-size:17.5px;color:var(--paper);margin:0 0 18px;max-width:70ch} .scheme-body ul{margin:0;padding:0 0 0 20px;max-width:72ch} .scheme-body li{font-size:15px;color:var(--paper-dim);font-weight:300;margin-bottom:11px} .scheme-body li strong{color:var(--paper);font-weight:500} .cost{font-family:var(--mono);font-size:10.5px;letter-spacing:.09em;text-transform:uppercase;color:var(--muted); border-top:1px dotted var(--line);padding:12px 0 14px;margin-top:12px} .cost b{color:var(--amber);font-weight:500} .scheme[data-p="jolt"] .cost b{color:var(--cyan)} /* blockquotes from the source papers */ blockquote.q{ margin:20px 0;padding:16px 20px 14px;background:var(--void); border-left:2px solid var(--amber-dim);position:relative; } .scheme[data-p="jolt"] blockquote.q{border-left-color:#2e5457} blockquote.q p{ margin:0;font-size:16px;line-height:1.6;color:var(--paper);font-style:italic;font-weight:300; max-width:66ch; } blockquote.q p::before{content:"“";color:var(--amber);font-family:var(--display);font-size:26px;line-height:0; vertical-align:-2px;margin-right:2px} blockquote.q p::after{content:"”";color:var(--amber);font-family:var(--display);font-size:26px;line-height:0; vertical-align:-6px;margin-left:1px} .scheme[data-p="jolt"] blockquote.q p::before,.scheme[data-p="jolt"] blockquote.q p::after{color:var(--cyan)} blockquote.q cite{ display:block;margin-top:11px;font-style:normal; font-family:var(--mono);font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted); } blockquote.q cite b{color:var(--paper-dim);font-weight:500} .debate blockquote.q{border-left-color:var(--violet)} .debate blockquote.q p::before,.debate blockquote.q p::after{color:var(--violet)} .gap{border:1px dashed var(--line-bright);background:rgba(201,106,94,.03);padding:20px 22px;margin-bottom:26px;display:flex;gap:16px;align-items:flex-start} .gap .gm{font-family:var(--mono);font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--rose);white-space:nowrap;padding-top:3px} .gap p{margin:0;font-size:15px;color:var(--paper-dim);font-weight:300} .gap p b{color:var(--paper);font-weight:500} .debate{border:1px solid var(--violet);border-left-width:2px;background:rgba(155,139,196,.05);padding:22px;margin:28px 0} .debate h4{font-family:var(--mono);font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:var(--violet);margin:0 0 12px} .debate p{margin:0 0 12px;font-size:15.5px;color:var(--paper-dim);font-weight:300} .debate p:last-child{margin:0} .debate b{color:var(--paper);font-weight:500} /* ===== tables ===== */ .scrollx{overflow-x:auto;border:1px solid var(--line)} table.matrix{border-collapse:collapse;width:100%;min-width:720px;background:var(--ink)} table.matrix th,table.matrix td{border-bottom:1px solid var(--line);border-right:1px solid var(--line);padding:13px 15px;text-align:left;vertical-align:top} table.matrix thead th{background:var(--surface-2);font-family:var(--mono);font-size:9.5px;letter-spacing:.16em;text-transform:uppercase;color:var(--paper);font-weight:500} table.matrix tbody th{font-family:var(--serif);font-weight:400;font-size:15px;background:var(--surface);white-space:nowrap} table.matrix tbody th a{color:var(--paper)} table.matrix td{font-family:var(--mono);font-size:11.5px;color:var(--paper-dim);line-height:1.6} table.matrix tbody tr:hover td,table.matrix tbody tr:hover th{background:var(--surface-2)} .na{color:var(--rose);opacity:.5} /* ===== cards / bars ===== */ .grid2{display:grid;grid-template-columns:repeat(auto-fit,minmax(330px,1fr));gap:1px;background:var(--line);border:1px solid var(--line)} .chal{background:var(--ink);padding:28px 26px} .chal .cn{font-family:var(--mono);font-size:9.5px;letter-spacing:.2em;color:var(--amber);text-transform:uppercase} .chal h4{font-family:var(--display);font-size:25px;font-weight:400;margin:5px 0 0;line-height:1.2} .chal>p{color:var(--paper-dim);font-weight:300;font-size:15.5px;margin:13px 0 0} .ans{margin-top:16px;padding-top:13px;border-top:1px dotted var(--line);font-size:13.5px;color:var(--paper-dim);font-weight:300;line-height:1.6} .ans .who{font-family:var(--mono);font-size:9.5px;letter-spacing:.12em;text-transform:uppercase;display:block;margin-bottom:5px} .ans.dp .who{color:var(--amber)} .ans.jl .who{color:var(--cyan)} .facts{display:flex;flex-wrap:wrap;border-top:1px solid var(--line);border-left:1px solid var(--line);margin:44px 0 0} .fact{flex:1 1 170px;padding:16px 20px;border-right:1px solid var(--line);border-bottom:1px solid var(--line)} .fact b{display:block;font-family:var(--display);font-size:29px;font-weight:400;color:var(--amber);line-height:1.1} .fact span{font-family:var(--mono);font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted)} .bar-row{display:grid;grid-template-columns:170px 1fr 66px;gap:13px;align-items:center;margin-bottom:9px} .bar-row .bl{font-family:var(--mono);font-size:11px;color:var(--paper-dim)} .bar-track{display:block;height:11px;background:var(--surface-2);border:1px solid var(--line);overflow:hidden} .bar-fill{display:block;height:100%;width:0;background:linear-gradient(90deg,var(--amber-dim),var(--amber));transition:width .9s cubic-bezier(.2,.8,.2,1)} .bar-fill.c2{background:linear-gradient(90deg,#2e5457,var(--cyan))} .bar-row .bv{font-family:var(--mono);font-size:11px;color:var(--amber);text-align:right} .bars.c2 .bv{color:var(--cyan)} .roster{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:18px} .pcard{border:1px solid var(--line);background:var(--ink);padding:24px} .pcard.live{border-color:var(--amber-dim)} .pcard.live.jl{border-color:#2e5457} .pcard h4{font-family:var(--display);font-size:27px;font-weight:400;margin:0} .pcard .meta{font-family:var(--mono);font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted);margin:6px 0 14px} .pcard p{font-size:14.5px;color:var(--paper-dim);font-weight:300;margin:0} .pcard .sys{margin-top:13px;font-family:var(--mono);font-size:11px;color:var(--cyan);line-height:1.7} .pcard .status{font-family:var(--mono);font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;margin-top:15px;padding-top:12px;border-top:1px dotted var(--line)} .pcard .status.ok{color:var(--lime)} .pcard .status.todo{color:var(--muted)} /* ===== chart ===== Categorical palette snapped into the dark band (OKLCH L 0.48–0.67, C ≥ 0.10) and validated: worst adjacent CVD ΔE 49.3, all slots ≥ 3:1 on surface #0f1316. */ .viz{ --surface-1:#0f1316; --series-gkr:#01a9b4; /* slot 1 — GKR + sum-check + lookups */ --series-halo2:#c58203; /* slot 2 — Halo2 / arithmetic circuit */ --series-vole:#9866f1; /* slot 3 — VOLE */ --series-accum:#e9483c; /* slot 4 — proof accumulation / folding */ --grid:#28323a; background:var(--surface-1);border:1px solid var(--line);padding:26px 22px 18px;margin:0 0 8px;position:relative; } .viz svg{display:block;width:100%;height:auto;overflow:visible} .viz .grid line{stroke:var(--grid);stroke-width:1} .viz .axis text{font-family:var(--mono);font-size:9.5px;fill:var(--muted);letter-spacing:.08em} .viz .frontier{fill:none;stroke:#7d8a93;stroke-width:2;stroke-linejoin:round;stroke-linecap:round} /* fill/stroke are set inline per-mark: a stylesheet rule would beat the SVG presentation attribute and silently erase the category colour. */ .viz .dot{stroke-width:2;cursor:pointer} .viz .dot.hollow{stroke-width:2.5} .viz .rangebar{stroke-width:2;opacity:.55} .viz .conflict{stroke-width:1;opacity:.5;stroke-dasharray:none} .viz .dlabel{font-family:var(--mono);font-size:10px;fill:var(--paper-dim);letter-spacing:.04em} .viz .dlabel.em{fill:var(--paper)} .viz .band{fill:#7d8a93;opacity:.055} .viz .bandlabel{font-family:var(--mono);font-size:9px;fill:var(--muted);letter-spacing:.1em} .viz .hit{fill:transparent;cursor:pointer} .viz g.pt:hover .dot{stroke:var(--paper)} .legend{display:flex;gap:22px;flex-wrap:wrap;margin:18px 0 0;padding-top:14px;border-top:1px solid var(--line)} .legend span{display:flex;align-items:center;gap:8px;font-family:var(--mono);font-size:10.5px;color:var(--paper-dim);letter-spacing:.06em} .legend i{width:11px;height:11px;border-radius:50%;flex:0 0 11px} .legend i.ring{background:transparent;border:2px solid var(--muted)} .tip{ position:absolute;pointer-events:none;opacity:0;transition:opacity .12s; background:#05070880;backdrop-filter:blur(8px);border:1px solid var(--line-bright); padding:11px 13px;max-width:290px;z-index:5; } .tip b{display:block;font-family:var(--serif);font-size:15px;color:var(--paper);font-weight:500;margin-bottom:3px} .tip .v{font-family:var(--mono);font-size:11px;color:var(--amber);letter-spacing:.06em} .tip p{margin:7px 0 0;font-size:12.5px;line-height:1.5;color:var(--paper-dim);font-weight:300} .tip .prov{font-family:var(--mono);font-size:9px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin-top:7px} .hero{display:flex;gap:0;flex-wrap:wrap;border:1px solid var(--line);margin:0 0 30px} .hero div{flex:1 1 210px;padding:22px 24px;border-right:1px solid var(--line)} .hero div:last-child{border-right:0} .hero b{display:block;font-family:var(--display);font-size:44px;font-weight:400;line-height:1;color:var(--amber)} .hero b.cy{color:var(--cyan)} .hero span{display:block;font-family:var(--mono);font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted);margin-top:9px} .hero em{display:block;font-style:normal;font-size:13px;color:var(--paper-dim);font-weight:300;margin-top:8px;line-height:1.5} details.tbl{margin-top:26px;border:1px solid var(--line)} details.tbl summary{cursor:pointer;padding:13px 18px;font-family:var(--mono);font-size:10px;letter-spacing:.18em;text-transform:uppercase;color:var(--muted);list-style:none} details.tbl summary::-webkit-details-marker{display:none} details.tbl summary:hover{color:var(--paper)} details.tbl[open] summary{border-bottom:1px solid var(--line);background:var(--surface)} .pager{display:flex;justify-content:space-between;gap:16px;margin-top:70px;padding-top:24px;border-top:1px solid var(--line)} .pager a{font-family:var(--mono);font-size:11px;letter-spacing:.1em;color:var(--muted);max-width:46%} .pager a:hover{color:var(--amber)} .pager a span{display:block;font-family:var(--serif);font-size:16px;color:var(--paper);margin-top:4px;letter-spacing:0} .pager a.next{text-align:right;margin-left:auto} .fade{animation:f .4s ease} @keyframes f{from{opacity:0;transform:translateY(8px)}to{opacity:1;transform:none}} @media(prefers-reduced-motion:reduce){.fade{animation:none}} /* ============================================================================ ADDITIONS — multi-page shell. Everything above this line is lifted verbatim from docs/index.html; everything below is new for the generated site. ============================================================================ */ /* --- nav: sections + pages --- */ aside a.nav.sub{padding-left:34px;font-size:14px} aside a.nav.sec{font-size:15.5px} aside .navgroup a{color:var(--muted)} aside .navgroup a:hover{color:var(--amber)} aside a.nav .cnt{margin-left:auto;font-family:var(--mono);font-size:9px;color:var(--muted);align-self:center} .nav-hidden{display:none !important} .navgroup.nav-hidden{display:none !important} /* --- home: the 2x2 --- */ .map{display:grid;grid-template-columns:auto 1fr 1fr;gap:1px;background:var(--line);border:1px solid var(--line);margin:34px 0 8px} .map>*{background:var(--ink);padding:20px 22px} .map .mh{font-family:var(--mono);font-size:10px;letter-spacing:.18em;text-transform:uppercase;color:var(--muted);display:flex;align-items:center} .map .mh.col{background:var(--surface-2);color:var(--paper)} .map .mh.row{background:var(--surface);color:var(--paper);writing-mode:horizontal-tb;max-width:150px} .map .cell{display:flex;flex-direction:column;gap:9px} .map .cell a.ct{font-family:var(--display);font-size:23px;line-height:1.15;color:var(--paper)} .map .cell a.ct:hover{color:var(--amber)} .map .cell p{margin:0;font-size:13.5px;font-weight:300;color:var(--paper-dim);line-height:1.55} .map .cell .who{font-family:var(--mono);font-size:10.5px;color:var(--muted);line-height:1.8;margin-top:2px} .map .cell.verify{border-top:2px solid var(--amber)} .map .cell.private{border-top:2px solid var(--cyan)} .map .cell.verify a.ct{color:var(--amber)} .map .cell.private a.ct{color:var(--cyan)} @media(max-width:820px){.map{grid-template-columns:1fr}.map .mh.row{max-width:none}} /* --- section index cards --- */ .cards{display:grid;grid-template-columns:repeat(auto-fill,minmax(290px,1fr));gap:1px;background:var(--line);border:1px solid var(--line);margin:28px 0} .card{background:var(--ink);padding:24px 24px 20px;display:flex;flex-direction:column;gap:9px} .card:hover{background:var(--surface)} .card .kicker{font-family:var(--mono);font-size:9px;letter-spacing:.2em;text-transform:uppercase;color:var(--muted)} .card h4{font-family:var(--display);font-size:24px;font-weight:400;margin:0;line-height:1.15} .card h4 a{color:var(--paper)} .card:hover h4 a{color:var(--amber)} .card p{margin:0;font-size:14px;font-weight:300;color:var(--paper-dim);line-height:1.55} .card .foot{margin-top:auto;padding-top:12px;font-family:var(--mono);font-size:9.5px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted)} .card.verify-infer{border-left:2px solid var(--amber)} .card.verify-train{border-left:2px solid var(--lime)} .card.private-infer{border-left:2px solid var(--cyan)} .card.private-train{border-left:2px solid var(--violet)} .card.meta{border-left:2px solid var(--line-bright)} /* --- prose --- */ .prose{max-width:74ch} .prose h2{font-family:var(--display);font-weight:400;font-size:33px;letter-spacing:-.01em;margin:52px 0 16px;line-height:1.15} .prose h3{font-family:var(--serif);font-weight:500;font-size:20px;color:var(--paper);margin:34px 0 12px} .prose ul,.prose ol{max-width:72ch;padding-left:22px;margin:0 0 18px} .prose li{color:var(--paper-dim);font-weight:300;margin-bottom:9px} .prose li strong{color:var(--paper);font-weight:500} .prose hr{border:0;border-top:1px solid var(--line);margin:44px 0} .prose table{border-collapse:collapse;width:100%;margin:22px 0;font-size:13.5px} .prose table th,.prose table td{border:1px solid var(--line);padding:9px 12px;text-align:left;vertical-align:top} .prose table th{font-family:var(--mono);font-size:10px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);background:var(--surface);font-weight:500} .prose table td{color:var(--paper-dim);font-weight:300} .prose blockquote{margin:20px 0;padding:2px 0 2px 18px;border-left:2px solid var(--line-bright);color:var(--paper-dim);font-style:italic} .katex-display{margin:22px 0 !important;padding:16px 18px;background:var(--void);border-left:2px solid var(--cyan);overflow-x:auto} /* --- callout: gap / debate / audit already exist above; add headings --- */ .gap .gap-body{flex:1} .gap .gap-body h5{margin:0 0 6px;font-family:var(--mono);font-size:10px;letter-spacing:.16em;text-transform:uppercase;color:var(--rose)} .gap .gap-body p:last-child{margin:0} .audit p:last-child{margin:0} .audit ul{margin-top:8px} /* --- provenance dots --- */ .prov{display:inline-block;width:7px;height:7px;border-radius:50%;margin-left:5px;vertical-align:middle} .prov.primary{background:var(--lime)} .prov.survey{background:transparent;border:1.5px solid var(--amber)} .prov.blog{background:transparent;border:1.5px dashed var(--rose)} .prov-key{display:flex;gap:20px;flex-wrap:wrap;margin:10px 0 0;font-family:var(--mono);font-size:10px;color:var(--muted);letter-spacing:.06em} .prov-key span{display:flex;align-items:center;gap:6px} .perf{font-family:var(--mono);font-size:13px;color:var(--amber);white-space:nowrap} .perf.na{color:var(--rose);opacity:.6} /* --- paper page --- */ .pmeta{display:flex;flex-wrap:wrap;gap:1px;background:var(--line);border:1px solid var(--line);margin:26px 0} .pmeta div{background:var(--ink);padding:13px 18px;flex:1 1 190px} .pmeta dt{font-family:var(--mono);font-size:9px;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);margin:0 0 5px} .pmeta dd{margin:0;font-size:14px;color:var(--paper);font-weight:300;line-height:1.5} .pmeta dd a{word-break:break-word} .authors{font-size:14.5px;color:var(--paper-dim);font-weight:300;margin:18px 0 0;max-width:72ch} .authors .unver{font-family:var(--mono);font-size:9.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--rose);border:1px solid #5c2f2b;padding:2px 7px;margin-left:8px} .cites{display:grid;grid-template-columns:1fr 1fr;gap:1px;background:var(--line);border:1px solid var(--line);margin:22px 0} .cites>div{background:var(--ink);padding:18px 20px} .cites h5{font-family:var(--mono);font-size:9.5px;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);margin:0 0 11px} .cites ul{list-style:none;margin:0;padding:0} .cites li{font-size:14px;padding:4px 0;font-weight:300} .cites .none{color:var(--muted);font-size:13px;font-style:italic} @media(max-width:700px){.cites{grid-template-columns:1fr}} /* --- status banner --- */ .banner{border:1px dashed var(--line-bright);background:rgba(217,154,63,.05);padding:11px 16px;margin:0 0 26px; font-family:var(--mono);font-size:10.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--amber)} .banner.stub{background:rgba(201,106,94,.05);color:var(--rose);border-color:#5c2f2b} /* --- toc --- */ .toc{border-left:1px solid var(--line);padding:2px 0 2px 18px;margin:26px 0 34px} .toc div{font-family:var(--mono);font-size:9px;letter-spacing:.2em;text-transform:uppercase;color:var(--muted);margin-bottom:9px} .toc a{display:block;font-size:14.5px;color:var(--paper-dim);padding:3px 0;font-weight:300} .toc a:hover{color:var(--amber)} .toc a.h3{padding-left:16px;font-size:13.5px;color:var(--muted)} /* --- papers rail --- */ .rail{display:flex;flex-wrap:wrap;gap:7px;margin:20px 0 0} .rail a{font-family:var(--mono);font-size:10px;letter-spacing:.1em;text-transform:uppercase;border:1px solid var(--line-bright);padding:4px 9px;color:var(--paper-dim)} .rail a:hover{border-color:var(--amber-dim);color:var(--amber)} /* --- coverage matrix --- */ table.cov{border-collapse:collapse;width:100%;min-width:640px;background:var(--ink);font-size:12px} table.cov th,table.cov td{border:1px solid var(--line);padding:7px 9px;text-align:center} table.cov thead th{background:var(--surface-2);font-family:var(--mono);font-size:9.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--paper);font-weight:500} table.cov tbody th{text-align:left;font-family:var(--serif);font-weight:400;font-size:14px;background:var(--surface);white-space:nowrap} table.cov tbody th a{color:var(--paper)} table.cov tbody th small{display:block;font-family:var(--mono);font-size:9px;color:var(--muted);letter-spacing:.06em;text-transform:uppercase} table.cov .y{color:var(--lime);font-family:var(--mono)} table.cov .n{color:var(--rose);opacity:.45;font-family:var(--mono)} table.cov tbody tr:hover th,table.cov tbody tr:hover td{background:var(--surface-2)} /* --- graph page --- */ .graphwrap{border:1px solid var(--line);background:var(--void);padding:18px;overflow:auto;margin:26px 0} .graphwrap svg{max-width:100%;height:auto;display:block;margin:0 auto} /* --- home hero facts, section list --- */ .seclist{margin:34px 0} .seclist a.srow{display:flex;align-items:baseline;gap:16px;padding:15px 4px;border-bottom:1px solid var(--line);color:var(--paper-dim)} .seclist a.srow:hover{background:var(--surface)} .seclist a.srow b{font-family:var(--display);font-size:20px;font-weight:400;color:var(--paper);min-width:210px} .seclist a.srow:hover b{color:var(--amber)} .seclist a.srow span{font-size:14px;font-weight:300;flex:1} .seclist a.srow em{font-family:var(--mono);font-size:9.5px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted);font-style:normal;white-space:nowrap} @media(max-width:700px){.seclist a.srow{flex-direction:column;gap:5px}.seclist a.srow b{min-width:0}} /* --- filter over paper table --- */ .ptools{display:flex;gap:12px;flex-wrap:wrap;align-items:center;margin:26px 0 14px} .ptools input{flex:1 1 240px;background:var(--void);border:1px solid var(--line);color:var(--paper); font-family:var(--mono);font-size:12px;padding:10px 12px;outline:none;letter-spacing:.05em} .ptools input:focus{border-color:var(--amber-dim)} .ptools .count{font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted)} tr.filtered{display:none} /* --- footer --- */ footer.foot{margin-top:90px;padding:22px 0 0;border-top:1px solid var(--line); display:flex;gap:24px;flex-wrap:wrap;justify-content:space-between;align-items:baseline; font-size:13px;font-weight:300;color:var(--muted);max-width:900px} footer.foot div{max-width:56ch} footer.foot code{font-size:11.5px} footer.foot .stamp{font-family:var(--mono);font-size:10px;letter-spacing:.1em;text-transform:uppercase; color:var(--muted);white-space:nowrap}