:root{--color-canvas:#f5f3ee;--color-surface:#fff;--color-ink:#172033;--color-muted:#526071;--color-border:#cbd3dc;--color-accent:#087ea4;--color-success:#18794e;--color-warning:#8a5a00;--color-danger:#b42318;--color-focus:#075985;--font-sans:system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-mono:ui-monospace, "SFMono-Regular", Consolas, "Liberation Mono", monospace;--font-size-label:.875rem;--font-size-body:1rem;--font-size-section:1.25rem;--font-size-title:clamp(2rem, 5vw, 3.5rem);--line-height-tight:1.05;--line-height-section:1.25;--line-height-body:1.5;--weight-regular:400;--weight-medium:600;--weight-bold:750;--space-1:.25rem;--space-2:.5rem;--space-3:1rem;--space-4:1.5rem;--space-5:2rem;--space-6:3rem;--space-section:4rem;--control-min:2.75rem;--shell-max:60rem;--copy-max:40rem;--status-min:16rem;--viewport-min:20rem;--radius-control:.375rem;--radius-panel:.75rem;--radius-full:999rem;--border:1px solid var(--color-border);--shadow-panel:0 .75rem 2rem #1720331a;--focus-inner:0 0 0 2px var(--color-surface);--focus-outer:0 0 0 4px var(--color-focus);--motion-fast:.16s;--motion-progress:.9s;--ease-standard:ease-out;--line-width:1px;--line-width-strong:2px;--line-width-progress:3px;--motion-offset:1px;font-family:var(--font-sans);color:var(--color-ink);background:var(--color-canvas);font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}*{box-sizing:border-box}html{min-width:var(--viewport-min);background:var(--color-canvas)}body{min-width:var(--viewport-min);min-height:100vh;margin:0}button,code{font:inherit}button{color:inherit}button:focus-visible,a:focus-visible{box-shadow:var(--focus-inner), var(--focus-outer);outline:none}::selection{color:var(--color-surface);background:var(--color-focus)}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important}}#root{min-height:100vh}.page-shell{min-height:100vh;padding:var(--space-4);place-items:center;display:grid}.console{width:min(100%, var(--shell-max));background:var(--color-surface);border:var(--border);border-radius:var(--radius-panel);box-shadow:var(--shadow-panel);overflow:hidden}.console-header,.proof-path,.proof-runner,.status-panel,.console-footer{padding:var(--space-5)}.console-header,.proof-path,.proof-runner,.status-panel{border-bottom:var(--border)}.skip-link{z-index:2;padding:var(--space-2) var(--space-3);color:var(--color-surface);background:var(--color-focus);border-radius:var(--radius-control);position:absolute;inset-block-start:var(--space-3);inset-inline-start:var(--space-3);transform:translateY(-200%)}.skip-link:focus{transform:translateY(0)}.brand-row,.proof-runner,.console-footer{justify-content:space-between;align-items:center;gap:var(--space-4);display:flex}.brand,.environment,.eyebrow{font-size:var(--font-size-label);font-weight:var(--weight-bold);letter-spacing:.08em;text-transform:uppercase;margin:0}.brand{color:var(--color-ink)}.environment{align-items:center;gap:var(--space-2);color:var(--color-muted);display:inline-flex}.environment span{width:var(--space-2);height:var(--space-2);background:var(--color-success);border-radius:var(--radius-full)}.intro{max-width:var(--copy-max);margin-top:var(--space-6)}.eyebrow{color:var(--color-accent)}h1,h2,p{overflow-wrap:anywhere}h1{margin:var(--space-3) 0;font-size:var(--font-size-title);line-height:var(--line-height-tight);letter-spacing:-.035em}h2{margin:var(--space-1) 0 0;font-size:var(--font-size-section);line-height:var(--line-height-section)}.lede,.runner-copy p,.status-message,.console-footer p{color:var(--color-muted);font-size:var(--font-size-body);line-height:var(--line-height-body);margin:0}.section-heading{margin-bottom:var(--space-4)}.path-list{gap:var(--space-3);grid-template-columns:repeat(3,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.path-step{align-items:center;gap:var(--space-3);min-width:0;padding:var(--space-3);color:var(--color-muted);background:var(--color-surface);border:var(--border);border-radius:var(--radius-control);transition:color var(--motion-fast) var(--ease-standard), border-color var(--motion-fast) var(--ease-standard), background-color var(--motion-fast) var(--ease-standard);display:flex;position:relative}.path-step:not(:last-child):after{content:"";width:var(--space-3);height:var(--line-width);background:var(--color-border);position:absolute;inset-inline-end:calc(var(--space-3) * -1)}.path-step strong,.path-step small{display:block}.path-step strong{color:var(--color-ink)}.path-step small{margin-top:var(--space-1);font-size:var(--font-size-label);line-height:var(--line-height-section)}.path-index{width:var(--space-5);height:var(--space-5);flex:none;place-items:center;display:grid}.path-step--active{color:var(--color-ink);border-color:var(--color-accent);background:color-mix(in srgb, var(--color-accent) 7%, var(--color-surface))}.path-step--uncertain{color:var(--color-warning);border-color:var(--color-warning)}.path-step--failed{color:var(--color-danger);border-color:var(--color-danger)}.runner-copy{max-width:var(--copy-max)}.runner-copy p:last-child{margin-top:var(--space-2)}.actions{gap:var(--space-2);flex:none;display:flex}.button{min-height:var(--control-min);padding:var(--space-2) var(--space-4);font-weight:var(--weight-bold);border:var(--line-width-strong) solid transparent;border-radius:var(--radius-control);cursor:pointer;transition:background-color var(--motion-fast) var(--ease-standard), color var(--motion-fast) var(--ease-standard), border-color var(--motion-fast) var(--ease-standard), transform var(--motion-fast) var(--ease-standard)}.button:hover:not(:disabled){transform:translateY(calc(var(--motion-offset) * -1))}.button:active:not(:disabled){transform:translateY(0)}.button:disabled{cursor:not-allowed;opacity:.58}.button--primary{color:var(--color-surface);background:var(--color-accent);border-color:var(--color-accent)}.button--primary:hover:not(:disabled){background:var(--color-focus);border-color:var(--color-focus)}.button--secondary{color:var(--color-ink);background:var(--color-surface);border-color:var(--color-ink)}.button--secondary:hover:not(:disabled){color:var(--color-surface);background:var(--color-ink)}.status-panel{min-height:var(--status-min);background:color-mix(in srgb, var(--color-border) 18%, var(--color-surface));transition:background-color var(--motion-fast) var(--ease-standard);flex-direction:column;justify-content:center;display:flex}.status-panel--active{background:color-mix(in srgb, var(--color-accent) 8%, var(--color-surface))}.status-panel--success{background:color-mix(in srgb, var(--color-success) 8%, var(--color-surface))}.status-panel--warning{background:color-mix(in srgb, var(--color-warning) 8%, var(--color-surface))}.status-panel--danger{background:color-mix(in srgb, var(--color-danger) 7%, var(--color-surface))}.status-heading{align-items:center;gap:var(--space-3);display:flex}.status-message{max-width:var(--copy-max);margin-top:var(--space-3)}.state-mark{width:var(--space-4);height:var(--space-4);color:var(--color-muted);flex:none;position:relative}.state-mark--dot{width:var(--space-3);height:var(--space-3);margin:var(--space-1);border-radius:var(--radius-full);background:currentColor}.state-mark--ring{color:var(--color-accent);border:var(--line-width-progress) solid currentColor;border-radius:var(--radius-full);animation:state-spin var(--motion-progress) linear infinite;border-inline-end-color:#0000}.state-mark--check{color:var(--color-success);border:var(--line-width-strong) solid currentColor;border-radius:var(--radius-full)}.state-mark--check:after{content:"";width:var(--space-2);height:var(--space-1);border-inline-start:var(--line-width-strong) solid currentColor;border-block-end:var(--line-width-strong) solid currentColor;position:absolute;inset-block-start:var(--space-1);inset-inline-start:var(--space-1);transform:rotate(-45deg)}.state-mark--triangle{color:var(--color-warning);border-inline:var(--space-3) solid transparent;border-block-end:var(--space-4) solid currentColor;width:0;height:0}.state-mark--cross{color:var(--color-danger)}.state-mark--cross:before,.state-mark--cross:after{content:"";width:var(--line-width-strong);height:var(--space-4);background:currentColor;position:absolute;inset-inline-start:calc(50% - var(--motion-offset))}.state-mark--cross:before{transform:rotate(45deg)}.state-mark--cross:after{transform:rotate(-45deg)}.record-facts{gap:var(--space-2);margin:var(--space-4) 0 0;grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.record-facts div{min-width:0;padding:var(--space-3);background:var(--color-surface);border:var(--border);border-radius:var(--radius-control)}.record-facts dt{color:var(--color-muted);font-size:var(--font-size-label);font-weight:var(--weight-bold)}.record-facts dd{margin:var(--space-2) 0 0;color:var(--color-ink);font-family:var(--font-mono);font-size:var(--font-size-label);line-height:var(--line-height-body);overflow-wrap:anywhere}.console-footer p{max-width:var(--copy-max)}.console-footer code{padding:var(--space-2) var(--space-3);color:var(--color-ink);font-family:var(--font-mono);font-size:var(--font-size-label);background:var(--color-canvas);border:var(--border);border-radius:var(--radius-control);flex:none}.visually-hidden{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@keyframes state-spin{to{transform:rotate(360deg)}}@media (width<=40rem){.page-shell{place-items:start center;padding:0}.console{box-shadow:none;border-inline:0;border-radius:0}.console-header,.proof-path,.proof-runner,.status-panel,.console-footer{padding:var(--space-4) var(--space-3)}.brand-row,.proof-runner,.console-footer,.actions{flex-direction:column;align-items:stretch}.intro{margin-top:var(--space-5)}.path-list,.record-facts{grid-template-columns:minmax(0,1fr)}.path-step:not(:last-child):after{width:var(--line-width);height:var(--space-3);inset-block-end:calc(var(--space-3) * -1);inset-inline-start:calc(var(--space-5) / 2);inset-inline-end:auto}.button{width:100%}.console-footer code{align-self:flex-start}}@media (prefers-reduced-motion:reduce){.state-mark--ring{border-inline-end-color:currentColor;animation:none}}