@font-face{font-family:Berkeley Mono;src:url(/static/fonts/BerkeleyMono-Regular.woff2) format("woff2");font-weight:400;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/static/fonts/IBMPlexSans-Regular.woff2) format("woff2");font-weight:400;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/static/fonts/IBMPlexSans-Medium.woff2) format("woff2");font-weight:500;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/static/fonts/IBMPlexSans-SemiBold.woff2) format("woff2");font-weight:600;font-display:swap}:root{--font-mono: "Berkeley Mono", "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--font-ui: "IBM Plex Sans", "Avenir Next", "Segoe UI", "Helvetica Neue", sans-serif;--font-readout: var(--font-mono);--font-size-body: 15px;--line-height-body: 1.55;--font-size-small: .8125rem;--font-size-micro: .75rem;--panel-padding: 1.3rem;--table-cell-pad-y: .68rem;--table-cell-pad-x: .78rem;--table-head-font-size: .75rem;--control-pad-y: .62rem;--control-pad-x: .72rem;--header-pad-y: 1.1rem;--header-pad-x: 2.4rem;--container-pad-y: 3rem;--container-pad-x: 2.4rem;--container-gap: 3rem;--sticky-header-offset: 4.1rem;--bg: #f6f4ee;--bg-subtle: #ece8db;--bg-panel: #ffffff;--ink: #303742;--bright: #101820;--muted: #5d6775;--dim: #c7c0af;--rule: #c9c2b1;--line: var(--rule);--accent: #0f766e;--accent-dim: rgba(15, 118, 110, .14);--queued: #b45309;--running: #2563eb;--succeeded: #0f766e;--failed: #b91c1c;--neutral: #6b7280;--queued-soft: rgba(180, 83, 9, .16);--succeeded-soft: rgba(15, 118, 110, .16);--muted-soft: rgba(93, 103, 117, .14);--queued-pulse: rgba(180, 83, 9, .24);--focus-ring: #0f766e;--panel-shadow: 0 10px 30px rgba(16, 24, 32, .08);--landing-shadow: 0 10px 30px rgba(16, 24, 32, .12);--landing-workspace-shadow: 0 0 36px rgba(16, 24, 32, .18);--landing-success-flash: rgba(15, 118, 110, .16);--landing-glow: 0 0 8px rgba(15, 118, 110, .28);--font-size-page-title: clamp(2rem, 3vw, 2.8rem);--font-weight-page-title: 700;--font-size-section-heading: .82rem;--font-size-readout-value: 1.2rem;--font-size-table-head: .72rem;--section-gap-major: 3rem;--section-gap-minor: 1.5rem;--section-gap-inline: .75rem;--panel-shadow-hero: 0 1px 3px rgba(0, 0, 0, .05), 0 6px 16px rgba(0, 0, 0, .07);--panel-shadow-section: 0 1px 2px rgba(0, 0, 0, .04), 0 4px 12px rgba(0, 0, 0, .06);--entrance-duration: .4s;--entrance-stagger: 60ms;--bg-grain: url("data:image/svg+xml,%3Csvg viewBox='0 0 256 256' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='0.03'/%3E%3C/svg%3E");--hud-user: #7c3aed;--hud-user-rgb: 124, 58, 237;--hud-user-bg: rgba(124, 58, 237, .2);--hud-ai-border: rgba(37, 99, 235, .55);--hud-claim-border: rgba(180, 83, 9, .52);--hud-claim-path: rgba(180, 83, 9, .42);--hud-claim-path-strong: rgba(180, 83, 9, .92);--hud-ledger-border: rgba(15, 118, 110, .52);--ops-viz-cell-bg: rgba(16, 24, 32, .16);--ops-viz-cell-stroke: rgba(16, 24, 32, .22);--ops-viz-node-ok-rgb: 15, 118, 110;--ops-viz-node-err-fill: rgba(185, 28, 28, .68);--ops-viz-node-err-stroke: rgba(185, 28, 28, .52);--blocker-tone-dependency: var(--failed);--blocker-tone-track: var(--queued);--blocker-tone-policy: var(--running);--blocker-tone-toolchain: var(--neutral);--blocker-tone-clear: var(--succeeded);--card-pad: .65rem .85rem;--card-pad-compact: .45rem .65rem;--stat-value-size: 1.15rem;--tab-indicator-width: 2px;--tab-indicator-color: var(--accent)}:root[data-density=ultra-dense]{--font-size-body: 14px;--line-height-body: 1.5;--font-size-small: .8125rem;--font-size-micro: .75rem;--panel-padding: 1rem;--table-cell-pad-y: .48rem;--table-cell-pad-x: .58rem;--table-head-font-size: .7rem;--control-pad-y: .48rem;--control-pad-x: .62rem;--header-pad-y: .9rem;--header-pad-x: 2rem;--container-pad-y: 2.3rem;--container-pad-x: 2rem;--container-gap: 2.2rem;--sticky-header-offset: 3.5rem;--section-gap-major: 2.2rem;--section-gap-minor: 1.1rem;--section-gap-inline: .55rem;--card-pad: .5rem .65rem;--card-pad-compact: .35rem .5rem;--stat-value-size: 1rem}:root[data-density=compact]{--font-size-body: 15px;--line-height-body: 1.55;--font-size-small: .8125rem;--font-size-micro: .75rem;--panel-padding: 1.3rem;--table-cell-pad-y: .68rem;--table-cell-pad-x: .78rem;--table-head-font-size: .75rem;--control-pad-y: .62rem;--control-pad-x: .72rem;--header-pad-y: 1.1rem;--header-pad-x: 2.4rem;--container-pad-y: 3rem;--container-pad-x: 2.4rem;--container-gap: 3rem;--sticky-header-offset: 4.1rem;--section-gap-major: 3rem;--section-gap-minor: 1.5rem;--section-gap-inline: .75rem;--card-pad: .65rem .85rem;--card-pad-compact: .45rem .65rem;--stat-value-size: 1.15rem}:root[data-density=balanced]{--font-size-body: 16px;--line-height-body: 1.6;--font-size-small: .875rem;--font-size-micro: .8125rem;--panel-padding: 1.55rem;--table-cell-pad-y: .78rem;--table-cell-pad-x: .88rem;--table-head-font-size: .79rem;--control-pad-y: .7rem;--control-pad-x: .8rem;--header-pad-y: 1.2rem;--header-pad-x: 2.6rem;--container-pad-y: 3.2rem;--container-pad-x: 2.6rem;--container-gap: 3.2rem;--sticky-header-offset: 4.35rem;--section-gap-major: 3.2rem;--section-gap-minor: 1.65rem;--section-gap-inline: .85rem;--card-pad: .75rem .95rem;--card-pad-compact: .55rem .75rem;--stat-value-size: 1.25rem}:root[data-theme=academic-light]{--bg: #f6f4ee;--bg-subtle: #ece8db;--bg-panel: #ffffff;--ink: #303742;--bright: #101820;--muted: #5d6775;--dim: #c7c0af;--rule: #c9c2b1;--line: var(--rule);--accent: #0f766e;--accent-dim: rgba(15, 118, 110, .14);--queued: #b45309;--running: #2563eb;--succeeded: #0d7c6b;--failed: #a51d1d;--neutral: #6b7280;--queued-soft: rgba(180, 83, 9, .16);--succeeded-soft: rgba(15, 118, 110, .16);--muted-soft: rgba(93, 103, 117, .14);--queued-pulse: rgba(180, 83, 9, .24);--focus-ring: #0f766e;--panel-shadow: var(--panel-shadow-section);--landing-shadow: 0 10px 30px rgba(16, 24, 32, .12);--landing-workspace-shadow: 0 0 36px rgba(16, 24, 32, .18);--landing-success-flash: rgba(15, 118, 110, .16);--landing-glow: 0 0 8px rgba(15, 118, 110, .28);--hud-user: #7c3aed;--hud-user-rgb: 124, 58, 237;--hud-user-bg: rgba(124, 58, 237, .2);--hud-ai-border: rgba(37, 99, 235, .55);--hud-claim-border: rgba(180, 83, 9, .52);--hud-claim-path: rgba(180, 83, 9, .42);--hud-claim-path-strong: rgba(180, 83, 9, .92);--hud-ledger-border: rgba(15, 118, 110, .52);--ops-viz-cell-bg: rgba(16, 24, 32, .16);--ops-viz-cell-stroke: rgba(16, 24, 32, .22);--ops-viz-node-ok-rgb: 15, 118, 110;--ops-viz-node-err-fill: rgba(185, 28, 28, .68);--ops-viz-node-err-stroke: rgba(185, 28, 28, .52);--card-gradient-from: rgba(255, 255, 255, .35);--card-gradient-tone-failed: rgba(165, 29, 29, .1);--card-gradient-tone-queued: rgba(180, 83, 9, .1);--card-gradient-tone-succeeded: rgba(13, 124, 107, .1)}:root[data-theme=og-dark]{--bg: #000000;--bg-subtle: #0c0c0c;--bg-panel: #050505;--ink: #a0a0a0;--bright: #ffffff;--muted: #737373;--dim: #262626;--rule: #2a2a2a;--line: var(--rule);--accent: #10b981;--accent-dim: rgba(16, 185, 129, .15);--queued: #f59e0b;--running: #3b82f6;--succeeded: #10b981;--failed: #ef4444;--neutral: #525252;--queued-soft: rgba(245, 158, 11, .18);--succeeded-soft: rgba(16, 185, 129, .18);--muted-soft: rgba(115, 115, 115, .18);--queued-pulse: rgba(245, 158, 11, .24);--focus-ring: #10b981;--panel-shadow: 0 1px 2px rgba(0, 0, 0, .3), 0 6px 16px rgba(0, 0, 0, .5);--landing-shadow: 0 10px 30px rgba(0, 0, 0, .8);--landing-workspace-shadow: 0 0 50px rgba(0, 0, 0, 1);--landing-success-flash: rgba(16, 185, 129, .15);--landing-glow: 0 0 8px rgba(16, 185, 129, .4);--hud-user: #c084fc;--hud-user-rgb: 168, 85, 247;--hud-user-bg: rgba(168, 85, 247, .2);--hud-ai-border: rgba(59, 130, 246, .5);--hud-claim-border: rgba(245, 158, 11, .55);--hud-claim-path: rgba(245, 158, 11, .45);--hud-claim-path-strong: rgba(245, 158, 11, 1);--hud-ledger-border: rgba(16, 185, 129, .5);--ops-viz-cell-bg: rgba(20, 20, 20, .8);--ops-viz-cell-stroke: rgba(255, 255, 255, .1);--ops-viz-node-ok-rgb: 16, 185, 129;--ops-viz-node-err-fill: rgba(239, 68, 68, .6);--ops-viz-node-err-stroke: rgba(239, 68, 68, .5);--card-gradient-from: rgba(255, 255, 255, .03);--card-gradient-tone-failed: rgba(239, 68, 68, .12);--card-gradient-tone-queued: rgba(245, 158, 11, .12);--card-gradient-tone-succeeded: rgba(16, 185, 129, .12)}:root[data-theme=slate-dark]{--bg: #0d1117;--bg-subtle: #161b22;--bg-panel: #0f141b;--ink: #b4bfcb;--bright: #ecf2f8;--muted: #8b98a8;--dim: #293141;--rule: #2f3a4b;--line: var(--rule);--accent: #34d399;--accent-dim: rgba(52, 211, 153, .16);--queued: #fbbf24;--running: #60a5fa;--succeeded: #34d399;--failed: #f87171;--neutral: #64748b;--queued-soft: rgba(251, 191, 36, .17);--succeeded-soft: rgba(52, 211, 153, .17);--muted-soft: rgba(139, 152, 168, .18);--queued-pulse: rgba(251, 191, 36, .24);--focus-ring: #60a5fa;--panel-shadow: 0 1px 2px rgba(0, 0, 0, .2), 0 6px 16px rgba(0, 0, 0, .35);--landing-shadow: 0 10px 30px rgba(0, 0, 0, .5);--landing-workspace-shadow: 0 0 36px rgba(0, 0, 0, .62);--landing-success-flash: rgba(52, 211, 153, .14);--landing-glow: 0 0 8px rgba(52, 211, 153, .35);--hud-user: #c4b5fd;--hud-user-rgb: 167, 139, 250;--hud-user-bg: rgba(167, 139, 250, .2);--hud-ai-border: rgba(96, 165, 250, .5);--hud-claim-border: rgba(251, 191, 36, .5);--hud-claim-path: rgba(251, 191, 36, .44);--hud-claim-path-strong: rgba(251, 191, 36, .95);--hud-ledger-border: rgba(52, 211, 153, .5);--ops-viz-cell-bg: rgba(21, 27, 34, .84);--ops-viz-cell-stroke: rgba(236, 242, 248, .12);--ops-viz-node-ok-rgb: 52, 211, 153;--ops-viz-node-err-fill: rgba(248, 113, 113, .62);--ops-viz-node-err-stroke: rgba(248, 113, 113, .54);--card-gradient-from: rgba(255, 255, 255, .025);--card-gradient-tone-failed: rgba(248, 113, 113, .14);--card-gradient-tone-queued: rgba(251, 191, 36, .14);--card-gradient-tone-succeeded: rgba(52, 211, 153, .14)}:root[data-theme=high-contrast]{--bg: #000000;--bg-subtle: #111111;--bg-panel: #000000;--ink: #f1f1f1;--bright: #ffffff;--muted: #d4d4d4;--dim: #454545;--rule: #ffffff;--line: var(--rule);--accent: #00ffff;--accent-dim: rgba(0, 255, 255, .22);--queued: #ffd700;--running: #66b2ff;--succeeded: #00ff99;--failed: #ff7070;--neutral: #d4d4d4;--queued-soft: rgba(255, 215, 0, .28);--succeeded-soft: rgba(0, 255, 153, .28);--muted-soft: rgba(212, 212, 212, .24);--queued-pulse: rgba(255, 215, 0, .35);--focus-ring: #ffffff;--panel-shadow: none;--landing-shadow: none;--landing-workspace-shadow: none;--landing-success-flash: rgba(0, 255, 153, .22);--landing-glow: none;--hud-user: #ff99ff;--hud-user-rgb: 255, 153, 255;--hud-user-bg: rgba(255, 153, 255, .2);--hud-ai-border: rgba(102, 178, 255, .8);--hud-claim-border: rgba(255, 215, 0, .8);--hud-claim-path: rgba(255, 215, 0, .7);--hud-claim-path-strong: rgba(255, 255, 255, .92);--hud-ledger-border: rgba(0, 255, 153, .75);--ops-viz-cell-bg: rgba(255, 255, 255, .12);--ops-viz-cell-stroke: rgba(255, 255, 255, .65);--ops-viz-node-ok-rgb: 0, 255, 153;--ops-viz-node-err-fill: rgba(255, 112, 112, .82);--ops-viz-node-err-stroke: rgba(255, 255, 255, .8);--card-gradient-from: transparent;--card-gradient-tone-failed: rgba(255, 112, 112, .2);--card-gradient-tone-queued: rgba(255, 215, 0, .2);--card-gradient-tone-succeeded: rgba(0, 255, 153, .2)}:root[data-theme=og-dark] .site-header,:root[data-theme=slate-dark] .site-header{box-shadow:0 1px 6px #0006}:root[data-theme=og-dark] .panel-hero,:root[data-theme=slate-dark] .panel-hero{background:linear-gradient(180deg,color-mix(in srgb,var(--accent) 4%,var(--bg-panel)),var(--bg-subtle));border-color:var(--rule)}:root[data-theme=og-dark] .search-trigger,:root[data-theme=og-dark] .user-menu-trigger,:root[data-theme=slate-dark] .search-trigger,:root[data-theme=slate-dark] .user-menu-trigger{background:color-mix(in srgb,var(--bright) 6%,var(--bg))}:root[data-theme=og-dark] .error-banner,:root[data-theme=slate-dark] .error-banner{background:color-mix(in srgb,var(--failed) 10%,var(--bg-panel))}:root[data-theme=og-dark] .btn-primary,:root[data-theme=slate-dark] .btn-primary{box-shadow:0 2px 10px #0006}:root[data-theme=og-dark] .empty-state,:root[data-theme=slate-dark] .empty-state{border-color:color-mix(in srgb,var(--rule) 50%,transparent)}:root[data-theme=high-contrast] .site-header{box-shadow:none}*,*:before,*:after{box-sizing:border-box}html{scrollbar-gutter:stable}body{margin:0;color:var(--ink);font-family:var(--font-ui);font-size:var(--font-size-body);line-height:var(--line-height-body);background:var(--bg);-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;overflow-x:hidden}:root[data-theme=academic-light] body{background-image:var(--bg-grain);background-size:256px 256px}a{color:var(--bright);text-decoration:none;transition:color .12s ease}a:hover{color:var(--accent)}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible{outline:2px solid var(--focus-ring);outline-offset:2px}@keyframes entrance-fade-up{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}.entrance-stagger>*{animation:entrance-fade-up var(--entrance-duration) ease-out both}.entrance-stagger>:nth-child(1){animation-delay:0ms}.entrance-stagger>:nth-child(2){animation-delay:var(--entrance-stagger)}.entrance-stagger>:nth-child(3){animation-delay:calc(var(--entrance-stagger) * 2)}.entrance-stagger>:nth-child(4){animation-delay:calc(var(--entrance-stagger) * 3)}.entrance-stagger>:nth-child(5){animation-delay:calc(var(--entrance-stagger) * 4)}.entrance-stagger>:nth-child(6){animation-delay:calc(var(--entrance-stagger) * 5)}.entrance-stagger>:nth-child(7){animation-delay:calc(var(--entrance-stagger) * 6)}.entrance-stagger>:nth-child(8){animation-delay:calc(var(--entrance-stagger) * 7)}.entrance-stagger>:nth-child(9){animation-delay:calc(var(--entrance-stagger) * 8)}.entrance-stagger>:nth-child(10){animation-delay:calc(var(--entrance-stagger) * 9)}@media (prefers-reduced-motion: reduce){.entrance-stagger>*{animation:none}}.data-row{display:flex;align-items:baseline;justify-content:space-between;gap:.5rem;padding:.5rem 0;border-bottom:1px solid color-mix(in srgb,var(--rule) 40%,transparent)}.data-row:last-child{border-bottom:none}.data-row-primary{display:flex;flex-direction:column;gap:.1rem;min-width:0}.data-row-primary-title{color:var(--bright);font-size:var(--font-size-small);font-weight:500}.data-row-primary-title a{color:inherit;text-decoration:none}.data-row-primary-title a:hover{color:var(--accent)}.data-row-primary-sub{color:var(--muted);font-size:var(--font-size-micro)}.data-row-secondary{display:flex;gap:.5rem;align-items:center;flex-shrink:0}.section-flat{display:grid;gap:.75rem}.section-flat-heading{margin:0;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);font-variant:small-caps;letter-spacing:.08em;text-transform:uppercase}.ledger-readouts{display:grid;grid-template-columns:1fr;gap:0;margin:0}.ledger-readout-label{color:var(--muted);font-size:.6875rem;font-family:var(--font-readout);letter-spacing:.09em;text-transform:uppercase;margin:0;padding-top:.75rem;line-height:1.2}.ledger-readout-label:first-of-type{padding-top:0}.ledger-readout-value{color:var(--bright);font-family:var(--font-readout);font-weight:600;font-size:1.0625rem;line-height:1.3;margin:.2rem 0 0;padding-bottom:.75rem;border-bottom:1px solid color-mix(in srgb,var(--rule) 45%,transparent)}.ledger-readout-value:last-of-type{border-bottom:none;padding-bottom:0}.ledger-readout-value .time-cell{display:inline-block;font-size:.8125rem;font-weight:500;color:var(--muted);margin-left:.25rem}.ledger-readout-value[data-tone=alert],.ledger-readout-value[data-tone=failed]{color:var(--failed)}.ledger-readout-value[data-tone=ok],.ledger-readout-value[data-tone=succeeded]{color:var(--succeeded)}.ledger-readout-value[data-tone=warn],.ledger-readout-value[data-tone=queued],.ledger-readout-value[data-tone=blocked]{color:var(--queued)}.ledger-readout-value[data-tone=info],.ledger-readout-value[data-tone=running]{color:var(--running)}.section-rail{position:sticky;top:1rem;display:flex;flex-direction:column;gap:0;border-right:1px solid var(--rule);padding-right:0}.section-rail-item{position:relative;display:flex;flex-direction:column;gap:.15rem;padding:.6rem .95rem;color:var(--muted);text-decoration:none;border-right:var(--tab-indicator-width) solid transparent;margin-right:-1px;transition:color .1s ease,border-color .1s ease}.section-rail-item:hover{color:var(--bright)}.section-rail-item.is-active{color:var(--bright);border-right-color:var(--tab-indicator-color)}.section-rail-label{font-family:var(--font-ui);font-size:.9375rem;font-weight:500;letter-spacing:0;color:inherit}.section-rail-item.is-active .section-rail-label{font-weight:600}.section-rail-state{font-family:var(--font-readout);font-size:.75rem;letter-spacing:.02em;color:var(--muted)}.section-rail-item[data-tone=alert] .section-rail-state{color:var(--failed)}.section-rail-item[data-tone=ok] .section-rail-state{color:var(--succeeded)}.section-rail-item[data-tone=warn] .section-rail-state{color:var(--queued)}@media (max-width: 1080px){.section-rail{position:static;flex-direction:row;flex-wrap:nowrap;overflow-x:auto;border-right:none;border-bottom:1px solid var(--rule)}.section-rail-item{flex:0 0 auto;flex-direction:row;align-items:baseline;gap:.4rem;white-space:nowrap;border-right:none;border-bottom:var(--tab-indicator-width) solid transparent;margin-right:0;margin-bottom:-1px}.section-rail-item.is-active{border-bottom-color:var(--tab-indicator-color)}}.site-header{display:flex;align-items:center;justify-content:space-between;gap:1.2rem;padding:.75rem var(--header-pad-x);background:color-mix(in srgb,var(--bg) 92%,transparent);backdrop-filter:blur(8px);-webkit-backdrop-filter:blur(8px);border-bottom:1px solid var(--rule);box-shadow:0 1px 4px #0000000f;position:sticky;top:0;z-index:1000}.header-left{display:flex;align-items:center;gap:2rem}.header-right{display:flex;align-items:center;gap:.75rem}.brand{font-family:var(--font-mono);font-weight:400;font-size:.92rem;color:var(--bright);letter-spacing:.14em;text-transform:uppercase;text-decoration:none;white-space:nowrap}.brand-beta{font-size:.52rem;letter-spacing:.08em;color:var(--muted);vertical-align:super;margin-left:.15rem}.site-nav{display:flex;align-items:center;gap:.15rem}.site-nav-link{position:relative;padding:.4rem .75rem;color:var(--muted);font-size:.85rem;font-family:var(--font-ui);font-weight:500;text-decoration:none;white-space:nowrap;transition:color .1s ease}.site-nav-link:hover,.site-nav-link.is-active{color:var(--bright)}.site-nav-link.is-active:after{content:"";position:absolute;bottom:-.75rem;left:.65rem;right:.65rem;height:2px;background:var(--accent)}.search-trigger{display:inline-flex;align-items:center;justify-content:center;width:2rem;height:2rem;border:1px solid var(--rule);background:var(--bg-subtle);cursor:pointer;padding:0}.search-trigger-hint{font-family:var(--font-mono);font-size:.72rem;color:var(--muted)}.search-trigger:hover{border-color:var(--bright)}.search-trigger:hover .search-trigger-hint{color:var(--bright)}.search-overlay{display:none;position:fixed;inset:0;background:#0000006b;z-index:2000;justify-content:center;padding-top:12vh}.search-overlay.is-open{display:flex}.search-palette{width:min(32rem,92vw);max-height:70vh;border:1px solid var(--rule);background:var(--bg-panel);box-shadow:var(--panel-shadow-hero);display:flex;flex-direction:column;align-self:flex-start}.search-palette-input{width:100%;padding:.85rem 1rem;border:none;border-bottom:1px solid var(--rule);background:transparent;color:var(--bright);font-family:var(--font-ui);font-size:.95rem;outline:none}.search-palette-results{overflow-y:auto;max-height:calc(70vh - 3.5rem)}.user-actions{position:relative}.user-menu-trigger{padding:.3rem .6rem;background:var(--bg-subtle);border:1px solid var(--rule);color:var(--muted);font-family:var(--font-mono);font-size:.76rem;cursor:pointer;transition:all .1s ease}.user-menu-trigger:hover,.user-menu-trigger.is-open{color:var(--bright);border-color:var(--bright)}.user-menu-popover{display:none;position:absolute;top:calc(100% + .35rem);right:0;width:min(20rem,92vw);border:1px solid var(--rule);background:var(--bg-panel);box-shadow:var(--panel-shadow-hero);padding:.35rem;z-index:1200}.user-menu-popover.is-open{display:grid;gap:.25rem}.user-menu-identity{display:grid;gap:.1rem;padding:.55rem .6rem .6rem;border-bottom:1px solid var(--rule);margin-bottom:.15rem}.user-menu-identity-label{font-family:var(--font-mono);font-size:.62rem;font-variant:small-caps;letter-spacing:.1em;color:var(--muted)}.user-menu-identity-login{color:var(--bright);font-size:.92rem;font-family:var(--font-mono);line-height:1.15}.user-menu-identity-meta{font-size:.72rem;color:var(--muted)}.user-menu-section{display:grid;gap:.05rem}.user-menu-section-footer{border-top:1px solid var(--rule);padding-top:.2rem;margin-top:.1rem}.user-menu-label{padding:.2rem .5rem .25rem;font-family:var(--font-mono);font-size:.65rem;font-variant:small-caps;letter-spacing:.1em;color:var(--muted)}.user-menu-item{display:flex;align-items:center;justify-content:space-between;gap:.5rem;padding:.45rem .55rem;font-size:.8rem;color:var(--bright);text-decoration:none;border:1px solid transparent;border-radius:2px}.user-menu-item:hover{color:var(--accent);background:var(--bg-subtle);border-color:var(--rule)}.user-menu-item-arrow{font-size:.7rem;color:var(--muted)}.user-menu-item-danger,.user-menu-item-danger:hover{color:var(--failed)}.public-shell-header{position:static;background:linear-gradient(180deg,var(--card-gradient-from),transparent),color-mix(in srgb,var(--bg-subtle) 88%,var(--bg));backdrop-filter:none}.shortcut-help{border:1px solid var(--rule);background:var(--bg-panel);color:var(--ink);box-shadow:var(--panel-shadow);max-width:min(28rem,94vw);padding:1rem 1.1rem}dialog.shortcut-help:not([open]){display:none}.shortcut-help::backdrop{background:#0000006b}.shortcut-help h2{margin:0 0 .6rem;color:var(--bright);font-size:1rem}.shortcut-help ul{margin:0 0 .85rem;padding-left:1.2rem;display:grid;gap:.35rem}.anchor-nav{display:flex;flex-wrap:wrap;gap:.45rem;padding-bottom:.95rem;border-bottom:1px solid color-mix(in srgb,var(--rule) 88%,transparent)}.anchor-nav-link{display:inline-flex;align-items:center;padding:.26rem .62rem;border:1px solid color-mix(in srgb,var(--rule) 92%,transparent);color:var(--muted);background:color-mix(in srgb,var(--bg-panel) 82%,transparent);font-size:var(--font-size-micro);font-family:var(--font-readout);font-weight:500}.anchor-nav-link:hover{color:var(--bright);border-color:color-mix(in srgb,var(--bright) 36%,var(--rule));text-decoration:none}.anchor-nav-link.is-active{color:var(--bright);border-color:color-mix(in srgb,var(--bright) 42%,var(--rule));background:color-mix(in srgb,var(--accent) 10%,var(--bg-panel))}.section-shell,.dossier-card{--section-tone: var(--accent)}.section-shell[data-tone=blocked],.dossier-card[data-tone=blocked]{--section-tone: var(--failed)}.section-shell[data-tone=running],.dossier-card[data-tone=running],.section-shell[data-tone=workspace],.dossier-card[data-tone=workspace]{--section-tone: var(--running)}.section-shell[data-tone=failed],.dossier-card[data-tone=failed]{--section-tone: var(--failed)}.section-shell[data-tone=succeeded],.dossier-card[data-tone=succeeded],.section-shell[data-tone=proved],.dossier-card[data-tone=proved]{--section-tone: var(--succeeded)}.section-shell[data-tone=queued],.dossier-card[data-tone=queued]{--section-tone: var(--queued)}.section-shell[data-tone=match],.dossier-card[data-tone=match]{--section-tone: var(--succeeded)}.section-shell[data-tone=mismatch],.dossier-card[data-tone=mismatch]{--section-tone: var(--failed)}.section-shell[data-tone=open],.dossier-card[data-tone=open],.section-shell[data-tone=stated],.dossier-card[data-tone=stated]{--section-tone: var(--accent)}.section-shell{position:relative;display:grid;gap:1rem;overflow:hidden;scroll-margin-top:calc(var(--sticky-header-offset) + 1rem)}.section-shell>*{min-width:0}.section-masthead{display:flex;justify-content:space-between;align-items:flex-start;gap:1rem;flex-wrap:wrap}.section-masthead-copy{display:grid;gap:.42rem;max-width:72ch}.section-kicker,.dossier-kicker{margin:0;color:color-mix(in srgb,var(--section-tone) 62%,var(--muted));font-size:var(--font-size-micro);font-family:var(--font-mono);font-variant:small-caps;letter-spacing:.1em;text-transform:uppercase}.section-kicker:before{content:"— ";color:color-mix(in srgb,var(--section-tone) 42%,var(--muted))}.section-summary,.dossier-copy{margin:0;color:var(--ink);font-size:var(--font-size-small);line-height:1.58}.dossier-card{border:1px solid var(--rule);background:var(--bg-panel);padding:var(--card-pad);display:grid;gap:.5rem;min-width:0}.dossier-card>h3,.dossier-card>strong{margin:0}.dossier-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.75rem}.dossier-value{color:var(--bright);font-size:var(--font-size-readout-value);font-family:var(--font-mono);font-weight:600;line-height:1.42}.compact-evidence-list{list-style:none;margin:0;padding:0;display:grid;gap:.75rem}main{min-height:calc(100vh - 80px)}.container{max-width:1400px;margin:0 auto;padding:var(--container-pad-y) var(--container-pad-x);display:grid;gap:var(--section-gap-major)}.two-col{display:grid;grid-template-columns:1fr 1fr;gap:3rem}.split-banner{display:grid;grid-template-columns:1fr 1fr;gap:1rem}.split-card{border:1px solid var(--rule);background:var(--bg-subtle);padding:1rem 1.1rem}.split-card-edu{border-color:var(--succeeded)}.split-card-ops{border-color:var(--running)}.split-label{font-size:.72rem;letter-spacing:.03em;color:var(--muted);margin-bottom:.5rem;font-family:var(--font-readout)}.split-title{font-size:.88rem;color:var(--ink)}.split-link{margin-top:.75rem;font-size:.8rem}.splash-dark{background:var(--bg)}.splash-inner{max-width:1400px;margin:0 auto;padding:6.4rem 2.4rem 8rem}.splash-grid{display:grid;grid-template-columns:1fr 1fr;gap:4rem;align-items:flex-start}.splash-left h1{font-size:clamp(2rem,3vw,2.85rem);font-weight:600;color:var(--bright);line-height:1.12;letter-spacing:-.03em;margin:0 0 2rem}.splash-left p{font-size:1rem;line-height:1.7;color:var(--ink);margin-bottom:1.5rem;max-width:58ch}.splash-cta{display:inline-flex;align-items:center;padding:.62rem 1.1rem;border:1px solid var(--bright);color:var(--bright);font-weight:600;font-size:.82rem;letter-spacing:.02em;font-family:var(--font-readout);transition:all .16s ease}.splash-cta:hover{background:var(--bright);color:var(--bg);text-decoration:none;box-shadow:0 0 16px color-mix(in srgb,var(--accent) 28%,transparent)}.splash-right{position:relative;min-height:620px}.viz-container{width:100%;height:100%;border:1px dashed var(--muted);position:relative}.splash-ornament{color:var(--muted);font-size:.76rem;margin-bottom:2rem;font-family:var(--font-readout)}.panel-hero{background:linear-gradient(180deg,var(--bg-panel),color-mix(in srgb,var(--bg-subtle) 60%,var(--bg-panel)));border:1px solid var(--rule);border-top:2px solid var(--accent);padding:calc(var(--panel-padding) * 1.4) calc(var(--panel-padding) * 1.2);padding-top:calc(var(--panel-padding) * 1.5);box-shadow:var(--panel-shadow-hero);transition:box-shadow .15s ease}.panel-hero h1{margin:0;font-size:var(--font-size-page-title);font-weight:var(--font-weight-page-title);color:var(--bright);letter-spacing:-.03em;line-height:1.15}.card h2{font-size:.95rem;line-height:1.25;font-weight:600;color:var(--bright);margin:0 0 .5rem;display:flex;align-items:center;letter-spacing:-.005em;font-family:var(--font-ui)}.hero{padding-bottom:1.4rem;border-bottom:1px dashed var(--rule)}.hero h1{font-size:var(--font-size-page-title);font-weight:var(--font-weight-page-title);color:var(--bright);margin:0;letter-spacing:-.03em;line-height:1.15}.hero p{color:var(--muted);margin-top:.8rem;max-width:72ch;font-size:var(--font-size-small)}.chip-row{display:flex;flex-wrap:wrap;gap:.7rem;margin-top:1.2rem}.chip{font-size:var(--font-size-micro);padding:.25rem .7rem;border:1px solid var(--rule);color:var(--muted);font-family:var(--font-readout)}table{width:100%;border-collapse:collapse}th{text-align:left;padding:var(--table-cell-pad-y) var(--table-cell-pad-x);color:var(--muted);font-size:var(--font-size-table-head);font-weight:600;border-bottom:2px solid var(--rule);font-family:var(--font-mono);font-variant:small-caps;letter-spacing:.08em}td{padding:var(--table-cell-pad-y) var(--table-cell-pad-x);border-bottom:1px solid color-mix(in srgb,var(--rule) 60%,transparent);font-size:var(--font-size-small)}tbody tr{transition:background-color .08s ease}tbody tr:hover{background:var(--bg-subtle)}tbody tr:last-child td{border-bottom:none}.badge{--badge-tone: var(--neutral);display:inline-flex;align-items:center;font-size:var(--font-size-micro);font-weight:600;padding:.16rem .5rem;border:1px solid color-mix(in srgb,var(--badge-tone) 42%,var(--rule));color:var(--badge-tone);background:color-mix(in srgb,var(--badge-tone) 12%,transparent);box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--badge-tone) 8%,transparent);font-family:var(--font-mono);letter-spacing:.01em;white-space:nowrap;transition:transform .1s ease}.badge:hover{transform:scale(1.02)}.status-badge{--status-tone: var(--neutral);display:inline-flex;align-items:center;gap:.4rem;font-size:var(--font-size-micro);font-weight:600;padding:.16rem .5rem;border:1px solid color-mix(in srgb,var(--status-tone) 42%,var(--rule));color:var(--status-tone);background:color-mix(in srgb,var(--status-tone) 12%,transparent);box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--status-tone) 8%,transparent);font-family:var(--font-mono);letter-spacing:.01em;white-space:nowrap;transition:transform .1s ease}.status-badge:hover{transform:scale(1.02)}.status-badge.status-proved{--status-tone: var(--succeeded)}.status-badge.status-proof_ready{--status-tone: var(--running)}.status-badge.status-blocked{--status-tone: var(--queued)}.status-badge.status-open{--status-tone: var(--neutral)}.status-badge-label{font-weight:600}.status-badge-modifier{font-weight:500;opacity:.85;padding-left:.4rem;border-left:1px solid color-mix(in srgb,var(--status-tone) 30%,transparent)}.status-badge-tag{font-weight:500;font-size:calc(var(--font-size-micro) * .95);padding:.04rem .36rem;border-radius:999px;background:color-mix(in srgb,var(--succeeded) 22%,transparent);color:var(--succeeded);border:1px solid color-mix(in srgb,var(--succeeded) 45%,transparent)}.actor-chip{display:inline-flex;align-items:center;gap:.28rem;padding:.08rem .38rem;border:1px solid var(--rule);font-size:var(--font-size-micro);font-family:var(--font-readout);color:var(--muted);white-space:nowrap}.actor-chip.agent{color:var(--running);border-color:color-mix(in srgb,var(--running) 45%,var(--rule));background:color-mix(in srgb,var(--running) 10%,transparent)}.actor-chip.human{color:var(--muted)}.actor-chip.unknown{color:var(--neutral)}.human-gate-chip{display:inline-flex;align-items:center;padding:.08rem .38rem;border:1px solid var(--queued);color:var(--queued);font-size:var(--font-size-micro);font-family:var(--font-readout);white-space:nowrap}.readout{flex:1;min-width:140px;display:flex;flex-direction:column;padding:1rem;border:1px solid var(--rule)}.readout-label{font-size:var(--font-size-micro);color:var(--muted);margin-bottom:.42rem;font-family:var(--font-readout)}.readout-value{font-size:var(--font-size-readout-value);color:var(--bright);font-family:var(--font-mono)}.progress-bar{display:flex;height:4px;background:var(--dim);margin:2rem 0}.progress-seg.proved{background:var(--bright)}.progress-seg.stated{background:var(--muted)}.progress-seg.blocked{background:var(--failed)}.progress-seg.open{background:var(--dim)}input[type=text],input[type=password],input[type=number],input[type=email],input[type=url],input[type=search],input[type=tel],input[type=date],input[type=datetime-local],select,textarea{background:color-mix(in srgb,var(--bg-panel) 92%,var(--bg-subtle));border:1px solid var(--rule);padding:var(--control-pad-y) var(--control-pad-x);color:var(--bright);font-family:var(--font-readout);font-size:var(--font-size-small);line-height:1.4;min-height:2.4rem;appearance:none;-webkit-appearance:none;transition:border-color .12s ease,box-shadow .12s ease,background .12s ease}textarea{min-height:5.5rem;line-height:1.55;resize:vertical}input::placeholder,textarea::placeholder{color:color-mix(in srgb,var(--muted) 70%,transparent)}input:hover:not(:disabled),select:hover:not(:disabled),textarea:hover:not(:disabled){border-color:color-mix(in srgb,var(--bright) 28%,var(--rule))}input:focus,select:focus,textarea:focus{outline:none;border-color:var(--accent);background:var(--bg-panel);box-shadow:0 0 0 3px color-mix(in srgb,var(--accent) 18%,transparent)}input:disabled,select:disabled,textarea:disabled{opacity:.5;cursor:not-allowed}select{padding-right:2rem;background-image:url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='10' height='6' viewBox='0 0 10 6'><path fill='none' stroke='%23808890' stroke-width='1.4' stroke-linecap='round' stroke-linejoin='round' d='M1 1 5 5 9 1'/></svg>");background-repeat:no-repeat;background-position:right .75rem center;cursor:pointer}select:focus{background-image:url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='10' height='6' viewBox='0 0 10 6'><path fill='none' stroke='%23ffffff' stroke-width='1.4' stroke-linecap='round' stroke-linejoin='round' d='M1 1 5 5 9 1'/></svg>")}input[type=number]{-moz-appearance:textfield}input[type=number]::-webkit-outer-spin-button,input[type=number]::-webkit-inner-spin-button{-webkit-appearance:none;appearance:none;margin:0}form label:has(>input:not([type=checkbox]):not([type=radio]):not([type=file])),form label:has(>select),form label:has(>textarea){display:grid;gap:.35rem;color:var(--muted);font-family:var(--font-readout);font-size:.6875rem;letter-spacing:.09em;text-transform:uppercase;line-height:1.2}form label:has(>input:not([type=checkbox]):not([type=radio]):not([type=file]))>input,form label:has(>select)>select,form label:has(>textarea)>textarea{color:var(--bright);letter-spacing:normal;text-transform:none;font-size:var(--font-size-small)}form>label:not(:has(input)):not(:has(select)):not(:has(textarea)),form>.form-field-label{color:var(--muted);font-family:var(--font-readout);font-size:.6875rem;letter-spacing:.09em;text-transform:uppercase;line-height:1.2;margin-bottom:-.35rem}button{display:inline-flex;align-items:center;justify-content:center;gap:.35rem;padding:var(--control-pad-y) calc(var(--control-pad-x) + .2rem);background:var(--bg-panel);border:1px solid color-mix(in srgb,var(--bright) 28%,var(--rule));color:var(--bright);font-family:var(--font-mono);font-size:var(--font-size-micro);font-weight:600;line-height:1.2;text-decoration:none;cursor:pointer;transition:all .12s ease}button:hover{background:var(--bright);border-color:var(--bright);color:var(--bg-panel);transform:translateY(-1px);box-shadow:0 2px 6px #0000001f}button:disabled,button:disabled:hover{opacity:.46;cursor:not-allowed;background:color-mix(in srgb,var(--bg-panel) 78%,var(--bg-subtle));border-color:var(--rule);color:var(--muted);transform:none;box-shadow:none}code,pre,.source-block{font-family:var(--font-readout)}code{background:var(--dim);padding:.1rem .3rem;border-radius:2px}pre{background:var(--bg-subtle);padding:1rem;border:1px solid var(--rule);font-size:.84rem;line-height:1.58}.search-section{display:grid}.search-section+.search-section{border-top:1px solid var(--rule)}.search-section-title{padding:.55rem .8rem .25rem;color:var(--muted);font-family:var(--font-readout);font-size:.68rem;letter-spacing:.08em;text-transform:uppercase}.search-item{display:grid;gap:.22rem;padding:.65rem .8rem;border-bottom:1px solid var(--rule)}.search-item-title-row{display:flex;align-items:center;justify-content:space-between;gap:.6rem}.search-item-title{color:var(--bright);font-weight:600}.search-item-badge{display:inline-flex;align-items:center;border:1px solid var(--rule);padding:.12rem .38rem;font-family:var(--font-readout);font-size:.64rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);white-space:nowrap}.search-item-badge.route,.search-item-badge.project,.search-item-badge.job,.search-item-badge.theorem{color:var(--bright)}.search-item-badge.succeeded{border-color:var(--succeeded);color:var(--succeeded);background:var(--succeeded-soft)}.search-item-badge.failed{border-color:var(--failed);color:var(--failed);background:#b91c1c1f}.search-item-badge.blocked,.search-item-badge.running{border-color:var(--running);color:var(--running);background:#2563eb1f}.search-item-badge.open,.search-item-badge.not_run{border-color:var(--queued);color:var(--queued);background:var(--queued-soft)}.search-item-meta{font-size:var(--font-size-micro);color:var(--muted);font-family:var(--font-readout);line-height:1.45}.search-item:last-child{border-bottom:0}.search-item:hover{background:var(--bg-subtle)}.search-empty{padding:.75rem .8rem;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout)}.callout{position:absolute;padding:.4rem .8rem;background:var(--bright);color:var(--bg);font-size:.7rem;font-family:var(--font-readout);font-weight:700;pointer-events:none}.callout:after{content:"";position:absolute;width:1px;height:40px;background:var(--bright);top:100%;left:10px}.dashed-line{position:absolute;border-left:1px dashed var(--muted)}.error-banner{position:relative;padding:.75rem 1rem .75rem 1.2rem;border:1px solid color-mix(in srgb,var(--failed) 22%,var(--rule));border-left:3px solid var(--failed);background:color-mix(in srgb,var(--failed) 6%,var(--bg-panel));color:var(--ink);font-size:var(--font-size-small);line-height:1.5}.error-banner code{color:var(--failed);background:color-mix(in srgb,var(--failed) 8%,transparent)}.empty-state{display:flex;flex-direction:column;align-items:center;justify-content:center;padding:2.5rem 1.5rem;border:1px dashed color-mix(in srgb,var(--rule) 70%,transparent);color:var(--muted);font-size:var(--font-size-small);text-align:center;background:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='60' height='60' viewBox='0 0 60 60' fill='none' stroke='currentColor' stroke-width='0.5' opacity='0.04'%3E%3Cline x1='30' y1='5' x2='30' y2='20'/%3E%3Cline x1='30' y1='20' x2='15' y2='35'/%3E%3Cline x1='30' y1='20' x2='45' y2='35'/%3E%3Ccircle cx='30' cy='5' r='3'/%3E%3Ccircle cx='15' cy='35' r='3'/%3E%3Ccircle cx='45' cy='35' r='3'/%3E%3Cline x1='15' y1='35' x2='8' y2='50'/%3E%3Cline x1='15' y1='35' x2='22' y2='50'/%3E%3Cline x1='45' y1='35' x2='38' y2='50'/%3E%3Cline x1='45' y1='35' x2='52' y2='50'/%3E%3Ccircle cx='8' cy='50' r='2.5'/%3E%3Ccircle cx='22' cy='50' r='2.5'/%3E%3Ccircle cx='38' cy='50' r='2.5'/%3E%3Ccircle cx='52' cy='50' r='2.5'/%3E%3C/svg%3E") center center / 60px 60px}.toast-container{position:fixed;bottom:2rem;right:2rem;z-index:1001}.toast{background:var(--bg-subtle);border:1px solid var(--rule);color:var(--bright);padding:1rem 1.5rem;font-size:.78rem;font-family:var(--font-readout)}.source-block{background:var(--bg-subtle);border:1px solid var(--rule);padding:1rem;margin:0;font-size:.85rem;line-height:1.6;overflow-x:auto;white-space:pre}.source-block code{background:transparent;padding:0}.grid-2{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1.1rem}.repo-table{width:100%;border-collapse:collapse}.table-shell{display:grid;gap:.45rem}.table-scroll{overflow-x:auto;width:100%}.table-toolbar{display:flex;justify-content:space-between;align-items:center;gap:.8rem;flex-wrap:wrap}.table-toolbar-label{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout)}.table-column-menu{position:relative}.table-column-menu summary{cursor:pointer;user-select:none;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);border:1px solid var(--rule);padding:.2rem .5rem;list-style:none}.table-column-menu summary::-webkit-details-marker{display:none}.table-column-menu[open] summary{color:var(--bright);border-color:var(--bright)}.table-column-options{position:absolute;right:0;top:calc(100% + .3rem);z-index:1200;border:1px solid var(--rule);background:var(--bg-panel);box-shadow:var(--panel-shadow);min-width:11rem;padding:.4rem;display:grid;gap:.25rem}.table-column-option{display:flex;align-items:center;gap:.5rem;font-size:var(--font-size-micro);font-family:var(--font-readout)}.repo-table th,.repo-table td{border-bottom:1px solid var(--rule);padding:var(--table-cell-pad-y) var(--table-cell-pad-x);text-align:left}.repo-table.table-sticky thead th{position:sticky;top:var(--sticky-table-top, var(--sticky-header-offset));z-index:80;background:linear-gradient(180deg,color-mix(in srgb,var(--bg-panel) 96%,var(--bg-subtle)),var(--bg-panel));box-shadow:0 1px 0 var(--rule),0 -1px color-mix(in srgb,var(--bg) 88%,transparent)}.is-col-hidden{display:none}.time-cell{white-space:nowrap;color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro)}.details-grid{display:grid;grid-template-columns:auto 1fr;gap:.35rem .8rem}.details-grid dd[data-tone=alert]{color:var(--failed);font-weight:600}.details-grid dd[data-tone=warn]{color:var(--queued);font-weight:600}.details-grid dd[data-tone=info]{color:var(--running)}.details-grid dd[data-tone=ok]{color:var(--succeeded)}.button-row{display:flex;gap:.5rem .5rem;flex-wrap:wrap}.chip-tight{display:inline-flex;align-items:center;border:1px solid var(--rule);padding:.2rem .46rem;font-size:var(--font-size-micro);font-family:var(--font-readout)}.stack-row{display:grid;gap:.75rem;justify-items:start}.margin-none{margin:0}.ops-transparent{background:transparent}.ops-meta-label{font-size:var(--font-size-micro);color:var(--muted);margin-bottom:.5rem;font-family:var(--font-readout)}.readout-secondary{color:var(--running)}.readout-subtle{background:var(--bg-subtle)}.readout-unit{font-size:var(--font-size-micro);color:var(--muted)}.ops-metric-block{margin-top:1.5rem}.ops-metric-title{font-size:var(--font-size-micro);color:var(--muted);margin-bottom:.5rem;font-family:var(--font-readout)}.ops-readout-compact{padding:.5rem .75rem;background:transparent;border-color:var(--dim)}.ops-readout-compact .readout-value{font-size:1.1rem;color:var(--muted)}.dense-list{list-style:none;margin:0;padding:0;display:grid;gap:.45rem}.tab-panel{scroll-margin-top:calc(var(--sticky-header-offset) + 1.25rem)}.table-row-actions{display:inline-flex;align-items:center;flex-wrap:wrap;gap:1rem}.readout-row{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.85rem}.muted{color:var(--muted)}.error{color:var(--failed);word-break:break-word}.queued{color:var(--queued)}.running{color:var(--running)}.succeeded{color:var(--succeeded)}.failed{color:var(--failed)}.badge.queued,.badge.QUEUED,.badge.pending,.badge.PENDING,.badge.stated,.badge.STATED,.badge.blocked,.badge.BLOCKED,.badge.in_progress,.badge.IN_PROGRESS{--badge-tone: var(--queued)}.badge.running,.badge.RUNNING,.badge.executing,.badge.EXECUTING{--badge-tone: var(--running)}.badge.succeeded,.badge.SUCCEEDED,.badge.proved,.badge.PROVED,.badge.done,.badge.DONE,.badge.pass,.badge.PASS,.badge.verified,.badge.VERIFIED,.badge.held,.badge.HELD,.badge.approved,.badge.APPROVED{--badge-tone: var(--succeeded)}.badge.failed,.badge.FAILED,.badge.error,.badge.ERROR,.badge.cancelled,.badge.CANCELLED,.badge.canceled,.badge.CANCELED{--badge-tone: var(--failed)}.badge.not_run,.badge.NOT_RUN,.badge.open,.badge.OPEN,.badge.idle,.badge.IDLE,.badge.available,.badge.AVAILABLE,.badge.unset,.badge.UNSET{--badge-tone: var(--neutral)}input,textarea,select{width:100%}@media (max-width: 1024px){.site-header{flex-wrap:wrap;padding:.9rem 1rem;gap:.8rem}.public-shell-header{flex-wrap:wrap}.header-left,.header-right{width:100%;justify-content:space-between}.header-left{gap:.8rem}.header-right{justify-content:flex-end}.container{padding:2rem 1rem;gap:2rem}.two-col{grid-template-columns:1fr;gap:1rem}.split-banner{grid-template-columns:1fr}.splash-grid{grid-template-columns:1fr;gap:3rem}}@media (max-width: 900px){.site-nav{flex:0 0 100%;width:100%;flex-wrap:wrap;row-gap:.1rem;column-gap:.1rem;padding-bottom:.15rem}.site-nav-link{padding:.4rem .6rem}.header-left{flex-wrap:wrap}.grid-2,.readout-row,.work-queue-grid,.work-recent-grid,.theorem-workspace-body{grid-template-columns:1fr}.workspace-side-pane{padding-left:0;padding-top:1rem;border-left:0;border-top:1px solid var(--rule)}.user-actions{margin-left:0}.graph-viewport,.graph-svg{min-height:18rem}.graph-status-bar{align-items:start}.graph-summary-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.graph-summary-cell{border-right:0;border-bottom:1px solid var(--rule)}.blueprint-body-grid,.blueprint-node-sections{grid-template-columns:1fr}.blueprint-node-meta{justify-content:start}}.package-filterbar{border:1px solid var(--rule);background:linear-gradient(180deg,var(--card-gradient-from),transparent),color-mix(in srgb,var(--bg-panel) 86%,var(--bg-subtle));padding:.9rem .95rem;display:grid;gap:.8rem}.package-filter-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(12rem,1fr));gap:.75rem}.package-filter-grid label{margin:0;display:grid;gap:.28rem}.package-filter-actions{display:flex;justify-content:space-between;align-items:center;gap:.8rem;flex-wrap:wrap}@media (max-width: 900px){.package-filter-actions{align-items:stretch}.package-filter-actions .button-row{width:100%}}.meta-line{display:flex;align-items:center;flex-wrap:wrap;gap:.2rem;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);line-height:1.4}.meta-line a{color:var(--muted);text-decoration:none}.meta-line a:hover{color:var(--bright)}.meta-line-sep{color:var(--dim);margin:0 .1rem}.meta-line-path{max-width:30ch;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.hover-actions{opacity:0;max-height:0;overflow:hidden;margin-top:0;transition:opacity .12s ease,max-height .12s ease}:hover>.hover-actions,:focus-within>.hover-actions{opacity:1;max-height:6rem;margin-top:.3rem}@media (pointer: coarse){.hover-actions{opacity:1;max-height:none;margin-top:.3rem}}@media (max-width: 680px){.hover-actions{opacity:1;max-height:none;margin-top:.3rem}.graph-head-right,.graph-control-stack{justify-items:stretch;width:100%}.graph-controls{justify-content:flex-start}.graph-summary-grid,.grid-2{grid-template-columns:1fr}.graph-range-control{grid-template-columns:auto minmax(4rem,1fr) 1.6rem}.graph-summary-cell{border-right:0;border-bottom:1px solid var(--rule)}}.card-head-inline{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem .75rem}.card-head-inline h3{margin:0;white-space:nowrap;font-size:var(--font-size-small);font-family:var(--font-readout);color:var(--bright)}.card-head-inline .button-row{margin-left:auto}.card-head-inline>p,.card-head-inline>details,.card-head-inline>.details-grid{flex-basis:100%}[data-tone=verified]{--tone-bg: color-mix(in srgb, var(--succeeded) 12%, var(--bg-panel));--tone-border: color-mix(in srgb, var(--succeeded) 38%, var(--rule));--tone-text: var(--succeeded);--tone-accent: var(--succeeded)}[data-tone=ok]{--tone-bg: color-mix(in srgb, var(--succeeded) 10%, var(--bg-panel));--tone-border: color-mix(in srgb, var(--succeeded) 30%, var(--rule));--tone-text: var(--succeeded);--tone-accent: var(--succeeded)}[data-tone=warn]{--tone-bg: color-mix(in srgb, var(--queued) 14%, var(--bg-panel));--tone-border: color-mix(in srgb, var(--queued) 42%, var(--rule));--tone-text: var(--queued);--tone-accent: var(--queued)}[data-tone=alert]{--tone-bg: color-mix(in srgb, var(--failed) 14%, var(--bg-panel));--tone-border: color-mix(in srgb, var(--failed) 48%, var(--rule));--tone-text: var(--failed);--tone-accent: var(--failed)}[data-tone=info]{--tone-bg: color-mix(in srgb, var(--running) 12%, var(--bg-panel));--tone-border: color-mix(in srgb, var(--running) 40%, var(--rule));--tone-text: var(--running);--tone-accent: var(--running)}[data-tone=ai]{--tone-bg: color-mix(in srgb, var(--hud-user) 12%, var(--bg-panel));--tone-border: color-mix(in srgb, var(--hud-user) 42%, var(--rule));--tone-text: var(--hud-user);--tone-accent: var(--hud-user)}[data-tone=mute]{--tone-bg: var(--bg-subtle);--tone-border: var(--rule);--tone-text: var(--muted);--tone-accent: var(--muted)}.card{background:var(--bg-panel);border:1px solid var(--rule);box-shadow:var(--panel-shadow-section);padding:var(--panel-padding);display:grid;gap:0;min-width:0}.card:has(>.card-head),.card:has(>.card-body),.card:has(>.card-foot){padding:0}.card[data-tone]{border-color:var(--tone-border)}.panel-dark{background:transparent;border:1px solid var(--rule);padding:.7rem .9rem;border-radius:0;box-shadow:none}.card-head{display:flex;align-items:center;justify-content:space-between;gap:.75rem;padding:.7rem 1rem;border-bottom:1px solid var(--rule);flex-wrap:wrap;min-width:0}.card[data-tone]>.card-head{border-bottom-color:var(--tone-border)}.card-actions{display:inline-flex;align-items:center;gap:.4rem;flex-shrink:0}.card-body{padding:1rem;display:grid;gap:.75rem;min-width:0}.card-foot{padding:.55rem 1rem;border-top:1px solid var(--rule);font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted);display:flex;align-items:center;gap:.6rem}.kicker{font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);display:inline-flex;align-items:center;gap:.35rem;min-width:0}.kicker-soft{color:var(--dim);text-transform:none;letter-spacing:0;font-family:var(--font-mono);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.section-label{margin:0;font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.08em;text-transform:uppercase;color:var(--muted)}.meta{display:inline-flex;flex-wrap:wrap;align-items:center;gap:.45rem;font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted)}.meta>*+*:before{content:"·";margin-right:.45rem;color:var(--dim)}.page-title{margin:0;font-family:var(--font-ui);font-size:var(--font-size-page-title);font-weight:var(--font-weight-page-title);line-height:1.12;letter-spacing:-.025em;color:var(--bright)}.hash-heading{display:inline-flex;align-items:center;gap:.45rem;margin:0;font-family:var(--font-ui);font-size:1.2rem;font-weight:600;line-height:1.3;letter-spacing:-.005em;color:var(--bright)}.hash-heading:before{content:"#";color:var(--muted);font-weight:500}.row-list{list-style:none;margin:0;padding:0;display:grid;gap:.35rem;min-width:0}.row{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:.5rem .75rem;padding:.5rem .7rem;background:var(--bg-panel);border:1px solid var(--rule);border-left-width:3px;border-left-color:var(--rule);color:inherit;text-align:left;text-decoration:none;font:inherit;cursor:pointer;min-width:0;transition:background .1s ease,border-color .1s ease,transform .08s ease}button.row,a.row{width:100%}.row:hover,.row:focus-visible{background:var(--bg-subtle);border-color:color-mix(in srgb,var(--bright) 22%,var(--rule))}.row[aria-pressed=true],.row[aria-current=true]{background:var(--bg-subtle);border-color:color-mix(in srgb,var(--bright) 30%,var(--rule))}.row[data-tone]{border-left-color:var(--tone-accent)}.row[data-tone][aria-pressed=true],.row[data-tone][aria-current=true]{background:var(--tone-bg)}.row-title{font-family:var(--font-mono);font-size:var(--font-size-small);font-weight:500;color:var(--bright);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;grid-column:1}.row-meta{font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted);grid-column:1}.row>.pill,.row>.row-trailing{grid-column:2;grid-row:1 / span 2;align-self:center}.stat-strip{display:flex;flex-wrap:wrap;gap:.6rem;min-width:0}.stat-tile{flex:1 1 8.5rem;min-width:7.5rem;display:grid;gap:.2rem;padding:.55rem .85rem;background:var(--bg-panel);border:1px solid var(--rule)}.stat-tile[data-tone]{background:var(--tone-bg);border-color:var(--tone-border)}.stat-tile-label{font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);line-height:1.2}.stat-tile-value{font-family:var(--font-mono);font-size:var(--stat-value-size);font-weight:600;line-height:1.1;color:var(--bright);display:inline-flex;align-items:baseline;gap:.25rem;min-width:0}.stat-tile[data-tone] .stat-tile-value{color:var(--tone-text)}.stat-tile-denom{font-family:var(--font-mono);font-size:.85rem;font-weight:500;color:var(--muted)}.stat-tile-sub{font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted)}.dl-meta{display:grid;grid-template-columns:7rem minmax(0,1fr);gap:.5rem .75rem;margin:0;align-items:baseline;font-size:var(--font-size-small)}.dl-meta-key{font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:0}.dl-meta-value{margin:0;color:var(--ink);font-family:var(--font-mono);overflow:hidden;text-overflow:ellipsis;min-width:0}.dl-meta-value a{color:inherit}.dl-meta-value a:hover{color:var(--accent)}.pill{display:inline-flex;align-items:center;gap:.3rem;padding:.18rem .55rem;font-family:var(--font-readout);font-size:var(--font-size-micro);font-weight:500;letter-spacing:.04em;text-transform:uppercase;line-height:1.3;border:1px solid var(--rule);background:var(--bg-panel);color:var(--muted);white-space:nowrap}.pill[data-tone]{background:var(--tone-bg);border-color:var(--tone-border);color:var(--tone-text)}.pill-dot:before{content:"";display:inline-block;width:.4rem;height:.4rem;border-radius:50%;background:currentColor}.link{color:var(--accent);text-decoration:none;border-bottom:1px solid color-mix(in srgb,var(--accent) 40%,transparent);transition:color .12s ease,border-color .12s ease}.link:hover{color:color-mix(in srgb,var(--accent) 80%,black);border-bottom-color:var(--accent)}.link-muted{font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.04em;text-transform:uppercase;color:var(--muted);text-decoration:none;border-bottom:1px dotted var(--rule);transition:color .12s ease,border-color .12s ease}.link-muted:hover{color:var(--ink);border-bottom-color:var(--ink)}.btn-primary,.btn-ghost{display:inline-flex;align-items:center;justify-content:center;gap:.35rem;padding:var(--control-pad-y) calc(var(--control-pad-x) + .2rem);font-family:var(--font-mono);font-size:var(--font-size-micro);font-weight:600;line-height:1.2;text-decoration:none;cursor:pointer;border:1px solid color-mix(in srgb,var(--bright) 28%,var(--rule));background:var(--bg-panel);color:var(--bright);transition:background .12s ease,border-color .12s ease,color .12s ease,transform .08s ease,box-shadow .12s ease}.btn-primary{background:var(--bright);border-color:var(--bright);color:var(--bg-panel);font-weight:700;min-height:2.4rem}.btn-primary:hover{background:color-mix(in srgb,var(--bright) 90%,var(--bg-panel));border-color:color-mix(in srgb,var(--bright) 90%,var(--bg-panel));color:var(--bg-panel)}.btn-primary:active{background:color-mix(in srgb,var(--bright) 82%,var(--bg-panel));border-color:color-mix(in srgb,var(--bright) 82%,var(--bg-panel));color:var(--bg-panel)}.btn-ghost{background:transparent;border-color:var(--rule);color:var(--muted);font-size:calc(var(--font-size-micro) - .5px);min-height:2.4rem}.btn-ghost:hover{background:color-mix(in srgb,var(--bright) 5%,transparent);border-color:color-mix(in srgb,var(--bright) 45%,var(--rule));color:var(--bright)}.btn-ghost:active{background:color-mix(in srgb,var(--bright) 9%,transparent);border-color:color-mix(in srgb,var(--bright) 55%,var(--rule));color:var(--bright)}.btn-primary[data-size=sm],.btn-ghost[data-size=sm]{padding:.3rem .6rem;min-height:auto;font-size:var(--font-size-micro)}.btn-primary:disabled,.btn-ghost:disabled,.btn-primary[aria-disabled=true],.btn-ghost[aria-disabled=true]{opacity:.46;cursor:not-allowed;background:color-mix(in srgb,var(--bg-panel) 78%,var(--bg-subtle));border-color:var(--rule);color:var(--muted);transform:none;box-shadow:none}.fold{display:grid;gap:0;border-top:1px dashed var(--rule)}.fold>summary{display:flex;align-items:center;justify-content:space-between;gap:.5rem;padding:.55rem 0;cursor:pointer;list-style:none;font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.06em;text-transform:uppercase;color:var(--muted)}.fold>summary::-webkit-details-marker{display:none}.fold>summary:after{content:"+";font-family:var(--font-mono);font-size:.95rem;color:var(--muted);line-height:1;transition:transform .12s ease}.fold[open]>summary:after{content:"−"}.fold>summary:hover{color:var(--ink)}.fold-title{display:inline-flex;align-items:center;gap:.4rem;color:var(--ink);font-weight:600}.fold-meta{margin-left:auto;color:var(--dim);text-transform:none;letter-spacing:0;font-family:var(--font-mono)}.bar{position:relative;display:block;height:.35rem;background:color-mix(in srgb,var(--rule) 55%,transparent);overflow:hidden}.bar>b{display:block;height:100%;background:var(--accent);transition:width .2s ease}.bar[data-tone]>b{background:var(--tone-accent)}.tabs{display:flex;gap:0;border-bottom:1px solid var(--rule);min-width:0}.tab{padding:.55rem .85rem;color:var(--muted);font-family:var(--font-readout);font-size:.82rem;font-weight:500;text-decoration:none;border:none;background:transparent;border-bottom:var(--tab-indicator-width) solid transparent;margin-bottom:-1px;cursor:pointer;display:inline-flex;align-items:center;gap:.4rem;transition:color .1s ease,border-color .1s ease}.tab:hover{color:var(--bright)}.tab.is-active,.tab[aria-current=page]{color:var(--bright);font-weight:600;border-bottom-color:var(--tab-indicator-color)}.tab-count{display:inline-flex;align-items:center;justify-content:center;min-width:1.2rem;padding:0 .32rem;border-radius:2px;background:var(--muted-soft);color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro);font-weight:600;line-height:1.3}.tab.is-active .tab-count,.tab[aria-current=page] .tab-count{background:var(--accent-dim);color:var(--accent)}@media (max-width: 760px){.tabs{overflow-x:auto;-webkit-overflow-scrolling:touch}.tab{flex:1 1 auto;text-align:center;white-space:nowrap}}.page{max-width:1400px;margin:0 auto;padding:var(--container-pad-y) var(--container-pad-x);display:grid;gap:var(--section-gap-major)}.page-header{display:grid;gap:.75rem}.page-header-row{display:flex;align-items:flex-start;justify-content:space-between;gap:1rem;flex-wrap:wrap}.page-actions{display:inline-flex;align-items:center;gap:.5rem;flex-shrink:0}.empty-hint{display:flex;align-items:center;gap:.5rem;padding:.75rem .9rem;border:1px dashed var(--rule);background:color-mix(in srgb,var(--bg-subtle) 60%,transparent);color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-small)}.empty-hint[data-tone]{background:var(--tone-bg);border-color:var(--tone-border);color:var(--tone-text)}.graph-card{display:grid;gap:.75rem}.graph-card:fullscreen{background:var(--bg);padding:var(--panel-padding);overflow:auto}.graph-card:fullscreen .graph-viewport{min-height:calc(100vh - 14rem)}.graph-card:fullscreen .graph-svg{min-height:calc(100vh - 14rem)}.graph-head{display:flex;justify-content:space-between;align-items:center;gap:.8rem;flex-wrap:wrap}.graph-head-copy{display:grid;gap:.45rem}.graph-head-right{display:grid;justify-items:end;gap:.6rem}.graph-search-row{display:flex;gap:.35rem;align-items:center}.graph-search-input{width:11rem;padding:.25rem .5rem;font-size:var(--font-size-micro);font-family:var(--font-readout);background:var(--bg-panel);border:1px solid var(--rule);color:var(--bright)}.graph-search-input:focus{outline:none;border-color:var(--accent)}.graph-control-stack{display:grid;justify-items:end;gap:.35rem}.graph-depth-controls{align-items:stretch}.graph-range-control{display:inline-grid;grid-template-columns:auto minmax(5rem,8rem) 1.6rem;align-items:center;gap:.4rem;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);border:1px solid var(--rule);padding:.25rem .45rem}.graph-range-control input{accent-color:var(--accent)}.graph-controls{display:inline-flex;align-items:center;gap:.35rem;flex-wrap:wrap;justify-content:flex-end}.graph-inline-control{display:inline-flex;align-items:center;gap:.35rem;color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro)}.graph-inline-control select,.graph-inline-control input[type=range]{accent-color:var(--accent)}.graph-inline-control select{border:1px solid var(--rule);background:var(--bg-panel);color:var(--bright);font-family:var(--font-readout);font-size:var(--font-size-micro);padding:.22rem .45rem}.graph-legend{display:flex;flex-wrap:wrap;gap:.45rem .8rem}.graph-legend-item{display:inline-flex;align-items:center;gap:.45rem;color:var(--muted);font-size:.74rem;font-family:var(--font-readout)}.graph-legend-swatch,.graph-legend-line{width:.85rem;height:.85rem;display:inline-block;border-radius:999px;border:1px solid color-mix(in srgb,var(--bright) 16%,transparent)}.graph-legend-swatch.is-proof-subject{background:var(--accent)}.graph-legend-swatch.is-symbol{background:color-mix(in srgb,var(--accent-alt) 66%,var(--line));border-style:dashed}.graph-legend-swatch.is-generated-candidate{background:color-mix(in srgb,var(--queued) 74%,var(--accent-alt));border-style:dotted}.graph-legend-swatch.is-candidate{background:color-mix(in srgb,var(--queued) 74%,var(--line));border-style:dashed}.graph-legend-swatch.is-blueprint-open{background:color-mix(in srgb,var(--accent) 74%,var(--line))}.graph-legend-swatch.is-blueprint-blocked{background:color-mix(in srgb,var(--failed) 74%,var(--line))}.graph-legend-swatch.is-blueprint-bound{background:color-mix(in srgb,var(--succeeded) 74%,var(--line))}.graph-legend-swatch.is-blueprint-placeholder{background:color-mix(in srgb,var(--queued) 72%,var(--line));border-style:dashed}.graph-legend-line{width:1rem;height:0;border-radius:0;border-width:1px 0 0}.graph-legend-line.is-unresolved{border-top-color:var(--queued)}.graph-btn{padding:.35rem .6rem;font-size:.74rem}.graph-btn.is-active{background:var(--bright);color:var(--bg-panel);border-color:var(--bright)}.graph-btn:disabled{opacity:.45;cursor:not-allowed}.graph-status-bar{display:flex;align-items:center;justify-content:space-between;gap:.75rem;flex-wrap:wrap;border:1px solid var(--rule);background:color-mix(in srgb,var(--bg-subtle) 82%,var(--bg-panel));padding:.7rem .85rem;font-size:.8rem}.graph-status-bar.is-success{border-color:color-mix(in srgb,var(--succeeded) 40%,var(--rule))}.graph-status-bar.is-error{border-color:color-mix(in srgb,var(--failed) 44%,var(--rule))}.graph-summary-grid{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));border:1px solid var(--rule);background:color-mix(in srgb,var(--bg-panel) 82%,var(--bg))}.graph-summary-cell{display:grid;gap:.2rem;padding:.8rem .9rem;border-right:1px solid var(--rule)}.graph-summary-cell:last-child{border-right:0}.graph-summary-cell span{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);text-transform:uppercase;letter-spacing:.04em}.graph-summary-cell strong{font-family:var(--font-readout);font-size:1.5rem;color:var(--bright)}.graph-summary-cell[data-tone=blocked] strong{color:var(--failed)}.graph-summary-cell[data-tone=queued] strong{color:var(--queued)}.graph-summary-cell[data-tone=succeeded] strong{color:var(--succeeded)}.graph-node-table{table-layout:fixed}.graph-node-table th[data-col=name]{width:34%}.graph-node-table th[data-col=action]{width:7rem}.graph-view-panel{display:grid;gap:.85rem}.graph-summary-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));border:1px solid var(--rule)}.graph-summary-grid .stat-cell{display:grid;gap:.18rem;padding:.75rem .9rem;min-width:0}.graph-summary-grid .stat-cell+.stat-cell{border-left:1px solid var(--rule)}.graph-summary-grid .stat-cell-label,.graph-summary-grid .stat-cell-sub{color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro)}.graph-summary-grid .stat-cell-value{color:var(--bright);font-family:var(--font-readout);font-size:1.35rem;line-height:1.1}.graph-list-panel{display:grid;gap:.45rem;border:1px solid var(--rule);padding:.75rem .9rem;min-width:0}.graph-list-panel h4{margin:0}.graph-list-primary{display:inline-block;min-width:min(18rem,100%);max-width:min(28rem,100%);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;vertical-align:middle}.graph-node-badges{display:inline-flex;align-items:center;gap:.3rem;flex-wrap:wrap;margin-left:.45rem}.graph-link-button{border:0;background:transparent;padding:0;margin-left:.45rem;font:inherit;cursor:pointer}.graph-link-button:disabled{opacity:.45;cursor:not-allowed}.graph-table td{vertical-align:middle}.graph-viewport{position:relative;border:1px solid var(--rule);min-height:25rem;background:linear-gradient(color-mix(in srgb,var(--rule) 35%,transparent) 1px,transparent 1px),linear-gradient(90deg,color-mix(in srgb,var(--rule) 35%,transparent) 1px,transparent 1px),var(--bg);background-size:24px 24px,24px 24px,auto;cursor:grab}.graph-viewport.is-webgl{min-height:clamp(34rem,72vh,58rem);overflow:hidden;cursor:default}.graph-viewport:active{cursor:grabbing}.graph-viewport.is-reorder-mode{cursor:row-resize}.graph-viewport.is-edge-drafting{cursor:crosshair}.graph-svg{width:100%;height:100%;min-height:25rem;color:var(--muted)}.graph-svg>g{will-change:transform}.sigma-graph-canvas{position:absolute;inset:0;min-height:inherit;outline:none;background:linear-gradient(color-mix(in srgb,var(--rule) 25%,transparent) 1px,transparent 1px),linear-gradient(90deg,color-mix(in srgb,var(--rule) 25%,transparent) 1px,transparent 1px),color-mix(in srgb,var(--bg) 94%,var(--bg-panel));background-size:28px 28px,28px 28px,auto}.sigma-graph-canvas:focus-visible{box-shadow:inset 0 0 0 2px color-mix(in srgb,var(--focus-ring) 72%,transparent)}.sigma-graph-canvas[data-wheel-zoom=false]{touch-action:pan-y}.sigma-graph-canvas[data-wheel-zoom=true]{touch-action:none}.sigma-graph-canvas canvas{display:block}.sigma-graph-hud{position:absolute;top:.75rem;left:.75rem;z-index:2;display:flex;flex-wrap:wrap;gap:.4rem;pointer-events:none}.sigma-graph-hud span{border:1px solid color-mix(in srgb,var(--rule) 82%,transparent);background:color-mix(in srgb,var(--bg-panel) 90%,transparent);color:var(--muted);font-family:var(--font-readout);font-size:.72rem;padding:.18rem .4rem}.graph-column-band rect{fill:color-mix(in srgb,var(--bg-panel) 68%,transparent);stroke:color-mix(in srgb,var(--accent) 12%,var(--rule));stroke-width:1.5}.graph-column-band.is-active rect{stroke:color-mix(in srgb,var(--bright) 18%,var(--rule))}.graph-column-band.is-reorder-mode rect{stroke-dasharray:8 8}.graph-column-title,.graph-column-meta{pointer-events:none;font-family:var(--font-readout)}.graph-column-title{fill:var(--bright);font-size:.78rem;letter-spacing:.05em;text-transform:uppercase}.graph-column-meta{fill:color-mix(in srgb,var(--bright) 62%,var(--muted));font-size:.62rem}.graph-edge{stroke:currentColor;stroke-width:1.25;opacity:.45}.graph-edge-hitbox{fill:none;stroke:transparent;stroke-width:18;cursor:pointer}.graph-edge.is-active{color:var(--bright);opacity:.95}.graph-edge.is-selected{stroke-width:2.15;opacity:1}.graph-edge.is-faded{opacity:.12}.graph-edge.is-generated-candidate{color:color-mix(in srgb,var(--queued) 75%,var(--accent-alt));stroke-dasharray:5 5}.graph-edge.is-candidate{color:color-mix(in srgb,var(--queued) 76%,var(--line));stroke-dasharray:4 5}.graph-edge.is-blueprint.is-draft{color:color-mix(in srgb,var(--bright) 82%,var(--accent));stroke-dasharray:9 7;opacity:.92}.graph-edge.is-blueprint.is-blocked_by{stroke-dasharray:7 6}.graph-edge.is-blueprint.is-references{stroke-dasharray:3 6}.graph-edge.is-blueprint.is-proves{color:color-mix(in srgb,var(--succeeded) 78%,var(--bright))}.graph-edge-label{fill:var(--bright);font-size:.68rem;font-family:var(--font-readout);paint-order:stroke;stroke:color-mix(in srgb,var(--bg-panel) 88%,var(--bg));stroke-width:3px;pointer-events:none}.graph-edge-label.is-faded{opacity:.28}.graph-node{color:var(--accent);cursor:pointer;transition:opacity .12s ease}.graph-node.is-selected{color:var(--bright)}.graph-node.is-muted{opacity:.25}.graph-node.is-unresolved{color:var(--queued)}.graph-node.is-symbol{color:color-mix(in srgb,var(--accent-alt) 66%,var(--line))}.graph-node.is-generated-candidate{color:color-mix(in srgb,var(--queued) 78%,var(--accent-alt))}.graph-node.is-candidate{color:color-mix(in srgb,var(--queued) 74%,var(--line))}.graph-node.is-blueprint{color:color-mix(in srgb,var(--accent) 70%,var(--line))}.graph-node.is-blueprint.is-ready,.graph-node.is-blueprint.is-active{color:color-mix(in srgb,var(--queued) 78%,var(--accent))}.graph-node.is-blueprint.is-blocked{color:color-mix(in srgb,var(--failed) 72%,var(--accent))}.graph-node.is-blueprint.is-proved,.graph-node.is-blueprint.is-done{color:color-mix(in srgb,var(--succeeded) 74%,var(--accent))}.graph-node.is-blueprint.is-deprecated{color:color-mix(in srgb,var(--muted) 85%,var(--line))}.graph-node.is-blueprint.is-placeholder{color:color-mix(in srgb,var(--queued) 72%,var(--line))}.graph-node circle{fill:currentColor;stroke:var(--bg);stroke-width:2}.graph-node.is-candidate circle{stroke-dasharray:5 4}.graph-node.is-blueprint rect{fill:color-mix(in srgb,var(--bg-panel) 88%,var(--bg-subtle));stroke:color-mix(in srgb,currentColor 52%,var(--rule));stroke-width:2}.graph-node.is-blueprint .graph-node-accent{fill:currentColor;stroke:none}.graph-node.is-blueprint.is-edge-source rect,.graph-node.is-blueprint.is-edge-target rect{stroke-width:2.4}.graph-node.is-blueprint.is-edge-source rect{stroke:color-mix(in srgb,var(--queued) 68%,currentColor)}.graph-node.is-blueprint.is-edge-target rect{stroke:color-mix(in srgb,var(--bright) 55%,currentColor)}.graph-node.is-blueprint.is-draft-source rect{stroke:color-mix(in srgb,var(--queued) 74%,currentColor);stroke-width:2.7}.graph-node.is-blueprint.is-draft-target rect{stroke:color-mix(in srgb,var(--bright) 68%,currentColor);stroke-width:2.7}.graph-node.is-blueprint.is-reorder-source rect{stroke-width:2.7;stroke-dasharray:10 6}.graph-node.is-blueprint.is-draggable{cursor:row-resize}.graph-node.is-symbol circle{stroke-dasharray:2 3}.graph-node.is-generated-candidate circle{stroke-dasharray:4 3}.graph-node text{font-size:.72rem;letter-spacing:0;fill:var(--bright);paint-order:stroke;stroke:color-mix(in srgb,var(--bg-panel) 84%,var(--bg));stroke-width:2.6px;pointer-events:none;font-family:var(--font-readout)}.graph-node.is-blueprint text{stroke-width:0}.graph-node-kicker{font-size:.62rem;letter-spacing:.05em;text-transform:uppercase;fill:var(--muted)}.graph-node-title{font-size:.88rem;font-weight:600;fill:var(--bright)}.graph-node-meta{font-size:.66rem;fill:color-mix(in srgb,var(--bright) 70%,var(--muted))}.graph-node.is-blueprint .graph-node-accent{rx:16px;ry:16px}.graph-node.is-blueprint.is-proved .graph-node-accent,.graph-node.is-blueprint.is-done .graph-node-accent{fill:var(--succeeded)}.graph-node.is-blueprint.is-blocked .graph-node-accent{fill:var(--failed)}.graph-node.is-blueprint.is-ready .graph-node-accent,.graph-node.is-blueprint.is-active .graph-node-accent{fill:var(--queued)}.graph-node.is-blueprint.is-placeholder .graph-node-accent{fill:var(--neutral)}.graph-column-collapsed rect{fill:color-mix(in srgb,var(--bg-subtle) 60%,var(--bg-panel));stroke:var(--rule);stroke-width:1.5;stroke-dasharray:6 4}.graph-column-collapsed:hover rect{stroke:var(--accent)}.graph-column-collapsed .graph-column-title{font-size:.72rem}.graph-column-collapsed .graph-column-meta{font-size:.58rem}.graph-edge-bundle-label{font-size:.58rem;fill:var(--muted);font-family:var(--font-readout);pointer-events:none}.graph-minimap{position:absolute;bottom:.75rem;right:.75rem;width:180px;height:120px;border:1px solid var(--rule);background:var(--bg-panel);opacity:.85;cursor:pointer;z-index:10;pointer-events:auto}.graph-minimap:hover{opacity:1;border-color:var(--accent)}.graph-footnote,.graph-selection{font-size:.78rem}.graph-selection{min-height:1.15rem}.graph-selection-block{display:grid;gap:.45rem}.graph-selection-form{display:grid;gap:.75rem;border-top:1px solid var(--rule);padding-top:.75rem}.graph-selection-form-head{display:grid;gap:.2rem}.graph-selection-actions{display:grid;gap:.65rem}.graph-selection-form label{display:grid;gap:.35rem}.graph-selection-form textarea{min-height:7rem;resize:vertical}.graph-selection-note{color:var(--muted);font-size:.76rem}.graph-selection-line{display:flex;gap:.4rem;flex-wrap:wrap;align-items:center}.graph-selection-link,.graph-node-linkless{font-family:var(--font-readout);font-size:.8rem}.graph-node-linkless{color:var(--bright)}.graph-rel-group{display:grid;gap:.35rem;border-top:1px solid var(--rule);padding-top:.65rem}.graph-rel-label{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);text-transform:uppercase;letter-spacing:.04em}.graph-rel-list{display:grid;gap:.25rem;max-height:12rem;overflow:auto}.graph-rel-item{display:flex;align-items:baseline;gap:.5rem;width:100%;text-align:left;background:transparent;border:1px solid transparent;padding:.3rem .4rem;cursor:pointer;font:inherit}.graph-rel-item:hover{border-color:var(--rule);background:color-mix(in srgb,var(--bg-panel) 92%,var(--bright))}.graph-rel-rel{flex:0 0 auto;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout)}.graph-rel-title{flex:1 1 auto;color:var(--bright);font-size:.82rem}.graph-node-list{max-height:11rem;overflow:auto;border-top:1px solid var(--rule);padding-top:.65rem}.graph-node-list li{display:flex;flex-wrap:wrap;align-items:center;gap:.35rem}.site-footer[data-astro-cid-ei36y4ys]{border-top:1px solid var(--rule);background:var(--bg);color:var(--muted)}.site-footer-inner[data-astro-cid-ei36y4ys]{display:flex;align-items:center;justify-content:space-between;gap:1rem;width:100%;max-width:82rem;margin:0 auto;padding:1rem var(--header-pad-x)}.site-footer-brand[data-astro-cid-ei36y4ys]{color:var(--bright);font-family:var(--font-mono);font-size:.78rem;letter-spacing:0;text-decoration:none;text-transform:uppercase;white-space:nowrap}.site-footer-nav[data-astro-cid-ei36y4ys]{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:.35rem .9rem}.site-footer-nav[data-astro-cid-ei36y4ys] a[data-astro-cid-ei36y4ys]{color:var(--muted);font-size:.78rem;text-decoration:none}.site-footer-nav[data-astro-cid-ei36y4ys] a[data-astro-cid-ei36y4ys]:hover{color:var(--bright)}@media (max-width: 680px){.site-footer-inner[data-astro-cid-ei36y4ys]{align-items:flex-start;flex-direction:column}.site-footer-nav[data-astro-cid-ei36y4ys]{justify-content:flex-start}}