@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/jetbrains-mono-400.ttf) format("truetype")}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/jetbrains-mono-500.ttf) format("truetype")}@font-face{font-family:Sora;font-style:normal;font-weight:300;font-display:swap;src:url(/fonts/sora-300.ttf) format("truetype")}@font-face{font-family:Sora;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/sora-400.ttf) format("truetype")}@font-face{font-family:Sora;font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/sora-500.ttf) format("truetype")}@font-face{font-family:Sora;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/sora-600.ttf) format("truetype")}@font-face{font-family:Sora;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/sora-700.ttf) format("truetype")}:root{--ink-50: #fafafb;--ink-75: #f3f3f5;--ink-100: #eaeaee;--ink-150: #dddde3;--ink-200: #c4c5cc;--ink-300: #8e8f98;--ink-400: #62636b;--ink-500: #43444b;--ink-700: #2a3447;--ink-900: #0f1c32;--navy-100: #dce2ee;--navy-300: #6e7e9e;--navy-500: #2b3a5c;--navy-700: #15233f;--navy-900: #0a1428;--orange-100: #fce4d4;--orange-300: #f4a574;--orange-500: #e97a2c;--orange-700: #b85814;--orange-900: #7a370a;--cyan-100: #d6ecf8;--cyan-300: #6fbfe6;--cyan-500: #3fa9e0;--cyan-700: #1f7bab;--cyan-900: #114668;--gold-300: #ffd78f;--gold-500: #ffc766;--gold-900: #2a2208;--node-code: #8995a8;--node-repr: #e97a2c;--node-verify: #3fa9e0;--prov-proven: #e8913c;--prov-inferred: #5c97d6;--prov-flagged: #9aa3b3;--success: #2f7a55;--warning: #c68a13;--error: #b53a2a;--info: var(--cyan-700);--bg: #ffffff;--bg-raised: var(--ink-75);--bg-sunken: var(--ink-100);--bg-inverse: var(--navy-900);--fg: var(--ink-700);--fg-strong: var(--ink-900);--fg-muted: var(--ink-400);--fg-subtle: var(--ink-300);--fg-disabled: var(--ink-200);--fg-inverse: var(--ink-50);--border: var(--ink-150);--border-strong: var(--ink-200);--border-focus: var(--navy-700);--accent-warm: var(--orange-500);--accent-cool: var(--cyan-500);--accent-deep: var(--navy-900);--accent-action: var(--gold-500)}[data-theme=dark]{--ink-50: #0e1218;--ink-75: #0b0e14;--ink-100: #161a22;--ink-150: #232838;--ink-200: #2a3040;--ink-300: #5a6072;--ink-400: #888d99;--ink-500: #b6bcc9;--ink-700: #e2e5eb;--ink-900: #f5f7fa;--bg: #0e1218;--bg-raised: #161a22;--bg-sunken: #0b0e14;--border: #232838;--border-strong: #2a3040;--border-focus: var(--gold-500);--accent-action: var(--gold-500)}*{box-sizing:border-box}body{margin:0;background:#0e1218}button,input,select,textarea{font:inherit}button{cursor:pointer}button:disabled{opacity:.45;cursor:not-allowed}button,a,input,select,textarea{outline-offset:4px}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible{outline:2px solid #ffc766}button{transition:background .15s,border-color .15s,color .15s}a{color:inherit;text-decoration:none}h1,h2,h3,p{margin:0}button{color:inherit}svg{flex-shrink:0}code,pre{font-family:JetBrains Mono,monospace}h1{font-size:28px;font-weight:400;letter-spacing:-.8px;line-height:1.35}h2{font-size:14px;font-weight:500;letter-spacing:-.15px}h3{font-size:16px;font-weight:500}p{line-height:1.7}.app-shell,.boot,.shared-run{font-family:Sora,sans-serif;font-size:12px;color:#b6bcc9;background:var(--bg);min-height:100vh}.app-shell{display:flex}.sidebar{position:fixed;inset:0 auto 0 0;width:224px;display:flex;flex-direction:column;background:var(--bg-sunken);border-right:1px solid var(--border);padding:29px 14px 0;z-index:30}.brand{display:flex;align-items:center;padding:0 19px;height:30px}.brand img{width:151px;height:auto;filter:brightness(0) invert(1);opacity:.93}.workspace-picker{display:flex;align-items:center;gap:9px;padding:12px 10px;border:1px solid #232838;border-radius:6px;margin:30px 1px 28px;font-size:11px;color:#d2d6df;background:#121720}.workspace-picker>svg{margin-left:auto;color:#686f80}.workspace-picker small{display:block;font-size:9px;color:#6f7788;margin-top:4px}.workspace-icon{display:grid;place-items:center;width:29px;height:29px;border:1px solid #37405a;border-radius:6px;background:#1b2232;color:#a6b8d3;font-size:12px}.nav-label{font-family:JetBrains Mono,monospace;font-size:9px;letter-spacing:1px;color:#626b7d;display:block;margin:0 13px 11px}nav{display:flex;flex-direction:column;gap:4px}.nav-link{display:flex;align-items:center;gap:11px;background:transparent;border:1px solid transparent;border-radius:5px;padding:11px 12px;text-align:left;font-size:11px;color:#888f9e;width:100%}.nav-link svg{color:#727c8f}.nav-link:hover{background:#151b25;color:#dce0e8}.nav-link.active{background:#ffc7660d;border-color:#ffc76620;color:#ffc766}.nav-link.active svg{color:#ffc766}.nav-badge{margin-left:auto;font-family:JetBrains Mono,monospace;font-size:10px;padding:1px 5px;border-radius:3px;background:#232a38;color:#a3adbf}.repo-nav-title{display:flex;justify-content:space-between;align-items:center;margin-top:30px;margin-bottom:7px}.repo-link{font-size:11px}.repo-link>svg{margin-left:auto;width:12px}.repo-dot{display:inline-block;width:7px;height:7px;border-radius:2px;background:#b689e0}.repo-dot.tomli{background:#6faed6}.sidebar-bottom{margin-top:auto}.integration-state{display:flex;align-items:center;gap:10px;margin:25px 9px 20px;font-size:11px;color:#b7c0d0}.integration-state small{display:block;color:#626d7f;font-size:9px;margin-top:4px}.integration-icon{display:grid;place-items:center;background:#1b202a;width:29px;height:29px;border:1px solid #2b3345;border-radius:6px;color:#8996ac}.small-dot{display:inline-block;width:5px;height:5px;background:#6fd4a0;border-radius:50%;flex-shrink:0}.integration-state>.small-dot{margin-left:auto}.profile{display:flex;align-items:center;gap:9px;position:relative;border-top:1px solid #222838;padding:19px 9px;font-size:10px;color:#bfc6d2}.profile small{display:block;font-size:9px;color:#636f82;margin-top:4px}.profile>.icon-button{margin-left:auto}.avatar{display:grid;place-items:center;background:#273247;color:#b1c0da;font-size:10px;width:30px;height:30px;border:1px solid #34425b;border-radius:50%;flex-shrink:0}.avatar.small{width:27px;height:27px;font-size:9px}.workspace-menu{position:absolute;bottom:70px;left:0;right:0;background:#171e2a;border:1px solid #343e52;border-radius:6px;padding:5px;box-shadow:0 8px 20px #0006}.workspace-menu button{background:none;border:0;display:block;width:100%;padding:11px;text-align:left;font-size:11px}.workspace-menu button:hover{background:#222c3d}.main-shell{margin-left:224px;min-width:0;flex:1}.topbar{height:66px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--border);padding:0 32px;background:#0e1218;gap:20px}.breadcrumbs{display:flex;align-items:center;gap:11px;color:#616d81;font-size:10px}.breadcrumbs strong{font-weight:400;color:#a8b3c5}.breadcrumbs button{border:0;background:none;font-size:10px;padding:0;color:#a8b3c5}.topbar-end{display:flex;align-items:center;gap:22px;color:#717c8e;font-size:9px}.topbar-end>span:first-child{display:flex;align-items:center;gap:7px}.topbar-end .running{color:#d8b970;font-size:10px}main{padding:32px 32px 0;max-width:1740px;margin:auto}.page-heading{display:flex;justify-content:space-between;align-items:center;gap:20px;margin-bottom:28px}.page-heading h1{color:#e2e5eb;margin-top:9px}.page-heading p{font-size:11px;color:#7f8a9c;margin-top:9px}.eyebrow{font-family:JetBrains Mono,monospace;font-size:9px;letter-spacing:1.1px;color:#717e93}.primary,.secondary{display:inline-flex;gap:8px;align-items:center;justify-content:center;font-size:11px;font-weight:500;border-radius:5px;padding:10px 13px;white-space:nowrap;line-height:18px}.primary{background:#ffc766;color:#2a2208;border:1px solid #ffc766;box-shadow:0 1px #fff2 inset}.primary:hover{background:#ffd78f;border-color:#ffd78f}.secondary{background:#161c26;color:#c2cbda;border:1px solid #30394a}.secondary:hover{background:#202937;border-color:#46526a}.text-button{display:inline-flex;align-items:center;gap:7px;padding:0;border:0;background:none;color:#c9a45f;font-size:10px}.text-button:hover{color:#ffcf76}.text-button code{color:#68788f;font-size:9px}.icon-button{display:inline-flex;align-items:center;justify-content:center;padding:6px;border:0;border-radius:4px;background:none;color:#808ea3}.icon-button:hover{background:#232d3e;color:#dbe2ee}.muted{color:#7c899f}.small-text{font-size:10px}.metrics{display:grid;grid-template-columns:repeat(4,1fr);gap:15px;margin-bottom:28px}.metric{border:1px solid #252e40;background:#141a24;border-radius:6px;padding:18px 20px}.metric>div{display:flex;align-items:center;justify-content:space-between;color:#909bb0;font-size:10px}.metric svg{color:#74819a}.metric>strong{font-size:33px;font-weight:300;display:block;color:#e2e5eb;margin:17px 0 8px;line-height:1}.metric>small{font-size:9px;color:#6f7d94}.metric.green>strong,.metric.green svg{color:#6fd4a0}.metric.gold>strong,.metric.gold svg{color:#ffc766}.metric.blue>strong,.metric.blue svg{color:#6fa9e4}.panel{background:#131923;border:1px solid #252e40;border-radius:7px;overflow:hidden}.section-head{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:21px 21px 19px}.section-head h2{color:#dce2ed;display:flex;align-items:center;gap:9px}.section-head .count{font-family:JetBrains Mono,monospace;color:#7d8ba3;background:#232d3e;border:1px solid #313d53;border-radius:4px;padding:1px 5px;font-size:9px;font-weight:400}.overview-layout{display:grid;grid-template-columns:minmax(0,2.3fr) minmax(240px,1fr);gap:22px;align-items:start;margin-bottom:12px}.table-scroll{overflow-x:auto}table{border-collapse:collapse;width:100%;text-align:left;font-size:10px}th{font-weight:400;font-size:9px;color:#6f7e96;padding:12px 18px;background:#101621;border-top:1px solid #242f42;border-bottom:1px solid #242f42;white-space:nowrap}td{padding:18px;border-bottom:1px solid #232d3e;color:#929fb3}tbody tr:last-child td{border-bottom:0}tbody tr:hover{background:#192232}.requirements-table tr{cursor:pointer}.requirements-table td:first-child{min-width:245px}.requirements-table td:last-child{padding-left:0;width:20px;color:#4d607c}.row-title{display:flex;flex-direction:column;align-items:flex-start;text-align:left;background:none;border:0;padding:0;color:inherit;max-width:380px;gap:8px}.row-id{font-family:JetBrains Mono,monospace;color:#8b98ae;font-size:9px}.row-id>span{font-family:Sora,sans-serif;font-size:8px;color:#536780}.row-title strong{font-size:11px;line-height:1.6;font-weight:400;color:#d1d9e7}.row-title:hover strong{color:#ffc766}.repo-inline{display:inline-flex;gap:5px;align-items:center;font-size:9px;color:#8093ad}.status{display:inline-flex;align-items:center;gap:5px;font-size:9px;font-weight:400;line-height:1.4;white-space:nowrap;border-radius:4px;padding:4px 6px;border:1px solid transparent}.status.assured{color:#6fd4a0;background:#6fd4a010;border-color:#6fd4a027}.status.failed{color:#f3977a;background:#ed795416;border-color:#ed795432}.status.needs-review,.status.missing{color:#e5c37f;background:#ffc7660d;border-color:#ffc76624}.status.stale{color:#a5b8d7;background:#87a4d014;border-color:#87a4d02a}.status.spec-gap{color:#93b7e5;background:#659bdb14;border-color:#659bdb2a}.status.neutral{color:#8597b4;background:#27334866;border-color:#34435b}.method-dots{display:flex;gap:4px}.method-token{width:20px;height:21px;display:grid;place-items:center;font-family:JetBrains Mono,monospace;font-size:9px;border:1px solid #354057;border-radius:3px;color:#687b9a;background:#192230}.method-token.pass{color:#76cda5;border-color:#497862;background:#385f4220}.method-token.fail{color:#e99379;border-color:#824f44}.method-token.inconclusive{color:#cfb57f;border-color:#6c624a}.importance{font-size:9px;text-transform:capitalize;color:#7f8fa6;display:inline-flex;align-items:center;gap:5px;white-space:nowrap}.importance i{height:5px;width:5px;border-radius:50%;background:#64758b}.importance.critical i{background:#e89c78}.importance.high i{background:#c7ad6b}.pr-rail-item{width:100%;padding:20px;text-align:left;background:transparent;border:0;border-top:1px solid #242f42;display:flex;flex-direction:column;gap:10px}.pr-rail-item:hover{background:#1a2230}.pr-repo{display:flex;align-items:center;gap:6px;color:#97a9c3;font-size:10px}.pr-repo svg{color:#ad93da}.pr-repo code{margin-left:auto;color:#566c8b;font-size:9px}.pr-rail-item strong{color:#d0d9e8;font-weight:400;font-size:12px;line-height:1.6}.pr-rail-item>span:not(.pr-repo){font-size:9px;color:#6d829f}.pr-rail-item>div{display:flex;align-items:center;justify-content:space-between;color:#7b91ae;margin-top:3px}.repo-grid{display:grid;grid-template-columns:1fr 1fr;gap:22px}.repo-card{border:1px solid #2a3448;border-radius:7px;background:#141c28;text-align:left;padding:21px 23px}.repo-card:hover{background:#192333;border-color:#49556d}.repo-card-top{display:flex;align-items:center;gap:13px}.repo-avatar{display:grid;place-items:center;width:43px;height:43px;background:#ad8ee318;border:1px solid #ad8ee32f;color:#b498df;border-radius:8px;flex-shrink:0}.repo-avatar.tomli{background:#72ace716;border-color:#72ace72e;color:#87b5e0}.repo-card-top strong{font-size:15px;color:#dbe3f0;font-weight:400}.repo-card-top small{display:block;font-family:JetBrains Mono,monospace;font-size:9px;color:#7388a6;margin-top:6px}.repo-card-top>svg{margin-left:auto;color:#5e7595}.repo-card>p{color:#8095b1;font-size:10px;margin-top:18px}.assurance-bar{display:flex;gap:4px;margin:22px 0 12px;height:5px}.assurance-bar i{flex:1;background:#3d4b63;border-radius:2px}.assurance-bar .assured{background:#599b7d}.assurance-bar .missing,.assurance-bar .needs-review{background:#b39c64}.assurance-bar .spec-gap{background:#658db9}.repo-card-bottom{display:flex;justify-content:space-between;font-size:10px;color:#869ab6}.repo-card-bottom strong{font-weight:400;color:#c3d5ea}.repo-card-bottom>span:last-child{display:flex;align-items:center;gap:7px;font-size:9px;color:#6982a3}.language-dot{width:6px;height:6px;border-radius:50%;background:#65a5d1;display:inline-block}.coverage-note{display:flex;align-items:center;gap:10px;border:1px solid #2b374b;background:#111c2b;padding:14px 18px;border-radius:5px;color:#7e95b4;font-size:10px;line-height:1.7;margin-top:23px}.coverage-note svg{color:#6c88ad}footer{display:flex;justify-content:space-between;gap:16px;padding:25px 0;border-top:1px solid #253247;margin-top:34px;color:#546b8a;font-family:JetBrains Mono,monospace;font-size:8px}footer span span{padding:0 10px;color:#354a68}.metadata{display:flex;align-items:center;gap:13px;flex-wrap:wrap;font-size:10px;color:#7e92b0;margin-top:13px}.metadata>span,.metadata>a{display:inline-flex;align-items:center;gap:6px}.metadata>code{font-size:9px;color:#8b9fba;background:#1c293d;border:1px solid #2a3a53;border-radius:3px;padding:2px 5px}.metadata>a{font-size:9px;color:#9daec5}.subtle-tag{display:inline-flex;align-items:center;gap:6px;padding:5px 8px;border:1px solid #293a54;border-radius:4px;background:#182235;color:#849bb9;font-size:9px}.inline-repo-icon{display:inline-flex;vertical-align:middle;margin-right:12px;color:#b498df}.inline-repo-icon.tomli{color:#87b5e0}.repo-summary-strip{display:flex;align-items:center;gap:38px;border:1px solid #2b364c;border-radius:6px;background:#141d2b;padding:21px 24px;margin-bottom:28px}.repo-summary-strip>div>strong{font-size:21px;color:#d5e0f0;font-weight:400}.repo-summary-strip>div>strong>span{font-size:13px;color:#6681a6}.repo-summary-strip small{display:block;font-size:9px;color:#6e87a9;margin-top:8px}.import-receipt{margin-left:auto;display:flex;align-items:center;gap:10px;font-size:10px;color:#acbdd4}.keller-mark{display:grid;place-items:center;width:25px;height:25px;border:1px solid #3b4b65;border-radius:4px;background:#25334c;font-size:12px;font-weight:600;color:#aec1e0}.import-receipt small{margin-top:4px;font-family:JetBrains Mono,monospace;font-size:8px}.import-receipt svg{color:#77a990}.feature-tabs{display:flex;gap:24px;border-bottom:1px solid #2a3850;margin-bottom:20px;overflow-x:auto}.feature-tabs button{padding:0 0 13px;background:none;border:0;border-bottom:2px solid transparent;color:#7891b4;font-size:11px;white-space:nowrap}.feature-tabs button.active{color:#ffc766;border-color:#ffc766}.filters{display:flex;align-items:center;gap:12px;padding:16px 19px}.search-field{display:flex;align-items:center;gap:8px;border:1px solid #2e405b;background:#101a29;border-radius:5px;padding:8px 10px;color:#607da1;min-width:180px;flex:1;max-width:330px}.search-field input{border:0;outline:none;background:transparent;color:#c5d5eb;width:100%;font-size:10px;padding:0}.search-field input::placeholder{color:#617a9b}.filters select{background:#152235;border:1px solid #2d405b;color:#90a6c4;padding:8px;border-radius:4px;font-size:10px}.repo-bottom{display:grid;grid-template-columns:1.7fr 1fr;gap:22px;margin-top:24px;align-items:start}.spec-inventory{display:flex;align-items:center;gap:15px;padding:3px 21px 22px}.spec-inventory>svg{color:#678ab8}.spec-inventory strong{font-size:11px;font-weight:400;color:#bdcfe6}.spec-inventory p{font-size:9px;color:#718eaf;margin-top:6px}.spec-inventory small{display:block;font-size:9px;color:#617b9e;margin-top:6px}.spec-inventory .secondary{margin-left:auto;font-size:9px;padding:7px 9px}.change-link{display:flex;align-items:center;gap:12px;width:100%;padding:3px 20px 20px;border:0;background:transparent;text-align:left;color:#7392ba}.change-link strong{font-size:10px;color:#a9c0de;font-weight:400;line-height:1.6;display:block}.change-link small{display:block;font-size:9px;color:#5f7da5;margin-top:5px}.change-link>svg:last-child{margin-left:auto}.back-link{display:inline-flex;gap:7px;align-items:center;border:0;background:none;color:#7d9ec9;font-size:10px;padding:0;margin-bottom:20px}.back-link:hover{color:#c2d8f7}.requirement-heading{display:flex;align-items:center;justify-content:space-between;gap:25px;margin-bottom:27px}.requirement-heading h1{font-size:25px;color:#d8e5f7;max-width:780px;margin-top:15px;line-height:1.5}.requirement-heading .metadata:first-child{margin-top:0}.requirement-layout{display:grid;grid-template-columns:minmax(0,2.1fr) minmax(260px,1fr);gap:23px}.requirement-main,.requirement-side{display:flex;flex-direction:column;gap:22px}.spec-text{font-size:14px;color:#cadbf2;padding:0 22px 22px;line-height:1.9;font-weight:300}.origin-line{display:flex;align-items:center;gap:10px;padding:16px 22px;border-top:1px solid #2b3b55;background:#111e30;font-size:10px;color:#99b3d5}.origin-line small{display:block;font-size:9px;color:#5f80ac;margin-top:5px}.origin-line>code{margin-left:auto;font-size:9px;color:#7898c0}.spec-gaps{padding:19px 22px;border-top:1px solid #324a6c;background:#14263d}.spec-gaps>span{display:flex;gap:7px;align-items:center;font-size:11px;color:#91b6e6}.spec-gaps p{font-size:11px;color:#7d9fc8;margin:12px 0 14px;line-height:1.8}.plan-description{padding:0 22px 18px;color:#738fb5;font-size:10px;line-height:1.8}.method-list{border-top:1px solid #2b3c57}.method-row{display:flex;align-items:center;gap:12px;padding:18px 21px;border-bottom:1px solid #253650}.method-icon{display:grid;place-items:center;width:32px;height:32px;background:#263552;border:1px solid #364c6d;color:#91abd0;border-radius:5px;flex-shrink:0;font-family:JetBrains Mono,monospace;font-size:11px}.method-icon.formal{color:#f1ba73;background:#ffc7660a;border-color:#8b724849}.method-icon.tests{color:#84c7ad;background:#6fd4a010;border-color:#6fd4a035}.method-icon.ai{color:#b4a0e7;background:#a38cde13;border-color:#a38cde35}.method-result{flex:1;min-width:0}.method-result strong{font-size:11px;font-weight:400;color:#bdd0ea}.method-result p{font-size:10px;color:#7191bb;margin-top:7px;line-height:1.7}.method-result small{font-family:JetBrains Mono,monospace;font-size:8px;color:#4d709f;margin-top:7px;display:block}.method-row>.text-button{font-size:9px;margin-left:7px}.plan-rationale{padding:17px 22px;background:#101d2f;font-size:9px;color:#6889b5}.plan-rationale>span{text-transform:uppercase;letter-spacing:1px;font-family:JetBrains Mono,monospace;font-size:8px;color:#5175a4}.plan-rationale p{margin-top:7px;font-size:10px;color:#7c9bc3}.implementation-locations{padding:0 18px 18px}.implementation-locations button{width:100%;display:flex;align-items:flex-start;gap:8px;background:none;border:0;text-align:left;color:#7396c5;padding:4px 0}.implementation-locations strong{font-family:JetBrains Mono,monospace;font-size:10px;color:#b3ccec;font-weight:400;overflow-wrap:anywhere}.implementation-locations code{display:block;font-size:8px;color:#547daf;line-height:1.8;margin-top:7px;overflow-wrap:anywhere}.implementation-locations button>svg:last-child{margin-left:auto}.assumptions{padding:0 23px 0 35px;margin:0 0 18px}.assumptions li{color:#7d9dc9;font-size:10px;line-height:1.9;padding:5px 0 10px}.assumptions li::marker{color:#476d9d}.scope-footer{padding:12px 20px;border-top:1px solid #273d5d;background:#101e32;color:#5e84b5;font-size:9px}.pull-row{display:flex;align-items:center;gap:18px;width:100%;background:none;border:0;border-bottom:1px solid #2c405e;padding:24px;text-align:left;color:#87a6d0}.pull-row:last-child{border-bottom:0}.pull-row:hover{background:#182943}.pull-row>div{flex:1}.pull-row>div>span{font-size:10px;color:#6389ba}.pull-row code{font-size:9px;margin-left:7px;color:#4c73a5}.pull-row strong{display:block;color:#c5d9f5;font-size:14px;font-weight:400;margin-top:9px}.pull-row p{font-size:10px;color:#688fbe;margin-top:8px}.assessment-banner{display:flex;align-items:center;gap:17px;padding:23px;border:1px solid #415575;background:#1a2a42;border-radius:6px;margin-bottom:24px}.assessment-symbol{color:#8caad2}.assessment-banner h2{font-size:16px;color:#c3d7f2;font-weight:400}.assessment-banner p{font-size:10px;color:#7496c2;margin-top:9px}.assessment-banner.blocked{border-color:#755247;background:#31231f}.assessment-banner.blocked .assessment-symbol{color:#e09a7f}.assessment-banner.blocked h2{color:#e6b4a0}.assessment-banner.blocked p{color:#ae8d80}.assessment-banner.ready{border-color:#365e50;background:#152b25}.assessment-banner.ready .assessment-symbol,.assessment-banner.ready h2{color:#89d3b3}.assessment-banner.ready p{color:#72a38d}.scope-label{font-family:JetBrains Mono,monospace;font-size:8px;letter-spacing:.5px;color:#557ead;margin-left:auto;white-space:nowrap}.pr-layout{display:grid;grid-template-columns:minmax(0,2.1fr) minmax(280px,1fr);gap:22px;align-items:start}.pr-layout>div,.pr-layout>aside{display:flex;flex-direction:column;gap:22px}.intent-panel>p{font-size:12px;line-height:1.9;color:#adcaef;padding:0 22px 20px}.intent-reqs{border-top:1px solid #2c4364}.intent-reqs button{display:flex;align-items:center;gap:10px;padding:18px 20px;width:100%;background:none;border:0;text-align:left;color:#739ed2}.intent-reqs code{font-size:9px}.intent-reqs button>span:not(.status){font-size:10px;color:#aac9ef;flex:1;line-height:1.7}.diff{padding:2px 0 17px;margin:0;overflow:auto;font-size:9px;line-height:1.9;color:#83a6d4}.diff>span{display:block;white-space:pre;padding:0 18px;min-width:max-content}.diff .addition{background:#31594226;color:#8bc3a4}.diff .deletion{background:#76473126;color:#d99a78}.review-summary>p{font-size:11px;color:#83a7d6;padding:0 21px 16px}.review-summary>div:not(.section-head){display:flex;align-items:center;gap:8px;padding:7px 21px;font-size:10px;color:#759dce}.review-summary>small{display:block;border-top:1px solid #29476c;margin-top:16px;padding:15px 21px;font-size:9px;line-height:1.8;color:#597fab}.connect-layout{display:grid;grid-template-columns:1.2fr 1fr;gap:24px;max-width:1060px}.connect-panel{padding:25px}.connect-panel h2{font-size:17px;margin-bottom:27px;color:#c8ddf8}label{display:flex;flex-direction:column;gap:9px;font-size:11px;color:#a1bee4;margin-bottom:22px}input,select,textarea{background:#0d192a;border:1px solid #304a6c;border-radius:5px;color:#c8defb;padding:11px 12px;font-size:11px;max-width:100%}textarea{min-height:105px;resize:vertical;line-height:1.9}input::placeholder,textarea::placeholder{color:#506e97}.field-note{font-size:10px;line-height:1.9;color:#678bb8;margin:0 0 22px}.available-repos{align-self:start}.available-repos>button{display:flex;align-items:center;gap:12px;width:100%;background:none;border:0;border-top:1px solid #294361;padding:21px;text-align:left;color:#81a9dc}.available-repos strong{font-size:11px;color:#b0cef6;font-weight:400}.available-repos small{display:block;font-size:9px;color:#587eae;margin-top:7px}.available-repos .status{margin-left:auto}.repository-row{display:flex;align-items:center;gap:20px;padding:24px;border-bottom:1px solid #294567}.repository-row:last-child{border:0}.repo-description{flex:1}.repo-description button{background:none;border:0;padding:0;text-align:left;color:#729acb;font-size:12px}.repo-description strong{font-weight:400;color:#c3dcfc}.repo-description p{font-size:10px;color:#658fbe;margin-top:9px}.repo-list-count{padding-right:20px;text-align:right}.repo-list-count strong{font-size:18px;font-weight:300;color:#bcd8fd}.repo-list-count small{display:block;font-size:9px;color:#527daf;margin-top:4px}.banner{display:flex;align-items:center;gap:10px;border:1px solid #765548;background:#342822;color:#d1a58e;border-radius:5px;padding:15px 18px;font-size:11px;margin-bottom:20px;line-height:1.8}.banner>span{flex:1}.banner.warning{background:#2e291e;border-color:#6e5e37;color:#c7b784}.banner .text-button{margin-left:auto}.empty-inline{padding:40px 25px;text-align:center;color:#6f96c7;font-size:12px}.modal-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;background:#000a;-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px);z-index:100;display:flex;align-items:center;justify-content:center;padding:30px;overflow:auto}.modal{background:#151e2c;border:1px solid #3c4a60;border-radius:9px;width:550px;max-width:100%;max-height:90vh;overflow:auto;box-shadow:0 30px 100px #0008}.modal.wide{width:770px}.modal>header{display:flex;align-items:center;justify-content:space-between;padding:21px 25px;border-bottom:1px solid #2c3c55;background:#111b2a}.modal>header h2{color:#d0e0f5;font-size:16px;font-weight:400}.modal-content{padding:25px}.modal-content>h3{margin-top:12px;color:#c4d9f4}.modal-content>p.muted{font-size:11px;line-height:1.8;margin-bottom:18px}.modal-content>.primary{margin-top:4px}.method-options{display:flex;flex-direction:column;border:1px solid #2f4766;border-radius:5px;margin:20px 0 25px;overflow:hidden}.method-options label{display:flex;flex-direction:row;align-items:center;gap:14px;padding:14px 16px;margin:0;border-bottom:1px solid #253d5c;cursor:pointer}.method-options label:last-child{border:0}.method-options input{accent-color:#ffc766}.method-options strong{font-size:11px;font-weight:400;color:#bfd7f6}.method-options small{display:block;font-size:9px;line-height:1.7;color:#6d96c9;margin-top:5px}.detail-grid{display:grid;grid-template-columns:90px 1fr;gap:12px;font-size:10px;margin:25px 0}.detail-grid dt{color:#658cbb}.detail-grid dd{margin:0;color:#a8c6ed}.input-links{display:flex;flex-wrap:wrap;gap:7px;margin-bottom:20px}.input-links button{display:flex;align-items:center;gap:7px;background:#1c2c43;border:1px solid #354c6b;border-radius:4px;padding:8px;color:#8daed8;font-size:10px}.input-links code{font-size:8px;color:#557eaf}.record-json{max-height:45vh;overflow:auto;background:#0b182a;border:1px solid #294264;border-radius:5px;padding:20px;font-size:10px;line-height:1.8;color:#8aaddb;white-space:pre-wrap;overflow-wrap:anywhere}.file-heading{display:flex;align-items:center;gap:10px;font-family:JetBrains Mono,monospace;font-size:10px;color:#8db4e5;margin-bottom:16px}.file-heading code{margin-left:auto;color:#567eaf}.source-code{background:#0c192a;border:1px solid #2a4465;border-radius:5px;padding:15px 0;overflow:auto;font-size:10px;color:#9cbfec;line-height:1.9}.source-code>span{display:block;padding:0 15px;white-space:pre}.source-code i{display:inline-block;width:36px;font-style:normal;color:#436b9c}.toast{position:fixed;bottom:25px;left:calc(50% + 100px);transform:translate(-50%);display:flex;align-items:center;gap:9px;background:#22382f;border:1px solid #446552;color:#b3d8be;font-size:11px;padding:13px 20px;border-radius:5px;z-index:110;box-shadow:0 10px 30px #0005;pointer-events:none}.boot{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:25px;padding:30px}.boot>img{width:200px;filter:brightness(0) invert(1);margin-bottom:25px}.boot p{max-width:650px;line-height:1.8;color:#8faed7}.boot h1{font-size:22px}.mobile-toggle{display:none}.spin{animation:spin 1s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.panel,.repo-card,.metric{background:var(--bg-raised);border-color:var(--border)}th,.origin-line,.plan-rationale,.scope-footer{background:#11151e;border-color:var(--border)}td,.method-row,.intent-reqs,.pr-rail-item,.pull-row,.repository-row{border-color:var(--border)}.metadata,.plan-description,.method-result p,.plan-rationale p,.assumptions li,.repo-description p,.review-summary>p,.review-summary>div:not(.section-head){color:#8d9aad}.row-title strong,.spec-text,.requirement-heading h1,.method-result strong,.intent-panel>p{color:#d3dce8}.repo-summary-strip{background:#151a24;border-color:#2a3344}.feature-tabs{border-color:#293244}.feature-tabs button{color:#8896aa}.search-field,select,input,textarea{background:#101722;border-color:#303c51}.scope-footer,.coverage-note{background:#111a27}.spec-gaps{background:#142030}.repo-bottom .panel{background:#141a24}.source-code,.record-json{background:#0b1320}.modal{background:#151d29}.requirements-table .row-id>span{color:#738299}.importance{color:#8d9caf}.repo-inline{color:#98a7bc}.method-result small{color:#71829c}.page-heading p{color:#919caf}.section-head .muted,.small-text{color:#8392a9}@media(min-width:1600px){main{padding:38px 42px 0}.topbar{padding:0 42px}.row-title{max-width:440px}.requirements-table td:first-child{min-width:310px}h1{font-size:31px}.overview-layout{grid-template-columns:minmax(0,2.7fr) minmax(280px,1fr)}.metrics{gap:20px}.metric{padding:23px}.metric>strong{font-size:38px}}@media(max-width:1250px){.sidebar{width:200px}.main-shell{margin-left:200px}.brand{padding:0 12px}.brand img{width:141px}main{padding:27px 24px 0}.topbar{padding:0 24px}.overview-layout{grid-template-columns:1fr}.pr-rail{display:grid;grid-template-columns:1fr 1fr}.pr-rail>.section-head{grid-column:1/-1}.pr-rail-item:nth-child(3){border-left:1px solid var(--border)}.requirement-layout,.pr-layout{grid-template-columns:minmax(0,1.8fr) minmax(235px,1fr)}.requirements-table td:first-child{min-width:230px}.requirements-table th,.requirements-table td{padding:15px 12px}.repo-summary-strip{gap:25px}.repo-bottom{grid-template-columns:1fr}.method-row{gap:9px;padding:17px}.method-row>.status{font-size:8px}.method-result p{font-size:9px}.method-row>.text-button{font-size:8px}.scope-label{display:none}.pr-layout .requirements-table th:nth-last-child(2),.pr-layout .requirements-table td:nth-last-child(2){display:none}}@media(max-width:980px){.metrics{grid-template-columns:repeat(2,1fr)}.repo-grid,.requirement-layout,.pr-layout,.connect-layout{grid-template-columns:1fr}.requirement-side{display:grid;grid-template-columns:1fr 1fr;align-items:start}.requirement-side>.panel:last-child{grid-column:1/-1}.repo-summary-strip{flex-wrap:wrap;gap:25px}.import-receipt{margin-left:0;flex:1;min-width:180px}.topbar-end>span:first-child{display:none}.requirement-heading{align-items:flex-start}.requirement-heading h1{font-size:23px}.requirement-heading>.primary{font-size:10px}.repo-list-count{display:none}.filters{flex-wrap:wrap}.page-heading{align-items:flex-start}.page-heading h1{font-size:26px}.page-heading p{max-width:460px}.repository-row{gap:13px;padding:20px}.repo-description p{max-width:260px}.pr-layout .requirements-table th:nth-last-child(2),.pr-layout .requirements-table td:nth-last-child(2){display:table-cell}}@media(max-width:720px){.sidebar{width:224px;transform:translate(-100%);transition:transform .2s;box-shadow:10px 0 35px #0008}.sidebar.mobile-open{transform:translate(0)}.main-shell{margin:0}.mobile-toggle{display:inline-flex!important}.topbar{height:57px;padding:0 17px}.breadcrumbs{font-size:9px;gap:8px}.breadcrumbs .icon-button{padding:4px}.topbar-end{gap:0}.topbar-end .avatar{width:25px;height:25px}main{padding:24px 17px 0}.page-heading{flex-wrap:wrap;gap:20px;margin-bottom:23px}.page-heading h1{font-size:25px}.page-heading p{font-size:10px}.page-heading>.primary,.page-heading>.secondary{font-size:10px}.metrics{gap:10px;margin-bottom:20px}.metric{padding:16px 14px}.metric>div{font-size:9px;gap:10px;line-height:1.8}.metric svg{width:14px}.metric>strong{font-size:30px}.metric>small{font-size:8px;line-height:1.6}.section-head{padding:18px 16px}.section-head h2{font-size:12px}.section-head .text-button,.section-head .small-text{font-size:8px}.overview-layout{gap:18px}.requirements-table td:first-child{min-width:230px}.requirements-table td,.requirements-table th{padding:14px}.row-title strong{font-size:10px}.status,.row-id{font-size:8px}.pr-rail{display:block}.pr-rail-item:nth-child(3){border-left:0}.repo-card{padding:20px}.repo-card-top strong{font-size:14px}.repo-card-bottom{font-size:9px}.coverage-note{font-size:9px;align-items:flex-start;line-height:1.9}.coverage-note svg{margin-top:3px}.feature-tabs{gap:20px}.feature-tabs button{font-size:10px}.repo-summary-strip{padding:19px;gap:25px}.repo-summary-strip>div>strong{font-size:20px}.repo-summary-strip small{font-size:8px}.import-receipt{width:100%;flex:auto}.repo-bottom{gap:18px}.spec-inventory{flex-wrap:wrap;padding:0 18px 20px}.spec-inventory strong{font-size:10px}.spec-inventory .secondary{margin-left:35px}.repository-row{flex-wrap:wrap;gap:12px;padding:20px 16px}.repo-description{min-width:220px}.repository-row>.status{margin-left:55px}.repository-row>.icon-button,.repository-row>.secondary{margin-left:auto}.repository-row .repo-avatar{width:35px;height:35px}.filters{gap:9px;padding:14px}.search-field{max-width:100%;min-width:100%}.filters select{flex:1;font-size:9px}.requirement-heading{flex-direction:column;gap:20px}.requirement-heading h1{font-size:22px;line-height:1.55}.requirement-heading .primary{width:100%}.metadata{font-size:9px;gap:9px}.requirement-layout{gap:18px}.requirement-side{display:flex;flex-direction:column;gap:18px}.requirement-side>.panel{width:100%}.spec-text{font-size:13px;padding:0 18px 20px}.origin-line{padding:15px 18px;font-size:9px}.origin-line small{font-size:8px}.method-row{flex-wrap:wrap;padding:16px}.method-result{min-width:200px}.method-row>.status{margin-left:41px}.method-row>.text-button{margin-left:auto;font-size:10px}.method-result p{font-size:10px}.plan-description{font-size:9px;padding:0 18px 17px}.spec-gaps{padding:18px}.spec-gaps p{font-size:10px}.pull-row{padding:20px 16px;flex-wrap:wrap;gap:14px}.pull-row>div{min-width:230px}.pull-row>.status{margin-left:35px}.pull-row>svg:last-child{margin-left:auto}.pull-row strong{font-size:13px}.pull-row p{font-size:9px}.assessment-banner{padding:18px;gap:13px;align-items:flex-start}.assessment-banner h2{font-size:13px;line-height:1.7}.assessment-banner p{font-size:9px;line-height:1.8}.intent-reqs button{flex-wrap:wrap;padding:18px;gap:9px}.intent-reqs button>span:not(.status){min-width:180px}.intent-reqs .status{margin-left:25px}.intent-panel>p{font-size:11px;padding:0 18px 19px}.modal-backdrop{padding:14px}.modal{max-height:94vh}.modal>header{padding:18px}.modal-content{padding:20px}.modal>header h2{font-size:14px}.modal-content label{font-size:10px}.method-options label{gap:10px;padding:13px}.method-options small{font-size:8px}.record-json{font-size:9px;padding:13px}.input-links button{font-size:9px}.file-heading{font-size:9px;flex-wrap:wrap}.source-code{font-size:9px}.toast{left:50%;width:max-content;max-width:90vw;font-size:10px}footer{font-size:7px;flex-wrap:wrap;gap:12px;margin-top:28px}.connect-panel{padding:22px}.connect-panel h2{font-size:15px}.available-repos>button{padding:18px;flex-wrap:wrap}.available-repos strong{font-size:10px}.available-repos .status{font-size:8px}.back-link{font-size:9px}.banner{font-size:10px;align-items:flex-start}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation:none!important;transition:none!important;scroll-behavior:auto!important}}.evidence-detail .page-heading h1{max-width:850px;font-size:26px}.evidence-verdict{display:flex;gap:14px;align-items:center;padding:20px 24px;border:1px solid var(--border);border-left:3px solid #68cba3;background:var(--bg-sunken);border-radius:5px;margin-bottom:20px}.evidence-verdict.fail{border-left-color:#ef9c76}.evidence-verdict p{margin:6px 0 0;color:#94a0b4;font-size:11px}.evidence-claim{padding:22px 24px;margin-bottom:26px}.evidence-claim p{font-size:15px;line-height:1.8;color:#d9dfeb}.evidence-claim small{color:#8796ad;line-height:1.8}.code-map{margin:22px 0;overflow:hidden}.code-map-track{display:flex;align-items:center;padding:24px;overflow-x:auto}.map-node{flex:1;min-width:140px;min-height:110px;text-align:left;padding:16px;border:1px solid #334157;border-radius:5px;background:#111720;display:flex;flex-direction:column;gap:10px;color:#cdd4e0}.map-node small{text-transform:uppercase;font-family:JetBrains Mono,monospace;font-size:9px;color:#94a0b4}.map-node strong{font-size:12px;line-height:1.6;font-weight:500}.map-node code{font-size:10px;color:#8296b3}.map-node.selected{border-color:var(--accent, #ffc766);background:#27241e}.map-node.gap{border-style:dashed;border-color:#cf805f}.map-edge{width:70px;flex-shrink:0;display:flex;align-items:center;flex-direction:column;color:#7890ad;gap:8px;text-align:center;padding:0 6px}.map-edge span{font-size:9px;line-height:1.5}.evidence-code-layout{display:grid;grid-template-columns:minmax(280px,.85fr) minmax(0,1.4fr);gap:22px;align-items:start;margin:22px 0}.argument-steps>button{display:flex;width:100%;gap:13px;text-align:left;padding:22px;background:none;border:0;border-bottom:1px solid var(--border);color:#c8d0de}.argument-steps>button.selected{background:#ffc76609;box-shadow:inset 3px 0 #ffc766}.argument-steps p{font-size:12px;line-height:1.85;color:#96a6bc;margin:8px 0}.argument-steps small{font-family:JetBrains Mono,monospace;font-size:9px;overflow-wrap:anywhere;color:#7387a6}.step-number{flex-shrink:0;display:grid;place-items:center;width:23px;height:23px;border:1px solid #354059;border-radius:50%;font-size:10px;color:#e3bd73}.code-inspector{overflow:hidden;position:sticky;top:20px}.code-inspector .file-heading{font-size:10px;overflow-wrap:anywhere}.source-identity{padding:10px 20px;font-size:10px;border-bottom:1px solid var(--border);color:#8093af}.linked-code{margin:0;padding:16px 0;max-height:660px;overflow:auto;background:#0c1016;font-family:JetBrains Mono,monospace;font-size:11px;line-height:2.2;-moz-tab-size:4;tab-size:4}.linked-code>span{display:block;min-width:max-content;padding-right:24px;height:24px}.linked-code>span.highlighted{background:#ffc76612;box-shadow:inset 2px 0 #ffc766;color:#eee1bd}.linked-code i{display:inline-block;width:52px;padding-right:15px;text-align:right;font-style:normal;color:#546881;-webkit-user-select:none;user-select:none}.linked-code code{font-size:inherit}.record-content{padding:24px;margin:22px 0;min-width:0}.record-content h2{display:flex;align-items:center;gap:10px}.result-text{white-space:pre-wrap;font-family:Sora,sans-serif;font-size:13px;line-height:2;color:#bfcada}.evidence-list{padding-left:20px;line-height:2;color:#9aacbf}.evidence-list li{padding:6px 0}.boundary-cases{margin-top:22px}.boundary-cases th,.boundary-cases td{padding:18px 20px;text-align:left;border-bottom:1px solid var(--border);line-height:1.7}.boundary-cases code{white-space:pre-wrap;font-size:11px}.counterexample{background:#d9865910}.dependency-cards{display:flex;gap:12px;flex-wrap:wrap;margin:24px 0}.record-content details{margin-top:25px;color:#879bb6}@media(max-width:1000px){.evidence-code-layout{grid-template-columns:1fr}.code-inspector{position:static}.map-node{min-width:155px}.evidence-detail .page-heading h1{font-size:22px}}@media(max-width:720px){.evidence-verdict,.evidence-claim,.record-content,.code-map-track{padding:17px}.linked-code{font-size:10px}.map-edge{width:50px}}.source-kind{display:inline-block;font-family:JetBrains Mono,monospace;text-transform:uppercase;font-size:9px;letter-spacing:.6px;color:#82b5d9;margin-bottom:8px}.source-kind.reject{color:#edaa88}.source-kind.write,.source-kind.leaf,.source-kind.container{color:#edc77a}.source-kind.return{color:#7fc6ac}.source-line{display:flex;align-items:baseline;min-width:max-content;min-height:24px;line-height:24px;padding-right:14px}.source-line.active{background:#ffc76614;box-shadow:inset 2px 0 #ffc766}.source-line code{font-size:inherit;white-space:pre;flex:1}.source-line-number{width:45px;padding-right:12px;text-align:right;flex-shrink:0;color:#536983;-webkit-user-select:none;user-select:none}.source-line>button{margin:0 0 0 14px;line-height:17px;font-size:8px;border:1px solid #3d5069;border-radius:3px;background:#192332;color:#8aaaca;padding:0 5px}.source-line.write-site>button{color:#d8b876;border-color:#715e3d}.assurance-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:24px;margin:16px 0 28px;padding-bottom:24px;border-bottom:1px solid var(--border)}.assurance-heading h1{font-size:25px;margin:12px 0;line-height:1.4}.assurance-heading p{font-size:13px;line-height:1.85;color:#9eacc0;max-width:800px;margin:0}.assurance-heading>.status{flex-shrink:0;margin-top:36px}.assurance-body{display:grid;grid-template-columns:185px minmax(0,1fr);gap:28px}.assurance-outline{border-right:1px solid var(--border);padding-right:18px;min-width:0}.outline-label{display:block;color:#647996;font-size:9px;letter-spacing:1.2px;margin:8px 0 14px;font-family:JetBrains Mono,monospace}.assurance-outline button{display:flex;width:100%;align-items:center;justify-content:space-between;gap:8px;padding:12px 10px;border:0;border-radius:3px;background:none;color:#97a9c2;font-size:11px;text-align:left;line-height:1.7;overflow-wrap:anywhere}.assurance-outline button.active{background:#ffc7660b;color:#f2c975;box-shadow:inset 2px 0 #ffc766}.assurance-outline button:hover{color:#e7d6ae}.assurance-outline details{margin:12px 0;color:#8296b2;font-size:10px}.assurance-outline details summary{padding:10px;cursor:pointer}.assurance-outline details button{font-family:JetBrains Mono,monospace;font-size:9px;padding-left:18px}.assurance-outline .scope-link{margin:20px 0 30px;color:#b7c7dd}.outline-result{font-size:9px;color:#91a1b8}.outline-result.pass{color:#7bc8a6}.outline-result.fail{color:#e7a383}.outline-note{font-size:10px;line-height:1.9;color:#647a98;padding:0 10px}.assurance-content{min-width:0}.implementation-heading{padding:6px 0 18px}.implementation-heading h2,.assurance-scope>h2{font-size:18px;font-weight:500;margin:10px 0}.implementation-heading p{font-size:12px;color:#889db8;line-height:1.8;margin:0;max-width:780px}.assurance-source-toolbar{display:flex;align-items:center;justify-content:space-between;gap:16px;padding:16px 0;border-top:1px solid var(--border)}.assurance-source-toolbar>span{display:flex;gap:8px;align-items:center;font-size:11px;min-width:0;overflow-wrap:anywhere}.assurance-source-toolbar code{font-size:9px;color:#6a83a4}.assurance-source-toolbar label{font-size:10px;color:#738cab;display:flex;align-items:center;gap:10px}.assurance-source-toolbar select{font-size:10px;max-width:225px}.assurance-source-and-detail{display:grid;grid-template-columns:minmax(0,1fr) 210px;min-width:0;border-top:1px solid var(--border);border-bottom:1px solid var(--border)}.assurance-source{min-width:0;background:#0b1016;border-right:1px solid var(--border)}.assurance-file{display:flex;justify-content:space-between;gap:10px;padding:14px 15px;font-family:JetBrains Mono,monospace;font-size:9px;color:#7891b3;border-bottom:1px solid #1e293a;overflow-wrap:anywhere}.assurance-file>span{color:#556c8b}.assurance-code-lines{overflow:auto;max-height:640px;padding:14px 0;font-family:JetBrains Mono,monospace;font-size:10px}.assurance-annotation{padding:18px 0 20px 20px;min-width:0}.annotation-location{display:flex;justify-content:space-between;align-items:baseline;gap:10px}.annotation-location code{font-size:9px;color:#6e84a2}.assurance-annotation h3{font-size:12px;line-height:1.8;margin:4px 0 10px}.assurance-annotation p{font-size:11px;line-height:1.9;color:#8fa2bb}.supporting-checks{margin-top:26px;padding-top:18px;border-top:1px solid var(--border)}.supporting-checks h4{font-size:10px;font-weight:500;margin:0 0 10px;color:#b2c1d5}.supporting-check{margin:14px 0}.supporting-check button{display:flex;gap:10px;align-items:center;padding:0;background:none;border:0;color:#dfbf80;font-size:11px}.supporting-check small{display:block;font-size:10px;line-height:1.8;color:#738bab;margin-top:6px}.assurance-annotation .annotation-limit{font-size:9px;color:#667c99}.assurance-path{padding:14px 0 18px;border-top:1px solid var(--border)}.assurance-path>.path-summary{display:flex;gap:20px;justify-content:space-between;font-size:10px;line-height:1.8;color:#a1b1c7}.assurance-path code{white-space:pre-wrap;font-size:10px}.path-stops{display:flex;gap:6px;flex-wrap:wrap;margin-top:12px}.path-stops button{padding:6px 10px;border:0;border-bottom:1px solid #384458;color:#8299b8;background:transparent;font-size:10px}.path-stops button.active{color:#e5c37e;border-color:#e5c37e}.path-stops span{margin-left:8px;color:#647a99;font-size:9px}.assurance-scope{max-width:850px}.assurance-scope p{font-size:12px;line-height:1.9;color:#96a8c0}.assurance-scope h3{font-size:14px;margin:30px 0 12px}.assurance-scope .scope-lead{font-size:14px;color:#c0cbda}.scope-write-list button,.scope-inventory-row{width:100%;display:flex;align-items:flex-start;gap:18px;border:0;border-top:1px solid var(--border);background:none;padding:15px 0;text-align:left;color:#91a8c3;line-height:1.8;font-size:11px}.scope-write-list code,.scope-inventory-row code{color:#c8b58c;font-size:10px;flex:0 0 190px;overflow-wrap:anywhere}.assurance-scope details{border-top:1px solid var(--border);border-bottom:1px solid var(--border);padding:20px 0;margin-top:24px;font-size:12px;color:#d3bf94}.assurance-scope details input{margin:20px 0;width:100%}.scope-boundary h4{font-size:12px;margin:18px 0 4px}.scope-boundary p{margin:0}@media(min-width:1500px){.assurance-source-and-detail{grid-template-columns:minmax(0,1fr) 260px}.assurance-code-lines{font-size:11px}.assurance-body{grid-template-columns:205px minmax(0,1fr)}}@media(max-width:1100px){.assurance-body{grid-template-columns:155px minmax(0,1fr);gap:18px}.assurance-source-and-detail{grid-template-columns:1fr}.assurance-annotation{border-top:1px solid var(--border);padding:20px 0}.assurance-source{border-right:0}.assurance-source-toolbar{flex-wrap:wrap}.assurance-heading h1{font-size:22px}.supporting-checks{margin-top:18px}}@media(max-width:720px){.assurance-body{grid-template-columns:1fr;gap:18px}.assurance-outline{border-right:0;border-bottom:1px solid var(--border);padding:0 0 16px}.assurance-outline details{max-height:200px;overflow:auto}.assurance-outline .scope-link{margin:8px 0}.outline-note{display:none}.assurance-heading{display:block}.assurance-heading>.status{margin-top:14px}.assurance-code-lines{font-size:9px;max-height:430px}.scope-write-list button,.scope-inventory-row{flex-wrap:wrap}.assurance-path>.path-summary{display:block}.assurance-path>.path-summary>span{display:block;margin-top:8px}}.function-picker{display:flex;flex-direction:row;margin-bottom:14px;align-items:center;gap:16px}.function-picker select{max-width:100%;min-width:0}.evidence-origin{display:block;color:var(--ink-400);font-size:11px;margin:10px 0}.assurance-path-picker{padding:14px 0;border-top:1px solid var(--border)}.assurance-path-picker summary{cursor:pointer}.path-options{display:flex;flex-wrap:wrap;gap:8px;margin:12px 0}.path-options button{padding:8px 12px;border:1px solid var(--border);text-align:left}.path-options button[aria-pressed=true]{border-color:var(--accent-action)}.clear-path{float:right;font-size:12px}.assurance-check-row{display:flex;justify-content:space-between;align-items:center;gap:20px;padding:24px 0;border-bottom:1px solid var(--border)}.assurance-check-row button{display:flex;align-items:center;gap:8px}.shared-run{min-height:100vh;padding:24px clamp(16px,4vw,64px);background:var(--bg);color:var(--ink-500)}.shared-run-header{display:flex;justify-content:space-between;gap:16px;padding-bottom:24px;margin-bottom:24px;border-bottom:1px solid var(--border);font-size:12px}.shared-run-header img{width:145px;object-fit:contain;filter:brightness(0) invert(1)}.hosted-account{position:fixed;right:20px;top:12px;z-index:20}