:root{font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;color:#20231f;background:#f4f5f2;font-synthesis:none;--ink: #20231f;--muted: #697069;--line: #d9ddd7;--surface: #ffffff;--surface-subtle: #eef0ec;--supported: #16794b;--supported-bg: #e4f3e9;--unsupported: #ba3a35;--unsupported-bg: #fbe7e5;--unstable: #a56400;--unstable-bg: #fff0cf;--infra: #9b3f69;--infra-bg: #f9e7ef;--unknown: #55616d;--unknown-bg: #e8edf1;--accent: #146b78}*{box-sizing:border-box}body{margin:0;min-width:320px;min-height:100vh}button,input,select{font:inherit}button,a{-webkit-tap-highlight-color:transparent}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid #66aab3;outline-offset:2px}code{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:.82em;letter-spacing:0}.app-shell{min-height:100vh}.app-header{height:58px;padding:0 28px;border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;background:#f4f5f2f5;position:sticky;top:0;z-index:20}.brand{display:flex;align-items:center;gap:10px;border:0;background:none;color:var(--ink);padding:0;cursor:pointer}.brand>span{width:30px;height:30px;display:grid;place-items:center;background:var(--ink);color:#fff;font:700 11px/1 SFMono-Regular,monospace}.brand strong{font-size:14px}.header-tools{display:flex;align-items:center;gap:10px}.revision-select{height:34px;border:1px solid var(--line);background:var(--surface);display:flex;align-items:center;gap:8px;padding:0 9px;position:relative}.revision-select span{color:var(--muted);font-size:11px;text-transform:uppercase}.revision-select select{border:0;appearance:none;background:transparent;padding-right:15px;font:600 12px/1 SFMono-Regular,monospace;cursor:pointer}.revision-select svg{position:absolute;right:7px;pointer-events:none}.user-menu{display:flex;align-items:center;gap:7px;font-size:12px;padding:0 6px}.user-menu img{width:26px;height:26px;border-radius:50%}.icon-button{width:34px;height:34px;display:inline-grid;place-items:center;border:1px solid var(--line);background:var(--surface);color:var(--ink);cursor:pointer;text-decoration:none;border-radius:4px}.icon-button:hover{border-color:#9aa39a;background:var(--surface-subtle)}main{max-width:1480px;margin:0 auto}.overview-band{padding:56px 44px 36px;display:flex;justify-content:space-between;align-items:end;gap:40px;border-bottom:1px solid var(--line)}.eyebrow{margin:0 0 8px;color:var(--accent);font:700 11px/1.2 SFMono-Regular,monospace;text-transform:uppercase}h1,h2,h3,p{letter-spacing:0}.overview-band h1,.detail-hero h1{margin:0;font-size:34px;line-height:1.15;font-weight:680}.overview-copy{max-width:720px;margin:14px 0 0;color:var(--muted);line-height:1.7;font-size:14px}.revision-stamp{min-width:230px;border-left:3px solid var(--accent);padding:2px 0 2px 16px;display:grid;gap:5px}.revision-stamp span{color:var(--muted);font-size:11px}.revision-stamp strong{font-size:18px}.revision-stamp code{color:var(--muted)}.metrics-band{display:grid;grid-template-columns:repeat(4,minmax(110px,1fr)) minmax(340px,2.2fr);border-bottom:1px solid var(--line)}.metric,.distribution{padding:22px 24px;border-right:1px solid var(--line);min-width:0}.metric span,.distribution>span{display:block;color:var(--muted);font-size:11px;margin-bottom:8px}.metric strong{font-size:28px;font-variant-numeric:tabular-nums}.text-supported{color:var(--supported)}.text-attention{color:var(--unsupported)}.count-bar{display:flex;height:8px;background:var(--line);overflow:hidden}.count-segment{min-width:5px}.distribution-legend{display:flex;flex-wrap:wrap;gap:7px 14px;margin-top:10px}.distribution-legend span{display:flex;align-items:center;gap:5px;color:var(--muted);font-size:10px}.status-dot{width:8px;height:8px;display:inline-block;border-radius:50%;flex:none}.status-supported{background-color:var(--supported)}.status-unsupported{background-color:var(--unsupported)}.status-non-deterministic{background-color:var(--unstable)}.status-infrastructure-error{background-color:var(--infra)}.status-unverifiable{background-color:var(--unknown)}.results-section{padding:32px 44px 60px}.section-heading{display:flex;align-items:end;justify-content:space-between;gap:24px;margin-bottom:16px}.section-heading h2{font-size:18px;margin:0 0 4px}.section-heading p{margin:0;color:var(--muted);font-size:12px}.search-box{width:min(360px,100%);height:38px;display:flex;align-items:center;gap:8px;border-bottom:1px solid #939c94}.search-box input{width:100%;border:0;background:transparent;outline:none;font-size:13px}.search-box .icon-button{width:26px;height:26px;border:0;background:transparent}.filter-row{display:flex;align-items:center;flex-wrap:wrap;gap:7px;min-height:38px;margin-bottom:12px}.filter-row>svg{color:var(--muted);margin-right:2px}.filter-chip{border:1px solid var(--line);background:transparent;color:var(--muted);padding:5px 8px;display:flex;align-items:center;gap:7px;border-radius:4px;font-size:11px;cursor:pointer}.filter-chip span{font-variant-numeric:tabular-nums}.filter-chip.active{color:#fff;border-color:transparent}.text-button{border:0;background:none;color:var(--accent);font-size:11px;cursor:pointer}.table-shell{border-top:1px solid var(--ink);overflow-x:auto;background:var(--surface)}.direction-table{width:100%;min-width:830px;border-collapse:collapse;table-layout:fixed}.direction-table th{height:38px;color:var(--muted);background:#f0f2ef;text-align:left;font-size:10px;font-weight:600;text-transform:uppercase}.direction-table th,.direction-table td{padding:10px 12px;border-bottom:1px solid var(--line)}.direction-table th:first-child{width:38%}.direction-table th:nth-child(2){width:110px}.direction-table th:nth-child(3),.direction-table th:nth-child(4){width:75px}.direction-table th:nth-child(5){width:95px}.direction-table th:nth-child(6){width:100px}.direction-table th:last-child{width:35px}.direction-table tbody tr{cursor:pointer}.direction-table tbody tr:hover{background:#f6f8f5}.direction-table td:first-child{display:flex;align-items:center;gap:13px}.direction-number{color:#9ba29b;font:500 11px/1 SFMono-Regular,monospace}.direction-name{display:grid;gap:4px;min-width:0}.direction-name strong{font-size:13px;overflow-wrap:anywhere}.direction-name small{color:var(--muted);font:10px/1.2 SFMono-Regular,monospace;overflow-wrap:anywhere}.status-pill{display:inline-flex;align-items:center;min-height:23px;padding:3px 7px;color:#fff;font-size:10px;font-weight:650;border-radius:3px;white-space:nowrap}.fraction{color:var(--muted);font-size:12px}.fraction strong{color:var(--ink)}.transition{display:flex;align-items:center;gap:5px}.muted{color:var(--muted);font-size:11px}.empty-state,.loading-panel{padding:44px 22px;text-align:center;color:var(--muted);font-size:13px}.detail-hero{padding:32px 44px 24px;border-bottom:1px solid var(--line)}.back-button{border:0;background:none;display:flex;align-items:center;gap:6px;color:var(--muted);padding:0;margin-bottom:28px;cursor:pointer;font-size:12px}.detail-title-row{display:flex;justify-content:space-between;gap:30px;align-items:start}.detail-title-row>div:first-child{min-width:0}.detail-title-row h1{font-size:28px;overflow-wrap:anywhere}.detail-title-row p:last-child{color:var(--muted);margin:8px 0 0}.detail-actions{display:flex;align-items:center;gap:8px}.target-line{display:flex;align-items:center;flex-wrap:wrap;gap:8px 12px;margin-top:22px;color:var(--muted);font-size:10px}.target-line a{display:flex;align-items:center;gap:5px;color:var(--ink);text-decoration:none}.detail-tabs{max-width:1480px;margin:0 auto;display:flex;gap:0;padding:0 44px;border-bottom:1px solid var(--line);overflow-x:auto}.detail-tabs button{min-height:45px;padding:0 17px;border:0;border-bottom:2px solid transparent;color:var(--muted);background:none;display:flex;align-items:center;gap:6px;font-size:12px;white-space:nowrap;cursor:pointer}.detail-tabs button.active{border-bottom-color:var(--accent);color:var(--ink);font-weight:650}.detail-content{padding:32px 44px 64px;display:grid;gap:30px}.two-column{grid-template-columns:1.3fr 1fr}.full-column{grid-column:1 / -1}.detail-content section{min-width:0}.detail-content h3{margin:0 0 14px;font-size:14px}.check-list,.plain-list{list-style:none;margin:0;padding:0}.check-list li{display:flex;gap:9px;padding:9px 0;border-bottom:1px solid var(--line);font-size:13px;line-height:1.6}.check-list svg{color:var(--supported);flex:none;margin-top:2px}.plain-list li{padding:9px 0 9px 15px;border-bottom:1px solid var(--line);color:var(--muted);font-size:13px;line-height:1.6;position:relative}.plain-list li:before{content:"";width:4px;height:4px;background:var(--unsupported);position:absolute;left:0;top:17px}.decision-list{border-top:1px solid var(--ink)}.decision-list>div{display:grid;grid-template-columns:minmax(220px,.7fr) 1.3fr;gap:26px;padding:15px 0;border-bottom:1px solid var(--line)}.decision-list strong{font-size:12px}.decision-list p{margin:0;color:var(--muted);font-size:12px;line-height:1.6}.markdown-summary{margin:0;padding:18px;border:1px solid var(--line);background:var(--surface);white-space:pre-wrap;overflow-wrap:anywhere;font:12px/1.65 SFMono-Regular,monospace}.coverage-grid{border-top:1px solid var(--ink)}.coverage-item{display:grid;grid-template-columns:240px 1fr minmax(180px,auto);gap:22px;align-items:center;padding:14px 0;border-bottom:1px solid var(--line)}.coverage-item>div:first-child{display:grid;gap:4px}.coverage-item strong{font-size:12px}.coverage-item code{color:var(--muted)}.coverage-item p{color:var(--muted);font-size:12px;line-height:1.55;margin:0}.story-links{display:flex;flex-wrap:wrap;gap:4px}.story-links span{padding:3px 5px;background:var(--surface-subtle);font:9px/1.2 SFMono-Regular,monospace}.story-workbench{display:grid;grid-template-columns:270px minmax(0,1fr);min-height:650px}.story-list{border-right:1px solid var(--line);background:#edf0eb;padding:12px 0 60px}.story-list button{width:100%;border:0;border-left:3px solid transparent;background:none;padding:12px 18px 12px 15px;text-align:left;display:grid;gap:7px;cursor:pointer}.story-list button:hover{background:#e4e8e2}.story-list button.active{border-left-color:var(--accent);background:var(--surface)}.story-list button>span{display:flex;justify-content:space-between;align-items:center}.story-list b{font:700 10px/1 SFMono-Regular,monospace;color:var(--accent)}.story-list strong{font-size:11px;line-height:1.4}.story-list code{color:var(--muted);font-size:9px}.story-list .status-pill{min-height:18px;padding:2px 5px;font-size:8px}.story-detail{min-width:0;padding:28px 34px 70px}.story-heading{display:flex;justify-content:space-between;gap:24px;align-items:start}.story-heading h3{margin:0;font-size:20px}.story-heading p:last-child{color:var(--muted);font-size:12px;line-height:1.6}.story-actions{display:flex;align-items:center;gap:8px;flex:none}.copy-debug-button{min-height:32px;display:inline-flex;align-items:center;gap:7px;padding:0 10px;border:1px solid var(--line);border-radius:4px;background:var(--surface);color:var(--ink);font-size:11px;font-weight:650;white-space:nowrap;cursor:pointer}.copy-debug-button:hover{border-color:#9aa39a;background:var(--surface-subtle)}.copy-debug-button.error{border-color:var(--unsupported);color:var(--unsupported);background:var(--unsupported-bg)}.story-contract{margin:20px 0;border:1px solid var(--line);background:var(--surface)}.story-contract summary{padding:10px 12px;display:flex;align-items:center;justify-content:space-between;font-size:11px;font-weight:650;cursor:pointer}.story-contract dl{margin:0;padding:0 12px 12px}.story-contract dl>div{display:grid;grid-template-columns:120px 1fr;gap:12px;padding:7px 0;border-top:1px solid var(--line);font-size:11px}.story-contract dt{color:var(--muted)}.story-contract dd{margin:0;line-height:1.5}.run-tabs{display:flex;border-bottom:1px solid var(--line);margin-top:22px}.run-tabs button{height:38px;border:0;border-bottom:2px solid transparent;background:none;padding:0 13px;display:flex;align-items:center;gap:7px;font:600 11px/1 SFMono-Regular,monospace;cursor:pointer}.run-tabs button.active{border-bottom-color:var(--accent)}.run-tabs i{width:7px;height:7px;border-radius:50%}.run-pass{background:var(--supported)}.run-fail{background:var(--unsupported)}.assertion-strip{display:grid;grid-template-columns:repeat(auto-fit,minmax(230px,1fr));gap:1px;margin:16px 0;background:var(--line);border:1px solid var(--line)}.assertion{display:flex;gap:8px;min-width:0;padding:10px;background:var(--surface)}.assertion>svg{flex:none}.assertion.passed>svg{color:var(--supported)}.assertion.failed>svg{color:var(--unsupported)}.assertion>div{display:grid;min-width:0;gap:4px}.assertion code{overflow-wrap:anywhere}.assertion span{color:var(--muted);font-size:9px;overflow-wrap:anywhere}.run-error{padding:10px 12px;display:flex;gap:8px;background:var(--unsupported-bg);color:var(--unsupported)}.trace-stream{border-left:1px solid var(--line);margin-left:18px}.trace-turn{padding:8px 0 16px 23px;position:relative}.trace-turn:before{content:"";width:7px;height:7px;background:var(--accent);border:3px solid var(--surface);position:absolute;border-radius:50%;left:-7px;top:11px}.turn-index{color:var(--muted);font:700 9px/1 SFMono-Regular,monospace;margin-bottom:8px}.message{margin:6px 0;padding:11px 13px;border:1px solid var(--line);background:var(--surface)}.message>span{font:700 8px/1 SFMono-Regular,monospace;color:var(--muted)}.message p{margin:5px 0 0;white-space:pre-wrap;overflow-wrap:anywhere;font-size:12px;line-height:1.6}.user-message{border-left:3px solid #70889b}.assistant-message{border-left:3px solid var(--accent)}.tool-stack details{margin:5px 0;border:1px solid var(--line);background:#252925;color:#e8ece7}.tool-stack summary{min-height:34px;padding:7px 10px;display:flex;align-items:center;gap:7px;cursor:pointer;list-style:none}.tool-stack summary::-webkit-details-marker{display:none}.tool-stack summary svg:last-child{margin-left:auto}.tool-stack pre{max-height:360px;margin:0;padding:12px;border-top:1px solid #424842;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere;font:10px/1.55 SFMono-Regular,monospace}.tool-error{color:#ff9b94;font:9px/1 SFMono-Regular,monospace}.compare-summary{display:flex;align-items:center;justify-content:center;gap:28px;padding:22px;border:1px solid var(--line);background:var(--surface)}.compare-summary>div{min-width:180px;display:grid;justify-items:center;gap:7px}.compare-summary span:first-child{color:var(--muted);font-size:10px}.compare-summary strong{font-size:22px}.delta-table{border-top:1px solid var(--ink)}.delta-table>div{min-height:44px;display:grid;grid-template-columns:1fr 100px 30px 100px;align-items:center;gap:10px;border-bottom:1px solid var(--line);font-size:11px}.login-page{min-height:100vh;max-width:560px;padding:15vh 30px 40px;text-align:center}.login-mark{width:58px;height:58px;display:grid;place-items:center;margin:0 auto 22px;background:var(--ink);color:#fff}.login-page h1{font-size:34px;margin:0}.login-page>p:not(.eyebrow){color:var(--muted);line-height:1.7;margin:18px 0 26px}.login-button{min-height:42px;display:inline-flex;align-items:center;gap:8px;padding:0 17px;background:var(--ink);color:#fff;text-decoration:none;border-radius:4px;font-size:13px;font-weight:650}.login-page small{display:block;color:var(--muted);margin-top:20px;font-size:10px}.app-loading,.fatal-error{min-height:100vh;display:grid;place-content:center;justify-items:center;gap:14px;color:var(--muted)}.app-loading span{width:24px;height:24px;border:2px solid var(--line);border-top-color:var(--accent);border-radius:50%;animation:spin .7s linear infinite}.fatal-error pre{max-width:min(700px,90vw);white-space:pre-wrap;color:var(--unsupported)}@keyframes spin{to{transform:rotate(360deg)}}footer{min-height:50px;padding:0 44px;border-top:1px solid var(--line);display:flex;justify-content:space-between;align-items:center;color:var(--muted);font-size:9px}@media(max-width:900px){.app-header{padding:0 16px}.brand strong,.user-menu span,.revision-select span{display:none}.overview-band,.detail-hero{padding-left:22px;padding-right:22px}.overview-band{align-items:start;flex-direction:column}.metrics-band{grid-template-columns:repeat(2,1fr)}.distribution{grid-column:1 / -1}.results-section,.detail-content{padding-left:22px;padding-right:22px}.detail-tabs{padding:0 22px}.two-column{grid-template-columns:1fr}.full-column{grid-column:auto}.coverage-item{grid-template-columns:1fr;gap:7px}.story-workbench{grid-template-columns:1fr}.story-list{display:flex;overflow-x:auto;border-right:0;border-bottom:1px solid var(--line);padding:0}.story-list button{min-width:220px;border-left:0;border-bottom:3px solid transparent}.story-list button.active{border-bottom-color:var(--accent)}}@media(max-width:620px){.app-header{height:52px}.overview-band{padding-top:34px}.overview-band h1,.detail-hero h1{font-size:25px}.metrics-band{grid-template-columns:repeat(2,1fr)}.metric{padding:16px}.metric strong{font-size:23px}.section-heading{align-items:stretch;flex-direction:column}.search-box{width:100%}.results-section{padding:24px 14px 45px}.detail-hero{padding:24px 16px 18px}.detail-title-row{flex-direction:column}.detail-actions{width:100%}.detail-tabs{padding:0 8px}.detail-tabs button{padding:0 11px}.detail-content{padding:24px 16px 48px}.decision-list>div{grid-template-columns:1fr;gap:7px}.story-detail{padding:22px 14px 50px}.story-heading{flex-direction:column;gap:8px}.story-actions{width:100%;justify-content:space-between}.assertion-strip{grid-template-columns:1fr}.trace-stream{margin-left:7px}.trace-turn{padding-left:16px}.compare-summary{gap:10px;padding:15px 8px}.compare-summary>div{min-width:0;flex:1}.delta-table>div{grid-template-columns:minmax(110px,1fr) 70px 20px 75px}footer{padding:14px 16px;align-items:start;flex-direction:column;gap:5px}}