:root{color-scheme:light;--ink-950:#efeee8;--ink-900:#ffffff;--rail:#dedcd3;--ink-850:#efeee8;--ink-800:#e9e8e0;--ink-700:#dddcd4;--ink-600:#c7c6c0;--ink-500:#a8a7a1;--ink-400:#71706b;--ink-300:#605f5a;--ink-200:#52514c;--ink-100:#4a4a47;--ink-50:#35352f;--nav-950:#23231e;--king-50:#eff9fc;--king-200:#bfe0ea;--king-300:#3baecb;--king-400:#2192b4;--king-500:#157b9c;--king-600:#0e5e7a;--king-wash:#eff9fc;--volt:#22c8f0;--moss-500:#2c7e53;--moss-600:#226644;--rose-400:#c64a55;--rose-500:#a93340;--src-rule:#007d9a;--src-answer:#953f2c;--src-datasource:#4f419a;--src-injection:#d59e55;--src-km:#bb85cb;--src-synthetic:var(--ink-500);--sans:"Inter",ui-sans-serif,system-ui,sans-serif;--mono:"IBM Plex Mono",ui-monospace,"SF Mono",Menlo,monospace;--shadow-card:0 1px 2px rgba(35,35,30,.06),0 10px 28px -20px rgba(35,35,30,.4);--dur:.24s}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){color-scheme:dark;--ink-950:#191915;--ink-900:#24241f;--rail:#121210;--ink-850:#1d1d19;--ink-800:#2f2f29;--ink-700:#383832;--ink-600:#47473f;--ink-500:#77766e;--ink-400:#9c9b92;--ink-300:#b4b3aa;--ink-200:#c8c7be;--ink-100:#d8d7ce;--ink-50:#f0efe9;--nav-950:#0a0a08;--king-wash:#10303a;--king-400:#2fa5c6;--king-600:#2ea2c2;--moss-500:#4fb07c;--moss-600:#72c597;--rose-400:#e8848c;--rose-500:#de6670;--shadow-card:0 1px 2px rgba(0,0,0,.3),0 12px 30px -20px rgba(0,0,0,.7);--src-rule:#188ba7;--src-answer:#984b43;--src-datasource:#5853a5;--src-injection:#b9882a;--src-km:#ae76da}}:root[data-theme=dark]{color-scheme:dark;--ink-950:#191915;--ink-900:#24241f;--rail:#121210;--ink-850:#1d1d19;--ink-800:#2f2f29;--ink-700:#383832;--ink-600:#47473f;--ink-500:#77766e;--ink-400:#9c9b92;--ink-300:#b4b3aa;--ink-200:#c8c7be;--ink-100:#d8d7ce;--ink-50:#f0efe9;--nav-950:#0a0a08;--king-wash:#10303a;--king-400:#2fa5c6;--king-600:#2ea2c2;--moss-500:#4fb07c;--moss-600:#72c597;--rose-400:#e8848c;--rose-500:#de6670;--shadow-card:0 1px 2px rgba(0,0,0,.3),0 12px 30px -20px rgba(0,0,0,.7);--src-rule:#188ba7;--src-answer:#984b43;--src-datasource:#5853a5;--src-injection:#b9882a;--src-km:#ae76da}@media(prefers-reduced-motion:reduce){:root{--dur:0ms}}*{box-sizing:border-box}html,body{height:100%;margin:0}body{background:var(--ink-950);color:var(--ink-100);font:14px/1.45 var(--sans);-webkit-font-smoothing:antialiased;overflow:hidden}button,input,select{font:inherit;color:inherit}::selection{background:color-mix(in srgb,var(--king-500) 30%,transparent)}:focus-visible{outline:2px solid var(--king-400);outline-offset:2px}.sr{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.kicker{display:inline-flex;align-items:center;gap:.5rem;font:600 11px/1.2 var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--king-600)}.kicker:before{content:"";display:block;height:1px;width:1.5rem;background:var(--ink-600)}.label{font:600 10px/1.5 var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-400);display:flex;align-items:center;gap:4px}.chip{display:inline-flex;align-items:center;gap:.375rem;border-radius:999px;border:1px solid color-mix(in srgb,var(--ink-600) 60%,transparent);background:var(--ink-900);padding:.2rem .6rem;font:600 9.5px/1.3 var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--king-600);white-space:nowrap}.chip--muted{color:var(--ink-400)}.chip--src{color:var(--ink-200);border-color:color-mix(in srgb,var(--s) 50%,transparent);background:color-mix(in srgb,var(--s) 9%,var(--ink-900))}.chip--src .g{color:var(--s)}.chip .g{font-size:9px;letter-spacing:0}.btn{display:inline-flex;align-items:center;gap:6px;border-radius:999px;border:1px solid var(--ink-700);background:var(--ink-900);padding:6px 14px;font-size:13px;font-weight:600;color:var(--ink-100);cursor:pointer;transition:border-color var(--dur),color var(--dur),background var(--dur);white-space:nowrap}.btn:hover{border-color:var(--ink-600);color:var(--ink-50)}.btn--primary{background:var(--king-500);border-color:var(--king-500);color:var(--king-50)}.btn--primary:hover{background:var(--king-600);border-color:var(--king-600);color:#fff}.seg{display:inline-flex;border-radius:999px;border:1px solid var(--ink-700);background:var(--ink-850);padding:2px;gap:2px}.seg button{border:0;background:transparent;border-radius:999px;padding:4px 10px;font:500 13px/1.2 var(--sans);color:var(--ink-400);cursor:pointer;transition:background var(--dur),color var(--dur)}.seg button:hover{color:var(--ink-100)}.seg button[aria-pressed=true]{background:var(--ink-900);color:var(--king-600);box-shadow:0 1px 2px #23231e1f}.ctl{display:inline-flex;height:28px;min-width:28px;align-items:center;justify-content:center;border-radius:8px;border:0;background:transparent;color:var(--ink-400);cursor:pointer;padding:0 4px;transition:background var(--dur),color var(--dur)}.ctl:hover{background:var(--ink-800);color:var(--ink-100)}.ctl svg{width:16px;height:16px}.info{display:inline-flex;width:14px;height:14px;align-items:center;justify-content:center;border:0;background:transparent;padding:0;color:var(--ink-400);cursor:help;border-radius:999px;vertical-align:-2px}.info:hover{color:var(--ink-100)}.info svg{width:14px;height:14px}.app{display:grid;grid-template-rows:auto 1fr;height:100%}.top{display:flex;align-items:center;gap:14px;flex-wrap:wrap;padding:10px 16px;background:var(--ink-900);border-bottom:1px solid var(--ink-700);position:relative;z-index:30}.brand{display:flex;align-items:center;gap:14px;min-width:0}.logo{height:26px;width:auto;-webkit-user-select:none;user-select:none;color:var(--ink-50);display:block}.brand .kicker:before{display:none}.conclusion{display:flex;align-items:center;gap:10px;min-width:0;flex:0 1 auto}.conclusion b{font-weight:600;color:var(--ink-50);font-size:13.5px;overflow-wrap:anywhere}.conclusion .cfnum{min-width:0}.top .spacer{flex:1}.tools{display:flex;align-items:center;gap:8px;flex-wrap:wrap}.stage{position:relative;overflow:hidden;background:var(--ink-950)}#vp{position:absolute;inset:0;cursor:grab;touch-action:none}#vp.drag{cursor:grabbing}#world{position:absolute;left:0;top:0;transform-origin:0 0}#edges{position:absolute;left:0;top:0;overflow:visible;pointer-events:none}.legend{position:absolute;left:16px;bottom:16px;z-index:20;display:flex;flex-wrap:wrap;gap:2px;max-width:calc(100% - 96px);background:var(--ink-900);border:1px solid var(--ink-700);border-radius:12px;padding:4px;box-shadow:var(--shadow-card)}.legend button{display:inline-flex;align-items:center;gap:6px;border:0;background:transparent;border-radius:8px;padding:4px 8px;font-size:12px;color:var(--ink-200);cursor:default}.legend button:hover,.legend button:focus-visible{background:var(--ink-800);color:var(--ink-50)}.legend .g{color:var(--s);font-size:10px;width:10px;text-align:center}.card.ldim{opacity:.18}.zoom{position:absolute;right:16px;bottom:16px;z-index:20;display:flex;flex-direction:column;gap:2px;background:var(--ink-900);border:1px solid var(--ink-700);border-radius:12px;padding:3px;box-shadow:var(--shadow-card)}.trace-bar{position:absolute;left:16px;top:16px;z-index:20;display:none;align-items:center;gap:10px;background:var(--ink-900);border:1px solid var(--ink-700);border-radius:999px;padding:4px 6px 4px 14px;box-shadow:var(--shadow-card);font-size:12.5px;color:var(--ink-200);max-width:calc(100% - 32px)}.trace-bar.on{display:flex}.trace-bar b{font:600 12px var(--mono);color:var(--king-600)}.card{position:absolute;left:0;top:0;width:max-content;min-width:250px;max-width:380px;background:var(--ink-900);border:1px solid var(--ink-700);border-radius:16px;box-shadow:var(--shadow-card);transition:opacity var(--dur),box-shadow var(--dur),border-color var(--dur)}.card:before{content:"";position:absolute;left:-1px;top:14px;bottom:14px;width:4px;border-radius:0 4px 4px 0;background:var(--src,transparent)}.card.root{border-color:var(--king-400);box-shadow:0 0 0 1px var(--king-400),var(--shadow-card)}.card.synth{border-style:dashed;border-color:var(--ink-600);box-shadow:none;background:color-mix(in srgb,var(--ink-900) 70%,transparent)}.card.dim{opacity:.28}.card.traced{border-color:var(--king-400);box-shadow:0 0 0 2px color-mix(in srgb,var(--king-400) 55%,transparent),var(--shadow-card)}.card:focus-visible{outline:2px solid var(--king-400);outline-offset:3px}.chead{display:flex;align-items:center;gap:8px;padding:11px 10px 0 14px}.chead .x{margin-left:2px}.headline{padding:8px 14px 12px;font-size:14px;line-height:1.4;font-weight:600;color:var(--ink-50);overflow-wrap:anywhere}.headline .rel{font-weight:400;color:var(--ink-300)}.altline{margin:-6px 14px 12px;font-size:12.5px;color:var(--ink-300)}.cert{display:flex;align-items:center;gap:8px;margin-left:auto}.meter{position:relative;display:block;width:56px;height:6px;border-radius:999px;overflow:hidden;background:var(--ink-700)}.meter i{display:block;height:100%;background:var(--king-500)}.meter:after{content:"";position:absolute;inset:0;background-image:repeating-linear-gradient(90deg,transparent 0 calc(10% - 1.5px),var(--meter-gap,var(--ink-900)) calc(10% - 1.5px) 10%)}.cfnum{min-width:34px;text-align:right;font:500 12px/1.5 var(--mono);color:var(--ink-200);font-variant-numeric:tabular-nums}.csec{border-top:1px solid var(--ink-700);padding:10px 14px}.contrib{display:flex;align-items:flex-end;gap:14px;margin:2px -6px 6px;padding:6px 6px 4px;border-radius:10px;cursor:pointer;transition:background var(--dur)}.contrib:hover{background:var(--ink-850)}.contrib:focus-visible{outline:2px solid var(--king-400);outline-offset:1px}.cbig{display:flex;flex-direction:column;flex:none}.cbig b{font:700 34px/1 var(--mono);letter-spacing:-.03em;color:var(--king-600);font-variant-numeric:tabular-nums}.cbig b small{font-size:20px;margin-left:2px}.cbig span{font:600 10px/1.5 var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-400)}.cright{flex:1;min-width:0;display:flex;flex-direction:column;gap:6px;padding-bottom:4px}.clab{display:flex;justify-content:flex-end;gap:8px;font:600 10px/1.5 var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-400);white-space:nowrap}.cbar{position:relative;height:16px;border-radius:6px;background:var(--ink-800);overflow:hidden;display:flex}.cbar .sg{flex:0 0 auto;min-width:0;box-sizing:border-box;border-right:2px solid var(--ink-900);background:var(--king-500);transition:background var(--dur)}.cbar .sg.tiny{border-right:0;background:var(--king-300)}.cbar .sg.hl{background:var(--king-600);box-shadow:inset 0 0 0 2px var(--king-300)}.cbar .gap{flex:1 1 0;min-width:0}.cbar .sg.lost{background:repeating-linear-gradient(135deg,var(--rose-400) 0 2px,transparent 2px 5px);opacity:.6;border-right:0}.cbar .sg.cap{background:repeating-linear-gradient(135deg,var(--ink-600) 0 2px,transparent 2px 6px);border-right:0}.cbar .sg.others{background:var(--king-300)}.cond{display:grid;grid-template-columns:14px 14px minmax(0,1fr) auto;gap:6px;align-items:start;padding:5px 6px;margin:0 -6px;border-radius:8px;font-size:12.5px;line-height:1.45;color:var(--ink-100);cursor:pointer;transition:background var(--dur),box-shadow var(--dur)}.cond:hover{background:var(--ink-800)}.cond .n{font:500 11px/1.65 var(--mono);color:var(--ink-500);text-align:right}.cond .tw{color:var(--ink-400);display:flex;align-items:center;justify-content:center;height:18px}.cond .tw svg{width:10px;height:10px;transition:transform var(--dur)}.cond.open .tw svg{transform:rotate(90deg)}.cond .tw.fx{font:italic 600 11px var(--mono);color:var(--ink-400)}.cond .tw.dot:before{content:"";width:4px;height:4px;border-radius:999px;background:var(--ink-500)}.cond .ct{min-width:0;overflow-wrap:anywhere}.sd{display:inline-block;width:7px;height:7px;border-radius:999px;margin:0 7px 1px 0;background:var(--s);vertical-align:middle}.sd.ring{background:transparent;box-shadow:inset 0 0 0 1.5px var(--ink-500)}.cond .imp{font:500 11px/1.65 var(--mono);color:var(--ink-300);font-variant-numeric:tabular-nums;padding-left:6px;white-space:nowrap}.cond.zero,.cond.zero .imp,.cond.unmet .imp{color:var(--ink-400)}.cond.unmet .ct{color:var(--ink-400);text-decoration:line-through;text-decoration-color:var(--ink-500)}.cond .nm-flag,.irow .nm-flag{display:inline-block;margin-left:6px;font:600 9px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--rose-500);text-decoration:none}.cond.bindhl,.cond.hl,.cond.tracerow{background:color-mix(in srgb,var(--king-500) 10%,transparent);box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--king-400) 45%,transparent)}.cond .rel{color:var(--ink-300)}.binds{display:inline-block;margin-left:6px;padding:0 6px;border-radius:999px;font:600 10px/1.6 var(--mono);color:var(--king-600);border:1px dashed color-mix(in srgb,var(--king-400) 55%,transparent);white-space:nowrap;vertical-align:1px;text-decoration:none}.cond.unmet .binds{display:none}.ci,.val{overflow-wrap:anywhere}.val{font:500 12px/1.6 var(--mono);color:var(--ink-50)}.val-number,.val-date{font-variant-numeric:tabular-nums}.pval{display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden;color:var(--ink-200)}.subtriple{margin:-8px 14px 12px;font-size:12px;line-height:1.5;color:var(--ink-400)}.subtriple .rel{color:var(--ink-500)}.para{margin:-4px 14px 4px;font-size:12.5px;line-height:1.55;color:var(--ink-200);max-width:40ch;display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden}.para.open{-webkit-line-clamp:unset;display:block}.pmore{display:block;margin:0 14px 12px;padding:0;border:0;background:none;font-size:12px;font-weight:600;color:var(--king-600);cursor:pointer}.pmore:hover{text-decoration:underline}@keyframes pulse-soft{0%,to{opacity:1}50%{opacity:.4}}.skel{display:flex;flex-direction:column;gap:9px;padding:2px 14px 16px;min-width:200px}.skel i{display:block;height:9px;border-radius:5px;background:var(--ink-800)}.card.isloading .skel i{animation:pulse-soft 1.4s ease-in-out infinite}@media(prefers-reduced-motion:reduce){.card.isloading .skel i{animation:none}}.chip--rose{color:var(--rose-500);border-color:color-mix(in srgb,var(--rose-400) 45%,transparent);background:color-mix(in srgb,var(--rose-400) 8%,var(--ink-900))}.errtext{font-weight:400;color:var(--ink-300);max-width:30ch}.btn.retry{margin:0 14px 14px;padding:4px 12px;font-size:12px}.frow .ft{display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden}.sel{appearance:none;-webkit-appearance:none;border-radius:999px;border:1px solid var(--ink-700);background:var(--ink-900);padding:6px 14px;font:600 13px var(--sans);color:var(--ink-100);cursor:pointer}.sel:hover{border-color:var(--ink-600)}.btn[aria-pressed=true]{border-color:var(--king-400);color:var(--king-600);background:color-mix(in srgb,var(--king-500) 8%,var(--ink-900))}.btn[aria-pressed=false]{color:var(--ink-400)}.op{display:inline-flex;align-items:baseline;gap:4px;margin:1px;padding:0 3px 0 6px;border-radius:6px;border:1px solid var(--ink-600);background:var(--ink-850);font:500 11.5px/1.55 var(--mono);color:var(--ink-50);cursor:pointer;white-space:nowrap;text-decoration:none;transition:border-color var(--dur),background var(--dur)}.op .nm{font:600 9px/1 var(--mono);letter-spacing:.08em;color:var(--ink-400)}.op .cn{display:inline-grid;place-items:center;min-width:15px;height:15px;padding:0 3px;border-radius:4px;align-self:center;background:var(--king-wash);color:var(--king-600);font:600 9.5px/1 var(--mono)}.op:hover,.op.hot{border-color:var(--king-400);background:color-mix(in srgb,var(--king-500) 10%,var(--ink-900))}.op.hot .cn{background:var(--king-500);color:var(--king-50)}.optxt{color:var(--ink-300)}svg.leaders{position:absolute;inset:0;overflow:visible;pointer-events:none;z-index:3}svg.leaders path{fill:none;stroke:var(--king-400);stroke-width:1.5;stroke-dasharray:3 3}svg.leaders circle{fill:var(--king-400)}.ci{position:relative;border-radius:4px;padding:0 2px;margin:0 -2px;cursor:pointer;text-decoration:underline dotted var(--ink-500);text-underline-offset:3px;transition:background var(--dur),color var(--dur)}.ci:hover,.ci.hot{background:color-mix(in srgb,var(--king-500) 12%,transparent);color:var(--king-600);text-decoration-color:transparent}.ci.sel{background:color-mix(in srgb,var(--king-500) 18%,transparent);color:var(--king-600);text-decoration-color:transparent;box-shadow:0 0 0 1px color-mix(in srgb,var(--king-400) 60%,transparent)}.cin{display:none;position:absolute;right:-6px;top:-11px;z-index:2;padding:0 4px;border-radius:4px;background:var(--king-500);color:var(--king-50);font:600 9px/1.5 var(--mono);pointer-events:none;box-shadow:0 0 0 2px var(--ink-900)}.ci:hover .cin,.ci:focus-visible .cin{display:inline-block}.cond.unmet .ci{text-decoration:none}.fnc{display:inline;padding:1px 4px 1px 6px;margin:1px;border-radius:6px;line-height:1.95;cursor:pointer;border:1px solid color-mix(in srgb,var(--king-400) 45%,var(--ink-600));background:var(--king-wash);font:500 11.5px var(--mono);color:var(--ink-50);-webkit-box-decoration-break:clone;box-decoration-break:clone;text-decoration:none;transition:border-color var(--dur),background var(--dur)}.fnc .fnn{font-weight:600;color:var(--king-600)}.fnc .fna{color:var(--ink-300)}.fnc .res{display:inline-block;margin-left:4px;padding:0 4px;border-radius:4px;background:var(--king-500);color:var(--king-50);font:600 9.5px/1.6 var(--mono);vertical-align:1px}.fnc:hover,.fnc.hot{border-color:var(--king-400);background:color-mix(in srgb,var(--king-500) 16%,var(--ink-900))}.fnhead{font:600 13px/1.55 var(--mono);color:var(--ink-50)}.fnhead .fnn{color:var(--king-600)}.fnhead .optxt{font-weight:500}.fnres{display:flex;align-items:baseline;justify-content:space-between;gap:12px;margin:0 14px 12px;padding:8px 12px;border-radius:10px;background:var(--king-wash)}.fnres .label{color:var(--king-600)}.fnres b{font:600 18px/1.2 var(--mono);color:var(--king-600);font-variant-numeric:tabular-nums}.nofacts{padding:6px 0 2px;font-size:12.5px;color:var(--ink-400)}.decides{display:inline-block;margin-left:6px;padding:0 6px;border-radius:999px;background:var(--king-500);color:var(--king-50);font:600 9px/1.6 var(--mono);letter-spacing:.12em;text-transform:uppercase;vertical-align:1px}.card.fnhl{border-color:var(--king-400);box-shadow:0 0 0 2px color-mix(in srgb,var(--king-400) 45%,transparent),var(--shadow-card)}.edge{fill:none;stroke:var(--ink-600);stroke-linecap:round;transition:opacity var(--dur)}.moving .edge.shared{stroke-dasharray:none}.notrans,.notrans *,.notrans *:before{transition:none!important}.edge.dim{opacity:.18}.edge.trace{stroke:var(--king-500)}.edge.live{stroke:var(--volt)}.panel{position:absolute;right:0;top:0;bottom:0;width:min(380px,100%);z-index:25;background:var(--ink-900);border-left:1px solid var(--ink-700);display:flex;flex-direction:column;transform:translate(100%);transition:transform var(--dur) cubic-bezier(.22,.61,.36,1);visibility:hidden}.panel.on{transform:none;visibility:visible}.phead{display:flex;align-items:center;gap:8px;height:44px;flex:none;padding:0 8px 0 16px;border-bottom:1px solid var(--ink-700)}.phead h2{margin:0;font-size:13px;font-weight:600;color:var(--ink-50);letter-spacing:-.01em;flex:1;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.pbody{flex:1;overflow:auto;padding:16px}.pbody section+section{margin-top:22px}.pbody h3{margin:8px 0 0;font-size:17px;line-height:1.3;font-weight:700;letter-spacing:-.02em;color:var(--ink-50);overflow-wrap:anywhere}.pbody .sub{margin-top:6px;font-size:13px;color:var(--ink-300)}.tiles{display:grid;grid-template-columns:repeat(3,1fr);gap:8px;margin-top:14px}.tile{background:var(--king-wash);border-radius:12px;padding:10px 8px;text-align:center}.tile b{display:block;font-size:20px;line-height:1.15;font-weight:700;color:var(--king-600);font-variant-numeric:tabular-nums}.tile span{font:600 9.5px/1.4 var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--king-600)}.toggle{display:flex;align-items:center;gap:8px;margin-top:14px;font-size:13px;color:var(--ink-200);cursor:pointer}.toggle input{accent-color:var(--king-500);width:15px;height:15px;margin:0}.list{margin-top:8px;border:1px solid var(--ink-700);border-radius:12px;overflow:hidden}.frow{display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:10px;align-items:start;padding:8px 12px;border-top:1px solid var(--ink-700);cursor:pointer;font-size:12.5px;color:var(--ink-100);background:none;width:100%;text-align:left;border-left:0;border-right:0;border-bottom:0}.frow:first-child{border-top:0}.frow:hover{background:color-mix(in srgb,var(--ink-850) 60%,transparent)}.frow mark{background:color-mix(in srgb,var(--king-500) 16%,transparent);color:var(--king-600);border-radius:3px;padding:0 2px}.frow .cfnum{min-width:0}.frow.off .ft{color:var(--ink-400)}.metrow{display:flex;align-items:center;gap:10px;margin-top:10px;font-size:12.5px;color:var(--ink-300)}.metrow .meter{width:100px}.pcert{display:flex;align-items:flex-end;gap:14px;margin-top:14px}.pcert .cbig b{font-size:40px}.pcert .cbig b small{font-size:22px}.pcert .clab{justify-content:space-between}.pcert .cbar{height:18px}.pcert .cbar .sg{cursor:default}.plegend{display:flex;gap:10px;flex-wrap:wrap;font:500 10px/1.4 var(--mono);color:var(--ink-400)}.plegend span{display:inline-flex;align-items:center;gap:4px}.plegend i{display:inline-block;width:10px;height:6px;border-radius:2px;background:var(--king-500)}.plegend .others i{background:var(--king-300)}.plegend .lost i{background:repeating-linear-gradient(135deg,var(--rose-400) 0 2px,transparent 2px 5px);opacity:.7}.plegend .cap i{background:repeating-linear-gradient(135deg,var(--ink-600) 0 2px,transparent 2px 6px)}.ptools{display:flex;align-items:center;gap:8px;margin-top:16px}.ptools .seg button{padding:4px 10px;font:500 12px/1.2 var(--sans)}.filter{flex:1;min-width:0;display:flex;align-items:center;gap:6px;border-radius:999px;border:1px solid var(--ink-700);background:var(--ink-850);padding:4px 10px;font-size:12px;color:var(--ink-400)}.filter:focus-within{border-color:var(--king-400)}.filter svg{flex:none;width:12px;height:12px}.filter input{border:0;background:transparent;font:inherit;color:var(--ink-100);width:100%;min-width:0;outline:none}.filter.search{padding:7px 12px;font-size:13px}.sline{margin:10px 0 0;font-size:12.5px;line-height:1.5;color:var(--ink-300);display:flex;align-items:center;gap:6px;flex-wrap:wrap}.link{border:0;background:none;padding:0;font:inherit;color:var(--king-600);cursor:pointer;text-decoration:underline;text-underline-offset:3px}.link:hover{color:var(--king-500)}.frow .falt{display:block;margin-top:2px;font-size:12px;color:var(--ink-300)}#bSearch svg{margin-right:-2px}.irows{display:flex;flex-direction:column;gap:2px;margin:8px -6px 0}.irow{display:grid;grid-template-columns:28px minmax(0,1fr) 40px;gap:4px 8px;align-items:baseline;font-size:12.5px;color:var(--ink-100);border-radius:8px;padding:6px 6px 7px;border:0;background:none;width:100%;text-align:left;font-family:inherit}.irow:hover,.irow.hot{background:var(--ink-800)}.irow .n{font:500 11px/1.6 var(--mono);color:var(--ink-500);text-align:right}.irow .t{min-width:0;display:flex;align-items:baseline;gap:6px}.irow .t .tt{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.irow .t .nm-flag{margin-left:0;flex:none}.irow .v{font:600 12px/1.6 var(--mono);color:var(--king-600);text-align:right;font-variant-numeric:tabular-nums}.irow .tr{grid-column:2 / 4;position:relative;height:6px;border-radius:999px;background:var(--ink-800);overflow:hidden}.irow .tr i{display:block;height:100%;border-radius:999px;background:var(--king-500)}.irow.zero .v,.irow.unmet .v{color:var(--ink-500)}.irow.zero .t{color:var(--ink-300)}.irow.unmet .t .tt{color:var(--ink-400);text-decoration:line-through;text-decoration-color:var(--ink-500)}.irow.unmet .tr{background:repeating-linear-gradient(135deg,var(--ink-600) 0 2px,transparent 2px 5px)}.irow.unmet .tr i{display:none}.irow.group{margin-top:4px;border:1px dashed var(--ink-600);border-radius:10px;background:var(--ink-850);cursor:pointer;padding:8px 6px 9px}.irow.group:hover{background:var(--ink-800)}.irow.group .n{display:flex;justify-content:flex-end;color:var(--ink-400)}.irow.group .n svg{width:10px;height:10px;transition:transform var(--dur)}.irow.group[aria-expanded=true] .n svg{transform:rotate(90deg)}.irow.group .t{font-weight:500;color:var(--ink-200)}.irow.group .v{color:var(--king-300)}.irow.group .tr i{background:repeating-linear-gradient(90deg,var(--king-300) 0 3px,var(--ink-900) 3px 4px)}.irow.sub{margin-left:12px}.inone{padding:10px 6px;font-size:12.5px;color:var(--ink-400)}table.tbl{width:100%;border-collapse:collapse;margin-top:8px;font-size:12px;font-variant-numeric:tabular-nums}.tbl th{text-align:left;padding:6px 8px;font:600 10px/1.5 var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ink-400);background:color-mix(in srgb,var(--ink-850) 60%,var(--ink-900));box-shadow:inset 0 -1px 0 var(--ink-700)}.tbl td{padding:6px 8px;border-top:1px solid var(--ink-700);color:var(--ink-100);vertical-align:top}.tbl td.num,.tbl th.num{text-align:right;font-family:var(--mono)}.tbl td.n{font-family:var(--mono);color:var(--ink-500)}#tip{position:fixed;z-index:60;pointer-events:none;opacity:0;transition:opacity .12s;max-width:22rem;background:var(--ink-800);border:1px solid var(--ink-700);border-radius:10px;padding:8px 12px;font-size:12px;line-height:1.5;color:var(--ink-50);box-shadow:0 6px 20px -8px #23231e59}#tip.on{opacity:1}#tip .t{font-weight:600}#tip .m{color:var(--ink-300)}#tip .k{font:600 9.5px var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ink-400)}@media(max-width:720px){.conclusion{display:none}.top{gap:10px;padding-right:52px}#bTheme{position:absolute;right:12px;top:12px}.btn{padding:6px 12px}.panel{width:100%}}#root{height:100%}.canvas-host{position:absolute;inset:0}.canvas-host[hidden]{display:none}.outline-wrap{position:absolute;inset:0;overflow:auto;padding:16px 16px 96px;background:var(--ink-950)}.outline{list-style:none;margin:0 auto;padding:0;max-width:1100px}.outline .orow{margin:0 0 6px;padding-left:calc(var(--lvl,0) * 22px);outline:none}.outline .ocard{position:relative;display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:6px 12px;align-items:center;padding:8px 12px;border-radius:12px;background:var(--ink-900);border:1px solid var(--ink-700);box-shadow:var(--shadow-card)}.outline .orow:focus-visible .ocard,.outline .orow[aria-selected=true]:focus .ocard{box-shadow:0 0 0 2px var(--king-400),var(--shadow-card)}.outline .orow.synth .ocard{border-style:dashed;box-shadow:none;background:color-mix(in srgb,var(--ink-900) 70%,transparent)}.outline .orow.shared .ocard{border-left:3px solid var(--king-400)}.outline .ohead{min-width:0;font-size:13.5px;line-height:1.4;color:var(--ink-50);overflow-wrap:anywhere}.outline .ohead b{font-weight:600}.outline .ohead .rel{font-weight:400;color:var(--ink-300)}.outline .osub{display:block;font-size:12px;color:var(--ink-400);font-weight:400}.outline .opara{color:var(--ink-200);white-space:pre-wrap}.outline .oshared{grid-column:1 / -1;font:600 10px/1.5 var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--king-600)}.outline .olink{grid-column:1 / -1;justify-self:start;border:0;background:none;padding:0;font-size:12px;font-weight:600;color:var(--king-600);cursor:pointer}.outline .olink:hover{text-decoration:underline}.outline .oconds{grid-column:1 / -1;list-style:none;margin:2px 0 0;padding:6px 0 0;border-top:1px solid var(--ink-700)}.outline .ocond{display:grid;grid-template-columns:14px 18px minmax(0,1fr) auto;gap:6px;align-items:start;padding:3px 0;font-size:12.5px;line-height:1.45;color:var(--ink-100)}.outline .ocond .n{font:500 11px/1.65 var(--mono);color:var(--ink-500);text-align:right}.outline .ocond .tw{display:inline-flex;align-items:center;justify-content:center;height:18px;width:18px;border:0;background:none;padding:0;color:var(--ink-400);cursor:pointer;border-radius:4px}.outline .ocond .tw svg{width:10px;height:10px;transition:transform var(--dur)}.outline .ocond.open .tw svg{transform:rotate(90deg)}.outline .ocond .tw:hover{background:var(--ink-800);color:var(--ink-100)}.outline .ocond .ct{min-width:0;overflow-wrap:anywhere}.outline .ocond .imp{font:500 11px/1.65 var(--mono);color:var(--ink-300);font-variant-numeric:tabular-nums}.outline .ocond.unmet .ct{color:var(--ink-400);text-decoration:line-through;text-decoration-color:var(--ink-500)}.outline .ocond .nm-flag{text-decoration:none}.outline .oval{display:inline-flex;align-items:baseline;gap:4px;margin:0 1px;padding:0 5px;border-radius:5px;border:1px solid var(--ink-600);background:var(--ink-850);font:500 11.5px/1.5 var(--mono);color:var(--ink-50)}.outline .oval .nm{font:600 9px/1 var(--mono);letter-spacing:.08em;color:var(--ink-400)}.outline .fnname{font:600 12px var(--mono);color:var(--king-600)}.outline .btn.retry{margin:0;grid-column:1 / -1;justify-self:start}.outline .nofacts{padding:4px 0 0;font-size:12.5px;color:var(--ink-400)}.banner{position:absolute;left:50%;top:16px;transform:translate(-50%);z-index:26;display:flex;align-items:center;gap:12px;max-width:min(720px,calc(100% - 32px));padding:10px 8px 10px 16px;border-radius:14px;background:var(--ink-900);border:1px solid var(--ink-700);box-shadow:var(--shadow-card);font-size:13px;color:var(--ink-100)}.banner b{font-weight:600;color:var(--ink-50);white-space:nowrap}.banner span{color:var(--ink-300);overflow-wrap:anywhere}.banner--error{border-color:color-mix(in srgb,var(--rose-400) 55%,transparent)}.banner--error b{color:var(--rose-500)}.hud{position:absolute;left:50%;bottom:16px;transform:translate(-50%);z-index:22;display:flex;align-items:center;gap:10px;max-width:calc(100% - 32px);padding:8px 8px 8px 14px;border-radius:999px;background:var(--ink-900);border:1px solid var(--ink-700);box-shadow:var(--shadow-card);font-size:12.5px;color:var(--ink-200)}.hud-warn{color:var(--rose-500);font-weight:600}@keyframes spin{to{transform:rotate(360deg)}}.hud .spin,.sline .spin{width:12px;height:12px;border-radius:999px;border:2px solid var(--ink-600);border-top-color:var(--volt);animation:spin .9s linear infinite}@media(prefers-reduced-motion:reduce){.hud .spin,.sline .spin{animation:none;border-top-color:var(--king-500)}}.keywrap{position:absolute;inset:0;z-index:24;display:grid;place-items:center;padding:16px;background:color-mix(in srgb,var(--ink-950) 70%,transparent)}.keyprompt{width:min(460px,100%);padding:20px 22px 22px;border-radius:16px;background:var(--ink-900);border:1px solid var(--ink-700);box-shadow:var(--shadow-card)}.keyprompt h3{margin:8px 0 6px;font-size:17px;line-height:1.3;font-weight:700;letter-spacing:-.02em;color:var(--ink-50)}.keyprompt p{margin:0 0 14px;font-size:13px;line-height:1.5;color:var(--ink-300)}.keyrow{display:flex;gap:8px;margin-top:6px}.keyrow input{flex:1;min-width:0;border-radius:12px;border:1px solid var(--ink-700);background:var(--ink-850);padding:7px 12px;font:500 13px var(--mono);color:var(--ink-50)}.keyrow input:focus{outline:2px solid var(--king-400);outline-offset:1px}.btn:disabled{opacity:.5;cursor:default}.legend-stats{align-self:center;padding:0 10px 0 8px;font:500 11px var(--mono);color:var(--ink-400);white-space:nowrap}.help{position:absolute;right:16px;top:16px;z-index:20;display:grid;place-items:center;width:28px;height:28px;border-radius:999px;background:var(--ink-900);border:1px solid var(--ink-700);box-shadow:var(--shadow-card);font:600 13px var(--mono);color:var(--king-600);text-decoration:none}.help:hover{border-color:var(--king-400)}.panel.on~.help,.stage:has(.panel.on) .help{display:none}@media print{.top .tools,.legend,.zoom,.help,.hud,.trace-bar,.panel,.canvas-host{display:none!important}.app{display:block;height:auto}.stage{position:static;overflow:visible;background:#fff}.outline-wrap{position:static;overflow:visible;padding:0}.outline .ocard{box-shadow:none;break-inside:avoid}}.card.childhl{border-color:var(--king-400);box-shadow:0 0 0 2px color-mix(in srgb,var(--king-400) 55%,transparent),var(--shadow-card)}.edge.hl{stroke:var(--king-500);opacity:1;stroke-width:3}.edge.hl.shared{stroke:var(--king-500)}.chip--dup{flex:none;color:var(--king-600);border-color:color-mix(in srgb,var(--king-400) 45%,transparent);background:color-mix(in srgb,var(--king-500) 8%,var(--ink-900));margin-left:4px;padding:.15rem .45rem;gap:.25rem;cursor:help}.chip--dup .g{color:var(--king-600);font-size:10px}.cond .imp{display:inline-flex;align-items:center;gap:4px}.rsel{display:inline-flex;width:18px;height:18px;align-items:center;justify-content:center;border:0;border-radius:6px;padding:0;background:transparent;color:var(--ink-400);cursor:pointer;opacity:0;transition:opacity var(--dur),background var(--dur),color var(--dur)}.rsel svg{width:13px;height:13px}.cond:hover .rsel,.cond:focus-within .rsel,.rsel:focus-visible,.rsel[aria-pressed=true]{opacity:1}.rsel:hover{background:var(--ink-800);color:var(--king-600)}.rsel[aria-pressed=true]{background:var(--king-500);color:var(--king-50)}.cond.selected{background:color-mix(in srgb,var(--king-500) 12%,transparent);box-shadow:inset 0 0 0 1px color-mix(in srgb,var(--king-400) 55%,transparent)}.stats{position:absolute;left:16px;bottom:16px;z-index:20;padding:5px 10px;border-radius:999px;background:var(--ink-900);border:1px solid var(--ink-700);box-shadow:var(--shadow-card);font:500 11px/1.4 var(--mono);color:var(--ink-400)}.trace-bar .sel-owner{font:600 12px var(--sans);color:var(--ink-50);max-width:40ch;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;display:inline-block;vertical-align:bottom}.op{display:inline;white-space:normal;overflow-wrap:anywhere;line-height:1.95;padding:1px 3px 1px 6px;-webkit-box-decoration-break:clone;box-decoration-break:clone}.op .nm{margin-right:4px}.op .cn{margin-left:4px;vertical-align:1px}.op .ov,#tip{overflow-wrap:anywhere}#tip .t{overflow-wrap:anywhere;max-height:14em;overflow:hidden}#vp.drag,#vp.drag *{user-select:none;-webkit-user-select:none}#vp{-webkit-user-select:none;user-select:none}#vp .card{user-select:text;-webkit-user-select:text}.cond .altread{display:block}.cond .rawline{display:block;margin-top:2px;font-size:11.5px;color:var(--ink-400)}.cond .rawline .rel{color:var(--ink-500)}.headline[data-trip]{cursor:help}.cond.unmet .rawline{text-decoration:line-through;text-decoration-color:var(--ink-500)}.moving .card{will-change:transform}.card>.chead,.card>.headline,.card>.subtriple,.card>.csec,.card>.para,.card>.pmore,.card>.fnres,.card>.skel,.card>.errtext,.card>.retry{opacity:var(--detail,1)}.zoomed-out .card>.chead,.zoomed-out .card>.headline,.zoomed-out .card>.subtriple,.zoomed-out .card>.csec,.zoomed-out .card>.para,.zoomed-out .card>.pmore,.zoomed-out .card>.fnres{pointer-events:none}.lsum{position:absolute;inset:0;display:flex;flex-direction:column;justify-content:center;gap:.35em;padding:5% 7%;overflow:hidden;opacity:var(--summary,0);pointer-events:none;font-size:clamp(16px,calc(11.5px / var(--z,1)),40px);line-height:1.15}.lsum .lsrc{display:inline-flex;align-items:center;gap:.4em;font:600 .5em/1.2 var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-400)}.lsum .lsrc .g{color:var(--s);font-size:1.1em;letter-spacing:0}.lsum .lsub{font-size:.55em;line-height:1.25;color:var(--ink-300);display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden;overflow-wrap:anywhere}.lsum .lhead{font-weight:500;color:var(--ink-100);letter-spacing:-.01em;display:-webkit-box;-webkit-line-clamp:4;-webkit-box-orient:vertical;overflow:hidden;overflow-wrap:anywhere}.lsum .lhead b{font-weight:700;color:var(--ink-50)}.lsum .lhead.lalt{font-weight:700;color:var(--ink-50);-webkit-line-clamp:5}.lsum .lcf{font:600 .6em/1.2 var(--mono);color:var(--king-600);font-variant-numeric:tabular-nums}.card.synth .lsum .lhead{color:var(--ink-300)}#preview{position:absolute;z-index:40;display:none;pointer-events:none;width:max-content;min-width:280px;max-width:420px;background:var(--ink-900);border:1px solid var(--king-400);border-radius:16px;box-shadow:0 0 0 2px color-mix(in srgb,var(--king-400) 45%,transparent),0 18px 40px -16px #00000073}#preview:before{content:"";position:absolute;left:-1px;top:14px;bottom:14px;width:4px;border-radius:0 4px 4px 0;background:var(--src,transparent)}#preview.on{display:block}#preview .lsum{display:none}#preview>*{opacity:1!important}