:root{--mist: #e8eef1;--surface: #f9fbfc;--graphite: #13252e;--rule: #a9b8bf;--cobalt: #2e58cf;--signal: #c54845;color:var(--graphite);background:var(--mist);font-family:Avenir Next,Segoe UI Variable,SF Pro Text,-apple-system,BlinkMacSystemFont,sans-serif;font-synthesis:none;text-rendering:optimizeLegibility}*{box-sizing:border-box}html{min-width:320px;scroll-behavior:smooth}html.evidence-modal-open,html.runner-modal-open{overflow:hidden}body{margin:0;min-width:320px;min-height:100vh;background-color:var(--mist)}button,input{font:inherit}button,a,label{-webkit-tap-highlight-color:transparent}a{color:inherit}button:focus-visible,a:focus-visible,input:focus-visible,label:has(input:focus-visible){outline:3px solid var(--cobalt);outline-offset:3px}button:disabled,input:disabled{cursor:not-allowed;opacity:.55}code,pre,.stage-index,.transport,.eyebrow,.section-heading>div>span,.proof-summary small,.provenance-heading>span,.provenance-node header>span,.provenance-node dt,.provenance-run-link small,.provenance-run-link code,.hypothesis-meta,.event-console em,.artifact-list>a>span{font-family:SFMono-Regular,Cascadia Code,Roboto Mono,ui-monospace,monospace;font-variant-numeric:tabular-nums}.migration-workbench{width:min(100%,1920px);margin:0 auto;padding:0 clamp(18px,3.2vw,64px) 72px}.release-identity{display:grid;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:18px;min-height:78px;margin-top:24px;border:1px solid var(--graphite);background:var(--surface)}.release-identity>span{align-self:stretch;display:grid;place-items:center;padding:14px 18px;background:var(--cobalt);color:var(--surface);font-family:SFMono-Regular,Cascadia Code,Roboto Mono,ui-monospace,monospace;font-size:.62rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.release-identity>div{display:grid;gap:4px}.release-identity strong{font-size:.9rem}.release-identity small{color:color-mix(in srgb,var(--graphite) 58%,transparent);font-family:SFMono-Regular,Cascadia Code,Roboto Mono,ui-monospace,monospace;font-size:.64rem}.release-identity a{margin-right:18px;color:var(--cobalt);font-size:.7rem;font-weight:750;text-underline-offset:3px}.hero{position:relative;padding:28px 0 30px;border-bottom:1px solid var(--graphite)}.hero:before{position:absolute;top:0;left:0;width:88px;height:5px;background:var(--cobalt);content:""}.hero nav{display:flex;align-items:center;justify-content:space-between;min-height:44px;gap:20px}.wordmark{min-height:44px;display:inline-flex;align-items:center;gap:10px;color:var(--graphite);font-size:.82rem;font-weight:800;letter-spacing:.14em;text-decoration:none}.wordmark span{color:var(--cobalt);font-size:.72rem;font-weight:650}.transport{display:inline-flex;align-items:center;min-height:28px;padding:4px 9px;border:1px solid var(--rule);background:var(--surface);font-size:.66rem;font-weight:750;letter-spacing:.08em;text-transform:uppercase}.transport:before{width:7px;height:7px;margin-right:7px;border-radius:50%;background:var(--rule);content:""}.transport-sse:before{background:var(--cobalt)}.transport-polling:before,.transport-connecting:before{border:1px solid var(--cobalt);background:transparent}.hero-copy{display:grid;grid-template-columns:minmax(0,1.45fr) minmax(320px,.55fr);align-items:end;gap:clamp(32px,7vw,112px);padding:clamp(40px,7vw,104px) 0 clamp(34px,5vw,72px)}.eyebrow{grid-column:1 / -1;margin-bottom:-22px;color:var(--cobalt);font-size:.72rem;font-weight:750;letter-spacing:.11em;text-transform:uppercase}.hero h1{margin:0;max-width:1000px;font-size:clamp(3.25rem,5.7vw,7.4rem);font-weight:620;letter-spacing:-.065em;line-height:.9}.hero-copy>p{margin:0 0 .45rem;max-width:620px;padding-left:22px;border-left:3px solid var(--cobalt);color:color-mix(in srgb,var(--graphite) 78%,transparent);font-size:clamp(1rem,1.3vw,1.25rem);line-height:1.65}.mode-selector{display:grid;grid-template-columns:repeat(3,1fr);border-top:1px solid var(--graphite);border-bottom:1px solid var(--graphite)}.mode-selector label{position:relative;display:flex;align-items:center;min-height:76px;padding:14px 20px;border-right:1px solid var(--rule);background:transparent;cursor:pointer}.mode-selector label:last-child{border-right:0}.mode-selector label:after{position:absolute;right:14px;bottom:-1px;left:14px;height:4px;background:transparent;content:""}.mode-selector label.is-selected{background:color-mix(in srgb,var(--cobalt) 7%,var(--surface))}.mode-selector label.is-selected strong{color:var(--cobalt)}.mode-selector label.is-selected:after{background:var(--cobalt)}.mode-selector label.is-unavailable{background:repeating-linear-gradient(135deg,transparent 0,transparent 9px,color-mix(in srgb,var(--signal) 6%,transparent) 9px,color-mix(in srgb,var(--signal) 6%,transparent) 10px),color-mix(in srgb,var(--surface) 88%,transparent);cursor:not-allowed}.mode-selector label.is-unavailable:before{position:absolute;top:9px;right:12px;padding:2px 5px;border:1px solid color-mix(in srgb,var(--signal) 65%,var(--rule));color:var(--signal);content:"secured";font-family:ui-monospace,monospace;font-size:.52rem;font-weight:700;letter-spacing:.08em;text-transform:uppercase}.mode-selector label.is-unavailable small{padding-right:52px;color:color-mix(in srgb,var(--signal) 72%,var(--graphite))}.mode-selector input{width:18px;height:18px;margin:0 14px 0 0;accent-color:var(--cobalt)}.mode-selector span{display:grid;gap:2px}.mode-selector strong{font-size:.92rem}.mode-selector small{color:color-mix(in srgb,var(--graphite) 60%,transparent);font-size:.72rem}.local-runner-entry{position:relative;display:grid;grid-template-columns:18px minmax(0,1fr);align-items:center;gap:14px;min-height:76px;padding:14px 72px 14px 20px;border:0;background:color-mix(in srgb,var(--cobalt) 4%,var(--surface));color:var(--graphite);text-align:left;cursor:pointer}.local-runner-entry:hover:not(:disabled){background:color-mix(in srgb,var(--cobalt) 10%,var(--surface))}.local-runner-entry:after{position:absolute;right:14px;bottom:-1px;left:14px;height:4px;background:var(--cobalt);content:"";transform:scaleX(0);transform-origin:right;transition:transform .16s ease}.local-runner-entry:hover:not(:disabled):after,.local-runner-entry:focus-visible:after{transform:scaleX(1);transform-origin:left}.local-runner-sigil{display:grid!important;width:18px;height:18px;place-items:center;border:1px solid var(--cobalt);color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.66rem;font-weight:800;line-height:1}.local-runner-entry>span:not(.local-runner-sigil){display:grid;gap:2px}.local-runner-entry strong{color:var(--cobalt);font-size:.92rem}.local-runner-entry small{color:color-mix(in srgb,var(--graphite) 60%,transparent);font-size:.72rem;line-height:1.35}.local-runner-entry em{position:absolute;top:9px;right:12px;padding:2px 5px;border:1px solid var(--cobalt);color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.52rem;font-style:normal;font-weight:750;letter-spacing:.08em;text-transform:uppercase}.mode-disclosure{display:grid;grid-template-columns:minmax(180px,.26fr) 1fr;align-items:baseline;gap:24px;min-height:58px;padding:13px 20px;border-bottom:1px solid var(--rule);background:color-mix(in srgb,var(--surface) 64%,transparent)}.mode-disclosure strong{color:var(--cobalt);font-size:.76rem;letter-spacing:.05em;text-transform:uppercase}.mode-disclosure p{margin:0;color:color-mix(in srgb,var(--graphite) 72%,transparent);font-size:.84rem;line-height:1.5}.mode-disclosure-body{display:grid;gap:4px}.mode-disclosure a{width:fit-content;color:var(--cobalt);font-size:.72rem;font-weight:700;text-underline-offset:3px}.mode-disclosure a:hover{color:var(--graphite)}.run-controls{display:flex;align-items:center;gap:18px;min-height:78px;padding:13px 20px;border-bottom:1px solid var(--rule);background:color-mix(in srgb,var(--surface) 82%,transparent)}.primary-action{min-width:214px;min-height:50px;padding:10px 20px;border:1px solid var(--cobalt);border-radius:2px;background:var(--cobalt);color:var(--surface);font-weight:720;cursor:pointer}.primary-action:not(:disabled):hover{background:var(--graphite);border-color:var(--graphite)}.run-controls>span{color:color-mix(in srgb,var(--graphite) 58%,transparent);font-family:ui-monospace,monospace;font-size:.72rem;line-height:1.5}.error-banner{display:grid;grid-template-columns:130px 1fr;gap:18px;margin-top:18px;padding:15px 18px;border:1px solid var(--signal);border-left-width:5px;background:var(--surface);color:var(--signal);font-size:.86rem}.stage-rail{position:sticky;top:0;z-index:10;display:grid;grid-template-columns:repeat(5,1fr);margin:0;padding:0;border-bottom:1px solid var(--graphite);background:color-mix(in srgb,var(--mist) 94%,transparent);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);list-style:none}.stage-rail li{position:relative;display:flex;align-items:center;min-height:68px;padding:10px 14px;border-right:1px solid var(--rule);text-transform:capitalize}.stage-rail li:last-child{border-right:0}.stage-rail li:after{position:absolute;right:0;bottom:-1px;left:0;height:4px;background:transparent;content:""}.stage-rail .stage-active:after,.stage-rail .stage-passed:after{background:var(--cobalt)}.stage-rail .stage-failed:after,.stage-rail .stage-blocked:after{background:var(--signal)}.stage-rail .stage-skipped:after{height:1px;background:var(--rule)}.stage-index{min-width:34px;color:var(--cobalt);font-size:.66rem;letter-spacing:.08em}.stage-rail li>span:last-child{display:grid}.stage-rail strong{font-size:.82rem;letter-spacing:.04em}.stage-rail small{color:color-mix(in srgb,var(--graphite) 50%,transparent);font-family:ui-monospace,monospace;font-size:.62rem;text-transform:uppercase}.proof-summary{display:grid;grid-template-columns:repeat(4,1fr);margin:26px 0 0;border:1px solid var(--rule);background:var(--surface)}.proof-summary>span{display:grid;align-content:center;min-height:82px;padding:14px 18px;border-right:1px solid var(--rule)}.proof-summary>span:last-child{border-right:0}.proof-summary small{margin-bottom:6px;color:color-mix(in srgb,var(--graphite) 52%,transparent);font-size:.61rem;letter-spacing:.08em;text-transform:uppercase}.proof-summary strong{overflow:hidden;font-size:clamp(.85rem,1vw,1.05rem);text-overflow:ellipsis;white-space:nowrap}.provenance-strip{margin:0 0 26px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);border-left:1px solid var(--rule);background:var(--surface)}.provenance-heading{display:grid;grid-template-columns:minmax(150px,.42fr) minmax(220px,1fr) auto;align-items:baseline;gap:18px;min-height:52px;padding:12px 18px;border-top:1px solid var(--graphite);border-bottom:1px solid var(--graphite)}.provenance-heading>span{color:var(--cobalt);font-size:.61rem;font-weight:800;letter-spacing:.1em;text-transform:uppercase}.provenance-heading>strong{font-size:.86rem;letter-spacing:-.01em}.provenance-heading>small{color:color-mix(in srgb,var(--graphite) 52%,transparent);font-size:.68rem;text-align:right}.provenance-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;background:var(--rule)}.provenance-node{position:relative;min-width:0;padding:16px 18px 14px;background:var(--surface)}.provenance-node:before{position:absolute;top:-4px;left:18px;width:7px;height:7px;border:1px solid var(--cobalt);border-radius:50%;background:var(--surface);content:""}.provenance-node header{display:flex;align-items:baseline;justify-content:space-between;gap:12px;margin-bottom:10px}.provenance-node header>span{color:var(--cobalt);font-size:.58rem;font-weight:800;letter-spacing:.06em}.provenance-node h2{margin:0;font-size:.88rem;font-weight:750}.provenance-node>p{margin:-3px 0 9px;color:var(--signal);font-size:.65rem}.provenance-node dl{display:grid;gap:0;margin:0}.provenance-node dl>div{display:grid;grid-template-columns:minmax(70px,.72fr) minmax(0,1fr);gap:10px;padding:5px 0;border-top:1px solid color-mix(in srgb,var(--rule) 58%,transparent)}.provenance-node dt{color:color-mix(in srgb,var(--graphite) 52%,transparent);font-size:.57rem;letter-spacing:.05em;text-transform:uppercase}.provenance-node dd{min-width:0;margin:0;overflow:hidden;font-family:SFMono-Regular,Cascadia Code,Roboto Mono,ui-monospace,monospace;font-size:.64rem;font-variant-numeric:tabular-nums;font-weight:700;text-align:right;text-overflow:ellipsis;white-space:nowrap}.provenance-node .not-reported{color:color-mix(in srgb,var(--graphite) 42%,transparent);font-weight:500}.provenance-run-link{display:grid;grid-template-columns:minmax(190px,.55fr) minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:18px;min-height:54px;padding:9px 18px;border-top:1px solid var(--rule);background:color-mix(in srgb,var(--mist) 55%,var(--surface))}.provenance-run-link>span:not(.run-arrow){display:grid;min-width:0;gap:2px}.provenance-run-link small{color:color-mix(in srgb,var(--graphite) 52%,transparent);font-size:.56rem;letter-spacing:.06em;text-transform:uppercase}.recorded-date strong,.provenance-run-link code{overflow:hidden;font-size:.68rem;text-overflow:ellipsis;white-space:nowrap}.run-arrow{color:var(--cobalt);font-weight:800}.workbench-grid{display:grid;grid-template-columns:minmax(0,1.6fr) minmax(340px,.65fr);align-items:start;gap:26px}.workbench-primary,.workbench-secondary{display:grid;min-width:0;gap:26px}.loom-panel,.suite-panel,.candidate-panel,.event-console,.artifact-dock{min-width:0;border:1px solid var(--rule);background:var(--surface)}.section-heading{display:flex;align-items:end;justify-content:space-between;gap:20px;min-height:84px;padding:18px 20px;border-bottom:1px solid var(--graphite)}.section-heading>div>span{display:block;margin-bottom:5px;color:var(--cobalt);font-size:.61rem;font-weight:750;letter-spacing:.1em;text-transform:uppercase}.section-heading h2{margin:0;font-size:clamp(1.1rem,1.35vw,1.45rem);font-weight:650;letter-spacing:-.025em}.section-heading>small{color:color-mix(in srgb,var(--graphite) 52%,transparent);font-family:ui-monospace,monospace;font-size:.68rem;text-align:right}.empty-state{margin:0;padding:28px 20px;color:color-mix(in srgb,var(--graphite) 54%,transparent);font-size:.84rem;line-height:1.55}.hypothesis-threads{position:relative;display:grid;gap:0;padding:24px 24px 24px 58px}.hypothesis-threads:before{position:absolute;top:0;bottom:0;left:28px;width:1px;background:var(--cobalt);content:""}.hypothesis{position:relative;width:100%;padding:20px 22px;border:1px solid var(--rule);border-bottom:0;background:var(--surface)}.hypothesis:last-child{border-bottom:1px solid var(--rule)}.hypothesis:before{position:absolute;top:27px;left:-31px;width:30px;height:1px;background:var(--cobalt);content:""}.hypothesis:after{position:absolute;top:23px;left:-36px;width:7px;height:7px;border:1px solid var(--cobalt);border-radius:50%;background:var(--surface);content:""}.hypothesis-refined,.hypothesis-accepted{margin-left:8%;width:92%;border-left:4px solid var(--cobalt)}.hypothesis-falsified{width:82%;border-color:var(--signal);color:color-mix(in srgb,var(--graphite) 60%,transparent)}.hypothesis-falsified:before,.hypothesis-falsified:after{background:var(--signal);border-color:var(--signal)}.hypothesis-falsified>p{text-decoration:line-through;text-decoration-color:var(--signal);text-decoration-thickness:2px}.hypothesis-meta{display:flex;flex-wrap:wrap;gap:8px 16px;color:color-mix(in srgb,var(--graphite) 55%,transparent);font-size:.62rem;letter-spacing:.04em;text-transform:uppercase}.hypothesis-falsified .hypothesis-meta span:last-child{color:var(--signal);font-weight:800}.hypothesis>p{margin:12px 0 16px;font-size:clamp(1.02rem,1.35vw,1.3rem);line-height:1.45}.hypothesis footer{display:flex;justify-content:space-between;gap:20px;font-size:.7rem}.hypothesis footer code{overflow-wrap:anywhere}.hypothesis footer small{color:var(--signal);text-align:right}.counterexample-rail{display:grid;grid-auto-columns:minmax(250px,1fr);grid-auto-flow:column;gap:1px;overflow-x:auto;border-top:1px solid var(--graphite);background:var(--rule);scrollbar-color:var(--cobalt) var(--mist)}.counterexample-rail article{min-height:190px;padding:20px;background:var(--surface)}.counterexample-rail article>span{color:var(--signal);font-family:ui-monospace,monospace;font-size:.62rem;letter-spacing:.08em;text-transform:uppercase}.counterexample-rail h3{margin:10px 0 7px;font-size:1rem}.counterexample-rail p{margin:0 0 16px;color:color-mix(in srgb,var(--graphite) 68%,transparent);font-size:.8rem;line-height:1.48}.counterexample-rail dl{display:flex;flex-wrap:wrap;gap:8px 16px;margin:0}.counterexample-rail dl div{display:grid}.counterexample-rail dt{color:color-mix(in srgb,var(--graphite) 48%,transparent);font-family:ui-monospace,monospace;font-size:.58rem;text-transform:uppercase}.counterexample-rail dd{margin:1px 0 0;font-size:.76rem;font-weight:700}.scenario-matrix{overflow-x:auto}.scenario-matrix>div{display:grid;grid-template-columns:minmax(180px,1.3fr) minmax(110px,.8fr) 90px minmax(130px,.9fr);min-width:650px;border-bottom:1px solid var(--rule)}.scenario-matrix>div:last-child{border-bottom:0}.scenario-provenance-note{margin:0;padding:10px 15px;border-top:1px solid var(--rule);color:color-mix(in srgb,var(--graphite) 58%,transparent);font-size:.66rem;line-height:1.45}.scenario-matrix>div>*{display:flex;align-items:center;min-height:52px;padding:10px 15px;border-right:1px solid color-mix(in srgb,var(--rule) 62%,transparent);font-size:.76rem}.scenario-matrix>div>*:last-child{border-right:0}.scenario-matrix .matrix-head{background:var(--mist)}.scenario-matrix .matrix-head span{min-height:38px;color:color-mix(in srgb,var(--graphite) 55%,transparent);font-family:ui-monospace,monospace;font-size:.6rem;letter-spacing:.06em;text-transform:uppercase}.result-passed{color:var(--cobalt);font-weight:800}.result-failed{color:var(--signal);font-weight:800}.candidate-list,.event-console ol{margin:0;padding:0;list-style:none}.candidate-list li{display:grid;grid-template-columns:46px 1fr auto;align-items:center;min-height:72px;border-bottom:1px solid var(--rule)}.candidate-list li:last-child{border-bottom:0}.candidate-list li>span{display:grid;place-items:center;align-self:stretch;border-right:1px solid var(--rule);color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.68rem}.candidate-list li>div{display:grid;gap:4px;padding:12px 16px}.candidate-list li strong{font-size:.86rem}.candidate-list li small{color:color-mix(in srgb,var(--graphite) 54%,transparent);font-family:ui-monospace,monospace;font-size:.64rem}.candidate-list li>em{margin-right:16px;color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.62rem;font-style:normal;letter-spacing:.06em;text-transform:uppercase}.candidate-list .candidate-rejected>em,.candidate-list .candidate-failed>em{color:var(--signal)}.event-console{max-height:min(760px,76vh);overflow:hidden}.event-console ol{max-height:600px;overflow-y:auto;scrollbar-color:var(--cobalt) var(--mist)}.event-console li{border-bottom:1px solid var(--rule)}.event-console li:last-child{border-bottom:0}.event-console button{display:grid;grid-template-columns:42px 1fr auto;align-items:center;width:100%;min-height:68px;padding:0;border:0;background:transparent;color:var(--graphite);text-align:left;cursor:pointer}.event-console button:hover{background:var(--mist)}.event-console button>span:first-child{display:grid;place-items:center;align-self:stretch;border-right:1px solid var(--rule);color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.64rem}.event-console button>span:nth-child(2){display:grid;gap:4px;min-width:0;padding:11px 13px}.event-console button strong{overflow:hidden;font-size:.78rem;text-overflow:ellipsis;white-space:nowrap}.event-console button small{overflow:hidden;color:color-mix(in srgb,var(--graphite) 55%,transparent);font-size:.67rem;text-overflow:ellipsis;white-space:nowrap}.event-console em{max-width:82px;padding-right:12px;overflow:hidden;color:color-mix(in srgb,var(--graphite) 52%,transparent);font-size:.58rem;font-style:normal;text-overflow:ellipsis;text-transform:uppercase;white-space:nowrap}.artifact-list{display:grid}.artifact-list a{display:grid;grid-template-columns:82px 1fr auto;align-items:center;min-height:60px;border-bottom:1px solid var(--rule);text-decoration:none}.artifact-list a:last-child{border-bottom:0}.artifact-list a:hover{background:var(--mist)}.artifact-list a>span{display:grid;place-items:center;align-self:stretch;border-right:1px solid var(--rule);color:var(--cobalt);font-size:.59rem;text-transform:uppercase}.artifact-list strong{min-width:0;padding:10px 13px;overflow:hidden;font-size:.75rem;text-overflow:ellipsis;white-space:nowrap}.artifact-list small{padding-right:13px;color:color-mix(in srgb,var(--graphite) 50%,transparent);font-size:.64rem}.runner-dialog{width:min(920px,calc(100vw - 32px));max-width:none;max-height:calc(100dvh - 32px);margin:auto;padding:0;overflow:hidden;border:1px solid var(--graphite);background:var(--surface);color:var(--graphite);box-shadow:0 30px 96px color-mix(in srgb,var(--graphite) 38%,transparent);overscroll-behavior:contain}.runner-dialog::backdrop{background:color-mix(in srgb,var(--graphite) 68%,transparent);-webkit-backdrop-filter:blur(3px);backdrop-filter:blur(3px)}.runner-dialog-shell{display:grid;grid-template-rows:auto minmax(0,1fr);max-height:calc(100dvh - 34px)}.runner-dialog-shell>header{z-index:1;display:flex;align-items:center;justify-content:space-between;min-height:64px;padding-left:24px;border-bottom:1px solid var(--graphite);background:var(--surface);font-family:ui-monospace,monospace;font-size:.7rem;font-weight:750;letter-spacing:.07em;text-transform:uppercase}.runner-dialog-shell>header:before{width:9px;height:9px;margin-right:10px;border-radius:50%;background:var(--cobalt);content:""}.runner-dialog-shell>header>span{margin-right:auto}.runner-dialog-shell>header button{width:64px;min-height:64px;border:0;border-left:1px solid var(--graphite);background:transparent;color:var(--graphite);font-size:1.7rem;cursor:pointer}.runner-dialog-shell>header button:hover{background:var(--mist)}.runner-dialog-content{min-width:0;padding:clamp(26px,4vw,44px);overflow-x:hidden;overflow-y:auto;scrollbar-gutter:stable}.runner-intro{display:grid;grid-template-columns:minmax(0,1fr) minmax(260px,.62fr);align-items:end;gap:10px clamp(28px,5vw,64px)}.runner-intro>span,.runner-launch-heading span,.runner-boundaries-heading>span{grid-column:1 / -1;color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.66rem;font-weight:750;letter-spacing:.08em;text-transform:uppercase}.runner-intro h2{margin:0;font-size:clamp(2rem,4vw,4rem);font-weight:650;letter-spacing:-.055em;line-height:.98}.runner-intro p{margin:0;padding-left:16px;border-left:3px solid var(--cobalt);color:color-mix(in srgb,var(--graphite) 72%,transparent);font-size:.86rem;line-height:1.62}.runner-provenance{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin:34px 0 0;padding:0;border:1px solid var(--graphite);list-style:none}.runner-provenance li{position:relative;display:grid;align-content:start;gap:5px;min-width:0;min-height:112px;padding:17px 18px;border-right:1px solid var(--rule)}.runner-provenance li:last-child{border-right:0}.runner-provenance li:not(:last-child):after{position:absolute;z-index:1;top:49%;right:-9px;display:grid;width:18px;height:18px;place-items:center;border:1px solid var(--rule);background:var(--surface);color:var(--cobalt);content:"→";font-family:ui-monospace,monospace;font-size:.62rem}.runner-provenance small{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.58rem;letter-spacing:.07em;text-transform:uppercase}.runner-provenance strong{font-size:.8rem;line-height:1.35}.runner-provenance span{color:color-mix(in srgb,var(--graphite) 58%,transparent);font-size:.68rem;line-height:1.4}.runner-launch,.runner-boundaries{margin-top:28px;border-top:1px solid var(--graphite)}.runner-launch-heading{display:flex;align-items:end;justify-content:space-between;gap:20px;padding:20px 0 16px}.runner-launch-heading>div,.runner-boundaries-heading{display:grid;gap:4px}.runner-launch h3,.runner-boundaries h3{margin:0;font-size:1.08rem;letter-spacing:-.02em}.runner-launch-heading a{flex:0 0 auto;color:var(--cobalt);font-size:.7rem;font-weight:750;text-underline-offset:3px}.runner-platform-tabs{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));width:min(460px,100%);border:1px solid var(--graphite);border-bottom:0}.runner-platform-tabs button{min-height:40px;padding:8px 12px;border:0;border-right:1px solid var(--graphite);background:transparent;color:color-mix(in srgb,var(--graphite) 62%,transparent);font-size:.72rem;font-weight:700;cursor:pointer}.runner-platform-tabs button:last-child{border-right:0}.runner-platform-tabs button.is-selected{background:var(--graphite);color:var(--surface)}.runner-command{display:grid;grid-template-columns:minmax(0,1fr) auto;min-width:0;border:1px solid var(--graphite);background:var(--graphite);color:var(--surface)}.runner-command code{min-width:0;padding:18px;overflow-wrap:anywhere;font-size:.72rem;line-height:1.55;white-space:pre-wrap}.runner-command button{min-width:120px;padding:10px 16px;border:0;border-left:1px solid color-mix(in srgb,var(--surface) 46%,transparent);background:var(--cobalt);color:var(--surface);font-size:.72rem;font-weight:750;cursor:pointer}.runner-command button:hover{background:color-mix(in srgb,var(--cobalt) 72%,var(--graphite))}.runner-copy-status{min-height:20px;margin:8px 0 0;color:color-mix(in srgb,var(--graphite) 58%,transparent);font-family:ui-monospace,monospace;font-size:.64rem;line-height:1.45}.runner-prerequisites{margin:10px 0 0;color:color-mix(in srgb,var(--graphite) 76%,transparent);font-size:.7rem;font-weight:650;line-height:1.5}.runner-gate-compare{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin-top:14px;border:1px solid var(--rule)}.runner-gate-compare>div{display:grid;gap:5px;padding:13px 15px;border-right:1px solid var(--rule)}.runner-gate-compare>div:last-child{border-right:0}.runner-gate-compare span{color:var(--cobalt);font-family:SFMono-Regular,Cascadia Code,Roboto Mono,ui-monospace,monospace;font-size:.58rem;font-weight:750;letter-spacing:.07em;text-transform:uppercase}.runner-gate-compare strong{font-size:.72rem;line-height:1.45}.runner-boundaries-heading{padding:20px 0 16px}.runner-boundaries dl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin:0;border:1px solid var(--rule)}.runner-boundaries dl>div{display:grid;gap:5px;min-width:0;padding:14px 16px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.runner-boundaries dl>div:nth-child(2n){border-right:0}.runner-boundaries dl>div:nth-last-child(-n+2){border-bottom:0}.runner-boundaries dt{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.6rem;font-weight:750;letter-spacing:.06em;text-transform:uppercase}.runner-boundaries dd{margin:0;color:color-mix(in srgb,var(--graphite) 72%,transparent);font-size:.74rem;line-height:1.45}.runner-boundaries>p{margin:12px 0 0;padding:12px 14px;border-left:3px solid var(--cobalt);background:var(--mist);color:color-mix(in srgb,var(--graphite) 72%,transparent);font-size:.72rem;line-height:1.5}.runner-boundaries>p strong{color:var(--graphite)}.runner-actions{display:flex;align-items:center;gap:12px;margin-top:26px}.runner-actions .primary-action{min-width:190px}.secondary-action{min-height:50px;padding:10px 18px;border:1px solid var(--graphite);background:transparent;color:var(--graphite);font-weight:700;cursor:pointer}.secondary-action:hover{background:var(--mist)}.evidence-dialog{position:fixed;inset:0 0 0 auto;width:min(640px,calc(100vw - 32px));max-width:none;height:100dvh;max-height:none;margin:0;padding:0;overflow:hidden;border:0;border-left:1px solid var(--graphite);background:var(--surface);color:var(--graphite);box-shadow:-24px 0 72px color-mix(in srgb,var(--graphite) 28%,transparent);overscroll-behavior:contain}.evidence-dialog::backdrop{background:color-mix(in srgb,var(--graphite) 64%,transparent);-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px)}.evidence-dialog-shell{display:grid;grid-template-rows:auto minmax(0,1fr);width:100%;height:100%}.evidence-dialog-shell>header{display:flex;align-items:center;justify-content:space-between;min-height:64px;padding-left:24px;border-bottom:1px solid var(--graphite);background:var(--surface);font-family:ui-monospace,monospace;font-size:.7rem;letter-spacing:.07em;text-transform:uppercase;z-index:1}.evidence-dialog-shell>header button{width:64px;min-height:64px;border:0;border-left:1px solid var(--graphite);background:transparent;color:var(--graphite);font-size:1.7rem;cursor:pointer}.evidence-dialog-shell>header button:hover{background:var(--mist)}.evidence-dialog-content{min-width:0;overflow-x:hidden;overflow-y:auto;overscroll-behavior:contain;scrollbar-gutter:stable}.evidence-dialog h2{margin:36px 32px 10px;font-size:clamp(1.6rem,3vw,2.6rem);letter-spacing:-.04em;line-height:1.05;overflow-wrap:anywhere}.evidence-dialog-content>p{margin:0 32px 28px;color:color-mix(in srgb,var(--graphite) 68%,transparent);line-height:1.6;overflow-wrap:anywhere}.evidence-dialog dl{margin:0 32px 28px;border-top:1px solid var(--rule)}.evidence-dialog dl>div{display:grid;grid-template-columns:100px 1fr;gap:12px;padding:11px 0;border-bottom:1px solid var(--rule)}.evidence-dialog dt{color:color-mix(in srgb,var(--graphite) 50%,transparent);font-family:ui-monospace,monospace;font-size:.62rem;text-transform:uppercase}.evidence-dialog dd{min-width:0;margin:0;overflow-wrap:anywhere;font-size:.76rem}.evidence-dialog dd code{word-break:break-word}.evidence-raw{margin:0 32px 32px;overflow:hidden;border:1px solid var(--graphite)}.evidence-raw summary{display:grid;grid-template-columns:1fr auto auto;align-items:center;gap:12px;min-height:54px;padding:10px 14px;background:var(--mist);cursor:pointer;list-style:none}.evidence-raw summary::-webkit-details-marker{display:none}.evidence-raw summary:after{color:var(--cobalt);content:"+";font-family:ui-monospace,monospace;font-size:1.1rem;font-weight:700}.evidence-raw[open] summary:after{content:"−"}.evidence-raw summary span{font-family:ui-monospace,monospace;font-size:.7rem;font-weight:750;letter-spacing:.06em;text-transform:uppercase}.evidence-raw summary small{color:color-mix(in srgb,var(--graphite) 56%,transparent);font-size:.65rem}.evidence-raw pre{max-width:100%;margin:0;padding:22px 18px 28px;overflow:hidden;border-top:1px solid var(--graphite);background:var(--graphite);color:var(--surface);font-size:.69rem;line-height:1.65;overflow-wrap:anywhere;white-space:pre-wrap;word-break:break-word}@media(max-width:1120px){.hero-copy{grid-template-columns:1fr;gap:28px}.eyebrow{margin-bottom:0}.hero-copy>p{max-width:760px}.workbench-grid{grid-template-columns:minmax(0,1fr) minmax(310px,.52fr)}.proof-summary{grid-template-columns:repeat(2,1fr)}.proof-summary>span:nth-child(2){border-right:0}.proof-summary>span:nth-child(-n+2){border-bottom:1px solid var(--rule)}.provenance-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:820px){.migration-workbench{padding-right:16px;padding-left:16px}.release-identity{grid-template-columns:minmax(0,1fr) auto}.release-identity>span{grid-column:1 / -1;min-height:38px}.evidence-dialog{width:100vw;border-left:0}.runner-dialog{width:100vw;max-height:100dvh;border:0}.runner-dialog-shell{max-height:100dvh}.runner-intro{grid-template-columns:1fr}.runner-intro>span{grid-column:auto}.runner-intro p{margin-top:8px}.runner-provenance{grid-template-columns:repeat(2,minmax(0,1fr))}.runner-provenance li:nth-child(2){border-right:0}.runner-provenance li:nth-child(-n+2){border-bottom:1px solid var(--rule)}.runner-provenance li:nth-child(2):after{display:none}.mode-selector{grid-template-columns:repeat(2,minmax(0,1fr))}.mode-selector label{min-height:66px;border-bottom:1px solid var(--rule)}.local-runner-entry{min-height:66px}.mode-selector label:first-child{grid-column:1 / -1;border-right:0}.mode-selector label:nth-child(2){border-right:1px solid var(--rule)}.mode-selector label:nth-child(n+2){border-bottom:0}.mode-selector label:after{top:8px;right:auto;bottom:8px;left:-1px;width:4px;height:auto}.local-runner-entry:after{top:8px;right:auto;bottom:8px;left:-1px;width:4px;height:auto;transform:scaleY(0);transform-origin:bottom}.local-runner-entry:hover:not(:disabled):after,.local-runner-entry:focus-visible:after{transform:scaleY(1);transform-origin:top}.mode-disclosure{grid-template-columns:1fr;gap:6px}.provenance-heading{grid-template-columns:1fr auto}.provenance-heading>span{grid-column:1 / -1}.provenance-run-link{grid-template-columns:minmax(160px,.55fr) minmax(0,1fr) auto minmax(0,1fr);gap:12px}.workbench-grid{grid-template-columns:1fr}.workbench-secondary{grid-row:auto}}@media(max-width:540px){.migration-workbench{padding:0 12px 40px}.runner-dialog-shell>header{min-height:56px;padding-left:18px}.runner-dialog-shell>header button{width:56px;min-height:56px}.runner-dialog-content{padding:24px 18px 30px}.runner-intro h2{font-size:clamp(2rem,11vw,3rem)}.runner-provenance{grid-template-columns:1fr;margin-top:26px}.runner-provenance li,.runner-provenance li:nth-child(2){min-height:0;border-right:0;border-bottom:1px solid var(--rule)}.runner-provenance li:last-child{border-bottom:0}.runner-provenance li:after{display:none!important}.runner-launch-heading{align-items:start;flex-direction:column;gap:8px}.runner-platform-tabs{width:100%}.runner-platform-tabs button{padding-right:8px;padding-left:8px;font-size:.65rem}.runner-command{grid-template-columns:1fr}.runner-command button{min-height:46px;border-top:1px solid color-mix(in srgb,var(--surface) 46%,transparent);border-left:0}.runner-gate-compare{grid-template-columns:1fr}.runner-gate-compare>div{border-right:0;border-bottom:1px solid var(--rule)}.runner-gate-compare>div:last-child{border-bottom:0}.release-identity{grid-template-columns:1fr;gap:0}.release-identity>div{padding:14px 16px 8px}.release-identity a{margin:0;padding:8px 16px 16px}.runner-boundaries dl{grid-template-columns:1fr}.runner-boundaries dl>div,.runner-boundaries dl>div:nth-child(2n),.runner-boundaries dl>div:nth-last-child(-n+2){border-right:0;border-bottom:1px solid var(--rule)}.runner-boundaries dl>div:last-child{border-bottom:0}.runner-actions{align-items:stretch;flex-direction:column}.runner-actions .primary-action,.runner-actions .secondary-action{width:100%}.evidence-dialog-shell>header{min-height:56px;padding-left:18px}.evidence-dialog-shell>header button{width:56px;min-height:56px}.evidence-dialog h2{margin:26px 20px 8px}.evidence-dialog-content>p,.evidence-dialog dl{margin-right:20px;margin-left:20px}.evidence-dialog dl>div{grid-template-columns:82px minmax(0,1fr)}.evidence-raw{margin-right:20px;margin-left:20px}.evidence-raw summary{grid-template-columns:1fr auto}.evidence-raw summary small{display:none}.hero{padding-top:18px}.wordmark span{display:none}.hero-copy{padding:28px 0 24px}.hero h1{font-size:clamp(2.55rem,14vw,3.5rem);line-height:.94}.hero-copy>p{padding-left:15px;font-size:.92rem}.mode-selector label{min-height:58px;padding:9px 10px}.mode-selector{grid-template-columns:1fr}.mode-selector label:first-child,.mode-selector label:nth-child(2),.local-runner-entry{grid-column:1;border-right:0;border-bottom:1px solid var(--rule)}.local-runner-entry{min-height:62px;padding:10px 62px 10px 10px}.local-runner-entry strong{font-size:.78rem}.local-runner-entry small{font-size:.62rem}.local-runner-entry em{top:6px;right:7px}.mode-selector label.is-unavailable:before{top:6px;right:7px}.mode-selector input{margin-right:9px}.mode-selector strong{font-size:.78rem}.mode-selector small{font-size:.62rem;line-height:1.35}.mode-selector label.is-unavailable small{padding-right:0}.mode-disclosure{min-height:0;padding:10px 12px}.mode-disclosure p{font-size:.76rem;line-height:1.42}.mode-disclosure a{font-size:.68rem}.run-controls{align-items:stretch;flex-direction:column;gap:8px;min-height:0;padding:10px 12px}.primary-action{width:100%;min-height:52px}.stage-rail{grid-template-columns:repeat(5,minmax(0,1fr));overflow:hidden}.stage-rail li{display:grid;grid-template-columns:minmax(0,1fr);align-content:center;gap:2px;min-height:62px;min-width:0;padding:7px 5px}.stage-index{min-width:0;font-size:.54rem}.stage-rail li>span:last-child{min-width:0}.stage-rail strong{overflow:hidden;font-size:.58rem;letter-spacing:0;text-overflow:clip;white-space:nowrap}.stage-rail small{font-size:.48rem;white-space:nowrap}.proof-summary{grid-template-columns:1fr 1fr;margin:18px 0 0}.proof-summary>span{min-height:70px;padding:10px 12px}.provenance-strip{margin-bottom:18px}.provenance-heading{grid-template-columns:1fr;gap:4px;padding:12px}.provenance-heading>span{grid-column:auto}.provenance-heading>small{text-align:left}.provenance-grid{grid-template-columns:1fr}.provenance-node{padding-right:14px;padding-left:14px}.provenance-run-link{grid-template-columns:1fr;gap:8px;padding:12px 14px}.run-arrow{transform:rotate(90deg);transform-origin:center;justify-self:start}.section-heading{align-items:start;flex-direction:column;min-height:auto;padding:16px}.section-heading>small{text-align:left}.hypothesis-threads{padding:18px 14px 18px 38px}.hypothesis-threads:before{left:20px}.hypothesis{padding:16px}.hypothesis:before{left:-19px;width:18px}.hypothesis:after{left:-24px}.hypothesis-refined,.hypothesis-accepted{margin-left:4%;width:96%}.hypothesis-falsified{width:90%}.hypothesis footer{align-items:flex-start;flex-direction:column}.hypothesis footer small{text-align:left}.candidate-list li{grid-template-columns:42px 1fr}.candidate-list li>em{grid-column:2;margin:-8px 0 12px 16px}.event-console{max-height:none}.event-console ol{max-height:480px}.artifact-list a{grid-template-columns:68px 1fr;min-height:64px}.artifact-list small{display:none}.evidence-dialog{width:100vw}.evidence-dialog h2,.evidence-dialog-content>p,.evidence-dialog dl{margin-right:20px;margin-left:20px}.evidence-dialog pre{padding-right:20px;padding-left:20px}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}html.boundary-modal-open{overflow:hidden}body{background:linear-gradient(90deg,color-mix(in srgb,var(--rule) 20%,transparent) 1px,transparent 1px) 0 0 / 56px 56px,var(--mist)}.traceforge-page{width:min(calc(100% - 32px),1440px);margin:0 auto;padding-bottom:64px}.site-header{position:relative;z-index:20;display:flex;align-items:center;justify-content:space-between;min-height:74px;border-bottom:1px solid var(--graphite);background:color-mix(in srgb,var(--mist) 92%,transparent);-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px)}.site-wordmark{display:inline-flex;align-items:baseline;gap:10px;color:var(--graphite);font-size:.82rem;font-weight:850;letter-spacing:.15em;text-decoration:none}.site-wordmark span{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.64rem;letter-spacing:.08em}.site-tools{display:flex;align-items:center;gap:10px}.local-boundary-trigger,.site-release{min-height:36px;padding:8px 12px;border:1px solid var(--graphite);background:var(--surface);color:var(--graphite);font-family:ui-monospace,monospace;font-size:.68rem;font-weight:750;letter-spacing:.04em;text-decoration:none;text-transform:uppercase}.local-boundary-trigger{cursor:pointer}.local-boundary-trigger:hover,.site-release:hover{border-color:var(--cobalt);color:var(--cobalt)}.landing-hero{display:grid;grid-template-columns:minmax(0,1.5fr) minmax(320px,.5fr);min-height:min(690px,calc(100vh - 74px));border-bottom:1px solid var(--graphite);background:color-mix(in srgb,var(--surface) 88%,transparent)}.landing-copy{display:flex;align-items:flex-start;flex-direction:column;justify-content:center;min-width:0;padding:clamp(72px,9vw,138px) clamp(30px,6vw,92px) clamp(58px,8vw,112px) 0}.hero-kicker,.trace-label,.judge-mode>header>span,.run-header>div>span,.boundary-callout>div>span,.wizard-header span,.wizard-section-heading>span,.release-evidence-item small,.current-activity>span,.run-constraints>span,.proof-result-grid>article>span{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.7rem;font-weight:800;letter-spacing:.1em;text-transform:uppercase}.landing-copy h1{max-width:920px;margin:20px 0 28px;font-size:clamp(3.1rem,6.4vw,6.4rem);font-weight:610;letter-spacing:-.066em;line-height:.91}.landing-copy>p:not(.hero-assurance){max-width:720px;margin:0;color:color-mix(in srgb,var(--graphite) 76%,transparent);font-size:clamp(1.02rem,1.4vw,1.28rem);line-height:1.65}.hero-actions{display:flex;align-items:center;gap:18px;margin-top:38px}.action-primary,.action-secondary,.action-link{display:inline-flex;align-items:center;justify-content:center;min-height:50px;padding:12px 20px;border-radius:0;font-weight:760;text-decoration:none;cursor:pointer}.action-primary{gap:44px;min-width:290px;border:1px solid var(--cobalt);background:var(--cobalt);color:var(--surface);text-align:left}.action-primary span{font-size:1.1rem;transition:transform .16s ease}.action-primary:hover:not(:disabled){border-color:var(--graphite);background:var(--graphite)}.action-primary:hover:not(:disabled) span{transform:translate(3px,-3px)}.action-secondary{border:1px solid var(--graphite);background:var(--surface);color:var(--graphite)}.action-secondary:hover:not(:disabled){border-color:var(--cobalt);color:var(--cobalt)}.action-link{min-height:42px;padding-right:4px;padding-left:4px;border:0;border-bottom:1px solid var(--graphite);background:transparent;color:var(--graphite)}.action-link:hover:not(:disabled){border-color:var(--cobalt);color:var(--cobalt)}.hero-assurance{max-width:720px;margin:20px 0 0;color:color-mix(in srgb,var(--graphite) 58%,transparent);font-family:ui-monospace,monospace;font-size:.72rem;line-height:1.55}.custody-trace{position:relative;display:grid;align-content:center;min-width:0;padding:56px clamp(26px,4vw,56px);border-left:1px solid var(--graphite);background:var(--graphite);color:var(--surface);overflow:hidden}.custody-trace:before{position:absolute;top:0;bottom:0;left:33px;width:1px;background:color-mix(in srgb,var(--surface) 18%,transparent);content:""}.custody-trace:after{position:absolute;top:0;left:31px;width:5px;height:25%;background:var(--cobalt);content:"";animation:custody-signal 4.6s ease-in-out infinite}@keyframes custody-signal{0%,10%{transform:translateY(-100%)}80%,to{transform:translateY(500%)}}.trace-label{color:color-mix(in srgb,var(--surface) 54%,transparent)}.custody-trace ol{display:grid;gap:0;margin:30px 0 0;padding:0;list-style:none}.custody-trace li{display:grid;grid-template-columns:42px minmax(0,1fr);gap:14px;min-height:98px;padding:18px 0;border-top:1px solid color-mix(in srgb,var(--surface) 22%,transparent)}.custody-trace li:last-child{border-bottom:1px solid color-mix(in srgb,var(--surface) 22%,transparent)}.custody-trace i{color:#89a6ff;font-family:ui-monospace,monospace;font-size:.67rem;font-style:normal}.custody-trace li>span{display:grid;gap:5px}.custody-trace strong{font-size:.94rem}.custody-trace small{color:color-mix(in srgb,var(--surface) 58%,transparent);font-size:.76rem;line-height:1.45}.trust-boundary-strip{display:grid;grid-template-columns:repeat(3,1fr);margin:0;padding:0;border-right:1px solid var(--graphite);border-bottom:1px solid var(--graphite);border-left:1px solid var(--graphite);background:var(--surface);list-style:none}.trust-boundary-strip li{position:relative;min-height:56px;padding:18px 18px 16px 42px;border-right:1px solid var(--rule);font-size:.82rem;font-weight:720}.trust-boundary-strip li:last-child{border-right:0}.trust-boundary-strip li:before{position:absolute;top:23px;left:20px;width:8px;height:8px;border:1px solid var(--cobalt);background:color-mix(in srgb,var(--cobalt) 14%,var(--surface));content:""}.release-evidence-strip{display:grid;grid-template-columns:1.1fr 1.2fr 1fr 1.15fr 1.15fr;margin-top:24px;border:1px solid var(--rule);background:var(--surface)}.release-evidence-item{display:grid;align-content:center;min-width:0;min-height:108px;padding:18px;border-right:1px solid var(--rule);text-decoration:none}.release-evidence-item:last-child{border-right:0}.release-evidence-item:hover{background:color-mix(in srgb,var(--cobalt) 6%,var(--surface))}.release-evidence-item strong{margin-top:8px;overflow:hidden;font-size:.84rem;text-overflow:ellipsis;white-space:nowrap}.release-evidence-item span{margin-top:4px;color:color-mix(in srgb,var(--graphite) 54%,transparent);font-size:.68rem;line-height:1.4}.release-evidence-item.evidence-pass strong{color:var(--cobalt)}.run-error{display:grid;grid-template-columns:150px 1fr;gap:18px;margin-top:24px;padding:18px 20px;border:1px solid var(--signal);border-left-width:5px;background:var(--surface);color:var(--signal)}.judge-mode,.run-workspace{margin-top:72px;border-top:1px solid var(--graphite)}.judge-mode>header,.run-header{display:grid;grid-template-columns:minmax(150px,.28fr) minmax(0,1fr);gap:clamp(28px,6vw,90px);padding:26px 0 34px}.judge-mode>header>div{display:grid;grid-template-columns:minmax(0,.9fr) minmax(260px,.55fr);align-items:end;gap:36px}.judge-mode h2,.run-header h2,.boundary-callout h2{margin:0;font-size:clamp(2rem,3.5vw,3.7rem);font-weight:620;letter-spacing:-.045em;line-height:1}.judge-mode>header p,.run-header p,.boundary-callout>p{margin:0;color:color-mix(in srgb,var(--graphite) 68%,transparent);font-size:.92rem;line-height:1.65}.judge-path-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border:1px solid var(--graphite);background:var(--surface)}.judge-path-grid article{display:grid;align-content:start;min-height:270px;padding:clamp(26px,4vw,48px);border-right:1px solid var(--graphite)}.judge-path-grid article:last-child{border-right:0}.judge-path-grid article>span{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.66rem;font-weight:800;letter-spacing:.06em;text-transform:uppercase}.judge-path-grid h3{margin:18px 0 12px;font-size:clamp(1.4rem,2vw,2rem);letter-spacing:-.025em}.judge-path-grid p{max-width:620px;margin:0 0 28px;color:color-mix(in srgb,var(--graphite) 66%,transparent);font-size:.9rem;line-height:1.65}.judge-path-grid .action-secondary{width:fit-content;margin-top:auto}.advanced-modes{margin-top:14px;border:1px solid var(--rule);background:color-mix(in srgb,var(--surface) 74%,transparent)}.advanced-modes>summary,.raw-run-output>summary,.proof-detail>summary{display:flex;align-items:center;justify-content:space-between;min-height:58px;padding:14px 18px;font-weight:750;cursor:pointer;list-style:none}.advanced-modes>summary:after,.raw-run-output>summary:after,.proof-detail>summary:after{color:var(--cobalt);content:"+";font-family:ui-monospace,monospace;font-size:1.1rem}.advanced-modes[open]>summary:after,.raw-run-output[open]>summary:after,.proof-detail[open]>summary:after{content:"−"}.sample-mode-selector{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border-top:1px solid var(--rule)}.sample-mode-selector label{display:grid;grid-template-columns:20px minmax(0,1fr);gap:12px;min-height:108px;padding:20px;border-right:1px solid var(--rule);cursor:pointer}.sample-mode-selector label:last-child{border-right:0}.sample-mode-selector label.is-selected{background:color-mix(in srgb,var(--cobalt) 7%,var(--surface))}.sample-mode-selector input{width:18px;height:18px;accent-color:var(--cobalt)}.sample-mode-selector label>span{display:grid;gap:6px}.sample-mode-selector strong{font-size:.88rem}.sample-mode-selector small{color:color-mix(in srgb,var(--graphite) 62%,transparent);font-size:.76rem;line-height:1.5}.advanced-run-action{display:flex;align-items:center;gap:16px;padding:18px;border-top:1px solid var(--rule)}.advanced-run-action>span{color:color-mix(in srgb,var(--graphite) 54%,transparent);font-family:ui-monospace,monospace;font-size:.68rem}.run-header{grid-template-columns:minmax(0,1fr) auto;align-items:end}.run-header>div:first-child{display:grid;grid-template-columns:minmax(150px,.28fr) minmax(220px,.72fr) minmax(260px,.7fr);align-items:end;gap:26px}.run-identity{display:grid;gap:5px;min-width:180px;padding:14px 16px;border:1px solid var(--rule);background:var(--surface)}.run-identity small,.run-identity strong{font-family:ui-monospace,monospace;font-size:.64rem;text-transform:uppercase}.run-identity code{overflow:hidden;font-size:.7rem;text-overflow:ellipsis}.run-identity strong{color:var(--cobalt)}.run-workspace .stage-rail{position:relative;top:auto;border:1px solid var(--graphite);background:var(--surface);-webkit-backdrop-filter:none;backdrop-filter:none}.run-workspace .stage-rail li{min-height:76px}.run-focus-grid{display:grid;grid-template-columns:minmax(0,1.42fr) minmax(320px,.58fr);margin-top:18px;border:1px solid var(--graphite);background:var(--surface)}.current-activity,.run-constraints{min-width:0;padding:clamp(26px,4vw,44px)}.current-activity{border-right:1px solid var(--graphite)}.current-activity h3,.run-constraints h3{margin:16px 0 12px;font-size:clamp(1.45rem,2.6vw,2.5rem);letter-spacing:-.035em;line-height:1.05}.current-activity>p{max-width:760px;margin:0;color:color-mix(in srgb,var(--graphite) 68%,transparent);font-size:.9rem;line-height:1.6}.current-activity dl{display:grid;grid-template-columns:repeat(3,1fr);margin:32px 0 0;border-top:1px solid var(--rule)}.current-activity dl>div{display:grid;gap:6px;min-width:0;padding:14px 12px 0 0}.current-activity dt,.proof-result-grid dt,.runner-release-facts dt{color:color-mix(in srgb,var(--graphite) 52%,transparent);font-family:ui-monospace,monospace;font-size:.62rem;letter-spacing:.05em;text-transform:uppercase}.current-activity dd{min-width:0;margin:0;overflow:hidden;font-size:.78rem;font-weight:750;text-overflow:ellipsis}.run-constraints{background:var(--graphite);color:var(--surface)}.run-constraints>span{color:#89a6ff}.run-constraints h3{font-size:1.3rem;line-height:1.2}.run-constraints ul{display:grid;gap:12px;margin:26px 0 0;padding:0;list-style:none}.run-constraints li{position:relative;padding-left:20px;color:color-mix(in srgb,var(--surface) 72%,transparent);font-size:.8rem;line-height:1.45}.run-constraints li:before{position:absolute;top:.5em;left:0;width:8px;height:1px;background:#89a6ff;content:""}.raw-run-output{margin-top:18px;border:1px solid var(--rule);background:var(--surface)}.raw-run-output>summary small,.proof-detail>summary small{margin-left:auto;margin-right:18px;color:color-mix(in srgb,var(--graphite) 48%,transparent);font-family:ui-monospace,monospace;font-size:.66rem}.raw-run-output .event-console{margin:0;border:0;border-top:1px solid var(--rule)}.proof-outcome{margin-top:28px}.proof-verdict{display:grid;grid-template-columns:230px 1fr;min-height:128px;border:1px solid var(--graphite);background:var(--surface)}.proof-verdict>span{display:grid;place-items:center;padding:20px;background:var(--graphite);color:var(--surface);font-family:ui-monospace,monospace;font-size:.68rem;font-weight:800;letter-spacing:.07em;text-align:center;text-transform:uppercase}.proof-verdict.is-passing>span{background:var(--cobalt)}.proof-verdict>div{display:grid;align-content:center;padding:24px 30px}.proof-verdict h2{margin:0;font-size:clamp(1.8rem,3vw,3rem);letter-spacing:-.04em}.proof-verdict p{margin:8px 0 0;color:color-mix(in srgb,var(--graphite) 58%,transparent);font-family:ui-monospace,monospace;font-size:.72rem}.proof-result-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border-right:1px solid var(--graphite);border-bottom:1px solid var(--graphite);border-left:1px solid var(--graphite);background:var(--surface)}.proof-result-grid>article{min-width:0;padding:clamp(24px,3.5vw,40px);border-right:1px solid var(--graphite)}.proof-result-grid>article:last-child{border-right:0}.proof-result-grid h3{margin:12px 0 24px;font-size:1.25rem}.proof-result-grid dl{display:grid;margin:0}.proof-result-grid dl>div{display:grid;grid-template-columns:minmax(90px,.6fr) minmax(0,1fr);gap:12px;padding:9px 0;border-top:1px solid color-mix(in srgb,var(--rule) 70%,transparent)}.proof-result-grid dd{min-width:0;margin:0;overflow:hidden;font-family:ui-monospace,monospace;font-size:.68rem;font-weight:720;text-align:right;text-overflow:ellipsis;white-space:nowrap}.verification-checklist{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin:14px 0 0;padding:0;border:1px solid var(--rule);background:var(--surface);list-style:none}.verification-checklist li{position:relative;padding:16px 16px 16px 42px;border-right:1px solid var(--rule);color:color-mix(in srgb,var(--graphite) 58%,transparent);font-size:.75rem;font-weight:700}.verification-checklist li:last-child{border-right:0}.verification-checklist li:before{position:absolute;top:18px;left:18px;color:var(--rule);content:"○";font-family:ui-monospace,monospace}.verification-checklist li.verified{color:var(--graphite)}.verification-checklist li.verified:before{color:var(--cobalt);content:"●"}.proof-actions{display:flex;flex-wrap:wrap;gap:12px;margin-top:18px}.proof-actions .action-primary,.proof-actions .action-secondary{min-width:190px}.proof-detail-stack{display:grid;gap:10px;margin-top:30px}.proof-detail{border:1px solid var(--rule);background:var(--surface)}.proof-detail>summary{min-height:66px}.proof-detail>section{margin:0;border:0;border-top:1px solid var(--rule)}.proof-detail .provenance-strip{margin:0}.boundary-callout{display:grid;grid-template-columns:minmax(240px,.72fr) minmax(320px,1fr) auto;align-items:center;gap:clamp(28px,5vw,72px);margin-top:80px;padding:clamp(30px,5vw,54px);border:1px solid var(--graphite);background:var(--graphite);color:var(--surface)}.boundary-callout>div>span{color:#89a6ff}.boundary-callout h2{margin-top:12px;font-size:clamp(1.7rem,2.6vw,2.7rem)}.boundary-callout>p{color:color-mix(in srgb,var(--surface) 68%,transparent)}.boundary-callout>button{min-height:48px;padding:12px 16px;border:1px solid var(--surface);background:transparent;color:var(--surface);font-weight:750;cursor:pointer}.boundary-callout>button:hover{background:var(--surface);color:var(--graphite)}.product-footer{display:flex;align-items:center;gap:20px;min-height:72px;border-bottom:1px solid var(--graphite);font-size:.7rem}.product-footer a{color:var(--cobalt);font-weight:750;text-underline-offset:3px}.product-footer span{margin-left:auto;color:color-mix(in srgb,var(--graphite) 52%,transparent);font-family:ui-monospace,monospace}.boundary-dialog,.run-wizard{width:min(calc(100vw - 32px),1180px);max-width:none;max-height:min(92vh,920px);margin:auto;padding:0;border:1px solid var(--graphite);border-radius:0;background:var(--surface);color:var(--graphite);box-shadow:0 30px 100px color-mix(in srgb,var(--graphite) 42%,transparent)}.boundary-dialog::backdrop,.run-wizard::backdrop{background:color-mix(in srgb,var(--graphite) 74%,transparent);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px)}.boundary-dialog-shell,.run-wizard-shell{overflow:auto;max-height:min(92vh,920px)}.boundary-dialog-shell>header,.wizard-header{position:sticky;top:0;z-index:4;display:flex;align-items:flex-start;justify-content:space-between;gap:24px;padding:26px 30px;border-bottom:1px solid var(--graphite);background:var(--graphite);color:var(--surface)}.boundary-dialog-shell>header>div,.wizard-header>div{display:grid;gap:6px}.boundary-dialog-shell h2,.wizard-header h2{margin:0;font-size:clamp(1.5rem,2.5vw,2.4rem);letter-spacing:-.035em}.wizard-header p{margin:2px 0 0;color:color-mix(in srgb,var(--surface) 64%,transparent);font-size:.8rem}.boundary-dialog-shell>header button,.wizard-header>button{display:grid;width:44px;height:44px;place-items:center;border:1px solid color-mix(in srgb,var(--surface) 54%,transparent);background:transparent;color:var(--surface);font-size:1.4rem;cursor:pointer}.boundary-diagram{display:grid;grid-template-columns:repeat(3,minmax(0,1fr))}.boundary-diagram article{min-height:340px;padding:clamp(28px,4vw,48px);border-right:1px solid var(--graphite)}.boundary-diagram article:last-child{border-right:0}.boundary-diagram article>span{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.68rem;font-weight:800;letter-spacing:.07em;text-transform:uppercase}.boundary-diagram h3{margin:18px 0 26px;font-size:1.35rem}.boundary-diagram ul{display:grid;gap:15px;margin:0;padding:0;list-style:none}.boundary-diagram li{position:relative;padding-left:18px;color:color-mix(in srgb,var(--graphite) 68%,transparent);font-size:.84rem;line-height:1.5}.boundary-diagram li:before{position:absolute;top:.55em;left:0;width:7px;height:1px;background:var(--cobalt);content:""}.wizard-steps{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));margin:0;padding:0;border-bottom:1px solid var(--graphite);list-style:none}.wizard-steps li{border-right:1px solid var(--rule)}.wizard-steps li:last-child{border-right:0}.wizard-steps button{display:flex;align-items:center;gap:12px;width:100%;min-height:68px;padding:14px 18px;border:0;border-bottom:4px solid transparent;background:transparent;color:color-mix(in srgb,var(--graphite) 52%,transparent);text-align:left;cursor:pointer}.wizard-steps .is-current button{border-bottom-color:var(--cobalt);background:color-mix(in srgb,var(--cobalt) 6%,var(--surface));color:var(--graphite)}.wizard-steps .is-complete button{color:var(--cobalt)}.wizard-steps i{font-family:ui-monospace,monospace;font-size:.66rem;font-style:normal}.wizard-steps span{font-size:.82rem;font-weight:760}.wizard-step-panel{min-height:500px;padding:clamp(28px,4.5vw,56px)}.wizard-section-heading{display:grid;grid-template-columns:minmax(120px,.28fr) minmax(0,1fr);gap:clamp(24px,5vw,64px);margin-bottom:28px}.wizard-section-heading h3{margin:0;font-size:clamp(1.55rem,2.8vw,2.7rem);letter-spacing:-.04em}.wizard-section-heading h3:focus-visible{outline:2px solid var(--cobalt);outline-offset:5px}.wizard-section-heading p{margin:8px 0 0;color:color-mix(in srgb,var(--graphite) 58%,transparent);font-size:.8rem}.run-wizard .runner-command{display:grid;grid-template-columns:minmax(0,1fr) auto;border:1px solid var(--graphite);background:var(--graphite)}.run-wizard .runner-command code{display:block;max-height:122px;padding:18px;color:var(--surface);font-size:.68rem;line-height:1.6;overflow:auto;overflow-wrap:anywhere}.run-wizard .runner-command button{min-width:138px;border:0;border-left:1px solid color-mix(in srgb,var(--surface) 35%,transparent);background:var(--cobalt);color:var(--surface);font-weight:760;cursor:pointer}.runner-copy-status{min-height:42px;margin:0;padding:12px 14px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);border-left:1px solid var(--rule);color:color-mix(in srgb,var(--graphite) 58%,transparent);font-family:ui-monospace,monospace;font-size:.66rem;line-height:1.45}.runner-copy-status.status-copied{color:var(--cobalt)}.runner-copy-status.status-failed{color:var(--signal)}.runner-release-facts{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));margin:18px 0 0;border:1px solid var(--rule)}.runner-release-facts>div{display:grid;gap:7px;min-width:0;padding:14px;border-right:1px solid var(--rule)}.runner-release-facts>div:last-child{border-right:0}.runner-release-facts dd{min-width:0;margin:0;overflow:hidden;font-size:.72rem;font-weight:730;text-overflow:ellipsis}.command-disclosure{margin-top:18px;border:1px solid var(--rule)}.command-disclosure>summary{min-height:52px;padding:15px 18px;font-size:.8rem;font-weight:750;cursor:pointer}.command-disclosure ol{display:grid;gap:10px;margin:0;padding:20px 24px 22px 50px;border-top:1px solid var(--rule);color:color-mix(in srgb,var(--graphite) 68%,transparent);font-size:.78rem;line-height:1.5}.runner-resource-links{display:flex;flex-wrap:wrap;gap:18px;margin-top:18px}.runner-resource-links a{color:var(--cobalt);font-size:.74rem;font-weight:750;text-underline-offset:3px}.runner-evidence-link{display:inline-flex;align-items:center;gap:28px;width:fit-content;min-height:44px;margin-top:20px;padding:10px 0;border-bottom:1px solid var(--cobalt);color:var(--cobalt);font-size:.78rem;font-weight:780;text-decoration:none}.runner-evidence-link:hover{border-color:var(--graphite);color:var(--graphite)}.local-handoff-note{display:grid;grid-template-columns:120px minmax(180px,.45fr) minmax(260px,1fr);align-items:center;gap:18px;padding:20px;border:1px solid var(--cobalt);background:color-mix(in srgb,var(--cobalt) 7%,var(--surface))}.local-handoff-note>span{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.64rem;font-weight:800;text-transform:uppercase}.local-handoff-note strong{font-size:.86rem}.local-handoff-note p{margin:0;color:color-mix(in srgb,var(--graphite) 62%,transparent);font-size:.76rem;line-height:1.45}.scope-preview,.proof-preview-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin-top:18px;border:1px solid var(--rule)}.scope-preview article,.proof-preview-grid article{padding:22px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.scope-preview article:nth-child(2n),.proof-preview-grid article:nth-child(2n){border-right:0}.scope-preview article:nth-last-child(-n+2),.proof-preview-grid article:nth-last-child(-n+2){border-bottom:0}.scope-preview span,.proof-preview-grid span{color:var(--cobalt);font-family:ui-monospace,monospace;font-size:.62rem;font-weight:800;text-transform:uppercase}.scope-preview h4{margin:10px 0 8px;font-size:.94rem}.scope-preview p,.approval-note{margin:0;color:color-mix(in srgb,var(--graphite) 62%,transparent);font-size:.76rem;line-height:1.55}.approval-note{margin-top:18px;padding-left:16px;border-left:3px solid var(--cobalt)}.local-run-stages{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));margin:0;padding:0;border:1px solid var(--graphite);list-style:none}.local-run-stages li{min-width:0;padding:18px 12px;border-right:1px solid var(--rule);font-family:ui-monospace,monospace;font-size:.66rem;font-weight:750;text-align:center}.local-run-stages li:last-child{border-right:0;background:var(--cobalt);color:var(--surface)}.proof-preview-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.proof-preview-grid article{display:grid;gap:10px;border-bottom:0}.proof-preview-grid article:nth-child(2n){border-right:1px solid var(--rule)}.proof-preview-grid article:last-child{border-right:0}.proof-preview-grid strong{font-size:.78rem;line-height:1.45}.wizard-actions{display:flex;align-items:center;justify-content:flex-end;gap:14px;min-height:82px;padding:14px clamp(24px,4.5vw,56px);border-top:1px solid var(--graphite);background:color-mix(in srgb,var(--mist) 55%,var(--surface))}.wizard-actions .action-link:first-child{margin-right:auto}@media(max-width:1040px){.landing-hero{grid-template-columns:minmax(0,1.15fr) minmax(300px,.55fr)}.landing-copy{padding-right:34px}.release-evidence-strip{grid-template-columns:repeat(3,minmax(0,1fr))}.release-evidence-item:nth-child(3){border-right:0}.release-evidence-item:nth-child(-n+3){border-bottom:1px solid var(--rule)}.judge-mode>header>div,.run-header>div:first-child{grid-template-columns:1fr}.run-header>div:first-child{gap:8px}.boundary-callout{grid-template-columns:1fr 1fr}.boundary-callout>button{width:fit-content}}@media(max-width:820px){.traceforge-page{width:min(calc(100% - 24px),1440px)}.landing-hero,.run-focus-grid,.boundary-diagram{grid-template-columns:1fr}.landing-hero{min-height:auto}.landing-copy{padding:76px 18px 66px 0}.custody-trace{border-top:1px solid var(--graphite);border-left:0}.custody-trace ol{grid-template-columns:repeat(2,minmax(0,1fr))}.custody-trace li:nth-child(2){border-left:1px solid color-mix(in srgb,var(--surface) 22%,transparent);padding-left:18px}.trust-boundary-strip,.judge-path-grid,.proof-result-grid,.verification-checklist{grid-template-columns:1fr}.trust-boundary-strip li,.judge-path-grid article,.proof-result-grid>article,.verification-checklist li,.boundary-diagram article{border-right:0;border-bottom:1px solid var(--rule)}.trust-boundary-strip li:last-child,.judge-path-grid article:last-child,.proof-result-grid>article:last-child,.verification-checklist li:last-child,.boundary-diagram article:last-child{border-bottom:0}.judge-mode>header,.run-header,.wizard-section-heading{grid-template-columns:1fr;gap:14px}.run-header{align-items:stretch}.run-identity{min-width:0}.current-activity{border-right:0;border-bottom:1px solid var(--graphite)}.proof-verdict{grid-template-columns:1fr}.proof-verdict>span{min-height:54px}.boundary-callout{grid-template-columns:1fr}.runner-release-facts,.local-run-stages{grid-template-columns:repeat(2,minmax(0,1fr))}.runner-release-facts>div,.local-run-stages li{border-bottom:1px solid var(--rule)}.local-handoff-note{grid-template-columns:1fr}}@media(max-width:580px){.traceforge-page{width:100%;padding:0 14px 40px}.site-header{min-height:62px}.site-wordmark span,.site-release{display:none}.landing-copy{padding:58px 0 50px}.landing-copy h1{margin-top:16px;font-size:clamp(2.75rem,15vw,4.4rem)}.hero-actions,.proof-actions,.wizard-actions,.advanced-run-action{align-items:stretch;flex-direction:column}.action-primary,.action-secondary,.action-link,.proof-actions .action-primary,.proof-actions .action-secondary{width:100%;min-width:0}.hero-actions .action-link{width:fit-content}.custody-trace{padding:42px 24px}.custody-trace ol,.release-evidence-strip,.sample-mode-selector,.scope-preview,.proof-preview-grid{grid-template-columns:1fr}.custody-trace li:nth-child(2){border-left:0;padding-left:0}.release-evidence-item,.release-evidence-item:nth-child(3),.release-evidence-item:nth-child(-n+3),.sample-mode-selector label,.scope-preview article,.scope-preview article:nth-child(2n),.scope-preview article:nth-last-child(-n+2),.proof-preview-grid article,.proof-preview-grid article:nth-child(2n){border-right:0;border-bottom:1px solid var(--rule)}.release-evidence-item:last-child,.sample-mode-selector label:last-child,.scope-preview article:last-child,.proof-preview-grid article:last-child{border-bottom:0}.judge-mode,.run-workspace{margin-top:56px}.judge-mode>header>div{grid-template-columns:1fr;gap:16px}.judge-path-grid article{min-height:0;padding:28px 22px}.run-workspace .stage-rail{grid-template-columns:1fr}.run-workspace .stage-rail li{min-height:52px;padding:10px 12px;border-right:0;border-bottom:1px solid var(--rule)}.run-workspace .stage-index{font-size:.68rem}.run-workspace .stage-rail strong{font-size:.78rem}.run-workspace .stage-rail small{font-size:.7rem}.current-activity,.run-constraints{padding:26px 22px}.current-activity dl{grid-template-columns:1fr}.proof-verdict>div,.proof-result-grid>article{padding:24px 20px}.proof-detail>summary{align-items:flex-start}.proof-detail>summary small{display:none}.boundary-callout{margin-top:56px;padding:30px 22px}.product-footer{align-items:flex-start;flex-direction:column;gap:10px;padding:20px 0}.product-footer span{margin-left:0;line-height:1.45}.boundary-dialog,.run-wizard{width:100vw;max-height:100dvh;border-right:0;border-left:0}.boundary-dialog-shell,.run-wizard-shell{max-height:100dvh}.boundary-dialog-shell>header,.wizard-header{padding:20px}.wizard-steps span{display:none}.wizard-steps button{justify-content:center;min-height:54px}.wizard-step-panel{min-height:0;padding:28px 20px}.run-wizard .runner-command{grid-template-columns:1fr}.run-wizard .runner-command button{min-height:48px;border-top:1px solid color-mix(in srgb,var(--surface) 35%,transparent);border-left:0}.runner-release-facts,.local-run-stages{grid-template-columns:1fr}.wizard-actions{padding:16px 20px 24px}.wizard-actions .action-link:first-child{margin-right:0}}