:root{--ink: #090c0e;--deep: #0c1014;--ash-forge: #141a1e;--char-forge: #1c2428;--stone-forge:#3e4c54;--mist-forge: #6e8090;--vellum: #e8eff2;--cream-forge:#ccd8de;--warm: #111008;--ash-warm: #1c1a18;--char-warm: #242220;--stone-warm: #484440;--mist-warm: #888078;--cream-warm: #e4ddd0;--parchment: #c8c0b0;--dust: #7a7268;--steel: #2a7a8a;--steel-lit: #48b0c8;--steel-dim: #1a4a58;--steel-pale: rgba(42,122,138,.1);--steel-wire: rgba(42,122,138,.18);--amber: #c8822a;--amber-lit: #e8a850;--amber-dim: #7a4e1a;--amber-pale: rgba(200,130,42,.1);--amber-wire: rgba(200,130,42,.16);--gold: #c8972a;--gold-dim: #7a5c1a;--gold-pale: rgba(200,151,42,.1);--gold-wire: rgba(200,151,42,.16);--teal-act: #2a8a6a;--teal-lit: #48c8a0;--blue-lit: #4a8ab8;--serif: "Cormorant Garamond", Georgia, serif;--body: "Crimson Pro", Georgia, serif;--mono: "JetBrains Mono", "Courier New", monospace;--grain: url("data:image/svg+xml,%3Csvg viewBox='0 0 256 256' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.88' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='0.04'/%3E%3C/svg%3E");--paper: #FAF8F4;--paper2: #F2EFE8;--paper3: #1C1C1E;--l-ink: #1A1714;--l-ink2: #3D3830;--l-ink3: #6B6358;--l-ink4: #9C9488;--rule: #DDD8CE;--l-amber: #C4861A;--l-amber-bg: rgba(196,134,26,.07);--l-teal: #1A7A62;--l-teal-bg: rgba(26,122,98,.07);--l-red: #B83232;--l-red-bg: rgba(184,50,50,.07);--l-blue: #2A5FA5;--l-blue-bg: rgba(42,95,165,.07)}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth}body{background:var(--paper);color:var(--l-ink);font-family:"Source Serif 4",Georgia,serif;font-size:16px;line-height:1.75;-webkit-font-smoothing:antialiased;max-width:960px;margin:0 auto;padding:0 40px 80px}body:before{display:none!important}a{color:inherit;text-decoration:none}h1{font-family:"DM Serif Display",Georgia,serif;font-size:clamp(28px,4vw,48px);font-weight:400;line-height:1.1;letter-spacing:-.01em}h2{font-family:"DM Serif Display",Georgia,serif;font-size:26px;font-weight:400;line-height:1.2;margin:52px 0 14px;padding-top:8px;border-top:1px solid var(--rule)}h3{font-family:"DM Serif Display",Georgia,serif;font-size:18px;font-weight:400;margin:28px 0 8px}p{font-size:15px;line-height:1.8;color:var(--l-ink2);margin-bottom:12px}code{font-family:DM Mono,Courier New,monospace;background:var(--paper2);color:var(--l-amber);font-size:11.5px;padding:1px 5px;border-radius:2px}::-webkit-scrollbar{width:8px}::-webkit-scrollbar-track{background:var(--paper)}::-webkit-scrollbar-thumb{background:var(--rule);border-radius:4px}.doc-header[data-astro-cid-yhbp2c2c]{border-bottom:3px solid var(--l-ink);padding:40px 0 28px;margin-bottom:40px}.doc-meta[data-astro-cid-yhbp2c2c]{display:flex;gap:16px;flex-wrap:wrap;margin-bottom:16px;align-items:center}.label[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;letter-spacing:.1em;text-transform:uppercase;color:var(--l-ink4)}.label[data-astro-cid-yhbp2c2c].amber{color:var(--l-amber)}.kicker[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;letter-spacing:.12em;text-transform:uppercase;color:var(--l-amber);display:block;margin-bottom:12px}.proof-chain[data-astro-cid-yhbp2c2c]{background:var(--paper2);border:1px solid var(--rule);padding:16px 20px;font-family:DM Mono,monospace;font-size:11px;line-height:2.2;color:var(--l-ink2);margin:20px 0;border-radius:2px;white-space:pre-wrap}.pc-elements[data-astro-cid-yhbp2c2c]{color:var(--l-blue)}.pc-codex[data-astro-cid-yhbp2c2c]{color:var(--l-amber)}.pc-verdict[data-astro-cid-yhbp2c2c]{color:var(--l-red)}.pc-verifier[data-astro-cid-yhbp2c2c]{color:var(--l-teal)}.pc-dim[data-astro-cid-yhbp2c2c]{color:var(--l-ink4)}.pc-label[data-astro-cid-yhbp2c2c]{color:var(--l-ink4);font-size:9px;letter-spacing:.1em;text-transform:uppercase}.elements-section[data-astro-cid-yhbp2c2c]{margin:0 0 40px;padding:28px 0 32px;border-bottom:1px solid var(--rule)}.elements-grid[data-astro-cid-yhbp2c2c]{display:grid;grid-template-columns:repeat(3,1fr);gap:10px;margin:20px 0 0}.el-card[data-astro-cid-yhbp2c2c]{border:1px solid var(--rule);border-radius:4px;overflow:hidden;background:var(--paper)}.el-card-header[data-astro-cid-yhbp2c2c]{padding:10px 13px 8px;border-bottom:1px solid var(--rule);background:var(--paper2);display:flex;justify-content:space-between;align-items:baseline}.el-layer[data-astro-cid-yhbp2c2c]{font-family:"DM Serif Display",serif;font-size:14px;color:var(--l-ink)}.el-roman[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:9px;color:var(--l-ink4);letter-spacing:.1em}.el-body[data-astro-cid-yhbp2c2c]{padding:10px 13px}.el-statement[data-astro-cid-yhbp2c2c]{font-size:12px;color:var(--l-ink2);line-height:1.65;margin-bottom:8px;font-style:italic}.el-maps[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;color:var(--l-amber)}.el-maps-label[data-astro-cid-yhbp2c2c]{color:var(--l-ink4)}.laws-grid[data-astro-cid-yhbp2c2c]{display:grid;grid-template-columns:repeat(5,1fr);gap:8px;margin:16px 0}.law-chip[data-astro-cid-yhbp2c2c]{border:1px solid var(--rule);border-radius:3px;padding:10px 12px;background:var(--paper2)}.law-num[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;color:var(--l-amber);display:block}.law-label[data-astro-cid-yhbp2c2c]{font-size:12px;color:var(--l-ink2);margin-top:4px;line-height:1.5}.kernel-grid[data-astro-cid-yhbp2c2c]{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin:16px 0}.k-card[data-astro-cid-yhbp2c2c]{border:1px solid var(--rule);border-radius:4px;padding:16px 18px;background:var(--paper)}.k-header[data-astro-cid-yhbp2c2c]{display:flex;justify-content:space-between;align-items:flex-start;margin-bottom:10px}.k-name[data-astro-cid-yhbp2c2c]{font-family:"DM Serif Display",serif;font-size:16px}.k-lang[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;padding:2px 8px;border-radius:2px}.k-lang[data-astro-cid-yhbp2c2c].swift{background:var(--l-amber-bg);color:var(--l-amber);border:1px solid rgba(196,134,26,.2)}.k-lang[data-astro-cid-yhbp2c2c].rust{background:var(--l-teal-bg);color:var(--l-teal);border:1px solid rgba(26,122,98,.2)}.k-list[data-astro-cid-yhbp2c2c]{list-style:none;display:flex;flex-direction:column;gap:5px}.k-list[data-astro-cid-yhbp2c2c] li[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:11px;color:var(--l-ink3);display:flex;gap:8px}.k-list[data-astro-cid-yhbp2c2c] li[data-astro-cid-yhbp2c2c]:before{content:"●";font-size:7px;margin-top:3px;color:var(--l-amber)}.k-ideal[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;color:var(--l-ink4);margin-top:10px;padding-top:10px;border-top:1px solid var(--rule)}.j-grid[data-astro-cid-yhbp2c2c]{display:grid;grid-template-columns:repeat(3,1fr);gap:12px;margin:16px 0}.j-card[data-astro-cid-yhbp2c2c]{border:1px solid var(--rule);border-radius:4px;overflow:hidden;background:var(--paper)}.j-header[data-astro-cid-yhbp2c2c]{padding:12px 14px 10px;border-bottom:1px solid var(--rule);background:var(--paper2);display:flex;justify-content:space-between;align-items:center}.j-name[data-astro-cid-yhbp2c2c]{font-family:"DM Serif Display",serif;font-size:15px}.j-lang[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:9px;color:var(--l-ink4)}.j-desc[data-astro-cid-yhbp2c2c]{font-size:12px;color:var(--l-ink3);line-height:1.6;padding:12px 14px;margin-bottom:0}.j-laws[data-astro-cid-yhbp2c2c]{display:flex;flex-wrap:wrap;gap:4px;padding:0 14px 12px}.pill[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:9px;padding:2px 7px;border-radius:10px;border:1px solid var(--rule);color:var(--l-ink4);background:var(--paper2)}.doc-footer[data-astro-cid-yhbp2c2c]{border-top:3px solid var(--l-ink);padding:24px 0 0;margin-top:56px;display:flex;justify-content:space-between;align-items:baseline}.doc-footer-link[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;letter-spacing:.08em;text-transform:uppercase;color:var(--l-amber);transition:opacity .15s}.doc-footer-link[data-astro-cid-yhbp2c2c]:hover{opacity:.7}.doc-footer-meta[data-astro-cid-yhbp2c2c]{font-family:DM Mono,monospace;font-size:10px;color:var(--l-ink4)}@media(max-width:768px){.elements-grid[data-astro-cid-yhbp2c2c],.j-grid[data-astro-cid-yhbp2c2c],.kernel-grid[data-astro-cid-yhbp2c2c]{grid-template-columns:1fr}.laws-grid[data-astro-cid-yhbp2c2c]{grid-template-columns:repeat(3,1fr)}}