.halting-lab[data-astro-cid-gfon46h6]{background:linear-gradient(145deg,#031222fa,#071d2ff0);border:1px solid #00e5ff47;border-radius:18px;margin:2.25rem 0;overflow:hidden;box-shadow:0 22px 54px #00000047}header[data-astro-cid-gfon46h6]{padding:1.2rem 1.25rem .55rem}header[data-astro-cid-gfon46h6] p[data-astro-cid-gfon46h6]{color:#a8ff60;font:700 .74rem/1.2 var(--font-mono,monospace);letter-spacing:.14em;text-transform:uppercase;margin:0 0 .3rem}header[data-astro-cid-gfon46h6] h3[data-astro-cid-gfon46h6]{color:#f4fbff;margin:0;font-size:clamp(1.08rem,2.4vw,1.42rem);line-height:1.25}.controls[data-astro-cid-gfon46h6]{flex-wrap:wrap;gap:.55rem;padding:.75rem 1.25rem;display:flex}button[data-astro-cid-gfon46h6]{color:#dff7ff;font:700 .78rem/1 var(--font-mono,monospace);cursor:pointer;background:#082337d1;border:1px solid #b1d8e661;border-radius:999px;padding:.58rem .82rem}button[data-astro-cid-gfon46h6]:hover,button[data-astro-cid-gfon46h6]:focus-visible,button[data-astro-cid-gfon46h6][aria-pressed=true]{color:#a8ff60;border-color:#a8ff60;outline:none;box-shadow:0 0 0 3px #a8ff6026}.proof-map[data-astro-cid-gfon46h6]{padding:0 .8rem}svg[data-astro-cid-gfon46h6]{width:100%;height:auto;display:block}.plot-bg[data-astro-cid-gfon46h6]{fill:#031321}.grid[data-astro-cid-gfon46h6]{opacity:.34}.grid[data-astro-cid-gfon46h6]+g[data-astro-cid-gfon46h6]{color:#00e5ff}pattern[data-astro-cid-gfon46h6] path[data-astro-cid-gfon46h6]{stroke:#4da0bb38;stroke-width:1px}.oracle-node[data-astro-cid-gfon46h6] rect[data-astro-cid-gfon46h6]{fill:#09273d;stroke:#00e5ff;stroke-width:2.5px}.eyebrow[data-astro-cid-gfon46h6]{fill:#7fdcec;font:700 15px/1 var(--font-mono,monospace);letter-spacing:2px}.code[data-astro-cid-gfon46h6]{fill:#f3fbff;font:700 20px/1 var(--font-mono,monospace)}.small[data-astro-cid-gfon46h6]{fill:#9ab8c5;font:15px/1 var(--font-sans,sans-serif)}.branch[data-astro-cid-gfon46h6]{transition:opacity .18s,filter .18s}.branch-line[data-astro-cid-gfon46h6],.contradiction-line[data-astro-cid-gfon46h6]{fill:none;stroke-width:3px}.branch-halts[data-astro-cid-gfon46h6] .branch-line[data-astro-cid-gfon46h6],.branch-halts[data-astro-cid-gfon46h6] .contradiction-line[data-astro-cid-gfon46h6]{stroke:#a8ff60}.branch-loops[data-astro-cid-gfon46h6] .branch-line[data-astro-cid-gfon46h6],.branch-loops[data-astro-cid-gfon46h6] .contradiction-line[data-astro-cid-gfon46h6]{stroke:#ff58c8}#arrow-green[data-astro-cid-gfon46h6] path[data-astro-cid-gfon46h6]{fill:#a8ff60}#arrow-magenta[data-astro-cid-gfon46h6] path[data-astro-cid-gfon46h6]{fill:#ff58c8}.branch-label[data-astro-cid-gfon46h6]{fill:#d4eaf2;font:700 15px/1 var(--font-mono,monospace)}.action-box[data-astro-cid-gfon46h6]{fill:#071e30;stroke:#b5e0ee6b;stroke-width:1.5px}.contradiction-box[data-astro-cid-gfon46h6]{fill:#ff58c814;stroke-width:2px}.branch-halts[data-astro-cid-gfon46h6] .contradiction-box[data-astro-cid-gfon46h6]{stroke:#a8ff60}.branch-loops[data-astro-cid-gfon46h6] .contradiction-box[data-astro-cid-gfon46h6]{stroke:#ff58c8}.contradiction-text[data-astro-cid-gfon46h6]{fill:#fff;font:700 16px/1 var(--font-mono,monospace)}.muted[data-astro-cid-gfon46h6]{opacity:.2;filter:saturate(.3)}.selected[data-astro-cid-gfon46h6]{opacity:1}.case-cards[data-astro-cid-gfon46h6]{grid-template-columns:repeat(2,minmax(0,1fr));gap:.75rem;padding:.2rem 1.25rem .9rem;display:grid}.case-cards[data-astro-cid-gfon46h6] article[data-astro-cid-gfon46h6]{background:#071d2fb8;border:1px solid #9dd3e540;border-radius:12px;padding:.85rem;transition:opacity .18s}.case-cards[data-astro-cid-gfon46h6] article[data-astro-cid-gfon46h6]:first-child{border-left:3px solid #a8ff60}.case-cards[data-astro-cid-gfon46h6] article[data-astro-cid-gfon46h6]:last-child{border-left:3px solid #ff58c8}.case-cards[data-astro-cid-gfon46h6] span[data-astro-cid-gfon46h6]{color:#92bbc9;font:700 .72rem/1.2 var(--font-mono,monospace);letter-spacing:.06em;text-transform:uppercase;display:block}.case-cards[data-astro-cid-gfon46h6] strong[data-astro-cid-gfon46h6]{color:#f4fbff;margin-top:.42rem;line-height:1.3;display:block}.case-cards[data-astro-cid-gfon46h6] p[data-astro-cid-gfon46h6]{color:#bfd3dd;margin:.35rem 0 0;font-size:.86rem}.status[data-astro-cid-gfon46h6]{color:#a8ff60;font:700 .85rem/1.45 var(--font-mono,monospace);border-top:1px solid #00e5ff2e;margin:0;padding:.85rem 1.25rem}figcaption[data-astro-cid-gfon46h6]{color:#b9cbd3;background:#0000002e;padding:1rem 1.25rem 1.2rem;font-size:.86rem;line-height:1.55}figcaption[data-astro-cid-gfon46h6] strong[data-astro-cid-gfon46h6]{color:#eaf9ff}@media (width<=650px){.case-cards[data-astro-cid-gfon46h6]{grid-template-columns:1fr}.proof-map[data-astro-cid-gfon46h6]{overflow-x:auto}svg[data-astro-cid-gfon46h6]{min-width:660px}}@media (prefers-reduced-motion:reduce){.branch[data-astro-cid-gfon46h6],.case-cards[data-astro-cid-gfon46h6] article[data-astro-cid-gfon46h6]{transition:none}}