:root{--paper: #FAF9F6;--raised: #F2F0EA;--ink: #171614;--acc: oklch(.52 .108 64);--acc-ink: oklch(.74 .115 64);--rule: rgba(23, 22, 20, .14);--rule-faint: rgba(23, 22, 20, .08);--ink-62: rgba(23, 22, 20, .62);--ink-58: rgba(23, 22, 20, .58);--logo-subline: #8d8779;--serif: "Newsreader", Georgia, serif;--sans: "Public Sans", Helvetica, sans-serif;--mono: "IBM Plex Mono", monospace;--spectral: "Spectral", Georgia, serif}*{box-sizing:border-box;margin:0}html{-webkit-font-smoothing:antialiased}body{background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:16px;line-height:1.65}p{text-wrap:pretty}a{color:var(--ink);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px;text-decoration-color:#17161459}a:hover{color:var(--acc);text-decoration-color:var(--acc)}::selection{background:#93591638}button{font:inherit;background:none;border:none;padding:0;cursor:pointer;color:inherit;text-align:left}.mono{font-family:var(--mono)}.serif{font-family:var(--serif)}.hdr{position:sticky;top:0;z-index:30;background:#faf9f6ed;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);border-bottom:1px solid var(--rule)}.hdr-row{max-width:1240px;margin:0 auto;padding:10px 24px;display:flex;flex-wrap:wrap;gap:10px 26px;align-items:center;justify-content:space-between;min-height:84px}.hdr-left{display:flex;align-items:center;gap:26px;flex-wrap:wrap}.brand{display:flex;align-items:center;cursor:pointer;text-decoration:none;padding-right:8px}.brand:hover{color:var(--ink)}.brand-name{font-family:var(--serif);font-size:19px;letter-spacing:-.01em}@media(max-width:640px){.hdr-row{min-height:64px;padding:8px 20px}}.nav{display:flex;gap:2px;flex-wrap:wrap}.nav a,.nav button{font-family:var(--mono);font-size:11.5px;letter-spacing:.07em;padding:7px 9px;color:#171614a8;text-decoration:none}.nav a.on,.nav button.on{background:var(--ink);color:var(--paper)}.pill{display:flex;align-items:stretch;border:1px solid rgba(23,22,20,.28);cursor:pointer}.pill:hover{border-color:var(--ink)}.pill span{font-family:var(--mono);display:flex;align-items:center}.pill .k{font-size:9.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-62);padding:6px 9px;border-right:1px solid rgba(23,22,20,.18)}.pill .v{font-size:12px;padding:6px 10px}.pill .c{font-size:9.5px;letter-spacing:.12em;text-transform:uppercase;padding:6px 10px;background:var(--ink);color:var(--paper)}.ftr{margin-top:96px;border-top:1px solid var(--rule);background:var(--raised)}.ftr-row{max-width:1240px;margin:0 auto;padding:18px 24px;display:flex;flex-wrap:wrap;gap:12px 30px;align-items:baseline;justify-content:space-between}.ftr-cells{display:flex;flex-wrap:wrap;gap:12px 26px;font-family:var(--mono);font-size:11px;letter-spacing:.05em;color:#171614a8}.ftr-src{font-family:var(--mono);font-size:10.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-62)}.ftr-note{max-width:1240px;margin:0 auto;padding:0 24px 26px;font-family:var(--mono);font-size:10.5px;letter-spacing:.04em;color:#1716148c;line-height:1.8}.bound{border-bottom:1px dotted rgba(23,22,20,.5);padding-bottom:1px;font-weight:500}.bound.dim{color:#17161466}.lbl{font-family:var(--mono);font-size:10.5px;letter-spacing:.14em;text-transform:uppercase;color:var(--ink-58)}.lbl.acc{color:var(--acc)}.payload{background:var(--raised);border-left:2px solid var(--ink);padding:22px 22px 24px}.payload pre{margin:0;font-family:var(--mono);font-size:12.5px;line-height:1.8;color:#171614d6;white-space:pre-wrap;word-break:break-word}.badge{font-family:var(--mono);font-size:9.5px;letter-spacing:.12em;text-transform:uppercase;border:1px solid rgba(23,22,20,.3);padding:3px 7px;white-space:nowrap}.doc-sec{display:grid;grid-template-columns:188px minmax(0,68ch);column-gap:48px;margin-top:68px}.doc-note{grid-column:1;grid-row:1;text-align:right}.doc-main{grid-column:2;grid-row:1;min-width:0}.note-lbl{font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;color:var(--ink);margin-bottom:10px}.note-body{font-family:var(--mono);font-size:10.5px;letter-spacing:.02em;line-height:1.9;color:var(--ink-62)}@media(max-width:900px){.doc-sec{display:block;margin-top:52px}.doc-note{margin-top:20px;padding-top:14px;border-top:1px solid var(--rule);text-align:left}}.h1-doc{font-family:var(--serif);font-weight:400;font-size:clamp(25px,2.9vw,33px);line-height:1.2;letter-spacing:-.018em;max-width:26ch}.h1-page{font-family:var(--serif);font-weight:400;font-size:clamp(30px,4.2vw,46px);line-height:1.07;letter-spacing:-.025em}.biconditional{font-family:var(--mono);font-size:clamp(15px,1.6vw,19px);letter-spacing:.01em;overflow-x:auto;white-space:nowrap}.counsel{font-family:var(--serif);font-size:clamp(17px,1.6vw,19px);line-height:1.72;max-width:64ch}.reduction-step{font-family:var(--mono);font-size:12.5px;line-height:1.8;color:#17161499;overflow-x:auto;white-space:pre}.reduction-result{display:inline-block;background:var(--ink);color:var(--paper);font-family:var(--mono);font-size:clamp(14px,1.5vw,17px);letter-spacing:.01em;line-height:1.4;padding:10px 15px;max-width:100%;overflow-x:auto}.reduction-result.open{color:var(--acc-ink)}.trow{display:flex;gap:9px;align-items:baseline;flex-wrap:wrap;padding:6px 0;font-family:var(--mono);font-size:13px;line-height:1.5}.trow .num{width:26px;flex:none;font-size:11px;color:#1716146b}.trow .gly{width:12px;flex:none;font-size:12.5px}.trow .sym{width:50px;flex:none;font-size:10.5px;letter-spacing:.02em;color:#17161473}.trow .sym.acc{color:var(--acc)}.trow .lab{flex:1 1 220px}.trow .lab.est{font-weight:500}.trow .lab.asm{color:var(--ink-62)}.trow .lab.fail{color:var(--ink-58);text-decoration:line-through;text-decoration-thickness:1px}.trow .lab.dim{opacity:.55}.trow .st{flex:none;font-size:10.5px;letter-spacing:.02em}.trow.fold .lab{color:var(--ink-58);font-style:italic}.trow.fold{cursor:pointer}.tctrl{display:flex;flex-wrap:wrap}.tctrl button{min-height:44px;box-sizing:border-box;display:flex;align-items:center;padding-right:20px;font-family:var(--mono);font-size:11.5px;letter-spacing:.03em;color:#1716147a}.tctrl button.on{color:var(--ink);text-decoration:underline;text-underline-offset:4px;text-decoration-thickness:1px}.tabs{display:flex;flex-wrap:wrap;justify-content:center;gap:4px;border-bottom:1px solid rgba(23,22,20,.25)}.tabs a{font-family:var(--mono);font-size:12px;letter-spacing:.06em;padding:0 18px;min-height:44px;box-sizing:border-box;display:flex;align-items:center;text-decoration:none;border:1px solid rgba(23,22,20,.18);border-bottom:none;margin-bottom:-1px;background:var(--paper);color:#171614c7}.agent-line{display:flex;flex-wrap:wrap;gap:4px 22px;align-items:baseline;padding:11px 0;border-bottom:1px solid var(--rule-faint)}.agent-line .k{font-family:var(--mono);font-size:10px;letter-spacing:.14em;text-transform:uppercase;color:#17161480;width:84px;flex:none}.agent-line .v{font-family:var(--mono);font-size:13px;line-height:1.6;flex:1 1 320px;word-break:break-word}.agent-line .n{font-size:13.5px;line-height:1.6;color:#17161499}.ctabs{display:flex;gap:3px;flex-wrap:wrap}.ctabs button{font-family:var(--mono);font-size:11.5px;letter-spacing:.05em;padding:0 13px;min-height:44px;box-sizing:border-box;display:flex;align-items:center;color:#171614ad;border:1px solid rgba(23,22,20,.16);border-bottom:none}.ctabs button.on{color:var(--paper);background:var(--ink);border-color:var(--ink)}.copy-btn{font-family:var(--mono);font-size:10px;letter-spacing:.12em;text-transform:uppercase;color:var(--ink);border:1px solid rgba(23,22,20,.35);padding:7px 12px}.grid-row{display:grid;gap:20px;padding:16px 0;border-bottom:1px solid rgba(23,22,20,.12);align-items:baseline}.g2{display:grid;gap:20px;padding:18px 0;align-items:baseline;border-bottom:1px solid rgba(23,22,20,.12);grid-template-columns:minmax(150px,.9fr) minmax(240px,1.9fr)}.g3{display:grid;gap:18px;padding:14px 0;align-items:baseline;border-bottom:1px solid var(--rule-faint);grid-template-columns:minmax(130px,.8fr) minmax(200px,2fr) minmax(100px,.7fr)}@media(max-width:760px){.g2,.g3{grid-template-columns:1fr;gap:6px}.g3>:last-child,.g2>:last-child{padding-top:2px}}.vin{border:1px solid rgba(23,22,20,.22)}.vin-head{padding:12px 18px;background:var(--raised);border-bottom:1px solid var(--rule);display:flex;justify-content:space-between;flex-wrap:wrap;gap:12px}.vin textarea{width:100%;border:none;background:transparent;padding:24px 20px;font-family:var(--serif);font-size:17px;line-height:1.7;color:#171614e6;resize:vertical;min-height:150px;outline:none}.vres{border:2px solid var(--ink)}.vres-head{background:var(--raised);border-bottom:1px solid rgba(23,22,20,.16);padding:14px 20px;display:flex;flex-wrap:wrap;gap:12px 24px;justify-content:space-between;align-items:baseline}.finding{display:grid;grid-template-columns:34px 1fr;gap:16px;padding:24px 0;border-bottom:1px solid rgba(23,22,20,.12)}.finding:last-child{border-bottom:none}.finding .fg{font-family:var(--mono);font-size:17px;color:var(--ink-58)}.finding .ft{font-family:var(--serif);font-size:20px;line-height:1.3}.finding p{margin:10px 0 0;font-size:15px;line-height:1.62;color:#171614bd;max-width:60ch}.auth-obj{border-left:2px solid var(--ink);padding-left:16px;margin-top:14px;max-width:62ch}.auth-obj .an{font-family:var(--serif);font-size:17px;font-style:italic}.auth-obj .ac{font-family:var(--mono);font-size:11.5px;color:var(--ink-62);margin-top:6px}.auth-obj .aq{font-family:var(--serif);font-size:15.5px;line-height:1.62;color:#171614cc;margin-top:10px;padding-left:14px;border-left:1px solid rgba(23,22,20,.2)}.auth-obj .av{font-family:var(--mono);font-size:10px;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-58);margin-top:10px}.act{background:var(--ink);color:var(--paper);font-family:var(--mono);font-size:11.5px;letter-spacing:.12em;text-transform:uppercase;padding:0 22px;min-height:44px;box-sizing:border-box;display:inline-flex;align-items:center}.act:hover{background:var(--acc);color:var(--paper)}.page{margin:0 auto;padding:0 40px}@media(max-width:640px){.page{padding:0 20px}}