.ProofMethodologyPage_page__BC9wj{width:min(1120px,calc(100% - 40px));margin:0 auto;padding:72px 0 88px;color:var(--text)}.ProofMethodologyPage_hero__52KiE{position:static;max-width:860px;margin:0 0 64px;padding:0;background:transparent;box-shadow:none}.ProofMethodologyPage_eyebrow__XeUo0,.ProofMethodologyPage_sectionKicker__ypi8i,.ProofMethodologyPage_warningLabel__N_bga{margin:0 0 12px;color:var(--link);font-size:.82rem;font-weight:750;letter-spacing:.12em;text-transform:uppercase}.ProofMethodologyPage_hero__52KiE h1{max-width:820px;margin:0;color:var(--heading);font-size:clamp(2.5rem,6vw,4.6rem);line-height:.98;letter-spacing:-.045em}.ProofMethodologyPage_lead__kQuvq{max-width:760px;margin:28px 0 0;color:var(--text);font-size:clamp(1.08rem,1.6vw,1.28rem);line-height:1.65}.ProofMethodologyPage_overview__38V59,.ProofMethodologyPage_productSection__Zm4A6{margin-top:0}.ProofMethodologyPage_sectionHeading__1PJ1g{max-width:760px;margin-bottom:28px}.ProofMethodologyPage_footerCta__s6lQp h2,.ProofMethodologyPage_methodSection___4CSv h2,.ProofMethodologyPage_sectionHeading__1PJ1g h2,.ProofMethodologyPage_warning__WVVGJ h2{margin:0;color:var(--heading);font-size:clamp(1.7rem,3vw,2.35rem);line-height:1.12;letter-spacing:-.025em}.ProofMethodologyPage_footerCta__s6lQp p,.ProofMethodologyPage_methodSection___4CSv p,.ProofMethodologyPage_sectionHeading__1PJ1g>p:last-child,.ProofMethodologyPage_warning__WVVGJ>p:last-child{margin:14px 0 0;color:var(--text);font-size:1rem;line-height:1.7}.ProofMethodologyPage_productGrid__BaXQB{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));grid-gap:18px;gap:18px}.ProofMethodologyPage_productCard__uUvil{display:flex;min-width:0;flex-direction:column;padding:26px;border:1px solid var(--border);border-radius:20px;background:var(--surface);box-shadow:0 12px 36px rgba(30,41,59,.055)}.ProofMethodologyPage_productHeader__wLqzw{display:flex;align-items:baseline;justify-content:space-between;gap:16px;padding-bottom:18px;border-bottom:1px solid var(--border)}.ProofMethodologyPage_productHeader__wLqzw h3{margin:0;color:var(--heading);font-size:1.45rem;line-height:1.15}.ProofMethodologyPage_reviewedDate__63pFA{flex:0 0 auto;color:var(--muted);font-size:.8rem;white-space:nowrap}.ProofMethodologyPage_statusList__c0aWq{margin:0}.ProofMethodologyPage_statusList__c0aWq>div{display:grid;grid-template-columns:minmax(130px,.8fr) minmax(0,1.2fr);align-items:center;grid-gap:18px;gap:18px;padding:14px 0;border-bottom:1px solid var(--border)}.ProofMethodologyPage_statusList__c0aWq dt{color:var(--muted);font-size:.88rem;font-weight:650}.ProofMethodologyPage_statusList__c0aWq dd{margin:0}.ProofMethodologyPage_status__OonRT{display:inline-flex;align-items:center;min-height:28px;padding:5px 10px;border:1px solid var(--border);border-radius:999px;background:var(--surface-alt);color:var(--text);font-size:.78rem;font-weight:750;letter-spacing:.025em}.ProofMethodologyPage_status_verified__G8tlv{border-color:rgba(15,118,110,.22);background:rgba(15,118,110,.09);color:#0f766e}.ProofMethodologyPage_status_bounded__2ILBq{border-color:rgba(79,70,229,.22);background:rgba(79,70,229,.08);color:#4338ca}.ProofMethodologyPage_status_pending_evidence__1Q8LF{border-color:rgba(180,83,9,.24);background:rgba(245,158,11,.1);color:#b45309}.ProofMethodologyPage_status_not_yet_verified__oLGYR{border-color:rgba(100,116,139,.2);background:rgba(100,116,139,.08);color:#475569}:root[data-theme=dark] .ProofMethodologyPage_status_verified__G8tlv{color:#5eead4}:root[data-theme=dark] .ProofMethodologyPage_status_bounded__2ILBq{color:#a5b4fc}:root[data-theme=dark] .ProofMethodologyPage_status_pending_evidence__1Q8LF{color:#fbbf24}:root[data-theme=dark] .ProofMethodologyPage_status_not_yet_verified__oLGYR{color:#cbd5e1}.ProofMethodologyPage_summary__ftGK4{margin:20px 0 0;color:var(--text);font-size:1rem;line-height:1.62}.ProofMethodologyPage_boundaries__kkPSF{margin-top:20px;padding-top:16px;border-top:1px solid var(--border)}.ProofMethodologyPage_boundaries__kkPSF>p{margin:0;color:var(--heading);font-size:.88rem;font-weight:700}.ProofMethodologyPage_boundaries__kkPSF ul{margin:9px 0 0;padding-left:1.15rem;color:var(--muted);font-size:.91rem;line-height:1.55}.ProofMethodologyPage_boundaries__kkPSF li+li{margin-top:5px}.ProofMethodologyPage_cardActions__pNr0E{display:flex;align-items:center;flex-wrap:wrap;gap:14px;margin-top:auto;padding-top:24px}.ProofMethodologyPage_primaryLink__YKxf9{display:inline-flex;align-items:center;justify-content:center;min-height:40px;padding:8px 14px;border-radius:10px;background:linear-gradient(120deg,#4f46e5,#0f766e);color:#fff;font-size:.88rem;font-weight:700}.ProofMethodologyPage_secondaryLink__4m66t{color:var(--link);font-size:.92rem;font-weight:700}.ProofMethodologyPage_primaryLink__YKxf9:focus-visible,.ProofMethodologyPage_primaryLink__YKxf9:hover,.ProofMethodologyPage_secondaryLink__4m66t:focus-visible,.ProofMethodologyPage_secondaryLink__4m66t:hover{text-decoration:underline;text-underline-offset:3px}.ProofMethodologyPage_methodology__0iEqh{margin-top:84px;border-top:1px solid var(--border)}.ProofMethodologyPage_methodSection___4CSv{display:grid;grid-template-columns:64px minmax(0,1fr);grid-gap:26px;gap:26px;padding:38px 0;border-bottom:1px solid var(--border)}.ProofMethodologyPage_sectionNumber__RLvw7{padding-top:4px;color:var(--muted);font-size:.78rem;font-weight:750;letter-spacing:.12em}.ProofMethodologyPage_definitionGrid__2YGJ2{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));grid-gap:28px;gap:28px;margin-top:24px}.ProofMethodologyPage_definitionGrid__2YGJ2>div{padding-left:18px;border-left:2px solid var(--border)}.ProofMethodologyPage_definitionGrid__2YGJ2 h3{margin:0 0 8px;color:var(--heading);font-size:1.02rem}.ProofMethodologyPage_definitionGrid__2YGJ2 p{margin:0;color:var(--muted);font-size:.96rem;line-height:1.6}.ProofMethodologyPage_vocabulary__9aUnM{margin:24px 0 0}.ProofMethodologyPage_vocabulary__9aUnM>div{display:grid;grid-template-columns:minmax(170px,.7fr) minmax(0,1.7fr);align-items:start;grid-gap:24px;gap:24px;padding:15px 0;border-top:1px solid var(--border)}.ProofMethodologyPage_vocabulary__9aUnM dd{margin:2px 0 0;color:var(--muted);font-size:.95rem;line-height:1.55}.ProofMethodologyPage_evidenceList__eGNFD{margin-top:22px}.ProofMethodologyPage_evidenceList__eGNFD>div{display:grid;grid-template-columns:minmax(220px,.8fr) minmax(0,1.5fr);grid-gap:20px;gap:20px;padding:13px 0;border-top:1px solid var(--border)}.ProofMethodologyPage_evidenceList__eGNFD strong{color:var(--heading);font-size:.86rem;letter-spacing:.025em}.ProofMethodologyPage_evidenceList__eGNFD span{color:var(--muted);font-size:.95rem}.ProofMethodologyPage_warning__WVVGJ{margin:44px 0;padding:30px 32px;border:1px solid rgba(245,158,11,.22);border-radius:20px;background:linear-gradient(135deg,rgba(245,158,11,.09),rgba(245,158,11,.025))}.ProofMethodologyPage_warning__WVVGJ .ProofMethodologyPage_warningLabel__N_bga{color:#b45309}:root[data-theme=dark] .ProofMethodologyPage_warning__WVVGJ .ProofMethodologyPage_warningLabel__N_bga{color:#fbbf24}.ProofMethodologyPage_overview__38V59{margin-top:76px}.ProofMethodologyPage_tableWrap__IPb__{overflow-x:auto;border-top:1px solid var(--border);border-bottom:1px solid var(--border)}.ProofMethodologyPage_tableWrap__IPb__ table{width:100%;min-width:680px;border-collapse:collapse;text-align:left}.ProofMethodologyPage_tableWrap__IPb__ td,.ProofMethodologyPage_tableWrap__IPb__ th{padding:15px 12px;border-bottom:1px solid var(--border);font-size:.92rem}.ProofMethodologyPage_tableWrap__IPb__ th{color:var(--muted);font-size:.78rem;font-weight:750;letter-spacing:.06em;text-transform:uppercase}.ProofMethodologyPage_tableWrap__IPb__ td:first-child{color:var(--heading);font-weight:700}.ProofMethodologyPage_tableWrap__IPb__ td:first-child a{color:var(--link)}.ProofMethodologyPage_tableWrap__IPb__ tbody tr:last-child td{border-bottom:0}.ProofMethodologyPage_footerCta__s6lQp{display:grid;grid-template-columns:minmax(0,1.4fr) minmax(240px,.6fr);align-items:end;grid-gap:36px;gap:36px;margin-top:72px;padding:34px 36px;border-radius:22px;background:linear-gradient(120deg,rgba(79,70,229,.075),rgba(15,118,110,.07))}.ProofMethodologyPage_footerActions__AOGFi{display:flex;align-items:center;justify-content:flex-end;flex-wrap:wrap;gap:16px}@media (max-width:820px){.ProofMethodologyPage_page__BC9wj{width:min(100% - 28px,720px);padding-top:52px}.ProofMethodologyPage_hero__52KiE{margin-bottom:48px}.ProofMethodologyPage_definitionGrid__2YGJ2,.ProofMethodologyPage_footerCta__s6lQp,.ProofMethodologyPage_productGrid__BaXQB{grid-template-columns:1fr}.ProofMethodologyPage_methodology__0iEqh{margin-top:64px}.ProofMethodologyPage_methodSection___4CSv{grid-template-columns:42px minmax(0,1fr);gap:14px}.ProofMethodologyPage_evidenceList__eGNFD>div,.ProofMethodologyPage_vocabulary__9aUnM>div{grid-template-columns:1fr;gap:8px}.ProofMethodologyPage_footerActions__AOGFi{justify-content:flex-start}}@media (max-width:540px){.ProofMethodologyPage_hero__52KiE h1{font-size:clamp(2.25rem,12vw,3.15rem)}.ProofMethodologyPage_productCard__uUvil{padding:22px 18px;border-radius:16px}.ProofMethodologyPage_productHeader__wLqzw{align-items:flex-start;flex-direction:column;gap:7px}.ProofMethodologyPage_reviewedDate__63pFA{white-space:normal}.ProofMethodologyPage_statusList__c0aWq>div{grid-template-columns:1fr;gap:7px}.ProofMethodologyPage_methodSection___4CSv{grid-template-columns:1fr;padding:30px 0}.ProofMethodologyPage_sectionNumber__RLvw7{padding:0}.ProofMethodologyPage_warning__WVVGJ{margin:34px 0;padding:24px 20px}.ProofMethodologyPage_footerCta__s6lQp{padding:28px 22px}}