.launch-console{gap:.8rem;padding:.8rem;display:grid}.launch-console__input{border:1px solid var(--line-strong);background:var(--surface);grid-template-columns:minmax(10rem,.3fr) minmax(0,1fr);align-items:center;gap:1rem;min-height:6.8rem;padding:.9rem 1rem;display:grid}.launch-console__input .console-kicker{margin:0}.launch-console blockquote{color:var(--ink);margin:0;font-size:clamp(1.05rem,1.55vw,1.45rem);font-weight:650;line-height:1.35}.launch-console__pipeline{border:1px solid var(--line);grid-template-columns:repeat(7,minmax(0,1fr));display:grid}.pipeline-token{border-right:1px solid var(--line);background:var(--surface-2);align-content:center;gap:.3rem;min-width:0;min-height:4.3rem;padding:.5rem;display:grid;position:relative}.pipeline-token:last-child{border-right:0}.pipeline-token:not(:last-child):after{z-index:2;border-top:1px solid var(--line-strong);border-right:1px solid var(--line-strong);background:var(--surface-2);content:"";width:.7rem;height:.7rem;position:absolute;top:50%;right:-.38rem;transform:translateY(-50%)rotate(45deg)}.pipeline-token span,.pipeline-token strong,.launch-console__wedge,.stage-intro,.obligation-item,.authority-boundary,.evidence-graph,.mapping-panel,.rejected-panel,.model-authority,.slice-panel,.selector-panel,.technical-details,.not-evaluated{font-family:var(--mono)}.pipeline-token span{color:var(--dim);font-size:.55rem}.pipeline-token strong{overflow-wrap:anywhere;color:var(--muted);font-size:.62rem;line-height:1.25}.launch-console__wedge{border-left:3px solid var(--cyan);color:var(--muted);background:#54d5ce09;align-items:center;gap:.7rem;margin:0;padding:.5rem .7rem;font-size:.7rem;display:flex}.launch-console__wedge span{color:var(--cyan);font-size:.6rem;font-weight:850}.stage-layout,.stage-stack{gap:.8rem;padding:.8rem;display:grid}.stage-intro{border:1px solid var(--line-strong);background:var(--surface);grid-template-columns:minmax(0,1fr) minmax(18rem,.75fr);align-items:end;gap:1.5rem;padding:.9rem 1rem;display:grid}.stage-intro h3,.evidence-graph h3,.mapping-panel h3,.rejected-panel h3,.selector-panel h3{margin:.55rem 0 0;font-family:inherit;font-size:clamp(1.05rem,1.45vw,1.35rem);line-height:1.2}.stage-intro p{color:var(--muted);margin:0;font-family:inherit;font-size:.77rem;line-height:1.5}.obligation-grid{border:1px solid var(--line);grid-template-columns:repeat(7,minmax(0,1fr));display:grid}.obligation-item{border-right:1px solid var(--line);background:var(--surface-2);align-content:start;gap:.45rem;min-width:0;min-height:8rem;padding:.75rem;display:grid}.obligation-item:last-child{border-right:0}.obligation-item>span{color:var(--cyan);font-size:.68rem;font-weight:850}.obligation-item strong{overflow-wrap:anywhere;font-size:.73rem;line-height:1.3}.obligation-item small{color:var(--dim);margin-top:auto;font-size:.56rem}.obligation-item:nth-child(4){box-shadow:inset 0 -3px var(--lime);background:#c6ec580e}.obligation-item:nth-child(4)>span{color:var(--lime)}.authority-boundary,.model-authority,.not-evaluated{border:1px solid var(--line);background:var(--surface);grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:1rem;padding:.65rem .8rem;display:grid}.authority-boundary>span{color:var(--amber);font-size:.62rem;font-weight:850}.authority-boundary p,.model-authority p,.not-evaluated p{color:var(--muted);margin:0;font-family:inherit;font-size:.7rem;line-height:1.4}.authority-boundary code{color:var(--cyan);font-size:.63rem}.evidence-graph,.mapping-panel,.rejected-panel,.selector-panel,.slice-panel{border:1px solid var(--line-strong);background:var(--surface)}.evidence-graph>header,.mapping-panel>header,.rejected-panel>header,.selector-panel>header{border-bottom:1px solid var(--line);background:var(--surface-2);justify-content:space-between;align-items:end;gap:1rem;padding:.8rem .9rem;display:flex}.evidence-graph__rows{display:grid}.graph-row{border-bottom:1px solid var(--line);grid-template-columns:minmax(11rem,.85fr) auto minmax(14rem,1.25fr) auto minmax(10rem,.9fr);align-items:center;gap:.5rem;padding:.55rem .7rem;display:grid}.graph-row:last-child{border-bottom:0}.graph-node{border:1px solid var(--line);background:var(--black);align-content:center;gap:.18rem;min-width:0;min-height:3.5rem;padding:.4rem .55rem;display:grid}.graph-node>span{color:var(--dim);letter-spacing:.07em;font-size:.52rem}.graph-node strong{color:var(--ink);font-size:.72rem}.graph-node small{overflow-wrap:anywhere;color:var(--muted);font-size:.57rem;line-height:1.25}.graph-node--obligation{border-left:3px solid var(--cyan)}.graph-node--predicate{border-left:3px solid var(--violet)}.graph-node--probe{border-left:3px solid var(--amber)}.graph-arrow{color:var(--dim);font-size:1rem}.two-column,.slice-comparison{grid-template-columns:minmax(0,1.18fr) minmax(0,.82fr);gap:.8rem;display:grid}.mapping-panel ol,.rejected-panel ul{margin:0;padding:0;list-style:none}.mapping-panel li{border-bottom:1px solid var(--line);grid-template-columns:minmax(10rem,.35fr) minmax(0,1fr);align-items:center;gap:.6rem;min-height:3.2rem;padding:.45rem .65rem;display:grid}.mapping-panel li:last-child,.rejected-panel li:last-child{border-bottom:0}.mapping-panel li>span{color:var(--muted);font-size:.64rem}.mapping-panel li div{gap:.2rem;display:grid}.mapping-panel code{overflow-wrap:anywhere;color:var(--cyan);font-size:.56rem;line-height:1.3}.rejected-panel li{border-bottom:1px solid var(--line);grid-template-columns:1.2rem minmax(0,1fr);align-items:center;gap:.5rem;min-height:3.2rem;padding:.45rem .65rem;display:grid}.rejected-panel li>span{color:var(--red);text-align:center;font-size:1rem}.rejected-panel li div{gap:.15rem;display:grid}.model-authority{background:#54d5ce09;border-color:#54d5ce4d;grid-template-columns:minmax(0,1fr) minmax(18rem,.8fr)}.model-authority strong{color:var(--cyan);font-size:.76rem}.slice-panel{align-content:start;gap:.8rem;padding:.8rem;display:grid}.slice-panel>header{justify-content:space-between;align-items:center;gap:.7rem;display:flex}.slice-panel>header>span:last-child{color:var(--dim);font-size:.58rem}.proof-chain{align-items:stretch;gap:.35rem;display:flex}.proof-chain div{border:1px solid var(--line);background:var(--black);flex:1 1 0;align-content:center;gap:.2rem;min-width:0;padding:.55rem;display:grid}.proof-chain div strong{color:var(--lime);font-size:.72rem}.proof-chain div span{color:var(--muted);font-size:.54rem;line-height:1.25}.proof-chain>b{color:var(--dim);align-self:center}.slice-panel p,.slice-panel h4{margin:0}.slice-panel p{color:var(--muted);font-size:.67rem;line-height:1.45}.slice-panel h4{font-size:.76rem;line-height:1.3}.candidate-span{grid-template-columns:repeat(7,1fr);gap:.3rem;display:grid}.candidate-span span{border:1px solid var(--line);min-height:2.4rem;color:var(--dim);place-items:center;font-size:.61rem;display:grid}.candidate-span .is-validated{border-color:var(--lime);color:var(--lime)}.selector-panel>header{align-items:center}.selector-metrics{gap:.5rem;display:flex}.selector-metrics span{border:1px solid var(--line);background:var(--black);min-width:8rem;color:var(--dim);text-align:right;gap:.2rem;padding:.5rem;font-size:.54rem;display:grid}.selector-metrics strong{color:var(--violet);font-size:1.25rem}.mechanics-list{grid-template-columns:repeat(3,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.mechanics-list li{border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-height:3.2rem;color:var(--muted);align-items:center;gap:.45rem;padding:.55rem;font-size:.62rem;display:flex}.mechanics-list li:nth-child(3n){border-right:0}.mechanics-list li span{color:var(--violet)}.selector-caveat{border-bottom:1px solid var(--line);color:var(--muted);margin:0;padding:.7rem;font-family:inherit;font-size:.69rem;line-height:1.45}.selector-panel>code{overflow-wrap:anywhere;color:var(--violet);padding:.55rem .7rem;font-size:.57rem;display:block}.technical-details{border:1px solid var(--line);background:var(--surface)}.technical-details summary{cursor:pointer;justify-content:space-between;align-items:center;gap:1rem;min-height:3.5rem;padding:.6rem .75rem;list-style-position:inside;display:flex}.technical-details summary span{color:var(--cyan);font-size:.67rem;font-weight:850}.technical-details summary small{color:var(--dim);font-size:.58rem}.technical-details[open] summary{border-bottom:1px solid var(--line)}.table-scroll{max-width:100%;overflow-x:auto}.table-scroll table,.data-table{border-collapse:collapse;table-layout:fixed;width:100%}.table-scroll caption,.data-table caption{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;overflow:hidden}.table-scroll th,.table-scroll td,.data-table th,.data-table td{overflow-wrap:anywhere;border-right:1px solid var(--line);border-bottom:1px solid var(--line);font-family:var(--mono);text-align:left;padding:.55rem .6rem;font-size:.61rem;line-height:1.3}.table-scroll th{color:var(--muted)}.table-scroll td{color:var(--ink)}.not-evaluated{border-color:#e6b45a57;grid-template-columns:auto minmax(0,1fr)}.launch-console{gap:.65rem}.launch-console__input{border-color:var(--line);min-height:5.8rem}.launch-console__label{gap:.25rem;display:grid}.launch-console__label span,.launch-console__output>span,.responsibility-line{font-family:var(--mono)}.launch-console__label span,.launch-console__output>span{color:var(--lime);letter-spacing:.08em;font-size:.75rem;font-weight:850}.launch-console__label strong{color:var(--muted);font-size:.9375rem}.launch-console__output{grid-template-columns:minmax(10rem,.3fr) minmax(0,1fr);align-items:baseline;gap:1rem;padding:.2rem 1rem .35rem;display:grid}.launch-console__output strong{color:var(--muted);font-size:.9375rem;font-weight:600;line-height:1.5}.responsibility-line{color:var(--muted);margin:0;padding:.2rem .7rem .1rem;font-size:.75rem;line-height:1.5}.pipeline-token span,.pipeline-token strong,.launch-console__wedge{font-family:var(--mono)}.stage-intro,.obligation-item,.authority-boundary,.evidence-graph,.mapping-panel,.rejected-panel,.model-authority,.slice-panel,.selector-panel,.technical-details,.not-evaluated{font-family:inherit}.evidence-graph,.mapping-panel,.rejected-panel,.selector-panel,.slice-panel,.stage-intro{border-color:var(--line)}.stage-intro p,.authority-boundary p,.model-authority p,.not-evaluated p,.slice-panel p,.selector-caveat{font-size:.9375rem;line-height:1.55}.stage-intro h3,.evidence-graph h3,.mapping-panel h3,.rejected-panel h3,.selector-panel h3{font-size:clamp(1.1rem,1.4vw,1.35rem)}.obligation-grid{background:var(--line);border-color:#0000;gap:1px}.obligation-item{border-right:0;min-height:7.4rem}.obligation-item>span,.obligation-item small,.graph-node>span,.graph-node strong,.slice-panel>header>span:last-child,.candidate-span span,.selector-metrics,.mechanics-list li,.technical-details summary span,.technical-details summary small{font-family:var(--mono)}.obligation-item strong{font-size:.875rem}.obligation-item small{font-size:.75rem}.authority-boundary>span{font-family:var(--mono);font-size:.75rem}.authority-boundary code{font-size:.75rem}.evidence-graph__rows{background:var(--line);gap:1px}.graph-row{background:var(--surface);border-bottom:0}.graph-row--validated{box-shadow:inset 3px 0 var(--lime);background:#c6ec580e}.graph-row--validated .graph-node--obligation{border-left-color:var(--lime)}.graph-node{border-color:#0000;min-height:4.15rem}.graph-node>span{font-size:.7rem}.graph-node strong{font-size:.8125rem}.graph-node small{color:var(--muted);font-family:inherit;font-size:.8125rem;line-height:1.4}.mapping-panel li>span{font-size:.875rem}.mapping-panel code{font-size:.75rem}.rejected-panel strong{font-size:.9375rem}.rejected-panel small{color:var(--muted);font-size:.8125rem;line-height:1.4}.model-authority{background:#54d5ce09;border-color:#54d5ce4d}.model-authority strong{font-size:1rem}.slice-panel--validated{border-color:#c6ec586b}.slice-panel--candidate{border-color:#54d5ce4d}.proof-chain div{border-color:var(--line)}.proof-chain div strong{font-family:var(--mono);font-size:.8125rem}.proof-chain div span{font-size:.8125rem;line-height:1.4}.slice-panel h4{font-size:1rem}.selector-metrics span{font-size:.75rem}.mechanics-list li{font-size:.8125rem}.selector-panel>code,.technical-details summary span,.technical-details summary small,.table-scroll th,.table-scroll td{font-size:.75rem}.not-evaluated{border-color:#e6b45a57}
.repository-map,.diff-panel,.materialization-provenance,.reference-execution,.evidence-state,.hero-result{border:1px solid var(--line-strong);background:var(--surface)}.repository-map>header,.diff-panel>header,.reference-execution>header,.evidence-state>header{border-bottom:1px solid var(--line);background:var(--surface-2);justify-content:space-between;align-items:end;gap:1rem;padding:.8rem .9rem;display:flex}.repository-map h3,.diff-panel h3,.reference-execution h3,.evidence-state h3,.hero-result h3{margin:.5rem 0 0;font-family:inherit;font-size:clamp(1rem,1.35vw,1.3rem);line-height:1.25}.repository-map>header>p,.reference-execution>header>p{max-width:28rem;color:var(--muted);text-align:right;margin:0;font-family:inherit;font-size:.65rem;line-height:1.4}.repository-map__flow{grid-template-columns:repeat(6,minmax(0,1fr));display:grid}.repository-map__step{border-right:1px solid var(--line);min-width:0;position:relative}.repository-map__step:last-child{border-right:0}.repository-map__step>article{align-content:start;gap:.35rem;min-height:9.2rem;padding:.65rem;display:grid}.repository-map__step article>span{color:var(--cyan);letter-spacing:.05em;font-size:.59rem;font-weight:850}.repository-map__step code{overflow-wrap:anywhere;color:var(--ink);font-size:.57rem;line-height:1.35}.repository-map__step small{color:var(--lime);margin-top:auto;font-size:.49rem;line-height:1.25}.repository-map__step:nth-child(3) small{color:var(--amber)}.repository-map__step>b{z-index:2;background:var(--surface);width:1rem;height:1rem;color:var(--dim);place-items:center;display:grid;position:absolute;top:50%;right:-.5rem;transform:translateY(-50%)}.patch-grid{grid-template-columns:minmax(0,1.25fr) minmax(20rem,.75fr);gap:.8rem;display:grid}.diff-panel{min-width:0}.diff-panel pre{background:var(--black);max-width:100%;max-height:27rem;color:var(--muted);tab-size:2;margin:0;padding:.8rem;font-size:.65rem;line-height:1.45;overflow:auto}.materialization-provenance{align-content:start;display:grid}.materialization-provenance ol{margin:0;padding:0;list-style:none}.materialization-provenance li{border-bottom:1px solid var(--line);grid-template-columns:2rem minmax(0,1fr);align-items:center;gap:.6rem;min-height:4.2rem;padding:.55rem .7rem;display:grid}.materialization-provenance li>span{border:1px solid var(--line-strong);width:1.7rem;height:1.7rem;color:var(--cyan);place-items:center;font-size:.58rem;display:grid}.materialization-provenance li p{color:var(--muted);margin:0;font-family:inherit;font-size:.67rem;line-height:1.4}.materialization-provenance li strong{color:var(--ink)}.technical-details dl{margin:0}.technical-details dl>div{border-bottom:1px solid var(--line);grid-template-columns:minmax(7rem,.3fr) minmax(0,1fr);gap:.7rem;padding:.45rem .65rem;display:grid}.technical-details dl>div:last-child{border-bottom:0}.technical-details dt,.technical-details dd{overflow-wrap:anywhere;margin:0;font-size:.56rem;line-height:1.35}.technical-details dt{color:var(--dim)}.technical-details dd{color:var(--muted)}.reference-execution__body{grid-template-columns:minmax(16rem,.45fr) minmax(0,1fr);display:grid}.data-table{border-right:1px solid var(--line)}.data-table th{width:44%;color:var(--dim);font-weight:650}.data-table td{color:var(--ink);font-weight:800}.execution-boundary{justify-content:center;align-items:center;gap:clamp(.5rem,2vw,1.8rem);padding:1rem;display:flex}.execution-boundary span{border:1px solid var(--line-strong);background:var(--black);color:var(--cyan);text-align:center;padding:.65rem;font-size:.62rem}.execution-boundary b{color:var(--dim)}.before-after{grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr);gap:.8rem;display:grid}.evidence-state>header>span{color:var(--dim);letter-spacing:.08em;font-size:.6rem;font-weight:850}.evidence-state>header>div{align-items:end;gap:.7rem;display:flex}.baseline-runs,.selected-runs{grid-template-columns:1fr 1fr;display:grid}.baseline-runs article{border-right:1px solid var(--line)}.baseline-runs article:last-child{border-right:0}.baseline-runs article>header{border-bottom:1px solid var(--line);color:var(--dim);padding:.45rem .6rem;font-size:.57rem}.baseline-runs ol{margin:0;padding:0;list-style:none}.baseline-runs li{border-bottom:1px solid var(--line);min-height:2.7rem;color:var(--muted);align-items:center;gap:.45rem;padding:.4rem .6rem;font-size:.61rem;display:flex}.baseline-runs li span{color:var(--lime)}.evidence-state>p{color:var(--muted);margin:0;padding:.7rem;font-family:inherit;font-size:.68rem;line-height:1.45}.selected-run{border-right:1px solid var(--line);align-content:start;gap:.55rem;min-width:0;padding:.65rem;display:grid}.selected-run:last-child{border-right:0}.selected-run--match{box-shadow:inset 0 -3px var(--lime)}.selected-run--drift{box-shadow:inset 0 -3px var(--red)}.selected-run>header{justify-content:space-between;align-items:center;gap:.5rem;display:flex}.selected-run>header>span{color:var(--dim);font-size:.54rem}.selected-run>header>.machine-result{width:fit-content;font-family:var(--mono);letter-spacing:.05em;border:1px solid;padding:.18rem .38rem;font-size:.58rem;font-weight:850;display:inline-flex}.machine-result--pass{color:var(--lime)}.machine-result--fail{color:var(--red)}.selected-run dl{margin:0}.selected-run dl>div{border-bottom:1px solid var(--line);justify-content:space-between;gap:.5rem;padding:.32rem 0;display:flex}.selected-run dt,.selected-run dd{margin:0;font-size:.57rem}.selected-run dt{color:var(--dim)}.selected-run dd{color:var(--ink);font-weight:800}.evidence-equation{border:1px solid var(--line);background:var(--black);color:var(--cyan);font-family:var(--mono);text-align:center;margin:0;padding:.5rem;font-size:.61rem}.selected-run--drift .evidence-equation{color:var(--red)}.selected-run h4{color:var(--lime);font-family:var(--mono);margin:0;font-size:.75rem;line-height:1.3}.selected-run--drift h4{color:var(--red)}.selected-run>small{color:var(--dim);font-size:.52rem}.verifier-authority{background:#c6ec580b;border:1px solid #c6ec5866;grid-template-columns:2.5rem minmax(0,1fr);align-items:center;gap:.7rem;padding:.7rem .8rem;display:grid}.verifier-authority>span{border:1px solid var(--lime);width:2.2rem;height:2.2rem;color:var(--lime);place-items:center;font-size:1rem;display:grid}.verifier-authority strong{color:var(--lime);font-size:.76rem}.verifier-authority p{color:var(--muted);margin:.15rem 0 0;font-family:inherit;font-size:.66rem}.hero-result{border-color:#e6b45a61;grid-template-columns:auto minmax(18rem,.65fr) minmax(18rem,.35fr);align-items:center;gap:1rem;padding:.85rem;display:grid}.hero-result h3,.hero-result p{margin:0}.hero-result h3{color:var(--amber);font-size:.83rem}.hero-result p{color:var(--muted);font-family:inherit;font-size:.64rem;line-height:1.4}.provenance-grid{grid-template-columns:1fr 1fr;display:grid}.provenance-grid>dl:first-child{border-right:1px solid var(--line)}.limitations{border-top:1px solid var(--line);grid-template-columns:repeat(4,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.limitations li{border-right:1px solid var(--line);color:var(--dim);padding:.55rem;font-size:.55rem;line-height:1.35}.limitations li:last-child{border-right:0}.repository-map,.diff-panel,.materialization-provenance,.reference-execution,.evidence-state,.verifier-authority,.hero-result,.provenance-details{font-family:inherit}.repository-map,.diff-panel,.materialization-provenance,.reference-execution,.evidence-state,.hero-result{border-color:var(--line)}.repository-map h3,.diff-panel h3,.reference-execution h3,.evidence-state h3,.hero-result h3{font-family:inherit}.repository-map>header>p,.reference-execution>header>p{color:var(--muted);font-size:.9375rem;line-height:1.55}.repository-map__step article>span,.repository-map__step small,.materialization-provenance li>span,.evidence-state>header>span,.baseline-runs article>header,.selected-run>header>span,.machine-result,.selected-run dt,.selected-run dd,.evidence-equation,.technical-details dt,.technical-details dd,.limitations li{font-family:var(--mono)}.repository-map__step article>span,.repository-map__step code{font-size:.75rem}.repository-map__step small{font-size:.7rem}.diff-panel pre{font-size:.75rem}.materialization-provenance li p{font-size:.9375rem;line-height:1.5}.technical-details dt,.technical-details dd,.data-table th,.data-table td{font-size:.75rem}.execution-boundary span{border-color:var(--line);font-family:var(--mono);font-size:.75rem}.evidence-state>header{align-items:start}.evidence-state>header>span{font-size:.75rem}.evidence-state>header>div{gap:.5rem;display:grid}.evidence-state h3{margin-top:0;font-size:1.0625rem;line-height:1.35}.baseline-runs article>header{font-size:.75rem}.baseline-runs li{min-height:3rem;font-size:.8125rem}.evidence-state>p,.evidence-state__statement,.evidence-state__explanation{padding:.8rem .9rem;font-size:.9375rem;line-height:1.55}.evidence-state__statement{border-bottom:1px solid var(--line);color:var(--ink);margin:0;font-weight:650}.selected-run{padding:.8rem}.selected-run>header>span{font-size:.75rem}.selected-run>header>.machine-result{font-size:.7rem}.selected-run dt,.selected-run dd,.evidence-equation{font-size:.75rem}.selected-run h4{letter-spacing:.01em;font-family:inherit;font-size:1.0625rem}.selected-run>small{color:var(--muted);font-size:.8125rem;line-height:1.4}.verifier-authority{background:#c6ec580b;border-color:#c6ec5866}.verifier-authority strong{font-size:1rem}.verifier-authority p{font-size:.9375rem}.hero-result{border-color:#e6b45a61}.hero-result h3{font-size:.9375rem}.hero-result p{font-size:.9375rem;line-height:1.5}.limitations li{font-size:.75rem}
@media (min-width:1700px){.obligation-item{min-height:7.2rem}.repository-map__step>article{min-height:8.4rem}}@media (max-width:1400px){.compiler-workbench{grid-template-columns:1fr}.pipeline-rail{border-right:0;border-bottom:1px solid var(--line)}.pipeline-rail ol{grid-template-columns:repeat(4,minmax(0,1fr))}.pipeline-step{border-right:1px solid var(--line);border-bottom:0;min-height:4.8rem}.pipeline-step:last-child{border-right:0}.pipeline-step.is-active{box-shadow:inset 0 -3px var(--lime)}.obligation-grid{grid-template-columns:repeat(4,minmax(0,1fr))}.obligation-item{border-bottom:1px solid var(--line);min-height:6.5rem}.obligation-item:nth-child(4){border-right:0}.obligation-item:nth-child(n+5){border-bottom:0}.graph-row{grid-template-columns:minmax(9rem,.8fr) auto minmax(12rem,1.2fr) auto minmax(9rem,.8fr)}.repository-map__flow{grid-template-columns:repeat(3,minmax(0,1fr))}.repository-map__step:nth-child(3){border-right:0}.repository-map__step:nth-child(-n+3){border-bottom:1px solid var(--line)}.repository-map__step>b{display:none}.patch-grid{grid-template-columns:1fr}}@media (max-width:900px){.hero{grid-template-columns:1fr;align-items:start;gap:.65rem;min-height:auto}.status-legend{grid-template-columns:1fr 1fr}.status-legend__item:nth-child(2){border-right:0}.status-legend__item:nth-child(-n+2){border-bottom:1px solid var(--line)}.launch-console__input,.launch-console__output,.stage-intro{grid-template-columns:1fr;gap:.65rem}.launch-console__pipeline{grid-template-columns:repeat(4,minmax(0,1fr))}.pipeline-token{border-bottom:1px solid var(--line)}.pipeline-token:nth-child(4){border-right:0}.pipeline-token:nth-child(n+5){border-bottom:0}.pipeline-token:after{display:none}.two-column,.slice-comparison,.before-after,.reference-execution__body,.provenance-grid{grid-template-columns:1fr}.graph-row{grid-template-columns:1fr;gap:.3rem}.graph-arrow{text-align:center;transform:rotate(-90deg)}.model-authority,.hero-result{grid-template-columns:1fr}.selector-panel>header,.repository-map>header,.reference-execution>header{align-items:start}.selector-metrics{flex:none}.mechanics-list{grid-template-columns:1fr 1fr}.mechanics-list li:nth-child(3n){border-right:1px solid var(--line)}.mechanics-list li:nth-child(2n){border-right:0}.provenance-grid>dl:first-child{border-right:0;border-bottom:1px solid var(--line)}.limitations{grid-template-columns:1fr 1fr}.limitations li:nth-child(2){border-right:0}.limitations li:nth-child(-n+2){border-bottom:1px solid var(--line)}}@media (max-width:720px){.masthead{gap:.55rem;display:grid}.mode-label{line-height:1.35}main{padding-inline:.75rem}h1{font-size:clamp(2rem,10vw,3.1rem)}.pipeline-rail ol{grid-template-columns:1fr 1fr}.pipeline-step{border-bottom:1px solid var(--line);min-height:4.3rem}.pipeline-step:nth-child(2n){border-right:0}.pipeline-step:nth-child(n+3){border-bottom:0}.workbench-stage__heading{align-items:start;display:grid}.workbench-stage__heading h2{text-align:left}.launch-console__pipeline,.obligation-grid{grid-template-columns:1fr 1fr}.pipeline-token:nth-child(2n),.obligation-item:nth-child(2n){border-right:0}.pipeline-token:nth-child(n+5),.obligation-item:nth-child(n+5){border-bottom:1px solid var(--line)}.pipeline-token:last-child,.obligation-item:last-child{border-bottom:0}.authority-boundary,.not-evaluated{grid-template-columns:1fr}.proof-chain{grid-template-columns:1fr;display:grid}.proof-chain>b{text-align:center;transform:rotate(90deg)}.selector-panel>header,.repository-map>header,.diff-panel>header,.reference-execution>header,.evidence-state>header{align-items:start;display:grid}.selector-metrics{width:100%}.selector-metrics span{text-align:left;flex:1 1 0;min-width:0}.mapping-panel li{grid-template-columns:1fr}.repository-map__flow{grid-template-columns:1fr 1fr}.repository-map__step:nth-child(3){border-right:1px solid var(--line)}.repository-map__step:nth-child(2n){border-right:0}.repository-map__step{border-bottom:1px solid var(--line)}.repository-map__step:nth-last-child(-n+2){border-bottom:0}.execution-boundary{grid-template-columns:1fr;display:grid}.execution-boundary b{text-align:center;transform:rotate(90deg)}.baseline-runs,.selected-runs{grid-template-columns:1fr}.baseline-runs article,.selected-run{border-right:0;border-bottom:1px solid var(--line)}.baseline-runs article:last-child,.selected-run:last-child{border-bottom:0}.page-footer{display:grid}}@media (max-width:440px){.masthead,.page-footer{padding-inline:.75rem}.status-legend{grid-template-columns:1fr}.status-legend__item{border-right:0;border-bottom:1px solid var(--line)}.status-legend__item:last-child{border-bottom:0}.brand small,.mode-label,.console-kicker,.status-badge,.status-legend__item p,.pipeline-step strong,.pipeline-step small,.pipeline-token span,.pipeline-token strong,.launch-console__wedge,.stage-intro p,.obligation-item>span,.obligation-item strong,.obligation-item small,.authority-boundary,.graph-node>span,.graph-node strong,.graph-node small,.mapping-panel,.rejected-panel,.model-authority,.slice-panel,.selector-panel,.technical-details,.not-evaluated,.repository-map,.diff-panel,.materialization-provenance,.reference-execution,.evidence-state,.verifier-authority,.hero-result,.provenance-details,.page-footer{font-size:.875rem}.launch-console,.stage-layout,.stage-stack{padding:.55rem}.launch-console__input{padding:.7rem}.launch-console blockquote{font-size:1rem}.launch-console__pipeline,.obligation-grid,.repository-map__flow{grid-template-columns:1fr}.pipeline-token,.obligation-item,.repository-map__step{border-right:0;border-bottom:1px solid var(--line);min-height:auto}.pipeline-token:last-child,.obligation-item:last-child,.repository-map__step:last-child{border-bottom:0}.candidate-span,.mechanics-list,.limitations{grid-template-columns:1fr}.candidate-span span{min-height:2.75rem}.mechanics-list li,.limitations li{border-right:0;border-bottom:1px solid var(--line)}.mechanics-list li:last-child,.limitations li:last-child{border-bottom:0}.selector-metrics{display:grid}.primary-action{min-height:44px;margin-inline:.55rem}.table-scroll table{min-width:42rem}.technical-details dl>div{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}
:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--ink:#f3f1e8;--muted:#98a49f;--dim:#7f8b86;--black:#0a0e0d;--surface:#111715;--surface-2:#161d1a;--surface-3:#1b2420;--line:#293530;--line-strong:#415149;--lime:#c6ec58;--cyan:#54d5ce;--amber:#e6b45a;--red:#ed6a62;--violet:#a78bf4;--mono:"IBM Plex Mono", "SFMono-Regular", Consolas, monospace;background:var(--black);color:var(--ink);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}html{background:var(--black);scroll-behavior:smooth;min-width:320px}body{background:radial-gradient(circle at 82% 0%, #54d5ce0b, transparent 30rem), var(--black);min-width:320px;margin:0;overflow-x:clip}button{color:inherit;font:inherit}a{color:inherit}code,pre{font-family:var(--mono)}h1,h2,h3,h4,p{text-wrap:pretty}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:100;border:2px solid var(--black);background:var(--lime);color:var(--black);padding:.8rem 1rem;font-weight:850;position:fixed;top:.75rem;left:.75rem;transform:translateY(-180%)}.skip-link:focus{transform:none}:focus-visible{outline:3px solid var(--cyan);outline-offset:4px}.masthead{border-bottom:1px solid var(--line);background:#070a09eb;justify-content:space-between;align-items:center;gap:1rem;width:min(1600px,100%);min-height:3.5rem;margin:0 auto;padding:.65rem clamp(1rem,3vw,3rem);display:flex}.brand{align-items:center;gap:.7rem;text-decoration:none;display:flex}.brand>b{border:1px solid var(--lime);width:2rem;height:2rem;color:var(--lime);flex:none;place-items:center;font-family:Georgia,serif;display:grid}.brand span{gap:.08rem;display:grid}.brand strong,.brand small,.mode-label,.console-kicker,.status-badge,.pipeline-rail,.page-footer{font-family:var(--mono)}.brand strong{letter-spacing:.17em;font-size:.82rem}.brand small{color:var(--muted);letter-spacing:.09em;font-size:.67rem}.mode-label{color:var(--cyan);letter-spacing:.05em;align-items:center;gap:.55rem;margin:0;font-size:.68rem;font-weight:800;display:flex}.mode-label i{background:var(--cyan);width:.52rem;height:.52rem;box-shadow:none;border-radius:50%;flex:none}main{width:min(1600px,100%);margin:0 auto;padding:0 clamp(1rem,3vw,3rem) 2rem}.hero{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1.35fr) minmax(18rem,.65fr);align-items:end;gap:clamp(1.5rem,4vw,4rem);min-height:8.5rem;padding:1.15rem 0;display:grid}.console-kicker{color:var(--lime);letter-spacing:.105em;margin:0 0 .5rem;font-size:.66rem;font-weight:850}h1{letter-spacing:-.045em;max-width:26ch;margin:0;font-size:clamp(2.2rem,3.55vw,4rem);line-height:.98}.hero__definition{max-width:42rem;color:var(--muted);margin:0;font-size:clamp(.94rem,1.1vw,1.08rem);line-height:1.55}.status-legend{border-bottom:1px solid var(--line);grid-template-columns:repeat(4,minmax(0,1fr));display:grid}.status-legend__item{border-right:1px solid var(--line);gap:.35rem;min-width:0;padding:.62rem .7rem;display:grid}.status-legend__item:last-child{border-right:0}.status-legend__item p{color:var(--dim);margin:0;font-size:.68rem;line-height:1.3}.status-badge{letter-spacing:.055em;border:1px solid;align-items:center;width:fit-content;max-width:100%;padding:.18rem .38rem;font-size:.61rem;font-weight:850;line-height:1.3;display:inline-flex}.status-badge--validated{color:var(--lime)}.status-badge--candidate{color:var(--cyan)}.status-badge--mechanics{color:var(--violet)}.status-badge--pending{color:var(--amber)}.compiler-workbench{border-right:1px solid var(--line);border-bottom:1px solid var(--line);border-left:1px solid var(--line);background:#070a09c7;grid-template-columns:minmax(13rem,.22fr) minmax(0,1fr);min-height:25rem;display:grid}.pipeline-rail{border-right:1px solid var(--line);background:var(--surface)}.pipeline-rail ol{margin:0;padding:0;list-style:none;display:grid}.pipeline-step{border-bottom:1px solid var(--line);min-height:5.9rem;color:var(--dim);grid-template-columns:2rem minmax(0,1fr);align-items:center;gap:.6rem;padding:.75rem;display:grid}.pipeline-step__number{border:1px solid var(--line-strong);place-items:center;width:1.8rem;height:1.8rem;font-size:.65rem;font-weight:800;display:grid}.pipeline-step div{min-width:0}.pipeline-step strong,.pipeline-step small{overflow-wrap:anywhere;display:block}.pipeline-step strong{color:var(--muted);font-size:.67rem;line-height:1.25}.pipeline-step small{margin-top:.22rem;font-size:.56rem;line-height:1.25}.pipeline-step.is-active{background:var(--surface-2);box-shadow:inset 3px 0 var(--lime)}.pipeline-step.is-active .pipeline-step__number{border-color:var(--lime);background:var(--lime);color:var(--black)}.pipeline-step.is-active strong{color:var(--ink)}.pipeline-step.is-complete .pipeline-step__number{border-color:var(--cyan);color:var(--cyan)}.workbench-canvas{align-content:start;min-width:0;display:grid}.workbench-stage{min-width:0}.workbench-stage__heading{border-bottom:1px solid var(--line);background:#151d19b8;justify-content:space-between;align-items:end;gap:1rem;min-height:4.5rem;padding:.8rem 1rem;display:flex}.workbench-stage__heading .console-kicker{margin:0}.workbench-stage__heading h2{letter-spacing:-.03em;text-align:right;max-width:30ch;margin:0;font-size:clamp(1.45rem,2.2vw,2.3rem);line-height:1}.primary-action{border:1px solid var(--lime);background:var(--lime);min-height:52px;color:var(--black);cursor:pointer;font-family:var(--mono);letter-spacing:.04em;text-align:left;justify-content:space-between;align-items:center;gap:1rem;margin:.8rem 1rem 1rem;padding:.75rem .9rem;font-size:.76rem;font-weight:900;display:flex}.primary-action b{font-size:1.25rem}.page-footer{width:min(1600px,100%);color:var(--dim);justify-content:space-between;align-items:center;gap:1rem;margin:0 auto;padding:.85rem clamp(1rem,3vw,3rem);font-size:.66rem;display:flex}.page-footer p{margin:0}.page-footer code{color:var(--cyan)}.mode-label i{box-shadow:none}.hero{min-height:7.5rem;padding-block:.95rem}h1{font-size:clamp(2.15rem,3.2vw,3.55rem)}.status-legend{background:var(--line);column-gap:1px}.status-legend__item{background:var(--black);border-right:0}.status-legend__item p{color:var(--muted);font-family:inherit;font-size:.75rem}.compiler-workbench{background:#0a0e0dd1}.primary-action{border-color:var(--lime);font-size:.8125rem}.primary-action:hover{background:#d7f47d}.page-footer{font-size:.75rem}