*,:before,:after{box-sizing:border-box;margin:0;padding:0}:root{color-scheme:light dark;--page:#f7f6f2;--surface:#fff;--surface-2:#fdfdfb;--ink-900:#1a1a1a;--ink-700:#404040;--ink-500:#707070;--ink-300:#9a9a9a;--rule:#00000014;--rule-hi:#00000024;--code-bg:#1e1e26;--code-ink:#e8e8e8;--camp-syntactic:#3e5c76;--camp-verification:#a1623b;--camp-orchestration:#5a7a53;--camp-adjacent:#707070;--camp-unclassified:#b0b0b0;--camp:var(--camp-verification);--serif:"DM Serif Display", Georgia, serif;--sans:"Inter", -apple-system, BlinkMacSystemFont, sans-serif;--mono:"JetBrains Mono", "SF Mono", monospace;--col-prose:680px;--col-wide:980px;--col-full:1180px}@media (prefers-color-scheme:dark){html:not([data-theme=light]){--page:#14141a;--surface:#1e1e26;--surface-2:#23232e;--ink-900:#f0f0f0;--ink-700:silver;--ink-500:#909090;--ink-300:#606060;--rule:#ffffff14;--rule-hi:#ffffff24;--code-bg:#0e0e14;--code-ink:#e8e8e8;--camp-syntactic:#6188b8;--camp-verification:#c28055;--camp-orchestration:#88ae7e;--camp-adjacent:#909090;--camp-unclassified:#606060}}html[data-theme=dark]{--page:#14141a;--surface:#1e1e26;--surface-2:#23232e;--ink-900:#f0f0f0;--ink-700:silver;--ink-500:#909090;--ink-300:#606060;--rule:#ffffff14;--rule-hi:#ffffff24;--code-bg:#0e0e14;--code-ink:#e8e8e8;--camp-syntactic:#6188b8;--camp-verification:#c28055;--camp-orchestration:#88ae7e;--camp-adjacent:#909090;--camp-unclassified:#606060}html{scroll-behavior:smooth;-webkit-text-size-adjust:100%}body{font-family:var(--sans);background:var(--page);color:var(--ink-900);-webkit-font-smoothing:antialiased;line-height:1.6;transition:background-color .2s,color .2s}h1,h2,h3,h4{font-family:var(--serif);letter-spacing:-.015em;font-weight:400;line-height:1.1}a{color:var(--ink-900);text-decoration:underline;text-decoration-color:var(--rule-hi);text-underline-offset:3px;transition:color .15s,text-decoration-color .15s}a:hover{text-decoration-color:var(--ink-500)}code{font-family:var(--mono);font-size:.9em}.col{width:100%;margin:0 auto;padding:0 1.5rem}.col-prose{max-width:var(--col-prose)}.col-wide{max-width:var(--col-wide)}.col-full{max-width:var(--col-full)}.eyebrow{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-500);margin-bottom:1.25rem;font-size:.72rem;display:inline-block}.eyebrow .sec{color:var(--ink-300)}.eyebrow .accent-syn{color:var(--camp-syntactic)}.eyebrow .accent-ver{color:var(--camp-verification)}.eyebrow .accent-orc{color:var(--camp-orchestration)}.eyebrow .accent{color:var(--camp)}header.site{background:var(--page);border-bottom:1px solid var(--rule);z-index:100;backdrop-filter:blur(8px);position:sticky;top:0}.header-inner{max-width:var(--col-full);justify-content:space-between;align-items:center;gap:2rem;margin:0 auto;padding:1rem 1.5rem;display:flex}.wordmark{font-family:var(--mono);color:var(--ink-900);letter-spacing:-.01em;font-size:.9rem;font-weight:500;text-decoration:none}.wordmark:hover{text-decoration:none}.wordmark .dot{color:var(--camp-verification)}nav.primary{align-items:center;gap:1.75rem;display:flex}nav.primary a{color:var(--ink-700);font-size:.85rem;text-decoration:none;transition:color .15s}nav.primary a:hover{color:var(--ink-900)}.theme-toggle{border:1px solid var(--rule-hi);cursor:pointer;width:32px;height:32px;color:var(--ink-700);background:0 0;border-radius:999px;justify-content:center;align-items:center;transition:color .15s,border-color .15s;display:inline-flex}.theme-toggle:hover{color:var(--ink-900);border-color:var(--ink-500)}.theme-toggle svg{width:16px;height:16px}.theme-toggle .moon{display:none}.theme-toggle .sun{display:block}@media (prefers-color-scheme:dark){html:not([data-theme=light]) .theme-toggle .moon{display:block}html:not([data-theme=light]) .theme-toggle .sun{display:none}}html[data-theme=dark] .theme-toggle .moon{display:block}html[data-theme=dark] .theme-toggle .sun{display:none}.hero{text-align:center;border-bottom:1px solid var(--rule);padding:5rem 0 4rem}.hero .eyebrow{margin-bottom:2rem}.hero h1{max-width:18ch;margin:0 auto 1.5rem;font-size:clamp(2.5rem,5.5vw,4.25rem);line-height:1.05}.hero h1 em{color:var(--camp-verification);font-style:italic}.hero .lead{color:var(--ink-700);max-width:52ch;margin:0 auto 2rem;font-size:1.175rem;line-height:1.55}.hero .citation{color:var(--ink-500);max-width:60ch;margin:0 auto;font-size:.875rem;font-style:italic}.hero .citation a{color:var(--ink-500)}section.band{border-bottom:1px solid var(--rule);padding:5rem 0}section.band h2{max-width:16ch;margin-bottom:1.5rem;font-size:clamp(2rem,4.5vw,3.25rem)}section.band .lead{color:var(--ink-700);max-width:60ch;font-size:1.125rem;line-height:1.6}section.band p+p{margin-top:1rem}.camps-intro{text-align:center;border-bottom:1px solid var(--rule);padding:5rem 0 2.5rem}.camps-intro h2{max-width:28ch;margin:0 auto 1.5rem;font-size:clamp(1.75rem,3.5vw,2.5rem)}.camps-intro p{max-width:60ch;color:var(--ink-700);margin:0 auto;font-size:1.075rem}.camp-name{font-weight:600}.camp-name.syn{color:var(--camp-syntactic)}.camp-name.ver{color:var(--camp-verification)}.camp-name.orc{color:var(--camp-orchestration)}section.camp{border-bottom:1px solid var(--rule);padding:6rem 0}section.camp h2{font-size:clamp(2.25rem,5vw,3.5rem)}section.camp .camp-body{grid-template-columns:1fr;align-items:start;gap:3rem;display:grid}@media (width>=880px){section.camp .camp-body{grid-template-columns:1fr 360px;gap:4rem}}section.camp .camp-prose p{color:var(--ink-700);font-size:1.075rem;line-height:1.65}section.camp .camp-prose p+p{margin-top:1rem}section.camp .camp-prose .thesis{font-family:var(--serif);color:var(--ink-900);margin:2rem 0;padding:1.25rem 0 1.25rem 1.5rem;font-size:clamp(1.25rem,2.4vw,1.6rem);font-style:italic;line-height:1.35}section.camp.syntactic .camp-prose .thesis{border-left:3px solid var(--camp-syntactic)}section.camp.verification .camp-prose .thesis{border-left:3px solid var(--camp-verification)}section.camp.orchestration .camp-prose .thesis{border-left:3px solid var(--camp-orchestration)}.anchor-card{background:var(--surface);border:1px solid var(--rule);border-radius:8px;padding:2rem;position:sticky;top:6rem}.anchor-card .anchor-label{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-500);margin-bottom:.5rem;font-size:.68rem}.anchor-card h3{font-family:var(--serif);color:var(--ink-900);margin-bottom:.5rem;font-size:1.875rem}.anchor-card .one-liner{color:var(--ink-700);margin-bottom:1.25rem;font-size:.965rem;line-height:1.55}.anchor-card .meta-row{font-family:var(--mono);color:var(--ink-500);border-bottom:1px solid var(--rule);flex-wrap:wrap;gap:.4rem .85rem;margin-bottom:1.25rem;padding-bottom:1.25rem;font-size:.72rem;display:flex}.anchor-card .meta-row .meta-key{color:var(--ink-300)}.anchor-card .anchor-quote{font-family:var(--serif);color:var(--ink-900);margin-bottom:1.25rem;font-size:1.1rem;font-style:italic;line-height:1.4}.anchor-card .anchor-cta{font-family:var(--mono);color:var(--ink-900);font-size:.8rem;text-decoration:none}.anchor-card .anchor-cta:hover{color:var(--ink-700)}section.camp.syntactic .anchor-card{border-top:4px solid var(--camp-syntactic)}section.camp.verification .anchor-card{border-top:4px solid var(--camp-verification)}section.camp.orchestration .anchor-card{border-top:4px solid var(--camp-orchestration)}section.catalogue{border-bottom:1px solid var(--rule);padding:6rem 0}section.catalogue h2{margin-bottom:.5rem;font-size:clamp(2rem,4vw,2.75rem)}section.catalogue .sub{color:var(--ink-500);margin-bottom:2.5rem;font-size:1rem}.filter-bar{border-bottom:1px solid var(--rule);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1.5rem;margin-bottom:2rem;padding-bottom:1.25rem;display:flex}.filter-group{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.filter-label{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-500);margin-right:.5rem;font-size:.68rem}.filter-chip{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;border:1px solid var(--rule-hi);color:var(--ink-700);cursor:pointer;background:0 0;border-radius:999px;padding:.35rem .75rem;font-size:.72rem;transition:color .15s,background-color .15s,border-color .15s}.filter-chip:hover{border-color:var(--ink-500)}.filter-chip.active{color:var(--page);background:var(--ink-900);border-color:var(--ink-900)}.filter-chip.active.syn{background:var(--camp-syntactic);border-color:var(--camp-syntactic);color:#fff}.filter-chip.active.ver{background:var(--camp-verification);border-color:var(--camp-verification);color:#fff}.filter-chip.active.orc{background:var(--camp-orchestration);border-color:var(--camp-orchestration);color:#fff}.sort-select{font-family:var(--mono);border:1px solid var(--rule-hi);color:var(--ink-700);cursor:pointer;background:0 0;border-radius:6px;padding:.35rem .75rem;font-size:.78rem}.grid{grid-template-columns:repeat(auto-fill,minmax(320px,1fr));gap:1.25rem;display:grid}.card{background:var(--surface);border:1px solid var(--rule);border-left-width:4px;border-radius:6px;flex-direction:column;padding:1.5rem;transition:transform .15s,border-color .15s;display:flex}.card:hover{border-color:var(--rule-hi);transform:translateY(-2px)}.card.syn{border-left-color:var(--camp-syntactic)}.card.ver{border-left-color:var(--camp-verification)}.card.orc{border-left-color:var(--camp-orchestration)}.card.adj{border-left-color:var(--camp-adjacent)}.card.unc{border-left-color:var(--camp-unclassified)}.card .camp-label{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;margin-bottom:.75rem;font-size:.68rem}.card.syn .camp-label>span:first-child{color:var(--camp-syntactic)}.card.ver .camp-label>span:first-child{color:var(--camp-verification)}.card.orc .camp-label>span:first-child{color:var(--camp-orchestration)}.card.adj .camp-label>span:first-child{color:var(--camp-adjacent)}.card.unc .camp-label>span:first-child{color:var(--camp-unclassified)}.card .camp-label .spans{opacity:.85}.card .camp-label .spans-syn{color:var(--camp-syntactic)}.card .camp-label .spans-ver{color:var(--camp-verification)}.card .camp-label .spans-orc{color:var(--camp-orchestration)}.card h3{font-family:var(--serif);color:var(--ink-900);margin-bottom:.65rem;font-size:1.5rem}.card .one-liner{color:var(--ink-700);margin-bottom:1.25rem;font-size:.92rem;line-height:1.5}.card .author{color:var(--ink-500);margin-bottom:.35rem;font-size:.84rem}.card .stack{font-family:var(--mono);color:var(--ink-500);margin-bottom:1rem;font-size:.72rem}.card .stats{font-family:var(--mono);color:var(--ink-500);border-top:1px solid var(--rule);flex-wrap:wrap;gap:.6rem;margin-top:auto;padding-top:.85rem;font-size:.7rem;display:flex}.card .stats .star{color:var(--ink-700)}.card .stats .maturity-production_ready{color:var(--camp-orchestration)}.card .stats .maturity-working_compiler{color:var(--ink-700)}.card .stats .maturity-early_implementation{color:var(--camp-verification)}.card .stats .maturity-research_paper{color:var(--ink-500);font-style:italic}.card .stats .maturity-thought_experiment{color:var(--ink-300);font-style:italic}.card .read-more{font-family:var(--mono);color:var(--ink-900);margin-top:.85rem;font-size:.72rem;text-decoration:none;display:inline-block}.card .read-more:hover{text-decoration:underline}section.adjacent{border-bottom:1px solid var(--rule);padding:4rem 0}section.adjacent h2{margin-bottom:.5rem;font-size:1.5rem}section.adjacent .sub{color:var(--ink-500);margin-bottom:2rem;font-size:.95rem}section.adjacent .grid{grid-template-columns:repeat(auto-fill,minmax(300px,1fr))}section.about{background:var(--surface-2);border-bottom:1px solid var(--rule);padding:5rem 0}section.about h2{margin-bottom:1.5rem;font-size:clamp(1.75rem,3.5vw,2.5rem)}section.about .lead{color:var(--ink-700);font-size:1.075rem}section.about .columns{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:2.5rem;margin-top:2.5rem;display:grid}@media (width>=760px){section.about .columns{gap:3.5rem}}section.about h3{font-family:var(--sans);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-500);margin-bottom:.85rem;font-size:.78rem}section.about .columns p{color:var(--ink-700);font-size:.95rem;line-height:1.6}section.about .columns p+p{margin-top:.85rem}footer.site{padding:3rem 0 4rem}.footer-inner{max-width:var(--col-full);flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:2rem;margin:0 auto;padding:0 1.5rem;display:flex}.footer-left{color:var(--ink-500);max-width:50ch;font-size:.82rem;line-height:1.6}.footer-left .stamp{font-family:var(--mono);color:var(--ink-300);margin-top:.5rem;font-size:.72rem}.footer-right{font-family:var(--mono);flex-direction:column;gap:.35rem;font-size:.78rem;display:flex}.footer-right a{color:var(--ink-500);text-decoration:none}.footer-right a:hover{color:var(--ink-900)}.breadcrumb{font-family:var(--mono);color:var(--ink-500);padding:1.5rem 0 0;font-size:.78rem}.breadcrumb a{color:var(--ink-500);text-decoration:none}.breadcrumb a:hover{color:var(--ink-900)}.breadcrumb .sep{color:var(--ink-300);margin:0 .5rem}.detail-header{border-bottom:1px solid var(--rule);padding:2.5rem 0 4rem}.detail-header h1{margin-bottom:1.25rem;font-size:clamp(3.5rem,7vw,5.5rem);line-height:.95}.detail-header .one-liner{color:var(--ink-700);max-width:60ch;margin-bottom:2rem;font-size:1.25rem;line-height:1.5}.detail-header .metaprops{border-top:1px solid var(--rule);max-width:var(--col-wide);grid-template-columns:repeat(auto-fit,minmax(160px,1fr));gap:1.5rem 2rem;padding-top:2rem;display:grid}.metaprop{flex-direction:column;gap:.3rem;display:flex}.metaprop .key{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-500);font-size:.68rem}.metaprop .val{color:var(--ink-900);overflow-wrap:anywhere;font-size:.95rem}.metaprop .val a{color:var(--ink-900)}main.body{padding:5rem 0 3rem}main.body h2{margin-top:3.5rem;margin-bottom:1.25rem;font-size:clamp(1.75rem,3.5vw,2.25rem)}main.body h2:first-of-type{margin-top:0}main.body p{color:var(--ink-700);max-width:var(--col-prose);font-size:1.075rem;line-height:1.7}main.body p+p{margin-top:1rem}main.body p strong{color:var(--ink-900);font-weight:600}main.body p em{font-style:italic}main.body ul{max-width:var(--col-prose);color:var(--ink-700);margin:1rem 0;padding-left:1.25rem;font-size:1.075rem;line-height:1.7}main.body li{margin-bottom:.35rem}main.body li strong{color:var(--ink-900);font-weight:600}main.body .pullquote,.pullquote{font-family:var(--serif);color:var(--ink-900);border-left:3px solid var(--camp);max-width:56ch;margin:2.5rem 0;padding:1.5rem 0 1.5rem 1.5rem;font-size:clamp(1.4rem,2.6vw,1.8rem);font-style:italic;line-height:1.35}.code-sample{max-width:var(--col-wide);margin:2.5rem 0}.code-sample .code{background:var(--code-bg);color:var(--code-ink);border-radius:8px;padding:1.5rem 1.75rem;overflow-x:auto;box-shadow:0 16px 40px -18px #0006}.code-sample pre{font-family:var(--mono);white-space:pre;font-size:.85rem;line-height:1.75}.code-sample .caption{color:var(--ink-500);max-width:var(--col-prose);margin-top:.85rem;font-size:.875rem;font-style:italic}.kw{color:#ff8c4b}.ct{color:#ffab1a}.ty{color:#79ecb2}.str{color:#f9e1b8}.cm{color:#975526;font-style:italic}.sl{color:#ffb080}.op{color:#ffe2ce}.num{color:#79ecb2}.crossrefs{background:var(--surface-2);border-left:3px solid var(--camp);max-width:var(--col-wide);margin:3.5rem 0 2rem;padding:2rem}.crossrefs .label{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-500);margin-bottom:1rem;font-size:.7rem}.crossrefs ul{gap:.85rem;margin:0;padding:0;list-style:none;display:grid}.crossrefs li{max-width:none;margin:0;padding:0}.crossrefs .xname{font-family:var(--serif);color:var(--ink-900);margin-right:.65rem;font-size:1.1rem}.crossrefs .xcamp{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;margin-right:.5rem;font-size:.68rem}.crossrefs .xcamp.syn{color:var(--camp-syntactic)}.crossrefs .xcamp.ver{color:var(--camp-verification)}.crossrefs .xcamp.orc{color:var(--camp-orchestration)}.crossrefs .xcamp.adj{color:var(--camp-adjacent)}.crossrefs .xrel{color:var(--ink-700);font-size:.92rem}.history{background:var(--surface-2);border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:4rem 0}.history h2{margin-top:0;font-size:1.5rem}.history .events{max-width:var(--col-prose);gap:1rem;margin-top:1.5rem;display:grid}.history .event{border-bottom:1px solid var(--rule);grid-template-columns:110px 1fr;align-items:baseline;gap:1.25rem;padding-bottom:1rem;display:grid}.history .event:last-child{border-bottom:0}.history .when{font-family:var(--mono);color:var(--ink-500);font-size:.78rem}.history .what{color:var(--ink-700);font-size:.965rem;line-height:1.55}.nav-langs{border-bottom:1px solid var(--rule);padding:3rem 0}.nav-langs .nav-inner{max-width:var(--col-full);flex-wrap:wrap;justify-content:space-between;gap:1.5rem;margin:0 auto;padding:0 1.5rem;display:flex}.nav-langs a{color:var(--ink-700);max-width:30ch;text-decoration:none}.nav-langs a:hover{color:var(--ink-900)}.nav-langs .dir{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-500);margin-bottom:.3rem;font-size:.7rem;display:block}.nav-langs .lname{font-family:var(--serif);color:var(--ink-900);font-size:1.5rem}.nav-langs .lcamp{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;margin-left:.75rem;font-size:.68rem}.nav-langs .lcamp.syn{color:var(--camp-syntactic)}.nav-langs .lcamp.ver{color:var(--camp-verification)}.nav-langs .lcamp.orc{color:var(--camp-orchestration)}.nav-langs .lcamp.adj{color:var(--camp-adjacent)}.nav-langs .lcamp.unc{color:var(--camp-unclassified)}.nav-langs .next{text-align:right}@media (width<=640px){nav.primary{gap:1rem}nav.primary a{font-size:.78rem}nav.primary a:nth-of-type(n+3){display:none}.hero{padding:3.5rem 0 2.5rem}section.band,section.camp,section.catalogue{padding:4rem 0}section.camp .camp-body{gap:2.5rem}.anchor-card{position:static}.grid{grid-template-columns:1fr}.filter-bar{gap:1rem}.detail-header{padding:1.5rem 0 3rem}.detail-header h1{font-size:clamp(2.5rem,8vw,3.5rem)}main.body{padding:3rem 0 2rem}.history .event{grid-template-columns:1fr;gap:.25rem}.nav-langs .next{text-align:left}}