.external-check-path_figure__K0gm6{container-type:inline-size;margin:34px 0 44px}.external-check-path_heading__1tXpt{display:flex;justify-content:space-between;gap:12px;color:var(--editorial-muted);font-size:12px;margin-bottom:18px}.external-check-path_heading__1tXpt span:first-child{font-size:10px;letter-spacing:.12em;text-transform:uppercase}.external-check-path_drawing__i_Y6w{display:block;width:100%;height:auto;overflow:visible}.external-check-path_compact__5TGRc{display:none}.external-check-path_drawing__i_Y6w text{font-family:KaTeX_Main,serif}.external-check-path_label__lLa8y{fill:var(--s-ink);font-size:15px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px}.external-check-path_noteFaint__kyqey{fill:var(--s-faint);font-size:14px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px}.external-check-path_relationGreen__og9fR,.external-check-path_relationTeal__oi9Kq{font-size:14px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px;stroke-linejoin:round}.external-check-path_relationTeal__oi9Kq{fill:var(--s-teal)}.external-check-path_relationGreen__og9fR{fill:var(--s-green)}.external-check-path_axis__hiAqs,.external-check-path_route__eZp3b{fill:none;transition:stroke .2s,stroke-width .2s}.external-check-path_exit__oOUgT{fill:none;stroke-dasharray:5 4;transition:stroke .2s}.external-check-path_bar__jGZDH{fill:none;stroke-linecap:round;transition:stroke .2s}.external-check-path_exitLabel__rSa7Q{font-size:14px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px;transition:fill .2s}.external-check-path_exitLit__GTWA3 .external-check-path_exit__oOUgT{stroke:var(--s-coral);stroke-width:2}.external-check-path_exitLit__GTWA3 .external-check-path_bar__jGZDH{stroke:var(--s-coral);stroke-width:2.4}.external-check-path_exitLit__GTWA3 .external-check-path_exitLabel__rSa7Q{fill:var(--s-coral)}.external-check-path_exitIdle__dTwGv .external-check-path_exit__oOUgT{stroke:var(--s-faint);stroke-width:1.1}.external-check-path_exitIdle__dTwGv .external-check-path_bar__jGZDH{stroke:var(--s-faint);stroke-width:1.4}.external-check-path_exitIdle__dTwGv .external-check-path_exitLabel__rSa7Q{fill:var(--s-faint)}.external-check-path_guard__POiU8 circle{fill:var(--s-green-fill);stroke:var(--s-green);stroke-width:1.4}.external-check-path_stage__tPtW7 circle{fill:var(--s-cell);stroke:var(--s-dim);stroke-width:1.4;transition:stroke .2s}.external-check-path_stageExit__rjGib circle{stroke:var(--s-coral)}.external-check-path_verdictNode___u6Nz circle{fill:var(--s-teal-fill);stroke:var(--s-teal);stroke-width:1.4}.external-check-path_idle__Z06bX{opacity:.45}.external-check-path_idle__Z06bX circle{stroke-dasharray:4 3}.external-check-path_drawing__i_Y6w .external-check-path_mark___v3Vg{fill:var(--s-ink);font-family:KaTeX_Math,serif;font-style:italic}.external-check-path_drawing__i_Y6w .external-check-path_kernelMark__fmkGc{fill:var(--s-teal);font-family:KaTeX_Math,serif;font-style:italic}.external-check-path_controls__EnLSQ{display:flex;flex-wrap:wrap;gap:0 26px;margin-top:18px;border-block:1px solid var(--editorial-rule)}.external-check-path_controls__EnLSQ button{cursor:pointer;min-height:44px;padding:12px 0;color:var(--editorial-muted);font-size:14px;border-bottom:2px solid transparent}.external-check-path_controls__EnLSQ button[aria-pressed=true]{color:var(--editorial-bright);border-color:var(--editorial-accent)}.external-check-path_controls__EnLSQ button:hover{color:var(--editorial-bright)}.external-check-path_controls__EnLSQ button:focus-visible{outline:2px solid var(--editorial-accent);outline-offset:4px}.external-check-path_detail__r4t6A{display:grid;grid-template-columns:36px minmax(0,1fr);gap:20px;padding-top:24px}.external-check-path_detailMark__uMZIo{font:italic 28px KaTeX_Math,serif}.external-check-path_figure__K0gm6 .external-check-path_detail__r4t6A h3{margin:0 0 8px;color:var(--editorial-bright);font:400 25px/1.2 var(--font-eb-garamond),serif}.external-check-path_detail__r4t6A p{margin:0;color:var(--editorial-ink);font-size:15px;line-height:1.65}.external-check-path_prose__UN3jN{margin-top:18px}@container (max-width: 640px){.external-check-path_wide__x65q2{display:none}.external-check-path_compact__5TGRc{display:block}.external-check-path_controls__EnLSQ{gap:0 20px}.external-check-path_detail__r4t6A{gap:12px;grid-template-columns:28px minmax(0,1fr)}}@media (prefers-reduced-motion:reduce){.external-check-path_figure__K0gm6 *{transition:none}}