: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}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,.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}.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:var(--surface)}.mode-selector label.is-selected:after{background:var(--cobalt)}.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}.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}.run-controls{display:flex;align-items:center;gap:18px;margin-top:22px}.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}.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;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}.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-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}.evidence-dialog{position:fixed;inset:0 0 0 auto;width:min(620px,92vw);max-width:none;height:100vh;max-height:none;margin:0;padding:0;overflow:auto;border:0;border-left:1px solid var(--graphite);background:var(--surface);color:var(--graphite);box-shadow:-18px 0 50px color-mix(in srgb,var(--graphite) 18%,transparent)}.evidence-dialog::backdrop{background:color-mix(in srgb,var(--graphite) 38%,transparent)}.evidence-dialog>div>header{position:sticky;top:0;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}.evidence-dialog 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 header button:hover{background:var(--mist)}.evidence-dialog h2{margin:36px 32px 10px;font-size:clamp(1.6rem,3vw,2.6rem);letter-spacing:-.04em}.evidence-dialog>div>p{margin:0 32px 28px;color:color-mix(in srgb,var(--graphite) 68%,transparent);line-height:1.6}.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 pre{margin:0;padding:26px 32px 48px;overflow-x:auto;border-top:1px solid var(--graphite);background:var(--graphite);color:var(--surface);font-size:.69rem;line-height:1.65}@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)}}@media(max-width:820px){.migration-workbench{padding-right:16px;padding-left:16px}.mode-selector{grid-template-columns:1fr}.mode-selector label{min-height:66px;border-right:0;border-bottom:1px solid var(--rule)}.mode-selector label:last-child{border-bottom:0}.mode-selector label:after{top:8px;right:auto;bottom:8px;left:-1px;width:4px;height:auto}.mode-disclosure{grid-template-columns:1fr;gap:6px}.workbench-grid{grid-template-columns:1fr}.workbench-secondary{grid-row:auto}}@media(max-width:540px){.migration-workbench{padding:0 12px 40px}.hero{padding-top:18px}.wordmark span{display:none}.hero-copy{padding:36px 0 30px}.hero h1{font-size:clamp(2.55rem,14vw,3.5rem);line-height:.94}.hero-copy>p{padding-left:15px;font-size:.92rem}.run-controls{align-items:stretch;flex-direction:column}.primary-action{width:100%;min-height:52px}.stage-rail{grid-template-columns:repeat(5,minmax(112px,1fr));overflow-x:auto;scrollbar-width:thin}.stage-rail li{min-height:62px}.proof-summary{grid-template-columns:1fr 1fr;margin:18px 0}.proof-summary>span{min-height:70px;padding:10px 12px}.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>div>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}}