:root{--bg:#fbfaf7;--surface:#ffffff;--surface-2:#f3f1ec;--text:#1c1b19;--muted:#5f5b53;--border:#dedad2;--accent:#2f5d8a;--pass:#2e6b3f;--pass-bg:#e6f1e8;--fail:#a33a2b;--fail-bg:#f8e7e3;--warn:#8a5a00;--warn-bg:#f7eed9;--neutral-bg:#eceae4;--code:#f1efe9;--radius:6px;--mono:ui-monospace,"Cascadia Code","SFMono-Regular",Menlo,Consolas,monospace;--sans:system-ui,-apple-system,"Segoe UI",Roboto,sans-serif;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#151514;--surface:#1d1d1b;--surface-2:#252522;--text:#ebe8e1;--muted:#a9a499;--border:#3a3935;--accent:#8db8e3;--pass:#8fd0a0;--pass-bg:#1f3325;--fail:#f0a295;--fail-bg:#3d2320;--warn:#e7c07a;--warn-bg:#3a2f18;--neutral-bg:#2c2c29;--code:#232321;color-scheme:dark}}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--text);font:16px/1.6 var(--sans)}a{color:var(--accent)}.mono,code,pre{font-family:var(--mono);font-size:.86em}code{padding:.1em .35em;border-radius:4px;overflow-wrap:anywhere}code,pre{background:var(--code)}pre{padding:12px 14px;border-radius:var(--radius);overflow-x:auto;line-height:1.45}pre code{background:none;padding:0}h1,h2,h3{line-height:1.25;letter-spacing:-.01em}h1{font-size:1.9rem;margin:.2em 0 .4em}h2{font-size:1.3rem;margin-top:2em}h3{font-size:1.05rem;margin-top:1.5em}.site-header{border-bottom:1px solid var(--border);background:var(--surface)}.site-footer .inner,.site-header .inner,main{max-width:960px;margin:0 auto;padding:0 16px}.site-header .inner{display:flex;flex-wrap:wrap;align-items:baseline;gap:6px 18px;padding-top:12px;padding-bottom:12px}.brand{font-weight:650;color:var(--text);text-decoration:none;margin-right:auto}.nav{display:flex;flex-wrap:wrap;gap:4px 14px;font-size:.92rem}.nav a{color:var(--muted);text-decoration:none}.nav a[aria-current=page]{color:var(--text);text-decoration:underline;text-underline-offset:4px}main{padding-top:24px;padding-bottom:64px}.site-footer{border-top:1px solid var(--border);color:var(--muted);font-size:.85rem}.site-footer .inner{padding-top:16px;padding-bottom:32px}.lede{font-size:1.1rem;color:var(--muted);max-width:70ch}.prose{max-width:72ch}.muted{color:var(--muted)}.small{font-size:.88rem}.inline-code{display:inline-block;margin:3px 6px 3px 0}.card{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);padding:16px;margin:16px 0}.card>:first-child{margin-top:0}.card>:last-child{margin-bottom:0}.callout{border-left:3px solid var(--warn);background:var(--warn-bg);padding:10px 14px;border-radius:0 var(--radius) var(--radius) 0;margin:16px 0}.callout.fail{border-color:var(--fail);background:var(--fail-bg)}.callout.pass{border-color:var(--pass);background:var(--pass-bg)}.tag{display:inline-block;font:600 .72rem/1 var(--mono);letter-spacing:.04em;padding:4px 6px;border-radius:4px;background:var(--neutral-bg);color:var(--muted);white-space:nowrap;vertical-align:middle}.tag.EXECUTE,.tag.PASS,.tag.PRESERVED,.tag.published,.tag.tested{background:var(--pass-bg);color:var(--pass)}.tag.FAIL,.tag.FIXTURE_UNAVAILABLE,.tag.HOLD,.tag.INVARIANT_FAILED,.tag.VERIFICATION_FAILED{background:var(--fail-bg);color:var(--fail)}.tag.CANDIDATE,.tag.NOT_EVALUATED,.tag.PROPOSED,.tag.UNAVAILABLE,.tag.UNMEASURABLE,.tag.UNRESOLVED,.tag.preprint,.tag.proposed{background:var(--warn-bg);color:var(--warn)}.table-wrap{overflow-x:auto;margin:12px 0}table{border-collapse:collapse;width:100%;font-size:.92rem}td,th{text-align:left;vertical-align:top;padding:8px 10px;border-bottom:1px solid var(--border)}th{font-weight:600;color:var(--muted);font-size:.82rem;text-transform:uppercase;letter-spacing:.03em}td .mono,td code{overflow-wrap:anywhere}.grid-2{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));grid-gap:12px;gap:12px}.grid-2,.kv{display:grid}.kv{grid-template-columns:minmax(110px,max-content) 1fr;grid-gap:4px 14px;gap:4px 14px;font-size:.9rem;margin:0}.kv dt{color:var(--muted)}.kv dd{margin:0;overflow-wrap:anywhere}.steps{display:flex;flex-wrap:wrap;gap:6px;margin:12px 0;padding:0;list-style:none}.steps button{font:inherit;font-size:.88rem;padding:6px 10px;border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);color:var(--text);cursor:pointer}.steps button[aria-pressed=true]{border-color:var(--accent);box-shadow:inset 0 0 0 1px var(--accent)}.btn{font:inherit;font-size:.9rem;padding:7px 12px;border-radius:var(--radius);border:1px solid var(--accent);background:var(--surface);color:var(--accent);cursor:pointer}.btn:disabled{opacity:.5;cursor:not-allowed}.btn-row{flex-wrap:wrap;margin:10px 0}.btn-row,label.opt{display:flex;gap:8px}label.opt{align-items:flex-start;margin:6px 0;font-size:.92rem}select{font:inherit;font-size:.9rem;padding:4px 6px;border-radius:4px;border:1px solid var(--border);background:var(--surface);color:var(--text);max-width:100%}.check-row td:first-child{width:1%}.chain{list-style:none;padding:0;margin:0}.chain li{border-left:2px solid var(--border);padding:4px 0 10px 14px;position:relative}.chain li:before{content:"";position:absolute;left:-6px;top:10px;width:10px;height:10px;border-radius:50%;background:var(--surface);border:2px solid var(--accent)}.formula{font-family:var(--mono);font-size:.85rem;background:var(--code);border-radius:var(--radius);padding:14px;overflow-x:auto;white-space:pre;line-height:1.5}.tag.EXPIRED,.tag.FIRED,.tag.INPUT_BINDING_FAILED,.tag.INVALID,.tag.POLICY_DENIED,.tag.REPLAY_FAILED,.tag.UNAUTHORIZED{background:var(--fail-bg);color:var(--fail)}.tag.CLEAR,.tag.FORMAL{background:var(--pass-bg);color:var(--pass)}.tag.ANALOGY,.tag.FORMAL_MEASURE_ANALOGY_NAME,.tag.MEASURED_NO_THRESHOLD,.tag.PORTFOLIO_ONLY{background:var(--warn-bg);color:var(--warn)}.eyebrow{font:600 .75rem/1.2 var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--accent);margin:0}.hero h1{font-size:clamp(1.7rem,4.5vw,2.4rem);max-width:22ch}.grid-3{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));grid-gap:12px;gap:12px}.card h3{margin-top:0}.card a.more{font-size:.9rem}textarea.json{width:100%;min-height:320px;font:.8rem/1.45 var(--mono);padding:10px;border:1px solid var(--border);border-radius:var(--radius);background:var(--code);color:var(--text);resize:vertical}.row{gap:8px 16px}.outcome,.row{display:flex;flex-wrap:wrap;align-items:center}.outcome{gap:6px;font-size:1.05rem}ul.tight{margin:6px 0;padding-left:20px}ul.tight li{margin:2px 0}.error{color:var(--fail)}.tag.KNOWN,.tag.SUPPORTED{background:var(--pass-bg);color:var(--pass)}.tag.PENDING,.tag.UNTESTED{background:var(--warn-bg);color:var(--warn)}.tag.CHALLENGED,.tag.DISPUTED{background:var(--fail-bg);color:var(--fail)}.tag.UNRESOLVED{background:var(--warn-bg);color:var(--warn)}.tag.MATCHED{background:var(--pass-bg);color:var(--pass)}.tag.DECLARED,.tag.NONE,.tag.UNMATCHED{background:var(--warn-bg);color:var(--warn)}