:root{--ink: #e6edf3;--muted: #6e7681;--muted2: #8b949e;--paper: #0d1117;--panel: #161b22;--chip: #21262d;--line: #30363d;--accent: #219653;--gap: #eb5757;--debt: #a9761a;--ok: #219653;--brand-accent: #9ed4ff;--gold: #e8bd52;--font-ui: "IBM Plex Sans", "Source Sans 3", system-ui, sans-serif;--font-mono: "IBM Plex Mono", ui-monospace, monospace}*{box-sizing:border-box}*{scrollbar-width:thin;scrollbar-color:color-mix(in srgb,var(--muted) 55%,transparent) transparent}*::-webkit-scrollbar{width:6px;height:6px}*::-webkit-scrollbar-track{background:transparent}*::-webkit-scrollbar-thumb{background:color-mix(in srgb,var(--muted) 55%,transparent);border-radius:999px}*::-webkit-scrollbar-thumb:hover{background:color-mix(in srgb,var(--muted2) 70%,transparent)}html{scrollbar-gutter:stable}html,body{margin:0;min-height:100%;color:var(--ink);background:var(--paper);font-family:var(--font-ui)}#app{min-height:100vh;display:flex;flex-direction:column}.topbar{display:flex;flex-wrap:wrap;gap:1rem 2rem;align-items:end;justify-content:space-between;padding:1.25rem 1.5rem 1rem;border-bottom:1px solid var(--line);background:var(--panel);position:sticky;top:0;z-index:2}.brand{font-family:var(--font-ui);font-size:1.35rem;font-weight:700;letter-spacing:-.01em;margin:0}.brand .brand-accent{color:var(--brand-accent)}.brand .brand-loupe{color:#f0f3f7}.meta{color:var(--muted);font-size:.8rem;margin:.25rem 0 0}.gate-ok-meta{margin:.35rem 0 0;font-size:.75rem;color:var(--muted)}.gate-banner{margin:.4rem 0 0;font-size:.82rem;font-weight:600;color:var(--gap)}.topbar.gate-failed{border-bottom-color:color-mix(in srgb,var(--gap) 45%,var(--line))}.topbar-actions{margin-top:.65rem}.load-manifest{font:inherit;font-size:.82rem;font-weight:600;color:var(--brand-accent);background:transparent;border:1px solid color-mix(in srgb,var(--brand-accent) 45%,var(--line));border-radius:4px;padding:.35rem .7rem;cursor:pointer}.load-manifest:hover{background:color-mix(in srgb,var(--brand-accent) 12%,transparent)}.stats{display:flex;gap:.75rem;flex-wrap:wrap}.stat{border:1px solid color-mix(in srgb,var(--brand-accent) 55%,var(--line));background:var(--chip);border-radius:6px;padding:.45rem .7rem;min-width:4.5rem;color:inherit;font:inherit;text-align:left;cursor:pointer}.stat:hover{background:color-mix(in srgb,var(--brand-accent) 12%,var(--chip))}.stat.active{background:color-mix(in srgb,var(--brand-accent) 18%,var(--chip));border-color:var(--brand-accent)}.stat .n{font-family:var(--font-mono);font-size:1.05rem;font-weight:600}.stat .l{font-size:.68rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted)}.stat-gap-hot{border-color:color-mix(in srgb,var(--gap) 70%,var(--line))}.stat-gap-hot .n{color:var(--gap)}.stat-gap-hot.active{border-color:var(--gap);background:color-mix(in srgb,var(--gap) 14%,var(--chip))}.layout{display:grid;grid-template-columns:minmax(0,1.15fr) 6px minmax(280px,.85fr);gap:0;flex:1;min-height:0;overflow:visible}@media(max-width:960px){.layout{grid-template-columns:1fr!important}.pane-divider{display:none}}.matrix-pane,.descent-pane{min-height:0;padding:1rem 1.25rem 2rem}.pane-divider{align-self:stretch;cursor:col-resize;touch-action:none;background:linear-gradient(to right,transparent calc(50% - .5px),var(--line) calc(50% - .5px),var(--line) calc(50% + .5px),transparent calc(50% + .5px))}.pane-divider:hover,.pane-divider.dragging{background:linear-gradient(to right,transparent calc(50% - .5px),color-mix(in srgb,var(--brand-accent) 55%,var(--line)) calc(50% - .5px),color-mix(in srgb,var(--brand-accent) 55%,var(--line)) calc(50% + .5px),transparent calc(50% + .5px))}body.pane-resizing{cursor:col-resize;-webkit-user-select:none;user-select:none}.descent-pane{padding-left:1.75rem;padding-right:.9rem;overflow:visible}.pane-title{font-size:.72rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin:0 0 .75rem}.lens-tabs{display:flex;gap:.25rem;margin-bottom:.6rem}.lens-tab{font:inherit;font-size:.82rem;font-weight:600;border:1px solid transparent;background:transparent;color:var(--muted);border-radius:4px;padding:.4rem .7rem;cursor:pointer}.lens-tab:hover{background:var(--chip);color:var(--ink)}.lens-tab.active{background:var(--chip);color:var(--brand-accent)}.lens-tab.disabled{cursor:default;color:var(--muted);opacity:.6}.lens-tab.disabled:hover{background:transparent}.lens-tab .soon{font-size:.6rem;letter-spacing:.05em;margin-left:.3rem;padding:.05rem .3rem;border:1px solid var(--line);border-radius:3px;vertical-align:1px}.toolbar{display:flex;gap:.5rem;margin-bottom:.75rem;flex-wrap:wrap}.toolbar input,.toolbar select{font:inherit;font-size:.85rem;border:1px solid var(--line);background:var(--chip);border-radius:4px;padding:.4rem .55rem;color:var(--ink)}.toolbar input{flex:1;min-width:10rem}.table-wrap{overflow:auto;border:1px solid var(--line);border-radius:4px;background:var(--panel);max-height:calc(100vh - 11rem)}.table-empty{padding:1.5rem 1rem 1.75rem;text-align:center}.table-empty-title{font-weight:600;font-size:.92rem;margin-bottom:.3rem}.table-empty-body{font-size:.8rem;color:var(--muted)}table{width:100%;border-collapse:collapse;font-size:.82rem}th,td{text-align:left;padding:.55rem .65rem;border-bottom:1px solid var(--line);vertical-align:top}th{position:sticky;top:0;background:var(--chip);font-size:.68rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);z-index:1}tbody tr{cursor:pointer}tbody tr:hover{background:color-mix(in srgb,var(--brand-accent) 10%,transparent)}tbody tr.selected{background:color-mix(in srgb,var(--brand-accent) 18%,transparent)}tbody tr.status-GAP{box-shadow:inset 3px 0 0 var(--gap)}tbody tr.status-tracked-debt{box-shadow:inset 3px 0 0 var(--debt)}tbody tr.status-backlog{box-shadow:inset 3px 0 0 var(--brand-accent)}.id{font-family:var(--font-mono);font-size:.78rem;white-space:nowrap}.statement{color:var(--muted2);max-width:28rem;overflow-wrap:anywhere;word-break:break-word}.badge{display:inline-block;font-size:.64rem;font-weight:700;letter-spacing:.05em;text-transform:uppercase;padding:.2rem .5rem;border-radius:999px;color:#fff}.badge.verified{background:var(--ok)}.badge.tracked-debt{background:var(--debt)}.badge.GAP{background:var(--gap)}.badge.backlog{background:color-mix(in srgb,var(--brand-accent) 55%,var(--chip));color:var(--ink)}.descent-empty{color:var(--muted);font-style:italic;padding:1.5rem 0}.thread{position:relative;padding-left:1.15rem;overflow:visible}.thread-rail{position:absolute;top:0;pointer-events:none;overflow:visible;z-index:0}.thread>.tier{position:relative;z-index:1}.thread-rail .strand{fill:none;stroke:var(--gold);stroke-width:1.35;stroke-linecap:round;stroke-opacity:.95}.thread-rail .strand-b{stroke-opacity:.78}.thread-rail .strand-die{stroke-linecap:butt;stroke-opacity:.9;stroke-width:1.45}.thread-rail .strand-long{stroke-opacity:.78}.tier{position:relative;background:var(--panel);border:1px solid var(--line);border-radius:8px;padding:.9rem 1rem;margin-bottom:1.75rem}.tier:before{content:"";position:absolute;left:-.95rem;top:1.1rem;width:9px;height:9px;border-radius:50%;background:var(--accent);box-shadow:none}.tier.frayed{border-color:color-mix(in srgb,var(--gap) 45%,var(--line));background:color-mix(in srgb,var(--gap) 10%,var(--panel))}.tier.frayed:before{background:var(--gap)}.tier-label{font-size:.68rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin-bottom:.25rem}.tier-id{font-family:var(--font-mono);font-size:.82rem;color:var(--accent);margin-bottom:.4rem}.tier.frayed .tier-id{color:var(--gap)}.tier.debt:before{background:var(--gap)}.tier.debt .tier-id{color:var(--gap)}.tier.missing-impl:before{background:var(--gap)}.tier.missing-impl .tier-id{color:var(--gap)}.tier.missing-proof:before{background:var(--gap)}.tier.missing-proof .tier-id{color:var(--gap)}.tier-body{font-family:var(--font-ui);font-size:1.02rem;line-height:1.4;overflow-wrap:anywhere;word-break:break-word}.hit-list{list-style:none;margin:.4rem 0 0;padding:0;font-size:.82rem}.hit-list li{margin-bottom:.55rem}.hit-list .path{color:var(--muted);overflow-wrap:anywhere;word-break:break-word}.hit-list .excerpt{margin-top:.15rem;font-size:.78rem;color:var(--muted2);overflow-wrap:anywhere;word-break:break-word}.hit-list .empty{color:var(--muted);font-style:italic}.hit-list .missing-carrier{color:var(--gap);font-style:italic;font-weight:500}.hit-list .frayed{color:var(--gap);font-style:normal;font-weight:600}.debt-block{margin-top:.75rem;padding-top:.65rem;border-top:1px solid color-mix(in srgb,var(--debt) 35%,transparent)}.debt-label{font-size:.7rem;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--debt);margin-bottom:.35rem}.debt-list .excerpt{color:var(--ink)}.proof-toggle,.source-toggle{display:inline-flex;align-items:center;gap:.4rem;background:none;border:none;padding:0;font:inherit;color:inherit;cursor:pointer;text-align:left}.proof-toggle:hover code,.source-toggle:hover code{color:var(--brand-accent)}.proof-caret{color:var(--muted);font-size:.65rem;width:.7rem;display:inline-block}.proof-source{margin:.4rem 0 .7rem;border:1px solid var(--line);border-radius:6px;background:var(--paper);overflow:hidden}.proof-source-path{font-family:var(--font-mono);font-size:.68rem;color:var(--muted);padding:.35rem .6rem;border-bottom:1px solid var(--line);background:var(--chip)}.proof-source-code{font-family:var(--font-mono);font-size:.76rem;overflow-x:auto;padding:.3rem 0}.src-line{display:flex;gap:.75rem;padding:.05rem .6rem;white-space:pre}.src-n{color:var(--muted);min-width:2rem;text-align:right;-webkit-user-select:none;user-select:none}.src-text{color:var(--muted2)}.src-line-target{background:color-mix(in srgb,var(--brand-accent) 16%,transparent)}.src-line-target .src-n{color:var(--brand-accent);font-weight:700}.src-line-target .src-text{color:var(--ink)}.proof-source-loading,.proof-source-error,.proof-source-info{padding:.5rem .6rem;font-size:.78rem;color:var(--muted)}.proof-source-error{color:var(--gap)}.proof-source-info{color:var(--muted);font-style:italic}.footnote{margin-top:1rem;font-size:.75rem;color:var(--muted)}.board{display:flex;gap:1rem;align-items:flex-start;overflow-x:auto;padding-bottom:.5rem}.board-column{flex:1 1 0;min-width:15rem;max-width:20rem;background:var(--panel);border:1px solid var(--line);border-radius:8px;overflow:hidden}.board-column-accent{height:4px}.board-column-accent.verified{background:var(--accent)}.board-column-accent.tracked-debt{background:var(--debt)}.board-column-accent.GAP{background:var(--gap)}.board-column-accent.backlog{background:var(--brand-accent)}.board-column-header{display:flex;align-items:center;justify-content:space-between;padding:.75rem .85rem .6rem;font-weight:600;font-size:.88rem}.board-column-header .count{font-family:var(--font-mono);color:var(--muted);font-weight:400;font-size:.82rem}.board-column-cards{max-height:calc(100vh - 20rem);overflow-y:auto;padding:0 .6rem .6rem;display:flex;flex-direction:column;gap:.5rem}.board-card{background:var(--chip);border:1px solid var(--line);border-radius:10px;padding:.6rem .7rem;cursor:pointer;min-width:0;overflow:hidden}.board-card:hover{border-color:color-mix(in srgb,var(--brand-accent) 40%,var(--line))}.board-card.selected{border-color:var(--brand-accent)}.board-card-id{font-family:var(--font-mono);font-size:.76rem;font-weight:600;display:block;margin-bottom:.35rem}.board-card-id.verified{color:var(--accent)}.board-card-id.tracked-debt{color:var(--debt)}.board-card-id.GAP{color:var(--gap)}.board-card-id.backlog{color:var(--brand-accent)}.board-card-statement{font-size:.78rem;color:var(--muted2);line-height:1.35;margin-bottom:.4rem;overflow-wrap:anywhere;word-break:break-word}.board-card-footer{font-family:var(--font-mono);font-size:.7rem;color:var(--muted)}.board-card-footer.tracked-debt-footer{color:var(--debt)}.board-row{display:flex;align-items:center;justify-content:space-between;gap:.5rem;padding:.45rem .55rem;cursor:pointer;border-radius:6px;border-bottom:1px solid var(--line)}[data-design=board-column-verified] .board-column-cards{gap:0}.board-column-cards .board-row:last-child{border-bottom:none}.board-row:hover{background:color-mix(in srgb,var(--accent) 10%,transparent)}.board-row.selected{background:color-mix(in srgb,var(--accent) 16%,transparent)}.board-row .board-card-id{margin-bottom:0;text-decoration:underline;text-underline-offset:2px;text-decoration-color:color-mix(in srgb,var(--accent) 45%,transparent)}.board-row:hover .board-card-id{text-decoration-color:var(--accent)}.board-row-proofs{font-family:var(--font-mono);font-size:.68rem;color:var(--accent);opacity:.75;flex-shrink:0}.board-empty{margin:.6rem;padding:.9rem .8rem;border:1px dashed var(--line);border-radius:10px;background:var(--panel)}.board-empty-title{font-weight:600;font-size:.82rem;margin-bottom:.25rem}.board-empty-body{font-size:.76rem;color:var(--muted)}