/* Paper layout for "The Compiler at the Edge of Noise".
   Builds on the hi.astrum.name two-column article view (style.css): Georgia prose in the
   left column, hairline-ruled figure plates pinned in the right column, and derivation foldouts. */

.paper{
  --gutter:64px;
  --column:720px;
  --rule-strong:color-mix(in srgb,var(--fg) 72%,transparent);
  --plate-bg:var(--washed-bg,var(--bg));
  --sans:'Helvetica Neue',Arial,sans-serif;
  --c-confirmed:#81c995;--c-observed:#fdd663;--c-proposed:#8ab4f8;
}
html[data-theme=light] .paper{--c-confirmed:#188038;--c-observed:#a05a00;--c-proposed:#1a63c9}
/* Figure inks: deep tones on light paper, lighter tones on dark paper. */
.paper{--ink-blue:#8ab4f8;--ink-green:#81c995;--ink-amber:#fdd663;--ink-teal:#78d9ec;--ink-violet:#b39dff;--ink-grey:#bdc1c6}
html[data-theme=light] .paper{--ink-blue:#1a73e8;--ink-green:#16873f;--ink-amber:#b06000;--ink-teal:#00838f;--ink-violet:#7c4dff;--ink-grey:#5f6368}
@media(min-width:1700px){.paper{--gutter:100px}}
@media(max-width:1000px){.paper{--gutter:36px}}
@media(max-width:650px){.paper{--gutter:22px}}

.paper .article-header h1{max-width:17ch}
.visually-hidden{position:absolute!important;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}
.sprite{position:absolute;width:0;height:0;overflow:hidden}

/* Small UI text shares one sans style and no outline halo. */
.paper figcaption,.paper .abstract-rule,.paper .table-filters,.paper .band-head,.paper .band-foot,
.paper .scrubber-ends,.paper .rung-readout,.paper .rung-table,.paper .refs-count,
.paper .paper-derivation summary,.paper .derivation-end,.paper .return-pill{text-shadow:none}

/* Abstract between two hairlines, with the expand-all control on the upper rule. */
.paper-abstract{margin:0 0 3.2em;border-bottom:1px solid var(--line);padding-bottom:1.4em}
.abstract-rule{display:flex;align-items:baseline;justify-content:space-between;gap:16px;border-top:1px solid var(--line);padding-top:12px;margin-bottom:.8em}
.prose .abstract-label{font:600 13px/1.5 var(--sans);letter-spacing:0;margin:0;scroll-margin-top:130px}
.paper-abstract p{font-size:17px;line-height:1.8;margin:0}
.expand-all{background:none;border:0;padding:4px 0;font:13px/1.5 var(--sans);color:var(--link-color);text-decoration:underline;text-decoration-color:color-mix(in srgb,currentColor 40%,transparent);text-underline-offset:4px}
.expand-all:hover{text-decoration-color:currentColor}
.expand-all .when-open,.expand-all[aria-pressed=true] .when-closed{display:none}
.expand-all[aria-pressed=true] .when-open{display:inline}

/* Sections pair left-column prose with a right-column figure plate aligned at the top. */
.paper-section{margin:clamp(60px,6.5vw,92px) 0 0}
.paper-section .reading-segment-lead>h2:first-child,.paper-coda>h2:first-child{margin-top:0}
.prose .fig-ref{white-space:nowrap}

/* Figures: open plates ruled above and below, caption set in the site's sans. */
.paper-figure,.paper-table{margin-block:2.2em 2.4em;padding:0}
.reading-segment-aside .paper-figure,.reading-segment-aside .paper-table{margin:0}
.plate{--bg:var(--plate-bg);background:var(--plate-bg);border-top:1px solid var(--rule-strong);border-bottom:1px solid var(--line);padding:22px 0;color:var(--fg);position:relative;transition:box-shadow .22s ease,border-color .22s ease}
.paper-table{transition:box-shadow .22s ease}
.paper-figure.is-fig-linked .plate,.paper-table.is-fig-linked{box-shadow:0 0 0 2px color-mix(in srgb,var(--primary) 55%,transparent)}
.paper-figure.is-fig-pulse .plate,.paper-table.is-fig-pulse{animation:fig-pulse 900ms ease}
@keyframes fig-pulse{0%,100%{box-shadow:0 0 0 0 transparent}35%{box-shadow:0 0 0 4px color-mix(in srgb,var(--primary) 55%,transparent)}}
.plate .ill{width:100%;max-width:800px;margin-inline:auto}
.plate .ill:empty{background:repeating-linear-gradient(90deg,var(--line) 0 1px,transparent 1px 12px);opacity:.25}
.plate .ill svg{display:block;width:100%;height:100%;font-family:var(--sans)}
.plate svg text{text-shadow:none}
.plate svg [font-family*="Google Sans"]{font-family:inherit}
.paper figcaption{font:13px/1.6 var(--sans);color:var(--muted);margin-top:12px;max-width:var(--column);text-wrap:pretty}
.paper figcaption b{color:var(--fg);font-weight:600}
.paper figcaption .katex{font-size:1.08em}
.paper figcaption sup{font-size:10px;line-height:0}
.paper-derivation .plate .ill{max-width:100%}

/* Sections with secondary figures inside their derivation (s4, s7) keep the primary figure
   beside the lead + summary when closed, and span the opened derivation across both columns
   so its nested reading-segments anchor Figure S1, Table 1, and Figure S2 on the right. */
@media(min-width:1001px){
  .reading-segment-subvisuals{grid-template-rows:auto auto}
  .reading-segment-subvisuals>.reading-segment-main{grid-column:1;grid-row:1;align-self:start;position:static}
  .reading-segment-subvisuals>.reading-segment-aside{grid-column:2;grid-row:1;align-self:start}
  .reading-segment-subvisuals>.paper-derivation{grid-column:1;grid-row:2;align-self:start}
  .reading-segment-subvisuals>.paper-derivation[open]{grid-column:1/-1}
  .reading-segment-subvisuals.reading-segment-tall-aside>.reading-segment-main{position:static}
  .reading-segment-subvisuals .s4-intro{max-width:calc((100% - clamp(48px,5vw,88px)) / 2);margin-bottom:28px}
  .reading-segment-subvisuals .derivation-end{max-width:calc((100% - clamp(48px,5vw,88px)) / 2)}
}
@media(max-width:1000px){
  .reading-segment-subvisuals>.paper-derivation{order:3}
  .reading-segment-subvisuals .s4-intro{max-width:none;margin-bottom:24px}
}

/* Figure motion: slow and quiet. Dashes drift about 10px/s, glows breathe over 7s,
   SMIL dots (.ill-traveller) glide along paths. app.js pauses plates outside the viewport. */
.plate .ill-flow,.plate .ill-flow-slow,.plate .ill-flow-rev{animation:ill-dash 120s linear infinite}
.plate .ill-flow-slow{animation-duration:200s}
.plate .ill-flow-rev{animation-direction:reverse}
.plate .ill-pulse{animation:ill-pulse 7s ease-in-out infinite}
.plate .ill-pulse:nth-of-type(3n+1){animation-delay:-2.3s}
.plate .ill-pulse:nth-of-type(3n+2){animation-delay:-4.6s}
.plate .ill-fade{animation:ill-fade 6s ease-in-out infinite}
.plate .ill-delay{animation-delay:-3s}
.plate .ill-float{animation:ill-float 8s ease-in-out infinite}
.plate .ill-drift{animation:ill-drift 9s ease-in-out infinite}
.plate .ill-drift-l{animation:ill-drift 9s ease-in-out infinite reverse}
.plate .ill-spin{animation:ill-spin 90s linear infinite;transform-box:fill-box;transform-origin:center}
.plate .ill-flip-b{opacity:0}
.plate .ill-flip-a{animation:ill-flip 8s ease-in-out infinite}
.plate .ill-flip-b{animation:ill-flip 8s ease-in-out -4s infinite}
@keyframes ill-dash{to{stroke-dashoffset:-1200}}
@keyframes ill-pulse{0%,100%{opacity:1}50%{opacity:.55}}
@keyframes ill-fade{0%,100%{opacity:.85}50%{opacity:.2}}
@keyframes ill-float{0%,100%{transform:translateY(0)}50%{transform:translateY(-3px)}}
@keyframes ill-drift{0%,100%{transform:translateX(0)}50%{transform:translateX(4px)}}
@keyframes ill-spin{to{transform:rotate(360deg)}}
@keyframes ill-flip{0%,42%{opacity:1}50%,92%{opacity:0}100%{opacity:1}}
.plate.is-paused [class*="ill-"]{animation-play-state:paused}
@media(prefers-reduced-motion:reduce){
  .plate [class*="ill-"]{animation:none!important}
  .plate .ill-traveller{display:none}
}

/* Figure S1: the Band Explorer. Text steps on the left drive one stage on the right
   (desktop), or a stage docked to the bottom half of the screen (narrow screens). */
.band-scrolly{--band-a:#4285F4;--band-b:#34A853;--band-c:#00ACC1;--band-d:#EA4335;--band-e:#8E24AA;margin:0}
.table-segment{margin-top:3.2em}
.band-step{position:relative;padding:4px 0 2.4em}
.band-step h3{transition:color .35s ease}
.prose .derivation-body .band-step h3{margin-top:.6em}
.band-step.is-active h3{color:var(--band-color)}
.band-step[data-band-step=A]{--band-color:var(--band-a)}.band-step[data-band-step=B]{--band-color:var(--band-b)}
.band-step[data-band-step=C]{--band-color:var(--band-c)}.band-step[data-band-step=D]{--band-color:var(--band-d)}
.band-step[data-band-step=E]{--band-color:var(--band-e)}
.prose .band-keys-label{margin:1.4em 0 .4em;font:600 12px/1.4 var(--sans);color:var(--muted);text-shadow:none}
.prose .band-keys{list-style:none;padding:0;margin:0;border-top:1px solid var(--line)}
.prose .band-keys li{margin:0;padding:0;border-bottom:1px solid var(--line)}
.rung-chip{display:grid;grid-template-columns:5.6em 6.2em minmax(0,1fr);gap:4px 12px;align-items:baseline;width:100%;padding:7px 4px;background:none;border:0;text-align:left;font:13px/1.45 var(--sans);color:var(--fg);cursor:pointer;text-shadow:none;transition:background .2s ease}
.rung-chip:hover,.rung-chip:focus-visible{background:color-mix(in srgb,var(--band-color,var(--fg)) 12%,transparent)}
.rung-chip:focus-visible{outline:2px solid var(--fg);outline-offset:1px}
.rung-chip .chip-n{font-weight:600;white-space:nowrap}
.rung-chip .chip-n .katex{font-size:1em}
.rung-chip .chip-f{color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}
.rung-chip .chip-role strong{font-weight:500}

.band-explorer{margin:0}
.band-head[hidden],.band-foot[hidden]{display:none!important}
.band-plate{padding:14px 16px 12px;display:flex;flex-direction:column;gap:8px}
.band-heads{min-height:2.9em}
.prose .band-head{display:flex;flex-wrap:wrap;align-items:baseline;gap:2px 10px;margin:0;font:13px/1.4 var(--sans);text-shadow:none}
.band-letter{display:inline-grid;place-items:center;width:22px;height:22px;border-radius:50%;background:var(--band-color);color:#fff;font:700 13px/1 var(--sans);align-self:center}
.band-title{font-weight:600;color:var(--fg)}
.band-range{flex-basis:100%;color:var(--muted);font-variant-numeric:tabular-nums;padding-left:32px}
.band-range .katex{font-size:1em;color:var(--muted)}
.band-explorer[data-active=A]{--band-color:var(--band-a)}.band-explorer[data-active=B]{--band-color:var(--band-b)}
.band-explorer[data-active=C]{--band-color:var(--band-c)}.band-explorer[data-active=D]{--band-color:var(--band-d)}
.band-explorer[data-active=E]{--band-color:var(--band-e)}
.band-stage{display:grid;overflow:hidden;position:relative;border-radius:6px}
.band-layer{grid-area:1/1;min-width:0;transform-origin:50% 50%;transition:transform .55s cubic-bezier(.22,1,.36,1),opacity .4s ease;will-change:transform,opacity}
.band-layer.is-before{transform:scale(1.16);opacity:0;pointer-events:none}
.band-layer.is-active{transform:scale(1);opacity:1;pointer-events:auto}
.band-layer.is-after{transform:scale(.86);opacity:0;pointer-events:none}
.band-layer:not(.is-active) [class*="ill-"]{animation-play-state:paused}
.band-layer .ill{max-width:none}

.band-scrubber{position:relative;height:40px;margin-top:4px;cursor:ew-resize;touch-action:none;user-select:none;-webkit-user-select:none;border-radius:4px}
.band-scrubber:focus-visible{outline:2px solid var(--fg);outline-offset:3px}
.scrubber-ticks{position:absolute;inset:4px 0 2px;width:100%;height:calc(100% - 6px);overflow:visible}
.scrubber-ticks .axis{stroke:var(--line);stroke-width:1;vector-effect:non-scaling-stroke}
.scrubber-ticks .tick{fill:var(--muted);opacity:.42;transform-box:fill-box;transform-origin:50% 100%;transform:scaleY(.36);transition:transform .35s cubic-bezier(.22,1,.36,1),opacity .3s ease,fill .3s ease}
.scrubber-ticks .tick.is-on{opacity:1;transform:scaleY(.86)}
.scrubber-ticks .tick.is-on.tick-confirmed{fill:var(--c-confirmed)}
.scrubber-ticks .tick.is-on.tick-observed{fill:var(--c-observed)}
.scrubber-ticks .tick.is-on.tick-proposed{fill:var(--c-proposed)}
.scrubber-ticks .tick.is-hot{transform:scaleY(1);opacity:1}
.scrubber-window{position:absolute;top:0;bottom:0;border:1.5px solid var(--band-color);border-radius:5px;background:color-mix(in srgb,var(--band-color) 9%,transparent);pointer-events:none;transition:left .45s cubic-bezier(.22,1,.36,1),width .45s cubic-bezier(.22,1,.36,1),border-color .35s ease}
.scrubber-window::after{content:"";position:absolute;left:-1.5px;right:-1.5px;bottom:-6px;height:3px;border-radius:2px;background:var(--band-color)}
.scrubber-cursor{position:absolute;top:-6px;bottom:-2px;width:0;border-left:1.5px solid var(--fg);pointer-events:none;transition:left .12s ease}
.scrubber-cursor::before{content:"";position:absolute;top:-3px;left:-5.5px;width:8px;height:8px;border-radius:50%;background:var(--fg);box-shadow:0 0 0 2px var(--plate-bg)}
.is-dragging .scrubber-cursor{transition:none}
.scrubber-bands{display:flex;gap:2px;margin-top:6px}
.scrubber-band{min-width:0;padding:4px 0 3px;background:none;border:0;border-top:1px solid var(--line);color:var(--muted);font:12px/1.3 var(--sans);text-align:center;white-space:nowrap;overflow:hidden;cursor:pointer;transition:color .25s ease,border-color .25s ease}
.scrubber-band:hover{color:var(--fg)}
.scrubber-band[aria-pressed=true]{color:var(--fg);font-weight:600;border-top-color:var(--band-color)}
.scrubber-band:focus-visible{outline:2px solid var(--fg);outline-offset:1px}
.prose .scrubber-ends{display:flex;justify-content:space-between;margin:0;font:11.5px/1.3 var(--sans);color:var(--muted);font-variant-numeric:tabular-nums;text-shadow:none}
.prose .rung-readout{display:flex;flex-wrap:wrap;align-items:baseline;gap:2px 10px;margin:2px 0 0;padding:8px 10px;min-height:3.6em;border-radius:6px;background:color-mix(in srgb,var(--band-color) 8%,transparent);border-left:3px solid var(--band-color);font:13px/1.45 var(--sans);text-shadow:none;transition:background .35s ease,border-color .35s ease}
.readout-n{font-weight:700;white-space:nowrap}
.readout-f{color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}
.readout-role{flex:1 1 14em;min-width:0}
.readout-role strong{font-weight:500}
.prose .band-foot{display:flex;align-items:center;justify-content:space-between;gap:12px;margin:0;font:12px/1.4 var(--sans);color:var(--muted);text-shadow:none}
.band-explorer figcaption{margin-top:10px}
.tallies{display:flex;gap:14px;font-variant-numeric:tabular-nums}
.tally{display:inline-flex;align-items:center;gap:4px;color:var(--fg)}
.tally svg{width:14px;height:14px}
.tally-confirmed svg{color:var(--c-confirmed)}.tally-observed svg{color:var(--c-observed)}.tally-proposed svg{color:var(--c-proposed)}
.tally.is-zero{opacity:.4}
@media(prefers-reduced-motion:reduce){
  .band-layer{transition:opacity .2s linear}
  .band-layer.is-before,.band-layer.is-after{transform:none}
  .scrubber-window,.scrubber-cursor,.scrubber-ticks .tick{transition:none}
}
@media(min-width:1001px){
  .band-step{min-height:min(62svh,560px)}
  .band-step:last-child{min-height:0;padding-bottom:16svh}
  .band-scrolly-stage .plate{border-top:1px solid var(--rule-strong)}
}
@media(max-width:1000px){
  .reading-segment.band-scrolly{display:block}
  .band-scrolly-text{display:block;padding-bottom:4px}
  .band-step{min-height:44svh}
  .band-scrolly-stage{position:sticky;bottom:0;z-index:25;max-height:50svh;overflow:hidden;width:100vw;margin:0 0 0 calc(-1 * var(--gutter));background:var(--plate-bg);border-top:1px solid var(--rule-strong);box-shadow:0 -8px 28px rgba(0,0,0,.18)}
  .band-scrolly-stage>.reading-sticky{position:static}
  .band-scrolly-stage .plate{border:0;padding:8px 12px 10px;gap:5px}
  .band-scrolly-stage figcaption{display:none}
  .band-heads{min-height:0}
  .band-range{padding-left:0;flex-basis:auto}
  .prose .scrubber-ends{display:none}
  .readout-role{display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}
  .band-stage{max-height:calc(50svh - 200px);aspect-ratio:480 / 292;margin-inline:auto;width:auto;max-width:100%}
  .band-foot .tallies{gap:10px}
  .prose .rung-readout{padding:5px 8px;min-height:0;font-size:12.5px}
  .readout-role{flex-basis:100%}
  .band-scrubber{height:32px}
  .rung-chip{grid-template-columns:4.8em minmax(0,1fr);padding:7px 2px}
  .rung-chip .chip-role{grid-column:1/-1}
}

/* Vector status marks: icon in the status colour, label in body ink. */
.status{display:inline-flex;align-items:baseline;gap:5px;white-space:nowrap;font:500 12.5px/1.4 var(--sans);color:var(--fg);vertical-align:baseline}
.status svg{width:14px;height:14px;flex:none;align-self:center}
.status-confirmed svg{color:var(--c-confirmed)}.status-observed svg{color:var(--c-observed)}.status-proposed svg{color:var(--c-proposed)}
.prose p .status{font-size:.8em}

/* Derivations fold out like a proof: a typographic trigger, with no layout-shifting left bar. */
.paper-derivation{margin:0 0 1.4em}
.paper-derivation summary{display:inline-flex;align-items:baseline;list-style:none;cursor:pointer;padding:6px 0;font:italic 17px/1.5 Georgia,'Times New Roman',serif;color:var(--link-color)}
.paper-derivation summary::-webkit-details-marker{display:none}
.paper-derivation summary::marker{display:none;content:""}
.paper-derivation summary:hover{text-decoration:none}
.paper-derivation[open] summary:hover .when-open{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:5px}
.paper-derivation:not([open]) summary:hover .when-closed{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:5px}
.paper-derivation summary .when-closed{display:inline-flex;align-items:baseline}
.paper-derivation .glyph{display:inline-block;width:1.1em;font:400 18px/1 var(--sans);font-style:normal;text-align:center}
.paper-derivation .when-open,.paper-derivation[open] .when-closed{display:none}
.paper-derivation[open] .when-open{display:inline}
.derivation-body{position:relative;border-left:0;padding:.6em 0 .2em;margin-top:.5em}
.derivation-body>:first-child{margin-top:0}
.prose .derivation-body h3{font:500 19px/1.45 var(--sans);margin:2em 0 .6em}
.prose .derivation-end{display:flex;justify-content:space-between;align-items:center;margin:1.2em 0 0!important}
.qed{font-size:15px;color:var(--muted)}
.link-button{background:none;border:0;padding:2px 0;font:13px/1.5 var(--sans);color:var(--link-color);text-decoration:underline;text-decoration-color:color-mix(in srgb,currentColor 40%,transparent);text-underline-offset:4px;cursor:pointer}
.link-button:hover{text-decoration-color:currentColor}
@supports selector(::details-content){
  .paper-derivation{interpolate-size:allow-keywords}
  .paper-derivation::details-content{block-size:0;overflow-x:visible;overflow-y:clip;transition:block-size .35s cubic-bezier(.2,.7,.2,1),content-visibility .35s allow-discrete}
  .paper-derivation[open]::details-content{block-size:auto}
}

/* Table 1: booktabs rules, no fills, scrollable when pinned in the right column. */
.paper .paper-table figcaption{margin:0 0 12px;max-width:none}
.table-filters{display:flex;flex-wrap:wrap;align-items:center;gap:8px 16px;margin:0 0 12px;font:12.5px/1.4 var(--sans)}
.filter-set{display:flex;flex-wrap:wrap;gap:2px 11px}
.filter-chip{display:inline-flex;align-items:center;gap:4px;background:none;border:0;border-bottom:1.5px solid transparent;padding:3px 0 2px;color:var(--muted);font:inherit}
.filter-chip:hover{color:var(--fg)}
.filter-chip[aria-pressed=true]{color:var(--fg);border-bottom-color:var(--fg)}
.filter-chip .status-ico{width:13px;height:13px}
.status-ico.status-confirmed{color:var(--c-confirmed)}.status-ico.status-observed{color:var(--c-observed)}.status-ico.status-proposed{color:var(--c-proposed)}
.chip-count{font-variant-numeric:tabular-nums;opacity:.7}
.filter-search input{width:11.5em;background:none;border:0;border-bottom:1px solid var(--line);padding:3px 0;font:inherit;color:var(--fg);border-radius:0}
.filter-search input:focus{outline:none;border-bottom-color:var(--fg)}
.filter-search input:focus-visible{outline:2px solid var(--fg);outline-offset:4px}
.prose .filter-count{margin:0 0 0 auto;color:var(--muted);font-variant-numeric:tabular-nums}
.paper-table .table-scroll{margin:0;background:var(--plate-bg)}
@media(min-width:1001px){
  .reading-segment-aside .paper-table .table-scroll{max-height:min(66svh,620px);overflow-y:auto;overscroll-behavior:contain;scrollbar-gutter:stable}
  .reading-segment-aside .rung-table thead th{position:sticky;top:0;z-index:2;background:var(--plate-bg)}
}
.prose .rung-table{width:100%;min-width:440px;border-collapse:collapse;font:13px/1.45 var(--sans);font-variant-numeric:tabular-nums;border-top:1.5px solid var(--rule-strong);border-bottom:1.5px solid var(--rule-strong)}
.prose .rung-table th,.prose .rung-table td,.prose .rung-table tr:nth-child(even){background:none}
.prose .rung-table th,.prose .rung-table td{padding:6px 7px;vertical-align:baseline}
.prose .rung-table thead th{font-weight:500;border-bottom:1px solid var(--rule-strong);padding-block:9px 7px;white-space:nowrap}
.rung-table .col-n{text-align:right;width:2.6em;padding-right:10px}
.rung-table .col-f,.rung-table .col-t{text-align:right;white-space:nowrap}
.rung-table .col-s{width:6.8em}
.rung-table tbody tr+tr td{border-top:1px solid color-mix(in srgb,var(--line) 60%,transparent)}
.rung-table .band-row th{font:italic 15px/1.4 Georgia,serif;text-align:left;padding:18px 10px 6px;border-bottom:1px solid var(--line)}
.rung-table tbody:first-of-type .band-row th{padding-top:12px}
.rung-table tr.key td{font-weight:400}
.rung-table tr.key .col-n{font-weight:700}
.rung-table td strong{font-weight:600}
.rung-table tr.is-target td{background:color-mix(in srgb,var(--primary) 16%,transparent)!important;transition:background 1.2s ease}
.rung-table [hidden]{display:none}
.prose .table-empty{font:14px/1.6 var(--sans);color:var(--muted);margin:14px 0 0!important}

/* References: collapsed by default under a quiet heading button. */
.paper-references{margin-top:3.2em;border-top:1px solid var(--line);padding-top:.4em}
.prose .paper-references h2{margin:.6em 0 .4em;font-size:24px}
.refs-toggle{display:flex;align-items:baseline;gap:10px;width:100%;background:none;border:0;padding:6px 0;text-align:left;font:inherit;color:var(--fg)}
.refs-toggle:hover{color:var(--link-color)}
.refs-glyph{width:1em;font:400 20px/1 var(--sans);color:var(--muted)}
.refs-toggle[aria-expanded=true] .refs-glyph{transform:rotate(45deg)}
.refs-count{margin-left:auto;font:13px/1.5 var(--sans);color:var(--muted);letter-spacing:0}
.ref-list{font:15px/1.65 Georgia,'Times New Roman',serif;padding-left:2.2em!important;margin:1em 0 0}
.ref-list li{margin:0 0 .9em;padding:4px 8px;margin-left:-8px;border-radius:3px;scroll-margin-top:45vh;transition:background 1.6s ease}
.ref-list li::marker{font:13px var(--sans);color:var(--muted)}
.ref-list li.is-target{background:color-mix(in srgb,var(--primary) 20%,transparent);transition:none}
.prose .cite-link{text-decoration:none}

/* Floating return control after a citation jump. */
.return-pill{position:fixed;left:50%;bottom:28px;z-index:40;transform:translateX(-50%);display:inline-flex;align-items:center;gap:8px;padding:10px 18px;min-height:44px;border:1px solid var(--line);border-radius:999px;background:var(--panel);color:var(--fg);font:14px/1.2 var(--sans);box-shadow:0 8px 30px #0003}
.return-pill:hover{border-color:var(--fg)}
.return-pill[hidden]{display:none}

.prose .formula{margin:.4em 0 1.4em}
.prose .katex{text-shadow:none}
.cite-link:target,.fig-ref:focus-visible{outline:2px solid var(--fg);outline-offset:3px}

@media(max-width:760px){
  .table-filters{gap:10px 16px}
  .prose .filter-count{margin-left:0;width:100%}
}
@media(max-width:650px){
  .paper-abstract p{font-size:16.5px}
  .abstract-rule{flex-wrap:wrap}
  .paper-derivation summary{font-size:16.5px}
  .prose .paper-references h2{font-size:21px}
  .refs-toggle{flex-wrap:wrap}
}
@media(prefers-reduced-motion:reduce){
  .paper-derivation::details-content{transition:none}
}
@media print{
  .paper .reading-layout>.prose{max-width:none}
  .prose .figure-wide{margin-inline:0}
  .paper-derivation .derivation-body,.ref-list{display:block!important}
  .paper-derivation summary,.expand-all,.table-filters,.return-pill,.derivation-end .link-button,.band-foot .link-button,.band-scrubber,.scrubber-bands{display:none!important}
  .plate,.paper-table .table-scroll{background:none}
  .band-scrolly-stage{position:static!important;box-shadow:none!important}
}

/* ---------- Two Ways to Explain a Mind ---------- */
/* Evidence marks for Table 1 and the lens steps. */
.paper{--c-inferred:#c58af9;--c-testable:#81c995}
html[data-theme=light] .paper{--c-inferred:#8e24aa;--c-testable:#188038}
.status-inferred svg{color:var(--c-inferred)}.status-testable svg{color:var(--c-testable)}
.status-ico.status-inferred{color:var(--c-inferred)}.status-ico.status-testable{color:var(--c-testable)}
.lens-table .rung-table td,.lens-table .rung-table th{vertical-align:baseline}
.lens-table .rung-table td:first-child{font-weight:500}
.lens-table .rung-table td:last-child{min-width:14em}
.prose .field-note{white-space:pre-wrap}
.part-link{font-style:normal}

/* Figure S1: five lenses on one stage, driven by Position A to E text steps. */
.lens-scrolly{--band-a:var(--ink-teal);--band-b:var(--ink-green);--band-c:var(--ink-blue);--band-d:var(--ink-violet);--band-e:var(--ink-amber)}
.lens-explorer{margin:0;--band-color:var(--band-a)}
.lens-explorer[data-active=A]{--band-color:var(--band-a)}.lens-explorer[data-active=B]{--band-color:var(--band-b)}
.lens-explorer[data-active=C]{--band-color:var(--band-c)}.lens-explorer[data-active=D]{--band-color:var(--band-d)}
.lens-explorer[data-active=E]{--band-color:var(--band-e)}
.lens-explorer .band-letter{color:var(--bg)}
.lens-head[hidden],.lens-readout[hidden]{display:none!important}
.lens-heads{min-height:0}
.lens-arrow{margin-left:auto;font:500 12px/1.4 var(--sans);color:var(--band-color);white-space:nowrap}
.lens-stage{aspect-ratio:680 / 420}
.lens-layer .ill{max-width:none}
.lens-readouts{min-height:4.6em}
.lens-readout{padding:8px 12px;border-radius:6px;border-left:3px solid var(--band-color);background:color-mix(in srgb,var(--band-color) 8%,transparent);transition:background .35s ease,border-color .35s ease}
.prose .lens-readout p{margin:0;font:13px/1.5 var(--sans);text-shadow:none;color:var(--fg)}
.prose .lens-readout p+p{margin-top:3px;color:var(--muted)}
.lens-readout b{font-weight:600;color:var(--band-color);margin-right:4px}
.lens-scale{--u:0;position:relative;padding-top:12px;cursor:ew-resize;touch-action:none;user-select:none;-webkit-user-select:none;border-radius:6px}
.lens-track:focus-visible{outline:2px solid var(--fg);outline-offset:6px}
.lens-track{position:absolute;left:10%;right:10%;top:12px;height:4px;border-radius:2px;background:linear-gradient(90deg,var(--band-a),var(--band-b),var(--band-c),var(--band-d),var(--band-e));opacity:.9}
.lens-track::before{content:"";position:absolute;inset:-6px 0;border-radius:6px}
.lens-track-fill{position:absolute;left:0;top:-3px;bottom:-3px;width:calc(var(--u) * 100%);border-radius:5px;background:color-mix(in srgb,var(--band-color) 22%,transparent);transition:width .45s cubic-bezier(.22,1,.36,1)}
.lens-thumb{position:absolute;top:50%;left:calc(var(--u) * 100%);width:20px;height:20px;margin:-10px 0 0 -10px;border-radius:50%;background:var(--plate-bg);border:2.5px solid var(--band-color);box-shadow:0 0 0 4px color-mix(in srgb,var(--band-color) 22%,transparent),0 2px 6px rgba(0,0,0,.25);transition:left .45s cubic-bezier(.22,1,.36,1),border-color .35s ease}
.lens-explorer.is-dragging .lens-thumb,.lens-explorer.is-dragging .lens-track-fill{transition:none}
.lens-stops{display:grid;grid-template-columns:repeat(5,1fr);margin-top:2px}
.lens-stop{display:flex;flex-direction:column;align-items:center;gap:2px;padding:0 2px 2px;background:none;border:0;color:var(--muted);font:12px/1.3 var(--sans);cursor:pointer;min-width:0;transition:color .25s ease}
.lens-stop-dot{width:8px;height:8px;border-radius:50%;background:var(--line);margin:0 0 6px;transition:background .25s ease,transform .25s ease}
.lens-stop-letter{font-weight:700;font-size:12.5px}
.lens-stop-name{text-align:center;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:100%}
.lens-stop[aria-pressed=true]{color:var(--fg)}
.lens-stop[aria-pressed=true] .lens-stop-letter{color:var(--band-color)}
.lens-stop:hover{color:var(--fg)}
.lens-stop:focus-visible{outline:2px solid var(--fg);outline-offset:2px;border-radius:4px}
.prose .lens-ends{display:flex;justify-content:space-between;margin:2px 0 0;font:11.5px/1.3 var(--sans);color:var(--muted);text-shadow:none}
.lens-chip{grid-template-columns:7.4em minmax(0,1fr)}
.lens-chip .chip-role strong{font-weight:600}
.lens-step[data-lens-step] h3{scroll-margin-top:150px}
@media(max-width:1000px){
  .lens-scrolly .band-scrolly-stage .plate{gap:4px}
  .lens-stage{max-height:calc(50svh - 190px);aspect-ratio:680 / 420;margin-inline:auto;width:auto;max-width:100%}
  .lens-readouts{min-height:0}
  .lens-readout{padding:4px 8px}
  .prose .lens-readout p{font-size:12px;line-height:1.4}
  .prose .lens-readout p+p{display:none}
  .lens-arrow{margin-left:0}
  .lens-stop-name{display:none}
  .lens-scale{padding-top:8px}
  .lens-track{top:8px}
  .prose .lens-ends{display:none}
  .lens-chip{grid-template-columns:1fr}
}
@media(prefers-reduced-motion:reduce){.lens-thumb,.lens-track-fill,.lens-readout{transition:none}}