@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:#fff;--ink:#303742;--bright:#101820;--muted:#5d6775;--dim:#c7c0af;--rule:#c9c2b1;--line:var(--rule);--accent:#0f766e;--accent-dim:#0f766e24;--queued:#b45309;--running:#2563eb;--succeeded:#0f766e;--failed:#b91c1c;--neutral:#6b7280;--queued-soft:#b4530929;--succeeded-soft:#0f766e29;--muted-soft:#5d677524;--queued-pulse:#b453093d;--focus-ring:#0f766e;--panel-shadow:0 10px 30px #10182014;--landing-shadow:0 10px 30px #1018201f;--landing-workspace-shadow:0 0 36px #1018202e;--landing-success-flash:#0f766e29;--landing-glow:0 0 8px #0f766e47;--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 #0000000d, 0 6px 16px #00000012;--panel-shadow-section:0 1px 2px #0000000a, 0 4px 12px #0000000f;--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:#7c3aed33;--hud-ai-border:#2563eb8c;--hud-claim-border:#b4530985;--hud-claim-path:#b453096b;--hud-claim-path-strong:#b45309eb;--hud-ledger-border:#0f766e85;--ops-viz-cell-bg:#10182029;--ops-viz-cell-stroke:#10182038;--ops-viz-node-ok-rgb:15, 118, 110;--ops-viz-node-err-fill:#b91c1cad;--ops-viz-node-err-stroke:#b91c1c85;--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:#fff;--ink:#303742;--bright:#101820;--muted:#5d6775;--dim:#c7c0af;--rule:#c9c2b1;--line:var(--rule);--accent:#0f766e;--accent-dim:#0f766e24;--queued:#b45309;--running:#2563eb;--succeeded:#0d7c6b;--failed:#a51d1d;--neutral:#6b7280;--queued-soft:#b4530929;--succeeded-soft:#0f766e29;--muted-soft:#5d677524;--queued-pulse:#b453093d;--focus-ring:#0f766e;--panel-shadow:var(--panel-shadow-section);--landing-shadow:0 10px 30px #1018201f;--landing-workspace-shadow:0 0 36px #1018202e;--landing-success-flash:#0f766e29;--landing-glow:0 0 8px #0f766e47;--hud-user:#7c3aed;--hud-user-rgb:124, 58, 237;--hud-user-bg:#7c3aed33;--hud-ai-border:#2563eb8c;--hud-claim-border:#b4530985;--hud-claim-path:#b453096b;--hud-claim-path-strong:#b45309eb;--hud-ledger-border:#0f766e85;--ops-viz-cell-bg:#10182029;--ops-viz-cell-stroke:#10182038;--ops-viz-node-ok-rgb:15, 118, 110;--ops-viz-node-err-fill:#b91c1cad;--ops-viz-node-err-stroke:#b91c1c85;--card-gradient-from:#ffffff59;--card-gradient-tone-failed:#a51d1d1a;--card-gradient-tone-queued:#b453091a;--card-gradient-tone-succeeded:#0d7c6b1a}:root[data-theme=og-dark]{--bg:#000;--bg-subtle:#0c0c0c;--bg-panel:#050505;--ink:#a0a0a0;--bright:#fff;--muted:#737373;--dim:#262626;--rule:#2a2a2a;--line:var(--rule);--accent:#10b981;--accent-dim:#10b98126;--queued:#f59e0b;--running:#3b82f6;--succeeded:#10b981;--failed:#ef4444;--neutral:#525252;--queued-soft:#f59e0b2e;--succeeded-soft:#10b9812e;--muted-soft:#7373732e;--queued-pulse:#f59e0b3d;--focus-ring:#10b981;--panel-shadow:0 1px 2px #0000004d, 0 6px 16px #00000080;--landing-shadow:0 10px 30px #000c;--landing-workspace-shadow:0 0 50px #000;--landing-success-flash:#10b98126;--landing-glow:0 0 8px #10b98166;--hud-user:#c084fc;--hud-user-rgb:168, 85, 247;--hud-user-bg:#a855f733;--hud-ai-border:#3b82f680;--hud-claim-border:#f59e0b8c;--hud-claim-path:#f59e0b73;--hud-claim-path-strong:#f59e0b;--hud-ledger-border:#10b98180;--ops-viz-cell-bg:#141414cc;--ops-viz-cell-stroke:#ffffff1a;--ops-viz-node-ok-rgb:16, 185, 129;--ops-viz-node-err-fill:#ef444499;--ops-viz-node-err-stroke:#ef444480;--card-gradient-from:#ffffff08;--card-gradient-tone-failed:#ef44441f;--card-gradient-tone-queued:#f59e0b1f;--card-gradient-tone-succeeded:#10b9811f}: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:#34d39929;--queued:#fbbf24;--running:#60a5fa;--succeeded:#34d399;--failed:#f87171;--neutral:#64748b;--queued-soft:#fbbf242b;--succeeded-soft:#34d3992b;--muted-soft:#8b98a82e;--queued-pulse:#fbbf243d;--focus-ring:#60a5fa;--panel-shadow:0 1px 2px #0003, 0 6px 16px #00000059;--landing-shadow:0 10px 30px #00000080;--landing-workspace-shadow:0 0 36px #0000009e;--landing-success-flash:#34d39924;--landing-glow:0 0 8px #34d39959;--hud-user:#c4b5fd;--hud-user-rgb:167, 139, 250;--hud-user-bg:#a78bfa33;--hud-ai-border:#60a5fa80;--hud-claim-border:#fbbf2480;--hud-claim-path:#fbbf2470;--hud-claim-path-strong:#fbbf24f2;--hud-ledger-border:#34d39980;--ops-viz-cell-bg:#151b22d6;--ops-viz-cell-stroke:#ecf2f81f;--ops-viz-node-ok-rgb:52, 211, 153;--ops-viz-node-err-fill:#f871719e;--ops-viz-node-err-stroke:#f871718a;--card-gradient-from:#ffffff06;--card-gradient-tone-failed:#f8717124;--card-gradient-tone-queued:#fbbf2424;--card-gradient-tone-succeeded:#34d39924}:root[data-theme=high-contrast]{--bg:#000;--bg-subtle:#111;--bg-panel:#000;--ink:#f1f1f1;--bright:#fff;--muted:#d4d4d4;--dim:#454545;--rule:#fff;--line:var(--rule);--accent:#0ff;--accent-dim:#00ffff38;--queued:gold;--running:#66b2ff;--succeeded:#0f9;--failed:#ff7070;--neutral:#d4d4d4;--queued-soft:#ffd70047;--succeeded-soft:#00ff9947;--muted-soft:#d4d4d43d;--queued-pulse:#ffd70059;--focus-ring:#fff;--panel-shadow:none;--landing-shadow:none;--landing-workspace-shadow:none;--landing-success-flash:#00ff9938;--landing-glow:none;--hud-user:#f9f;--hud-user-rgb:255, 153, 255;--hud-user-bg:#f9f3;--hud-ai-border:#66b2ffcc;--hud-claim-border:#ffd700cc;--hud-claim-path:#ffd700b3;--hud-claim-path-strong:#ffffffeb;--hud-ledger-border:#00ff99bf;--ops-viz-cell-bg:#ffffff1f;--ops-viz-cell-stroke:#ffffffa6;--ops-viz-node-ok-rgb:0, 255, 153;--ops-viz-node-err-fill:#ff7070d1;--ops-viz-node-err-stroke:#fffc;--card-gradient-from:transparent;--card-gradient-tone-failed:#ff707033;--card-gradient-tone-queued:#ffd70033;--card-gradient-tone-succeeded:#0f93}: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{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;margin:0;overflow-x:hidden}.skip-link{z-index:3000;color:var(--bright);background:var(--bg-panel);border:2px solid var(--focus-ring);padding:.55rem .75rem;position:fixed;top:.5rem;left:.5rem;transform:translateY(calc(-100% - 1rem))}.skip-link:focus{color:var(--bright);transform:translateY(0)}: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}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>:first-child{animation-delay:0s}.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){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}.entrance-stagger>*{animation:none}}.data-row{border-bottom:1px solid color-mix(in srgb, var(--rule) 40%, transparent);justify-content:space-between;align-items:baseline;gap:.5rem;padding:.5rem 0;display:flex}.data-row:last-child{border-bottom:none}.data-row-primary{flex-direction:column;gap:.1rem;min-width:0;display:flex}.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{flex-shrink:0;align-items:center;gap:.5rem;display:flex}.section-flat{gap:.75rem;display:grid}.section-flat-heading{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);font-variant:small-caps;letter-spacing:.08em;text-transform:uppercase;margin:0}.ledger-readouts{grid-template-columns:1fr;gap:0;margin:0;display:grid}.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);border-bottom:1px solid color-mix(in srgb, var(--rule) 45%, transparent);margin:.2rem 0 0;padding-bottom:.75rem;font-size:1.0625rem;font-weight:600;line-height:1.3}.ledger-readout-value:last-of-type{border-bottom:none;padding-bottom:0}.ledger-readout-value .time-cell{color:var(--muted);margin-left:.25rem;font-size:.8125rem;font-weight:500;display:inline-block}.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{border-right:1px solid var(--rule);flex-direction:column;gap:0;padding-right:0;display:flex;position:sticky;top:1rem}.section-rail-item{color:var(--muted);border-right:var(--tab-indicator-width) solid transparent;flex-direction:column;gap:.15rem;margin-right:-1px;padding:.6rem .95rem;text-decoration:none;transition:color .1s,border-color .1s;display:flex;position:relative}.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);letter-spacing:0;color:inherit;font-size:.9375rem;font-weight:500}.section-rail-item.is-active .section-rail-label{font-weight:600}.section-rail-state{font-family:var(--font-readout);letter-spacing:.02em;color:var(--muted);font-size:.75rem}.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 (width<=1080px){.section-rail{border-right:none;border-bottom:1px solid var(--rule);flex-flow:row;position:static;overflow-x:auto}.section-rail-item{white-space:nowrap;border-right:none;border-bottom:var(--tab-indicator-width) solid transparent;flex-direction:row;flex:none;align-items:baseline;gap:.4rem;margin-bottom:-1px;margin-right:0}.section-rail-item.is-active{border-bottom-color:var(--tab-indicator-color)}}.site-header{padding:.75rem var(--header-pad-x);background:color-mix(in srgb, var(--bg) 92%, transparent);-webkit-backdrop-filter:blur(8px);border-bottom:1px solid var(--rule);z-index:1000;justify-content:space-between;align-items:center;gap:1.2rem;display:flex;position:sticky;top:0;box-shadow:0 1px 4px #0000000f}.header-left{align-items:center;gap:2rem;display:flex}.header-right{align-items:center;gap:.75rem;display:flex}.brand{font-family:var(--font-mono);color:var(--bright);letter-spacing:.14em;text-transform:uppercase;white-space:nowrap;font-size:.92rem;font-weight:400;text-decoration:none}.brand-beta{letter-spacing:.08em;color:var(--muted);vertical-align:super;margin-left:.15rem;font-size:.52rem}.site-nav{align-items:center;gap:.15rem;display:flex}.site-nav-link{color:var(--muted);font-size:.85rem;font-family:var(--font-ui);white-space:nowrap;padding:.4rem .75rem;font-weight:500;text-decoration:none;transition:color .1s;position:relative}.site-nav-link:hover,.site-nav-link.is-active{color:var(--bright)}.site-nav-link.is-active:after{content:"";background:var(--accent);height:2px;position:absolute;bottom:-.75rem;left:.65rem;right:.65rem}.search-trigger{border:1px solid var(--rule);background:var(--bg-subtle);cursor:pointer;justify-content:center;align-items:center;width:2rem;height:2rem;padding:0;display:inline-flex}.search-trigger-hint{font-family:var(--font-mono);color:var(--muted);font-size:.72rem}.search-trigger:hover{border-color:var(--bright)}.search-trigger:hover .search-trigger-hint{color:var(--bright)}.search-overlay{z-index:2000;background:#0000006b;justify-content:center;padding-top:12vh;display:none;position:fixed;inset:0}.search-overlay.is-open{display:flex}.search-palette{border:1px solid var(--rule);background:var(--bg-panel);width:min(32rem,92vw);max-height:70vh;box-shadow:var(--panel-shadow-hero);flex-direction:column;align-self:flex-start;display:flex}.search-palette-input{border:none;border-bottom:1px solid var(--rule);width:100%;color:var(--bright);font-family:var(--font-ui);background:0 0;outline:none;padding:.85rem 1rem;font-size:.95rem}.search-palette-results{max-height:calc(70vh - 3.5rem);overflow-y:auto}.user-actions{position:relative}.user-menu-trigger{background:var(--bg-subtle);border:1px solid var(--rule);color:var(--muted);font-family:var(--font-mono);cursor:pointer;padding:.3rem .6rem;font-size:.76rem;transition:all .1s}.user-menu-trigger:hover,.user-menu-trigger.is-open{color:var(--bright);border-color:var(--bright)}.user-menu-popover{border:1px solid var(--rule);background:var(--bg-panel);width:min(20rem,92vw);box-shadow:var(--panel-shadow-hero);z-index:1200;padding:.35rem;display:none;position:absolute;top:calc(100% + .35rem);right:0}.user-menu-popover.is-open{gap:.25rem;display:grid}.user-menu-identity{border-bottom:1px solid var(--rule);gap:.1rem;margin-bottom:.15rem;padding:.55rem .6rem .6rem;display:grid}.user-menu-identity-label{font-family:var(--font-mono);font-variant:small-caps;letter-spacing:.1em;color:var(--muted);font-size:.62rem}.user-menu-identity-login{color:var(--bright);font-size:.92rem;font-family:var(--font-mono);line-height:1.15}.user-menu-identity-meta{color:var(--muted);font-size:.72rem}.user-menu-section{gap:.05rem;display:grid}.user-menu-section-footer{border-top:1px solid var(--rule);margin-top:.1rem;padding-top:.2rem}.user-menu-label{font-family:var(--font-mono);font-variant:small-caps;letter-spacing:.1em;color:var(--muted);padding:.2rem .5rem .25rem;font-size:.65rem}.user-menu-item{color:var(--bright);border:1px solid #0000;border-radius:2px;justify-content:space-between;align-items:center;gap:.5rem;padding:.45rem .55rem;font-size:.8rem;text-decoration:none;display:flex}.user-menu-item:hover{color:var(--accent);background:var(--bg-subtle);border-color:var(--rule)}.user-menu-item-arrow{color:var(--muted);font-size:.7rem}.user-menu-item-danger,.user-menu-item-danger:hover{color:var(--failed)}.public-shell-header{background:linear-gradient(180deg, var(--card-gradient-from), transparent), color-mix(in srgb, var(--bg-subtle) 88%, var(--bg));backdrop-filter:none;position:static}.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{color:var(--bright);margin:0 0 .6rem;font-size:1rem}.shortcut-help ul{gap:.35rem;margin:0 0 .85rem;padding-left:1.2rem;display:grid}.anchor-nav{border-bottom:1px solid color-mix(in srgb, var(--rule) 88%, transparent);flex-wrap:wrap;gap:.45rem;padding-bottom:.95rem;display:flex}.anchor-nav-link{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);align-items:center;padding:.26rem .62rem;font-weight:500;display:inline-flex}.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{scroll-margin-top:calc(var(--sticky-header-offset) + 1rem);gap:1rem;display:grid;position:relative;overflow:hidden}.section-shell>*{min-width:0}.section-masthead{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:1rem;display:flex}.section-masthead-copy{gap:.42rem;max-width:72ch;display:grid}.section-kicker,.dossier-kicker{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;margin:0}.section-kicker:before{content:"— ";color:color-mix(in srgb, var(--section-tone) 42%, var(--muted))}.section-summary,.dossier-copy{color:var(--ink);font-size:var(--font-size-small);margin:0;line-height:1.58}.dossier-card{border:1px solid var(--rule);background:var(--bg-panel);padding:var(--card-pad);gap:.5rem;min-width:0;display:grid}.dossier-card>h3,.dossier-card>strong{margin:0}.dossier-grid{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.75rem;display:grid}.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{gap:.75rem;margin:0;padding:0;list-style:none;display:grid}main{min-height:calc(100vh - 80px)}.container{max-width:1400px;padding:var(--container-pad-y) var(--container-pad-x);gap:var(--section-gap-major);margin:0 auto;display:grid}.two-col{grid-template-columns:1fr 1fr;gap:3rem;display:grid}.split-banner{grid-template-columns:1fr 1fr;gap:1rem;display:grid}.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{letter-spacing:.03em;color:var(--muted);font-size:.72rem;font-family:var(--font-readout);margin-bottom:.5rem}.split-title{color:var(--ink);font-size:.88rem}.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{grid-template-columns:1fr 1fr;align-items:flex-start;gap:4rem;display:grid}.splash-left h1{color:var(--bright);letter-spacing:-.03em;margin:0 0 2rem;font-size:clamp(2rem,3vw,2.85rem);font-weight:600;line-height:1.12}.splash-left p{color:var(--ink);max-width:58ch;margin-bottom:1.5rem;font-size:1rem;line-height:1.7}.splash-cta{border:1px solid var(--bright);color:var(--bright);letter-spacing:.02em;font-size:.82rem;font-weight:600;font-family:var(--font-readout);align-items:center;padding:.62rem 1.1rem;transition:all .16s;display:inline-flex}.splash-cta:hover{background:var(--bright);color:var(--bg);box-shadow:0 0 16px color-mix(in srgb, var(--accent) 28%, transparent);text-decoration:none}.splash-right{min-height:620px;position:relative}.viz-container{border:1px dashed var(--muted);width:100%;height:100%;position:relative}.splash-ornament{color:var(--muted);font-size:.76rem;font-family:var(--font-readout);margin-bottom:2rem}.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}.panel-hero h1{font-size:var(--font-size-page-title);font-weight:var(--font-weight-page-title);color:var(--bright);letter-spacing:-.03em;margin:0;line-height:1.15}.card h2{color:var(--bright);letter-spacing:-.005em;font-size:.95rem;font-weight:600;line-height:1.25;font-family:var(--font-ui);align-items:center;margin:0 0 .5rem;display:flex}.hero{border-bottom:1px dashed var(--rule);padding-bottom:1.4rem}.hero h1{font-size:var(--font-size-page-title);font-weight:var(--font-weight-page-title);color:var(--bright);letter-spacing:-.03em;margin:0;line-height:1.15}.hero p{color:var(--muted);max-width:72ch;font-size:var(--font-size-small);margin-top:.8rem}.chip-row{flex-wrap:wrap;gap:.7rem;margin-top:1.2rem;display:flex}.chip{font-size:var(--font-size-micro);border:1px solid var(--rule);color:var(--muted);font-family:var(--font-readout);padding:.25rem .7rem}table{border-collapse:collapse;width:100%}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);border-bottom:2px solid var(--rule);font-weight:600;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 80ms}tbody tr:hover{background:var(--bg-subtle)}tbody tr:last-child td{border-bottom:none}.badge{--badge-tone:var(--neutral);font-size:var(--font-size-micro);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-weight:600;font-family:var(--font-mono);letter-spacing:.01em;white-space:nowrap;align-items:center;padding:.16rem .5rem;transition:transform .1s;display:inline-flex}.badge:hover{transform:scale(1.02)}.status-badge{--status-tone:var(--neutral);font-size:var(--font-size-micro);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-weight:600;font-family:var(--font-mono);letter-spacing:.01em;white-space:nowrap;align-items:center;gap:.4rem;padding:.16rem .5rem;transition:transform .1s;display:inline-flex}.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{opacity:.85;border-left:1px solid color-mix(in srgb, var(--status-tone) 30%, transparent);padding-left:.4rem;font-weight:500}.status-badge-tag{font-weight:500;font-size:calc(var(--font-size-micro) * .95);background:color-mix(in srgb, var(--succeeded) 22%, transparent);color:var(--succeeded);border:1px solid color-mix(in srgb, var(--succeeded) 45%, transparent);border-radius:999px;padding:.04rem .36rem}.actor-chip{border:1px solid var(--rule);font-size:var(--font-size-micro);font-family:var(--font-readout);color:var(--muted);white-space:nowrap;align-items:center;gap:.28rem;padding:.08rem .38rem;display:inline-flex}.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{border:1px solid var(--queued);color:var(--queued);font-size:var(--font-size-micro);font-family:var(--font-readout);white-space:nowrap;align-items:center;padding:.08rem .38rem;display:inline-flex}.readout{border:1px solid var(--rule);flex-direction:column;flex:1;min-width:140px;padding:1rem;display:flex}.readout-label{font-size:var(--font-size-micro);color:var(--muted);font-family:var(--font-readout);margin-bottom:.42rem}.readout-value{font-size:var(--font-size-readout-value);color:var(--bright);font-family:var(--font-mono)}.progress-bar{background:var(--dim);height:4px;margin:2rem 0;display:flex}.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);-webkit-appearance:none;appearance:none;min-height:2.4rem;line-height:1.4;transition:border-color .12s,box-shadow .12s,background .12s}textarea{resize:vertical;min-height:5.5rem;line-height:1.55}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{border-color:var(--accent);background:var(--bg-panel);box-shadow:0 0 0 3px color-mix(in srgb, var(--accent) 18%, transparent);outline:none}input:disabled,select:disabled,textarea:disabled{opacity:.5;cursor:not-allowed}select{cursor:pointer;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-position:right .75rem center;background-repeat:no-repeat;padding-right:2rem}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){color:var(--muted);font-family:var(--font-readout);letter-spacing:.09em;text-transform:uppercase;gap:.35rem;font-size:.6875rem;line-height:1.2;display:grid}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);letter-spacing:.09em;text-transform:uppercase;margin-bottom:-.35rem;font-size:.6875rem;line-height:1.2}button{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);cursor:pointer;justify-content:center;align-items:center;gap:.35rem;font-weight:600;line-height:1.2;text-decoration:none;transition:all .12s;display:inline-flex}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);box-shadow:none;transform:none}code,pre,.source-block{font-family:var(--font-readout)}code{background:var(--dim);border-radius:2px;padding:.1rem .3rem}pre{background:var(--bg-subtle);border:1px solid var(--rule);padding:1rem;font-size:.84rem;line-height:1.58}.search-section{display:grid}.search-section+.search-section{border-top:1px solid var(--rule)}.search-section-title{color:var(--muted);font-family:var(--font-readout);letter-spacing:.08em;text-transform:uppercase;padding:.55rem .8rem .25rem;font-size:.68rem}.search-item{border-bottom:1px solid var(--rule);gap:.22rem;padding:.65rem .8rem;display:grid}.search-item-title-row{justify-content:space-between;align-items:center;gap:.6rem;display:flex}.search-item-title{color:var(--bright);font-weight:600}.search-item-badge{border:1px solid var(--rule);font-family:var(--font-readout);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);white-space:nowrap;align-items:center;padding:.12rem .38rem;font-size:.64rem;display:inline-flex}.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{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);padding:.75rem .8rem}.callout{background:var(--bright);color:var(--bg);font-size:.7rem;font-family:var(--font-readout);pointer-events:none;padding:.4rem .8rem;font-weight:700;position:absolute}.callout:after{content:"";background:var(--bright);width:1px;height:40px;position:absolute;top:100%;left:10px}.dashed-line{border-left:1px dashed var(--muted);position:absolute}.error-banner{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);padding:.75rem 1rem .75rem 1.2rem;line-height:1.5;position:relative}.error-banner code{color:var(--failed);background:color-mix(in srgb, var(--failed) 8%, transparent)}.empty-state{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") 50%/60px 60px;flex-direction:column;justify-content:center;align-items:center;padding:2.5rem 1.5rem;display:flex}.toast-container{z-index:1001;position:fixed;bottom:2rem;right:2rem}.toast{background:var(--bg-subtle);border:1px solid var(--rule);color:var(--bright);font-size:.78rem;font-family:var(--font-readout);padding:1rem 1.5rem}.source-block{background:var(--bg-subtle);border:1px solid var(--rule);white-space:pre;margin:0;padding:1rem;font-size:.85rem;line-height:1.6;overflow-x:auto}.source-block code{background:0 0;padding:0}.grid-2{grid-template-columns:repeat(2,minmax(0,1fr));gap:1.1rem;display:grid}.repo-table{border-collapse:collapse;width:100%}.table-shell{gap:.45rem;display:grid}.table-scroll{width:100%;overflow-x:auto}.table-toolbar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.8rem;display:flex}.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{z-index:1200;border:1px solid var(--rule);background:var(--bg-panel);box-shadow:var(--panel-shadow);gap:.25rem;min-width:11rem;padding:.4rem;display:grid;position:absolute;top:calc(100% + .3rem);right:0}.table-column-option{font-size:var(--font-size-micro);font-family:var(--font-readout);align-items:center;gap:.5rem;display:flex}.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{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 0 color-mix(in srgb, var(--bg) 88%, transparent);position:sticky}.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{grid-template-columns:auto 1fr;gap:.35rem .8rem;display:grid}.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{flex-wrap:wrap;gap:.5rem;display:flex}.chip-tight{border:1px solid var(--rule);font-size:var(--font-size-micro);font-family:var(--font-readout);align-items:center;padding:.2rem .46rem;display:inline-flex}.stack-row{justify-items:start;gap:.75rem;display:grid}.margin-none{margin:0}.ops-transparent{background:0 0}.ops-meta-label{font-size:var(--font-size-micro);color:var(--muted);font-family:var(--font-readout);margin-bottom:.5rem}.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);font-family:var(--font-readout);margin-bottom:.5rem}.ops-readout-compact{border-color:var(--dim);background:0 0;padding:.5rem .75rem}.ops-readout-compact .readout-value{color:var(--muted);font-size:1.1rem}.dense-list{gap:.45rem;margin:0;padding:0;list-style:none;display:grid}.tab-panel{scroll-margin-top:calc(var(--sticky-header-offset) + 1.25rem)}.table-row-actions{flex-wrap:wrap;align-items:center;gap:1rem;display:inline-flex}.readout-row{grid-template-columns:repeat(2,minmax(0,1fr));gap:.85rem;display:grid}.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 (width<=1024px){.site-header{flex-wrap:wrap;gap:.8rem;padding:.9rem 1rem}.public-shell-header{flex-wrap:wrap}.header-left,.header-right{justify-content:space-between;width:100%}.header-left{gap:.8rem}.header-right{justify-content:flex-end}.container{gap:2rem;padding:2rem 1rem}.two-col{grid-template-columns:1fr;gap:1rem}.split-banner{grid-template-columns:1fr}.splash-grid{grid-template-columns:1fr;gap:3rem}}@media (width<=900px){.site-nav{flex-wrap:wrap;flex:0 0 100%;gap:.1rem;width:100%;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{border-left:0;border-top:1px solid var(--rule);padding-top:1rem;padding-left:0}.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));gap:.8rem;padding:.9rem .95rem;display:grid}.package-filter-grid{grid-template-columns:repeat(auto-fit,minmax(12rem,1fr));gap:.75rem;display:grid}.package-filter-grid label{gap:.28rem;margin:0;display:grid}.package-filter-actions{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.8rem;display:flex}@media (width<=900px){.package-filter-actions{align-items:stretch}.package-filter-actions .button-row{width:100%}}.meta-line{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);flex-wrap:wrap;align-items:center;gap:.2rem;line-height:1.4;display:flex}.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{text-overflow:ellipsis;white-space:nowrap;max-width:30ch;overflow:hidden}.hover-actions{opacity:0;max-height:0;margin-top:0;transition:opacity .12s,max-height .12s;overflow:hidden}: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 (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{flex-wrap:wrap;align-items:center;gap:.5rem .75rem;display:flex}.card-head-inline h3{white-space:nowrap;font-size:var(--font-size-small);font-family:var(--font-readout);color:var(--bright);margin:0}.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);gap:0;min-width:0;display:grid}.card:has(>.card-head),.card:has(>.card-body),.card:has(>.card-foot){padding:0}.card[data-tone]{border-color:var(--tone-border)}.panel-dark{border:1px solid var(--rule);box-shadow:none;background:0 0;border-radius:0;padding:.7rem .9rem}.card-head{border-bottom:1px solid var(--rule);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;min-width:0;padding:.7rem 1rem;display:flex}.card[data-tone]>.card-head{border-bottom-color:var(--tone-border)}.card-actions{flex-shrink:0;align-items:center;gap:.4rem;display:inline-flex}.card-body{gap:.75rem;min-width:0;padding:1rem;display:grid}.card-foot{border-top:1px solid var(--rule);font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted);align-items:center;gap:.6rem;padding:.55rem 1rem;display:flex}.kicker{font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);align-items:center;gap:.35rem;min-width:0;display:inline-flex}.kicker-soft{color:var(--dim);text-transform:none;letter-spacing:0;font-family:var(--font-mono);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.section-label{font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin:0}.meta{font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted);flex-wrap:wrap;align-items:center;gap:.45rem;display:inline-flex}.meta>*+:before{content:"·";color:var(--dim);margin-right:.45rem}.page-title{font-family:var(--font-ui);font-size:var(--font-size-page-title);font-weight:var(--font-weight-page-title);letter-spacing:-.025em;color:var(--bright);margin:0;line-height:1.12}.hash-heading{font-family:var(--font-ui);letter-spacing:-.005em;color:var(--bright);align-items:center;gap:.45rem;margin:0;font-size:1.2rem;font-weight:600;line-height:1.3;display:inline-flex}.hash-heading:before{content:"#";color:var(--muted);font-weight:500}.row-list{gap:.35rem;min-width:0;margin:0;padding:0;list-style:none;display:grid}.row{background:var(--bg-panel);border:1px solid var(--rule);border-left-width:3px;border-left-color:var(--rule);color:inherit;text-align:left;font:inherit;cursor:pointer;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:.5rem .75rem;min-width:0;padding:.5rem .7rem;text-decoration:none;transition:background .1s,border-color .1s,transform 80ms;display:grid}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);color:var(--bright);text-overflow:ellipsis;white-space:nowrap;grid-column:1;font-weight:500;overflow:hidden}.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-area:1/2/span 2;align-self:center}.stat-strip{flex-wrap:wrap;gap:.6rem;min-width:0;display:flex}.stat-tile{background:var(--bg-panel);border:1px solid var(--rule);flex:8.5rem;gap:.2rem;min-width:7.5rem;padding:.55rem .85rem;display:grid}.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);color:var(--bright);align-items:baseline;gap:.25rem;min-width:0;font-weight:600;line-height:1.1;display:inline-flex}.stat-tile[data-tone] .stat-tile-value{color:var(--tone-text)}.stat-tile-denom{font-family:var(--font-mono);color:var(--muted);font-size:.85rem;font-weight:500}.stat-tile-sub{font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted)}.dl-meta{font-size:var(--font-size-small);grid-template-columns:7rem minmax(0,1fr);align-items:baseline;gap:.5rem .75rem;margin:0;display:grid}.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{color:var(--ink);font-family:var(--font-mono);text-overflow:ellipsis;min-width:0;margin:0;overflow:hidden}.dl-meta-value a{color:inherit}.dl-meta-value a:hover{color:var(--accent)}.pill{font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.04em;text-transform:uppercase;border:1px solid var(--rule);background:var(--bg-panel);color:var(--muted);white-space:nowrap;align-items:center;gap:.3rem;padding:.18rem .55rem;font-weight:500;line-height:1.3;display:inline-flex}.pill[data-tone]{background:var(--tone-bg);border-color:var(--tone-border);color:var(--tone-text)}.pill-dot:before{content:"";background:currentColor;border-radius:50%;width:.4rem;height:.4rem;display:inline-block}.link{color:var(--accent);border-bottom:1px solid color-mix(in srgb, var(--accent) 40%, transparent);text-decoration:none;transition:color .12s,border-color .12s}.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);border-bottom:1px dotted var(--rule);text-decoration:none;transition:color .12s,border-color .12s}.link-muted:hover{color:var(--ink);border-bottom-color:var(--ink)}.btn-primary,.btn-ghost{padding:var(--control-pad-y) calc(var(--control-pad-x) + .2rem);font-family:var(--font-mono);font-size:var(--font-size-micro);cursor:pointer;border:1px solid color-mix(in srgb, var(--bright) 28%, var(--rule));background:var(--bg-panel);color:var(--bright);justify-content:center;align-items:center;gap:.35rem;font-weight:600;line-height:1.2;text-decoration:none;transition:background .12s,border-color .12s,color .12s,transform 80ms,box-shadow .12s;display:inline-flex}.btn-primary{background:var(--bright);border-color:var(--bright);color:var(--bg-panel);min-height:2.4rem;font-weight:700}.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{border-color:var(--rule);color:var(--muted);font-size:calc(var(--font-size-micro) - .5px);background:0 0;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]{min-height:auto;font-size:var(--font-size-micro);padding:.3rem .6rem}.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);box-shadow:none;transform:none}.fold{border-top:1px dashed var(--rule);gap:0;display:grid}.fold>summary{cursor:pointer;font-family:var(--font-readout);font-size:var(--font-size-micro);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);justify-content:space-between;align-items:center;gap:.5rem;padding:.55rem 0;list-style:none;display:flex}.fold>summary::-webkit-details-marker{display:none}.fold>summary:after{content:"+";font-family:var(--font-mono);color:var(--muted);font-size:.95rem;line-height:1;transition:transform .12s}.fold[open]>summary:after{content:"−"}.fold>summary:hover{color:var(--ink)}.fold-title{color:var(--ink);align-items:center;gap:.4rem;font-weight:600;display:inline-flex}.fold-meta{color:var(--dim);text-transform:none;letter-spacing:0;font-family:var(--font-mono);margin-left:auto}.bar{background:color-mix(in srgb, var(--rule) 55%, transparent);height:.35rem;display:block;position:relative;overflow:hidden}.bar>b{background:var(--accent);height:100%;transition:width .2s;display:block}.bar[data-tone]>b{background:var(--tone-accent)}.tabs{border-bottom:1px solid var(--rule);gap:0;min-width:0;display:flex}.tab{color:var(--muted);font-family:var(--font-readout);border:none;border-bottom:var(--tab-indicator-width) solid transparent;cursor:pointer;background:0 0;align-items:center;gap:.4rem;margin-bottom:-1px;padding:.55rem .85rem;font-size:.82rem;font-weight:500;text-decoration:none;transition:color .1s,border-color .1s;display:inline-flex}.tab:hover{color:var(--bright)}.tab.is-active,.tab[aria-current=page]{color:var(--bright);border-bottom-color:var(--tab-indicator-color);font-weight:600}.tab-count{background:var(--muted-soft);min-width:1.2rem;color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro);border-radius:2px;justify-content:center;align-items:center;padding:0 .32rem;font-weight:600;line-height:1.3;display:inline-flex}.tab.is-active .tab-count,.tab[aria-current=page] .tab-count{background:var(--accent-dim);color:var(--accent)}@media (width<=760px){.tabs{-webkit-overflow-scrolling:touch;overflow-x:auto}.tab{text-align:center;white-space:nowrap;flex:auto}}.page{max-width:1400px;padding:var(--container-pad-y) var(--container-pad-x);gap:var(--section-gap-major);margin:0 auto;display:grid}.page-header{gap:.75rem;display:grid}.page-header-row{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:1rem;display:flex}.page-actions{flex-shrink:0;align-items:center;gap:.5rem;display:inline-flex}.empty-hint{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);align-items:center;gap:.5rem;padding:.75rem .9rem;display:flex}.empty-hint[data-tone]{background:var(--tone-bg);border-color:var(--tone-border);color:var(--tone-text)}.graph-card{gap:.75rem;display:grid}.graph-card:fullscreen{background:var(--bg);padding:var(--panel-padding);overflow:auto}.graph-card:fullscreen .graph-viewport,.graph-card:fullscreen .graph-svg{min-height:calc(100vh - 14rem)}.graph-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.8rem;display:flex}.graph-head-copy{gap:.45rem;display:grid}.graph-head-right{justify-items:end;gap:.6rem;display:grid}.graph-search-row{align-items:center;gap:.35rem;display:flex}.graph-search-input{width:11rem;font-size:var(--font-size-micro);font-family:var(--font-readout);background:var(--bg-panel);border:1px solid var(--rule);color:var(--bright);padding:.25rem .5rem}.graph-search-input:focus{border-color:var(--accent);outline:none}.graph-control-stack{justify-items:end;gap:.35rem;display:grid}.graph-depth-controls{align-items:stretch}.graph-range-control{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);border:1px solid var(--rule);grid-template-columns:auto minmax(5rem,8rem) 1.6rem;align-items:center;gap:.4rem;padding:.25rem .45rem;display:inline-grid}.graph-range-control input{accent-color:var(--accent)}.graph-controls{flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:.35rem;display:inline-flex}.graph-inline-control{color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro);align-items:center;gap:.35rem;display:inline-flex}.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{flex-wrap:wrap;gap:.45rem .8rem;display:flex}.graph-legend-item{color:var(--muted);font-size:.74rem;font-family:var(--font-readout);align-items:center;gap:.45rem;display:inline-flex}.graph-legend-swatch,.graph-legend-line{border:1px solid color-mix(in srgb, var(--bright) 16%, transparent);border-radius:999px;width:.85rem;height:.85rem;display:inline-block}.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{border-width:1px 0 0;border-radius:0;width:1rem;height: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{border:1px solid var(--rule);background:color-mix(in srgb, var(--bg-subtle) 82%, var(--bg-panel));flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;padding:.7rem .85rem;font-size:.8rem;display:flex}.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{border:1px solid var(--rule);background:color-mix(in srgb, var(--bg-panel) 82%, var(--bg));grid-template-columns:repeat(5,minmax(0,1fr));display:grid}.graph-summary-cell{border-right:1px solid var(--rule);gap:.2rem;padding:.8rem .9rem;display:grid}.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);color:var(--bright);font-size:1.5rem}.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{gap:.85rem;display:grid}.graph-summary-grid{border:1px solid var(--rule);grid-template-columns:repeat(4,minmax(0,1fr));display:grid}.graph-summary-grid .stat-cell{gap:.18rem;min-width:0;padding:.75rem .9rem;display:grid}.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{border:1px solid var(--rule);gap:.45rem;min-width:0;padding:.75rem .9rem;display:grid}.graph-list-panel h4{margin:0}.graph-list-primary{text-overflow:ellipsis;white-space:nowrap;vertical-align:middle;min-width:min(18rem,100%);max-width:min(28rem,100%);display:inline-block;overflow:hidden}.graph-node-badges{flex-wrap:wrap;align-items:center;gap:.3rem;margin-left:.45rem;display:inline-flex}.graph-link-button{font:inherit;cursor:pointer;background:0 0;border:0;margin-left:.45rem;padding:0}.graph-link-button:disabled{opacity:.45;cursor:not-allowed}.graph-table td{vertical-align:middle}.graph-viewport{border:1px solid var(--rule);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);cursor:grab;background-size:24px 24px,24px 24px,auto;min-height:25rem;position:relative}.graph-viewport.is-webgl{cursor:default;min-height:clamp(34rem,72vh,58rem);overflow:hidden}.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{min-height:inherit;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;outline:none;position:absolute;inset:0}.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{z-index:2;pointer-events:none;flex-wrap:wrap;gap:.4rem;display:flex;position:absolute;top:.75rem;left:.75rem}.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);padding:.18rem .4rem;font-size:.72rem}.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.5px}.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);letter-spacing:.05em;text-transform:uppercase;font-size:.78rem}.graph-column-meta{fill:color-mix(in srgb, var(--bright) 62%, var(--muted));font-size:.62rem}.graph-edge{stroke:currentColor;stroke-width:1.25px;opacity:.45}.graph-edge-hitbox{fill:none;stroke:#0000;stroke-width:18px;cursor:pointer}.graph-edge.is-active{color:var(--bright);opacity:.95}.graph-edge.is-selected{stroke-width:2.15px;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}.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:2px}.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:2px}.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.4px}.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.7px}.graph-node.is-blueprint.is-draft-target rect{stroke:color-mix(in srgb, var(--bright) 68%, currentColor);stroke-width:2.7px}.graph-node.is-blueprint.is-reorder-source rect{stroke-width:2.7px;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{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-size:.72rem;font-family:var(--font-readout)}.graph-node.is-blueprint text{stroke-width:0}.graph-node-kicker{letter-spacing:.05em;text-transform:uppercase;fill:var(--muted);font-size:.62rem}.graph-node-title{fill:var(--bright);font-size:.88rem;font-weight:600}.graph-node-meta{fill:color-mix(in srgb, var(--bright) 70%, var(--muted));font-size:.66rem}.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.5px;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{fill:var(--muted);font-size:.58rem;font-family:var(--font-readout);pointer-events:none}.graph-minimap{border:1px solid var(--rule);background:var(--bg-panel);opacity:.85;cursor:pointer;z-index:10;pointer-events:auto;width:180px;height:120px;position:absolute;bottom:.75rem;right:.75rem}.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{gap:.45rem;display:grid}.graph-selection-form{border-top:1px solid var(--rule);gap:.75rem;padding-top:.75rem;display:grid}.graph-selection-form-head{gap:.2rem;display:grid}.graph-selection-actions{gap:.65rem;display:grid}.graph-selection-form label{gap:.35rem;display:grid}.graph-selection-form textarea{resize:vertical;min-height:7rem}.graph-selection-note{color:var(--muted);font-size:.76rem}.graph-selection-line{flex-wrap:wrap;align-items:center;gap:.4rem;display:flex}.graph-selection-link,.graph-node-linkless{font-family:var(--font-readout);font-size:.8rem}.graph-node-linkless{color:var(--bright)}.graph-rel-group{border-top:1px solid var(--rule);gap:.35rem;padding-top:.65rem;display:grid}.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{gap:.25rem;max-height:12rem;display:grid;overflow:auto}.graph-rel-item{text-align:left;cursor:pointer;width:100%;font:inherit;background:0 0;border:1px solid #0000;align-items:baseline;gap:.5rem;padding:.3rem .4rem;display:flex}.graph-rel-item:hover{border-color:var(--rule);background:color-mix(in srgb, var(--bg-panel) 92%, var(--bright))}.graph-rel-rel{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);flex:none}.graph-rel-title{color:var(--bright);flex:auto;font-size:.82rem}.graph-node-list{border-top:1px solid var(--rule);max-height:11rem;padding-top:.65rem;overflow:auto}.graph-node-list li{flex-wrap:wrap;align-items:center;gap:.35rem;display:flex}.site-footer[data-astro-cid-cturzcdg]{border-top:1px solid var(--rule);background:var(--bg);color:var(--muted)}.site-footer-inner[data-astro-cid-cturzcdg]{width:100%;max-width:82rem;padding:1rem var(--header-pad-x);justify-content:space-between;align-items:center;gap:1rem;margin:0 auto;display:flex}.site-footer-brand[data-astro-cid-cturzcdg]{color:var(--bright);font-family:var(--font-mono);letter-spacing:0;text-transform:uppercase;white-space:nowrap;font-size:.78rem;text-decoration:none}.site-footer-nav[data-astro-cid-cturzcdg]{flex-wrap:wrap;justify-content:flex-end;gap:.35rem .9rem;display:flex}.site-footer-nav[data-astro-cid-cturzcdg] a[data-astro-cid-cturzcdg]{color:var(--muted);font-size:.78rem;text-decoration:none}.site-footer-nav[data-astro-cid-cturzcdg] a[data-astro-cid-cturzcdg]:hover{color:var(--bright)}@media (width<=680px){.site-footer-inner[data-astro-cid-cturzcdg]{flex-direction:column;align-items:flex-start}.site-footer-nav[data-astro-cid-cturzcdg]{justify-content:flex-start}}