.doc-page{background:var(--bg)}.doc-page *,.doc-page *:before,.doc-page *:after{animation:none!important;transition:none!important}.container{width:min(1200px,calc(100% - 3rem));margin:0 auto}.skip-link{position:absolute;left:-999px;top:.5rem;background:var(--bg);color:var(--fg);padding:.5rem .75rem;border:1px solid var(--border);border-radius:8px;z-index:1000}.skip-link:focus{left:1rem}.site-header{position:sticky;top:0;z-index:50;background:color-mix(in oklab,var(--bg) 92%,transparent);backdrop-filter:blur(10px);border-bottom:1px solid color-mix(in oklab,var(--border) 85%,var(--fg) 15%)}.header-inner{display:flex;align-items:center;justify-content:space-between;padding:.9rem 0}.brand{display:inline-flex;align-items:baseline;gap:.55rem;text-decoration:none;color:var(--fg);font-family:var(--sans)}.brand-mark{color:var(--accent);font-size:var(--text-sm)}.brand-text{font-weight:650;letter-spacing:-.02em}.site-nav{display:flex;gap:1.1rem;align-items:center;font-size:var(--text-sm);background:transparent;backdrop-filter:none}.site-nav a{color:color-mix(in oklab,var(--fg) 86%,var(--muted) 14%);text-decoration:none}.site-nav a:hover{color:var(--fg)}.lang-toggle{display:inline-flex;gap:.35rem;border:1px solid color-mix(in oklab,var(--border) 85%,var(--fg) 15%);border-radius:999px;padding:.15rem}.lang{padding:.22rem .55rem;border-radius:999px;font-family:var(--mono);font-size:var(--text-kicker);color:color-mix(in oklab,var(--fg) 80%,var(--muted) 20%)}.lang.is-active{background:color-mix(in oklab,var(--bg) 90%,var(--fg) 10%);color:var(--fg)}.lang.is-disabled{opacity:.5;pointer-events:none}.breadcrumb{padding:1.1rem 0 .6rem;font-size:var(--text-sm);color:var(--muted)}.breadcrumb a{color:color-mix(in oklab,var(--fg) 82%,var(--muted) 18%);text-decoration:none}.breadcrumb a:hover{color:var(--fg)}.breadcrumb .sep{margin:0 .45rem;color:color-mix(in oklab,var(--muted) 80%,var(--fg) 20%)}.doc-shell{display:grid;grid-template-columns:260px minmax(0,1fr) 240px;gap:2.25rem;padding:.75rem 0 3.5rem}.doc-toc{position:sticky;top:5.25rem;align-self:start;padding-top:.25rem;max-height:calc(100vh - 6.5rem);overflow-y:auto;overscroll-behavior:contain;scrollbar-gutter:stable;padding-right:.35rem;padding-bottom:1rem;scroll-padding-bottom:3rem}.toc-toggle{display:none}.toc-list{border-left:1px solid color-mix(in oklab,var(--border) 90%,transparent);padding-left:.9rem;font-size:var(--text-xs)}.toc-list a{display:block;text-decoration:none;color:color-mix(in oklab,var(--fg) 62%,var(--muted) 38%);padding:.28rem 0}.toc-list a:hover{color:color-mix(in oklab,var(--fg) 82%,var(--muted) 18%)}.toc-list a.is-active{color:color-mix(in oklab,var(--fg) 92%,var(--muted) 8%);font-weight:600}.toc-list ul{list-style:none;padding-left:0;margin:0}.toc-list li{margin:0}.toc-item.depth-3{margin-left:.6rem}.toc-list ul ul{margin-left:.6rem;border-left:1px solid color-mix(in oklab,var(--border) 88%,transparent);padding-left:.6rem}.doc-main{min-width:0;max-width:78ch;width:100%;justify-self:start}.doc-header{padding:.75rem 0 .1rem}.doc-kicker{display:flex;justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.75rem;color:var(--muted)}.doc-label{font-family:var(--mono);font-size:var(--text-kicker);letter-spacing:.08em;text-transform:uppercase}.doc-report-id{font-family:var(--mono);font-size:var(--text-kicker);color:color-mix(in oklab,var(--muted) 85%,var(--fg) 15%)}.doc-title{font-family:var(--sans);font-size:var(--text-doc-title);line-height:1.15;letter-spacing:-.03em;margin:.25rem 0 .35rem;font-weight:700}.doc-subtitle{margin:0 0 1.15rem;font-size:var(--text-lg);line-height:1.5;color:color-mix(in oklab,var(--fg) 84%,var(--muted) 16%);max-width:70ch}.doc-summary{margin:0 0 1.35rem;max-width:70ch}.doc-summary-label{font-family:var(--mono);font-size:var(--text-kicker);text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:.45rem}.doc-summary p{margin:0;font-size:var(--text-base);line-height:1.6;color:color-mix(in oklab,var(--fg) 90%,var(--muted) 10%)}.doc-meta{display:grid;grid-template-columns:1fr 1fr;gap:.6rem 1.2rem;margin:0;padding:0;max-width:80ch;min-width:0}.meta-row{display:grid;grid-template-columns:92px 1fr;gap:.55rem;padding:.35rem 0;border-bottom:1px solid color-mix(in oklab,var(--border) 85%,transparent);min-width:0}.doc-meta dt{font-family:var(--mono);font-size:var(--text-kicker);color:var(--muted);text-transform:uppercase;letter-spacing:.08em;min-width:0}.doc-meta dd{margin:0;color:color-mix(in oklab,var(--fg) 90%,var(--muted) 10%);min-width:0;overflow-wrap:anywhere;word-break:break-word}.doc-meta dd .chip{white-space:nowrap;word-break:normal;overflow-wrap:normal}.doc-meta a{color:color-mix(in oklab,var(--fg) 86%,var(--muted) 14%);text-decoration:none}.doc-meta a:hover{color:var(--fg)}.status-pill{display:inline-flex;align-items:center;padding:.18rem .5rem;border-radius:999px;font-size:var(--text-sm);border:1px solid color-mix(in oklab,var(--border) 80%,var(--fg) 20%);background:color-mix(in oklab,var(--bg) 94%,var(--fg) 6%)}.status-draft{opacity:.85}.status-archived{opacity:.7;text-decoration:line-through}.doc-actions{display:flex;gap:.55rem;align-items:center;margin-top:1rem}.btn{display:inline-flex;align-items:center;justify-content:center;gap:.45rem;padding:.5rem .75rem;border-radius:10px;border:1px solid color-mix(in oklab,var(--border) 82%,var(--fg) 18%);background:color-mix(in oklab,var(--bg) 92%,var(--fg) 8%);color:var(--fg);text-decoration:none;font-size:var(--text-sm);cursor:pointer}.btn:hover{background:color-mix(in oklab,var(--bg) 88%,var(--fg) 12%)}.btn-ghost{background:transparent}.btn-secondary{background:color-mix(in oklab,var(--bg) 94%,var(--fg) 6%)}.rule{border:0;border-top:1px solid color-mix(in oklab,var(--border) 75%,var(--fg) 25%);margin:1.6rem 0}.doc-abstract{border:1px solid color-mix(in oklab,var(--border) 85%,var(--fg) 15%);background:color-mix(in oklab,var(--bg) 96%,var(--fg) 4%);border-radius:12px;padding:1.05rem 1.1rem;box-shadow:0 1px #00000008;max-width:86ch}.doc-abstract.is-signal{border-left:3px solid color-mix(in oklab,var(--accent-signal) 60%,transparent);background:color-mix(in oklab,var(--accent-signal) 6%,var(--bg) 94%)}.doc-abstract.is-constraint{border-left:3px solid color-mix(in oklab,var(--accent-constraint) 60%,transparent);background:color-mix(in oklab,var(--accent-constraint) 5%,var(--bg) 95%)}.doc-abstract.is-primary{border-left:3px solid color-mix(in oklab,var(--accent-primary) 60%,transparent);background:color-mix(in oklab,var(--accent-primary) 5%,var(--bg) 95%)}.section-title{margin:0 0 .55rem;font-size:var(--text-kicker);font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:color-mix(in oklab,var(--fg) 80%,var(--muted) 20%)}.abstract-body{color:color-mix(in oklab,var(--fg) 90%,var(--muted) 10%);font-size:var(--text-base);line-height:1.65}.prose{font-size:var(--text-md);line-height:1.75;color:color-mix(in oklab,var(--fg) 95%,var(--muted) 5%)}.prose h2,.prose h3,.prose h4{color:var(--fg);scroll-margin-top:130px}.prose h2{font-size:var(--text-2xl);margin:2.4rem 0 .9rem;font-weight:600}.prose h3{font-size:var(--text-xl);margin:1.8rem 0 .75rem;font-weight:600}.prose h4{font-size:var(--text-lg);margin:1.4rem 0 .5rem;font-weight:600}.heading-anchor{opacity:0;margin-left:.4rem;text-decoration:none;color:color-mix(in oklab,var(--fg) 55%,var(--muted) 45%);font-size:.85em}.heading-anchor:empty:after{content:"#"}.prose h2:hover .heading-anchor,.prose h3:hover .heading-anchor,.prose h4:hover .heading-anchor{opacity:1}.prose p{margin:1rem 0}.prose ul,.prose ol{margin:1rem 0 1.5rem 1.5rem}.prose table{width:100%;border-collapse:collapse;display:block;overflow-x:auto;-webkit-overflow-scrolling:touch}.prose th,.prose td{text-align:left;padding:.5rem .65rem;border-bottom:1px solid color-mix(in oklab,var(--border) 80%,transparent)}.prose li{margin:.5rem 0}.prose a{color:var(--accent);text-decoration:underline;text-underline-offset:.18em}.prose blockquote{margin:1.5rem 0;padding:1rem 1.25rem;border-left:2px solid color-mix(in oklab,var(--border) 65%,var(--fg) 35%);background:color-mix(in oklab,var(--bg) 96%,var(--fg) 4%)}.prose code{font-family:var(--mono);font-size:.92em;background:color-mix(in oklab,var(--bg) 94%,var(--fg) 6%);padding:.18em .35em;border-radius:6px}.prose pre{background:color-mix(in oklab,var(--bg) 94%,var(--fg) 6%);padding:1.25rem 1.5rem;border-radius:12px;overflow-x:auto;font-size:var(--text-sm)}.prose .katex-display{overflow-x:auto;overflow-y:hidden;max-width:100%;-webkit-overflow-scrolling:touch;padding:.25rem 0}.prose .katex-display>.katex{max-width:100%}.definition-block,.hypothesis-block,.protocol-block{border-left:2px solid color-mix(in oklab,var(--border) 65%,var(--fg) 35%);padding:1rem 1.25rem;background:color-mix(in oklab,var(--bg) 96%,var(--fg) 4%);margin:1.5rem 0}.formula-block{margin:1.5rem 0;text-align:center;font-family:var(--mono);font-size:var(--text-base)}.formula-caption{margin-top:.5rem;font-size:var(--text-xs);letter-spacing:.08em;text-transform:uppercase;color:color-mix(in oklab,var(--fg) 75%,var(--muted) 25%)}.doc-footer{max-width:86ch}.doc-related{margin-top:1.6rem;max-width:86ch}.related-list{display:grid;gap:.75rem}.related-card{border:1px solid color-mix(in oklab,var(--border) 85%,var(--fg) 15%);border-radius:12px;padding:.85rem 1rem;background:color-mix(in oklab,var(--bg) 97%,var(--fg) 3%);display:grid;gap:.5rem}.related-title{color:var(--fg);text-decoration:none;font-weight:600}.related-title:hover{color:color-mix(in oklab,var(--fg) 85%,var(--muted) 15%)}.citation-box{font-family:var(--mono);font-size:var(--text-sm);line-height:1.55;padding:.9rem 1rem;border:1px solid color-mix(in oklab,var(--border) 82%,var(--fg) 18%);border-radius:12px;background:color-mix(in oklab,var(--bg) 94%,var(--fg) 6%);overflow:auto;white-space:pre-wrap}.version-list{list-style:none;padding:0;margin:0;display:grid;gap:.5rem;font-size:var(--text-sm)}.version-list li{display:flex;flex-wrap:wrap;gap:.75rem;color:color-mix(in oklab,var(--fg) 75%,var(--muted) 25%)}.version-label{font-weight:600;color:color-mix(in oklab,var(--fg) 82%,var(--muted) 18%)}.doc-side{position:sticky;top:5.25rem;align-self:start;padding-top:.25rem;display:flex;flex-direction:column;gap:1rem;max-height:calc(100vh - 6.5rem);overflow-y:auto;overscroll-behavior:contain;scrollbar-gutter:stable;padding-right:.35rem;padding-bottom:1rem;scroll-padding-bottom:3rem}.doc-toc:after,.doc-side:after{content:"";display:block;height:3.25rem}.side-block{border-left:1px solid color-mix(in oklab,var(--border) 90%,transparent);padding-left:.9rem}.side-block.is-signal{border-left-color:color-mix(in oklab,var(--accent-signal) 60%,transparent)}.side-block.is-constraint{border-left-color:color-mix(in oklab,var(--accent-constraint) 60%,transparent)}.side-block.is-primary{border-left-color:color-mix(in oklab,var(--accent-primary) 60%,transparent)}.side-title{margin:0 0 .8rem;font-family:Inter,sans-serif;font-size:var(--text-sm);font-weight:600;letter-spacing:.02em;text-transform:none;color:var(--fg-bold)}.side-body{display:grid;gap:.55rem;font-size:var(--text-sm);line-height:1.5;color:color-mix(in oklab,var(--fg) 78%,var(--muted) 22%)}.side-body p{margin:0}.side-pair{display:grid;gap:.2rem}.side-label{font-family:var(--mono);font-size:var(--text-xs);letter-spacing:.12em;text-transform:uppercase;color:color-mix(in oklab,var(--muted) 88%,var(--fg) 12%)}.side-value{line-height:1.5;color:color-mix(in oklab,var(--fg) 82%,var(--muted) 18%)}.side-lead{font-weight:600;font-size:var(--text-sm);color:color-mix(in oklab,var(--fg) 90%,var(--muted) 10%)}.side-list{margin:0;padding-left:1.05rem;display:grid;gap:.3rem;list-style:disc}.side-list li{margin:0}.side-lines{display:grid;gap:.3rem;font-size:var(--text-sm);color:color-mix(in oklab,var(--fg) 82%,var(--muted) 18%)}.side-line{line-height:1.35}.invariant-list{list-style:none;padding:0;margin:0;display:flex;flex-wrap:wrap;gap:.4rem}.tag-cloud,.chip-row{display:flex;flex-wrap:wrap;gap:.4rem}.series-nav a{color:inherit;text-decoration:none}.series-nav{display:grid;gap:.6rem}.series-name{font-size:var(--text-xs);letter-spacing:.08em;text-transform:uppercase;color:color-mix(in oklab,var(--muted) 88%,var(--fg) 12%)}.series-list{list-style:none;padding:0;margin:0;display:grid;gap:.45rem}.series-item{display:flex;align-items:baseline;gap:.5rem;color:color-mix(in oklab,var(--fg) 70%,var(--muted) 30%);font-size:var(--text-sm);line-height:1.3}.series-item:hover{color:color-mix(in oklab,var(--fg) 86%,var(--muted) 14%)}.series-item.is-current{color:color-mix(in oklab,var(--fg) 92%,var(--muted) 8%);font-weight:600}.series-index{font-family:var(--mono);font-size:var(--text-xs);letter-spacing:.08em;color:color-mix(in oklab,var(--muted) 75%,var(--fg) 25%);flex-shrink:0}.series-item.is-current .series-index{color:color-mix(in oklab,var(--fg) 80%,var(--muted) 20%)}.series-title{display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}.chip{display:inline-flex;align-items:center;padding:.1rem .4rem;border-radius:999px;font-size:var(--text-xs);border:1px solid color-mix(in oklab,var(--border) 94%,transparent);background:color-mix(in oklab,var(--bg) 98%,var(--fg) 2%);color:color-mix(in oklab,var(--fg) 66%,var(--muted) 34%);text-decoration:none}.chip-domain.ai{color:var(--accent-signal);border-color:color-mix(in oklab,var(--accent-signal) 35%,transparent);background:color-mix(in oklab,var(--accent-signal) 12%,var(--bg) 88%)}.chip-domain.platform{color:var(--accent-primary);border-color:color-mix(in oklab,var(--accent-primary) 35%,transparent);background:color-mix(in oklab,var(--accent-primary) 12%,var(--bg) 88%)}.chip-domain.security{color:var(--accent-constraint);border-color:color-mix(in oklab,var(--accent-constraint) 35%,transparent);background:color-mix(in oklab,var(--accent-constraint) 12%,var(--bg) 88%)}.chip-domain.general,.chip-domain.sociotechnical{color:color-mix(in oklab,var(--fg) 70%,var(--muted) 30%);border-color:color-mix(in oklab,var(--border) 90%,transparent);background:color-mix(in oklab,var(--bg) 98%,var(--fg) 2%)}.chip-primary{color:var(--accent-primary);border-color:color-mix(in oklab,var(--accent-primary) 35%,transparent);background:color-mix(in oklab,var(--accent-primary) 10%,var(--bg) 90%)}.chip-constraint{color:var(--accent-constraint);border-color:color-mix(in oklab,var(--accent-constraint) 35%,transparent);background:color-mix(in oklab,var(--accent-constraint) 10%,var(--bg) 90%)}.chip-signal{color:var(--accent-signal);border-color:color-mix(in oklab,var(--accent-signal) 35%,transparent);background:color-mix(in oklab,var(--accent-signal) 10%,var(--bg) 90%)}.chip:hover{background:color-mix(in oklab,var(--bg) 96%,var(--fg) 4%);color:color-mix(in oklab,var(--fg) 82%,var(--muted) 18%)}.chip-tag,.chip-invariant{font-size:var(--text-xs)}.site-footer{border-top:1px solid color-mix(in oklab,var(--border) 85%,var(--fg) 15%);padding:1.25rem 0;color:var(--muted);font-size:var(--text-sm)}.footer-inner{display:flex;gap:.6rem;align-items:center}@media (max-width: 1020px){.doc-shell{grid-template-columns:1fr;gap:1.25rem}.doc-toc{position:relative;top:0;border:1px solid color-mix(in oklab,var(--border) 85%,var(--fg) 15%);border-radius:12px;padding:.7rem .85rem;background:color-mix(in oklab,var(--bg) 96%,var(--fg) 4%)}.toc-toggle{display:inline-flex;width:100%;align-items:center;justify-content:space-between;border:0;background:transparent;padding:0;font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;font-size:var(--text-kicker);color:var(--muted);cursor:pointer}.toc-list{border-left:0;padding-left:0;margin-top:.7rem;display:none}.toc-list.is-open{display:block}.doc-meta{grid-template-columns:1fr}.doc-side{display:none}}@media (max-width: 640px){.header-inner{gap:.75rem}.site-nav{gap:.75rem;font-size:var(--text-kicker)}.lang{font-size:var(--text-xs);padding:.18rem .4rem}.doc-shell{gap:1rem}.doc-title{font-size:var(--text-2xl)}.doc-subtitle{font-size:var(--text-base)}.doc-meta{gap:.45rem .8rem}.meta-row{grid-template-columns:82px 1fr}.doc-abstract{padding:.85rem .9rem}.abstract-body{font-size:var(--text-base);line-height:1.6}.doc-toc{padding:.6rem .75rem;border-color:color-mix(in oklab,var(--border) 90%,transparent);background:color-mix(in oklab,var(--bg) 98%,var(--fg) 2%)}.toc-toggle,.toc-list{font-size:var(--text-xs)}.prose pre{padding:.9rem 1rem;font-size:var(--text-xs)}}@media print{:root{--bg: #ffffff;--fg: #000000}html,body{background:#fff!important;color:#000!important}.site-header,.breadcrumb,.doc-toc,.doc-side,.site-footer,.doc-actions,.lang-toggle,.skip-link{display:none!important}.container{width:100%!important;margin:0!important}.doc-shell{display:block!important;padding:0!important}.doc-title{font-size:20pt!important}.prose{font-size:11.5pt!important;line-height:1.55!important}.doc-abstract{box-shadow:none!important}.page-break{page-break-before:always}a{color:#000!important;text-decoration:none!important;border:0!important}a[href^=http]:after{content:" (" attr(href) ")";font-size:9.5pt;color:#444}h2,h3{page-break-after:avoid}p,li{orphans:3;widows:3}pre,blockquote,table{page-break-inside:avoid}}