:root{color-scheme:dark;--bg:#0d1116;--panel:#151c24;--line:#35414c;--text:#eef2f5;--muted:#acbac7;--accent:#ffac70;--warn:#f0c98b;--green:#8bdab3;font-family:Inter,ui-sans-serif,system-ui,sans-serif}
*{box-sizing:border-box}html{scroll-padding-top:100px}body{margin:0;background:var(--bg);color:var(--text);font:15px/1.6 Inter,ui-sans-serif,system-ui,sans-serif}a{color:var(--accent);text-underline-offset:4px}button,input,select,textarea{font:inherit}button,a,input,select,summary,textarea{touch-action:manipulation}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,textarea:focus-visible{outline:3px solid var(--accent);outline-offset:3px}button,.button{border:1px solid #4b5968;border-radius:7px;background:#202c38;color:var(--text);padding:10px 14px;min-height:44px;cursor:pointer;text-decoration:none;font-weight:600;display:inline-flex;align-items:center;justify-content:center;gap:6px}button:hover,.button:hover{border-color:var(--accent);background:#293746}button:disabled{opacity:.48;cursor:not-allowed}.primary{background:var(--accent);border-color:var(--accent);color:#21160e}.primary:hover{background:#ffc093}input,select,textarea{width:100%;min-width:0;min-height:44px;border:1px solid #4a5967;border-radius:6px;background:#0d151e;color:var(--text);padding:10px 11px;font-size:16px}textarea{min-height:92px;resize:vertical}label{display:flex;flex-direction:column;gap:6px;color:#c4cfda;font-size:13px;min-width:0}.check{flex-direction:row;align-items:flex-start;gap:10px;margin:12px 0}.check input{flex:0 0 18px;width:18px;min-height:18px;margin:4px 0}.skip{position:fixed;top:-100px;left:16px;z-index:20;padding:12px;background:var(--accent);color:var(--bg)}.skip:focus{top:12px}.lab-nav{max-width:none;position:sticky;top:0;z-index:8;background:#0d1116f5;border-bottom:1px solid var(--line);padding:0 max(24px,calc((100vw - 1440px)/2));display:flex;align-items:center;gap:28px;min-height:72px;backdrop-filter:blur(12px)}.lab-brand{display:flex;align-items:center;gap:10px;color:var(--text);text-decoration:none;font-size:14px;font-weight:800;letter-spacing:.02em;white-space:nowrap}.lab-symbol{display:grid;place-items:center;border:2px solid var(--accent);border-radius:50%;height:34px;width:34px;font:800 16px ui-monospace,monospace;color:var(--accent)}.lab-links{display:flex;gap:4px;align-self:stretch}.lab-links a{display:flex;align-items:center;padding:12px 16px;color:var(--muted);text-decoration:none;border-bottom:2px solid transparent;font-size:14px;font-weight:600}.lab-links a[aria-current=page]{color:var(--accent);border-color:var(--accent);background:#ffac7009}.portfolio-link{margin-left:auto;font-size:12px;color:var(--muted);text-decoration:none;white-space:nowrap}.eyebrow{color:var(--accent);font:700 11px/1.5 ui-monospace,monospace;letter-spacing:.15em;text-transform:uppercase}h1,h2,h3{line-height:1.2}h1{letter-spacing:-.045em}h2{font-size:22px;margin:0 0 12px}h3{font-size:17px}p{color:var(--muted)}.badge{display:inline-flex;border:1px solid var(--line);border-radius:5px;padding:5px 9px;font:600 10px/1.6 ui-monospace,monospace;letter-spacing:.035em;color:var(--muted)}.hint,.source{font-size:12px;color:var(--muted)}.source,pre{overflow-wrap:anywhere;word-break:break-word}pre{font:12px/1.7 ui-monospace,monospace;white-space:pre-wrap;background:#0d151e;padding:16px;border-radius:6px}summary{cursor:pointer;font-weight:600}details{border-top:1px solid var(--line);padding-top:15px;margin-top:15px}summary:hover{color:var(--accent)}table{width:100%;border-collapse:collapse;font-size:12px;margin:16px 0;table-layout:fixed}th,td{text-align:left;padding:12px 8px;border-bottom:1px solid var(--line);overflow-wrap:anywhere;vertical-align:top}th{font-weight:600;color:#c7d1dc}caption{text-align:left;color:var(--muted);font-size:12px;padding:8px 0}.notice,.unresolved,.boundary{background:#251f1b;border:1px solid #60472f;border-left:3px solid var(--accent);border-radius:6px;padding:16px;color:#efd3b9}.notice p,.boundary p{margin:5px 0}.unresolved{font-size:12px;margin:12px 0;padding:12px}.unresolved strong{color:#f4dcc8}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:12px;margin-bottom:16px}.cards{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}.card{background:#0e1720;border:1px solid var(--line);border-radius:8px;padding:18px}.card strong{display:block;font-size:25px;line-height:1.3;letter-spacing:-.025em;color:var(--accent);overflow-wrap:anywhere}.card span{font-size:12px;color:var(--muted)}.empty{padding:35px 10px}.empty-icon{font:600 40px/1 ui-monospace,monospace;color:#596b7e;display:block;margin-bottom:24px}.quiet{color:var(--muted)}[hidden]{display:none!important}.lab-footer{max-width:1440px;margin:auto;padding:24px;color:var(--muted);font-size:12px;border-top:1px solid var(--line)}.lab-footer a{color:var(--muted)}.status-line{font-size:12px;color:var(--muted);min-height:22px}.true{color:#8be1ad}.false{color:#ffb7ae}.unknown{color:var(--warn)}.build-context{background:#182531;border:1px solid #40566c;border-radius:9px;padding:24px;margin-bottom:24px}.build-context h2{margin-top:0}.context-items{display:flex;flex-wrap:wrap;gap:6px;list-style:none;padding:0}.context-items li{font-size:12px;padding:5px 9px;background:#101922;border:1px solid var(--line);border-radius:4px}.context-items strong{color:#e5ecf2}.row-actions{display:flex;flex-wrap:wrap;align-items:center;gap:10px}.stale-banner{font-size:12px;background:#34271a;color:#f5d7a5;padding:10px 14px;border:1px solid #755635;border-radius:6px;margin-bottom:16px}
@media(max-width:700px){.lab-nav{padding:12px 16px 0;min-height:0;gap:8px;flex-wrap:wrap}.lab-brand{font-size:12px;gap:8px}.lab-symbol{width:28px;height:28px;font-size:13px}.lab-links{order:3;width:100%;justify-content:stretch;gap:0}.lab-links a{justify-content:center;flex:1;padding:10px 9px;font-size:13px;min-height:44px}.portfolio-link{font-size:11px}.lab-footer{padding:24px 16px}.cards{gap:8px}.card{padding:14px}.card strong{font-size:22px}table{font-size:12px}th,td{padding:10px 5px}.build-context{padding:18px}html{scroll-padding-top:120px}}
@media(prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}

.app-header,main{max-width:1100px;margin:auto;padding:28px 24px}.app-header{padding-top:38px;padding-bottom:10px}.app-header h1{font-size:clamp(32px,5vw,48px);margin:8px 0 12px}.app-header p{margin:0}main{padding-top:22px}main>section:not(.build-context){background:var(--panel);border:1px solid var(--line);border-radius:9px;padding:26px;margin-bottom:24px}.warning{border-left:3px solid var(--accent)!important}.warning p{font-size:13px}.build-context h3{font-size:23px;letter-spacing:-.025em;margin-bottom:10px}form{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin-top:24px}form>label:first-child{grid-column:1/-1}form button{grid-column:1/-1;justify-self:start;background:var(--accent);color:#21160e;border-color:var(--accent);min-width:240px}.eyebrow+h2{margin-top:8px}#status{font-size:13px;overflow-wrap:anywhere}#verification{border-style:dashed!important}#source-evidence{font-size:12px;overflow-wrap:anywhere}#results{border-top:1px solid var(--line);margin-top:20px}#results p{font-size:13px}.is-stale table{opacity:.45}.is-stale:before{content:'Previous hypothesis — run checks to refresh';display:block;color:var(--warn);font-size:12px;margin-top:14px}#contract{max-height:550px;overflow:auto}main ul{padding-left:20px;color:var(--muted);font-size:13px}
@media(max-width:700px){.app-header,main{padding:24px 16px}.app-header{padding-bottom:0}main>section:not(.build-context){padding:18px}form{grid-template-columns:1fr;gap:16px}form button{width:100%;min-width:0}h2{font-size:20px}table th{width:47%}.build-context h3{font-size:21px}}