:root{--ink: #e6edf3;--muted: #7d8894;--muted2: #8b98a5;--paper: #0b1017;--panel: #111722;--chip: #0d131c;--raised: #171f2c;--line: rgba(219, 228, 236, .13);--line-raised: rgba(219, 228, 236, .24);--accent: #219653;--gap: #eb5757;--debt: #c9903a;--ok: #219653;--brand-accent: #9ed4ff;--gold: #e8bd52;--ghost-rail: #7e8f86;--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)}.incoherence-note{margin:.35rem 0 0;font-size:.78rem;color:var(--muted);font-style:italic}.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}.field-wrap-compact{margin-left:0;max-width: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}.toolbar{display:flex;gap:.5rem;margin-bottom:.75rem;flex-wrap:wrap}.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)}.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}.rollup-group-header td{background:var(--chip);padding:.45rem .6rem;display:flex;align-items:center;gap:.6rem;flex-wrap:wrap}.rollup-group-label{font-weight:600;font-size:.85rem}.rollup-group-count{font-family:var(--font-mono);color:var(--muted);font-size:.8rem}.rollup-strip{display:inline-flex;gap:.35rem;flex-wrap:wrap}.table-empty-title{font-weight:600;font-size:.92rem;margin-bottom:.3rem}.table-empty-body{font-size:.8rem;color:var(--muted)}.detail-card{width:10rem;height:4.75rem;flex:0 0 auto;background:var(--chip);border:1px solid var(--line);border-radius:10px;padding:.45rem .55rem;cursor:pointer;display:flex;flex-direction:column;overflow:hidden}.detail-card:hover{border-color:color-mix(in srgb,var(--brand-accent) 40%,var(--line))}.detail-card.selected{border-color:var(--brand-accent)}.detail-card.cross-hover{background:color-mix(in srgb,var(--brand-accent) 14%,var(--chip))}.detail-card.cross-pinned{background:color-mix(in srgb,var(--brand-accent) 26%,var(--chip));outline:1.5px solid color-mix(in srgb,var(--brand-accent) 70%,transparent);outline-offset:-1.5px}.detail-card-id{font-family:var(--font-mono);font-size:.72rem;font-weight:600;display:block;margin-bottom:.3rem;flex:0 0 auto}.detail-card-id.proven{color:var(--accent)}.detail-card-id.tracked-debt{color:var(--debt)}.detail-card-id.GAP{color:var(--gap)}.detail-card-id.backlog{color:var(--brand-accent)}.detail-card-excerpt{font-size:.72rem;color:var(--muted2);line-height:1.3;overflow-wrap:anywhere;word-break:break-word;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}.map-head{display:flex;align-items:center;justify-content:space-between;gap:.6rem;font-size:.72rem;letter-spacing:.05em;text-transform:uppercase;color:var(--muted);margin-bottom:.5rem}.map-wrap{display:flex;gap:.75rem;align-items:flex-start;overflow-x:auto;padding-bottom:.25rem}.map-column{background:var(--panel);border:1px solid var(--line);border-radius:8px;flex:0 0 14rem;min-width:14rem;display:flex;flex-direction:column}.map-column-head{display:flex;align-items:center;gap:.4rem;flex-wrap:wrap;padding:.6rem .75rem;border-bottom:1px solid var(--line)}.map-column-label{font-weight:600;font-size:.82rem;overflow-wrap:anywhere}.map-column-count{font-family:var(--font-mono);color:var(--muted);font-weight:400;font-size:.82rem;flex:0 0 auto}.map-column-strip{display:flex;flex-wrap:wrap;gap:.35rem;margin-left:.3rem}.map-spine-card{padding:.6rem .75rem;border-bottom:1px solid var(--line)}.map-spine-card .detail-card{width:auto}.map-column-cards{display:flex;flex-direction:column;gap:.5rem;padding:.6rem .75rem}.map-column-cards .detail-card{width:auto}.map-wrap-level-2 .map-column-cards{gap:.3rem}.map-wrap-level-2 .detail-card-id{font-size:.62rem}.map-wrap-level-2 .detail-card-excerpt{font-size:.66rem;-webkit-line-clamp:1}.map-wrap-level-3 .map-column{flex-basis:3.25rem;min-width:3.25rem}.map-wrap-level-3 .map-column-cards{gap:2px;padding:.3rem}.map-wrap-level-3 .map-spine-card,.map-wrap-level-3 .map-column-head{padding:.3rem}.map-wrap-level-3 .map-column-label{font-size:.6rem}.map-wrap-level-3 .detail-card{width:14px;height:14px;padding:0;border-radius:3px;flex:0 0 auto}.map-wrap-level-3 .detail-card-id,.map-wrap-level-3 .detail-card-excerpt{display:none}.map-wrap-level-3 .detail-card.status-proven{background:var(--ok);border-color:var(--ok)}.map-wrap-level-3 .detail-card.status-tracked-debt{background:var(--debt);border-color:var(--debt)}.map-wrap-level-3 .detail-card.status-GAP{background:var(--gap);border-color:var(--gap)}.map-wrap-level-3 .detail-card.status-backlog{background:color-mix(in srgb,var(--brand-accent) 55%,var(--chip));border-color:var(--brand-accent)}.map-wrap-level-3 .detail-card.ghost-card{background:transparent;border:1.5px dashed var(--muted2)}.map-wrap-level-3 .detail-card.cross-pinned{outline-width:2px;outline-offset:-2px}.map-empty{padding:1.5rem 1rem 1.75rem;text-align:center}.map-empty-title{font-weight:600;font-size:.92rem;margin-bottom:.3rem}.map-empty-body{font-size:.8rem;color:var(--muted)}.zoom-control{display:flex;align-items:center;gap:.3rem;margin-left:.5rem}.zoom-btn{font-family:var(--font-mono);font-size:.8rem;font-weight:700;color:var(--brand-accent);background:transparent;border:1px solid color-mix(in srgb,var(--brand-accent) 45%,var(--line));border-radius:4px;width:1.6rem;height:1.6rem;line-height:1;cursor:pointer}.zoom-btn:hover,.zoom-btn:focus-visible{background:color-mix(in srgb,var(--brand-accent) 12%,transparent);outline:none}.zoom-level{font-family:var(--font-mono);font-size:.66rem;letter-spacing:.05em;text-transform:uppercase;color:var(--muted);min-width:3.6em;text-align:center}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)}.cross-isolated{display:none}tbody tr.cross-hover{background:color-mix(in srgb,var(--brand-accent) 14%,transparent)}tbody tr.cross-pinned{background:color-mix(in srgb,var(--brand-accent) 26%,transparent);outline:1.5px solid color-mix(in srgb,var(--brand-accent) 70%,transparent);outline-offset:-1.5px}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.proven{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}.descent-back{font-family:var(--font-mono);font-size:.72rem;color:var(--brand-accent);background:transparent;border:1px solid color-mix(in srgb,var(--brand-accent) 45%,var(--line));border-radius:4px;padding:.2rem .55rem;cursor:pointer}.descent-back:hover,.descent-back:focus-visible{background:color-mix(in srgb,var(--brand-accent) 12%,transparent);outline:none}.field-wrap-compact{margin-left:auto;max-width:420px}.field-head{display:flex;align-items:center;justify-content:space-between;gap:.6rem;font-size:.72rem;letter-spacing:.05em;text-transform:uppercase;color:var(--muted);margin-bottom:.5rem}.field-expand-toggle{font-family:var(--font-mono);font-size:.68rem;letter-spacing:normal;text-transform:none;color:var(--brand-accent);background:transparent;border:1px solid color-mix(in srgb,var(--brand-accent) 45%,var(--line));border-radius:4px;padding:.2rem .55rem;cursor:pointer}.field-expand-toggle:hover,.field-expand-toggle:focus-visible{background:color-mix(in srgb,var(--brand-accent) 12%,transparent);outline:none}.field{display:flex;flex-wrap:wrap;align-content:flex-start;gap:6px}.field-compact{max-height:150px;overflow-y:auto;gap:3px}.strand{display:inline-flex;border:none;background:none;padding:0;cursor:pointer;border-radius:4px}.strand:hover,.strand:focus-visible{background:color-mix(in srgb,var(--brand-accent) 14%,transparent);outline:none}.strand svg path{transition:stroke-width .1s}.strand:hover svg path,.strand:focus-visible svg path{stroke-width:2.2}.strand.cross-hover{background:color-mix(in srgb,var(--brand-accent) 14%,transparent)}.strand.cross-pinned{background:color-mix(in srgb,var(--brand-accent) 26%,transparent);outline:1.5px solid color-mix(in srgb,var(--brand-accent) 70%,transparent);outline-offset:-1.5px}.thread{position:relative;padding-left:1.15rem;overflow:visible}.thread>.tier{position:relative;z-index:1}.thread-rail{position:absolute;top:0;pointer-events:none;overflow:visible;z-index:0}.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(--debt)}.tier.debt .tier-id{color:var(--debt)}.tier.missing-honest:before{background:var(--brand-accent)}.tier.missing-honest .tier-id{color:var(--brand-accent)}.tier.missing-impl:before{background:var(--gap)}.tier.missing-impl .tier-id{color:var(--gap)}.tier.lawful-absence:before{background:transparent;border:1.5px solid var(--muted)}.tier.lawful-absence .tier-id{color:var(--muted)}.tier-body{font-family:var(--font-ui);font-size:.92rem;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 .carrier-lawful{color:var(--muted);font-style:italic;font-weight:400}.hit-list .missing-carrier{color:var(--gap);font-style:italic;font-weight:500}.hit-list .carrier-honest{color:var(--brand-accent);font-style:italic;font-weight:500}.hit-list .frayed{color:var(--gap);font-style:normal;font-weight:600}.hit-list .coverage-proven{color:var(--ok);font-style:normal}.hit-list .coverage-proven .path{color:var(--ok)}.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)}.ghost-epistemic-banner{font-size:.72rem;color:var(--muted);font-style:italic;margin:.15rem 0 0}.ghost-epistemic-note{margin-top:.75rem;font-size:.75rem;color:var(--muted);font-style:italic}.hchip{display:inline-block;font-family:var(--font-mono);font-size:.6rem;font-weight:600;letter-spacing:.04em;text-transform:uppercase;padding:.1rem .4rem;border-radius:999px;border:1px dashed var(--line-raised);background:transparent}.hchip.ghost{color:var(--muted);border-color:color-mix(in srgb,var(--muted) 45%,var(--line))}.hchip.ghostguess{color:var(--muted2);border-color:color-mix(in srgb,var(--muted2) 45%,var(--line))}.hchip.ghostgap{color:var(--ink);border-color:color-mix(in srgb,var(--ink) 40%,var(--line));letter-spacing:.08em}.ghost-dim{color:var(--muted2)}.ghost-row-tr{border-bottom:1px dashed var(--line-raised)}.ghost-row-tr .id{font-family:var(--font-mono)}.ghost-map-column{border:1px dashed var(--line-raised)}.ghost-column-head{border-bottom:1px dashed var(--line-raised)}.detail-card.ghost-card{border:1px dashed var(--line-raised);color:var(--muted2)}.detail-card.ghost-card:hover{border-color:var(--muted2)}.detail-card.ghost-card .detail-card-excerpt{color:var(--muted)}.ghost-spine-card{border-bottom:1px dashed var(--line-raised)}.tier.ghost-tier{border-style:dashed;border-color:var(--line-raised)}.tier.ghost-tier:before{background:var(--paper);border:1.5px dashed var(--muted2)}.ghost-thread{position:relative;padding-left:1.15rem;overflow:visible}.ghost-thread>.tier{position:relative;z-index:1}.ghost-rail{position:absolute;top:0;pointer-events:none;overflow:visible;z-index:0}.ghost-rail .ghost-strand{fill:none;stroke:var(--ghost-rail);stroke-width:1.35;stroke-linecap:round;stroke-dasharray:4 3.5;stroke-opacity:.85}.tier.ghost-tier.ghost-leg-absent:before{border-color:color-mix(in srgb,var(--muted2) 45%,transparent)}.tier.ghost-tier.ghost-leg-absent{border-style:dashed;border-color:color-mix(in srgb,var(--line-raised) 60%,transparent)}.gdesc-faint{margin-top:.5rem;font-family:var(--font-mono);font-size:.68rem;color:var(--muted)}.ghost-descent-head{display:flex;align-items:center;gap:.4rem;flex-wrap:wrap;margin-bottom:1rem}.ghost-provenance-card{background:var(--panel);border:1px dashed var(--line-raised);border-radius:8px;padding:.9rem 1rem}.ghost-provenance-row{display:flex;justify-content:space-between;gap:.75rem;font-size:.78rem;padding:.3rem 0;border-bottom:1px dashed var(--line)}.ghost-provenance-row .l{color:var(--muted)}.ghost-provenance-row .v{color:var(--muted2);font-family:var(--font-mono);font-size:.72rem;text-align:right;overflow-wrap:anywhere}.ghost-limits{margin-top:.75rem;font-size:.72rem;color:var(--muted)}.ghost-limits ul{margin:.3rem 0 0;padding-left:1.1rem}.ghost-limits li{margin-bottom:.4rem}.ghost-type-chips{display:flex;gap:.3rem;flex-wrap:wrap;align-items:center}.cube-refusal{padding:3rem 1.5rem;text-align:center}.cube-refusal-message{color:var(--muted);font-size:.95rem}.src-link{color:var(--brand-accent);text-decoration:underline dotted;text-underline-offset:2px}.src-link:hover,.src-link:focus-visible{text-decoration:underline solid;outline:none}