:root{--paper:#f4f1ea;--paper-deep:#ebe6da;--paper-sunk:#e3ddcf;--ink:#16130f;--ink-soft:#4a443b;--ink-faint:#857c6d;--rule:#d6cfbf;--rule-soft:#e4ddcd;--spot:#1b3fa0;--spot-wash:#dfe3f2;--signal:#b23a1f;--signal-wash:#f3e0d9;--serif:"Newsreader", ui-serif, Georgia, "Times New Roman", serif;--display:"Fraunces", "Newsreader", ui-serif, Georgia, serif;--mono:"DM Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--measure:34rem;--page:76rem}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--paper);color:var(--ink);font-family:var(--serif);font-variant-numeric:oldstyle-nums;-webkit-font-smoothing:antialiased;margin:0;font-size:17px;font-weight:300;line-height:1.6}.grain{pointer-events:none;opacity:.035;z-index:100;mix-blend-mode:multiply;width:100%;height:100%;position:fixed;inset:0}::selection{background:var(--spot-wash)}a{color:var(--spot);text-underline-offset:3px;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}.masthead{max-width:var(--page);margin:0 auto;padding:clamp(3rem,9vh,7rem) clamp(1.5rem,5vw,4rem) 0}.colophon{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-faint);margin:0 0 2rem;font-size:.68rem}.colophon span{color:var(--ink-faint);opacity:.55;margin:0 .5em}.masthead h1{font-family:var(--display);font-optical-sizing:auto;letter-spacing:-.022em;max-width:15ch;margin:0 0 2rem;font-size:clamp(2.9rem,8.5vw,6.4rem);font-weight:600;line-height:.96}.masthead h1 em{color:var(--ink-soft);font-style:italic;font-weight:400}.lede{grid-template-columns:minmax(0, var(--measure)) minmax(0, 1fr);align-items:start;gap:1rem clamp(2rem,6vw,5rem);display:grid}.lede-prose{min-width:0}.figures{gap:1.15rem;margin:.4rem 0 0;display:grid}.figures>div{border-bottom:1px solid var(--rule-soft);grid-template-columns:auto minmax(0,1fr);align-items:baseline;gap:0 1rem;padding-bottom:1.15rem;display:grid}.figures>div:last-child{border-bottom:0;padding-bottom:0}.figures dt{font-family:var(--display);letter-spacing:-.02em;color:var(--spot);font-variant-numeric:lining-nums tabular-nums;white-space:nowrap;font-size:1.6rem;font-weight:600;line-height:1}.figures dd{font-family:var(--mono);letter-spacing:.04em;text-transform:uppercase;color:var(--ink-faint);margin:0;font-size:.68rem;line-height:1.5}@media (width<=900px){.lede{grid-template-columns:1fr}.figures{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem 2rem;margin-top:1.6rem}.figures>div{border-bottom:0;padding-bottom:0;display:block}.figures dt{font-size:1.3rem}}.tagline{font-family:var(--display);font-optical-sizing:auto;letter-spacing:-.015em;color:var(--ink-soft);margin:-1.2rem 0 2rem;font-size:clamp(1.5rem,3.6vw,2.5rem);font-weight:400;line-height:1.1}.tagline em{font-style:italic}.standfirst{max-width:var(--measure);color:var(--ink);margin:0 0 1.1rem;font-size:1.24rem;line-height:1.5}.standfirst.dek{color:var(--ink-soft);font-size:1.06rem}.standfirst em{color:var(--ink);font-style:italic}.byline{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);border-top:1px solid var(--rule);max-width:var(--measure);margin:2.6rem 0 0;padding-top:1.2rem;font-size:.7rem}.frontispiece{max-width:var(--page);margin:clamp(2.5rem,6vh,4.5rem) auto 0;padding:0 clamp(1.5rem,5vw,4rem)}.frontispiece svg{border-top:1px solid var(--rule);width:100%;height:auto;padding:1.6rem 0 .6rem;display:block}.frontispiece .nodes rect{fill:#fbf9f5;stroke:var(--ink-soft);stroke-width:1px}.frontispiece .nodes rect.moved{fill:var(--spot-wash);stroke:var(--spot);stroke-width:1.5px}.frontispiece .nodes text{font-family:var(--mono);fill:var(--ink);text-anchor:middle;font-size:12px}.frontispiece .nodes text.moved-text{fill:var(--spot)}.frontispiece .edges path{fill:none;stroke:var(--rule);stroke-width:1px}.frontispiece .arrow path{fill:var(--spot);stroke:var(--spot);stroke-width:1px}.frontispiece .arrow text{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;fill:var(--spot);text-anchor:middle;stroke:none;font-size:11px}.frontispiece .arrow text.sub{font-family:var(--serif);letter-spacing:0;text-transform:none;fill:var(--ink-faint);font-size:12px;font-style:italic}.frontispiece .plate-label text{font-family:var(--mono);letter-spacing:.16em;fill:var(--ink-faint);text-anchor:middle;font-size:10px}.frontispiece figcaption{color:var(--ink-soft);border-top:1px solid var(--rule-soft);max-width:46rem;padding-top:.7rem;font-size:.9rem;font-style:italic}.frontispiece figcaption b{font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--spot);margin-right:.6em;font-size:.66rem;font-style:normal;font-weight:500}main{max-width:var(--page);margin:0 auto;padding:0 clamp(1.5rem,5vw,4rem) 4rem}.chapter{margin-top:clamp(3.5rem,8vh,6rem)}.chapter-head{border-bottom:2px solid var(--ink);flex-wrap:wrap;align-items:baseline;gap:.2rem 1rem;margin-bottom:1.6rem;padding-bottom:.5rem;display:flex}.numeral{font-family:var(--display);letter-spacing:.1em;color:var(--spot);min-width:1.6em;font-size:.95rem;font-weight:700}.chapter-head h2{font-family:var(--display);letter-spacing:-.012em;flex:1;margin:0;font-size:1.5rem;font-weight:600}.chapter-note{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);font-size:.68rem}.catalog{gap:0;display:grid}.tablecard{border-bottom:1px solid var(--rule-soft);cursor:pointer;grid-template-columns:minmax(0,15rem) minmax(0,1fr);align-items:baseline;gap:0 2rem;padding:.85rem 0;transition:background .12s;display:grid}.tablecard:hover{background:var(--paper-deep)}.tablecard b{font-family:var(--display);letter-spacing:-.01em;font-size:1.05rem;font-weight:600}.tablecard .shape{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.02em;font-size:.72rem}.tablecard .cols{font-family:var(--mono);color:var(--ink-soft);word-break:break-word;grid-column:2;font-size:.72rem;line-height:1.7}.collections{flex-wrap:wrap;align-items:center;gap:.6rem;margin-top:1.4rem;display:flex}.collections .hint{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);margin-right:.3rem;font-size:.68rem}button,select{font-family:var(--mono);letter-spacing:.02em;color:var(--ink);border:1px solid var(--rule);cursor:pointer;background:0 0;border-radius:2px;padding:.42rem .85rem;font-size:.78rem;transition:border-color .12s,background .12s,color .12s}button:hover,select:hover{border-color:var(--ink)}button:disabled{opacity:.45;cursor:default;border-color:var(--rule)}button.primary{background:var(--ink);border-color:var(--ink);color:var(--paper);letter-spacing:.06em;text-transform:uppercase;padding-inline:1.3rem;font-weight:500}button.primary:hover{background:var(--spot);border-color:var(--spot)}button.primary:disabled{background:var(--ink-faint);border-color:var(--ink-faint)}.load-set .dim{color:var(--ink-faint)}.query-block{border:1px solid var(--rule);background:#fbf9f5;border-radius:3px;overflow:hidden}#editor{padding:.5rem .35rem}#editor .cm-editor{max-height:44vh}#editor .cm-scroller{overflow:auto}.controls{border-top:1px solid var(--rule-soft);background:var(--paper-deep);flex-wrap:wrap;align-items:center;gap:.7rem;padding:.8rem 1rem;display:flex}.timing{font-family:var(--mono);color:var(--ink-soft);font-variant-numeric:tabular-nums;margin-left:auto;font-size:.76rem}.hint{font-family:var(--mono);color:var(--ink-faint);font-size:.7rem}.marginalia{border-left:2px solid var(--spot);max-width:46rem;color:var(--ink-soft);margin:1.1rem 0 0;padding-left:1.1rem;font-size:.95rem;font-style:italic;line-height:1.55}.marginalia:empty{display:none}.tabs{flex-wrap:wrap;gap:0 1.4rem;margin-bottom:1.2rem;display:flex}.tab{color:var(--ink-faint);font-family:var(--mono);letter-spacing:.02em;background:0 0;border:0;border-bottom:2px solid #0000;border-radius:0;align-items:baseline;gap:.45em;padding:.25rem 0;font-size:.78rem;display:inline-flex}.tab i{color:var(--ink-faint);font-variant-numeric:tabular-nums;font-size:.62rem;font-style:normal}.tab:hover{color:var(--ink);border-color:var(--rule)}.tab.active{color:var(--ink);border-color:var(--spot)}.tab.active i{color:var(--spot)}.plate{border:1px solid var(--rule);background:#fbf9f5;border-radius:3px;margin:0}.tab-body{padding:1.4rem;overflow-x:auto}.plate figcaption{border-top:1px solid var(--rule-soft);color:var(--ink-soft);background:var(--paper-deep);padding:.7rem 1.4rem;font-size:.85rem;font-style:italic}.plate figcaption b{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--spot);margin-right:.6em;font-size:.68rem;font-style:normal;font-weight:500}.empty{color:var(--ink-faint);margin:0;font-style:italic}.dim{color:var(--ink-faint)}.agreed{color:var(--spot)}.disagreed{color:var(--signal)}.error{font-family:var(--mono);white-space:pre-wrap;color:var(--signal);background:var(--signal-wash);border-left:3px solid var(--signal);border-radius:2px;margin-bottom:1.2rem;padding:.9rem 1.1rem;font-size:.8rem;overflow-x:auto}table{border-collapse:collapse;width:100%;font-family:var(--mono);font-variant-numeric:tabular-nums;font-size:.78rem}thead th{text-align:left;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);border-bottom:1.5px solid var(--ink);white-space:nowrap;padding:0 1rem .5rem 0;font-size:.66rem;font-weight:500}tbody td{border-bottom:1px solid var(--rule-soft);white-space:nowrap;padding:.3rem 1rem .3rem 0}tbody tr:last-child td{border-bottom:0}td.num,th.num{text-align:right;padding-right:1.4rem}td.null{color:var(--ink-faint);font-style:italic}.tokens{flex-wrap:wrap;gap:.4rem;display:flex}.token{border:1px solid var(--rule);font-family:var(--mono);background:var(--paper);cursor:default;border-radius:2px;align-items:baseline;gap:.4rem;padding:.18rem .5rem;font-size:.76rem;transition:border-color .1s,background .1s;display:inline-flex}.token:hover{border-color:var(--spot);background:var(--spot-wash)}.token-kind{letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint);font-size:.6rem}ul.ast,ul.ast ul{margin:0;padding:0 0 0 1.15rem;list-style:none}ul.ast{padding-left:0}ul.ast li{font-family:var(--mono);font-size:.78rem;line-height:1.65}ul.ast ul{border-left:1px solid var(--rule-soft)}ul.ast summary{cursor:pointer;color:var(--spot)}ul.ast summary::marker{color:var(--rule)}ul.ast .ast-leaf{color:var(--ink-soft);padding-left:1.1rem}pre{font-family:var(--mono);white-space:pre;color:var(--ink-soft);margin:0;font-size:.78rem;line-height:1.65;overflow-x:auto}h4.plan-label{font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ink-faint);border-bottom:1px solid var(--rule-soft);margin:0 0 .55rem;padding-bottom:.35rem;font-size:.66rem;font-weight:500}h4.plan-label+pre{margin-bottom:2rem}.plan-tree{font-family:var(--mono);font-size:.78rem;line-height:1.7;overflow-x:auto}.plan-node{white-space:pre;border-left:2px solid #0000;padding-left:.8rem}.plan-node.changed{border-left-color:var(--spot);background:var(--spot-wash);color:var(--ink)}.plan-node.target{border-left-color:var(--spot);background:var(--spot-wash);color:var(--ink);font-weight:500}.side-by-side{grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:2rem;display:grid}.side-by-side>div{min-width:0}.side-by-side h4{font-family:var(--mono);text-transform:uppercase;letter-spacing:.12em;color:var(--ink-faint);border-bottom:1px solid var(--rule-soft);margin:0 0 .55rem;padding-bottom:.35rem;font-size:.66rem;font-weight:500}@media (width<=820px){.side-by-side{grid-template-columns:1fr}}.slider-bar{border-bottom:1px solid var(--rule-soft);align-items:center;gap:.7rem;margin-bottom:1.3rem;padding-bottom:1rem;display:flex}.slider-bar button{padding:.2rem .6rem;line-height:1}input[type=range]{accent-color:var(--spot);flex:1;min-width:4rem;height:2px}.slider-label{font-family:var(--mono);color:var(--ink-soft);white-space:nowrap;font-size:.74rem}.slider-label b{color:var(--spot);font-weight:500}.op{border-bottom:1px solid var(--rule-soft);font-family:var(--mono);grid-template-columns:minmax(0,1fr) 6rem 8.5rem 6rem;align-items:baseline;gap:1rem;padding:.42rem 0;font-size:.76rem;display:grid;position:relative}.op:first-child{border-bottom:1.5px solid var(--ink)}.op:first-child>div{letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);font-size:.66rem}.op-name{text-overflow:ellipsis;min-width:0;overflow:hidden}.op-name b{font-weight:500}.op-num{text-align:right;font-variant-numeric:tabular-nums;color:var(--ink-soft)}.detail{color:var(--ink-faint)}.qerr-bad{color:var(--signal);font-weight:500}.bar{background:var(--spot);opacity:.55;height:2px;position:absolute;bottom:-1px;left:0}.flow{vertical-align:middle;gap:2px;margin-left:.5rem;display:inline-flex}.batch{background:var(--spot);opacity:.5;border-radius:50%;width:3px;height:3px}.more{color:var(--ink-faint);margin-left:.2rem;font-size:.62rem}.tree-controls{flex-wrap:wrap;align-items:center;gap:.8rem;margin-bottom:1rem;display:flex}.tree-legend{color:var(--ink-soft);max-width:52rem;margin:0 0 1.4rem;font-size:.9rem;font-style:italic;line-height:1.55}.rg{margin-bottom:1.5rem}.rg-head{font-family:var(--mono);color:var(--ink-soft);border-bottom:1px solid var(--rule);justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.3rem;padding-bottom:.4rem;font-size:.73rem;display:flex}.rg-head b{color:var(--ink);font-weight:500}.rg-scanned .rg-head{border-bottom-color:var(--spot)}.rg-pruned{opacity:.5}.rg-pruned .rg-head{border-bottom-style:dashed}.chip{font-family:var(--mono);letter-spacing:.04em;border:1px solid var(--rule);color:var(--ink-soft);white-space:nowrap;border-radius:2px;padding:0 .35rem;font-size:.62rem}.chip.off{color:var(--ink-faint);border-color:var(--rule-soft)}.chip.pruned{color:var(--signal);border-color:var(--signal)}.rg-head .dim{color:var(--ink-faint)}.tree-svg{width:100%;height:auto;margin:1rem 0;display:block;overflow:visible}.tree-svg .node{fill:var(--paper);stroke:var(--rule);stroke-width:1px}.tree-svg .node.leaf{fill:var(--paper-sunk)}.tree-svg .node.on-path{fill:var(--spot-wash);stroke:var(--spot);stroke-width:1.5px}.tree-svg text{font-family:var(--mono);fill:var(--ink-faint);font-variant-numeric:tabular-nums;font-size:8px}.tree-svg .on-path text,.tree-svg text.on-path{fill:var(--spot)}.tree-svg .edge{stroke:var(--rule);fill:none;stroke-width:1px}.tree-svg .edge.on-path{stroke:var(--spot);stroke-width:1.5px}.phys{font-family:var(--mono);font-size:.78rem;line-height:1.75}.phys-node{white-space:pre}.phys-op{color:var(--ink);font-weight:500}.phys-est{color:var(--ink-faint);font-size:.72rem}.phys-detail{color:var(--ink-soft)}.phys-why{color:var(--spot);font-style:italic;font-family:var(--serif);font-size:.88rem}.prose-body{padding:0}.prose-body p{max-width:46rem;color:var(--ink-soft);margin:0 0 1rem;font-size:1rem}.prose-body p b{color:var(--ink);font-weight:400;font-family:var(--mono);font-size:.86em}.prose-body code{font-family:var(--mono);color:var(--ink);font-size:.85em}#status.marginalia p{margin:0}.columns{grid-template-columns:repeat(3,minmax(0,1fr));gap:2.5rem;display:grid}.columns h3{font-family:var(--display);letter-spacing:-.008em;border-bottom:1px solid var(--rule);margin:0 0 .55rem;padding-bottom:.45rem;font-size:1.05rem;font-weight:600}.columns p{color:var(--ink-soft);margin:0;font-size:.98rem;line-height:1.6}.columns code{font-family:var(--mono);color:var(--ink);background:var(--paper-deep);border-radius:2px;padding:.05em .3em;font-size:.82em}@media (width<=860px){.columns{grid-template-columns:1fr;gap:2rem}}footer{max-width:var(--page);border-top:1px solid var(--rule);margin:0 auto;padding:2.5rem clamp(1.5rem,5vw,4rem) 5rem}footer p{max-width:var(--measure);color:var(--ink-soft);margin:0 0 1.2rem;font-size:1rem}footer p em{color:var(--ink);font-style:italic}footer .links{flex-wrap:wrap;gap:2rem;display:flex}footer .links a{font-family:var(--mono);letter-spacing:.04em;border-bottom:1px solid var(--rule);padding-bottom:.2rem;font-size:.78rem;text-decoration:none}footer .links a:hover{border-color:var(--spot)}@media (width<=720px){body{font-size:16px}.chapter-head h2,.chapter-note{flex-basis:100%}.tablecard{grid-template-columns:1fr;gap:.2rem}.tablecard .cols{grid-column:1}.op{grid-template-columns:minmax(0,1fr) 4.5rem 6.5rem}.op>:nth-child(4),.op:first-child>:nth-child(4){display:none}}