.lab-pages{--lab-rule:var(--m-line,#d2d4cf);--lab-secondary:var(--m-slate,#496474);--lab-section-space:clamp(4rem, 7vw, 7rem);padding-bottom:var(--lab-section-space)}.lab-pages :is(section,[id]){scroll-margin-top:8rem}.lab-pages :is(h1,h2,h3,p){margin:0}.lab-pages :is(h1,h2,h3){text-wrap:balance;font-weight:400}.lab-pages h1{font-family:var(--m-serif,Newsreader, Georgia, serif);letter-spacing:-.035em;font-size:clamp(3.25rem,7.2vw,6rem);line-height:.99}.lab-pages h2{font-family:var(--m-serif,Newsreader, Georgia, serif);letter-spacing:-.025em;font-size:clamp(2.15rem,3.7vw,3.5rem);line-height:1.06}.lab-pages h3{font-family:var(--m-serif,Newsreader, Georgia, serif);letter-spacing:-.02em;font-size:clamp(1.7rem,2.6vw,2.6rem);line-height:1.1}.lab-pages p{line-height:1.75}.lab-pages :is(a,button,summary):focus-visible{outline:2px solid var(--m-cobalt,#3155d7);outline-offset:5px}.lab-page-link{width:fit-content;min-height:44px;color:var(--m-cobalt,#3155d7);border-bottom:1px solid;justify-content:space-between;align-items:center;gap:1.5rem;font-size:.85rem;font-weight:500;text-decoration:none;display:inline-flex}.lab-page-link:hover{color:var(--m-ink,#14202a)}.lab-page-link svg{flex-shrink:0}.lab-room-hero{grid-template-columns:1.18fr 1fr;align-items:end;gap:3rem;padding-block:clamp(3rem,6vw,5.5rem) 4rem;display:grid}.lab-room-hero>div{max-width:39rem;padding-bottom:.5rem}.lab-room-hero>div>p{color:var(--lab-secondary);font-size:1rem}.lab-room-hero .lab-page-link{margin-top:1.5rem}.lab-room-register{border-block:1px solid var(--lab-rule);font-size:var(--m-type-meta);color:var(--lab-secondary);flex-wrap:wrap;justify-content:space-between;gap:1rem 2rem;padding-block:1.15rem;display:flex}.lab-room-register strong{color:var(--m-ink,#14202a);font-weight:600}.lab-working-exhibit{background:var(--m-ink,#14202a);color:var(--m-white,#fdfcf9);grid-template-columns:1.04fr 1fr;margin-top:2rem;display:grid}.lab-working-exhibit__argument{align-self:center;padding:clamp(1.5rem,4vw,3.5rem)}.lab-status{color:var(--lab-secondary);font-size:var(--m-type-meta);align-items:center;gap:.55rem;font-weight:500;line-height:1.5;display:inline-flex}.lab-status:before{content:"";border:1px solid;flex-shrink:0;width:.45rem;height:.45rem}.lab-status--built{color:#d2e3cc}.lab-status--built:before{background:currentColor}.lab-working-exhibit h2{margin-top:1.4rem;font-size:clamp(2.45rem,4.1vw,3.8rem)}.lab-working-exhibit__argument>p:not(.lab-working-exhibit__boundary){color:#c1cdd3;max-width:47ch;margin-top:1.5rem;font-size:.88rem}.lab-page-link--light{color:#f4f1ea;margin-top:2rem}.lab-page-link--light:hover{color:#b9c9ff}.lab-working-exhibit .lab-working-exhibit__boundary{color:#b5c4cc;font-size:var(--m-type-meta);margin-top:2rem;line-height:1.7}.lab-working-exhibit__foot{color:#b5c4cc;font-size:var(--m-type-meta);border-top:1px solid #41505a;flex-wrap:wrap;grid-column:1/-1;justify-content:space-between;gap:.6rem 2rem;padding:1.1rem clamp(1.5rem,4vw,3.5rem);display:flex}.lab-working-exhibit__foot strong{color:#f4f1ea;font-weight:500}.lab-diagram-caption{font-family:var(--m-mono,"IBM Plex Mono", monospace);font-size:var(--m-type-meta);letter-spacing:.015em;line-height:1.6}.lab-control-path{border:1px solid var(--lab-rule);min-width:0;padding:1.5rem 2rem}.lab-control-path>.lab-diagram-caption{color:var(--lab-secondary);margin-bottom:1.4rem}.lab-control-path ol{margin:0;padding:0;list-style:none}.lab-control-path li{border-top:1px solid var(--lab-rule);grid-template-columns:6.6rem minmax(0,1fr);gap:.15rem 1rem;padding-block:.9rem;display:grid}.lab-control-path li>span{font-size:var(--m-type-meta);color:var(--lab-secondary);grid-row:span 2;padding-top:.15rem}.lab-control-path li>strong{font-size:.79rem;font-weight:500;line-height:1.5}.lab-control-path li>small{font-size:var(--m-type-meta);color:var(--lab-secondary);line-height:1.6}.lab-control-path__approval strong{color:var(--m-cobalt,#3155d7)}.lab-control-path .lab-control-path__return{border-top:1px solid var(--lab-rule);color:var(--lab-secondary);font-size:var(--m-type-meta);align-items:baseline;gap:.7rem;padding-top:1rem;display:flex}.lab-control-path__return svg{flex-shrink:0}.lab-control-path--compact{border-color:#41505a;margin:clamp(1.5rem,3vw,2.5rem);padding:1.3rem 1.7rem}.lab-control-path--compact :is(li,.lab-control-path__return){border-color:#41505a}.lab-control-path--compact :is(.lab-diagram-caption,li>span,li>small,.lab-control-path__return){color:#b5c4cc}.lab-control-path--compact .lab-control-path__approval strong{color:#b9c9ff}.lab-evidence-inventory{padding-block:var(--lab-section-space);grid-template-columns:1fr 1fr;gap:3rem;display:grid}.lab-evidence-inventory dl{margin:0}.lab-evidence-inventory dl>div{border-top:1px solid var(--lab-rule);padding-block:1.2rem}.lab-evidence-inventory dt{font-size:.94rem;font-weight:500}.lab-evidence-inventory dd{max-width:64ch;color:var(--lab-secondary);margin:.5rem 0 0;font-size:.84rem;line-height:1.75}.lab-open-designs>header,.lab-verification>header,.lab-exercise>header{grid-template-columns:1fr 1fr;align-items:end;gap:3rem;margin-bottom:2.5rem;display:grid}.lab-open-designs>header>p,.lab-verification>header>p,.lab-exercise>header>p{color:var(--lab-secondary);max-width:62ch;font-size:.88rem}.lab-concept-entry{border-top:1px solid var(--lab-rule);grid-template-columns:1fr 1fr;gap:3rem;padding-block:2.5rem;display:grid}.lab-concept-entry h3{margin-top:1rem}.lab-concept-entry>div>p:not(.lab-diagram-caption){color:var(--lab-secondary);max-width:50ch;margin-top:1.2rem;font-size:.85rem}.lab-concept-entry .lab-page-link{margin-top:1.2rem}.lab-concept-sketch{background:#e5e9e6;align-self:stretch;padding:1.6rem 2rem}.lab-access-sketch{font-size:var(--m-type-meta);grid-template-columns:1fr auto 1fr auto 1fr;align-items:center;gap:.8rem;margin-block:2rem;line-height:1.6;display:grid}.lab-access-sketch>strong{color:var(--m-cobalt,#3155d7);border-block:1px solid #86979e;padding:1rem .5rem;font-weight:500}.lab-sketch-note{font-size:var(--m-type-meta);color:var(--lab-secondary);margin-top:1.5rem;display:block}.lab-revision-sketch{margin:1.5rem 0 0;padding:0;list-style:none}.lab-revision-sketch li{border-top:1px solid #b9c4c5;justify-content:space-between;gap:1rem;padding:.7rem 0;font-size:.75rem;display:flex}.lab-revision-sketch li>span{color:var(--lab-secondary)}.lab-revision-sketch li>strong{font-weight:500}.lab-reference-hero{padding-block:clamp(2.5rem,5vw,4.5rem) 2.7rem}.lab-reference-hero__status{font-size:var(--m-type-meta);justify-content:space-between;align-items:center;gap:1rem 2rem;margin-bottom:1.6rem;display:flex}.lab-reference-hero h1{max-width:23ch;font-size:clamp(3rem,6.3vw,5.75rem)}.lab-reference-hero>p{color:var(--lab-secondary);max-width:65ch;margin-top:1.5rem;font-size:clamp(1rem,1.6vw,1.3rem);line-height:1.6}.lab-reference-hero>nav{flex-wrap:wrap;gap:.8rem 2rem;margin-top:2rem;display:flex}.lab-reference-hero>nav a{border-bottom:1px solid var(--lab-rule);min-height:44px;color:var(--m-cobalt,#3155d7);align-items:center;gap:.6rem;font-size:.75rem;text-decoration:none;display:inline-flex}.lab-page-register{border-block:1px solid var(--lab-rule);grid-template-columns:repeat(4,minmax(0,1fr));gap:1.5rem;margin:0;padding-block:1.3rem;display:grid}.lab-page-register dt{font-size:var(--m-type-meta);color:var(--lab-secondary)}.lab-page-register dd{margin:.5rem 0 0;font-size:.78rem;font-weight:500;line-height:1.6}.lab-document-intro,.lab-knowledge-boundary,.lab-product-contract{margin-block:var(--lab-section-space);grid-template-columns:1fr 1fr;align-items:center;gap:clamp(2rem,5vw,5rem);display:grid}.lab-document-intro>div:first-child>p,.lab-knowledge-boundary>div:first-child>p,.lab-product-contract>div:first-child>p{color:var(--lab-secondary);max-width:62ch;margin-top:1.5rem;font-size:.88rem}.lab-document-intro .lab-inline-limit{border-top:1px solid var(--lab-rule);font-size:var(--m-type-meta);padding-top:1.2rem}.lab-exercise{margin-block:var(--lab-section-space)}.lab-exercise .lab-demo{margin-block:0}.lab-no-script{border:1px solid var(--lab-rule);padding:1.2rem;font-size:.83rem;margin-block:1rem!important}.lab-verification{margin-block:var(--lab-section-space)}.lab-exercise-list{counter-reset:exercise;grid-template-columns:1fr 1fr;gap:2rem 3rem;margin:0;padding:0;list-style:none;display:grid}.lab-exercise-list li{border-top:1px solid var(--lab-rule);counter-increment:exercise;padding-top:1.3rem}.lab-exercise-list li:before{content:"0" counter(exercise);font-family:var(--m-mono,"IBM Plex Mono", monospace);color:var(--m-cobalt,#3155d7);margin-bottom:.8rem;font-size:.65rem;display:block}.lab-exercise-list h3{font-size:1.8rem}.lab-exercise-list p{color:var(--lab-secondary);max-width:60ch;margin-top:.8rem;font-size:.84rem}.lab-exercise-list li>span{font-size:var(--m-type-meta);margin-top:1.1rem;display:block}.lab-scope-ledger{margin-block:var(--lab-section-space);background:#e5e9e6;padding:clamp(1.5rem,4vw,3rem)}.lab-scope-columns{grid-template-columns:1fr 1fr;gap:3rem;margin-top:2rem;display:grid}.lab-scope-columns h3{font-family:var(--m-sans,Inter, sans-serif);letter-spacing:0;font-size:.88rem;font-weight:600}.lab-scope-columns ul{color:var(--lab-secondary);margin-block:1rem 0;padding-left:1rem;font-size:.8rem;line-height:1.7}.lab-scope-columns li+li{margin-top:.7rem}.lab-scope-ledger>p{font-size:var(--m-type-meta);color:var(--lab-secondary);border-top:1px solid #b9c4c5;max-width:100ch;margin-top:2rem;padding-top:1.3rem}.lab-unbuilt-note{border-bottom:1px solid var(--lab-rule);color:var(--lab-secondary);max-width:100%;padding-block:1.4rem;font-size:.81rem}.lab-knowledge-pipeline{background:#e5e9e6;padding:1.5rem 2rem}.lab-knowledge-pipeline ol{margin:1.4rem 0;padding:0;list-style:none}.lab-knowledge-pipeline li{border-top:1px solid #b9c4c5;padding:1rem 0}.lab-knowledge-pipeline li>strong,.lab-product-trail li>strong{font-size:.9rem;font-weight:500;display:block}.lab-knowledge-pipeline li>span,.lab-product-trail li>span{color:var(--lab-secondary);font-size:var(--m-type-meta);margin-top:.35rem;line-height:1.65;display:block}.lab-knowledge-pipeline>p:last-child,.lab-product-trail>p:last-child{font-size:var(--m-type-meta);color:var(--m-cobalt,#3155d7);border-top:1px solid #b9c4c5;margin:0;padding-top:1rem}.lab-proof-table{overflow-x:auto}.lab-table-guidance{display:none}.lab-proof-table table{border-collapse:collapse;text-align:left;width:100%;min-width:42rem;font-size:.79rem;line-height:1.7}.lab-proof-table th,.lab-proof-table td{border-top:1px solid var(--lab-rule);vertical-align:top;padding:1.1rem 1.5rem 1.1rem 0}.lab-proof-table thead th{color:var(--lab-secondary);font-size:var(--m-type-meta);font-weight:500}.lab-proof-table tbody th{width:25%;font-weight:500}.lab-proof-table td{width:37.5%;color:var(--lab-secondary)}.lab-decision-note{border-block:1px solid var(--lab-rule);margin-block:var(--lab-section-space);grid-template-columns:1fr 1fr;gap:3rem;padding-block:2.5rem;display:grid}.lab-decision-note h2{font-size:clamp(2rem,3vw,2.7rem)}.lab-decision-note p{color:var(--lab-secondary);font-size:.88rem}.lab-product-trail{border:1px solid var(--lab-rule);padding:1.5rem 2rem}.lab-product-trail ol{margin:1.5rem 0;padding:0;list-style:none}.lab-product-trail li{border-top:1px solid var(--lab-rule);padding:1rem 0 1rem 1.5rem;position:relative}.lab-product-trail li:before{content:"";background:var(--m-cobalt,#3155d7);width:.4rem;height:.4rem;position:absolute;top:1.4rem;left:0}.lab-recovery-contract{margin:0;padding:0;list-style:none}.lab-recovery-contract li{border-top:1px solid var(--lab-rule);grid-template-columns:7rem 1fr 1fr;gap:2rem;padding-block:1.7rem;display:grid}.lab-recovery-contract li>span{font-size:var(--m-type-meta);color:var(--m-cobalt,#3155d7);padding-top:.3rem}.lab-recovery-contract h3{font-size:1.8rem}.lab-recovery-contract p{color:var(--lab-secondary);font-size:.82rem}.lab-full-argument{border-top:1px solid var(--lab-rule);margin-top:var(--lab-section-space);grid-template-columns:minmax(12rem,.7fr) minmax(0,1.3fr);gap:clamp(3rem,8vw,8rem);padding-top:3rem;display:grid}.lab-full-argument aside h2{max-width:18ch;font-size:2rem}.lab-full-argument aside>p{color:var(--lab-secondary);max-width:37ch;margin-top:1rem;font-size:.76rem}.lab-full-argument aside nav{margin-top:1.5rem;display:grid}.lab-full-argument aside nav a{border-top:1px solid var(--lab-rule);min-height:44px;font-size:var(--m-type-meta);color:var(--lab-secondary);align-items:center;padding-block:.6rem;line-height:1.5;text-decoration:none;display:flex}.lab-full-argument aside nav a:hover{color:var(--m-cobalt,#3155d7)}.lab-full-argument .reader-tools{margin-top:1.5rem}.lab-full-argument .prose{overflow-wrap:anywhere;max-width:70ch}.lab-full-argument .prose>h2{margin-top:2.6rem;margin-bottom:1rem;font-size:2rem}.lab-full-argument .prose>h3{margin-top:2rem;margin-bottom:.8rem;font-size:1.65rem}.lab-full-argument .prose>p{margin-block:1rem}.lab-full-argument .prose>:first-child{margin-top:0}@media (width<=1000px){.lab-room-hero,.lab-document-intro,.lab-knowledge-boundary,.lab-product-contract{align-items:start}.lab-working-exhibit{grid-template-columns:1fr 1fr}.lab-working-exhibit__argument{padding:2rem}.lab-control-path--compact{margin:1.5rem 1.5rem 1.5rem 0;padding:1.2rem}.lab-control-path li{grid-template-columns:1fr;gap:.25rem}.lab-control-path li>span{grid-row:auto}.lab-control-path li>small{font-size:var(--m-type-meta)}.lab-concept-entry{gap:2rem}.lab-concept-sketch{padding:1.5rem}.lab-access-sketch{grid-template-columns:1fr;gap:.6rem;margin-block:1.5rem}.lab-access-sketch svg{transform:rotate(90deg)}.lab-access-sketch>strong{padding:.6rem 0}.lab-document-intro{grid-template-columns:1fr 1fr;gap:2rem}.lab-recovery-contract li{grid-template-columns:5rem 1fr 1fr;gap:1.2rem}.lab-full-argument{grid-template-columns:minmax(11rem,.65fr) minmax(0,1.35fr);gap:2.5rem}}@media (width<=700px){.lab-table-guidance{color:var(--lab-secondary);font-size:var(--m-type-meta);align-items:center;gap:.75rem;display:flex;margin-bottom:1rem!important}.lab-table-guidance svg{flex-shrink:0}.lab-room-hero,.lab-working-exhibit,.lab-evidence-inventory,.lab-concept-entry,.lab-document-intro,.lab-knowledge-boundary,.lab-product-contract,.lab-full-argument,.lab-decision-note{grid-template-columns:1fr}.lab-room-hero{gap:1.7rem;padding-block:2.5rem 2rem}.lab-room-hero>div>p{font-size:.9rem}.lab-room-register{font-size:var(--m-type-meta);grid-template-columns:1fr 1fr;gap:.8rem 1rem;display:grid}.lab-working-exhibit{margin-top:1.5rem}.lab-working-exhibit__argument{padding:1.7rem 1.5rem}.lab-working-exhibit h2{font-size:clamp(2.35rem,9vw,3.5rem)}.lab-control-path--compact{margin:0 1.5rem 1.5rem}.lab-control-path li{grid-template-columns:5.7rem minmax(0,1fr)}.lab-control-path li>span{grid-row:span 2}.lab-working-exhibit__foot{padding:1rem 1.5rem}.lab-evidence-inventory{gap:1.7rem}.lab-open-designs>header,.lab-verification>header,.lab-exercise>header{grid-template-columns:1fr;gap:1.3rem;margin-bottom:1.8rem}.lab-concept-entry{gap:1.5rem;padding-block:2rem}.lab-concept-entry h3{font-size:2.2rem}.lab-access-sketch{grid-template-columns:1fr auto 1fr}.lab-access-sketch>strong{grid-area:1/3}.lab-access-sketch>svg:first-of-type{transform:none}.lab-access-sketch>svg:nth-of-type(2){grid-column:3;justify-self:center}.lab-access-sketch>span:last-child{grid-column:3}.lab-reference-hero__status{flex-direction:column;align-items:flex-start;gap:.6rem;margin-bottom:1.4rem}.lab-reference-hero{padding-block:2.5rem 1.8rem}.lab-reference-hero h1{overflow-wrap:anywhere;font-size:clamp(2.8rem,10.6vw,4rem)}.lab-reference-hero>p{margin-top:1.3rem;font-size:1rem}.lab-reference-hero>nav{gap:.4rem;margin-top:1.2rem;display:grid}.lab-reference-hero>nav a{justify-content:space-between}.lab-page-register{grid-template-columns:1fr 1fr;gap:1.2rem}.lab-page-register dd{font-size:var(--m-type-meta)}.lab-document-intro,.lab-knowledge-boundary,.lab-product-contract{gap:1.8rem}.lab-control-path{padding:1.2rem}.lab-exercise-list{grid-template-columns:1fr;gap:1.8rem}.lab-scope-columns{grid-template-columns:1fr;gap:2rem}.lab-knowledge-pipeline,.lab-product-trail{padding:1.5rem}.lab-recovery-contract li{grid-template-columns:1fr;gap:.7rem}.lab-full-argument{gap:2.5rem}.lab-full-argument aside nav{grid-template-columns:1fr}.lab-full-argument .prose{font-size:.95rem}}@media (width<=360px){.lab-control-path li{grid-template-columns:1fr}.lab-control-path li>span{grid-row:auto}.lab-working-exhibit__argument{padding-inline:1.2rem}.lab-working-exhibit h2{font-size:2.1rem}.lab-control-path--compact{margin-inline:1.2rem}.lab-page-link{gap:.8rem;font-size:.77rem}.lab-concept-sketch{padding:1.2rem}.lab-revision-sketch li{flex-direction:column;gap:.25rem}}@media print{.lab-pages{--lab-section-space:2rem}.lab-pages .breadcrumbs,.lab-pages .lab-reference-hero>nav,.lab-full-argument aside nav,.lab-page-link{display:none}.lab-working-exhibit{color:#000;background:#fff}.lab-working-exhibit :is(p,span,strong,small){color:#000}.lab-full-argument,.lab-document-intro,.lab-knowledge-boundary,.lab-product-contract{display:block}.lab-full-argument aside{margin-bottom:2rem}.lab-full-argument .prose{max-width:none}.lab-proof-table{overflow:visible}.lab-proof-table table{min-width:0}}