.HalLabPage_status__Gv8oU{max-width:70ch;margin-top:2rem;padding:1rem 0 1rem 1.2rem;border-left:2px solid var(--color-action);font-size:.88rem;color:var(--color-text-secondary)}.HalLabPage_split__bCoYd{display:grid;grid-template-columns:1fr 1.05fr;gap:clamp(2rem,7vw,7rem)}.HalLabPage_split__bCoYd>div>p{color:var(--color-text-secondary);margin:0 0 1.25rem}.HalLabPage_split__bCoYd>div>.HalLabPage_note__2HDan{font-size:.88rem;color:var(--color-text-dim)}.HalLabPage_architecture__YzWXM,.HalLabPage_problem__vpU47,.HalLabPage_proof__dqJks,.HalLabPage_takeaway___efLw{border-top:1px solid var(--color-line-strong)}.HalLabPage_architecture__YzWXM{background:var(--color-bg-alt-field)}.HalLabPage_diagram__t5whj{margin:3rem 0}.HalLabPage_diagram__t5whj ol{display:grid;grid-template-columns:repeat(7,minmax(0,1fr));list-style:none;padding:0;margin:0;border-block:1px solid var(--color-line-strong)}.HalLabPage_diagram__t5whj li{padding:1.2rem 1rem;min-width:0}.HalLabPage_diagram__t5whj li+li{border-left:1px solid var(--color-line)}.HalLabPage_stepNumber__KICiG{display:block;color:var(--color-signal-hot);font-family:var(--font-mono),monospace;font-size:.7rem;margin-bottom:1.8rem}.HalLabPage_diagram__t5whj h3{margin:0 0 .8rem;font-size:.93rem;line-height:1.35}.HalLabPage_diagram__t5whj p{margin:0;color:var(--color-text-secondary);font-size:.8rem;line-height:1.55}.HalLabPage_diagram__t5whj .HalLabPage_confirmation__oe0Zo{border-top:2px solid var(--color-action);background:rgb(242 193 78/.045)}.HalLabPage_confirmation__oe0Zo .HalLabPage_stepNumber__KICiG{color:var(--color-action)}.HalLabPage_responsibilities__VFGDE{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:2.5rem}.HalLabPage_responsibilities__VFGDE article{border-top:1px solid var(--color-line);padding-top:1.4rem}.HalLabPage_responsibilities__VFGDE h3{font-size:1.1rem;margin:0 0 .8rem;font-weight:500}.HalLabPage_responsibilities__VFGDE p{color:var(--color-text-secondary);margin:0;font-size:.95rem}.HalLabPage_proofColumns__ReBur{display:grid;grid-template-columns:1fr 1fr;gap:clamp(2rem,6vw,6rem);margin:3rem 0}.HalLabPage_proofColumns__ReBur>div{border-top:1px solid var(--color-line-strong);padding-top:1.5rem}.HalLabPage_proofColumns__ReBur .HalLabPage_verified__HZ2ey{border-color:var(--color-success)}.HalLabPage_proofColumns__ReBur ul{list-style:none;padding:0;margin:1.2rem 0 0}.HalLabPage_proofColumns__ReBur li{position:relative;padding:.7rem 0 .7rem 1.3rem;border-bottom:1px solid var(--color-line);font-size:.95rem;color:var(--color-text-secondary)}.HalLabPage_proofColumns__ReBur li:before{content:"—";position:absolute;left:0;color:var(--color-text-dim)}.HalLabPage_verified__HZ2ey li:before{content:"+";color:var(--color-success)}.HalLabPage_next__BJK_M{border-left:2px solid var(--color-action);padding:.5rem 0 .5rem 1.5rem;max-width:80ch}.HalLabPage_next__BJK_M h3{font-size:clamp(1.3rem,2.2vw,1.9rem);line-height:1.35;margin:.8rem 0}.HalLabPage_next__BJK_M>p:last-child{color:var(--color-text-secondary);font-size:.95rem;margin-bottom:0}@media (max-width:1100px){.HalLabPage_diagram__t5whj ol{grid-template-columns:repeat(4,minmax(0,1fr))}.HalLabPage_diagram__t5whj li:nth-child(5){border-left:0}.HalLabPage_diagram__t5whj li:nth-child(n+5){border-top:1px solid var(--color-line-strong)}.HalLabPage_diagram__t5whj li.HalLabPage_confirmation__oe0Zo{border-top:2px solid var(--color-action)}.HalLabPage_responsibilities__VFGDE{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:700px){.HalLabPage_proofColumns__ReBur,.HalLabPage_responsibilities__VFGDE,.HalLabPage_split__bCoYd{grid-template-columns:1fr;gap:2rem}.HalLabPage_diagram__t5whj ol{grid-template-columns:1fr}.HalLabPage_diagram__t5whj li,.HalLabPage_diagram__t5whj li+li{display:grid;grid-template-columns:1.6rem 1fr;gap:.25rem .6rem;border-left:0;padding:1.15rem .65rem;border-top:1px solid var(--color-line)}.HalLabPage_diagram__t5whj li:first-child{border-top:0}.HalLabPage_stepNumber__KICiG{grid-row:1/3;margin:.12rem 0 0}.HalLabPage_diagram__t5whj h3{margin-bottom:.25rem}.HalLabPage_diagram__t5whj p{grid-column:2;font-size:.9rem}}