:root{color-scheme:dark;--bg:#0d061f;--panel:#180c32;--line:#47325e;--text:#f7f3ff;--muted:#b9a9cc;--accent:#ef83ed;--sub:#dfc9f4;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:radial-gradient(ellipse 900px 430px at 80% 5%,#351056 0%,transparent 70%),var(--bg);color:var(--text);line-height:1.5}a{color:inherit}button,select,input{font:inherit}.topbar{height:80px;padding:0 max(24px,calc((100% - 1160px)/2));display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid #37204f}.brand{font-size:17px;font-weight:750;display:flex;gap:13px;align-items:center;text-decoration:none;letter-spacing:-.4px}.brand-split{color:#9a83b8;margin:0 5px}.brand-mark{width:31px;height:31px;display:grid;grid-template-columns:1fr 1fr;gap:3px;transform:rotate(-9deg)}.brand-mark span{border:2px solid var(--accent);border-radius:3px}.brand-mark span:nth-child(2),.brand-mark span:nth-child(3){opacity:.45}.auth{display:flex;align-items:center;gap:14px}.session-status{font-size:12px;color:var(--muted)}.btn{border:1px solid #674b83;border-radius:10px;background:#27133f;color:var(--text);font-weight:650;cursor:pointer;text-decoration:none;display:inline-flex;justify-content:space-between;align-items:center;gap:8px;padding:12px 18px;transition:background .15s}.btn:hover{background:#3b1c60}.btn:focus-visible,select:focus-visible,.file-target:focus-within{outline:2px solid var(--accent);outline-offset:3px}.btn:disabled{opacity:.42;cursor:not-allowed}.btn-primary{background:var(--accent);border-color:var(--accent);color:#210a2c;width:100%}.btn-primary:hover:enabled{background:#f7c4ff}.btn-ghost{background:transparent;border-color:var(--line)}.btn-small{padding:8px 13px;font-size:13px}.hero,.workspace,.how{max-width:1160px;margin:auto}.hero{padding:95px 24px 88px}.eyebrow,.overline{font-size:12px;font-weight:750;letter-spacing:2px;color:var(--accent);text-transform:uppercase}.light-dot{width:8px;height:8px;background:var(--accent);border-radius:50%;display:inline-block;margin-right:8px;box-shadow:0 0 0 5px #ef83ed24}h1{font-size:clamp(38px,5.7vw,69px);line-height:1.14;letter-spacing:-2.3px;margin:23px 0;max-width:1080px}h1 span{color:var(--accent)}.lead{font-size:18px;color:#c6b4dc;line-height:1.7;max-width:740px}.hero-meta{display:flex;flex-wrap:wrap;gap:12px;margin-top:35px}.hero-meta span,.pill{border:1px solid var(--line);border-radius:50px;padding:7px 13px;color:#d6b8eb;font-size:12px}.workspace{padding:0 24px 80px}.section-header{display:flex;justify-content:space-between;align-items:flex-end;margin-bottom:24px}.overline{margin:0 0 7px}h2{margin:0;font-size:31px;letter-spacing:-.7px}.columns{display:grid;grid-template-columns:1fr 1fr;gap:20px}.panel{background:linear-gradient(165deg,#23103e,#160b2d);border:1px solid var(--line);border-radius:17px;padding:28px;min-width:0}.field{margin-bottom:21px}.field>label:first-child{display:block;font-weight:650;margin-bottom:9px}.file-target{cursor:pointer;border:1px dashed #765393;border-radius:11px;padding:28px 15px;display:flex;flex-direction:column;align-items:center;gap:6px;text-align:center;background:#160b2a}.file-target strong{font-size:14px}.file-target span:last-child{font-size:12px;color:var(--muted)}.file-icon{font-size:30px;color:var(--accent)}#model-file{position:absolute;width:1px;height:1px;opacity:0;overflow:hidden}select{background:#160b2a;border:1px solid #5a4077;border-radius:10px;color:var(--text);width:100%;padding:12px}.field-hint{color:var(--muted);font-size:12px;line-height:1.7;margin:12px 0 25px}code{font-size:12px;word-break:break-all}#form-error{color:#ffb3c5;font-size:13px;margin-top:14px}.output-top{display:flex;justify-content:space-between;align-items:center;gap:10px;border-bottom:1px solid var(--line);padding-bottom:18px}.output-top h3{margin:0;font-size:19px}.pill.muted{color:#ad9dc1}.empty{min-height:395px;display:flex;flex-direction:column;justify-content:center;align-items:center;text-align:center}.empty-symbol{font-size:54px;color:#76499c;font-weight:250}.empty h3{font-size:18px;margin-bottom:4px}.empty p{max-width:305px;color:var(--muted);font-size:13px;line-height:1.8}.result-grid{display:grid;grid-template-columns:1fr 1fr;gap:15px}.result-grid div{padding:14px;background:#160b2a;border-radius:9px}.result-grid dt{font-size:12px;color:var(--muted)}.result-grid dd{font-weight:750;margin:7px 0 0;word-break:break-word}.detail-block{border-top:1px solid var(--line);padding-top:13px;margin-top:20px}.detail-block h4{font-size:13px;margin:0 0 9px;color:var(--sub)}.detail-block p{margin:0;color:#e6d9f6;font-size:14px;white-space:pre-wrap}.hash{color:var(--muted)}details{margin-top:26px;color:var(--muted);font-size:13px}summary{cursor:pointer}pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:12px;color:#dac5ec;line-height:1.6;max-height:300px;overflow:auto}.how{padding:5px 24px 95px}.features{display:grid;grid-template-columns:repeat(3,1fr);gap:16px;margin-top:27px}.features article{border-top:1px solid #5c3b78;padding:19px 10px 10px 0}.feature-number{color:var(--accent);font-size:12px}.features h3{font-size:18px;margin:11px 0}.features p{color:var(--muted);font-size:14px;line-height:1.7}footer{border-top:1px solid var(--line);padding:30px max(24px,calc((100% - 1160px)/2));display:flex;justify-content:space-between;gap:20px;color:var(--muted);font-size:12px}@media(max-width:760px){.topbar{height:65px;padding:0 18px}.brand{font-size:14px}.session-status{display:none}.hero{padding:62px 20px}.hero h1{letter-spacing:-1.5px}.lead{font-size:16px}.workspace{padding:0 18px 65px}.columns{grid-template-columns:1fr}.panel{padding:20px}.features{grid-template-columns:1fr}.how{padding:10px 18px 65px}footer{padding:20px;flex-direction:column}}
/* Native hidden always wins over display:flex/inline-flex component styles. */
[hidden]{display:none!important}





.header-actions{display:flex;align-items:center;gap:18px;min-width:0}
.locale-switch{display:inline-flex;align-items:center;gap:3px;padding:3px;border:1px solid var(--line);border-radius:9px;flex-shrink:0}
.locale-switch a{padding:6px 8px;text-decoration:none;font-size:12px;font-weight:700;color:var(--muted);border-radius:6px}
.locale-switch a[aria-current="page"]{color:var(--text);background:#4b276f}
.locale-switch a:focus-visible{outline:2px solid var(--accent);outline-offset:2px}
@media(max-width:760px){.topbar{gap:6px}.header-actions{gap:8px}.locale-switch a{padding:5px 5px;font-size:11px}.btn-small{padding:6px 8px}.session-status{display:none}}
@media(max-width:390px){.topbar{padding-inline:12px}.header-actions{gap:4px}}

/* Diagnostic evidence report: never imply a speculative cause is a proof. */
.report-summary{margin:18px 0;color:#f7efff;font-size:14px;line-height:1.65;padding:12px 14px;border-inline-start:3px solid var(--accent);background:#160b2a}
.report-summary[data-kind="error"],.report-summary[data-kind="invalid"]{border-inline-start-color:#ff989d}
.report-summary[data-kind="inconclusive"]{border-inline-start-color:#f4ca88}
.mono,.hash{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:12px;overflow-wrap:anywhere}
.evidence-list{margin:14px 0;padding-inline-start:20px;color:var(--text)}
.evidence-list li{margin:8px 0;overflow-wrap:anywhere;font-size:13px}
.proposal-details{margin:12px 0 0;display:grid;gap:10px}
.proposal-details div{background:#160b2a;padding:10px;border-radius:8px}
.proposal-details dt{font-size:12px;color:var(--muted);margin-bottom:4px}
.proposal-details dd{font-size:13px;margin:0;overflow-wrap:anywhere}
.table-scroll{max-width:100%;overflow-x:auto}
.values-table{width:100%;border-collapse:collapse;font-size:13px;font-variant-numeric:tabular-nums}
.values-table th,.values-table td{border-bottom:1px solid var(--line);padding:8px;text-align:start}
.values-table th{font-weight:600;color:var(--muted)}
.values-table td:last-child{font-family:ui-monospace,Consolas,monospace}
.report-export{margin-top:20px;font-size:12px;width:100%}

.example-title{font-size:14px;font-weight:650;margin:0 0 7px}
.example-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}
.example-button{font-size:12px;text-align:left;line-height:1.4;min-height:55px;padding:10px}
#example-notice{margin-top:9px;min-height:1em}
@media(max-width:480px){.example-list{grid-template-columns:1fr}}


/* One-row product header. Disclosure-style account control, no extra topbar row. */
.topbar{position:relative;flex-wrap:nowrap;gap:12px}

.header-actions{width:auto;flex:0 0 auto;min-width:0;gap:12px}
.auth{position:relative;flex:0 0 auto;min-width:0}
.user-profile{display:flex;position:relative;align-items:center}
.profile-toggle{display:flex;align-items:center;justify-content:center;width:38px;height:38px;border:1px solid #765393;border-radius:50%;background:#291641;padding:0;color:var(--text);cursor:pointer}
.profile-toggle:hover,.profile-toggle[aria-expanded="true"]{background:#513175;border-color:var(--accent)}
.profile-toggle:focus-visible,.profile-logout:focus-visible{outline:2px solid var(--accent);outline-offset:3px}
.user-avatar{display:flex;align-items:center;justify-content:center;flex:0 0 32px;height:32px;border-radius:50%;background:#513175;color:var(--text);font-size:12px;font-weight:750;letter-spacing:.02em}
.profile-menu{position:absolute;right:0;top:calc(100% + 12px);z-index:60;width:280px;max-width:calc(100vw - 24px);padding:14px;background:#1d1035;border:1px solid #745293;border-radius:14px;box-shadow:0 14px 32px #06020faa}
.profile-menu-account{display:flex;flex-direction:column;gap:5px;min-width:0;padding:4px 3px 13px;border-bottom:1px solid var(--line)}
.profile-menu .user-name{font-size:14px;font-weight:700;white-space:normal;overflow-wrap:anywhere;line-height:1.45}
.profile-menu .user-email{display:block;font-size:12px;color:var(--muted);overflow-wrap:anywhere;line-height:1.45}
.profile-logout{width:100%;margin-top:12px;justify-content:center;padding:10px 12px;font-size:13px}
@media(max-width:930px){.header-actions{gap:8px}}
@media(max-width:570px){
  .topbar{height:64px;min-height:64px;flex-wrap:nowrap;gap:5px;padding:0 12px}
  
  
  
  
  
  .header-actions{width:auto;flex:0 0 auto;gap:6px;justify-content:flex-end}
  .auth{flex:0 0 auto;gap:0;justify-content:flex-end}
  .locale-switch{gap:0;padding:2px;border-radius:8px}
  .locale-switch a{font-size:10.5px;padding:5px 4px}
  .profile-toggle{width:34px;height:34px}
  .user-avatar{flex-basis:30px;height:30px}
  .session-status{display:none}
  .btn-small{font-size:11px;padding:6px 8px}
  .profile-menu{top:calc(100% + 10px);width:min(275px,calc(100vw - 24px))}
}
@media(max-width:350px){
  .topbar{padding-inline:8px;gap:3px}
  
  
  
  
  .header-actions{gap:4px}
  .locale-switch a{font-size:10px;padding:4px 3px}
  .profile-toggle{width:32px;height:32px}
  .user-avatar{flex-basis:28px;height:28px}
  .btn-small{font-size:10px;padding:5px 6px}
}


/*
 * QDIP ProductLockup — canonical component contract from
 * qdip-web/src/design-system/components.tsx + components.css.
 * Desktop rules below match Observatory, Studio and VHV exactly in
 * typography and wordmark geometry. No Doctor-specific logo proportions.
 * On narrow screens, scale the ENTIRE lockup with one scalar so the
 * product label and qdip always retain the same relative size.
 */
.ds-product-header-brand{
  display:inline-flex;
  min-width:0;
  flex-shrink:0;
  align-items:center;
  gap:4px;
}
.ds-product-lockup{
  --doctor-lockup-scale:1;
  display:inline-flex;
  gap:0;
  min-height:calc(44px * var(--doctor-lockup-scale));
  align-items:center;
  flex-shrink:0;
  color:var(--text);
  font-size:1rem;
  font-weight:400;
  letter-spacing:-.025em;
  text-decoration:none;
  transition:opacity 160ms;
  white-space:nowrap;
}
.ds-product-lockup:hover{opacity:.82}
.ds-product-lockup-brand{
  display:inline-flex;
  align-items:center;
  margin-left:calc(-12px * var(--doctor-lockup-scale));
  transform:translateY(calc(-2px * var(--doctor-lockup-scale)));
  font-weight:450;
  text-decoration:none;
}
.ds-product-lockup-wordmark-frame{
  display:inline-flex;
  width:calc(124px * var(--doctor-lockup-scale));
  flex:0 0 calc(124px * var(--doctor-lockup-scale));
  align-items:center;
  overflow:hidden;
}
.ds-product-lockup-wordmark{
  display:block;
  width:calc(156px * var(--doctor-lockup-scale));
  height:auto;
  margin-inline:calc(-16px * var(--doctor-lockup-scale));
  flex:0 0 auto;
  clip-path:inset(0 10%);
}
.ds-product-lockup-product{
  color:var(--accent);
  font-size:calc(1.35rem * var(--doctor-lockup-scale));
  line-height:1;
  font-weight:400;
  text-decoration:none;
}
.ds-product-lockup-product:focus-visible,.ds-product-lockup-brand:focus-visible{
  outline:2px solid var(--accent);outline-offset:2px;
}
@media(max-width:760px){
  .ds-product-lockup{--doctor-lockup-scale:.78}
}
@media(max-width:570px){
  .ds-product-lockup{--doctor-lockup-scale:.67}
}
@media(max-width:350px){
  .ds-product-lockup{--doctor-lockup-scale:.58}
}

.inspection-stats{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin:12px 0}
.inspection-stats div{background:#160b2a;border-radius:9px;padding:11px;min-width:0}
.inspection-stats dt{font-size:11px;color:var(--muted)}
.inspection-stats dd{font-size:14px;font-weight:700;margin:5px 0 0;overflow-wrap:anywhere}
.inspector-note{margin:4px 0 12px!important}
.inspection-detail{margin:12px 0}.inspection-detail summary{font-weight:650;cursor:pointer}
.inspection-detail .table-scroll{margin-top:8px}

/* P1 accessibility: keyboard navigation is visible at all viewport sizes. */
.skip-link{position:absolute;left:0;top:0;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}
.skip-link:focus-visible{position:fixed;top:8px;left:8px;z-index:1000;width:auto;height:auto;overflow:visible;clip-path:none;padding:12px 16px;border:2px solid var(--accent);border-radius:8px;background:var(--bg);color:var(--text)}
#workspace:focus{outline:none}
/* The file input is the focusable control; its preceding visible label must show focus. */
.field:focus-within > .file-target{outline:3px solid var(--accent);outline-offset:3px}
summary:focus-visible,.example-button:focus-visible,.locale-switch a:focus-visible{outline:3px solid var(--accent);outline-offset:3px}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}


/* Proof-first UX: clear action guidance and visually equal repair alternatives. */
.next-step{margin:14px 0 20px;padding:14px 16px;border:1px solid var(--line);border-radius:10px;background:#160b2a}
.next-step h4{font-size:13px;margin:0 0 7px;color:var(--sub)}
.next-step p{font-size:14px;line-height:1.55;margin:0;color:var(--text)}
.repair-options{list-style:none;padding:0;margin:14px 0;display:grid;gap:10px}
.repair-options[hidden]{display:none}
.repair-options li{padding:14px 16px;border-radius:10px;border:1px solid var(--line);background:#160b2a;min-width:0}
.repair-options strong{display:block;font-size:14px;line-height:1.5;overflow-wrap:anywhere}
.repair-options p{font-size:13px;line-height:1.45;color:var(--sub);margin:7px 0}
.repair-options code{display:block;overflow-wrap:anywhere;white-space:normal}


/* The example chooser must expose an unambiguous, persistent selection. */
.example-button{position:relative;transition:background .15s,border-color .15s,box-shadow .15s}
.example-button[data-state="selected"],
.example-button[data-state="loading"]{background:#3f245b;border-color:var(--accent);box-shadow:inset 0 0 0 1px var(--accent);color:var(--text)}
.example-button[data-state="selected"]::after{content:"✓";margin-inline-start:auto;color:var(--accent);font-size:18px;font-weight:800}
.example-button[data-state="loading"]{opacity:1;cursor:progress}
.example-button[data-state="loading"]::after{content:"…";margin-inline-start:auto;color:var(--accent);font-size:19px}
.example-button[data-state="selected"]:active{background:#593276;transform:translateY(1px)}
#example-notice:not(:empty){padding:8px 0;font-size:13px;color:var(--text)}


/* Explicit sign-in gate: a disabled solver action must not look tappable. */
#run.btn-primary:disabled,
#run.btn-primary:disabled:hover {
  opacity:1;
  background:#2f2640;
  border-color:#665879;
  color:#afa6bd;
  box-shadow:none;
  cursor:not-allowed;
  transform:none;
}
#run.btn-primary:disabled span {color:inherit}
.run-auth {
  margin:6px 0 12px;
  padding:16px;
  background:#26123d;
  border:1px solid #74578d;
  border-radius:10px;
  display:grid;
  gap:12px;
}
.run-auth[hidden],.run-lock-hint[hidden]{display:none}
.run-auth p {
  font-size:14px;
  line-height:1.55;
  margin:0;
  color:var(--text);
}
.run-auth .run-login {
  width:100%;
  justify-content:center;
  text-align:center;
  min-height:50px;
}
.run-auth .run-login:hover {background:#f7c4ff}
.run-lock-hint {margin:8px 0 12px;line-height:1.55}

/* Outcome first. Internal CP-SAT evidence is intentionally collapsed by default. */
.plain-result{margin:14px 0;padding:16px;border:1px solid var(--line);border-radius:12px;background:#211037}
.plain-result h4{font-size:14px;letter-spacing:.01em;margin:0 0 8px;color:var(--text)}
.plain-result>p{margin:0;color:var(--sub);font-size:14px;line-height:1.6}
.plain-result-values{list-style:none;margin:12px 0 0;padding:0;display:grid;gap:8px}
.plain-result-values li{display:flex;align-items:center;justify-content:space-between;gap:14px;padding:10px 12px;background:#160b2a;border-radius:8px;font-size:14px;min-width:0}
.plain-result-values li span{overflow-wrap:anywhere;min-width:0}
.plain-result-values li strong{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-variant-numeric:tabular-nums;color:var(--text)}
.plain-result #plain-result-note{margin:12px 0 0;font-size:12px;color:var(--muted)}
.actionable-issues .detail-block{margin-top:12px}
.advanced-details{margin-top:18px;border:1px solid var(--line);border-radius:10px;padding:0;color:var(--text)}
.advanced-details>summary{margin:0;padding:15px 16px;font-size:14px;font-weight:650;color:var(--sub);cursor:pointer;list-style-position:inside}
.advanced-details[open]>summary{border-bottom:1px solid var(--line)}
.advanced-inner{padding:16px 14px}
.advanced-inner>.result-grid{margin-bottom:12px}
.technical-result{margin-top:18px}
.technical-actions{display:flex;gap:10px;flex-wrap:wrap;margin:14px 0 0}
.technical-action{justify-content:center;flex:1 1 140px;min-height:44px;font-size:13px;padding:10px}
.report-action-status{min-height:1.3em;margin:10px 0;color:var(--sub);font-size:12px;line-height:1.5}
.technical-result pre{max-width:100%;overflow-x:auto;white-space:pre-wrap;overflow-wrap:anywhere}
@media(max-width:420px){.advanced-inner{padding:14px 10px}.technical-actions{flex-direction:column}.technical-action{width:100%}}

/*
 * Model Doctor identity: its own MD logo uses midnight violet, neon pink,
 * soft lavender and white. Keep the shared QDIP wordmark asset unchanged.
 * Gradients are decorative; content and states retain accessible solid colors.
 */
:root{
  --bg:#0d061f;
  --panel:#180c32;
  --line:#47325e;
  --text:#f7f3ff;
  --muted:#b9a9cc;
  --accent:#ef83ed;
  --sub:#dfc9f4;
  --focus:#f3a2ff;
  --brand-pink:#f056e7;
  --brand-lilac:#cf8df7;
}
body{
  background:
    radial-gradient(ellipse 780px 440px at 78% 12%,rgba(122,34,170,.25),transparent 73%),
    radial-gradient(ellipse 630px 460px at 7% 43%,rgba(87,22,144,.13),transparent 78%),
    var(--bg);
}
.topbar{background:rgba(22,9,42,.88);border-bottom-color:var(--line)}
h1 span{
  color:var(--accent);
  background:linear-gradient(104deg,#ff91ee 0%,#f4b4fa 55%,#fff5ff 100%);
  -webkit-background-clip:text;
  background-clip:text;
  -webkit-text-fill-color:transparent;
}
.ds-product-lockup-product{
  color:var(--accent);
  background:linear-gradient(105deg,#f286e9 5%,#efc6fd 95%);
  -webkit-background-clip:text;
  background-clip:text;
  -webkit-text-fill-color:transparent;
}
.panel{
  background:linear-gradient(163deg,#25103f 0%,#170b30 72%,#140928 100%);
  border-color:var(--line);
  box-shadow:0 12px 34px rgba(4,0,16,.22);
}
.btn-primary{
  background:linear-gradient(108deg,#f05ae8 0%,#ec91f6 67%,#f7bffb 100%);
  border-color:#f08cf5;
  color:#24082c;
  box-shadow:0 5px 16px rgba(176,40,199,.16);
}
.btn-primary:hover:enabled{
  background:linear-gradient(108deg,#fa7af1 0%,#f2b0fb 100%);
  border-color:#ffb9fc;
}
.btn-primary:active:enabled{transform:translateY(1px);box-shadow:0 2px 8px rgba(176,40,199,.18)}
.btn:focus-visible,select:focus-visible,.file-target:focus-within,
.profile-toggle:focus-visible,.profile-logout:focus-visible,
.ds-product-lockup-product:focus-visible,.ds-product-lockup-brand:focus-visible,
.locale-switch a:focus-visible,.example-button:focus-visible,
summary:focus-visible{outline-color:var(--focus)}
.example-button[data-state="selected"],.example-button[data-state="loading"]{
  background:#432260;border-color:var(--accent);
}
.example-button[data-state="selected"]:active{background:#573073}
::selection{background:#8734b5;color:#fff}
@media(prefers-reduced-motion:reduce){.btn-primary:active:enabled{transform:none}}