.local-checkpoints_figure__a62NZ{container-type:inline-size;margin:34px 0 44px}.local-checkpoints_heading__kBupr{display:flex;justify-content:space-between;gap:12px;color:var(--editorial-muted);font-size:12px;margin-bottom:18px}.local-checkpoints_heading__kBupr span:first-child{font-size:10px;letter-spacing:.12em;text-transform:uppercase}.local-checkpoints_drawing__3rLFm{display:block;width:100%;height:auto;overflow:visible}.local-checkpoints_compact__Tq8gD{display:none}.local-checkpoints_drawing__3rLFm text{font-family:KaTeX_Main,serif}.local-checkpoints_boundary__zo1Rs{fill:none;stroke:var(--s-grid);stroke-width:1;stroke-dasharray:3 6}.local-checkpoints_region__wgeiT{fill:var(--s-dim);font-size:14px}.local-checkpoints_label__m2lP1{fill:var(--s-ink);font-size:14px}.local-checkpoints_relation__4BjOI{fill:var(--s-dim);font-size:14px}.local-checkpoints_haloLabel__aqHHJ{paint-order:stroke;stroke:#0c0c0b;stroke-width:7px}.local-checkpoints_drawing__3rLFm .local-checkpoints_kind__Wuk6_,.local-checkpoints_drawing__3rLFm .local-checkpoints_leafLabel__gFrIk{fill:var(--s-dim);font-family:var(--font-jetbrains-mono),ui-monospace,monospace;font-size:14px}.local-checkpoints_drawing__3rLFm .local-checkpoints_mark__Qss1W{font:italic 20px KaTeX_Math,serif}.local-checkpoints_aReceipt__4oNV5,.local-checkpoints_cA__S0uoC circle{fill:var(--s-teal-fill);stroke:var(--s-teal);stroke-width:1.4}.local-checkpoints_cA__S0uoC .local-checkpoints_mark__Qss1W{fill:var(--s-teal)}.local-checkpoints_replicate__CxegG{fill:none;stroke:var(--s-blue);stroke-width:1.7}.local-checkpoints_leaf__cvZO9{stroke-width:1.6;transition:fill .2s,stroke .2s}.local-checkpoints_leafHeld__O7QRj{fill:var(--s-teal-fill);stroke:var(--s-teal)}.local-checkpoints_arriving__VH0zT{fill:var(--s-blue-fill);stroke:var(--s-blue);stroke-width:1.8}.local-checkpoints_proofLeaf__2tiBg{fill:var(--s-teal);stroke:var(--s-teal)}.local-checkpoints_siblingLeaf__OVNbm{fill:var(--s-teal-fill);stroke:var(--s-ink);stroke-width:1.8}.local-checkpoints_refusedLeaf__Q_rBn{fill:var(--s-coral-fill);stroke:var(--s-coral);stroke-width:1.8}.local-checkpoints_edge__XHnpU{fill:none;stroke:var(--s-dim);stroke-width:1.3;transition:stroke .2s}.local-checkpoints_edgeLit__41RoY{stroke:var(--s-teal);stroke-width:2.2}.local-checkpoints_innerNode__hRevo{fill:var(--s-cell);stroke:var(--s-dim);stroke-width:1.3}.local-checkpoints_siblingInner__h_FPN{stroke:var(--s-ink);stroke-width:1.8}.local-checkpoints_rootNode__vTWZQ{fill:var(--s-teal-fill);stroke:var(--s-teal);stroke-width:1.8}.local-checkpoints_wire__itNbJ{fill:none;stroke-width:1.7}.local-checkpoints_tealWire__VLThc{stroke:var(--s-teal)}.local-checkpoints_goldWire__9UPok{stroke:var(--s-gold)}.local-checkpoints_hidden__kiVc7{display:none}.local-checkpoints_checkpoint__ERJ0F circle{fill:var(--s-teal-fill);stroke:var(--s-teal);stroke-width:1.8}.local-checkpoints_checkpoint__ERJ0F .local-checkpoints_ring__h3laQ{fill:none;stroke:var(--s-teal);stroke-opacity:.5;stroke-width:1.1}.local-checkpoints_checkpoint__ERJ0F .local-checkpoints_mark__Qss1W{fill:var(--s-teal)}.local-checkpoints_refusedCheckpoint__ykhw3{opacity:.35}.local-checkpoints_signer__RqmTI circle{fill:var(--s-gold-fill);stroke:var(--s-gold);stroke-width:1.6}.local-checkpoints_signer__RqmTI .local-checkpoints_mark__Qss1W{fill:var(--s-gold)}.local-checkpoints_proofWire__Q8pfQ{fill:none;stroke:var(--s-teal);stroke-width:1.6;stroke-dasharray:5 5}.local-checkpoints_exportNode__08gWV circle{fill:var(--s-teal-fill);stroke:var(--s-teal);stroke-width:1.6}.local-checkpoints_exportNode__08gWV .local-checkpoints_mark__Qss1W{fill:var(--s-teal);font-size:18px}.local-checkpoints_refuseWire__yy6xJ{fill:none;stroke:var(--s-coral);stroke-width:1.8;stroke-dasharray:5 4}.local-checkpoints_stop__rm9tV{stroke:var(--s-coral);stroke-width:2.4;stroke-linecap:round}.local-checkpoints_drawing__3rLFm .local-checkpoints_refuseLabel__LlBYy{fill:var(--s-coral);font-family:var(--font-jetbrains-mono),ui-monospace,monospace;font-size:14px;paint-order:stroke;stroke:#0c0c0b;stroke-width:7px}.local-checkpoints_refusal__KZlct .local-checkpoints_haloLabel__aqHHJ{fill:var(--s-coral);font-size:14px}.local-checkpoints_faint__xqu6C{opacity:.5}.local-checkpoints_quiet__zjwZy{opacity:.3}.local-checkpoints_ghost__AL9LF{opacity:.2}.local-checkpoints_faint__xqu6C,.local-checkpoints_ghost__AL9LF,.local-checkpoints_quiet__zjwZy{transition:opacity .2s}.local-checkpoints_summary__R27CT{font-size:15px;fill:var(--s-ink)}.local-checkpoints_summary__R27CT[data-tone=blue]{fill:var(--s-blue)}.local-checkpoints_summary__R27CT[data-tone=gold]{fill:var(--s-gold)}.local-checkpoints_summary__R27CT[data-tone=teal]{fill:var(--s-teal)}.local-checkpoints_summary__R27CT[data-tone=coral]{fill:var(--s-coral)}.local-checkpoints_controls__oPvZb{display:flex;flex-wrap:wrap;gap:0 30px;margin-top:18px;border-block:1px solid var(--editorial-rule)}.local-checkpoints_controls__oPvZb button{cursor:pointer;min-height:44px;padding:12px 0;color:var(--editorial-muted);font-size:14px;border-bottom:2px solid transparent}.local-checkpoints_controls__oPvZb button[aria-pressed=true]{color:var(--editorial-bright);border-color:var(--editorial-accent)}.local-checkpoints_controls__oPvZb button:hover{color:var(--editorial-bright)}.local-checkpoints_controls__oPvZb button:focus-visible{outline:2px solid var(--editorial-accent);outline-offset:4px}.local-checkpoints_detail__12uKD{display:grid;grid-template-columns:36px minmax(0,1fr);gap:20px;padding-top:24px}.local-checkpoints_detailMark__QvCXj{font:italic 28px KaTeX_Math,serif;color:var(--s-ink)}.local-checkpoints_detailMark__QvCXj[data-tone=blue]{color:var(--s-blue)}.local-checkpoints_detailMark__QvCXj[data-tone=gold]{color:var(--s-gold)}.local-checkpoints_detailMark__QvCXj[data-tone=teal]{color:var(--s-teal)}.local-checkpoints_detailMark__QvCXj[data-tone=coral]{color:var(--s-coral)}.local-checkpoints_figure__a62NZ .local-checkpoints_detail__12uKD h3{margin:0 0 8px;color:var(--editorial-bright);font:400 25px/1.2 var(--font-eb-garamond),serif}.local-checkpoints_detail__12uKD p{margin:0;color:var(--editorial-ink);font-size:15px;line-height:1.65}.local-checkpoints_detail__12uKD a{text-decoration:underline;text-underline-offset:4px}.local-checkpoints_detail__12uKD code{font-size:14px}@container (max-width: 640px){.local-checkpoints_wide__BO_D2{display:none}.local-checkpoints_compact__Tq8gD{display:block}.local-checkpoints_compact__Tq8gD .local-checkpoints_kind__Wuk6_,.local-checkpoints_compact__Tq8gD .local-checkpoints_label__m2lP1,.local-checkpoints_compact__Tq8gD .local-checkpoints_leafLabel__gFrIk,.local-checkpoints_compact__Tq8gD .local-checkpoints_refusal__KZlct .local-checkpoints_haloLabel__aqHHJ,.local-checkpoints_compact__Tq8gD .local-checkpoints_refuseLabel__LlBYy,.local-checkpoints_compact__Tq8gD .local-checkpoints_region__wgeiT,.local-checkpoints_compact__Tq8gD .local-checkpoints_relation__4BjOI{font-size:14.6px}.local-checkpoints_controls__oPvZb{gap:0 22px}.local-checkpoints_detail__12uKD{gap:12px;grid-template-columns:28px minmax(0,1fr)}}@media (prefers-reduced-motion:reduce){.local-checkpoints_figure__a62NZ *{transition:none}}