@import url('https://fonts.googleapis.com/css2?family=DM+Sans:wght@400;500;600;700&family=Space+Grotesk:wght@500;600;700&family=JetBrains+Mono:wght@400;500&display=swap');

:root{
  --ink:#1c2839;--ink-2:#3e4d60;--muted:#718093;--faint:#9aa6b4;--line:#e1e6ec;--line-2:#eef1f5;
  --cream:#f4f5f7;--paper:#fff;--nav:#111b2a;--nav-2:#26354a;
  --blue:#4965de;--blue-soft:#e9f0ff;--blue-ink:#3a56b8;
  --amber:#e8a34b;--amber-soft:#fff4e6;--amber-ink:#a96a1f;
  --green:#32966d;--green-soft:#e8f7f0;--red:#b3412f;--red-soft:#fff0ec;--violet:#6a4fbf;
  --mono:'JetBrains Mono',ui-monospace,SFMono-Regular,Menlo,monospace;--grot:'Space Grotesk',sans-serif;
  --shadow:0 6px 18px #20304408;--radius:12px;
}
*{box-sizing:border-box}
[hidden]{display:none!important}
body{margin:0;background:var(--cream);color:var(--ink);font:14px/1.5 'DM Sans',system-ui,sans-serif;-webkit-font-smoothing:antialiased}
button,input,textarea,select{font:inherit}button{cursor:pointer}a{color:inherit;text-decoration:none}
h1,h2,h3{font-family:var(--grot);letter-spacing:-.03em;margin:0}
code{font:11.5px var(--mono);color:var(--blue-ink);background:var(--blue-soft);padding:1px 5px;border-radius:4px}
body.busy button{opacity:.6;cursor:progress}

/* ---- shell ---- */
.shell{min-height:100vh;display:grid;grid-template-columns:248px minmax(0,1fr)}
.sidebar{background:var(--nav);color:#d9e1ed;padding:28px 16px 22px;display:flex;flex-direction:column;position:sticky;top:0;height:100vh;overflow:auto}
.brand{display:flex;align-items:center;gap:12px;padding:0 12px 40px}
.brand strong{font:700 17px var(--grot);letter-spacing:.19em}
.brand small{display:block;color:#697a92;font-size:9px;letter-spacing:.17em;margin-top:4px;font-weight:700}
.mark{font:700 24px var(--grot);color:#fff;display:grid;place-items:center;border:1px solid #526277;width:38px;height:38px;border-radius:11px;position:relative}
.mark-dot{font-size:15px;color:#ecaa56;position:absolute;right:2px;bottom:-3px}
.sidebar-label{padding:0 12px;margin-bottom:12px;color:#697a92;font-size:10px;font-weight:700;letter-spacing:.16em}
.context-label{margin-top:34px}
.nav{background:none;border:0;color:#8d9bb0;text-align:left;width:100%;padding:12px;border-radius:8px;display:flex;align-items:center;justify-content:space-between;font-size:12.5px}
.nav-num{color:#5a6a80;font:10px var(--grot)}
.nav.active{background:var(--nav-2);color:#f4f7fb}
.source-list{display:flex;flex-direction:column;gap:10px;padding:0 12px}
.source-item{display:flex;gap:10px;font-size:11px;color:#a5b3c5;line-height:1.4}
.source-item b{color:#d9e1ed;font-weight:600}
.source-item i{width:7px;height:7px;background:#566a85;border-radius:50%;flex:none;margin-top:5px}
.source-item i.watched{background:#57c7a4;box-shadow:0 0 0 3px #57c7a425}
.source-item i.changed{background:var(--amber);box-shadow:0 0 0 3px #e8a34b33}
.invariant-list{display:flex;flex-direction:column;gap:10px;padding:0 12px}
.invariant{display:grid;grid-template-columns:22px 1fr;gap:3px 8px;font-size:10.5px;color:#a5b3c5;line-height:1.35}
.invariant b{color:#ecaa56;font:700 10px var(--grot)}
.invariant em{grid-column:2;font-style:normal;color:#5f7089;font-size:9px;letter-spacing:.08em;text-transform:uppercase}
.sidebar-bottom{margin-top:auto;border-top:1px solid #29374b;padding:20px 12px 0;display:flex;gap:8px;align-items:center;color:#8193a9;font-size:9px;font-weight:700;letter-spacing:.13em}
.indicator,.pulse{width:7px;height:7px;border-radius:50%;background:#57c7a4;box-shadow:0 0 0 3px #57c7a420}

.main{min-width:0}
.topbar{height:60px;background:var(--paper);border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;padding:0 40px;position:sticky;top:0;z-index:5}
.crumb{font-size:12px;color:#8895a5}.crumb span{margin:0 8px;color:#ccd3dc}.crumb span+span{margin:0;color:var(--ink-2);font-weight:600}
.top-actions{display:flex;align-items:center;gap:14px;color:#65748a;font-size:11px}
.top-actions a:hover{text-decoration:underline}
.mode-badge{padding:6px 10px;background:#f1f4f8;border:1px solid #e3e9ef;border-radius:6px;font-size:9px;letter-spacing:.12em;font-weight:700;color:#61718a}
.mode-badge.live{background:var(--green-soft);border-color:#b9e2cc;color:#256b4c}
.content{max-width:1360px;margin:auto;padding:32px 40px 40px}
.eyebrow{font-size:10px;font-weight:700;letter-spacing:.18em;color:#637d9e;display:flex;align-items:center;gap:9px}

/* ---- intro + stepper ---- */
.intro{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(360px,.9fr);gap:24px;align-items:stretch;margin-bottom:20px}
.intro h1{font-size:clamp(30px,3.2vw,44px);line-height:1.08;margin:14px 0 12px;font-weight:600}
.intro h1 em{font-style:normal;color:#6a7fd3}
.intro p{color:#667488;max-width:560px;line-height:1.65;font-size:14px;margin:0}
.stepper-card{background:var(--paper);border:1px solid var(--line);border-radius:var(--radius);padding:18px 20px;box-shadow:var(--shadow)}
.stepper{list-style:none;margin:12px 0 0;padding:0;display:grid;gap:6px}
.stepper li{display:flex;align-items:center;gap:10px;font-size:12px;color:var(--faint);padding:5px 0}
.stepper .num{width:20px;height:20px;border-radius:50%;border:1px solid var(--line);display:grid;place-items:center;font:600 10px var(--grot);flex:none;color:var(--faint)}
.stepper li.done{color:var(--ink-2)}.stepper li.done .num{background:var(--green-soft);border-color:#b9e2cc;color:var(--green)}
.stepper li.current{color:var(--ink);font-weight:600}.stepper li.current .num{background:var(--blue);border-color:var(--blue);color:#fff;box-shadow:0 0 0 3px #4965de22}
.step-hint{margin:12px 0 0;padding-top:12px;border-top:1px solid var(--line-2);font-size:11.5px;color:var(--muted);line-height:1.5}

/* ---- metrics ---- */
.metrics{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));background:var(--paper);border:1px solid var(--line);border-radius:var(--radius);box-shadow:0 10px 34px #1b2d4510;overflow:hidden}
.metrics>div{padding:18px 22px;min-height:96px}
.metrics>div+div{border-left:1px solid var(--line)}
.metrics span{display:block;color:#76879a;letter-spacing:.14em;font-size:9px;font-weight:700}
.metrics strong{display:block;font:600 28px var(--grot);letter-spacing:-.045em;margin:6px 0 0}
.metrics strong.pass{color:var(--green)}.metrics strong.deny{color:#bd7735}
.metrics small{font-size:10px;color:var(--faint)}

.toast{display:none;margin-top:16px;background:#fff5e8;border:1px solid #f2d6af;color:#8b5724;padding:12px 15px;border-radius:8px;font-size:12.5px}
.toast.visible{display:block}.toast.ok{background:var(--green-soft);border-color:#b9e2cc;color:#256b4c}

/* ---- panels ---- */
.panel{background:var(--paper);border:1px solid var(--line);border-radius:var(--radius);padding:22px 24px;min-width:0;box-shadow:var(--shadow);margin-top:18px}
.panel-header{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;flex-wrap:wrap}
.panel h2{font-size:19px;margin-top:6px;font-weight:600}
.panel-icon{font:24px var(--grot);color:#8798ce}.panel-icon.amber{color:#e5ad67}
.panel-description{font-size:11.5px;color:#8998a8;line-height:1.55;margin:10px 0 16px}
.two-col{display:grid;grid-template-columns:1fr 1fr;gap:18px}
.two-col .panel{margin-top:18px}

/* ---- graph ---- */
.legend{display:flex;gap:14px;font-size:10.5px;color:var(--muted);align-items:center;flex-wrap:wrap}
.legend i{display:inline-block;width:18px;height:0;border-top:2px solid;margin-right:6px;vertical-align:middle}
.legend .l-parent{border-color:#b6c0cd;border-top-style:dashed}.legend .l-constraint{border-color:var(--amber)}.legend .l-dep{border-color:var(--blue)}
.legend .l-changed{width:10px;height:10px;border:0;border-radius:3px;background:var(--amber-soft);outline:2px solid var(--amber)}
.graph-grid{display:grid;grid-template-columns:minmax(0,1.8fr) minmax(260px,1fr);gap:20px;margin-top:14px}
.graph-wrap{border:1px solid var(--line-2);border-radius:10px;background:#fafbfc;padding:14px;display:flex;align-items:center}
#graph{width:100%;height:auto;display:block}
#graph .edge{fill:none;stroke-width:1.6;marker-end:url(#arr)}
#graph .edge.parent{stroke:#b6c0cd;stroke-dasharray:4 4}#graph .edge.constraint{stroke:var(--amber)}#graph .edge.dep{stroke:var(--blue)}
#graph marker path{fill:#8b98aa}
#graph .node rect{fill:#fff;stroke:#d5dce6;stroke-width:1.2}
#graph .node.task rect{stroke:#c9d3f1}#graph .node.constraint rect{stroke:#ecd3ae}#graph .node.dependency rect{stroke:#bfe0d1}
#graph .node.leased rect{stroke:var(--blue);stroke-width:2}
#graph .node.changed rect{fill:var(--amber-soft);stroke:var(--amber);stroke-width:2}
#graph .nid{font:600 12.5px var(--grot);fill:var(--ink)}
#graph .nrole{font:600 8.5px 'DM Sans';letter-spacing:.1em;fill:#8b98aa;text-transform:uppercase}
#graph .ntitle{font:12px 'DM Sans';fill:#5f6d80}
#graph .dot{fill:#57c7a4}
.issue-list{display:flex;flex-direction:column;gap:8px;max-height:420px;overflow:auto;padding-right:2px}
.issue{border:1px solid var(--line);border-left:3px solid #d5dce6;border-radius:8px;padding:11px 13px;background:#fff}
.issue.task{border-left-color:#8fa3e8}.issue.constraint{border-left-color:var(--amber)}.issue.dependency{border-left-color:#7ccfae}.issue.source{border-left-color:#b6c0cd}
.issue.changed{background:#fffaf3;border-color:#ecd3ae}
.issue-head{display:flex;align-items:center;gap:8px;font:600 11px var(--grot);color:#8998aa}
.issue-head .ext{margin-left:auto;color:var(--blue-ink);font-size:12px}
.issue h3{font-size:13px;margin:6px 0 4px;font-weight:600}
.issue p{margin:0;font-size:11px;color:#7d8a9b;line-height:1.5;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}
.issue .latest{margin-top:8px;padding-top:7px;border-top:1px solid var(--line-2);font-size:10.5px;color:var(--amber-ink);line-height:1.45}
.chip{padding:3px 7px;border-radius:4px;font:700 9px 'DM Sans';letter-spacing:.08em;text-transform:uppercase;background:#f0f2fb;color:#7285c7}
.chip.constraint{background:var(--amber-soft);color:var(--amber-ink)}.chip.dependency{background:#e7f6ef;color:#2f7f63}.chip.source{background:#eef1f5;color:#6b7a8c}
.chip.changed{background:var(--amber);color:#1a1a1a}

/* ---- leases ---- */
.leases-panel .panel-header{align-items:center}
.control-actions{display:flex;gap:10px;flex-wrap:wrap}
.live-config{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin:14px 0 4px}
.live-config label{display:block;color:#8996a6;font-size:9px;letter-spacing:.12em;font-weight:700;margin:0 0 6px}
.lease-list{margin-top:14px;display:flex;flex-direction:column;gap:12px}
.empty-note{padding:22px;border:1px dashed #d4dce5;border-radius:8px;color:#9ba8b6;text-align:center;font-size:11.5px}
.lease{border:1px solid #dde4ec;border-radius:10px;padding:14px 16px;background:#fbfcfd}
.lease.invalid{border-color:#e9b97b;background:#fffaf3}
.lease-head{display:flex;align-items:center;justify-content:space-between;gap:10px;flex-wrap:wrap}
.lease-id{display:flex;align-items:baseline;gap:8px;font-family:var(--grot)}
.lease-id .agent{font-size:15px;font-weight:600}.lease-id .sep{color:var(--faint);font-size:11px}.lease-id .issue{font-size:13px;font-weight:600;color:var(--blue-ink)}
.lease-id .rev{font:600 10px var(--mono);background:#eef1f5;padding:2px 6px;border-radius:4px;color:#5d6d84}
.lease-right{display:flex;align-items:center;gap:8px}
.status{font-size:9px;font-weight:700;letter-spacing:.1em;border-radius:4px;padding:5px 8px;background:var(--green-soft);color:#318361;text-transform:uppercase}
.status.invalid{background:#fff0df;color:#b96e21}.status.released{background:#edf0f4;color:#8290a0}
.session{font:500 10px var(--mono);padding:4px 8px;border-radius:4px;background:#eef1f5;color:#5d6d84}
.session.running{background:var(--green-soft);color:#256b4c}.session.paused{background:#fff0df;color:#b96e21;animation:blink 1.4s infinite}.session.stale{background:#f4f0ff;color:#6a4fbf}
@keyframes blink{50%{opacity:.55}}
.toctou{display:flex;align-items:center;gap:6px;margin:12px 0 10px;overflow-x:auto;padding-bottom:2px}
.tp{display:flex;flex-direction:column;align-items:center;gap:2px;min-width:118px;text-align:center;flex:none}
.tp i{width:10px;height:10px;border-radius:50%;background:#9aa9bc;border:2px solid #fff;box-shadow:0 0 0 2px #9aa9bc}
.tp.ok i{background:var(--green);box-shadow:0 0 0 2px var(--green)}.tp.warn i{background:var(--amber);box-shadow:0 0 0 2px var(--amber)}.tp.deny i{background:var(--red);box-shadow:0 0 0 2px var(--red)}.tp.now i{background:#fff;box-shadow:0 0 0 2px #b6c0cd}
.tp b{font:600 10px var(--grot);color:var(--ink-2);margin-top:4px}.tp small{font:10px var(--mono);color:var(--faint)}
.tl{flex:1 1 30px;min-width:24px;height:2px;background:linear-gradient(90deg,#d5dce6,#b6c0cd)}
.scopes{display:flex;flex-wrap:wrap;gap:6px 16px;font:10.5px var(--mono);color:#748197}
.scopes b{font:700 9px 'DM Sans';letter-spacing:.1em;color:#8b98aa;margin-right:4px}
.changes{margin-top:12px;padding:10px 12px;border-left:3px solid var(--amber);background:#fff6e8;border-radius:0 8px 8px 0;font-size:11.5px}
.changes>b{display:block;margin-bottom:6px;color:#8a5a1a;font-size:10px;letter-spacing:.08em;text-transform:uppercase}
.diff{margin:4px 0;line-height:1.45}
.diff b{font-size:9px;letter-spacing:.1em;text-transform:uppercase;margin-right:6px;color:#8a5a1a}
.diff.conflict{color:#7a2d20;margin-top:10px;padding:8px 10px;background:var(--red-soft);border-radius:6px}.diff.conflict b{color:var(--red)}
.diff s{display:block;color:#9aa5b4}.diff span{display:block}.diff i{color:#9aa5b4}
.lease details{margin-top:12px}
.lease summary{cursor:pointer;font-size:11px;color:#65748a;letter-spacing:.03em}
.lease summary b.consistent{color:var(--green)}.lease summary b.contradiction{color:var(--red)}
.table-wrap{overflow-x:auto}
.facts{width:100%;border-collapse:collapse;font-size:11.5px;margin-top:10px;background:#fff;border:1px solid var(--line-2);border-radius:8px}
.facts th{text-align:left;font-size:9px;letter-spacing:.12em;color:#8895a5;padding:8px 10px;border-bottom:1px solid var(--line);text-transform:uppercase}
.facts td{padding:8px 10px;border-bottom:1px solid var(--line-2);vertical-align:top;line-height:1.45}
.facts tr:last-child td{border-bottom:0}
.facts .stmt{min-width:260px}
.facts small{color:var(--faint);font-size:10px}.facts small.warn{color:var(--amber-ink);font-weight:600}
.facts tr.weak td{background:#fffaf3}
.facts code{font-size:10.5px}
.facts .kind{font:700 9px 'DM Sans';letter-spacing:.12em;text-transform:uppercase}
.facts tr.requirement .kind{color:var(--blue-ink)}.facts tr.constraint .kind{color:var(--amber-ink)}.facts tr.dependency .kind{color:#2f7f63}.facts tr.authority .kind{color:var(--violet)}
.lease-actions{display:flex;gap:14px;align-items:center;margin-top:12px;flex-wrap:wrap}
.link-button{border:0;background:none;color:#536bc4;font-size:11px;font-weight:700;padding:0}
.link-button:hover{text-decoration:underline}

/* ---- forms ---- */
.button{border:0;border-radius:7px;padding:11px 15px;font-size:11.5px;font-weight:700;display:inline-flex;justify-content:space-between;align-items:center;gap:16px;min-height:38px;transition:filter .12s}
.button:hover{filter:brightness(.96)}
.button.primary{background:var(--blue);color:#fff}
.button.secondary{color:#51637a;background:#f0f3f7;border:1px solid #e1e7ee}
.button.amber-button{background:#e7a450;color:#19202b}
.button.small{padding:8px 12px;min-height:32px;font-size:11px}
.field{margin-top:10px}.field-row{display:grid;grid-template-columns:1fr 1fr;gap:10px}
.field label{display:block;color:#8996a6;font-size:9px;letter-spacing:.12em;font-weight:700;margin:0 0 6px}
textarea,input,select{width:100%;border:1px solid #dfe5eb;border-radius:7px;background:#fff;color:var(--ink-2);outline:0;padding:10px 11px;resize:vertical;font-size:12px}
textarea:focus,input:focus,select:focus{border-color:#839adf;box-shadow:0 0 0 3px #839adf22}
select{height:40px}
.gate-panel .button,.decision-panel form>.button{margin-top:14px;width:100%}
.decision-panel{background:#fcfaf7;border-color:#f0e9df}
.preset-row{display:flex;gap:14px;align-items:center;margin:8px 0 2px;font-size:10.5px;color:var(--faint)}
#reviseForm{margin-top:16px;padding-top:14px;border-top:1px dashed #ead9bf}
.live-decision p{font-size:12px;color:var(--ink-2);line-height:1.55;margin:0 0 12px}

/* ---- gate result ---- */
.gate-result{margin-top:16px;padding:16px;border-radius:10px;font-size:12px;line-height:1.55;min-height:76px}
.gate-result.empty{border:1px dashed #d6dfe8;color:#9aa7b5}
.gate-result.deny{background:#fff2e5;border:1px solid #efc791;color:#804a17}
.gate-result.allow{background:var(--green-soft);border:1px solid #a9d9bc;color:#246b44}
.verdict{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-bottom:6px}
.verdict strong{font:700 12px var(--grot);letter-spacing:.06em}
.verdict .code,.verdict .inv{font:600 10px var(--mono);padding:2px 7px;border-radius:4px;background:#ffffffaa}
.verdict .who{margin-left:auto;font-size:10.5px;opacity:.8}
.gate-result p{margin:0}
.checks{display:flex;flex-direction:column;gap:5px;margin-top:12px}
.check{display:grid;grid-template-columns:120px 1fr;gap:10px;font-size:11.5px;line-height:1.4;padding:7px 9px;border-radius:6px;background:#ffffff99}
.check b{font:700 10px var(--grot);letter-spacing:.1em;text-transform:uppercase}
.check.ok b{color:#2f8a63}.check.fail b{color:var(--red)}.check.fail{background:var(--red-soft)}
.analysis{margin-top:10px!important;padding-top:10px;border-top:1px solid #00000014}
.analysis b{font-size:9px;letter-spacing:.12em;text-transform:uppercase;margin-right:6px}

/* ---- events + audit ---- */
.event-list{max-height:420px;overflow:auto;margin-top:12px}
.event{display:flex;gap:12px;padding:10px 0;border-bottom:1px solid var(--line-2)}
.event i{flex:none;width:8px;height:8px;background:#9aa9bc;border-radius:50%;margin-top:6px}
.event.blocked i{background:#e6a54f}.event.allowed i{background:#5fc39c}.event.decision i{background:#a889cb}
.event p{font-size:11.5px;line-height:1.5;margin:0;color:#526277;overflow-wrap:anywhere}
.event small{display:block;font:10px var(--mono);color:#a1adba;margin-top:4px}
.audit-table{width:100%;border-collapse:collapse;font-size:11.5px}
.audit-table th{text-align:left;font-size:9px;letter-spacing:.12em;color:#8895a5;padding:8px 8px;border-bottom:1px solid var(--line);text-transform:uppercase}
.audit-table td{padding:8px 8px;border-bottom:1px solid var(--line-2);vertical-align:top;line-height:1.4}
.audit-table tr.deny td b{color:var(--red)}.audit-table tr.allow td b{color:#2f8a63}
.audit-table small{color:var(--faint);font:10px var(--mono);word-break:break-all}
.empty-cell{color:var(--faint);text-align:center;padding:18px!important}

/* ---- connect ---- */
.connect{margin-top:18px;border:1px solid #dbe2eb;border-radius:var(--radius);padding:22px 24px;background:#eef2f8;display:grid;grid-template-columns:1.2fr .8fr;gap:32px}
.connect h2{font-size:17px;margin:6px 0 8px;font-weight:600}
.connect p{color:#7d8a9b;font-size:11.5px;line-height:1.55;margin:0}
.connect form{display:flex;gap:8px;margin-top:12px}
.snippet{margin:12px 0 0;padding:12px 14px;background:var(--nav);color:#d9e1ed;border-radius:8px;font:11.5px var(--mono);white-space:pre-wrap;word-break:break-all;line-height:1.5}
footer{color:#a2aebc;font-size:10.5px;margin-top:26px}
button:disabled{opacity:.5;cursor:not-allowed}

/* ---- responsive ---- */
@media(max-width:1180px){.intro{grid-template-columns:1fr}.graph-grid{grid-template-columns:1fr}.issue-list{max-height:none}.content{padding:28px 28px}.topbar{padding:0 28px}.metrics{grid-template-columns:repeat(3,minmax(0,1fr))}.metrics>div:nth-child(4){border-left:0}}
@media(max-width:820px){.shell{display:block}.sidebar{position:static;height:auto;padding:16px;display:block}.brand{padding:0 0 14px}.nav{width:auto;display:inline-flex;gap:10px}.context-label,.source-list,.invariant-list,.sidebar-bottom,.sidebar>.sidebar-label:first-of-type{display:none}.topbar{height:54px;padding:0 16px}.content{padding:22px 16px}.two-col,.connect,.live-config,.field-row{grid-template-columns:1fr}.metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.metrics>div{padding:14px;min-height:0}.metrics>div:nth-child(odd){border-left:0}.metrics>div:nth-child(n+3){border-top:1px solid var(--line)}.intro h1{font-size:30px}.check{grid-template-columns:1fr}}

/* playground */
.playground-banner{background:#111b2a;color:#d9e1ed;font-size:12px;padding:10px 40px;display:flex;gap:12px;align-items:center;flex-wrap:wrap}
.playground-banner b{color:#ecaa56;font:700 10px 'Space Grotesk',sans-serif;letter-spacing:.14em}
.playground-banner a{color:#8fb0ff;text-decoration:underline}
@media(max-width:820px){.playground-banner{padding:10px 16px}}