/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-outline-style:solid}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.start{inset-inline-start:var(--spacing)}.contents{display:contents}.hidden{display:none}.table{display:table}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.outline{outline-style:var(--tw-outline-style);outline-width:1px}}:root{--ink-950:#091014;--ink-900:#0d161b;--ink-850:#111c22;--ink-800:#17242b;--ink-700:#263740;--ink-500:#6d7f87;--paper:#f0eee6;--paper-muted:#aaa99f;--mint:#72dfbd;--mint-dark:#173f37;--amber:#f2b35f;--amber-dark:#4b3521;--rose:#f17f79;--rose-dark:#4c2929;--blue:#79aee8;--line:#f0eee61f;--line-strong:#f0eee638;--mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace;--sans:Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif}*{box-sizing:border-box}html{background:var(--ink-950);--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}body{background:var(--ink-950);color:var(--paper);font-family:var(--sans);min-height:100vh;margin:0}button,a{-webkit-tap-highlight-color:transparent}button{font:inherit}button:focus-visible,a:focus-visible{outline:2px solid var(--mint);outline-offset:3px}.app-shell{min-height:100vh}.topbar{border-bottom:1px solid var(--line);z-index:20;background:#091014f5;justify-content:space-between;align-items:center;min-height:78px;padding:14px clamp(20px,3vw,52px);display:flex;position:sticky;top:0}.brand-block,.topbar-actions,.trace-controls{align-items:center;display:flex}.brand-block{gap:13px}.brand-mark{background:var(--mint);color:var(--ink-950);font-family:var(--mono);border-radius:7px;justify-content:center;align-items:center;width:40px;height:40px;font-size:12px;font-weight:800;display:flex}.eyebrow,.section-kicker{color:var(--paper-muted);font-family:var(--mono);letter-spacing:.11em;text-transform:uppercase;margin:0 0 5px;font-size:10px}.brand-block h1{letter-spacing:-.02em;margin:0;font-size:16px}.topbar-actions{gap:18px}.runtime-status{color:var(--paper-muted);font-family:var(--mono);align-items:center;gap:8px;font-size:11px;display:flex}.runtime-status i{background:var(--mint);border-radius:50%;width:7px;height:7px;box-shadow:0 0 0 4px #72dfbd14}.topbar a{border:1px solid var(--line-strong);color:var(--paper);border-radius:6px;padding:9px 13px;font-size:12px;font-weight:700;text-decoration:none}.topbar a:hover{border-color:var(--mint);color:var(--mint)}.scenario-strip{background:var(--ink-900);border-bottom:1px solid var(--line);align-items:stretch;min-height:70px;padding:0 clamp(20px,3vw,52px);display:flex;overflow-x:auto}.scenario-heading{border-right:1px solid var(--line);flex-direction:column;justify-content:center;min-width:190px;padding-right:24px;display:flex}.scenario-heading span{color:var(--paper-muted);font-size:11px}.scenario-heading strong{font-family:var(--mono);margin-top:4px;font-size:12px}.scenario-tab{color:var(--paper-muted);cursor:pointer;text-align:left;background:0 0;border:0;border-bottom:2px solid #0000;min-width:max-content;padding:12px 18px 10px;font-size:12px}.scenario-tab span{color:var(--ink-500);font-family:var(--mono);margin-bottom:5px;font-size:10px;display:block}.scenario-tab:hover,.scenario-tab.active{color:var(--paper)}.scenario-tab.active{border-bottom-color:var(--mint)}.scenario-tab.active span{color:var(--mint)}.workbench{max-width:1580px;margin:0 auto;padding:30px clamp(20px,3vw,52px) 54px}.case-summary{justify-content:space-between;align-items:end;gap:40px;margin-bottom:24px;display:flex}.case-summary h2{letter-spacing:-.045em;margin:0 0 10px;font-size:clamp(26px,3vw,40px);line-height:1}.case-summary>div>p:not(.section-kicker){color:var(--paper-muted);max-width:720px;margin:0;font-size:14px}.invariant-card{border-left:2px solid var(--amber);max-width:420px;padding:5px 0 5px 16px}.invariant-card span,.inspection-copy span,.key-set>span,.state-column>span{color:var(--paper-muted);font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;margin-bottom:6px;font-size:10px;display:block}.invariant-card strong{font-size:13px;line-height:1.45}.baseline-selector,.metric-row{grid-template-columns:repeat(4,minmax(0,1fr));gap:8px;margin-bottom:12px;display:grid}.baseline-option,.metric-card{background:var(--ink-850);border:1px solid var(--line);color:var(--paper);border-radius:8px;padding:12px 14px}.baseline-option{cursor:pointer;text-align:left;min-height:66px}.baseline-option strong,.baseline-option span,.metric-card span{display:block}.baseline-option strong{margin-bottom:5px;font-size:12px}.baseline-option span,.metric-card span{color:var(--paper-muted);font-size:10px}.baseline-option:hover{border-color:var(--line-strong)}.baseline-option.active{background:var(--mint-dark);border-color:#72dfbd80}.baseline-option.active strong,.metric-good strong{color:var(--mint)}.metric-card span{margin-bottom:7px}.metric-card strong{font-family:var(--mono);font-size:14px}.metric-bad strong{color:var(--rose)}.panel{background:var(--ink-850);border:1px solid var(--line);border-radius:10px}.panel-header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;min-height:69px;padding:15px 18px;display:flex}.panel-header h3{letter-spacing:-.02em;margin:0;font-size:15px}.primary-grid,.secondary-grid{grid-template-columns:minmax(0,1.55fr) minmax(350px,.85fr);gap:12px;display:grid}.secondary-grid,.comparison-panel{margin-top:12px}.trace-controls{gap:8px}.trace-controls>span,.version-label{color:var(--paper-muted);font-family:var(--mono);font-size:10px}.trace-controls button{border:1px solid var(--line-strong);color:var(--paper);cursor:pointer;background:0 0;border-radius:5px;padding:7px 9px;font-size:10px}.trace-controls button:hover:not(:disabled){border-color:var(--mint)}.trace-controls .primary-button{background:var(--mint);border-color:var(--mint);color:var(--ink-950);font-weight:800}.trace-controls button:disabled{cursor:not-allowed;opacity:.4}.trace-list{gap:8px;min-height:410px;padding:18px;display:grid}.trace-event{background:var(--ink-800);border:1px solid var(--line);color:var(--paper);text-align:left;border-radius:7px;grid-template-columns:28px 105px minmax(0,1fr) auto;align-items:center;width:100%;min-height:72px;padding:10px 12px;transition:border-color .16s,opacity .16s,transform .16s;display:grid}.trace-event.visible{cursor:pointer}.trace-event.pending{opacity:.18}.trace-event.selected{border-color:var(--mint);transform:translate(3px)}.step-number{border:1px solid var(--line-strong);color:var(--paper-muted);font-family:var(--mono);border-radius:50%;justify-content:center;align-items:center;width:22px;height:22px;font-size:9px;display:flex}.event-agent{color:var(--paper-muted);font-family:var(--mono);font-size:10px}.event-body{min-width:0}.event-body strong,.event-body small{display:block}.event-body strong{margin-bottom:6px;font-size:12px}.event-body small{color:var(--paper-muted);font-family:var(--mono);text-overflow:ellipsis;white-space:nowrap;font-size:9px;overflow:hidden}.event-status{border:1px solid var(--line-strong);color:var(--paper-muted);font-family:var(--mono);border-radius:999px;padding:5px 8px;font-size:9px}.status-committed{background:var(--mint-dark);color:var(--mint);border-color:#72dfbd47}.status-blocked{background:var(--rose-dark);color:var(--rose);border-color:#f17f794d}.status-staged{background:var(--amber-dark);color:var(--amber);border-color:#f2b35f47}.status-read{color:var(--blue);background:#79aee81a;border-color:#79aee84d}.event-metadata{margin:0;padding:10px 18px 0;display:grid}.event-metadata div{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:16px;padding:10px 0;display:flex}.event-metadata dt{color:var(--paper-muted);font-size:10px}.event-metadata dd{font-family:var(--mono);text-align:right;text-overflow:ellipsis;white-space:nowrap;margin:0;font-size:10px;overflow:hidden}.inspection-copy{padding:18px}.inspection-copy p{margin:0;font-size:12px;line-height:1.6}.set-grid{grid-template-columns:1fr 1fr;gap:8px;padding:0 18px 18px;display:grid}.key-set{background:var(--ink-900);border:1px solid var(--line);border-radius:6px;min-height:112px;padding:11px}.key-set ul,.state-column ul{margin:0;padding:0;list-style:none}.key-set li,.key-set p{color:var(--paper-muted);font-family:var(--mono);overflow-wrap:anywhere;margin:0 0 5px;font-size:9px;line-height:1.55}.certificate{border-left:2px solid;margin:0 18px 18px;padding:10px 12px}.certificate span,.certificate strong{display:block}.certificate span{font-family:var(--mono);margin-bottom:6px;font-size:10px}.certificate strong{font-size:11px;line-height:1.45}.certificate.good{border-color:var(--mint);background:#72dfbd0f}.certificate.good span{color:var(--mint)}.certificate.bad{border-color:var(--rose);background:#f17f790f}.certificate.bad span{color:var(--rose)}.state-diff{grid-template-columns:1fr 30px 1fr;align-items:stretch;gap:10px;padding:18px;display:grid}.state-column{background:var(--ink-900);border:1px solid var(--line);border-radius:6px;padding:12px}.state-column li{border-bottom:1px solid var(--line);font-family:var(--mono);padding:7px 0;font-size:10px}.state-column li:last-child{border-bottom:0}.state-arrow{color:var(--mint);font-family:var(--mono);justify-content:center;align-items:center;display:flex}.witness-code{background:var(--ink-950);border:1px solid var(--line);font-family:var(--mono);border-radius:6px;gap:7px;margin:18px 18px 12px;padding:13px;font-size:10px;display:grid}.witness-code span{color:var(--paper-muted)}.witness-code strong{color:var(--mint)}.witness-panel>p{color:var(--paper-muted);margin:0;padding:0 18px 18px;font-size:11px;line-height:1.55}.comparison-table{padding:8px 18px 18px;overflow-x:auto}.comparison-row{border:0;border-bottom:1px solid var(--line);color:var(--paper);text-align:left;background:0 0;grid-template-columns:1.1fr .7fr .6fr .6fr 1.4fr;align-items:center;gap:14px;width:100%;min-width:760px;padding:12px 9px;font-size:10px;display:grid}button.comparison-row{cursor:pointer}button.comparison-row:hover,.comparison-row.active{background:#72dfbd0d}.comparison-row.active strong{color:var(--mint)}.comparison-head{color:var(--paper-muted);font-family:var(--mono);text-transform:uppercase}footer{border-top:1px solid var(--line);color:var(--ink-500);font-family:var(--mono);justify-content:space-between;padding:20px clamp(20px,3vw,52px);font-size:9px;display:flex}footer p{margin:0}@media (width<=1050px){.primary-grid,.secondary-grid{grid-template-columns:1fr}.case-summary{flex-direction:column;align-items:start;gap:18px}.invariant-card{max-width:100%}}@media (width<=760px){.topbar{position:static}.runtime-status,.scenario-heading{display:none}.baseline-selector,.metric-row{grid-template-columns:1fr 1fr}.trace-controls>span{display:none}.trace-event{grid-template-columns:28px 82px minmax(0,1fr)}.trace-event .event-status{display:none}.set-grid,.state-diff{grid-template-columns:1fr}.state-arrow{transform:rotate(90deg)}footer{flex-direction:column;gap:8px}}@media (width<=520px){.brand-block .eyebrow,.topbar a{display:none}.workbench{padding-left:14px;padding-right:14px}.baseline-selector,.metric-row{grid-template-columns:1fr}.trace-event{grid-template-columns:28px 1fr}.event-agent{display:none}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}