@font-face{font-family:Gellix;src:url(https://cdn.oblien.com/fonts/Gellix-Light.woff2)format("woff2");font-weight:300;font-style:normal;font-display:swap}@font-face{font-family:Gellix;src:url(https://cdn.oblien.com/fonts/Gellix-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Gellix;src:url(https://cdn.oblien.com/fonts/Gellix-Medium.woff2)format("woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:Gellix;src:url(https://cdn.oblien.com/fonts/Gellix-SemiBold.woff2)format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:Gellix;src:url(https://cdn.oblien.com/fonts/Gellix-Bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Gellix;src:url(https://cdn.oblien.com/fonts/Gellix-ExtraBold.woff2)format("woff2");font-weight:800;font-style:normal;font-display:swap}
:root,[data-theme=light]{--on-04:#0000000a;--on-06:#0000000f;--on-10:#0000001a;--on-16:#00000029;--on-24:#0000003d;--text-heading:#000;--text-title:#000000f0;--text-strong:#000000db;--text-body:#000000bd;--text-muted:#0000009e;--text-hint:#0000008a;--text-ghost:#0000006b;--bg-page:#fff;--bg-card:#fff;--bg-subtle:#00000005;--bg-inset:#00000004;--bg-hover:#00000006;--bd:#e8e8e8;--bd-subtle:#f0f0f0;--bd-strong:#d0d0d0;--panel:#0d0d0f;--panel-2:#17171a;--panel-bd:#26262b;--on-panel:#fffffff2;--on-panel-2:#ffffffb3;--sig-ok:#12805c;--sig-pending:#8a5a00;--sig-blocked:#c0362c;--sig-info:#2f4fd8;--btn-bg:#000000eb;--btn-text:#fff;--btn-bg-hover:#000c;--input-bd:#e0e0e0;--input-bd-focus:#a8a8a8;--tab-active-bg:#0d0d0f;--tab-active-text:#fffffff5;--tab-active-muted:#ffffffb3;--body:Gellix, Inter, -apple-system, BlinkMacSystemFont, "Segoe UI Variable Text", "Segoe UI", Lato, system-ui, sans-serif;--display:var(--body);--mono:"JetBrains Mono", "SF Mono", SFMono-Regular, "Cascadia Code", "DejaVu Sans Mono", ui-monospace, monospace;--r-sm:4px;--r:6px;--r-lg:8px}[data-theme=dark]{--on-04:#ffffff0a;--on-06:#ffffff0f;--on-10:#ffffff1a;--on-16:#ffffff29;--on-24:#ffffff3d;--text-heading:#fff;--text-title:#fffffff2;--text-strong:#ffffffe0;--text-body:#ffffffc7;--text-muted:#ffffffa8;--text-hint:#ffffff94;--text-ghost:#ffffff70;--bg-page:#0b0b0d;--bg-card:#101013;--bg-subtle:#ffffff06;--bg-inset:#ffffff05;--bg-hover:#ffffff0a;--bd:#232327;--bd-subtle:#1b1b1f;--bd-strong:#34343a;--panel:#08080a;--panel-2:#131316;--panel-bd:#26262b;--sig-ok:#35b98a;--sig-pending:#d19a3e;--sig-blocked:#e8695c;--sig-info:#7a90f0;--btn-bg:#fffffff0;--btn-text:#0b0b0d;--btn-bg-hover:#ffffffd1;--input-bd:#2c2c31;--input-bd-focus:#4a4a52;--tab-active-bg:#f4f4f2;--tab-active-text:#0b0b0d;--tab-active-muted:#0009}*{box-sizing:border-box}html,body{overscroll-behavior:none;touch-action:pan-y}html{background:var(--bg-page);color:var(--text-body);scroll-behavior:smooth;-webkit-text-size-adjust:100%}body{background:var(--bg-page);min-width:320px;color:var(--text-body);font-family:var(--body);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0;font-size:14px;line-height:1.55}button,textarea,input{font:inherit}button{cursor:pointer;color:inherit}button,a,summary,textarea,input,[tabindex="0"]{outline-offset:2px;outline:2px solid #0000}button:focus-visible,a:focus-visible,summary:focus-visible,textarea:focus-visible,input:focus-visible,[tabindex="0"]:focus-visible{outline-color:var(--text-title)}a{color:inherit}code,pre,dd,.numeric{font-family:var(--mono);font-variant-numeric:tabular-nums}h1,h2,h3{color:var(--text-heading);font-family:var(--display);letter-spacing:-.018em;font-weight:550}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:20;border-radius:var(--r);background:var(--btn-bg);color:var(--btn-text);padding:.65rem 1rem;text-decoration:none;position:fixed;top:1rem;left:1rem;transform:translateY(-180%)}.skip-link:focus{transform:translateY(0)}.app-shell{flex-direction:column;min-height:100dvh;display:flex}.site-header{border-bottom:1px solid var(--bd-subtle);background:var(--bg-page);z-index:10;grid-template-columns:minmax(180px,1fr) auto;align-items:center;gap:2rem;min-height:56px;padding:.65rem clamp(1rem,3vw,2rem);display:grid;position:sticky;top:0}.wordmark{align-items:center;gap:.55rem;width:fit-content;text-decoration:none;display:inline-flex}.wordmark__logo{background:url(/brand/pact-runtime-dark.png) 50%/contain no-repeat;flex:none;width:18px;height:24px}html[data-theme=light] .wordmark__logo{background-image:url(/brand/pact-runtime-light.png)}.wordmark>span:last-child{line-height:1.2;display:grid}.wordmark strong{color:var(--text-title);letter-spacing:-.012em;font-size:.86rem;font-weight:490}.wordmark small{color:var(--text-hint);font-size:.66rem}.header-right{justify-self:end;align-items:center;gap:.45rem;display:flex}.header-docs-link{border:1px solid var(--btn-bg);border-radius:var(--r-sm);background:var(--btn-bg);min-height:30px;color:var(--btn-text);align-items:center;padding:.34rem .62rem;font-size:.7rem;font-weight:540;text-decoration:none;transition:background .14s,color .14s,border-color .14s,transform .14s,box-shadow .14s;display:inline-flex}.header-docs-link:hover{background:var(--btn-bg-hover);border-color:var(--btn-bg-hover)}.header-docs-link:active{transform:translateY(1px)}.header-docs-link[aria-current=page]{box-shadow:inset 0 -2px 0 var(--sig-ok)}.theme-toggle{border:1px solid var(--bd);border-radius:var(--r-sm);background:var(--bg-card);width:28px;height:28px;color:var(--text-muted);place-items:center;padding:0;font-size:.82rem;line-height:1;transition:background .14s,color .14s,border-color .14s;display:grid}.theme-toggle:hover{color:var(--text-title);background:var(--bg-hover);border-color:var(--bd-strong)}.theme-toggle svg{display:block}.environment-chip{border:1px solid var(--bd);border-radius:var(--r-sm);background:var(--bg-card);color:var(--text-muted);align-items:center;gap:.4rem;padding:.24rem .55rem;font-size:.69rem;font-weight:500;display:flex}.site-footer{border-top:1px solid var(--bd-subtle);color:var(--text-hint);justify-content:space-between;gap:1rem;margin-top:auto;padding:1.3rem clamp(1rem,3vw,2rem);font-size:.74rem;display:flex}.site-footer nav{flex-wrap:wrap;gap:1rem;display:flex}.site-footer a{color:var(--text-muted);text-decoration:none}.site-footer a:hover{color:var(--text-title)}.journey-nav{z-index:9;border-bottom:1px solid var(--bd);background:color-mix(in srgb, var(--bg-page) 96%, transparent);-webkit-backdrop-filter:blur(12px);width:100%;padding:.4rem clamp(1rem,3vw,2rem);position:sticky;top:56px}.journey-nav ol{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);grid-template-columns:repeat(3,minmax(0,1fr));width:min(640px,100%);margin:0 auto;padding:0;list-style:none;display:grid;overflow:clip}.journey-nav li{min-width:0}.journey-nav li+li{border-left:1px solid var(--bd)}.journey-nav a{min-height:42px;color:var(--text-muted);align-content:center;gap:0;padding:.32rem .75rem;text-decoration:none;transition:background .18s cubic-bezier(.16,1,.3,1),color .18s cubic-bezier(.16,1,.3,1),transform .14s;display:grid;position:relative}.journey-nav a:hover{color:var(--text-title);background:var(--bg-hover)}.journey-nav a:active{transform:translateY(1px)}.journey-nav a>span{color:var(--text-hint);letter-spacing:.06em;text-transform:uppercase;font-size:.54rem;font-weight:500}.journey-nav a strong{color:inherit;letter-spacing:-.012em;font-size:.82rem;font-weight:560}.journey-nav a small{min-width:3rem;color:var(--text-hint);text-align:right;font-size:.54rem;position:absolute;top:.35rem;right:.55rem}.journey-nav a[aria-current=page]{color:var(--tab-active-text);background:var(--tab-active-bg)}.journey-nav a[aria-current=page]>span,.journey-nav a[aria-current=page] small{color:var(--tab-active-muted)}.journey-nav+.page-frame{padding-top:1.6rem}.route-loading{width:min(1320px,100%);min-height:560px;margin-inline:auto;padding:2rem clamp(1rem,3vw,2rem) 4rem}.route-loading__intro{gap:.65rem;margin-bottom:2rem;display:grid}.loading-line,.loading-proof,.loading-evidence span{border-radius:var(--r-sm);background:var(--bg-subtle);display:block;overflow:hidden}.loading-line:after,.loading-proof:after,.loading-evidence span:after{content:"";background:linear-gradient(90deg, transparent, var(--on-06), transparent);width:45%;height:100%;animation:1.25s cubic-bezier(.16,1,.3,1) infinite loading-sweep;display:block}.loading-line--short{width:8rem;height:.65rem}.loading-line--title{width:min(34rem,78%);height:2.1rem}.loading-line--body{width:min(44rem,92%);height:.8rem}.loading-proof{background:var(--panel);height:66px;margin-bottom:2.3rem}.loading-proof:after{background:linear-gradient(90deg, transparent, var(--panel-bd), transparent)}.loading-evidence{border:1px solid var(--bd);background:var(--bd);grid-template-columns:1.15fr .85fr;gap:1px;min-height:260px;display:grid}.loading-evidence span{background:var(--bg-card);border-radius:0}.route-loading>p{color:var(--text-hint);margin:.85rem 0 0;font-size:.75rem}@keyframes loading-sweep{0%{transform:translate(-115%)}to{transform:translate(235%)}}.page-frame{width:min(1320px,100%);margin-inline:auto;padding:2.2rem clamp(1rem,3vw,2rem) 4.5rem}.page-intro{grid-template-columns:minmax(0,1.6fr) minmax(250px,.7fr);align-items:end;gap:2.5rem;margin-bottom:2rem;display:grid}.page-intro h1{letter-spacing:-.028em;margin:.35rem 0 .5rem;font-size:clamp(1.6rem,2.8vw,2.15rem);font-weight:550;line-height:1.12}.page-intro p:not(.step-label){max-width:62ch;color:var(--text-body);margin:0;font-size:.89rem}.step-label,.eyebrow{color:var(--text-hint);text-transform:uppercase;letter-spacing:.07em;margin:0;font-size:.68rem;font-weight:490}.verdict-block{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);align-items:center;gap:.65rem;min-height:62px;padding:.8rem .95rem;display:flex}.verdict-block>div{gap:.08rem;display:grid}.verdict-block span:not(.status-mark){color:var(--text-hint);text-transform:uppercase;letter-spacing:.05em;font-size:.69rem;font-weight:500}.verdict-block strong{color:var(--text-title);letter-spacing:-.012em;font-size:.93rem;font-weight:490}.status-mark{background:var(--text-ghost);border-radius:50%;flex:none;width:.5rem;height:.5rem;display:inline-block}.status-mark--committed,.status-mark--ready{background:var(--sig-ok)}.status-mark--pending,.status-mark--empty,.status-mark--loading{background:var(--sig-pending)}.status-mark--blocked,.status-mark--error{background:var(--sig-blocked)}.state-badge{border:1px solid var(--bd);border-radius:var(--r-sm);color:var(--text-muted);padding:.18rem .45rem;font-size:.67rem;font-weight:450}.state-badge--pending{color:var(--sig-pending)}.proof-ribbon{border:1px solid var(--panel-bd);border-radius:var(--r-lg);background:var(--panel);color:var(--on-panel);margin:0 0 2rem;position:relative;overflow:hidden}.proof-ribbon__rail{display:none}.proof-ribbon ol{grid-template-columns:repeat(5,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid;position:relative}.proof-ribbon li{grid-template-columns:1.45rem minmax(0,1fr);align-items:center;gap:.55rem;min-width:0;min-height:64px;padding:.75rem .85rem;display:grid}.proof-ribbon li+li{border-left:1px solid var(--panel-bd)}.proof-ribbon__index{border:1px solid var(--panel-bd);background:var(--panel-2);width:1.45rem;height:1.45rem;font-family:var(--mono);color:var(--on-panel-2);border-radius:50%;place-items:center;font-size:.56rem;display:grid}.proof-ribbon li[data-state=committed] .proof-ribbon__index{border-color:var(--sig-ok);color:var(--sig-ok)}.proof-ribbon li[data-state=identity] .proof-ribbon__index{border-color:var(--on-panel);color:var(--on-panel)}.proof-ribbon li[data-state=pending] .proof-ribbon__index{border-style:dashed}.proof-ribbon__copy{gap:.1rem;min-width:0;display:grid}.proof-ribbon__copy>span:first-child{color:var(--on-panel-2);text-transform:uppercase;letter-spacing:.07em;font-size:.57rem;font-weight:470}.proof-ribbon__value{align-items:center;gap:.35rem;min-width:0;display:flex}.proof-ribbon__copy strong{min-width:0;color:var(--on-panel);font-family:var(--mono);white-space:nowrap;font-size:.67rem;font-weight:400;line-height:1.35}.proof-ribbon__copy-button{border-radius:var(--r-sm);width:1.45rem;height:1.45rem;color:var(--on-panel-2);cursor:pointer;background:0 0;border:1px solid #0000;flex:none;place-items:center;padding:0;transition:color .16s,border-color .16s,background .16s,transform .12s;display:grid}.proof-ribbon__copy-button:hover{border-color:var(--panel-bd);background:var(--panel-2);color:var(--on-panel)}.proof-ribbon__copy-button:active{transform:translateY(1px)}.proof-ribbon__copy-button svg{fill:none;stroke:currentColor;stroke-width:1.25px;stroke-linecap:round;stroke-linejoin:round;width:.78rem;height:.78rem}.section-heading{justify-content:space-between;align-items:flex-end;gap:1.5rem;margin-bottom:1rem;display:flex}.section-heading--compact{margin-bottom:.75rem}.section-heading h2{letter-spacing:-.018em;margin:.18rem 0 0;font-size:1.02rem;font-weight:600;line-height:1.25}.document-tag{color:var(--text-hint);border:1px solid var(--bd);border-radius:var(--r-sm);padding:.18rem .45rem;font-size:.67rem;font-weight:500}.studio-grid{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);grid-template-columns:minmax(0,1.15fr) minmax(340px,.85fr);align-items:start;margin:1.8rem 0;display:grid}.source-sheet,.rule-sheet{padding:1.35rem}.source-sheet{position:static}.rule-sheet{border-left:1px solid var(--bd-subtle);background:var(--bg-subtle)}.policy-copy{white-space:pre-wrap;border:1px solid var(--bd-subtle);border-radius:var(--r);background:var(--bg-inset);min-height:190px;color:var(--text-body);margin:0 0 1.1rem;padding:1.05rem;font-size:.85rem;line-height:1.72}mark{color:var(--text-heading);-webkit-box-decoration-break:clone;box-decoration-break:clone;box-shadow:inset 0 -1px var(--sig-pending);background:0 0;padding:0}.field-label{color:var(--text-strong);margin-bottom:.35rem;font-size:.77rem;font-weight:470;display:block}textarea{resize:vertical;width:100%;color:var(--text-strong);background:var(--bg-card);border:1px solid var(--input-bd);border-radius:var(--r);padding:.65rem .75rem}textarea:focus{border-color:var(--input-bd-focus)}textarea:disabled{color:var(--text-hint);background:var(--bg-subtle)}.field-help{color:var(--text-hint);margin:.35rem 0 0;font-size:.73rem}.rule-list{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);margin:0;padding:0;list-style:none;overflow:hidden}.rule-row{text-align:left;background:0 0;border:0;grid-template-columns:minmax(120px,.7fr) minmax(0,1fr);gap:1rem;width:100%;padding:.65rem .75rem;transition:background .14s;display:grid}.rule-list>li+li .rule-row,li+li>.rule-row{border-top:1px solid var(--bd-subtle)}.rule-row:hover{background:var(--bg-hover)}.rule-row[data-selected=true]{background:var(--bg-subtle);box-shadow:inset 2px 0 var(--text-title)}.rule-row span{color:var(--text-hint);font-size:.77rem;display:grid}.rule-row strong{color:var(--text-strong);font-family:var(--mono);overflow-wrap:anywhere;font-size:.72rem;font-weight:400}.rule-row small{font-family:var(--mono);text-transform:uppercase;letter-spacing:.05em;color:var(--text-ghost);margin-top:.1rem;font-size:.57rem}.rule-sheet .rule-list{grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.rule-sheet .rule-list>li:nth-child(2n){border-left:1px solid var(--bd-subtle)}.rule-sheet .rule-list>li:nth-child(n+3) .rule-row{border-top:1px solid var(--bd-subtle)}.rule-sheet .rule-list>li:nth-child(2) .rule-row{border-top:0}.rule-sheet .rule-row{grid-template-columns:minmax(92px,.72fr) minmax(0,1fr);min-height:70px}.rule-value{align-content:start;gap:.12rem;min-width:0;display:grid!important}.rule-value code{color:var(--text-hint);overflow-wrap:anywhere;font-size:.59rem}.issue-stack{margin-top:1rem}.issue{border:1px solid var(--bd);border-left:2px solid var(--sig-blocked);border-radius:var(--r);background:var(--bg-card);align-items:flex-start;gap:.65rem;padding:.8rem .9rem;display:flex}.issue>div{gap:.12rem;display:grid}.issue strong{color:var(--text-title);font-size:.81rem;font-weight:490}.issue p{color:var(--text-body);margin:0;font-size:.81rem}.issue span:not(.status-mark){color:var(--text-hint);font-size:.72rem}.issue--warning{border-left-color:var(--sig-pending)}.inline-state{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);align-items:flex-start;gap:.6rem;margin-top:1rem;padding:.75rem .85rem;display:flex}.inline-state>div{gap:.1rem;min-width:0;display:grid}.inline-state strong{color:var(--text-title);font-size:.83rem;font-weight:480}.inline-state span:not(.status-mark){color:var(--text-hint);overflow-wrap:anywhere;font-size:.73rem}.inline-state--pending{border-left:2px solid var(--sig-pending)}.inline-state--ready{border-left:2px solid var(--sig-ok)}.inline-state--blocked{border-left:2px solid var(--sig-blocked)}.hash-list{border:1px solid var(--bd);border-radius:var(--r);margin:1rem 0;overflow:hidden}.metric-list{border:1px solid var(--bd);border-radius:var(--r);margin:.55rem 0 0;overflow:hidden}.hash-list>div,.metric-list>div{grid-template-columns:104px minmax(0,1fr);gap:.8rem;padding:.52rem .7rem;display:grid}.hash-list>div+div,.metric-list>div+div{border-top:1px solid var(--bd-subtle)}.hash-list dt,.metric-list dt{color:var(--text-hint);font-size:.72rem}.hash-list dd,.metric-list dd{color:var(--text-strong);overflow-wrap:anywhere;margin:0;font-size:.68rem}.value-boundary{border:1px solid var(--bd);border-radius:var(--r);grid-template-columns:repeat(3,minmax(0,1fr));margin:0 0 .9rem;display:grid;overflow:hidden}.value-boundary>div{background:var(--bg-subtle);gap:.08rem;padding:.6rem .8rem;display:grid}.value-boundary>div+div{border-left:1px solid var(--bd)}.value-boundary span{color:var(--text-hint);text-transform:uppercase;letter-spacing:.06em;font-size:.58rem;font-weight:500}.value-boundary strong{color:var(--text-strong);font-size:.76rem;font-weight:500}.primary-action,.race-trigger{border-radius:var(--r);background:var(--btn-bg);min-height:34px;color:var(--btn-text);border:1px solid #0000;padding:.45rem 1rem;font-size:.84rem;font-weight:460;transition:background .14s}.primary-action:hover:not(:disabled),.race-trigger:hover:not(:disabled){background:var(--btn-bg-hover)}.primary-action:active:not(:disabled),.race-trigger:active:not(:disabled),.secondary-action:active:not(:disabled),.lp-cta:active{transform:translateY(1px)}.primary-action:disabled{cursor:not-allowed;color:var(--text-ghost);border-color:var(--bd);background:0 0}.secondary-action{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);min-height:34px;color:var(--text-muted);padding:.45rem 1rem;font-size:.84rem;font-weight:450;transition:background .14s,border-color .14s,color .14s}.secondary-action:hover:not(:disabled){color:var(--text-title);background:var(--bg-hover);border-color:var(--bd-strong)}.secondary-action:disabled{cursor:not-allowed;color:var(--text-ghost);border-color:var(--bd-subtle);background:0 0}.read-only-notice{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-subtle);gap:.12rem;margin-top:.75rem;padding:.7rem .8rem;display:grid}.read-only-notice strong{color:var(--text-title);font-size:.79rem;font-weight:480}.read-only-notice span{color:var(--text-hint);font-size:.73rem}.provenance-card{border:1px solid var(--bd);border-left:2px solid var(--sig-ok);border-radius:var(--r);background:var(--bg-card);overflow-wrap:anywhere;gap:.18rem;margin-top:.75rem;padding:.7rem .8rem;display:grid}.provenance-card--human_amendment{border-left-color:var(--sig-pending)}.provenance-card strong{color:var(--text-strong);font-family:var(--mono);font-size:.71rem;font-weight:400}.provenance-card>span:not(.textual-severity){color:var(--text-hint);font-size:.71rem}.textual-severity{width:fit-content;color:var(--text-muted);text-transform:uppercase;letter-spacing:.06em;font-size:.61rem;font-weight:500}.history-section{border-top:1px solid var(--bd-subtle);margin:2.2rem 0;padding-top:1.3rem}.history-list,.approval-history,.amendment-list{margin:0;padding:0;list-style:none}.history-list{grid-template-columns:repeat(auto-fit,minmax(270px,1fr));gap:.8rem;display:grid}.history-card{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);min-width:0;padding:.9rem 1rem}.history-card__heading{justify-content:space-between;align-items:flex-start;gap:1rem;display:flex}.history-card__heading>div{display:grid}.history-card__heading strong{color:var(--text-title);font-weight:490}.history-card__heading span,.parent-link{color:var(--text-hint);font-size:.69rem}.history-card>code{color:var(--text-muted);overflow-wrap:anywhere;margin:.65rem 0;font-size:.64rem;display:block}.history-card__meta{color:var(--text-hint);justify-content:space-between;gap:1rem;font-size:.69rem;display:flex}.candidate-card--selected{border-color:var(--bd-strong);box-shadow:inset 2px 0 var(--text-title)}.selected-candidate-marker{border-radius:var(--r-sm);background:var(--btn-bg);text-transform:uppercase;letter-spacing:.04em;width:fit-content;margin-top:.22rem;padding:.08rem .38rem;font-size:.61rem;font-weight:470;color:var(--btn-text)!important}.history-card details{margin-top:.75rem}.history-card summary{color:var(--text-muted);cursor:pointer;font-size:.73rem;font-weight:450}.amendment-list{gap:.5rem;margin-top:.75rem;display:grid}.amendment-list li{border:1px solid var(--bd);border-left:2px solid var(--sig-pending);border-radius:var(--r-sm);overflow-wrap:anywhere;gap:.1rem;padding:.6rem .7rem;font-size:.72rem;display:grid}.amendment-list strong,.amendment-list code{font-size:.68rem}.approval-history{gap:.6rem;display:grid}.approval-record{border:1px solid var(--bd);border-left:2px solid var(--sig-ok);border-radius:var(--r-sm);overflow-wrap:anywhere;gap:.22rem;padding:.75rem .85rem;font-size:.72rem;display:grid}.approval-record>div{justify-content:space-between;gap:1rem;display:flex}.approval-record--invalidated{border-left-color:var(--bd-strong);opacity:.7}.approval-record code{font-size:.66rem}.blocked-specimen{border:1px solid var(--bd);border-left:2px solid var(--sig-blocked);border-radius:var(--r-lg);background:var(--bg-card);grid-template-columns:minmax(200px,.6fr) minmax(0,1.4fr) auto;align-items:center;gap:1.5rem;padding:1.1rem 1.2rem;display:grid}.blocked-specimen h2{margin:.18rem 0 0}.availability-state{border:1px solid var(--bd);border-left:2px solid var(--bd-strong);border-radius:var(--r);background:var(--bg-card);align-items:flex-start;gap:.7rem;margin:1rem 0;padding:.9rem 1rem;display:flex}.availability-state--blocked,.availability-state--error{border-left-color:var(--sig-blocked)}.availability-state--empty{border-left-color:var(--sig-pending)}.availability-state--ready{border-left-color:var(--sig-ok)}.availability-state--loading{border-left-color:var(--bd-strong)}.availability-state>div{gap:.14rem;min-width:0;display:grid}.availability-state strong{color:var(--text-title);letter-spacing:-.01em;overflow-wrap:anywhere;font-size:.89rem;font-weight:500}.availability-state p{color:var(--text-body);overflow-wrap:anywhere;margin:0;font-size:.82rem}.availability-state span:not(.status-mark){color:var(--text-hint);font-size:.73rem}.state-diagnostic{width:fit-content;color:var(--text-hint);margin-top:.3rem}.state-diagnostic summary{cursor:pointer;font-size:.7rem}.state-diagnostic code{color:var(--text-ghost);overflow-wrap:anywhere;margin-top:.25rem;font-size:.63rem;display:block}.skeleton-state{align-content:center;gap:.5rem;min-height:130px;padding:1rem;display:grid}.skeleton-state span{background:var(--on-06);border-radius:100px;width:70%;height:10px;animation:1.5s ease-in-out infinite alternate skeleton;display:block}.skeleton-state span:nth-child(2){width:45%;animation-delay:.15s}.skeleton-state span:nth-child(3){width:58%;animation-delay:.3s}@keyframes skeleton{to{opacity:.4}}.route-state{place-content:center;min-height:100dvh;padding:2rem;display:grid}.attack-grid{grid-template-columns:minmax(0,1.7fr) minmax(280px,.55fr);gap:1.2rem;margin:1.8rem 0;display:grid}.lifecycle,.instrument,.evidence-panel,.verification-zone{border-top:1px solid var(--bd-subtle);padding-top:1.1rem}.lifeline{flex-wrap:wrap;gap:.4rem;margin:0;padding:0;list-style:none;display:flex}.lifeline li{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);flex:8rem;grid-template-rows:auto auto;grid-template-columns:auto minmax(0,1fr);align-items:center;gap:0 .5rem;min-width:0;padding:.7rem .8rem;display:grid}.lifeline__dot{border:1px solid var(--bd-strong);border-radius:50%;grid-row:1/3;width:.55rem;height:.55rem}.lifeline li[data-terminal=true] .lifeline__dot{border-radius:1px}.lifeline li[data-current=true]{border-color:var(--text-title);background:var(--bg-subtle)}.lifeline li[data-current=true] .lifeline__dot{background:var(--sig-ok);border-color:#0000}.lifeline strong{color:var(--text-title);font-size:.82rem;font-weight:500}.lifeline small{color:var(--text-hint);text-transform:uppercase;letter-spacing:.05em;font-size:.62rem}.lifeline-rules{border:1px solid var(--bd);border-radius:var(--r);gap:0;margin:.7rem 0 0;display:grid;overflow:hidden}.lifeline-rules>div{grid-template-columns:minmax(120px,.5fr) minmax(0,1fr);gap:.8rem;padding:.5rem .75rem;display:grid}.lifeline-rules>div+div{border-top:1px solid var(--bd-subtle)}.lifeline-rules dt{color:var(--text-hint);font-family:var(--mono);font-size:.68rem}.lifeline-rules dd{color:var(--text-body);margin:0;font-size:.78rem}.operation-strip{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-subtle);grid-template-columns:auto 1fr 1fr;align-items:center;gap:.8rem;margin-top:.65rem;padding:.7rem .9rem;display:grid}.operation-strip>div{display:grid}.operation-strip span:not(.status-mark){color:var(--text-hint);text-transform:uppercase;letter-spacing:.06em;font-size:.59rem;font-weight:460}.operation-strip strong{color:var(--text-strong);font-family:var(--mono);font-size:.71rem;font-weight:400}.instrument-stack{align-content:start;gap:1.3rem;display:grid}.instrument .availability-state{padding:.7rem .8rem}.evidence-grid,.proof-grid{grid-template-columns:minmax(0,1.25fr) minmax(310px,.75fr);gap:1.2rem;margin:1.8rem 0;display:grid}.evidence-panel{min-width:0;padding-bottom:1rem}.table-scroll{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);max-width:100%;overflow-x:auto}table{border-collapse:collapse;width:100%;font-size:.75rem}caption{text-align:left;color:var(--text-hint);padding:.55rem .7rem;font-size:.71rem}th,td{text-align:left;border-bottom:1px solid var(--bd-subtle);vertical-align:top;padding:.55rem .7rem}tbody tr:last-child th,tbody tr:last-child td{border-bottom:0}thead th{color:var(--text-hint);text-transform:uppercase;letter-spacing:.05em;background:var(--bg-subtle);font-size:.62rem;font-weight:480}tbody th{color:var(--text-strong);font-family:var(--mono);font-weight:400}td{color:var(--text-body)}.numeric{text-align:right}.trace-list{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);margin:0;padding:0;list-style:none;overflow:hidden}.trace-list li{grid-template-columns:auto minmax(0,1fr) minmax(130px,auto);align-items:center;gap:.75rem;padding:.62rem .75rem;display:grid}.trace-list li+li{border-top:1px solid var(--bd-subtle)}.trace-list li>div{min-width:0;display:grid}.trace-list li strong{color:var(--text-title);font-size:.82rem;font-weight:470}.trace-list li span:not(.status-mark){color:var(--text-hint);overflow-wrap:anywhere;font-size:.71rem}.trace-list code{min-width:0;color:var(--text-muted);overflow-wrap:anywhere;font-size:.66rem}.verification-zone{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);margin:1.8rem 0;padding:1.2rem}.race-experience{min-width:0}.race-outcome{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);grid-template-columns:repeat(3,minmax(0,1fr));display:grid;overflow:hidden}.race-outcome>div{gap:.18rem;padding:.85rem 1rem;display:grid}.race-outcome>div+div{border-left:1px solid var(--bd-subtle)}.race-outcome span{color:var(--text-hint);text-transform:uppercase;letter-spacing:.06em;font-size:.64rem;font-weight:500}.race-outcome strong{color:var(--text-title);letter-spacing:-.012em;font-size:.92rem;font-weight:500}.race-shell{border:1px solid var(--panel-bd);border-radius:var(--r-lg);color:var(--on-panel);background:var(--panel);margin:.8rem 0;padding:1.3rem;position:relative;overflow:hidden}.race-shell--empty{min-height:260px}.race-heading{justify-content:space-between;align-items:flex-end;gap:1rem;margin-bottom:1.3rem;display:flex}.race-heading h2{color:var(--on-panel);letter-spacing:-.022em;margin:.22rem 0 0;font-size:clamp(1.2rem,2vw,1.6rem);font-weight:600;line-height:1.15}.race-heading .eyebrow{color:var(--on-panel-2)}.race-replay{border:1px solid var(--panel-bd);border-radius:var(--r);color:var(--on-panel-2);cursor:pointer;background:0 0;flex:none;padding:.3rem .62rem;font-family:inherit;font-size:.72rem;transition:color .14s,border-color .14s,background .14s}.race-replay:hover{border-color:var(--on-panel-2);background:var(--panel-2);color:var(--on-panel)}.race-replay:active{transform:translateY(1px)}.race-shell .availability-state{color:var(--text-body);background:var(--bg-card)}.race-visual{padding-top:.8rem;position:relative}.race-lock{border:1px solid var(--panel-bd);border-radius:var(--r) var(--r) 0 0;width:160px;color:var(--on-panel-2);background:var(--panel-2);border-bottom:0;justify-content:space-between;align-items:center;margin:0 auto -1px;padding:.4rem .6rem;font-size:.63rem;display:flex}.race-lock strong{color:var(--on-panel);font-family:var(--mono);font-size:.72rem;font-weight:400}.race-lanes{border:1px solid var(--panel-bd);border-radius:var(--r);overflow:hidden}.race-lane{grid-template-columns:minmax(190px,.5fr) minmax(80px,1fr) minmax(240px,.65fr);align-items:center;min-width:0;min-height:84px;padding:.75rem .85rem;display:grid}.race-lane+.race-lane{border-top:1px solid var(--panel-bd)}.race-lane__identity{align-items:center;gap:.7rem;min-width:0;display:flex}.race-lane__identity>div{min-width:0;display:grid}.race-lane__identity span:not(.lane-shape){letter-spacing:-.018em;font-size:.98rem;font-weight:500}.race-lane__identity code{color:var(--on-panel-2);overflow-wrap:anywhere;font-size:.65rem}.lane-shape{border:2px solid var(--on-panel-2);border-radius:50%;flex:none;width:.8rem;height:.8rem}.lane-shape--refund{border-radius:2px}.race-lane[data-outcome=reserved] .lane-shape{border-color:var(--sig-ok);background:var(--sig-ok)}.race-lane[data-outcome=rejected] .lane-shape{border-color:var(--sig-blocked);background:0 0}.race-line{background:var(--panel-bd);height:2px;margin:0 1rem;overflow:hidden}.race-line i{background:var(--on-panel-2);transform-origin:0;will-change:transform;width:100%;height:100%;display:block;transform:scaleX(0)}.race-visual[data-running=true] .race-lane[data-outcome=reserved] .race-line i{animation:1.05s cubic-bezier(.2,.8,.2,1) both race-win}.race-visual[data-running=true] .race-lane[data-outcome=rejected] .race-line i{animation:.82s cubic-bezier(.2,.8,.2,1) both race-lose}.race-visual[data-running=true] .race-lane .race-result{animation:.34s ease-out .72s both race-result-in}.race-visual[data-running=true] .settlement-record{animation:.42s cubic-bezier(.2,.8,.2,1) 1.02s both settlement-in}@keyframes race-win{to{background:var(--sig-ok);transform:scaleX(1)}}@keyframes race-lose{70%,to{background:var(--sig-blocked);transform:scaleX(.72)}}@keyframes race-result-in{0%{opacity:.28;transform:translate(-8px)}to{opacity:1;transform:translate(0)}}@keyframes settlement-in{0%{opacity:0;transform:translateY(-8px)}to{opacity:1;transform:translateY(0)}}.race-result{border-radius:var(--r-sm);background:var(--panel-2);box-shadow:inset 2px 0 var(--panel-bd);align-items:center;gap:.6rem;padding:.6rem .7rem;display:flex}.race-lane[data-outcome=reserved] .race-result{box-shadow:inset 2px 0 var(--sig-ok)}.race-lane[data-outcome=rejected] .race-result{box-shadow:inset 2px 0 var(--sig-blocked)}.race-result>div{min-width:0;display:grid}.race-result strong{font-size:.78rem;font-weight:480}.race-result span:not(.status-mark){color:var(--on-panel-2);font-family:var(--mono);overflow-wrap:anywhere;font-size:.62rem}.settlement-rail{width:min(640px,82%);margin:0 auto;padding-top:1.9rem;position:relative}.settlement-rail:before{content:"";background:var(--panel-bd);width:1px;height:1.9rem;position:absolute;top:0;left:50%}.settlement-rail__cap{color:var(--on-panel-2);text-align:center;text-transform:uppercase;letter-spacing:.09em;margin-bottom:.3rem;font-size:.58rem;font-weight:460;display:block}.settlement-record{border:1px solid var(--panel-bd);border-left:2px solid var(--sig-ok);border-radius:var(--r);color:var(--on-panel);background:var(--panel-2);align-items:center;gap:.7rem;padding:.8rem .9rem;display:flex}.settlement-record>div{min-width:0;display:grid}.settlement-record span:not(.status-mark){color:var(--on-panel-2);text-transform:uppercase;letter-spacing:.055em;font-size:.64rem;font-weight:450}.settlement-record strong,.settlement-record code{font-family:var(--mono);overflow-wrap:anywhere;font-size:.69rem;font-weight:400}.integrity-failure{border:1px solid var(--panel-bd);border-left:2px solid var(--sig-blocked);border-radius:var(--r);color:var(--on-panel);background:var(--panel-2);font-family:var(--mono);padding:.8rem;font-size:.71rem}.race-shell details{border-top:1px solid var(--panel-bd);margin-top:1rem;padding-top:.25rem}.race-shell summary{cursor:pointer;width:fit-content;color:var(--on-panel-2);padding:.65rem 0;font-size:.73rem}.race-shell table{color:var(--on-panel)}.race-shell .table-scroll{border-color:var(--panel-bd);background:var(--panel-2)}.race-shell thead th{background:var(--panel);color:var(--on-panel-2)}.race-shell th,.race-shell td{border-color:var(--panel-bd);color:inherit}.balance-strip{border:1px solid var(--bd);border-radius:var(--r-lg);grid-template-columns:repeat(4,minmax(0,1fr));margin:.8rem 0 0;display:grid;overflow:hidden}.balance-strip>div{background:var(--bg-card);gap:.12rem;padding:.75rem .9rem;display:grid}.balance-strip>div+div{border-left:1px solid var(--bd-subtle)}.balance-strip dt{color:var(--text-hint);font-size:.66rem}.balance-strip dd{color:var(--text-title);font-family:var(--mono);margin:0;font-size:.88rem}.technical-record{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-subtle);margin:.75rem 0 0;padding:.65rem .8rem}.technical-record>summary{cursor:pointer;color:var(--text-muted);font-size:.75rem}.technical-record>code{color:var(--text-hint);overflow-wrap:anywhere;margin-top:.55rem;font-size:.64rem;display:block}.technical-record .hash-list{background:var(--bg-card);margin-bottom:0}.manifest-hero{border:1px solid var(--panel-bd);border-radius:var(--r-lg);background:var(--panel);color:var(--on-panel);grid-template-columns:minmax(0,1.4fr) minmax(290px,.6fr);gap:1.8rem;margin:1.8rem 0;padding:1.4rem;display:grid}.manifest-hero h2{color:var(--on-panel);margin:.22rem 0 .45rem;font-size:1.1rem}.manifest-hero .eyebrow{color:var(--on-panel-2)}.manifest-hero code{overflow-wrap:anywhere;color:var(--on-panel);font-size:.78rem;display:block}.manifest-verdict{border-left:1px solid var(--panel-bd);flex-wrap:wrap;align-items:flex-start;gap:.6rem;padding-left:1.4rem;display:flex}.manifest-verdict>span:last-child{color:var(--on-panel-2);flex-basis:100%;padding-left:1.4rem;font-size:.71rem}.manifest-verdict strong{font-size:.84rem;font-weight:490}.hash-inventory{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-card);max-height:320px;margin:0;overflow:auto}.hash-inventory>div{grid-template-columns:minmax(130px,.5fr) minmax(0,1fr);gap:.8rem;padding:.45rem .65rem;display:grid}.hash-inventory>div+div{border-top:1px solid var(--bd-subtle)}.hash-inventory dt{color:var(--text-hint);font-size:.68rem}.hash-inventory dd{color:var(--text-muted);overflow-wrap:anywhere;margin:0;font-size:.62rem}.script-grid{grid-template-columns:1fr 1fr;gap:1.2rem;margin:1.8rem 0;display:grid}.code-panel{border:1px solid var(--panel-bd);border-radius:var(--r);background:var(--panel);min-width:0;color:var(--on-panel);margin:0;overflow:hidden}.code-panel figcaption{border-bottom:1px solid var(--panel-bd);font-size:.68rem;font-family:var(--mono);color:var(--on-panel);justify-content:space-between;gap:1rem;padding:.6rem .8rem;display:flex}.code-panel__meta{color:var(--on-panel-2);align-items:center;gap:.7rem;display:inline-flex}.code-panel__meta a{color:var(--on-panel);text-underline-offset:.18rem}.code-panel__meta a:hover{color:#fff}.code-panel__copy{color:var(--on-panel);font:inherit;text-underline-offset:.18rem;cursor:pointer;background:0 0;border:0;padding:0;text-decoration:underline}.code-panel__copy:hover{color:#fff}.code-panel pre{max-height:470px;margin:0;padding:1rem;font-size:.72rem;line-height:1.68;overflow:auto}.code-keyword{color:#8fa8e8}.code-var{color:#dfba7e}.code-string{color:#7cc4b4}.bounded-claim{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-subtle);color:var(--text-body);padding:.8rem .9rem;font-size:.82rem;font-weight:500}.api-example{border:1px solid var(--panel-bd);border-radius:var(--r);background:var(--panel);color:var(--on-panel);margin:1rem 0;padding:.95rem;font-size:.71rem;overflow:auto}.api-example-block{border:1px solid var(--panel-bd);border-radius:var(--r);background:var(--panel);min-width:0;margin:1rem 0;overflow:hidden}.api-example-block figcaption{border-bottom:1px solid var(--panel-bd);font-family:var(--mono);color:var(--on-panel-2);justify-content:space-between;align-items:center;gap:1rem;padding:.5rem .7rem .5rem .8rem;font-size:.66rem;display:flex}.api-example-block .api-example{border:0;border-radius:0;margin:0}.api-example-block__copy{border-radius:var(--r-sm,6px);color:var(--on-panel-2);cursor:pointer;background:0 0;border:1px solid #0000;align-items:center;gap:.3rem;padding:.22rem .5rem;font-family:inherit;font-size:.66rem;transition:color .14s,background .14s,border-color .14s;display:inline-flex}.api-example-block__copy:hover{border-color:var(--panel-bd);background:var(--panel-2);color:var(--on-panel)}.api-example-block__copy:active{transform:translateY(1px)}.api-example-block__copy svg{fill:none;stroke:currentColor;stroke-width:1.4px;stroke-linecap:round;stroke-linejoin:round;width:.78rem;height:.78rem}.control-console{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);min-width:0;margin:1.8rem 0;padding:1.2rem}.presenter-console{padding-top:.25rem}.presenter-unlock{border:1px solid var(--bd);border-radius:var(--r);background:var(--bg-subtle);margin:0 0 1rem;padding:.8rem .9rem .85rem}.presenter-unlock .field-label{color:var(--text-muted);text-transform:uppercase;letter-spacing:.06em;margin-bottom:.4rem;font-size:.72rem;display:block}.presenter-unlock__row{gap:.55rem;display:flex}.presenter-unlock .control-live{color:var(--text-hint);margin:.5rem 0 0;font-size:.74rem}.presenter-unlock input{border:1px solid var(--input-bd);border-radius:var(--r);min-width:0;color:var(--text-strong);background:var(--bg-card);flex:1;padding:.5rem .65rem}.presenter-unlock input:focus{border-color:var(--input-bd-focus)}.fixture-actions,.control-steps,.race-control__actions{flex-wrap:wrap;gap:.55rem;margin:0 0 1rem;display:flex}.control-steps{border:1px solid var(--bd);border-radius:var(--r);background:var(--bd);grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;margin:1rem 0;padding:1px;display:grid;overflow:hidden}.control-steps li{background:var(--bg-card);min-width:0;list-style:none}.control-steps button{text-align:left;width:100%;min-height:62px;color:var(--text-muted);background:0 0;border:0;grid-template-columns:1.35rem minmax(0,1fr);align-items:center;gap:.55rem;padding:.65rem .7rem;transition:background .14s,color .14s;display:grid}.control-steps button>span:first-child{color:var(--text-ghost);font-family:var(--mono);font-size:.58rem}.control-steps button>span:last-child{gap:.08rem;min-width:0;display:grid}.control-steps button strong{color:inherit;font-size:.77rem;font-weight:500;line-height:1.25}.control-steps button small{color:var(--text-hint);font-size:.62rem;line-height:1.3}.control-steps li[data-state=active] button{color:var(--tab-active-text);background:var(--tab-active-bg)}.control-steps li[data-state=active] button>span:first-child,.control-steps li[data-state=active] button small{color:var(--tab-active-muted)}.control-steps li[data-state=complete] button{color:var(--text-strong);background:var(--bg-subtle)}.control-steps li[data-state=complete] button small{color:var(--sig-ok)}.control-steps li[data-state=blocked] button small{color:var(--sig-blocked)}.control-steps button:disabled{cursor:default;opacity:1}.control-steps li[data-state=active] button:hover:not(:disabled){background:var(--btn-bg-hover)}.control-steps li[data-state=active] button:active:not(:disabled){transform:translateY(1px)}.control-live{min-height:1.4rem;color:var(--text-hint);font-family:var(--mono);overflow-wrap:anywhere;margin:.75rem 0;font-size:.69rem}.control-error{gap:.2rem;margin:1rem 0;display:grid}.control-evidence{border-top:1px solid var(--bd-subtle);min-width:0;margin-top:1.1rem;padding-top:1.1rem}.control-evidence h3{margin:0;font-size:.95rem}.control-issues{gap:.55rem;margin:1rem 0 0;padding:0;list-style:none;display:grid}.phase-strip,.counterexample-path,.proof-chain{border:1px solid var(--bd);border-radius:var(--r);background:var(--bd-subtle);grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:1px;margin:1rem 0;padding:1px;list-style:none;display:grid;overflow:hidden}.phase-strip li,.counterexample-path li,.proof-chain li{background:var(--bg-card);overflow-wrap:anywhere;align-items:flex-start;gap:.55rem;min-width:0;padding:.75rem;display:flex}.phase-strip li[data-current=true]{box-shadow:inset 2px 0 var(--text-title);background:var(--bg-subtle)}.phase-strip li>span,.counterexample-path li>span,.proof-chain li>span{white-space:nowrap;color:var(--text-ghost);font-family:var(--mono);flex:none;font-size:.61rem;font-weight:500}.phase-strip strong,.counterexample-path strong{color:var(--text-strong);font-family:var(--mono);font-size:.68rem;font-weight:400}.unsafe-proof{border-left:2px solid var(--sig-blocked)}.counterexample-path{grid-template-columns:repeat(4,minmax(0,1fr))}.winner-proof blockquote{border:1px solid var(--bd);border-left:2px solid var(--text-title);border-radius:var(--r);background:var(--bg-subtle);color:var(--text-body);margin:0 0 1rem;padding:.9rem 1rem;font-size:.86rem;font-weight:480}.proof-chain{grid-template-columns:repeat(5,minmax(0,1fr))}.proof-chain li>div{gap:.16rem;min-width:0;display:grid}.proof-chain strong{color:var(--text-title);font-size:.82rem;font-weight:480}.proof-chain code,.proof-chain small{overflow-wrap:anywhere;font-size:.62rem}.proof-chain code{color:var(--text-muted)}.proof-chain small{color:var(--text-hint)}.eviq{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);margin:1.6rem 0;overflow:hidden}.eviq__bar{border-bottom:1px solid var(--bd);background:var(--bg-subtle);display:flex;overflow-x:auto}.eviq__tab{color:var(--text-muted);white-space:nowrap;background:0 0;border:0;border-bottom:2px solid #0000;flex:none;align-items:center;gap:.45rem;padding:.7rem 1rem;font-size:.83rem;font-weight:450;transition:color .14s,border-color .14s,background .14s;display:inline-flex}.eviq__tab:hover{color:var(--text-title);background:var(--bg-hover)}.eviq__tab[aria-selected=true]{color:var(--text-heading);border-bottom-color:var(--text-heading);background:var(--bg-card)}.eviq__tab span{color:var(--text-ghost);font-family:var(--mono);font-size:.66rem}.eviq__tab[aria-selected=true] span{color:var(--text-hint)}.eviq__panel{padding:1.3rem}.panel-lede{max-width:76ch;color:var(--text-body);margin:0 0 1.1rem;font-size:.85rem}.eviq__panel>:first-child{margin-top:0}.eviq__panel>:last-child{margin-bottom:0}.eviq__panel .evidence-panel,.eviq__panel .verification-zone,.eviq__panel .instrument,.eviq__panel .lifecycle{border-top:0;padding-top:0}.eviq__panel .verification-zone{background:0 0;border:0;margin:0;padding:0}.eviq__panel .availability-state:first-child{margin-top:0}.focal{margin:1.6rem 0}.focal__head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.9rem;display:flex}.focal__head h2{letter-spacing:-.02em;margin:0;font-size:1.15rem;font-weight:550}.focal__head p{color:var(--text-body);max-width:68ch;margin:.2rem 0 0;font-size:.85rem}.live-console{border:1px solid var(--bd-strong);border-radius:var(--r-lg);background:var(--bg-card);margin:1.6rem 0 0;padding:1.15rem 1.25rem 1.25rem}.live-console__head{justify-content:space-between;align-items:flex-start;gap:1rem;margin-bottom:.55rem;display:flex}.live-console__head h2{color:var(--text-title);letter-spacing:-.018em;margin:.2rem 0 0;font-size:1.05rem;font-weight:600}.live-console .panel-lede{max-width:68ch;color:var(--text-body);margin:0 0 .9rem;font-size:.85rem;line-height:1.6}.live-console .race-control__actions{margin-top:.9rem}.live-console .control-live{color:var(--text-muted);margin:.8rem 0 0;font-size:.78rem}.run-console{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);margin:1.6rem 0 0;padding:.8rem 1rem}.run-console>summary{cursor:pointer;color:var(--text-muted);font-size:.84rem;list-style:none}.run-console>summary::-webkit-details-marker{display:none}.run-console>summary:before{content:"▸ ";color:var(--text-ghost)}.run-console[open]>summary{color:var(--text-title);margin-bottom:.8rem}.run-console[open]>summary:before{content:"▾ "}.run-console .control-console{background:0 0;border:0;margin:0;padding:0}.step-nav{border-top:1px solid var(--bd-subtle);justify-content:space-between;align-items:stretch;gap:.8rem;margin:2.4rem 0 0;padding-top:1.4rem;display:flex}.step-nav__link{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-card);align-content:center;gap:.1rem;padding:.85rem 1.1rem;text-decoration:none;transition:border-color .14s,background .14s;display:grid}.step-nav__link:hover{border-color:var(--bd-strong);background:var(--bg-subtle)}.step-nav__link .step-nav__title{color:var(--text-hint);text-transform:uppercase;letter-spacing:.06em;font-size:.7rem;display:block}.step-nav__link .step-nav__title strong{color:var(--text-title);letter-spacing:.03em;font-size:.82rem;font-weight:600}.step-nav__link small{color:var(--text-body);text-transform:none;letter-spacing:normal;margin-top:.2rem;font-size:.82rem;display:block}.step-nav__link--next{text-align:right;justify-items:end}.lp{width:min(1180px,100%);margin-inline:auto;padding:0 clamp(1rem,3vw,2rem) 4.5rem}.lp-hero{grid-template-columns:minmax(0,1.1fr) minmax(330px,.9fr);align-items:center;gap:clamp(2rem,5vw,4rem);padding:clamp(2rem,5vw,3.5rem) 0 clamp(1.8rem,3.5vw,2.6rem);display:grid}.lp-kicker{color:var(--text-hint);text-transform:uppercase;letter-spacing:.1em;margin:0 0 .9rem;font-size:.71rem;font-weight:480}.lp-hero h1{letter-spacing:-.034em;margin:0 0 1.1rem;font-size:clamp(2.1rem,4.6vw,3.3rem);font-weight:560;line-height:1.06}.lp-lede{max-width:54ch;color:var(--text-body);margin:0 0 1.8rem;font-size:clamp(.94rem,1.3vw,1.04rem);line-height:1.62}.lp-actions{flex-wrap:wrap;gap:.6rem;display:flex}.lp-cta{border-radius:var(--r);background:var(--btn-bg);min-height:38px;color:var(--btn-text);border:1px solid #0000;justify-content:center;align-items:center;padding:.58rem 1.15rem;font-size:.88rem;font-weight:460;text-decoration:none;transition:background .14s;display:inline-flex}.lp-cta:hover{background:var(--btn-bg-hover)}.lp-cta--ghost{background:var(--bg-card);color:var(--text-muted);border-color:var(--bd)}.lp-cta--ghost:hover{background:var(--bg-hover);color:var(--text-title);border-color:var(--bd-strong)}.lp-text-link{min-height:38px;color:var(--text-muted);text-underline-offset:.2rem;align-items:center;padding:.4rem .35rem;font-size:.84rem;display:inline-flex}.lp-text-link:hover{color:var(--text-title)}.lp-note{color:var(--text-hint);margin:1rem 0 0;font-size:.8rem}.lp-spine{border:1px solid var(--panel-bd);border-radius:var(--r-lg);background:var(--panel);color:var(--on-panel);padding:1.3rem 1.4rem 1.4rem}.lp-spine__cap{color:var(--on-panel-2);text-transform:uppercase;letter-spacing:.08em;margin:0 0 1rem;font-size:.66rem;font-weight:460}.lp-spine ol{margin:0;padding:0;list-style:none;display:grid}.lp-spine li{grid-template-columns:1.5rem minmax(0,1fr);align-items:center;gap:.8rem;padding:.65rem 0;display:grid}.lp-spine li+li{border-top:1px solid var(--panel-bd)}.lp-spine li>span{border:1px solid var(--panel-bd);background:var(--panel-2);width:1.5rem;height:1.5rem;font-family:var(--mono);color:var(--on-panel-2);border-radius:50%;place-items:center;font-size:.58rem;display:grid}.lp-spine li:last-child>span{border-color:var(--sig-ok);color:var(--sig-ok)}.lp-spine li>div{gap:.08rem;min-width:0;display:grid}.lp-spine strong{letter-spacing:-.008em;font-size:.87rem;font-weight:480}.lp-spine small{color:var(--on-panel-2);font-size:.73rem}.lp-spine__foot{border-top:1px solid var(--panel-bd);color:var(--on-panel-2);margin:1rem 0 0;padding-top:.9rem;font-size:.75rem}.lp-claims{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bd-subtle);grid-template-columns:minmax(0,1.15fr) minmax(0,.85fr);gap:1px;margin:0 0 clamp(2.4rem,4.5vw,3.4rem);display:grid;overflow:hidden}.lp-claims>div{background:var(--bg-card);padding:1.15rem 1.3rem}.lp-claim--lead{grid-row:span 2;align-content:center;padding:1.5rem!important}.lp-claim>span{color:var(--text-hint);text-transform:uppercase;letter-spacing:.07em;margin-bottom:.45rem;font-size:.65rem;font-weight:500;display:block}.lp-claim--lead strong{letter-spacing:-.025em;font-size:1.35rem}.lp-claims strong{color:var(--text-title);letter-spacing:-.012em;margin-bottom:.4rem;font-size:.9rem;font-weight:500;display:block}.lp-claims p{color:var(--text-body);margin:0;font-size:.84rem;line-height:1.6}.lp-stages__head{max-width:46rem;margin-bottom:1.6rem}.lp-stages__head h2{letter-spacing:-.026em;margin:.35rem 0 .5rem;font-size:clamp(1.35rem,2.4vw,1.75rem);font-weight:550}.lp-stages__head p{color:var(--text-body);margin:0;font-size:.89rem}.lp-stage-grid{border-block:1px solid var(--bd);grid-template-columns:repeat(3,minmax(0,1fr));margin:0 0 clamp(2.4rem,4.5vw,3.4rem);padding:0;list-style:none;display:grid}.lp-stage-grid li+li{border-left:1px solid var(--bd)}.lp-stage-grid a{background:var(--bg-card);align-content:start;gap:.35rem;height:100%;padding:1.25rem 1.35rem 1.35rem;text-decoration:none;transition:background .14s;display:grid}.lp-stage-grid a:hover{background:var(--bg-subtle)}.lp-stage__step{font-family:var(--mono);color:var(--text-ghost);font-size:.66rem;font-weight:500}.lp-stage-grid strong{color:var(--text-heading);letter-spacing:-.018em;font-size:1.05rem;font-weight:600}.lp-stage-grid em{color:var(--text-strong);font-size:.86rem;font-style:normal;font-weight:450}.lp-stage-grid p{color:var(--text-body);margin:.25rem 0 .85rem;font-size:.83rem;line-height:1.6}.lp-stage__go{color:var(--text-muted);margin-top:auto;font-size:.8rem;font-weight:450}.lp-bounded{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-subtle);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1.4rem;padding:1.4rem 1.5rem;display:flex}.lp-bounded>div{gap:.18rem;display:grid}.lp-bounded strong{color:var(--text-title);font-size:.9rem;font-weight:500}.lp-bounded p{max-width:62ch;color:var(--text-body);margin:0;font-size:.86rem}.integration-page{width:min(1120px,100%)}.integration-hero{grid-template-columns:minmax(0,1.4fr) minmax(240px,.6fr);align-items:end;gap:2.5rem;margin-bottom:2.4rem;display:grid}.integration-hero h1{letter-spacing:-.035em;max-width:18ch;margin:.4rem 0 .8rem;font-size:clamp(2rem,4vw,3rem);line-height:1.05}.integration-hero p:last-child{max-width:64ch;color:var(--text-body);margin:0;font-size:.96rem}.integration-hero aside{border:1px solid var(--bd);border-radius:var(--r-lg);background:var(--bg-subtle);gap:.15rem;padding:1rem;display:grid}.integration-hero aside span{color:var(--text-hint);text-transform:uppercase;letter-spacing:.07em;font-size:.62rem}.integration-hero aside strong{color:var(--text-title);font-size:1rem;font-weight:520}.integration-hero aside small{color:var(--text-muted);font-size:.72rem}.integration-jump{flex-wrap:wrap;gap:.45rem;margin:-1.1rem 0 2.2rem;display:flex}.integration-jump a{border:1px solid var(--bd);border-radius:var(--r-sm);color:var(--text-muted);padding:.38rem .58rem;font-size:.7rem;text-decoration:none}.integration-jump a:hover{border-color:var(--bd-strong);color:var(--text-title);background:var(--bg-hover)}.integration-page [id]{scroll-margin-top:7rem}.integration-flow{margin:0 0 2.2rem}.integration-flow>header{margin-bottom:.9rem}.integration-flow h2,.integration-code-grid h2,.integration-contract h2{margin:.25rem 0 .35rem;font-size:1.05rem}.integration-flow ol{border:1px solid var(--bd);border-radius:var(--r-lg);grid-template-columns:repeat(4,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid;overflow:hidden}.integration-flow li{background:var(--bg-card);align-content:start;gap:.25rem;padding:1rem;display:grid}.integration-flow li+li{border-left:1px solid var(--bd)}.integration-flow li>span{color:var(--text-hint);text-transform:uppercase;letter-spacing:.07em;font-size:.6rem}.integration-flow li strong{color:var(--text-title);font-size:.83rem;font-weight:500}.integration-flow li p,.integration-code-grid p,.integration-contract p{color:var(--text-body);margin:0;font-size:.78rem;line-height:1.55}.integration-positioning,.integration-value,.integration-api,.integration-ai,.integration-commands,.integration-evidence{margin-bottom:2.2rem}.integration-positioning>header,.integration-api>header,.integration-commands>header{margin-bottom:.9rem}.integration-positioning>header>p:last-child{max-width:68ch;color:var(--text-body);margin:0;font-size:.82rem}.integration-positioning h2,.integration-value h2,.integration-api h2,.integration-commands h2,.integration-evidence h2{margin:.25rem 0 .4rem;font-size:clamp(1.05rem,2vw,1.35rem)}.endpoint-list article>span{color:var(--text-hint);text-transform:uppercase;letter-spacing:.07em;font-size:.61rem;font-weight:500}.integration-value li span,.integration-api>header p,.endpoint-list p,.integration-evidence p{color:var(--text-body);margin:0;font-size:.79rem;line-height:1.58}.responsibility-split{border:1px solid var(--bd);border-radius:var(--r-lg);grid-template-columns:1fr 1fr;display:grid;overflow:hidden}.responsibility-split__col{background:var(--bg-card);padding:1.15rem 1.25rem 1.3rem}.responsibility-split__col+.responsibility-split__col{border-left:1px solid var(--bd);background:var(--bg-subtle)}.responsibility-split__col h3{color:var(--text-title);text-transform:uppercase;letter-spacing:.07em;align-items:center;gap:.45rem;margin:0 0 .7rem;font-size:.74rem;font-weight:600;display:flex}.responsibility-split__mark{background:var(--sig-ok);border-radius:50%;width:.5rem;height:.5rem}.responsibility-split__col[data-side=keeps] .responsibility-split__mark{background:var(--text-ghost)}.responsibility-split__col ul{gap:.1rem;margin:0;padding:0;list-style:none;display:grid}.responsibility-split__col li{border-bottom:1px solid var(--bd-subtle);color:var(--text-body);padding:.38rem 0;font-size:.82rem;line-height:1.5}.responsibility-split__col li:last-child{border-bottom:0}.responsibility-split__note{color:var(--text-muted);margin:.75rem 0 0;font-size:.78rem}.integration-value{grid-template-columns:minmax(220px,.7fr) minmax(0,1.3fr);align-items:start;gap:2rem;display:grid}.integration-value ul{border-top:1px solid var(--bd);gap:0;margin:0;padding:0;list-style:none;display:grid}.integration-value li{border-bottom:1px solid var(--bd);grid-template-columns:minmax(170px,.48fr) minmax(0,1fr);gap:1rem;padding:.8rem 0;display:grid}.integration-value li strong{color:var(--text-title);font-size:.8rem;font-weight:520}.integration-api>header p{max-width:72ch}.integration-ai{border:1px solid var(--bd);border-radius:var(--r-lg);grid-template-columns:.85fr 1.15fr;display:grid;overflow:hidden}.integration-ai>div{background:var(--bg-subtle);min-width:0;padding:1.15rem}.integration-ai>div+div{border-left:1px solid var(--bd)}.integration-ai h2{margin:.25rem 0 .4rem;font-size:1rem}.integration-ai h2 code{color:var(--text-title);font-size:.82rem}.integration-ai p{color:var(--text-body);margin:0;font-size:.79rem;line-height:1.58}.integration-ai .api-example{margin-bottom:0}.endpoint-list{border:1px solid var(--bd);border-radius:var(--r-lg);overflow:hidden}.endpoint-list article{background:var(--bg-card);grid-template-columns:minmax(110px,.35fr) minmax(300px,.85fr) minmax(0,1fr);align-items:center;gap:1rem;padding:.72rem .9rem;display:grid}.endpoint-list article+article{border-top:1px solid var(--bd-subtle)}.endpoint-list code{color:var(--text-strong);overflow-wrap:anywhere;font-size:.7rem}.integration-commands .table-scroll{border:1px solid var(--bd);border-radius:var(--r-lg)}.integration-commands table{width:100%}.integration-commands code{color:var(--text-strong);font-size:.68rem}.integration-evidence{grid-template-columns:minmax(220px,.65fr) minmax(0,1.35fr);align-items:start;gap:1.2rem;display:grid}.integration-evidence .api-example{margin:0}.integration-code-grid{grid-template-columns:1fr 1fr;gap:1.2rem;margin-bottom:1.2rem;display:grid}.integration-code-grid>div{min-width:0}.integration-code-grid .api-example{max-height:360px}.integration-contract{border:1px solid var(--bd);border-radius:var(--r-lg);grid-template-columns:1.2fr .8fr;display:grid;overflow:hidden}.integration-contract>div{background:var(--bg-subtle);padding:1.1rem}.integration-contract>div+div{border-left:1px solid var(--bd)}.integration-contract code{color:var(--text-strong);font-size:.72rem}.integration-next{flex-wrap:wrap;gap:.6rem;margin-top:1.3rem;display:flex}@media (max-width:980px){.page-intro,.studio-grid,.attack-grid,.evidence-grid,.proof-grid,.script-grid,.manifest-hero{grid-template-columns:1fr}.rule-sheet{border-left:0;border-top:1px solid var(--bd-subtle)}.source-sheet{position:static}.blocked-specimen{grid-template-columns:1fr}.proof-ribbon{overflow-x:auto}.proof-ribbon ol{min-width:880px}.lp-hero,.lp-claims,.lp-stage-grid{grid-template-columns:1fr}.lp-claim--lead{grid-row:auto}.lp-stage-grid li+li{border-left:0;border-top:1px solid var(--bd)}.lp-bounded{flex-direction:column;align-items:flex-start}.integration-flow ol{grid-template-columns:1fr 1fr}.integration-flow li:nth-child(3){border-left:0;border-top:1px solid var(--bd)}.integration-flow li:nth-child(4){border-top:1px solid var(--bd)}.responsibility-split{grid-template-columns:1fr}.responsibility-split__col+.responsibility-split__col{border-left:0;border-top:1px solid var(--bd)}.endpoint-list article{grid-template-columns:minmax(110px,.35fr) minmax(0,1fr)}.endpoint-list p{grid-column:2}}@media (max-width:700px){.site-header{gap:.65rem;padding:.7rem 1rem}.wordmark small,.environment-chip{display:none}.header-docs-link{font-size:.66rem}.journey-nav{padding:.3rem .75rem;top:56px}.journey-nav a{justify-items:center;min-height:38px;padding:.4rem .3rem}.journey-nav a>span,.journey-nav a small{display:none}.journey-nav a strong{font-size:.79rem}.route-loading{padding-top:1.5rem}.loading-line--title{width:92%}.loading-evidence{grid-template-columns:1fr;min-height:360px}.page-frame{padding:1.5rem 1rem 3rem}.page-intro{gap:1.1rem}.page-intro h1{font-size:1.7rem}.site-footer{flex-direction:column}.lp-hero{padding-top:2.2rem}.lp-stage-grid a{padding:1.1rem}.proof-ribbon ol{grid-template-columns:1fr;min-width:0}.proof-ribbon li{min-height:58px}.proof-ribbon li+li{border-left:0;border-top:1px solid var(--panel-bd)}.source-sheet,.rule-sheet{padding:1.05rem}.value-boundary,.integration-hero,.integration-code-grid,.integration-contract,.integration-flow ol,.integration-value,.integration-evidence,.integration-ai{grid-template-columns:1fr}.value-boundary>div+div,.integration-flow li+li,.integration-flow li:nth-child(4),.integration-contract>div+div{border-left:0;border-top:1px solid var(--bd)}.rule-sheet .rule-list{grid-template-columns:1fr}.integration-value{gap:.7rem}.integration-value li,.endpoint-list article{grid-template-columns:1fr;gap:.25rem}.endpoint-list p{grid-column:auto}.integration-ai>div+div{border-left:0;border-top:1px solid var(--bd)}.rule-sheet .rule-list>li:nth-child(2n){border-left:0}.rule-sheet .rule-list>li:nth-child(2) .rule-row{border-top:1px solid var(--bd-subtle)}.race-outcome,.balance-strip{grid-template-columns:1fr}.race-outcome>div+div,.balance-strip>div+div{border-left:0;border-top:1px solid var(--bd-subtle)}.lifeline-rules>div{grid-template-columns:1fr;gap:.15rem}.operation-strip{grid-template-columns:auto 1fr}.operation-strip>div:last-child{grid-column:2}.race-shell{padding:1.05rem}.race-heading{flex-direction:column;align-items:flex-start}.race-lane{grid-template-columns:1fr;gap:.75rem}.race-line{width:2px;height:32px;margin:0 0 0 1rem}.race-line i{transform-origin:top;transform:scaleY(0)}.race-visual[data-running=true] .race-lane[data-outcome=reserved] .race-line i{animation-name:race-win-mobile}.race-visual[data-running=true] .race-lane[data-outcome=rejected] .race-line i{animation-name:race-lose-mobile}.settlement-rail{width:100%}@keyframes race-win-mobile{to{background:var(--sig-ok);transform:scaleY(1)}}@keyframes race-lose-mobile{70%,to{background:var(--sig-blocked);transform:scaleY(.72)}}.manifest-verdict{border-left:0;border-top:1px solid var(--panel-bd);padding:1rem 0 0}.manifest-verdict>span:last-child{padding-left:0}.hash-list>div,.metric-list>div,.hash-inventory>div{grid-template-columns:1fr;gap:.2rem}.trace-list li{grid-template-columns:auto minmax(0,1fr)}.trace-list code{grid-column:2}.control-console,.race-control{padding:1.05rem;overflow:hidden}.control-steps,.counterexample-path,.proof-chain{grid-template-columns:1fr}.fixture-actions,.race-control__actions{align-items:stretch}.fixture-actions button,.race-control__actions button{flex:100%}.phase-strip{grid-template-columns:repeat(2,minmax(0,1fr))}.presenter-unlock__row{flex-direction:column}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}.race-line i{transform:none!important}}