.page_shell__pjMdN{width:min(1220px,calc(100% - 32px));margin:0 auto;padding:88px 0 56px}.page_hero__7_fZM{display:flex;align-items:flex-end;justify-content:space-between;gap:24px;margin-bottom:22px;border-bottom:1px solid var(--light-gray);padding-bottom:22px}.page_hero__7_fZM h1{max-width:980px;margin:0;font-size:clamp(2.15rem,5vw,4.7rem);line-height:.98}.page_lede__s8ix0{max-width:860px;margin:16px 0 0;color:var(--gray);font-size:1.06rem;line-height:1.55}.page_eyebrow__fQkRJ,.page_kicker__kIfbD{display:block;color:var(--gray);font-size:.76rem;font-weight:800;letter-spacing:0;line-height:1.2;text-transform:uppercase}.page_eyebrow__fQkRJ,.page_kicker__kIfbD{margin-bottom:8px}.page_articleLink__zYxpa{flex:0 0 auto;border:1px solid var(--light-gray);border-radius:var(--radius);color:var(--fg);padding:9px 12px;text-decoration:none}.page_articleLink__zYxpa:hover{background:var(--lightest-gray)}.page_mentalModel__Z1TW5,.page_proofTableSection__4Ihto{display:grid;gap:12px;margin-bottom:20px}.page_sectionHeader__C607u{max-width:900px}.page_mentalModel__Z1TW5 h2,.page_sectionHeader__C607u h2{margin:0;font-size:clamp(1.35rem,3vw,2.25rem);line-height:1.12}.page_sectionHeader__C607u p{margin:10px 0 0;color:var(--gray);font-size:.96rem;line-height:1.5}.page_tableScroll__QPQDL{overflow-x:auto;border:1px solid var(--light-gray);border-radius:var(--radius);background:var(--bg)}.page_proofTable__A3puC{width:100%;min-width:980px;border-collapse:collapse}.page_proofTable__A3puC td,.page_proofTable__A3puC th{border-top:1px solid var(--light-gray);border-left:1px solid var(--light-gray);color:var(--article-color);font-size:.9rem;line-height:1.45;padding:10px 11px;text-align:left;vertical-align:top}.page_proofTable__A3puC thead th{border-top:0;background:var(--lightest-gray);color:var(--fg);font-weight:800}.page_proofTable__A3puC td:first-child,.page_proofTable__A3puC th:first-child{border-left:0}.page_proofTable__A3puC tbody th{width:240px;min-width:240px;color:var(--fg);font-weight:800}.page_proofTable__A3puC code{overflow-wrap:anywhere;color:var(--article-color);font-family:var(--font-mono)}.page_workbench__47nL8{display:grid;grid-template-columns:minmax(260px,.34fr) minmax(0,1fr);gap:14px;align-items:start;margin-bottom:22px}.page_scenarioRail__GuyR9{display:grid;gap:9px;position:sticky;top:82px}.page_activeScenario__ediZU,.page_scenarioButton__wKAnN{display:grid;gap:6px;min-width:0;border:1px solid var(--light-gray);border-radius:7px;background:var(--bg);color:var(--fg);cursor:pointer;font:inherit;padding:11px;text-align:left}.page_activeScenario__ediZU,.page_scenarioButton__wKAnN:hover{border-color:var(--link);background:var(--lightest-gray)}.page_activeScenario__ediZU{box-shadow:inset 0 0 0 1px var(--link)}.page_activeScenario__ediZU span,.page_scenarioButton__wKAnN span{color:var(--gray);font-size:.7rem;font-weight:800;text-transform:uppercase}.page_activeScenario__ediZU strong,.page_scenarioButton__wKAnN strong{overflow-wrap:anywhere;color:var(--fg);font-family:var(--font-mono);font-size:.86rem;line-height:1.4}.page_activeScenario__ediZU small,.page_scenarioButton__wKAnN small{color:var(--gray);font-size:.82rem;line-height:1.4}.page_interactivePanel__rBWty,.page_mentalModel__Z1TW5{border:1px solid var(--light-gray);border-radius:var(--radius);background:var(--lightest-gray);padding:16px}.page_interactivePanel__rBWty{display:grid;gap:14px;min-width:0}.page_panelHeader__FRP0c{display:flex;align-items:flex-start;justify-content:space-between;gap:14px}.page_panelHeader__FRP0c h2{margin:0;font-size:clamp(1.35rem,3vw,2.2rem);line-height:1.12}.page_lagPanel__sxfTF p,.page_modelGrid__DeDgD p,.page_panelHeader__FRP0c p,.page_realWorldPanel___cVo4 p{margin:0;color:var(--gray);font-size:.93rem;line-height:1.5}.page_panelHeader__FRP0c p{margin-top:9px}.page_failPill__9wpUk,.page_passPill__c35YR{flex:0 0 auto;width:-moz-fit-content;width:fit-content;border-radius:999px;padding:5px 9px;font-size:.74rem;font-weight:800;line-height:1.2;text-transform:uppercase}.page_passPill__c35YR{background:color-mix(in srgb,var(--green) 20%,transparent);color:var(--green)}.page_failPill__9wpUk{background:color-mix(in srgb,var(--red) 20%,transparent);color:var(--red)}.page_inputsGrid__23B0T{display:grid;grid-template-columns:repeat(auto-fit,minmax(230px,1fr));gap:11px;align-items:end}.page_control__K7e_q{display:grid;gap:8px}.page_control__K7e_q span{color:var(--gray);font-size:.72rem;font-weight:800;line-height:1.2;text-transform:uppercase}.page_sliderRow__rzXcS{display:grid;grid-template-columns:minmax(0,1fr) 84px;gap:8px;align-items:center}.page_sliderRow__rzXcS input[type=range]{width:100%;accent-color:var(--link)}.page_numberInput__045_x,.page_textInput__rgDil{width:100%;min-width:0;border:1px solid var(--light-gray);border-radius:6px;background:var(--bg);color:var(--fg);font:inherit;padding:9px 10px}.page_textInput__rgDil{font-family:var(--font-mono);font-size:.88rem}.page_numberInput__045_x:focus,.page_textInput__rgDil:focus{border-color:var(--link);outline:none}.page_actions__b0sbJ{display:flex;flex-wrap:wrap;gap:9px}.page_actions__b0sbJ button{border:1px solid var(--light-gray);border-radius:6px;background:var(--bg);color:var(--fg);cursor:pointer;font:inherit;padding:8px 10px}.page_actions__b0sbJ button:hover{border-color:var(--link);background:var(--lightest-gray)}.page_lagPanel__sxfTF{display:grid;gap:10px;border:1px solid var(--light-gray);border-radius:7px;background:var(--bg);padding:12px}.page_lagPanel__sxfTF strong{display:block;margin-bottom:4px;color:var(--fg);font-size:1rem;line-height:1.2;text-transform:uppercase}.page_progressTrack__KvZ3u{overflow:hidden;height:10px;border:1px solid var(--light-gray);border-radius:999px;background:var(--lightest-gray)}.page_progressTrack__KvZ3u span{display:block;height:100%;border-radius:inherit;background:var(--link);transition:width 80ms linear}.page_gtGrid__G7Xn1,.page_modelGrid__DeDgD,.page_proverVerifierGrid__I7MCT,.page_realWorldPanel___cVo4{display:grid;gap:10px}.page_proverVerifierGrid__I7MCT{grid-template-columns:repeat(2,minmax(0,1fr))}.page_sameSecretExplainer__jQtD_{display:grid;gap:12px;min-width:0;border:1px solid color-mix(in srgb,var(--link) 36%,var(--light-gray));border-radius:7px;background:linear-gradient(135deg,color-mix(in srgb,var(--link) 9%,transparent),transparent 58%),var(--bg);padding:12px}.page_roleExamplePanel__kJG7_{display:grid;gap:12px;min-width:0;border:1px solid color-mix(in srgb,var(--green) 36%,var(--light-gray));border-radius:7px;background:linear-gradient(135deg,color-mix(in srgb,var(--green) 9%,transparent),transparent 58%),var(--bg);padding:12px}.page_layerGrid___PSnz,.page_roleGrid__eZbgD{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}.page_cleanModel__X82xc>div,.page_distinctionPanel__aMUal,.page_gtCard__cdps9,.page_layerGrid___PSnz article,.page_modelGrid__DeDgD>div,.page_proverVerifierGrid__I7MCT article,.page_realWorldPanel___cVo4>div,.page_roleGrid__eZbgD article{display:grid;gap:8px;min-width:0;border:1px solid var(--light-gray);border-radius:7px;background:var(--bg);padding:12px}.page_rows__07YKA{overflow:hidden;border:1px solid var(--light-gray);border-radius:6px}.page_row__pNoOS{display:grid;grid-template-columns:160px minmax(0,1fr);border-top:1px solid var(--light-gray);background:var(--bg)}.page_row__pNoOS:first-child{border-top:0}.page_row__pNoOS code,.page_row__pNoOS span{overflow-wrap:anywhere;padding:9px 10px;font-size:.86rem;line-height:1.4}.page_row__pNoOS span{border-right:1px solid var(--light-gray);color:var(--gray);font-weight:800}.page_gtCard__cdps9 code,.page_gtCard__cdps9 small,.page_realWorldPanel___cVo4 code,.page_row__pNoOS code{color:var(--article-color);font-family:var(--font-mono)}.page_gtSection__DNmKP{display:grid;gap:12px;min-width:0}.page_gtGrid__G7Xn1{grid-template-columns:repeat(auto-fit,minmax(210px,1fr))}.page_gtCard__cdps9{background:linear-gradient(135deg,color-mix(in srgb,var(--link) 8%,transparent),transparent 56%),var(--bg)}.page_cleanModel__X82xc span,.page_distinctionPanel__aMUal span,.page_gtCard__cdps9 span,.page_layerGrid___PSnz span,.page_modelGrid__DeDgD span,.page_realWorldPanel___cVo4 span,.page_roleGrid__eZbgD span{color:var(--gray);font-size:.72rem;font-weight:800;line-height:1.2;text-transform:uppercase}.page_gtCard__cdps9 code,.page_layerGrid___PSnz code,.page_roleGrid__eZbgD code{overflow-wrap:anywhere;border:1px solid var(--light-gray);border-radius:6px;background:var(--lightest-gray);padding:8px;font-size:.82rem;line-height:1.4}.page_cleanModel__X82xc p,.page_distinctionPanel__aMUal p,.page_layerGrid___PSnz p,.page_roleGrid__eZbgD p{margin:0;color:var(--gray);font-size:.9rem;line-height:1.5}.page_cleanModel__X82xc{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}.page_inlineFail__9zUJv,.page_inlinePass__12p8a{width:-moz-fit-content;width:fit-content;border-radius:999px;padding:5px 8px;font-size:.72rem;line-height:1.2;text-transform:uppercase}.page_inlinePass__12p8a{background:color-mix(in srgb,var(--green) 18%,transparent);color:var(--green)}.page_inlineFail__9zUJv{background:color-mix(in srgb,var(--red) 18%,transparent);color:var(--red)}.page_gtCard__cdps9 strong{color:var(--fg);font-size:1.05rem;line-height:1.25}.page_gtCard__cdps9 small{overflow-wrap:anywhere;color:var(--gray);font-size:.78rem;line-height:1.35}.page_realWorldPanel___cVo4{grid-template-columns:repeat(2,minmax(0,1fr))}.page_realWorldPanel___cVo4 code{overflow-wrap:anywhere;font-size:.88rem;line-height:1.45}.page_mentalModel__Z1TW5{gap:14px}.page_modelGrid__DeDgD{grid-template-columns:repeat(3,minmax(0,1fr))}@media (max-width:980px){.page_cleanModel__X82xc,.page_hero__7_fZM,.page_layerGrid___PSnz,.page_modelGrid__DeDgD,.page_proverVerifierGrid__I7MCT,.page_realWorldPanel___cVo4,.page_roleGrid__eZbgD,.page_workbench__47nL8{grid-template-columns:1fr}.page_hero__7_fZM{display:grid;align-items:start}.page_articleLink__zYxpa{justify-self:start}.page_scenarioRail__GuyR9{position:static;grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:680px){.page_shell__pjMdN{width:min(100% - 20px,1220px);padding-top:72px}.page_hero__7_fZM h1{font-size:clamp(2rem,12vw,3rem)}.page_row__pNoOS,.page_scenarioRail__GuyR9,.page_sliderRow__rzXcS{grid-template-columns:1fr}.page_panelHeader__FRP0c{display:grid}.page_row__pNoOS span{border-right:0;border-bottom:1px solid var(--light-gray)}}