:root{color-scheme:light;--bg: #ffffff;--bg-soft: #f6f7fb;--bg-sunken: #eef0f6;--border: #d9dde7;--text: #1c2230;--muted: #667085;--accent: #2458d8;--accent-soft: #e6edff;--danger: #c62828;--warn: #b45309;--ok: #15803d;--radius: 8px;--shadow: 0 1px 2px rgb(16 24 40 / 6%), 0 4px 16px rgb(16 24 40 / 6%);--mono: ui-monospace, "JetBrains Mono", "Cascadia Code", Menlo, Consolas, monospace;--param: #fde68a;--param-border: #b45309;--var: #bfdbfe;--var-border: #1d4ed8;--st-known: #15803d;--st-unknown: #64748b;--st-hyp: #c2410c;--unk: #dc2626;--g-text: #1c2230;--g-muted: #667085;--g-sys-0: #eef2ff;--g-sys-1: #ecfdf3;--g-sys-2: #fff7ed;--g-sys-3: #f5f3ff;--g-sys-border: #98a2b3;--g-param: #fde68a;--g-param-border: #b45309;--g-var: #bfdbfe;--g-var-border: #1d4ed8;--g-known: #15803d;--g-unknown: #64748b;--g-hyp: #c2410c;--g-unk: #dc2626}@media(prefers-color-scheme:dark){:root{color-scheme:dark;--bg: #151922;--bg-soft: #1b202b;--bg-sunken: #11141b;--border: #2d3443;--text: #e5e9f2;--muted: #98a2b3;--accent: #7aa2ff;--accent-soft: #1f2a48;--danger: #f87171;--warn: #fbbf24;--ok: #4ade80;--shadow: 0 1px 2px rgb(0 0 0 / 30%), 0 4px 16px rgb(0 0 0 / 30%);--param: #6b5316;--param-border: #fbbf24;--var: #1e3a6e;--var-border: #7aa2ff;--st-known: #4ade80;--st-unknown: #94a3b8;--st-hyp: #fb923c;--unk: #f87171;--g-text: #e5e9f2;--g-muted: #98a2b3;--g-sys-0: #1c2438;--g-sys-1: #182b24;--g-sys-2: #2d2218;--g-sys-3: #251f38;--g-sys-border: #475467;--g-param: #6b5316;--g-param-border: #fbbf24;--g-var: #1e3a6e;--g-var-border: #7aa2ff;--g-known: #4ade80;--g-unknown: #94a3b8;--g-hyp: #fb923c;--g-unk: #f87171}}*{box-sizing:border-box}html,body,#root{height:100%;margin:0}body{font:14px/1.45 system-ui,-apple-system,Segoe UI,Roboto,sans-serif;color:var(--text);background:var(--bg-soft)}h1,h2,h3{margin:0 0 .5rem;line-height:1.2}h1{font-size:1.5rem}h2{font-size:1.15rem}h3{font-size:.95rem;margin-top:1.25rem}code,.mono{font-family:var(--mono);font-size:.92em}code{background:var(--bg-sunken);padding:0 .3em;border-radius:4px;margin:0 .15em}.muted{color:var(--muted)}.small{font-size:.82rem}.pre{white-space:pre-wrap}.warn{color:var(--warn)}.spacer{flex:1}.invisible{visibility:hidden}.splash{display:grid;place-items:center;height:100%;color:var(--muted)}.hint{margin:.5rem 0 0}input,select,textarea,button{font:inherit;color:inherit}input:not([type=checkbox]):not([type=radio]):not([type=file]),select,textarea{width:100%;padding:.4rem .55rem;border:1px solid var(--border);border-radius:6px;background:var(--bg)}input:focus-visible,select:focus-visible,textarea:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:1px}textarea{resize:vertical}.invalid{border-color:var(--danger)!important;background:color-mix(in srgb,var(--danger) 6%,var(--bg))!important}.btn{display:inline-flex;align-items:center;gap:.35rem;padding:.4rem .8rem;border:1px solid var(--border);border-radius:6px;background:var(--bg);cursor:pointer;white-space:nowrap}.btn:hover:not(:disabled){background:var(--bg-sunken)}.btn:disabled{opacity:.5;cursor:not-allowed}.btn.primary{background:var(--accent);border-color:var(--accent);color:#fff}.btn.primary:hover:not(:disabled){filter:brightness(1.08);background:var(--accent)}.btn.danger{color:var(--danger);border-color:color-mix(in srgb,var(--danger) 40%,var(--border))}.btn.small{padding:.2rem .55rem;font-size:.85rem}.btn.tiny{padding:0 .35rem;font-size:.75rem;line-height:1.5}.btn.icon{padding:.2rem .45rem;border-color:transparent;background:transparent}.btn.link{border:none;background:none;color:var(--accent);text-decoration:underline;padding:0 .3rem}.btn.active{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.danger-text{color:var(--danger)}.link-row{display:flex;align-items:center;gap:.4rem;width:100%;border:none;background:none;padding:.2rem .3rem;border-radius:4px;cursor:pointer;text-align:left;min-width:0}.link-row:hover{background:var(--bg-sunken)}.card{background:var(--bg);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);padding:1rem}.form{display:flex;flex-direction:column;gap:.75rem}.form label,.form .field{display:flex;flex-direction:column;gap:.25rem;font-weight:500;font-size:.88rem}.form label.check{flex-direction:row;align-items:flex-start;gap:.5rem;font-weight:400;padding:.5rem;border:1px dashed color-mix(in srgb,var(--unk) 50%,var(--border));border-radius:6px}.form label.check input{margin-top:.2rem}.form-actions{display:flex;justify-content:space-between;gap:.5rem}.form-actions.start{justify-content:flex-start}.form-actions.wrap{flex-wrap:wrap}.form-error{color:var(--danger);font-size:.85rem}.grid-2{display:grid;grid-template-columns:1fr 1fr;gap:.6rem}fieldset{border:1px solid var(--border);border-radius:6px;padding:.5rem .6rem .6rem;margin:0;min-width:0}legend{font-size:.82rem;font-weight:600;padding:0 .3rem}.segmented{display:flex;gap:.2rem;flex-wrap:wrap}.form .segmented label{flex-direction:row;align-items:center;gap:.3rem;font-weight:400;padding:.15rem .45rem;border-radius:5px;cursor:pointer}.segmented label:has(input:checked){background:var(--accent-soft);color:var(--accent)}.check-inline{display:inline-flex;align-items:center;gap:.3rem;font-size:.85rem;white-space:nowrap;cursor:pointer}label.inline{display:inline-flex;align-items:center;gap:.4rem;font-size:.85rem;white-space:nowrap}label.inline select{width:auto;max-width:16rem}.login{min-height:100%;display:grid;place-items:center;padding:1rem}.login-card{width:min(380px,100%);display:flex;flex-direction:column;gap:.9rem}.login-card label{display:flex;flex-direction:column;gap:.25rem;font-weight:500}.app{height:100%;display:flex;flex-direction:column}.topbar{display:flex;align-items:center;gap:.6rem;padding:.45rem .9rem;background:var(--bg);border-bottom:1px solid var(--border);flex-wrap:wrap}.brand{display:inline-flex;align-items:center;gap:.45rem;font-weight:700;font-size:1.05rem;border:none;background:none;cursor:pointer;padding:.2rem}.brand-lg{font-size:1.5rem}.brand-mark{width:1.1em;height:1.1em;border-radius:4px;background:linear-gradient(135deg,var(--accent),#fbbf24);display:inline-block}.topbar .sep{color:var(--muted)}.project-name{border:none;background:none;font-weight:600;cursor:pointer;max-width:22rem;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;padding:.2rem .3rem;border-radius:4px}.project-name:hover{background:var(--bg-sunken)}.tabs{display:flex;gap:.2rem;margin-left:.8rem}.tab{border:none;background:none;padding:.4rem .8rem;border-radius:6px;cursor:pointer;color:var(--muted);font-weight:500}.tab:hover{background:var(--bg-sunken)}.tab.active{background:var(--accent-soft);color:var(--accent)}.spinner{width:16px;height:16px;border:2px solid var(--border);border-top-color:var(--accent);border-radius:50%;animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.menu{position:relative}.menu-list{position:absolute;top:calc(100% + 4px);z-index:50;min-width:13rem;background:var(--bg);border:1px solid var(--border);border-radius:6px;box-shadow:var(--shadow);padding:.25rem;display:flex;flex-direction:column}.menu-list.left{left:0}.menu-list.right{right:0}.menu-list button{text-align:left;border:none;background:none;padding:.45rem .6rem;border-radius:4px;cursor:pointer}.menu-list button:hover{background:var(--bg-sunken)}.workspace{flex:1;display:grid;grid-template-columns:minmax(0,1fr) minmax(320px,400px);min-height:0}.view{min-width:0;min-height:0;overflow:auto;padding:.8rem}.inspector{border-left:1px solid var(--border);background:var(--bg);overflow-y:auto;min-height:0}.panel{padding:1rem}.panel-kicker{text-transform:uppercase;letter-spacing:.06em;font-size:.72rem;font-weight:700;color:var(--accent)}.crumbs{display:flex;flex-wrap:wrap;gap:.1rem;font-size:.82rem}.crumbs button{border:none;background:none;color:var(--muted);cursor:pointer;padding:0 .15rem}.crumbs button:not(:last-child):after{content:" ›"}.crumbs button:hover{color:var(--accent)}.stats{display:grid;grid-template-columns:1fr auto;gap:.35rem 1rem;margin:1rem 0}.stats dt{color:var(--muted)}.stats dd{margin:0;font-weight:600;text-align:right}.plain-list{list-style:none;margin:0;padding:0}@media(max-width:900px){.workspace{grid-template-columns:1fr;grid-template-rows:minmax(0,1fr) auto}.inspector{border-left:none;border-top:1px solid var(--border);max-height:50vh}}.toolbar{display:flex;align-items:center;gap:.6rem;margin-bottom:.7rem}.toolbar.wrap{flex-wrap:wrap}.toolbar.sub{margin-top:-.2rem}.toolbar .sep{width:1px;height:1.2rem;background:var(--border)}.toolbar .search{max-width:22rem}.seg{display:inline-flex;gap:.2rem}.badges{display:inline-flex;gap:2px}.badge{display:inline-grid;place-items:center;min-width:1.3em;height:1.3em;padding:0 .3em;font-size:.7rem;font-weight:700;border-radius:4px;border:1px solid transparent}.badge.kind-parameter{background:var(--param);border-color:var(--param-border)}.badge.kind-variable{background:var(--var);border-color:var(--var-border);border-radius:999px}.badge.nature-static{background:var(--bg-sunken);border-color:var(--border)}.badge.nature-dynamic{border:3px double var(--text);background:var(--bg)}.badge.unknown-links{color:#fff;background:var(--unk)}.badge.status{padding:0 .5em;color:#fff;font-weight:600}.badge.status-known{background:var(--st-known)}.badge.status-unknown{background:var(--st-unknown)}.badge.status-hypothetical{background:var(--st-hyp)}.status-known{color:var(--st-known)}.status-unknown{color:var(--st-unknown)}.status-hypothetical{color:var(--st-hyp)}.role{font-size:.65rem;font-weight:700;padding:0 .3em;margin-left:.25em;border-radius:3px;background:var(--bg-sunken)}.chips{display:flex;flex-wrap:wrap;gap:.25rem}.chip{display:inline-flex;align-items:center;gap:.2rem;padding:.05rem .45rem;border-radius:999px;border:1px solid var(--border);background:var(--bg);font-size:.82rem;cursor:default}button.chip{cursor:pointer}.chip.kind-parameter{border-color:var(--param-border)}.chip.kind-variable{border-color:var(--var-border)}.chip.kind-unknown{border-color:var(--unk);border-style:dashed}.home{flex:1;display:grid;grid-template-columns:minmax(0,1fr) 320px;gap:1.5rem;padding:1.5rem;overflow:auto;align-items:start}.home-side{display:flex;flex-direction:column;gap:1rem}.project-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:1rem;margin-top:1rem}.project-card{display:flex;align-items:flex-start;padding:0}.project-open{flex:1;text-align:left;border:none;background:none;cursor:pointer;padding:1rem;min-width:0;display:flex;flex-direction:column;gap:.4rem}.project-open:hover h3{color:var(--accent)}.project-open h3{margin:0;overflow-wrap:anywhere}.clamp{display:-webkit-box;-webkit-line-clamp:2;line-clamp:2;-webkit-box-orient:vertical;overflow:hidden;margin:0}.counts{display:flex;gap:.8rem;font-size:.82rem}.project-card>.btn{margin:.6rem}@media(max-width:800px){.home{grid-template-columns:1fr}}.tree,.tree ul{list-style:none;margin:0;padding:0}.tree ul{padding-left:1.15rem;border-left:1px dotted var(--border);margin-left:.7rem}.tree-root{background:var(--bg);border:1px solid var(--border);border-radius:var(--radius);padding:.5rem;min-height:4rem}.tree-root.drop-root{outline:2px dashed var(--accent)}.tree-row{display:flex;align-items:center;gap:.4rem;padding:.18rem .35rem;border-radius:5px;cursor:pointer;min-width:0}.tree-row:hover{background:var(--bg-sunken)}.tree-row.selected{background:var(--accent-soft);box-shadow:inset 3px 0 0 var(--accent)}.tree-row.drop-target{outline:2px dashed var(--accent)}.system-row .tree-label{font-weight:600}.tree-label{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.twisty{border:none;background:none;width:1.1rem;padding:0;cursor:pointer;color:var(--muted)}.sys-icon{color:var(--accent)}.sym{font-weight:700}.unit{color:var(--muted);font-family:var(--mono);font-size:.82rem}.row-actions{margin-left:auto;display:none;gap:.2rem}.tree-row:hover .row-actions,.tree-row.selected .row-actions{display:inline-flex}.rel-count{margin-left:auto}.empty{text-align:center;padding:2rem}.table-wrap{overflow:auto;background:var(--bg);border:1px solid var(--border);border-radius:var(--radius)}.table{width:100%;border-collapse:collapse}.table th,.table td{text-align:left;padding:.45rem .6rem;border-bottom:1px solid var(--border);vertical-align:top}.table th{font-size:.8rem;color:var(--muted);background:var(--bg-soft);position:sticky;top:0}.table tbody tr{cursor:pointer}.table tbody tr:hover{background:var(--bg-soft)}.table tbody tr.selected{background:var(--accent-soft)}.implicit-note{margin-top:.8rem;padding:.6rem .8rem;border:1px dashed var(--unk);border-radius:var(--radius);display:flex;flex-wrap:wrap;gap:.35rem;align-items:center;font-size:.88rem}.dsm-wrap .legend{display:flex;gap:1rem;margin-bottom:.5rem;font-size:.85rem}.implicit-sample{color:var(--unk)}.dsm{border-collapse:collapse;font-size:.8rem}.dsm th,.dsm td{border:1px solid var(--border)}.dsm td{width:1.7rem;min-width:1.7rem;height:1.7rem;text-align:center;padding:0}.dsm td.hit{cursor:pointer;font-size:1rem}.dsm td.hit:hover,.dsm td.active{background:var(--accent-soft)}.dsm td.diag{background:var(--text)}.dsm td.implicit{background:repeating-linear-gradient(45deg,transparent 0 3px,color-mix(in srgb,var(--unk) 30%,transparent) 3px 5px)}.dsm th.col{writing-mode:vertical-rl;transform:rotate(180deg);padding:.4rem .1rem;height:5rem;font-weight:600}.dsm th.row{text-align:left;white-space:nowrap;padding:0 .3rem;position:sticky;left:0;max-width:16rem;overflow:hidden}.dsm th.row .link-row{padding:.1rem 0}.dsm .band-0{background:var(--g-sys-0)}.dsm .band-1{background:var(--g-sys-1)}.dsm .band-2{background:var(--g-sys-2)}.dsm .band-3{background:var(--g-sys-3)}.dsm th.corner{background:var(--bg)}.dsm-detail{margin-top:.7rem;display:flex;flex-wrap:wrap;gap:.4rem;align-items:center}.graph-view{height:100%;display:flex;flex-direction:column}.graph-area{position:relative;flex:1;min-height:320px;background:var(--bg);border:1px solid var(--border);border-radius:var(--radius);overflow:hidden}.cy{position:absolute;inset:0}.graph-floating{position:absolute;top:.6rem;left:50%;transform:translate(-50%);display:flex;gap:.5rem;align-items:center;background:var(--bg);border:1px solid var(--accent);border-radius:999px;padding:.3rem .4rem .3rem .9rem;box-shadow:var(--shadow);font-size:.85rem}.graph-warning{position:absolute;bottom:.6rem;left:.6rem;color:var(--warn);font-size:.82rem}.graph-empty{position:absolute;inset:0;display:grid;place-items:center;pointer-events:none}.graph-legend{position:absolute;right:.6rem;bottom:.6rem;background:color-mix(in srgb,var(--bg) 92%,transparent);border:1px solid var(--border);border-radius:6px;padding:.35rem .6rem;font-size:.78rem}.graph-legend ul{list-style:none;margin:.35rem 0 0;padding:0;display:flex;flex-direction:column;gap:.2rem}.lg{display:inline-block;width:1.3rem;height:.8rem;vertical-align:middle;margin-right:.35rem;border:1.5px solid}.lg-param{background:var(--param);border-color:var(--param-border);border-radius:3px}.lg-var{background:var(--var);border-color:var(--var-border);border-radius:999px}.lg-dyn{border:4px double var(--text);border-radius:3px}.lg-unk{border:2px dashed var(--unk);border-radius:3px}.lg-rel{height:0;border-width:2px 0 0}.lg-rel.known{border-color:var(--st-known)}.lg-rel.unknown{border-color:var(--st-unknown);border-style:dashed}.lg-rel.hypothetical{border-color:var(--st-hyp);border-style:dotted}.members{display:flex;flex-direction:column;gap:.35rem}.member-row{display:grid;grid-template-columns:minmax(0,1fr) 8rem auto;gap:.3rem;align-items:center;padding-bottom:.4rem;border-bottom:1px solid var(--border)}.member-q{grid-column:1 / -1;flex-wrap:wrap;font-size:.85rem}.path{flex-basis:100%;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.picker{position:relative}.picker-list{position:absolute;z-index:40;left:0;right:0;top:calc(100% + 2px);max-height:18rem;overflow-y:auto;list-style:none;margin:0;padding:.2rem;background:var(--bg);border:1px solid var(--border);border-radius:6px;box-shadow:var(--shadow)}.picker-list button{display:flex;flex-wrap:wrap;gap:.35rem;align-items:center;width:100%;text-align:left;border:none;background:none;padding:.3rem .4rem;border-radius:4px;cursor:pointer;font-weight:400}.picker-list button:hover{background:var(--bg-sunken)}.expr{display:flex;flex-direction:column;gap:.3rem;font-weight:400}.expr-analysis{display:flex;flex-direction:column;gap:.2rem}.caret{margin:.2rem 0 0;font-size:.8rem;color:var(--danger);white-space:pre;overflow-x:auto}.attrs{display:flex;flex-direction:column;gap:.3rem}.attr-row{display:grid;grid-template-columns:9rem minmax(0,1fr) auto;gap:.3rem}.attrs>.btn{align-self:flex-start}.modal{border:none;border-radius:10px;padding:0;width:min(480px,calc(100vw - 2rem));background:var(--bg);color:var(--text);box-shadow:var(--shadow)}.modal-wide{width:min(760px,calc(100vw - 2rem))}.modal::backdrop{background:#00000073}.modal-header{display:flex;align-items:center;justify-content:space-between;padding:.8rem 1rem .4rem}.modal-header h2{margin:0}.modal-content{padding:.4rem 1rem 1rem}.modal-footer{display:flex;justify-content:flex-end;gap:.5rem;padding:.7rem 1rem;border-top:1px solid var(--border)}.toasts{position:fixed;bottom:1rem;left:50%;transform:translate(-50%);display:flex;flex-direction:column;gap:.4rem;z-index:100;width:min(560px,calc(100vw - 2rem))}.toast{padding:.55rem .9rem;border-radius:6px;background:var(--text);color:var(--bg);box-shadow:var(--shadow);font-size:.9rem}.toast-error{background:var(--danger);color:#fff}.toast-success{background:var(--ok);color:#fff}