:root{
  --bg:#f5f6f8;--surface:#ffffff;--surface-2:#f9fafb;--ink:#15181d;--muted:#66707c;--muted-2:#8b949f;--line:#e5e8ec;--line-strong:#d5d9df;
  --nav:#0f1318;--nav-2:#171c22;--accent:#4f67ff;--accent-soft:#eef0ff;--safe:#138a5b;--safe-soft:#eaf8f1;--unsafe:#c43f3f;--unsafe-soft:#fff0ef;--open:#b56b0e;--open-soft:#fff7e9;--verified:#3267c8;--verified-soft:#edf4ff;
  --shadow:0 18px 50px rgba(22,29,38,.08);--radius:18px;--radius-sm:12px;--mono:ui-monospace,SFMono-Regular,Menlo,Consolas,"Liberation Mono",monospace;--sans:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Arial,sans-serif;
}
*{box-sizing:border-box}html,body{margin:0;min-height:100%;background:var(--bg);color:var(--ink);font-family:var(--sans);font-size:15px;line-height:1.48}button,input{font:inherit}button{cursor:pointer}svg{fill:none;stroke:currentColor;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.app-shell{display:grid;grid-template-columns:262px minmax(0,1fr);min-height:100vh}.sidebar{position:fixed;inset:0 auto 0 0;width:262px;background:var(--nav);color:#fff;padding:22px 17px 17px;display:flex;flex-direction:column;z-index:20}.brand{display:flex;align-items:center;gap:11px;padding:4px 6px 21px}.brand-mark{width:34px;height:34px;border-radius:10px;background:linear-gradient(145deg,#7584ff,#4058ed);display:grid;place-items:center;position:relative;box-shadow:0 8px 24px rgba(68,88,240,.28)}.brand-mark span{position:absolute;width:16px;height:2px;background:#fff;border-radius:3px}.brand-mark span:first-child{transform:translateY(-5px);width:10px}.brand-mark span:last-child{transform:translateY(5px);width:7px}.brand strong{display:block;font-size:13px;letter-spacing:-.01em}.brand small{display:block;color:#9ea7b1;font-size:12px;margin-top:1px}.open-primary{height:42px;border:0;border-radius:11px;background:#fff;color:#171b20;display:flex;align-items:center;justify-content:center;gap:9px;font-weight:720;box-shadow:0 5px 14px rgba(0,0,0,.16)}.open-primary svg{width:17px}.side-group{margin-top:25px}.side-label{font-size:10px;text-transform:uppercase;letter-spacing:.13em;color:#707b87;font-weight:800;padding:0 8px 7px}.case-button{width:100%;border:0;background:transparent;color:#dfe4e9;display:grid;grid-template-columns:8px 1fr;align-items:center;gap:10px;text-align:left;padding:9px 9px;border-radius:10px}.case-button:hover,.case-button.active{background:var(--nav-2)}.case-button b{display:block;font-size:12px;font-weight:650}.case-button small{display:block;color:#77828e;font-size:10.5px;margin-top:1px}.case-dot{width:7px;height:7px;border-radius:50%;background:#68717c}.case-dot.safe{background:#42c78d;box-shadow:0 0 0 3px rgba(66,199,141,.09)}.case-dot.unsafe{background:#e46161}.case-dot.open{background:#eaa742}.case-dot.verified{background:#69a2ff}.side-nav{margin-top:21px;padding-top:16px;border-top:1px solid #252b32;display:grid;gap:3px}.nav-item{border:0;background:transparent;color:#8e99a5;display:flex;align-items:center;gap:10px;padding:9px 10px;border-radius:9px;text-align:left;font-size:12px;font-weight:620}.nav-item svg{width:17px}.nav-item:hover,.nav-item.active{color:#fff;background:#171c22}.local-card{margin-top:auto;border:1px solid #282f37;border-radius:12px;padding:11px;display:flex;gap:10px;background:#12171d}.local-icon{width:29px;height:29px;border-radius:9px;display:grid;place-items:center;background:#1d2630;color:#7de4b8;flex:none}.local-icon svg{width:15px}.local-card b{display:block;font-size:11.5px}.local-card span{display:block;color:#78848f;font-size:10px;margin-top:2px;line-height:1.35}.version-line{font-size:9.5px;color:#555f69;padding:10px 4px 0}.workspace{grid-column:2;min-width:0;padding:0 48px 72px;position:relative}.workspace-head{height:72px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line);gap:20px}.crumbs{display:flex;align-items:center;gap:10px;min-width:0;font-size:11px;color:var(--muted)}.crumbs i{width:3px;height:3px;border-radius:50%;background:#a6adb5}.crumbs code{font-family:var(--mono);font-size:10px;color:#89919a;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:360px}.head-actions{display:flex;gap:8px}.icon-button,.secondary-button,.text-button{border:1px solid var(--line-strong);background:#fff;color:#39414a;border-radius:9px;height:34px}.icon-button{width:34px;display:grid;place-items:center}.icon-button svg{width:15px}.secondary-button{padding:0 13px;font-size:11px;font-weight:700}.text-button{border:0;background:transparent;height:auto;color:#5361b8;padding:3px 0;font-size:11px;font-weight:700}.section-view{display:none;max-width:1160px;margin:0 auto}.section-view.active{display:block}.intro-row{display:flex;justify-content:space-between;gap:25px;align-items:flex-start;padding:49px 0 27px}.kicker,.eyebrow{font-size:10px;text-transform:uppercase;letter-spacing:.12em;font-weight:800;color:#7b8490}.intro-row h1{font-size:36px;letter-spacing:-.04em;line-height:1.05;margin:7px 0 10px}.intro-row p{max-width:740px;color:var(--muted);margin:0;font-size:14px}.format-pill{background:#eef0f3;color:#5f6873;border:1px solid #e2e5e9;border-radius:100px;padding:5px 9px;font-size:9px;font-weight:800;letter-spacing:.09em}.verdict-card{background:var(--surface);border:1px solid var(--line);border-radius:22px;padding:27px 29px;display:grid;grid-template-columns:54px minmax(0,1fr) auto;gap:18px;align-items:center;box-shadow:var(--shadow);position:relative;overflow:hidden}.verdict-card::before{content:"";position:absolute;left:0;top:0;bottom:0;width:4px;background:#b9c0c8}.verdict-card.safe::before{background:var(--safe)}.verdict-card.unsafe::before{background:var(--unsafe)}.verdict-card.open::before{background:var(--open)}.verdict-card.verified::before{background:var(--verified)}.verdict-icon{width:48px;height:48px;border-radius:15px;display:grid;place-items:center;background:#f2f4f6;color:#6b7480}.verdict-card.safe .verdict-icon{background:var(--safe-soft);color:var(--safe)}.verdict-card.unsafe .verdict-icon{background:var(--unsafe-soft);color:var(--unsafe)}.verdict-card.open .verdict-icon{background:var(--open-soft);color:var(--open)}.verdict-card.verified .verdict-icon{background:var(--verified-soft);color:var(--verified)}.verdict-icon svg{width:24px;height:24px}.verdict-label{font-size:10px;font-weight:850;letter-spacing:.12em;color:#6e7781}.verdict-copy h2{font-size:23px;letter-spacing:-.025em;margin:3px 0 5px}.verdict-copy p{color:var(--muted);margin:0;max-width:720px;font-size:12.5px}.verdict-metrics{display:flex;align-items:center;gap:18px}.metric-block{min-width:75px;text-align:right}.metric-block b{display:block;font-size:22px;letter-spacing:-.03em}.metric-block span{display:block;font-size:9px;color:#8b949e;text-transform:uppercase;letter-spacing:.08em}.content-grid{display:grid;gap:16px;margin-top:16px}.main-grid{grid-template-columns:.88fr 1.12fr}.panel{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:22px}.panel-head{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;margin-bottom:14px}.panel h3{font-size:17px;letter-spacing:-.02em;margin:4px 0 0}.count-badge{font-size:9px;background:#f0f2f5;border-radius:100px;padding:5px 8px;color:#68717c;font-weight:750;white-space:nowrap}.next-item{border-radius:14px;background:#f8f9fb;padding:15px 16px;display:grid;grid-template-columns:34px 1fr;gap:12px;align-items:flex-start}.next-item+.next-item{margin-top:8px}.next-index{width:29px;height:29px;border-radius:9px;background:#fff;border:1px solid var(--line);display:grid;place-items:center;font-size:10px;font-weight:800;color:#6c7480}.next-item b{display:block;font-size:13px;margin-bottom:3px}.next-item p{margin:0;color:var(--muted);font-size:11.5px}.complete-note{padding:17px;border-radius:14px;background:var(--safe-soft);color:#1f7453;font-size:12px}.witness-pair{display:grid;grid-template-columns:1fr 34px 1fr;gap:8px;align-items:stretch}.world-mini{background:#fafbfc;border:1px solid var(--line);border-radius:13px;padding:13px}.world-mini .world-label{display:flex;justify-content:space-between;align-items:center;font-size:9px;text-transform:uppercase;letter-spacing:.09em;color:#89919b;margin-bottom:8px}.world-mini strong{font-size:14px}.world-mini .outcome{margin-top:7px;font-size:11px;color:var(--muted)}.vs{display:grid;place-items:center;font-size:9px;font-weight:800;color:#9aa1aa}.diff-list{margin-top:12px;border-top:1px solid var(--line);padding-top:10px;display:grid;gap:7px}.diff-row{display:grid;grid-template-columns:minmax(120px,1fr) auto auto;gap:8px;align-items:center;font-size:10.5px}.diff-row b{font-weight:650;color:#56606b}.value-chip{font-family:var(--mono);font-size:9.5px;background:#f0f2f4;border-radius:6px;padding:4px 6px}.evidence-preview{margin-top:16px}.fact-strip{display:flex;gap:8px;flex-wrap:wrap}.fact-chip{border:1px solid var(--line);border-radius:10px;padding:8px 10px;background:#fbfcfd}.fact-chip span{display:block;color:#7e8791;font-size:9px;margin-bottom:2px}.fact-chip b{font-size:11px}.section-title{padding:49px 0 24px}.section-title h2{font-size:29px;letter-spacing:-.035em;margin:5px 0 9px}.section-title p{color:var(--muted);max-width:760px;margin:0;font-size:13px}.route-shell,.stack{display:grid;gap:14px}.route-summary-card{display:flex;justify-content:space-between;align-items:center;background:#fff;border:1px solid var(--line);border-radius:16px;padding:17px 19px}.route-summary-card strong{font-size:14px}.route-summary-card span{color:var(--muted);font-size:11px}.route-tree{background:#fff;border:1px solid var(--line);border-radius:18px;padding:20px}.route-node{border-left:2px solid #dfe3e8;margin-left:10px;padding:7px 0 7px 17px}.route-node:first-child{border-left-color:#9aa7ff}.route-node-card{display:inline-block;background:#f8f9fb;border:1px solid var(--line);border-radius:11px;padding:10px 12px;min-width:220px}.route-node-card b{display:block;font-size:11px}.route-node-card span{font-size:9.5px;color:var(--muted)}.route-branch{margin:8px 0 0 11px;color:#737c86;font-size:9px;font-weight:700}.timeline{position:relative;margin-left:9px}.timeline::before{content:"";position:absolute;left:7px;top:8px;bottom:8px;width:1px;background:#dfe3e8}.timeline-row{display:grid;grid-template-columns:15px minmax(0,1fr) auto;gap:12px;align-items:start;position:relative;padding:0 0 17px}.timeline-dot{width:15px;height:15px;border-radius:50%;background:#fff;border:4px solid #aab2bb;z-index:1}.timeline-row.target .timeline-dot{border-color:#5e70f6}.timeline-row.control .timeline-dot{border-color:#44a37e}.timeline-row.authority .timeline-dot{border-color:#d38a33}.timeline-main b{display:block;font-size:11.5px}.timeline-main span{display:block;color:var(--muted);font-size:10px;margin-top:2px}.timeline-time{font-family:var(--mono);color:#939aa3;font-size:9px}.control-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:9px}.control-cell{border:1px solid var(--line);border-radius:11px;padding:11px;background:#fbfcfd}.control-cell b{font-size:11px;display:block}.control-cell span{font-size:9.5px;color:var(--muted)}.control-cell.good b{color:var(--safe)}.control-cell.bad b{color:var(--unsafe)}.boundary-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(230px,1fr));gap:10px}.world-card{border:1px solid var(--line);border-radius:13px;padding:12px;background:#fff}.world-card header{display:flex;justify-content:space-between;align-items:center;margin-bottom:9px}.world-card header b{font-size:11px}.world-card header span{font-size:9px;border-radius:100px;padding:3px 6px;background:#eef0f3}.world-fact{display:flex;justify-content:space-between;gap:10px;border-top:1px solid #eef0f2;padding:5px 0;font-size:9.5px}.world-fact span{color:#747e88}.world-fact code{font-family:var(--mono);font-size:9px}.source-card{background:#fff;border:1px solid var(--line);border-radius:16px;padding:18px}.source-card+.source-card{margin-top:12px}.source-card h3{font-size:14px;margin:0 0 8px}.source-card p{font-size:11px;color:var(--muted);margin:0}.lineage-list{display:grid;gap:9px;margin-top:13px}.lineage-row{display:grid;grid-template-columns:28px 1fr;gap:10px}.lineage-n{width:28px;height:28px;border-radius:9px;background:#f0f2f5;display:grid;place-items:center;font-size:9px;font-weight:800}.lineage-row b{display:block;font-size:11px}.lineage-row span{display:block;font-size:9.5px;color:var(--muted)}.raw-box{font-family:var(--mono);font-size:9.5px;white-space:pre-wrap;word-break:break-word;max-height:430px;overflow:auto;background:#101419;color:#c9d2dc;border-radius:14px;padding:15px;line-height:1.55}.commission-card{border:1px solid var(--line);border-radius:18px;background:#fff;padding:20px}.commission-head{display:flex;justify-content:space-between;gap:18px;align-items:flex-start}.commission-head h3{margin:4px 0 5px;font-size:18px}.commission-head p{margin:0;color:var(--muted);font-size:11px}.pass-badge{background:var(--safe-soft);color:var(--safe);border-radius:100px;padding:6px 9px;font-size:9px;font-weight:850;letter-spacing:.08em}.commission-grid{display:grid;grid-template-columns:1fr 1fr;gap:10px;margin-top:14px}.commission-result{border:1px solid var(--line);border-radius:13px;padding:13px}.commission-result b{font-size:12px}.commission-result span{display:block;color:var(--muted);font-size:9.5px;margin-top:3px}.kv-table{display:grid;gap:0;margin-top:12px;border:1px solid var(--line);border-radius:12px;overflow:hidden}.kv-row{display:grid;grid-template-columns:160px 1fr;border-top:1px solid var(--line);font-size:10px}.kv-row:first-child{border-top:0}.kv-row span,.kv-row b{padding:8px 10px}.kv-row span{color:#78828c;background:#fafbfc}.kv-row b{font-family:var(--mono);font-weight:500;word-break:break-all}.drop-overlay{display:none;position:fixed;inset:0 0 0 262px;background:rgba(245,247,249,.94);backdrop-filter:blur(7px);z-index:50;place-items:center}.drop-overlay.visible{display:grid}.drop-overlay>div{border:1.5px dashed #8e9cff;border-radius:22px;padding:38px 50px;text-align:center;background:#fff;box-shadow:var(--shadow)}.drop-overlay svg{width:32px;color:#596bf4}.drop-overlay b{display:block;font-size:15px;margin:10px 0 4px}.drop-overlay span{color:var(--muted);font-size:11px}.toast{position:fixed;right:24px;bottom:24px;background:#151a20;color:#fff;border-radius:10px;padding:10px 14px;font-size:11px;opacity:0;transform:translateY(8px);pointer-events:none;transition:.2s;z-index:80}.toast.show{opacity:1;transform:none}.empty{padding:24px;border:1px dashed var(--line-strong);border-radius:14px;color:var(--muted);font-size:11px;text-align:center}.error-card{background:var(--unsafe-soft);border:1px solid #f3cdca;color:#8d3434;border-radius:14px;padding:15px;font-size:11px}@media(max-width:980px){.app-shell{display:block}.sidebar{position:relative;width:100%;min-height:0}.side-group,.side-nav,.local-card,.version-line{display:none}.brand{padding-bottom:13px}.workspace{padding:0 22px 50px;grid-column:auto}.workspace-head{height:58px}.main-grid{grid-template-columns:1fr}.drop-overlay{inset:0}.verdict-card{grid-template-columns:48px 1fr}.verdict-metrics{grid-column:1/-1;justify-content:flex-start;padding-left:66px}.metric-block{text-align:left}.commission-grid{grid-template-columns:1fr}}@media(max-width:620px){.workspace{padding:0 14px 42px}.intro-row{padding-top:30px}.intro-row h1{font-size:30px}.verdict-card{padding:20px;grid-template-columns:42px 1fr}.verdict-icon{width:42px;height:42px}.verdict-metrics{padding-left:0}.witness-pair{grid-template-columns:1fr}.vs{height:20px}.control-grid{grid-template-columns:1fr}.workspace-head .crumbs code{display:none}.kv-row{grid-template-columns:1fr}.kv-row span{padding-bottom:2px}.kv-row b{padding-top:2px}.head-actions .icon-button{display:none}}
.evidence-select{width:100%;margin-top:9px;border:1px solid var(--line-strong);background:#fff;color:#38414b;border-radius:8px;padding:7px 8px;font-size:10px;outline:none}.evidence-select:focus{border-color:#8290ff;box-shadow:0 0 0 3px rgba(79,103,255,.09)}

/* 0.5.0 assurance-object focus and first-run surface */
button:focus-visible,.evidence-select:focus-visible{outline:2px solid #6878f6;outline-offset:2px}
button:disabled{cursor:default;opacity:.45}
.nav-item:disabled:hover{background:transparent;color:#8e99a5}
.secondary-button:disabled,.icon-button:disabled{background:#f7f8fa;color:#a7aeb6;border-color:#e7e9ec}
.workspace.welcome{min-height:100vh;display:flex;align-items:center;justify-content:center;padding-top:54px;padding-bottom:54px}
.workspace.welcome .workspace-head{display:none}
.welcome-view{display:none;width:100%;max-width:960px;margin:0 auto}
.welcome-view.active{display:block}
.welcome-wrap{max-width:820px;margin:0 auto}
.welcome-kicker{font-size:10px;text-transform:uppercase;letter-spacing:.13em;font-weight:850;color:#747e89;margin-bottom:12px}
.welcome-wrap>h1{font-size:48px;line-height:1.02;letter-spacing:-.045em;margin:0 0 16px;max-width:720px}
.welcome-wrap>p{font-size:15px;line-height:1.65;color:var(--muted);max-width:760px;margin:0 0 28px}
.welcome-drop{width:100%;border:1px solid #d8dce1;background:#fff;border-radius:17px;padding:22px 24px;display:flex;align-items:center;gap:16px;text-align:left;color:var(--ink);box-shadow:0 12px 34px rgba(27,33,41,.055);transition:border-color .15s ease,box-shadow .15s ease,transform .15s ease}
.welcome-drop:hover{border-color:#aeb8ff;box-shadow:0 15px 40px rgba(27,33,41,.075);transform:translateY(-1px)}
.welcome-drop svg{width:26px;color:#5868ef;flex:none}
.welcome-drop b{display:block;font-size:15px;letter-spacing:-.01em}
.welcome-drop small{display:block;color:#7d8791;font-size:11px;margin-top:3px}
.welcome-trust{display:grid;grid-template-columns:repeat(3,1fr);gap:10px;margin-top:12px}
.welcome-trust>span{border:1px solid var(--line);border-radius:12px;padding:11px 13px;background:#fafbfc}
.welcome-trust b{display:block;font-size:10.5px}
.welcome-trust small{display:block;color:#8a929b;font-size:9.5px;margin-top:2px}
.welcome-reference{margin-top:34px;padding-top:22px;border-top:1px solid var(--line)}
.welcome-reference-head{display:flex;justify-content:space-between;align-items:baseline;gap:14px;margin-bottom:10px}
.welcome-reference-head span{font-size:11px;font-weight:780;color:#4b545e}
.welcome-reference-head small{font-size:9.5px;color:#949ba3}
.welcome-reference-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:9px}
.welcome-reference-grid button{border:1px solid var(--line);background:#fff;border-radius:12px;padding:13px;text-align:left;color:var(--ink);transition:border-color .15s ease,background .15s ease}
.welcome-reference-grid button:hover{border-color:#c2c9f8;background:#fafbff}
.welcome-reference-grid b{display:block;font-size:11.5px}
.welcome-reference-grid span{display:block;color:#838c96;font-size:9.5px;margin-top:3px;line-height:1.35}
.file-source-panel{margin-bottom:14px}
@media(max-width:980px){.workspace.welcome{padding:36px 22px 48px}.welcome-wrap>h1{font-size:40px}.welcome-reference-grid{grid-template-columns:1fr}.welcome-reference-head{align-items:flex-start;flex-direction:column;gap:3px}}
@media(max-width:620px){.workspace.welcome{padding:30px 14px 42px}.welcome-wrap>h1{font-size:34px}.welcome-wrap>p{font-size:13px}.welcome-trust{grid-template-columns:1fr}.welcome-drop{padding:18px}.welcome-reference{margin-top:26px}}
@media(prefers-reduced-motion:reduce){*,*::before,*::after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}
@media(min-width:981px){.welcome-reference{display:none}}

/* 0.5.0 inspectability: obligation certificates and assurance boundary */
.kind-chip{display:inline-block;margin-top:8px;border-radius:100px;background:#eef0ff;color:#5361b8;padding:4px 8px;font-size:9px;font-weight:780;letter-spacing:.03em}
.alternative-note,.scope-note{margin-top:10px;border:1px solid var(--line);border-radius:11px;background:#fafbfc;color:#69737e;padding:10px 12px;font-size:10.5px;line-height:1.48}
.scope-note b{color:#4e5863}
.certificate{margin-top:14px;padding-top:14px;border-top:1px solid var(--line)}
.certificate-head{display:flex;align-items:flex-start;justify-content:space-between;gap:12px}.certificate-head b{display:block;margin-top:3px;font-size:12px}.certificate-status{border-radius:100px;padding:5px 8px;font-size:9px;font-weight:820;text-transform:uppercase;letter-spacing:.05em;background:#f0f2f5;color:#6f7882}.certificate-status.good{background:var(--safe-soft);color:var(--safe)}.certificate-status.bad{background:var(--unsafe-soft);color:var(--unsafe)}
.certificate>p{margin:9px 0 10px;color:var(--muted);font-size:10.5px}.certificate-rows{display:grid;gap:7px}.certificate-row{border:1px solid var(--line);border-radius:10px;padding:9px 10px;background:#fbfcfd}.certificate-row b{display:block;font-size:10.5px;margin-bottom:2px}.certificate-row span{display:block;color:#737d87;font-size:9.8px;line-height:1.42}.certificate-row code{font-family:var(--mono);font-size:9px;background:#eef0f3;border-radius:5px;padding:2px 4px}.certificate-row.bad{border-color:#f3cdca;background:var(--unsafe-soft)}
.assurance-panel{margin-bottom:14px}.assurance-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:9px}.assurance-cell{border:1px solid var(--line);border-radius:12px;background:#fbfcfd;padding:12px}.assurance-cell b{display:block;font-size:10.8px;margin-bottom:4px}.assurance-cell span{display:block;font-size:9.7px;color:var(--muted);line-height:1.45}
@media(max-width:980px){.assurance-grid{grid-template-columns:1fr}}