/* Chapter atlas */
.atlas-section{background:var(--canvas-soft)}.atlas-toolbar{position:sticky;top:calc(var(--topbar-h) + .6rem);z-index:20;display:grid;grid-template-columns:minmax(16rem,1fr) auto auto;gap:.8rem;align-items:center;margin-bottom:.8rem;padding:.65rem;border:1px solid var(--rule);border-radius:10px;background:rgba(11,17,24,.94);backdrop-filter:blur(14px)}.search-control{position:relative;display:flex;align-items:center;min-width:0}.search-control>span:not(.sr-only){position:absolute;left:.9rem;color:var(--ink-faint);font-size:1.2rem}.search-control input{width:100%;min-height:2.8rem;border:1px solid var(--rule);border-radius:6px;padding:.65rem .9rem .65rem 2.5rem;outline:0;background:var(--canvas);color:var(--ink)}.search-control input:focus{border-color:var(--theory);box-shadow:0 0 0 2px rgba(110,231,218,.14)}.select-control{display:flex;align-items:center;gap:.6rem;color:var(--ink-faint);font:.65rem var(--font-mono);text-transform:uppercase}.select-control select{min-height:2.8rem;border:1px solid var(--rule);border-radius:6px;padding:.6rem 2rem .6rem .8rem;background:var(--canvas);color:var(--ink)}.atlas-count{min-width:9rem;padding-right:.6rem;color:var(--ink-faint);font-size:.72rem;text-align:right}.atlas-count strong{color:var(--ink);font:500 1.2rem var(--font-serif)}.part-filter{display:flex;gap:.4rem;overflow-x:auto;padding:.35rem 0 1.2rem;scrollbar-width:thin}.part-filter button{flex:0 0 auto;border:1px solid var(--rule);border-radius:999px;padding:.42rem .72rem;background:transparent;color:var(--ink-faint);font-size:.69rem;cursor:pointer}.part-filter button span{margin-right:.35rem;color:var(--theory);font-family:var(--font-serif)}.part-filter button:hover,.part-filter button.is-active{border-color:var(--theory);background:var(--theory-soft);color:var(--ink)}.book-atlas{border-top:1px solid var(--rule)}.atlas-part{--part-accent:var(--theory);border-bottom:1px solid var(--rule)}.atlas-part summary{min-height:8.8rem;padding:1.45rem 1.25rem;display:grid;grid-template-columns:4.5rem minmax(0,1fr) auto 2.2rem;gap:1.3rem;align-items:center;list-style:none;cursor:pointer;transition:background .18s}.atlas-part summary::-webkit-details-marker{display:none}.atlas-part summary:hover{background:var(--surface-1)}.part-roman{color:var(--part-accent);font:400 2.5rem var(--font-serif)}.part-summary-copy strong{display:block;color:var(--ink);font:500 clamp(1.3rem,2.6vw,2rem)/1.12 var(--font-serif)}.part-summary-copy small{display:block;max-width:52rem;margin-top:.45rem;color:var(--ink-faint);font-size:.75rem}.part-range{color:var(--ink-faint);font:.62rem/1.7 var(--font-mono);text-align:right}.part-toggle{position:relative;width:2rem;height:2rem;border:1px solid var(--rule);border-radius:50%}.part-toggle::before,.part-toggle::after{content:"";position:absolute;left:50%;top:50%;width:.7rem;height:1px;background:var(--ink-muted);transform:translate(-50%,-50%)}.part-toggle::after{transform:translate(-50%,-50%) rotate(90deg);transition:transform .18s}.atlas-part[open] .part-toggle::after{transform:translate(-50%,-50%)}.atlas-part[open]>summary{background:var(--surface-1)}.chapter-list{border-top:1px solid var(--rule)}.chapter-row{position:relative;display:grid;grid-template-columns:4.5rem minmax(0,1fr) auto 1.5rem;gap:1.3rem;align-items:center;min-height:7rem;padding:1.15rem 1.25rem;border-bottom:1px solid var(--rule-soft);background:var(--canvas);color:var(--ink);text-decoration:none;transition:background .18s,padding-left .25s var(--ease)}.chapter-row:last-child{border-bottom:0}.chapter-row:hover{padding-left:1.55rem;background:var(--surface-2);color:var(--ink)}.chapter-index{color:var(--part-accent);font:500 1.05rem var(--font-mono)}.chapter-row-copy strong{display:block;color:var(--ink);font:500 1.02rem/1.35 var(--font-serif)}.chapter-row-copy small{display:-webkit-box;max-width:54rem;margin-top:.36rem;overflow:hidden;color:var(--ink-faint);font-size:.72rem;-webkit-box-orient:vertical;-webkit-line-clamp:2}.chapter-row-state{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:.5rem}.chapter-arrow{color:var(--ink-faint);font-size:.9rem}.empty-state{padding:4rem 1rem;text-align:center;color:var(--ink-muted)}

/* State and evidence markers */
.status-pill{display:inline-flex;align-items:center;gap:.38rem;min-height:1.55rem;border:1px solid var(--rule);border-radius:999px;padding:.18rem .55rem;background:var(--surface-1);color:var(--ink-muted);font:600 .57rem var(--font-mono);letter-spacing:.07em;text-transform:uppercase;white-space:nowrap}.status-mark{width:.42rem;height:.42rem;border:1px solid currentColor;border-radius:50%}.st-next{border-color:rgba(110,231,218,.4);color:var(--theory)}.st-blocked{border-color:rgba(245,139,115,.4);color:var(--blocked)}.st-active{border-color:rgba(242,198,109,.4);color:var(--postulate)}.st-frozen{border-color:rgba(181,156,255,.4);color:var(--lean)}.st-promoted{border-color:rgba(122,226,165,.4);color:var(--verified)}.st-promoted .status-mark{background:currentColor}.layerstrip{display:inline-flex;gap:3px}.layerstrip .layer{display:inline-grid;place-items:center;min-width:1.75rem;height:1.55rem;border:1px solid var(--rule);border-radius:3px;background:var(--surface-1);color:var(--ink-faint);font:600 .54rem var(--font-mono)}.layerstrip .l-code_present{border-color:currentColor;color:var(--ink)}.layerstrip .l-verified{border-color:currentColor;background:rgba(122,226,165,.12);color:var(--verified)}.layerstrip .l-failed{border-color:currentColor;color:var(--failed)}.layerstrip .layer-lean{--layer-color:var(--lean)}.layerstrip .layer-python{--layer-color:var(--python)}.layerstrip .layer-sage{--layer-color:var(--sage)}.layerstrip .layer-mathematica{--layer-color:var(--mathematica)}.layerstrip .layer:not(.l-pending):not(.l-not_applicable){color:var(--layer-color)}

/* Evidence tetrad */
.evidence-preview{border-block:1px solid var(--rule-soft);background:var(--surface-1)}.evidence-tetrad{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--rule);border-radius:var(--radius-lg) var(--radius-lg) 0 0;overflow:hidden}.evidence-layer{min-height:10rem;border:0;border-right:1px solid var(--rule);padding:1.3rem;background:var(--canvas);text-align:left;cursor:pointer}.evidence-layer:last-child{border-right:0}.evidence-layer:hover,.evidence-layer.is-active{background:var(--surface-2)}.evidence-layer span{display:grid;place-items:center;width:2.3rem;height:2.3rem;border:1px solid currentColor;border-radius:50%;font:600 .63rem var(--font-mono)}.evidence-layer strong{display:block;margin-top:1.2rem;color:var(--ink);font:500 1.15rem var(--font-serif)}.evidence-layer small{display:block;margin-top:.2rem;color:var(--ink-faint);font-size:.67rem}.evidence-layer.layer-lean{color:var(--lean)}.evidence-layer.layer-python{color:var(--python)}.evidence-layer.layer-sage{color:var(--sage)}.evidence-layer.layer-mathematica{color:var(--mathematica)}.evidence-layer.is-active{box-shadow:inset 0 -3px 0 currentColor}.evidence-detail{min-height:15rem;display:grid;grid-template-columns:8rem minmax(0,1fr);gap:2rem;align-items:center;padding:clamp(1.5rem,4vw,3rem);border:1px solid var(--rule);border-top:0;background:var(--canvas-soft)}.evidence-code{color:var(--layer-active,var(--lean));font:500 clamp(3rem,7vw,5.5rem) var(--font-mono)}.active-lean{--layer-active:var(--lean)}.active-python{--layer-active:var(--python)}.active-sage{--layer-active:var(--sage)}.active-mathematica{--layer-active:var(--mathematica)}.evidence-detail h3{margin:0 0 .75rem;font-size:clamp(1.55rem,3vw,2.3rem)}.evidence-detail p{max-width:59rem;color:var(--ink-muted)}.evidence-question{color:var(--layer-active);font:500 .72rem var(--font-mono)}.result-axes{display:grid;grid-template-columns:repeat(4,1fr);margin-top:1rem;border:1px solid var(--rule)}.result-axes>div{min-height:7rem;padding:1.1rem;border-right:1px solid var(--rule)}.result-axes>div:last-child{border-right:0}.result-axes span{color:var(--postulate);font:.6rem var(--font-mono)}.result-axes strong{display:block;margin-top:.8rem;color:var(--ink);font:500 .9rem/1.35 var(--font-serif)}.result-axes small{display:block;margin-top:.25rem;color:var(--ink-faint);font-size:.62rem}

/* Open gates and footer */
.gates-section{background:var(--canvas-soft)}.gate-grid{display:grid;grid-template-columns:1.25fr 1fr 1fr;border:1px solid var(--rule);border-radius:var(--radius-lg);overflow:hidden}.gate-card{min-height:22rem;padding:clamp(1.5rem,3.5vw,2.7rem);border-right:1px solid var(--rule);background:var(--surface-1)}.gate-card:last-child{border-right:0}.gate-card.gate-primary{background:linear-gradient(145deg,rgba(242,198,109,.11),transparent 70%),var(--surface-1)}.gate-status{display:inline-block;color:var(--postulate);font:600 .62rem var(--font-mono);letter-spacing:.1em;text-transform:uppercase}.gate-card h3{margin:3rem 0 1rem;font-size:clamp(1.8rem,3.4vw,2.7rem)}.gate-card p{min-height:8rem;color:var(--ink-muted);font-size:.9rem}.gate-card a{font-size:.75rem;font-weight:600;text-decoration:none}.footer{border-top:1px solid var(--rule);background:var(--surface-1)}.footer-inner{max-width:var(--wrap-wide);margin:0 auto;padding:clamp(2.5rem,6vw,4.5rem) var(--gutter);display:flex;justify-content:space-between;gap:3rem}.footer-thesis{max-width:33rem}.footer-thesis p{margin:.3rem 0;font:500 clamp(1.3rem,2.4vw,1.8rem) var(--font-serif)}.footer-thesis small{color:var(--ink-faint)}.footer-stamp{margin-top:1.4rem;color:var(--ink-faint);font:.59rem var(--font-mono)}.footer-cols{display:flex;gap:clamp(2rem,5vw,4rem)}.footer-col{display:flex;flex-direction:column;gap:.42rem}.footer-col>span{margin-bottom:.35rem;color:var(--ink-faint);font:600 .62rem var(--font-mono);letter-spacing:.1em;text-transform:uppercase}.footer-col a{color:var(--ink-muted);font-size:.76rem;text-decoration:none}.footer-col a:hover{color:var(--theory)}

@media(max-width:1060px){.topbar-nav a{padding-inline:.45rem;font-size:.7rem}.state-ledger-inner{grid-template-columns:repeat(3,1fr)}.route-card{min-height:24rem}.chapter-row{grid-template-columns:3.5rem minmax(0,1fr) auto}.chapter-arrow{display:none}.gate-grid{grid-template-columns:1fr 1fr}.gate-card:nth-child(2){border-right:0}.gate-card:last-child{grid-column:1/-1;min-height:auto;border-top:1px solid var(--rule)}.gate-card p{min-height:0}}
@media(max-width:860px){:root{--topbar-h:4rem}.topbar-brand small{display:none}.menu-toggle{display:block}.topbar-nav{position:fixed;inset:var(--topbar-h) 0 auto;display:grid;align-content:start;gap:0;height:calc(100svh - var(--topbar-h));padding:1rem var(--gutter) 3rem;overflow:auto;transform:translateX(100%);background:var(--canvas);transition:transform .25s var(--ease)}.topbar-nav.is-open{transform:translateX(0)}.topbar-nav a{padding:1rem 0;border-bottom:1px solid var(--rule);font:500 1.6rem var(--font-serif)}.topbar-nav a::after{display:none}.hero-grid{grid-template-columns:1fr;align-items:start}.hero-copy{align-self:center}.hero-annotation{justify-self:start;margin-top:4rem}.split-intro{grid-template-columns:1fr;gap:1.4rem;align-items:start}.root-console{grid-template-columns:1fr}.root-tabs{display:grid;grid-template-columns:repeat(3,1fr);border-right:0;border-bottom:1px solid var(--rule)}.root-tabs button{min-height:9rem;border-right:1px solid var(--rule);border-bottom:0;padding:1rem}.root-tabs button:last-child{border-right:0}.root-detail{min-height:0;grid-template-columns:1fr}.branch-grammar{grid-template-columns:1fr}.grammar-flow{width:1px;height:3rem;margin-left:1.8rem;background:linear-gradient(var(--theory),var(--postulate))}.route-grid{grid-template-columns:1fr}.route-card{min-height:auto;border-right:0;border-bottom:1px solid var(--rule)}.route-card:last-child{border-bottom:0}.route-card p{min-height:0}.route-glyph{max-width:26rem}.atlas-toolbar{position:static;grid-template-columns:1fr auto}.search-control{grid-column:1/-1}.evidence-tetrad{grid-template-columns:repeat(2,1fr)}.evidence-layer:nth-child(2){border-right:0}.evidence-layer:nth-child(-n+2){border-bottom:1px solid var(--rule)}.result-axes{grid-template-columns:repeat(2,1fr)}.result-axes>div:nth-child(2){border-right:0}.result-axes>div:nth-child(-n+2){border-bottom:1px solid var(--rule)}.footer-inner{flex-direction:column}}
@media(max-width:640px){body{background-size:48px 48px}.section{padding-block:4.5rem}.observatory-hero{min-height:48rem}.hero-plate{background-position:58% center;opacity:.76}.hero-grid{padding-top:4rem}.hero-copy h1{font-size:clamp(3.7rem,18vw,5.3rem)}.hero-state{margin-bottom:2.2rem}.hero-actions{display:grid}.hero-actions .button{width:100%}.hero-annotation{display:none}.state-ledger-inner{grid-template-columns:repeat(2,1fr)}.state-ledger-inner>div{border-bottom:1px solid var(--rule-soft)}.state-ledger-inner>div:nth-child(2n){border-right:0}.state-ledger-inner>div:last-child{grid-column:1/-1;border-bottom:0}.root-tabs{display:flex;overflow-x:auto}.root-tabs button{flex:0 0 13rem}.grammar-outputs{grid-template-columns:1fr}.grammar-outputs>p{grid-column:1}.atlas-toolbar{grid-template-columns:1fr}.select-control{justify-content:space-between}.atlas-count{text-align:left}.atlas-part summary{grid-template-columns:3rem minmax(0,1fr) 2rem;gap:.75rem;padding-inline:.5rem}.part-range{display:none}.part-summary-copy small{display:none}.part-roman{font-size:1.8rem}.part-summary-copy strong{font-size:1.1rem}.chapter-row{grid-template-columns:2.4rem minmax(0,1fr);gap:.7rem;padding-inline:.5rem}.chapter-row:hover{padding-left:.7rem}.chapter-row-state{grid-column:2;justify-content:flex-start}.chapter-row-copy small{-webkit-line-clamp:3}.evidence-tetrad{grid-template-columns:1fr 1fr}.evidence-layer{min-height:8.5rem;padding:1rem}.evidence-detail{grid-template-columns:1fr}.evidence-code{font-size:3rem}.result-axes{grid-template-columns:1fr}.result-axes>div{border-right:0;border-bottom:1px solid var(--rule)}.gate-grid{grid-template-columns:1fr}.gate-card,.gate-card:nth-child(2){min-height:auto;border-right:0;border-bottom:1px solid var(--rule)}.gate-card:last-child{grid-column:auto;border-top:0;border-bottom:0}.gate-card h3{margin-top:2rem}.footer-cols{display:grid;grid-template-columns:1fr 1fr}.auth-input-group{grid-template-columns:1fr}.auth-input-group input{border-right:1px solid var(--rule);border-radius:7px 7px 0 0}.auth-input-group button{border-radius:0 0 7px 7px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{animation-duration:.01ms!important;transition-duration:.01ms!important}[data-reveal]{opacity:1;transform:none}}

.root-detail{column-gap:clamp(2rem,5vw,4rem);row-gap:2rem}
@media(max-width:860px){.preview-lock{width:100%;min-height:3rem;margin:.85rem 0 0;text-align:left}.root-console-head{grid-column:1}}
@media(max-width:640px){.root-console-head{align-items:flex-start;flex-direction:column}.root-console-head small{max-width:32rem}.root-tab-placeholder{flex:0 0 13rem}.root-selection{margin-bottom:-.5rem}}

/* Hostile-audit accessibility hardening */
.proposal-section{border-bottom:1px solid var(--rule-soft);background:radial-gradient(circle at 82% 25%,rgba(110,231,218,.07),transparent 28rem),var(--surface-1)}.proposal-grid{display:grid;grid-template-columns:repeat(3,1fr);border:1px solid var(--rule);border-radius:var(--radius-lg);overflow:hidden}.proposal-grid article{min-height:18rem;padding:clamp(1.4rem,3vw,2.2rem);border-right:1px solid var(--rule);background:rgba(6,9,13,.56)}.proposal-grid article:last-child{border-right:0}.proposal-grid article>span{color:var(--theory);font:600 .75rem/1.5 var(--font-mono);letter-spacing:.08em}.proposal-grid h3{margin:3rem 0 .8rem;font-size:clamp(1.45rem,2.6vw,2rem)}.proposal-grid p{margin:0;color:var(--ink-muted);font-size:.92rem}
.reveal-ready .observatory-hero [data-reveal]{opacity:1;transform:none}
.button,.btn,.menu-toggle,.search-control input,.select-control select,.part-filter button{border-color:var(--rule-control)}
.topbar-brand{min-height:2.75rem}.menu-toggle{width:2.75rem;height:2.75rem}
.search-control input:focus-visible,.select-control select:focus-visible,.auth-input-group input:focus-visible{outline:3px solid var(--postulate);outline-offset:2px}
.root-tabs button:focus-visible,.evidence-layer:focus-visible,.route-card:focus-visible{outline-offset:-4px}
.status-pill{font-size:.68rem}.layerstrip .layer{min-width:2rem;height:1.75rem;font-size:.65rem}
.state-ledger small,.hero-annotation small,.root-tabs button small,.nonconsequence p,.grammar-source small,.grammar-outputs>p,.chapter-row-copy small,.part-range,.evidence-layer small,.result-axes small,.gate-status,.footer-stamp,.footer-col>span{font-size:.75rem;line-height:1.5}
.part-filter button{min-height:2.75rem;font-size:.75rem}.gate-card a,.footer-col a{display:inline-flex;align-items:center;min-height:2.75rem}
.concept-caption-mobile{display:none;color:var(--ink-muted);font:.75rem/1.5 var(--font-mono)}
.overdot{position:relative;display:inline-block;font-style:italic}.overdot::after{content:"·";position:absolute;left:50%;top:-.55em;transform:translateX(-50%)}
.root-blocker{margin:1rem 0 0;padding:.7rem .8rem;border:1px solid rgba(245,139,115,.45);border-radius:6px;background:rgba(245,139,115,.06);font:.75rem/1.5 var(--font-mono)}.root-blocker strong{color:var(--blocked);text-transform:uppercase}.root-blocker a{overflow-wrap:anywhere}
.workflow-hint{flex-basis:100%;color:var(--ink-faint);font:.68rem/1.4 var(--font-mono);text-align:right;white-space:normal}.chapter-row:hover{padding-left:1.25rem}.chapter-arrow{transition:transform .2s var(--ease)}.chapter-row:hover .chapter-arrow{transform:translate(2px,-2px)}
.copy-manual{position:fixed;z-index:9000;left:50%;bottom:1rem;width:min(calc(100% - 2rem),42rem);transform:translateX(-50%);display:grid;grid-template-columns:minmax(0,1fr) auto;gap:.75rem;align-items:end;padding:1rem;border:1px solid var(--rule-control);border-radius:9px;background:var(--surface-2);box-shadow:0 18px 60px rgba(0,0,0,.55)}.copy-manual label>span{display:block;margin-bottom:.35rem;color:var(--ink);font:600 .75rem var(--font-sans)}.copy-manual textarea{width:100%;resize:vertical;border:1px solid var(--rule-control);border-radius:6px;padding:.65rem;background:var(--canvas);color:var(--ink);font:.75rem/1.5 var(--font-mono)}

@media(max-width:860px){
  .topbar-nav{visibility:hidden;pointer-events:none}
  .topbar-nav.is-open{visibility:visible;pointer-events:auto}
  .menu-toggle{border-color:var(--rule-control)}
  .proposal-grid{grid-template-columns:1fr}.proposal-grid article{min-height:auto;border-right:0;border-bottom:1px solid var(--rule)}.proposal-grid article:last-child{border-bottom:0}.proposal-grid h3{margin-top:1.5rem}
}
@media(max-width:640px){
  .observatory-hero{min-height:auto}
  .hero-annotation{display:block;margin-top:2rem;padding:.85rem 1rem}
  .concept-caption-mobile{display:block;margin:1rem var(--gutter) 0}
  .workflow-hint{text-align:left}
  .root-tabs{flex-direction:row}
  .copy-manual{grid-template-columns:1fr}.copy-manual .btn{width:100%}
}
@supports not (overflow:clip){html,body{overflow-x:hidden}}
@media(forced-colors:active){
  *{forced-color-adjust:auto}.hero-plate{display:none}.status-pill,.layerstrip .layer,.button,.btn,.menu-toggle,.root-console,.branch-grammar,.route-grid,.proposal-grid,.evidence-tetrad,.evidence-detail,.gate-grid,.atlas-toolbar{border-color:CanvasText}.status-mark,.cell-state::before{background:Canvas!important}.st-blocked,.st-next,.st-active,.st-frozen,.st-promoted,.evidence-layer,.eyebrow,.gate-status{color:CanvasText}.topbar{background:Canvas}.exp-node rect{fill:Canvas;stroke:CanvasText}.exp-edge,.exp-edge.hot,.exp-edge.upstream-hot,.exp-edge.downstream-hot{stroke:CanvasText}
}