h1[data-astro-cid-q3z5h27s]{max-width:18ch}.lede[data-astro-cid-q3z5h27s]{max-width:62ch}section[data-astro-cid-q3z5h27s]{margin-top:var(--space-6)}section[data-astro-cid-q3z5h27s] p[data-astro-cid-q3z5h27s],section[data-astro-cid-q3z5h27s] li[data-astro-cid-q3z5h27s]{max-width:68ch}h2[data-astro-cid-q3z5h27s] .status-tag{vertical-align:middle;margin-left:.5em}.status-key[data-astro-cid-q3z5h27s]{display:grid;gap:var(--space-2);margin:var(--space-3) 0 0}.status-key[data-astro-cid-q3z5h27s]>div[data-astro-cid-q3z5h27s]{display:grid;grid-template-columns:10rem 1fr;gap:var(--space-3);align-items:baseline;border-top:1px solid var(--rule);padding-top:var(--space-2)}.status-key[data-astro-cid-q3z5h27s] dd[data-astro-cid-q3z5h27s]{margin:0}.not-true[data-astro-cid-q3z5h27s]{border-left:var(--rule-weight-band) solid var(--grader);padding-left:var(--space-4)}.not-true[data-astro-cid-q3z5h27s] h2[data-astro-cid-q3z5h27s]{color:var(--grader)}.denials[data-astro-cid-q3z5h27s]{margin:var(--space-3) 0 0;padding:0;list-style:none;counter-reset:denial}.denials[data-astro-cid-q3z5h27s]>li[data-astro-cid-q3z5h27s]{counter-increment:denial;border-top:1px solid var(--rule);padding-top:var(--space-3);margin-top:var(--space-3);display:grid;grid-template-columns:3rem 1fr;column-gap:var(--space-3)}.denials[data-astro-cid-q3z5h27s]>li[data-astro-cid-q3z5h27s]:before{content:counter(denial);grid-row:1 / span 2;font-family:var(--font-display);font-size:2.5rem;line-height:.9;color:var(--grader)}.denials[data-astro-cid-q3z5h27s] h3[data-astro-cid-q3z5h27s]{margin:0;font-size:1.0625rem}.denials[data-astro-cid-q3z5h27s] p[data-astro-cid-q3z5h27s]{margin:var(--space-1) 0 0;grid-column:2}.lifecycle[data-astro-cid-q3z5h27s]{font-family:var(--font-mono);font-size:.8125rem;line-height:1.5;background:var(--paper-raise);border-left:3px solid var(--rule);padding:var(--space-3);overflow-x:auto;max-width:100%}table[data-astro-cid-q3z5h27s]{border-collapse:collapse;width:100%;margin-top:var(--space-3)}caption[data-astro-cid-q3z5h27s]{text-align:left;font-size:var(--size-small);color:var(--ink-soft);max-width:66ch;padding-bottom:var(--space-2)}thead[data-astro-cid-q3z5h27s] th[data-astro-cid-q3z5h27s]{font-family:var(--font-mono);font-size:var(--size-mono-label);letter-spacing:.06em;text-transform:uppercase;text-align:left;color:var(--ink-soft);border-bottom:var(--rule-weight-band) solid var(--ink);padding:var(--space-2) var(--space-3) var(--space-2) 0}tbody[data-astro-cid-q3z5h27s] th[data-astro-cid-q3z5h27s],tbody[data-astro-cid-q3z5h27s] td[data-astro-cid-q3z5h27s]{text-align:left;font-weight:400;vertical-align:top;padding:var(--space-2) var(--space-3) var(--space-2) 0;border-bottom:1px solid var(--rule)}tbody[data-astro-cid-q3z5h27s] th[data-astro-cid-q3z5h27s] code[data-astro-cid-q3z5h27s]{font-weight:600}.verbs[data-astro-cid-q3z5h27s] tr[data-astro-cid-q3z5h27s].inert th[data-astro-cid-q3z5h27s] code[data-astro-cid-q3z5h27s],.verbs[data-astro-cid-q3z5h27s] tr[data-astro-cid-q3z5h27s].inert td[data-astro-cid-q3z5h27s]{color:var(--ink-soft)}.scroller[data-astro-cid-q3z5h27s]{overflow-x:auto;position:relative;max-width:100%}.roadmap[data-astro-cid-q3z5h27s]{min-width:44rem}.roadmap[data-astro-cid-q3z5h27s] td[data-astro-cid-q3z5h27s],.roadmap[data-astro-cid-q3z5h27s] th[data-astro-cid-q3z5h27s]{font-size:.9375rem}.plain[data-astro-cid-q3z5h27s],.proofs[data-astro-cid-q3z5h27s],.package[data-astro-cid-q3z5h27s]{padding-left:1.1rem}.plain[data-astro-cid-q3z5h27s]{list-style:none;padding-left:0}.proofs[data-astro-cid-q3z5h27s] li[data-astro-cid-q3z5h27s],.package[data-astro-cid-q3z5h27s] li[data-astro-cid-q3z5h27s]{margin-bottom:var(--space-1)}.vectors[data-astro-cid-q3z5h27s],.dist[data-astro-cid-q3z5h27s]{margin:var(--space-3) 0 0}.vectors[data-astro-cid-q3z5h27s]>div[data-astro-cid-q3z5h27s],.dist[data-astro-cid-q3z5h27s]>div[data-astro-cid-q3z5h27s]{border-top:1px solid var(--rule);padding-top:var(--space-2);margin-top:var(--space-2)}.vectors[data-astro-cid-q3z5h27s] dt[data-astro-cid-q3z5h27s],.dist[data-astro-cid-q3z5h27s] dt[data-astro-cid-q3z5h27s]{font-family:var(--font-display);font-size:.9375rem;margin-bottom:.25rem}.vectors[data-astro-cid-q3z5h27s] dd[data-astro-cid-q3z5h27s],.dist[data-astro-cid-q3z5h27s] dd[data-astro-cid-q3z5h27s]{margin:0;max-width:68ch}.episode[data-astro-cid-q3z5h27s]{background:var(--paper-raise);border:1px solid var(--rule);padding:var(--space-3) var(--space-4);margin-top:var(--space-3)}.episode[data-astro-cid-q3z5h27s] .meta[data-astro-cid-q3z5h27s]{margin:0;font-size:.75rem;color:var(--ink-soft)}.episode[data-astro-cid-q3z5h27s] .premise[data-astro-cid-q3z5h27s]{margin:var(--space-1) 0 var(--space-3);font-size:1.0625rem}.setup[data-astro-cid-q3z5h27s]{margin:0 0 var(--space-3);display:grid;gap:var(--space-3);grid-template-columns:repeat(2,minmax(0,1fr))}.setup[data-astro-cid-q3z5h27s] dt[data-astro-cid-q3z5h27s]{font-family:var(--font-mono);font-size:var(--size-mono-label);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-soft);margin-bottom:.35rem}.setup[data-astro-cid-q3z5h27s] dd[data-astro-cid-q3z5h27s]{margin:0;font-size:.9375rem}.steps[data-astro-cid-q3z5h27s]{margin:0;padding:0;list-style:none;border-top:1px solid var(--rule)}.steps[data-astro-cid-q3z5h27s] li[data-astro-cid-q3z5h27s]{display:grid;grid-template-columns:1.75rem 9.5rem 1fr;gap:var(--space-2);align-items:baseline;border-bottom:1px solid var(--rule);padding:var(--space-2) 0}.step-n[data-astro-cid-q3z5h27s]{color:var(--slate);font-size:.8125rem}.step-kind[data-astro-cid-q3z5h27s]{font-size:.8125rem;color:var(--ink-soft)}.step-text[data-astro-cid-q3z5h27s]{font-size:.9375rem}.outcome[data-astro-cid-q3z5h27s]{margin:var(--space-3) 0 0;font-size:.8125rem;color:var(--ink-soft)}code[data-astro-cid-q3z5h27s]{font-family:var(--font-mono);font-size:.875em;overflow-wrap:anywhere}.cta[data-astro-cid-q3z5h27s]{border-top:var(--rule-weight-band) solid var(--ink);padding-top:var(--space-4)}.cta-links[data-astro-cid-q3z5h27s]{font-family:var(--font-display);font-size:1.125rem;margin-top:var(--space-3)}@media(max-width:40rem){.status-key[data-astro-cid-q3z5h27s]>div[data-astro-cid-q3z5h27s],.setup[data-astro-cid-q3z5h27s]{grid-template-columns:1fr}.steps[data-astro-cid-q3z5h27s] li[data-astro-cid-q3z5h27s]{grid-template-columns:1.75rem 1fr}.step-text[data-astro-cid-q3z5h27s]{grid-column:2}.denials[data-astro-cid-q3z5h27s]>li[data-astro-cid-q3z5h27s]{grid-template-columns:2.25rem 1fr}}