: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-copy-status.status-copied{color:var(--cobalt)}.runner-copy-status.status-failed{color:var(--signal)}.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}}