@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:400 600;font-display:swap;src:url(/fonts/sourceserif4-400.woff2) format("woff2-variations")}@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:400 600;font-display:swap;src:url(/fonts/sourceserif4-400i.woff2) format("woff2-variations")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/plexmono-400.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/plexmono-600.woff2) format("woff2")}:root{--paper: #FCFCF9;--ink: #1B1C1E;--ink-2: #3E3F42;--muted: #6E6F68;--rule: #D9D9D0;--rule-x: #1B1C1E;--accent: #24466E;--wash: #F4F4EE;--wash-line: #CFCFC4;--sel: rgba(36, 70, 110, .16);--serif: "Source Serif 4", Cambria, Charter, Georgia, serif;--mono: "IBM Plex Mono", Consolas, "SF Mono", ui-monospace, monospace}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--paper: #1A1918;--ink: #E7E5E0;--ink-2: #C6C3BC;--muted: #949087;--rule: #383630;--rule-x: #E7E5E0;--accent: #94B6E4;--wash: #211F1D;--wash-line: #45423A;--sel: rgba(148, 182, 228, .22)}}:root[data-theme=dark]{--paper: #1A1918;--ink: #E7E5E0;--ink-2: #C6C3BC;--muted: #949087;--rule: #383630;--rule-x: #E7E5E0;--accent: #94B6E4;--wash: #211F1D;--wash-line: #45423A;--sel: rgba(148, 182, 228, .22)}*{box-sizing:border-box}html{scroll-behavior:smooth}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important;animation:none!important}}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--serif);font-size:17px;line-height:1.66;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}::selection{background:var(--sel)}a{color:var(--accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2.5px;text-decoration-color:color-mix(in srgb,var(--accent) 45%,transparent)}a:hover{text-decoration-color:var(--accent)}a:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:1px;text-decoration:none}.mono{font-family:var(--mono)}.page{max-width:704px;margin:0 auto;padding:64px 28px 72px}.theme-toggle{font:inherit;color:inherit;background:none;border:0;padding:0;cursor:pointer;text-align:left}.theme-toggle .val{color:var(--accent)}.theme-toggle:hover .val{text-decoration:underline;text-underline-offset:2px}.stamp{position:fixed;left:20px;top:50%;transform:translateY(-50%) rotate(180deg);writing-mode:vertical-rl;font-family:var(--mono);font-size:10.5px;letter-spacing:.08em;color:var(--muted);user-select:none}@media(max-width:1040px){.stamp{display:none}}.doc-head{font-family:var(--mono);font-size:12.5px;line-height:1.5;display:flex;flex-direction:column;gap:2px;padding-bottom:22px;border-bottom:1px solid var(--rule)}.doc-head .r{display:flex;justify-content:space-between;gap:4px 18px;flex-wrap:wrap}.doc-head .r .rt{color:var(--muted);text-align:right;margin-left:auto}.doc-head a{text-decoration:none;color:inherit}.doc-head a:hover{color:var(--accent)}.doc-head .nav-row{margin-top:6px}.doc-head .nav-row .sep{color:var(--rule)}.doc-head .nav-row a{color:var(--ink-2);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2.5px;text-decoration-color:color-mix(in srgb,var(--muted) 50%,transparent)}.doc-head .nav-row a:hover{color:var(--accent);text-decoration-color:var(--accent)}.doc-head .nav-row .rt a{color:var(--accent)}.doc-head .nav-row .cur{color:var(--ink);font-weight:600}.doc-head .nav-row a.cur{text-decoration-color:color-mix(in srgb,var(--ink) 45%,transparent)}.title-block{text-align:center;margin:44px 0 36px}.title-block h1{margin:0 0 10px;font-size:clamp(26px,4.5vw,33px);line-height:1.22;font-weight:600;letter-spacing:-.012em;text-wrap:balance}.title-block .subtitle{margin:0 0 16px;font-size:17px;font-style:italic;color:var(--ink-2);text-wrap:balance}.title-block .author{font-family:var(--mono);font-size:12.5px;color:var(--ink-2)}.title-block .author .affil{display:block;margin-top:5px;color:var(--muted)}.title-block .author .affil a{color:var(--accent);text-decoration:none}.title-block .author .affil a:hover{text-decoration:underline;text-underline-offset:2px}.abstract{margin:0 34px 34px;font-size:15.5px;line-height:1.62}.abstract .abs-h{text-align:center;font-family:var(--mono);font-size:11.5px;font-weight:600;letter-spacing:.18em;text-transform:uppercase;color:var(--muted);margin:0 0 10px}.abstract p{margin:0;text-align:justify;hyphens:auto}.status{border:1px solid var(--wash-line);background:var(--wash);padding:14px 18px 15px;margin:0 0 36px;font-size:14.5px;line-height:1.6}.status .st-h{font-family:var(--mono);font-size:11px;font-weight:600;letter-spacing:.16em;text-transform:uppercase;color:var(--accent);margin:0 0 7px}.status p{margin:0;color:var(--ink-2)}.toc{font-family:var(--mono);font-size:13px;margin:0 0 46px;display:flex;flex-direction:column;gap:5px}.toc .toc-h{font-size:11px;font-weight:600;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);margin-bottom:8px;padding-bottom:7px;border-bottom:1px solid var(--rule)}.toc-row{display:flex;align-items:baseline;text-decoration:none;color:var(--ink)}.toc-row:hover{color:var(--accent);text-decoration:none}.toc-row .fill{flex:1;border-bottom:1px dotted var(--wash-line);margin:0 8px;transform:translateY(-4px)}.toc-row .tag{color:var(--muted);font-size:11.5px}.toc-row:hover .tag{color:var(--accent)}section{margin-bottom:44px}h2{display:flex;align-items:baseline;gap:12px;margin:0 0 14px;font-size:20px;font-weight:600;letter-spacing:-.01em}h2 .no{font-family:var(--mono);font-size:14px;font-weight:600;color:var(--accent)}h2 .anchor{margin-left:auto;font-family:var(--mono);font-size:13px;color:var(--muted);text-decoration:none;opacity:0;transition:opacity .15s ease}h2:hover .anchor{opacity:1}h2 .anchor:hover{color:var(--accent)}h3{margin:20px 0 8px;font-size:16.5px;font-weight:600;letter-spacing:-.008em}p{margin:0 0 14px}section>p:last-child{margin-bottom:0}.cite{font-family:var(--mono);font-size:.78em;color:var(--accent);text-decoration:none;white-space:nowrap}.cite:hover{text-decoration:underline}.thesis{font-weight:600;margin:2px 0 16px;text-wrap:balance}.law{margin:20px 0 0;padding:0;list-style:none;display:flex;flex-direction:column;gap:15px}.law li{padding-left:26px;position:relative}.law li:before{content:"§";position:absolute;left:2px;top:1px;font-family:var(--mono);font-size:13px;color:var(--muted)}.law b{font-weight:600}.law .gloss{color:var(--ink-2)}.kwd{font-family:var(--mono);font-size:.78em;font-weight:600;letter-spacing:.04em;color:var(--accent)}.field{display:grid;grid-template-columns:13ch 1fr;gap:4px 16px;margin:18px 0 0;font-family:var(--mono);font-size:12.5px;line-height:1.55}.field dt{color:var(--muted)}.field dd{margin:0}.field dd .cite{font-size:inherit}.field+p,.field+h3{margin-top:18px}.toolchain{overflow-x:auto;margin-top:18px}.toolchain table{width:100%;border-collapse:collapse;font-family:var(--mono);font-size:12.5px;line-height:1.55}.toolchain th{text-align:left;font-weight:600;padding:7px 14px 7px 0;border-top:1.5px solid var(--rule-x);border-bottom:.75px solid var(--rule-x);white-space:nowrap}.toolchain td{padding:6px 14px 6px 0;vertical-align:baseline}.toolchain tbody tr:last-child td{border-bottom:1.5px solid var(--rule-x)}.toolchain td:first-child{color:var(--muted);white-space:nowrap}.plan{margin:18px 0 0;display:flex;flex-direction:column;gap:9px}.plan .row{display:grid;grid-template-columns:19ch 1fr;gap:16px;align-items:baseline}.plan.tight .row{grid-template-columns:13ch 1fr}.plan .path{font-family:var(--mono);font-size:12.5px;font-weight:600;color:var(--accent)}.plan a.path{text-decoration:none}.plan a.path:hover{text-decoration:underline}.plan .what{font-size:15px;color:var(--ink-2)}.refs{margin:16px 0 0;padding:0;list-style:none;display:flex;flex-direction:column;gap:12px}.refs li{display:grid;grid-template-columns:4ch 1fr;gap:10px;font-size:15px;line-height:1.55}.refs .rno{font-family:var(--mono);font-size:12.5px;color:var(--accent);padding-top:2px}.refs .rbody em{font-style:italic}.refs .rid{font-family:var(--mono);font-size:12px}.refs .me{font-weight:600}.doc-list{margin:0 0 14px;padding-left:22px}.doc-list li{margin-bottom:5px}.doc-list li::marker{color:var(--accent)}pre.block{font-family:var(--mono);font-size:12px;line-height:1.65;background:var(--wash);border:1px solid var(--wash-line);padding:14px 16px;margin:18px 0;overflow-x:auto;color:var(--ink-2)}pre.block .k{color:var(--accent)}pre.block .f{color:var(--muted)}figure.fig{margin:26px 0}figure.fig svg{display:block;width:100%;height:auto}figure.fig figcaption{margin-top:10px;font-size:13.5px;line-height:1.55;color:var(--ink-2)}figure.fig figcaption b{font-family:var(--mono);font-size:11.5px;font-weight:600;letter-spacing:.06em;color:var(--accent);margin-right:6px}.results{overflow-x:auto;margin:20px 0}.results table{width:100%;border-collapse:collapse;font-family:var(--mono);font-size:12px;line-height:1.55;font-variant-numeric:tabular-nums}.results caption{caption-side:top;text-align:left;font-family:var(--serif);font-size:13.5px;color:var(--ink-2);margin-bottom:9px}.results caption b{font-family:var(--mono);font-size:11.5px;letter-spacing:.06em;color:var(--accent);margin-right:6px}.results th{text-align:right;font-weight:600;padding:7px 10px 7px 0;border-top:1.5px solid var(--rule-x);border-bottom:.75px solid var(--rule-x);white-space:nowrap}.results th:first-child{text-align:left}.results td{padding:6px 10px 6px 0;text-align:right;white-space:nowrap}.results td:first-child{text-align:left;color:var(--muted)}.results tbody tr:last-child td{border-bottom:1.5px solid var(--rule-x)}.results .mine{color:var(--accent);font-weight:600}.results .mine td:first-child{color:var(--accent)}.bio{display:flex;gap:20px;align-items:flex-start;margin:36px 0 0}.bio img{width:110px;height:132px;object-fit:cover;display:block;border:1px solid var(--rule);flex:none}.bio p{margin:0;font-size:14.5px;line-height:1.6;color:var(--ink-2)}.bio p b{color:var(--ink);font-variant:small-caps;letter-spacing:.03em;font-weight:600}@media(max-width:640px){.bio{gap:14px}.bio img{width:88px;height:106px}}.note-list{display:flex;flex-direction:column;margin:4px 0 0}.note-list .item{display:grid;grid-template-columns:9ch 1fr;gap:0 18px;padding:17px 0;border-bottom:1px solid var(--rule);align-items:baseline}.note-list .item:first-child{border-top:1px solid var(--rule)}.note-list .num{font-family:var(--mono);font-size:12.5px;font-weight:600;color:var(--accent)}.note-list h2{display:block;gap:0;margin:0 0 5px;font-size:17.5px;font-weight:600;letter-spacing:-.008em}.note-list h2 a{color:var(--ink);text-decoration:none}.note-list h2 a:hover{color:var(--accent);text-decoration:underline}.note-list .dek{margin:0;font-size:14.5px;line-height:1.55;color:var(--ink-2)}.note-list .meta{margin:7px 0 0;font-family:var(--mono);font-size:11px;color:var(--muted)}.note-list .pending .num,.note-list .pending h3{color:var(--muted)}@media(max-width:640px){.note-list .item{grid-template-columns:1fr;gap:4px}}.status .now{margin-top:10px;font-family:var(--mono);font-size:11.5px;line-height:1.6;color:var(--muted)}.status .now .k{color:var(--accent);font-weight:600;font-size:10px;letter-spacing:.14em;text-transform:uppercase;margin-right:6px}.doc-history{margin:52px 0 0;font-family:var(--mono);font-size:11.5px;line-height:1.6;color:var(--muted);display:flex;flex-direction:column;gap:3px}.doc-history .dh-h{font-size:10px;font-weight:600;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);margin:0 0 6px;padding-bottom:5px;border-bottom:1px solid var(--rule)}.doc-history .dh-h:not(:first-child){margin-top:16px}.doc-history .dh-row{display:grid;grid-template-columns:6ch 11ch 1fr;gap:0 14px}.doc-history .dh-row .no{color:var(--accent)}.doc-history details{display:flex;flex-direction:column;gap:3px}.doc-history summary{cursor:pointer;color:var(--accent);padding:4px 0 2px;list-style:none;width:fit-content}.doc-history summary::-webkit-details-marker{display:none}.doc-history summary:before{content:"+ "}.doc-history details[open] summary:before{content:"−"}.doc-history summary:hover{text-decoration:underline;text-underline-offset:2px}.doc-history details[open] summary{margin-bottom:4px}@media(max-width:640px){.doc-history .dh-row{grid-template-columns:6ch 1fr}.doc-history .dh-row .date{display:none}}.fnrule{border:0;border-top:.75px solid var(--rule-x);width:34%;margin:52px 0 12px}.colophon{font-size:13px;line-height:1.6;color:var(--muted);margin:0}.colophon .mono{font-size:11.5px}@media(max-width:640px){.page{padding:40px 20px 56px}.doc-head{font-size:12px}.doc-head .nav-row{flex-direction:column;gap:2px}.doc-head .nav-row .rt{text-align:left;margin-left:0}.abstract{margin-inline:4px}.abstract p{text-align:left;hyphens:none}.field{grid-template-columns:1fr;gap:0}.field dt{margin-top:8px}.field dd{padding-left:14px}.plan .row{grid-template-columns:1fr;gap:2px}.plan .what{padding-left:14px}}@page{size:A4;margin:16mm}@media print{:root,:root[data-theme=dark]{--paper: #FFFFFF;--ink: #111214;--ink-2: #35363A;--muted: #5D5E58;--rule: #C9C9C0;--rule-x: #111214;--accent: #1D3A5F;--wash: #F5F5F0;--wash-line: #BFBFB4}*{-webkit-print-color-adjust:exact!important;print-color-adjust:exact!important}body{font-size:11pt}.stamp,.theme-row,.doc-head .nav-row{display:none}.doc-history summary{color:var(--muted);cursor:default}.doc-history summary:before{content:""}.page{max-width:100%;padding:0}section,.status,.refs li,.field{break-inside:avoid}h2 .anchor{display:none}a{text-decoration:none;color:var(--ink)}.cite,.refs .rno,.plan .path,.refs .rid a{color:var(--accent)}}