@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: 14px;--line-height-body: 1.58;--font-size-small: .84rem;--font-size-micro: .74rem;--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);--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)}:root[data-density=ultra-dense]{--font-size-body: 13px;--line-height-body: 1.48;--font-size-small: .8rem;--font-size-micro: .7rem;--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}:root[data-density=compact]{--font-size-body: 14px;--line-height-body: 1.58;--font-size-small: .84rem;--font-size-micro: .74rem;--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}:root[data-density=balanced]{--font-size-body: 15px;--line-height-body: 1.65;--font-size-small: .9rem;--font-size-micro: .78rem;--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}: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: #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);--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)}:root[data-theme=og-dark]{--bg: #000000;--bg-subtle: #080808;--bg-panel: #000000;--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 10px 30px rgba(0, 0, 0, .8);--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)}: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 10px 30px rgba(0, 0, 0, .45);--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)}: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)}*,*: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}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}.site-header{display:grid;grid-template-columns:auto minmax(24rem,1fr) auto;align-items:center;gap:1.2rem;padding:var(--header-pad-y) var(--header-pad-x);background:var(--bg);border-bottom:1px solid var(--rule);position:sticky;top:0;z-index:1000}.header-left,.header-right{display:flex;align-items:center;gap:.9rem}.header-left{gap:2.2rem}.header-search{display:flex;align-items:center;min-width:0}.brand-cluster{display:flex;align-items:center}.brand{font-family:Berkeley Mono,JetBrains Mono,ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:400;font-size:1rem;color:var(--bright);letter-spacing:.12em;text-transform:uppercase}.site-nav{display:flex;align-items:center;gap:.75rem}.site-nav a{color:var(--muted);font-size:.8rem;font-family:var(--font-readout)}.site-nav a:hover{color:var(--bright)}.public-shell-header{grid-template-columns:auto 1fr auto;gap:1rem;position:static;background:linear-gradient(180deg,rgba(255,255,255,.46),transparent),color-mix(in srgb,var(--bg-subtle) 88%,var(--bg))}.public-shell-brand,.public-shell-actions{display:flex;align-items:center;gap:.8rem}.public-shell-tag{color:var(--muted);font-size:.72rem;letter-spacing:.12em;text-transform:uppercase;font-family:var(--font-readout)}.public-shell-nav{display:flex;flex-wrap:wrap;gap:.75rem;align-items:center;justify-content:center}.public-shell-nav a{color:var(--muted)}.public-shell-nav a:hover{color:var(--bright)}.public-shell-main{min-height:calc(100vh - 80px)}.public-shell-cta{white-space:nowrap}.nav-box{color:var(--muted);font-family:var(--font-readout)}.nav-box:before{content:"[ "}.nav-box:after{content:" ]"}.nav-box:hover{color:var(--bright)}.theme-control{display:inline-flex;align-items:center;gap:.45rem}.theme-label{font-size:.72rem;color:var(--muted);font-family:var(--font-readout)}.theme-select{width:auto;min-width:9.2rem;font-size:.72rem;padding:.35rem .45rem;border:1px solid var(--rule);background:var(--bg-subtle);color:var(--bright);font-family:var(--font-readout)}.chip-user{color:var(--bright)}.user-actions{display:flex;align-items:center;gap:.6rem}.shell-menu{position:relative}.shell-menu summary{list-style:none}.shell-menu summary::-webkit-details-marker{display:none}.shell-menu-trigger{cursor:pointer;user-select:none;color:var(--muted)}.shell-menu[open] .shell-menu-trigger{color:var(--bright);border-color:var(--bright)}.shell-menu-popover{position:absolute;top:calc(100% + .35rem);right:0;width:min(23rem,92vw);border:1px solid var(--rule);background:var(--bg-panel);box-shadow:var(--panel-shadow);padding:.45rem;display:grid;gap:.55rem;z-index:1200}.shell-menu-section{display:grid;gap:.18rem}.shell-menu-label{padding:.2rem .45rem .3rem;font-family:var(--font-readout);font-size:.68rem;letter-spacing:.08em;text-transform:uppercase;color:var(--muted)}.shell-menu-item{display:grid;gap:.18rem;padding:.55rem .58rem;font-family:var(--font-readout);font-size:.73rem;color:var(--bright);border:1px solid transparent}.shell-menu-item strong{font-size:.76rem;font-weight:600}.shell-menu-item span{color:var(--muted);line-height:1.45}.shell-menu-item:hover{color:var(--accent);background:var(--bg-subtle);border-color:var(--rule);text-decoration:none}.shell-menu-item:hover span{color:var(--ink)}.shell-menu-item-danger strong,.shell-menu-item-danger:hover strong{color:var(--failed)}.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}.profile-subnav{display:flex;flex-wrap:wrap;gap:.5rem;padding-bottom:1rem;border-bottom:1px dashed var(--rule)}.profile-subnav-link{display:inline-flex;align-items:center;border:1px solid var(--rule);padding:.24rem .6rem;font-family:var(--font-readout);font-size:var(--font-size-micro);color:var(--muted);font-weight:500;background:var(--bg-panel)}.profile-subnav-link:hover{color:var(--bright);border-color:var(--bright);text-decoration:none}.profile-subnav-link.is-active{color:var(--bright);border-color:var(--bright);background:color-mix(in srgb,var(--accent) 14%,var(--bg-panel));font-weight:600}.surface-view-switch{display:inline-flex;align-items:center;flex-wrap:wrap;gap:.35rem;padding:.28rem;border:1px solid var(--rule);background:color-mix(in srgb,var(--bg-subtle) 82%,var(--bg-panel));box-shadow:var(--panel-shadow)}.surface-view-tab{display:inline-flex;align-items:center;justify-content:center;min-height:2.1rem;padding:.36rem .82rem;border:1px solid transparent;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);font-weight:600;letter-spacing:.03em;background:transparent}.surface-view-tab:hover{color:var(--bright);text-decoration:none}.surface-view-tab.is-active{color:var(--bright);border-color:color-mix(in srgb,var(--bright) 35%,var(--rule));background:var(--bg-panel)}.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:before{content:"";position:absolute;left:0;top:0;bottom:0;width:3px;background:color-mix(in srgb,var(--section-tone) 72%,transparent)}.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-readout);letter-spacing:.08em;text-transform:uppercase}.section-summary,.dossier-copy{margin:0;color:var(--ink);font-size:var(--font-size-small);line-height:1.58}.dossier-card{border:1px solid color-mix(in srgb,var(--section-tone) 16%,var(--rule));background:linear-gradient(180deg,color-mix(in srgb,var(--section-tone) 4%,var(--bg-panel)),color-mix(in srgb,var(--bg-subtle) 82%,var(--bg-panel)));padding:1rem;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:1.08rem;font-family:var(--font-readout);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(--container-gap)}.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}.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-dark,.panel-light{background:transparent;border:1px solid var(--rule);padding:var(--panel-padding);border-radius:0;box-shadow:var(--panel-shadow)}.panel-dark h2,.panel-light h2{font-size:.78rem;font-weight:600;color:var(--muted);margin:0 0 1rem;display:flex;align-items:center;letter-spacing:.02em;font-family:var(--font-readout)}.hash-heading{display:inline-flex;align-items:center;gap:.45rem}.hero{padding-bottom:1.4rem;border-bottom:1px dashed var(--rule)}.hero h1{font-size:clamp(1.8rem,2.7vw,2.4rem);font-weight:650;color:var(--bright);margin:0;letter-spacing:-.03em}.hero p{color:var(--muted);margin-top:.8rem;max-width:85ch}.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(--table-head-font-size);font-weight:500;border-bottom:1px solid var(--rule);font-family:var(--font-readout);letter-spacing:.015em}td{padding:var(--table-cell-pad-y) var(--table-cell-pad-x);border-bottom:1px solid var(--rule);font-size:var(--font-size-small)}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);font-family:var(--font-readout);letter-spacing:.01em;white-space:nowrap}.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:1.6rem;color:var(--bright);font-family:var(--font-readout)}.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],select,textarea{background:var(--bg-panel);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)}input:focus,select:focus,textarea:focus{outline:none;border-color:var(--bright)}button,.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);background:var(--bg-panel);border:1px solid color-mix(in srgb,var(--bright) 28%,var(--rule));color:var(--bright);font-family:var(--font-readout);font-size:var(--font-size-micro);font-weight:600;line-height:1.2;text-decoration:none;cursor:pointer;transition:all .1s ease}button:hover,.btn-primary{background:var(--bright);border-color:var(--bright);color:var(--bg-panel)}.btn-primary:hover{background:color-mix(in srgb,var(--bright) 86%,black);border-color:color-mix(in srgb,var(--bright) 86%,black);color:var(--bg-panel)}.btn-ghost{border-color:var(--rule);color:var(--muted);background:transparent}.btn-ghost:hover{border-color:var(--bright);color:var(--bright);background:transparent}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-input{width:100%;background:var(--bg-panel)!important;border:1px solid var(--rule)!important;padding-right:2.7rem}.search-input:focus{border-color:var(--bright)!important}.search-wrapper{position:relative;min-width:0;width:100%}.search-shortcut{position:absolute;top:50%;right:.72rem;transform:translateY(-50%);font-family:var(--font-readout);font-size:.72rem;color:var(--muted);pointer-events:none}.search-results{position:absolute;top:calc(100% + .35rem);left:0;width:100%;max-height:28rem;overflow:auto;border:1px solid var(--rule);background:var(--bg-panel);box-shadow:var(--panel-shadow);z-index:1200;display:none}.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)}.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}.filter-bar,.repo-quick-filters{display:flex;align-items:center;gap:.35rem;margin-bottom:1rem;flex-wrap:wrap}.filter-btn,.repo-filter-chip{--repo-filter-chip-tone: var(--neutral);display:inline-flex;align-items:center;justify-content:center;gap:.28rem;min-height:1.32rem;padding:.1rem .44rem;font-size:var(--font-size-micro);line-height:1.2;background:color-mix(in srgb,var(--repo-filter-chip-tone) 8%,var(--bg-panel));border:1px solid color-mix(in srgb,var(--repo-filter-chip-tone) 28%,var(--rule));color:color-mix(in srgb,var(--repo-filter-chip-tone) 76%,var(--bright));cursor:pointer;transition:background-color .1s ease,border-color .1s ease,color .1s ease,box-shadow .1s ease;font-family:var(--font-readout);font-weight:600;white-space:nowrap;letter-spacing:.01em;text-decoration:none}.filter-btn:hover,.repo-filter-chip:hover{border-color:color-mix(in srgb,var(--repo-filter-chip-tone) 62%,var(--rule));color:color-mix(in srgb,var(--repo-filter-chip-tone) 88%,var(--bright));background:color-mix(in srgb,var(--repo-filter-chip-tone) 16%,var(--bg-panel))}.filter-btn.active,.filter-btn[aria-pressed=true],.filter-btn[data-state=active],.repo-filter-chip.active,.repo-filter-chip.is-active,.repo-filter-chip[aria-pressed=true],.repo-filter-chip[data-state=active]{border-color:color-mix(in srgb,var(--repo-filter-chip-tone) 76%,var(--rule));color:color-mix(in srgb,var(--repo-filter-chip-tone) 92%,var(--bright));background:color-mix(in srgb,var(--repo-filter-chip-tone) 24%,var(--bg-panel))}.filter-btn:focus-visible,.repo-filter-chip:focus-visible{outline:2px solid var(--focus-ring);outline-offset:2px;box-shadow:0 0 0 2px color-mix(in srgb,var(--focus-ring) 30%,transparent)}.filter-btn[disabled],.filter-btn[aria-disabled=true],.repo-filter-chip[disabled],.repo-filter-chip[aria-disabled=true]{cursor:not-allowed;opacity:.52}.filter-btn[data-tone=dependency],.repo-filter-chip[data-tone=dependency]{--repo-filter-chip-tone: var(--blocker-tone-dependency)}.filter-btn[data-tone=track],.repo-filter-chip[data-tone=track]{--repo-filter-chip-tone: var(--blocker-tone-track)}.filter-btn[data-tone=policy],.repo-filter-chip[data-tone=policy]{--repo-filter-chip-tone: var(--blocker-tone-policy)}.filter-btn[data-tone=toolchain],.repo-filter-chip[data-tone=toolchain]{--repo-filter-chip-tone: var(--blocker-tone-toolchain)}.filter-btn[data-tone=clear],.repo-filter-chip[data-tone=clear]{--repo-filter-chip-tone: var(--blocker-tone-clear)}.repo-quick-filters.is-vcs-compact .repo-filter-chip,.repo-quick-filters[data-density=vcs-compact] .repo-filter-chip{min-height:1.24rem;padding:.07rem .34rem;font-size:.68rem}.repo-filter-chip-count{color:color-mix(in srgb,currentColor 85%,var(--bg-panel));font-size:.67em}@media (prefers-reduced-motion: reduce){.filter-btn,.repo-filter-chip{transition:none}}.card-link-list{display:grid;gap:.5rem}.card-link{display:flex;align-items:center;gap:.75rem;padding:.75rem;text-decoration:none;border-radius:4px;border:1px solid var(--rule);transition:border-color .1s ease}.card-link:hover{border-color:var(--bright);color:inherit}.card-link-name{font-weight:600;font-size:.92rem}.card-link-meta{font-size:.76rem;color:var(--muted);margin-left:.5rem}.badge-score{background:var(--bg-subtle);font-size:.72rem;min-width:3rem;text-align:center}.card{border:1px solid var(--rule);background:var(--bg-subtle);padding:1.1rem}.grid-2{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1.1rem}.repo-table{width:100%;border-collapse:collapse}.repo-proof-table{table-layout:fixed}.repo-proof-table th[data-col=name]{width:18%}.repo-proof-table th[data-col=prover]{width:7%}.repo-proof-table th[data-col=state]{width:9%}.repo-proof-table th[data-col=reason]{width:17%}.repo-proof-table th[data-col=owner]{width:12%}.repo-proof-table th[data-col=ai]{width:11%}.repo-proof-table th[data-col=last_run]{width:12%}.repo-proof-table th[data-col=module]{width:18%}.repo-proof-table th[data-col=commit]{width:9%}.repo-proof-table th,.repo-proof-table td{padding-block:.46rem}.repo-proof-table td{vertical-align:middle}.proof-name-link,.proof-module-path{display:inline-block;max-width:100%;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.proof-name-stack{display:grid;gap:.18rem}.proof-handle,.queue-block-handle{color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.proof-module-path{color:var(--muted);font-family:var(--font-readout);font-size:var(--font-size-micro)}.proof-ai-cell{display:inline-flex;align-items:center;flex-wrap:wrap;gap:.25rem}.proof-ai-cell .chip-tight{padding:.1rem .35rem}.commit-readout{color:var(--muted);font-size:var(--font-size-micro)}.table-shell{display:grid;gap:.45rem}.table-sticky-head{position:sticky;top:var(--sticky-header-offset);z-index:5;background:var(--bg-panel)}.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}.table-scroll .repo-table[data-sticky-head=true] thead{visibility:hidden}.table-scroll .repo-table[data-sticky-head=true] thead th{padding:0;border:0;height:0;line-height:0}.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}.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)}.blocker-chip,.proof-blocker-reason{--blocker-chip-tone: var(--blocker-tone-toolchain);display:inline-flex;align-items:center;gap:.22rem;max-width:100%;padding:.08rem .4rem;border:1px solid color-mix(in srgb,var(--blocker-chip-tone) 48%,var(--rule));background:color-mix(in srgb,var(--blocker-chip-tone) 14%,var(--bg-panel));color:color-mix(in srgb,var(--blocker-chip-tone) 84%,var(--bright));font-size:var(--font-size-micro);line-height:1.2;font-weight:600;font-family:var(--font-readout);white-space:nowrap}.blocker-chip:is(.is-dependency,[data-blocker-kind=dependency]),.proof-blocker-reason:is(.is-dependency,[data-blocker-kind=dependency]){--blocker-chip-tone: var(--blocker-tone-dependency)}.blocker-chip:is(.is-track,[data-blocker-kind=track]),.proof-blocker-reason:is(.is-track,[data-blocker-kind=track]){--blocker-chip-tone: var(--blocker-tone-track)}.blocker-chip:is(.is-policy,[data-blocker-kind=policy]),.proof-blocker-reason:is(.is-policy,[data-blocker-kind=policy]){--blocker-chip-tone: var(--blocker-tone-policy)}.blocker-chip:is(.is-toolchain,[data-blocker-kind=toolchain]),.proof-blocker-reason:is(.is-toolchain,[data-blocker-kind=toolchain]){--blocker-chip-tone: var(--blocker-tone-toolchain)}.blocker-chip:is(.is-clear,[data-blocker-kind=clear]),.proof-blocker-reason:is(.is-clear,[data-blocker-kind=clear]){--blocker-chip-tone: var(--blocker-tone-clear)}.repo-table .proof-blocker-reason.is-blocked{--blocker-chip-tone: var(--blocker-tone-track)}.repo-table .proof-blocker-reason.is-clear{--blocker-chip-tone: var(--blocker-tone-clear)}.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)}.queue-form{display:grid;gap:.7rem;max-width:24rem}.queue-form label{display:grid;gap:.3rem;font-size:.76rem;color:var(--muted);font-family:var(--font-readout)}.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)}.work-recent-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1.1rem}.work-queue-grid{display:grid;grid-template-columns:minmax(220px,.95fr) minmax(220px,.95fr) minmax(320px,1.35fr);gap:1.1rem;align-items:start}.work-queue-grid.is-unclaimed-wide{grid-template-columns:minmax(180px,.7fr) minmax(180px,.7fr) minmax(360px,1.75fr)}.work-queue-grid.is-unclaimed-focused{grid-template-columns:minmax(160px,.5fr) minmax(160px,.5fr) minmax(420px,2.2fr)}.queue-block{border:1px solid var(--rule);background:var(--bg-subtle);padding:.8rem;display:grid;gap:.5rem;align-self:start}.queue-block.is-empty{border-style:dashed}.queue-block h3{margin:0;font-size:var(--font-size-small);color:var(--bright)}.queue-block-list{list-style:none;margin:0;padding:0;display:grid;gap:.35rem}.queue-block-list li{display:flex;align-items:flex-start;justify-content:space-between;gap:.45rem}.queue-block-actions{display:inline-flex;align-items:center;gap:.35rem;flex-wrap:wrap}.queue-open-link{display:inline-flex;align-items:center;justify-content:center;border:1px solid color-mix(in srgb,var(--bright) 24%,var(--rule));color:var(--bright);background:var(--bg-panel);padding:.12rem .42rem;font-size:var(--font-size-micro);font-family:var(--font-readout);font-weight:600;text-decoration:none;white-space:nowrap}.queue-open-link:hover{background:var(--bright);color:var(--bg-panel);border-color:var(--bright)}.queue-block-main{display:grid;gap:.15rem}.queue-block-meta{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout)}.queue-block-empty{margin:0;padding:.6rem .65rem;border:1px dashed var(--rule);background:color-mix(in srgb,var(--bg-subtle) 65%,transparent);display:grid;gap:.4rem}.queue-block-empty p{margin:0}.queue-block-empty-note{color:var(--muted);font-size:var(--font-size-small);line-height:1.45}.inline-ai{margin:0}.inline-ai summary{cursor:pointer;color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout)}.inline-ai pre{margin-top:.35rem;padding:.6rem;font-size:.78rem}.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}.graph-card{display:grid;gap:.75rem}.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-control-stack{display:grid;justify-items:end;gap:.35rem}.graph-controls{display:inline-flex;align-items:center;gap:.35rem;flex-wrap:wrap;justify-content:flex-end}.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-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-viewport{border:1px solid var(--rule);min-height:25rem;background:linear-gradient(var(--rule) 1px,transparent 1px),linear-gradient(90deg,var(--rule) 1px,transparent 1px),var(--bg);background-size:24px 24px,24px 24px,auto;cursor:grab}.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-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-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-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-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 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-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-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}.blueprint-surface-stack{display:grid;gap:1.1rem}.blueprint-stat-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(10rem,1fr));gap:.7rem}.blueprint-stat-grid--surface{margin-top:.95rem;margin-bottom:.95rem}.blueprint-stat-card{border:1px solid var(--rule);background:linear-gradient(180deg,rgba(255,255,255,.45),transparent),var(--bg-subtle);padding:.8rem .85rem;display:grid;gap:.25rem;position:relative;overflow:clip}.blueprint-stat-card:before{content:"";position:absolute;inset:0 auto 0 0;width:.24rem;background:color-mix(in srgb,var(--accent) 74%,transparent);opacity:.88}.blueprint-stat-label{color:var(--muted);font-size:var(--font-size-micro);font-family:var(--font-readout);text-transform:uppercase;letter-spacing:.04em}.blueprint-stat-value{color:var(--bright);font-family:var(--font-readout);font-size:1rem;line-height:1.15}.blueprint-live-status{margin:0 0 .85rem}.blueprint-muted{margin:0;color:var(--muted)}.blueprint-node-list{display:grid;gap:.9rem}.blueprint-node-card{border:1px solid var(--rule);background:linear-gradient(180deg,rgba(255,255,255,.48),transparent),color-mix(in srgb,var(--bg-subtle) 88%,var(--bg-panel));padding:1rem;display:grid;gap:.85rem;position:relative;overflow:clip;scroll-margin-top:5rem}.blueprint-node-card[data-stale=true]{box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--queued) 32%,transparent),0 18px 32px -28px color-mix(in srgb,var(--queued) 42%,transparent)}.blueprint-node-card[data-view=public]{padding:1.1rem;gap:1rem}.blueprint-node-card:before{content:"";position:absolute;inset:0 auto 0 0;width:.24rem;background:color-mix(in srgb,var(--accent) 74%,transparent);opacity:.9}.blueprint-node-card[data-tone=blocked]:before{background:color-mix(in srgb,var(--failed) 72%,transparent)}.blueprint-node-card[data-tone=running]:before{background:color-mix(in srgb,var(--running) 74%,transparent)}.blueprint-node-card[data-tone=succeeded]:before{background:color-mix(in srgb,var(--succeeded) 74%,transparent)}.blueprint-node-head{display:flex;justify-content:space-between;gap:.9rem;align-items:start;flex-wrap:wrap}.blueprint-node-title{display:grid;gap:.2rem}.blueprint-node-title h3{margin:0;font-size:1rem}.blueprint-node-card[data-view=public] .blueprint-node-title h3{font-size:1.08rem}.blueprint-node-meta{display:flex;flex-wrap:wrap;gap:.4rem;align-items:center;justify-content:flex-end}.blueprint-node-actions,.blueprint-edge-actions{display:flex;flex-wrap:wrap;gap:.45rem;align-items:center}.blueprint-node-spotlight-grid{display:grid;gap:.75rem;grid-template-columns:repeat(auto-fit,minmax(18rem,1fr))}.blueprint-node-spotlight{border:1px solid var(--rule);background:linear-gradient(135deg,rgba(255,255,255,.54),transparent 62%),color-mix(in srgb,var(--bg-panel) 92%,var(--bg-subtle));padding:.9rem .95rem;display:grid;gap:.55rem;min-width:0}.blueprint-node-spotlight[data-tone=blocked]{border-color:color-mix(in srgb,var(--failed) 38%,var(--rule));background:linear-gradient(135deg,color-mix(in srgb,var(--failed) 10%,transparent),transparent 62%),color-mix(in srgb,var(--bg-panel) 94%,var(--bg-subtle))}.blueprint-node-spotlight[data-tone=warning]{border-color:color-mix(in srgb,var(--queued) 44%,var(--rule));background:linear-gradient(135deg,color-mix(in srgb,var(--queued) 14%,transparent),transparent 62%),color-mix(in srgb,var(--bg-panel) 94%,var(--bg-subtle))}.blueprint-node-spotlight[data-tone=succeeded]{border-color:color-mix(in srgb,var(--succeeded) 32%,var(--rule));background:linear-gradient(135deg,color-mix(in srgb,var(--succeeded) 12%,transparent),transparent 62%),color-mix(in srgb,var(--bg-panel) 94%,var(--bg-subtle))}.blueprint-node-spotlight h4,.blueprint-node-spotlight p{margin:0}.blueprint-node-card[data-view=public] .blueprint-node-spotlight{padding:1rem 1.05rem}.blueprint-body-grid{display:grid;gap:.75rem;grid-template-columns:repeat(auto-fit,minmax(18rem,1fr))}.blueprint-body-card{border:1px solid var(--rule);background:color-mix(in srgb,var(--bg-panel) 88%,var(--bg-subtle));padding:.8rem .85rem;display:grid;gap:.4rem;min-width:0}.blueprint-body-card h4,.blueprint-node-section h4{margin:0;font-size:.84rem;color:var(--bright);font-family:var(--font-readout);letter-spacing:.03em;text-transform:uppercase}.blueprint-text-block{margin:0;white-space:pre-wrap;overflow-wrap:anywhere;line-height:1.55}.blueprint-node-sections{display:grid;gap:.75rem;grid-template-columns:repeat(auto-fit,minmax(16rem,1fr))}.blueprint-node-section{display:grid;gap:.45rem;min-width:0}.blueprint-binding-list,.blueprint-edge-list,.blueprint-warning-list{list-style:none;margin:0;padding:0;display:grid;gap:.55rem}.blueprint-binding-list li,.blueprint-edge-list li,.blueprint-warning-list li{border:1px solid var(--rule);background:color-mix(in srgb,var(--bg-subtle) 78%,var(--bg-panel));padding:.75rem .8rem;display:grid;gap:.32rem}.blueprint-warning-list li{border-color:color-mix(in srgb,var(--queued) 52%,var(--rule))}.blueprint-binding-meta,.blueprint-edge-meta{display:flex;flex-wrap:wrap;gap:.35rem;align-items:center}.blueprint-edge-table{width:100%;border-collapse:collapse}.blueprint-edge-table th,.blueprint-edge-table td{padding:.7rem .75rem;border-bottom:1px solid var(--rule);vertical-align:top;text-align:left}.blueprint-edge-table code{overflow-wrap:anywhere}.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)}.theorem-meta-chip{color:var(--bright);border-color:color-mix(in srgb,currentColor 45%,var(--rule));background:color-mix(in srgb,currentColor 8%,transparent)}.theorem-meta-chip.is-prover{color:var(--running)}.theorem-meta-chip.is-module{color:var(--queued)}.theorem-meta-chip.is-commit{color:var(--muted)}.theorem-meta-chip.is-repo{color:var(--succeeded)}.theorem-workspace{display:grid;gap:1rem}.theorem-workspace-head{display:grid;gap:.75rem}.theorem-workspace-head h2{margin-bottom:0}.theorem-workspace-meta{display:flex;flex-wrap:wrap;gap:.45rem}.theorem-workspace-body{display:grid;grid-template-columns:minmax(0,1.45fr) minmax(320px,1fr);gap:1rem;align-items:start}.workspace-editor-pane,.workspace-side-pane{min-width:0;display:grid;gap:.9rem}.workspace-editor-card{min-width:0;border:1px solid color-mix(in srgb,var(--rule) 88%,var(--bright) 12%);background:linear-gradient(180deg,rgba(255,255,255,.06),transparent 42%),color-mix(in srgb,var(--bg-subtle) 84%,var(--bg-panel));padding:.95rem;display:grid;gap:.8rem}.workspace-card-head{display:flex;align-items:flex-start;justify-content:space-between;gap:.75rem;flex-wrap:wrap}.workspace-card-head h3{margin:0;color:var(--bright);font-size:var(--font-size-small);font-family:var(--font-readout)}.workspace-card-head p{margin:.3rem 0 0}.workspace-editor-actions{min-width:0;border:1px solid color-mix(in srgb,var(--rule) 80%,var(--running) 20%);background:radial-gradient(circle at top right,rgba(90,180,255,.14),transparent 46%),color-mix(in srgb,var(--bg-subtle) 85%,var(--bg-panel));padding:.9rem;display:grid;gap:.75rem}.workspace-side-card{min-width:0;border:1px solid color-mix(in srgb,var(--rule) 90%,var(--bright) 10%);background:linear-gradient(180deg,rgba(255,255,255,.04),transparent 48%),color-mix(in srgb,var(--bg-subtle) 88%,var(--bg-panel));padding:.85rem;display:grid;gap:.65rem}.workspace-side-card h3{margin:0;color:var(--bright);font-size:var(--font-size-small);font-family:var(--font-readout)}.collab-editor-host{min-width:0;min-height:420px;border:1px solid color-mix(in srgb,var(--rule) 82%,var(--bright) 18%);background:var(--bg-panel);overflow:hidden}.collab-editor-host .cm-editor{min-width:0;height:100%}.collab-editor-host .cm-scroller{min-height:420px;overflow:auto}.proof-editor-host,.proof-editor-host .cm-scroller{min-height:280px}.workspace-proof-meta,.workspace-proof-subjects{display:grid;gap:.5rem}.workspace-proof-meta p,.workspace-proof-subjects p{margin:0}.workspace-proof-kpis{display:flex;flex-wrap:wrap;gap:.45rem;align-items:center}.workspace-lab-board{display:grid;grid-template-columns:repeat(auto-fit,minmax(11rem,1fr));gap:.85rem}.workspace-lab-stat{border:1px solid color-mix(in srgb,var(--rule) 78%,var(--queued) 22%);background:linear-gradient(135deg,rgba(255,255,255,.06),transparent 58%),color-mix(in srgb,var(--bg-panel) 84%,var(--bg-subtle));padding:.9rem;display:grid;gap:.45rem}.workspace-lab-stat strong{font-size:1.3rem;color:var(--bright);font-family:var(--font-display)}.workspace-lab-stat p{margin:0}.workspace-lab-label,.workspace-side-label{text-transform:uppercase;letter-spacing:.14em;font-size:.68rem;color:var(--muted)}.workspace-diagnostic-list{list-style:none;padding:0;margin:0;display:grid;gap:.65rem}.workspace-diagnostic-item{border:1px solid var(--rule);background:var(--bg-panel);padding:.7rem;display:grid;gap:.5rem}.workspace-diagnostic-item.is-error{border-color:color-mix(in srgb,var(--failed) 44%,var(--rule))}.workspace-diagnostic-item.is-warning{border-color:color-mix(in srgb,var(--queued) 44%,var(--rule))}.workspace-diagnostic-item.is-info,.workspace-diagnostic-item.is-hint{border-color:color-mix(in srgb,var(--running) 36%,var(--rule))}.workspace-diagnostic-jump{width:100%;display:flex;align-items:center;gap:.55rem;flex-wrap:wrap;justify-content:flex-start;background:none;border:none;padding:0;color:inherit;text-align:left;cursor:pointer}.workspace-diagnostic-message{margin:0;white-space:pre-wrap;word-break:break-word;font-family:var(--font-mono);font-size:.88rem;color:var(--ink)}.workspace-render-host{min-height:14rem;border:1px solid var(--rule);background:var(--bg-panel);overflow:hidden}.workspace-render-host-compact{min-height:10rem}.workspace-proof-op-grid,.workspace-history-list,.workspace-side-stack{display:grid;gap:.7rem}.workspace-proof-op-grid{grid-template-columns:repeat(auto-fit,minmax(12rem,1fr))}.workspace-proof-op-card,.workspace-history-item{border:1px solid color-mix(in srgb,var(--rule) 88%,var(--bright) 12%);background:color-mix(in srgb,var(--bg-panel) 82%,var(--bg-subtle));padding:.75rem;display:grid;gap:.45rem}.workspace-proof-op-card p,.workspace-history-item p{margin:0}.workspace-history-list{list-style:none;margin:0;padding:0}.workspace-filter-grid,.workspace-source-pr-form{display:grid;gap:.7rem}.workspace-filter-grid{grid-template-columns:repeat(auto-fit,minmax(10rem,1fr))}.workspace-filter-grid label,.workspace-source-pr-form label{display:grid;gap:.32rem;color:var(--muted);font-size:.78rem;letter-spacing:.04em;text-transform:uppercase}.workspace-proof-change-lane{border:1px solid color-mix(in srgb,var(--rule) 82%,var(--running) 18%);background:radial-gradient(circle at top right,rgba(90,180,255,.1),transparent 42%),color-mix(in srgb,var(--bg-panel) 82%,var(--bg-subtle));padding:.9rem;display:grid;gap:.75rem}.workspace-proof-change-lane h4{margin:0;color:var(--bright);font-size:var(--font-size-small);font-family:var(--font-readout)}input,textarea,select{width:100%}@media (max-width: 1024px){.site-header{grid-template-columns:1fr;padding:.9rem 1rem;gap:.8rem}.public-shell-header{grid-template-columns:1fr}.header-left,.header-right,.public-shell-nav,.public-shell-actions,.public-shell-brand{width:100%;justify-content:space-between}.header-left{gap:.8rem}.header-right{justify-content:flex-end}.shell-menu-popover{right:0}.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}.search-input,.search-input:focus{width:100%}}@media (max-width: 900px){.site-nav{display:none}.public-shell-nav{justify-content:flex-start}.grid-2,.readout-row,.work-queue-grid,.work-recent-grid,.theorem-workspace-body{grid-template-columns:1fr}.search-wrapper{min-width:0;width:100%}.search-results{left:0;width:100%}.user-actions{margin-left:0}.graph-viewport,.graph-svg{min-height:18rem}.graph-status-bar{align-items:start}.blueprint-body-grid,.blueprint-node-sections{grid-template-columns:1fr}.blueprint-node-meta{justify-content:start}}.workbench-panel{position:fixed;bottom:1rem;right:1rem;z-index:900;max-width:400px;box-shadow:0 4px 12px var(--rule);max-height:50vh;overflow-y:auto}@media (max-width: 900px){.workbench-panel{bottom:1rem;left:1rem;right:1rem;max-width:none}}.package-filterbar{border:1px solid var(--rule);background:linear-gradient(180deg,rgba(255,255,255,.5),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%}}