.progress_tally__tqP_Z{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--pub-border);border:1px solid var(--pub-border);margin:clamp(1.6rem,4vw,2.6rem) 0 0}.progress_tally__tqP_Z>div{background:var(--pub-bg);padding:1rem 1.1rem 1.2rem;display:grid;gap:.2rem;align-content:start;border-top:3px solid var(--pub-border-strong)}.progress_tally__tqP_Z>div[data-state=built]{border-top-color:var(--vx-accepted)}.progress_tally__tqP_Z>div[data-state=partial]{border-top-color:var(--vx-active)}.progress_tally__tqP_Z>div[data-state=next]{border-top-color:var(--vx-engineering)}.progress_tally__tqP_Z>div[data-state=future]{border-top-color:var(--pub-border-strong);border-top-style:dashed}.progress_tally__tqP_Z dt{font-family:var(--vx-mono);font-size:.6rem;letter-spacing:.16em;text-transform:uppercase;color:var(--pub-ink-muted);order:1}.progress_tally__tqP_Z dd{margin:0;order:0;display:contents}.progress_tallyCount__a7BOz{order:0;font-family:var(--vx-mono);font-size:clamp(1.8rem,4vw,2.8rem);line-height:1;color:var(--pub-ink)}.progress_tally__tqP_Z>div[data-state=built] .progress_tallyCount__a7BOz{color:var(--vx-accepted)}.progress_tally__tqP_Z>div[data-state=partial] .progress_tallyCount__a7BOz{color:var(--vx-active)}.progress_tally__tqP_Z>div[data-state=next] .progress_tallyCount__a7BOz{color:var(--vx-engineering)}.progress_tally__tqP_Z>div[data-state=future] .progress_tallyCount__a7BOz{color:var(--pub-ink-muted)}.progress_tallyMeaning__Vj8t6{order:2;margin-top:.4rem;font-size:.76rem;color:var(--pub-ink-muted);line-height:1.4}.progress_nextCard__pf4v9{border:1px solid var(--pub-border);border-left:3px solid var(--vx-human);background:var(--pub-surface-inset);padding:1.3rem clamp(1rem,2.5vw,1.6rem);display:grid;gap:.7rem}.progress_nextCard__pf4v9 h3{margin:0;font-size:1.2rem;letter-spacing:-.018em;color:var(--pub-ink)}.progress_nextCard__pf4v9 p{margin:0;color:var(--pub-ink-2);font-size:.92rem;line-height:1.58}.progress_nextWhy__Al1_E{color:var(--pub-ink-muted)!important}.progress_nextUnlock__BTc3E{padding-left:.9rem;border-left:2px solid var(--vx-human-line);color:var(--pub-ink)!important}.progress_nextUnlock__BTc3E span{display:block;font-family:var(--vx-mono);font-size:.56rem;letter-spacing:.15em;text-transform:uppercase;color:var(--vx-human);margin-bottom:.2rem}.progress_closingBands__Y2Fm6{margin-top:clamp(2rem,6vw,4rem);width:100%;opacity:.9}@media (max-width:760px){.progress_tally__tqP_Z{grid-template-columns:repeat(2,1fr)}}.progress_noDates__gj_gY{margin:0;padding:.7rem .9rem;border-left:3px solid var(--vx-human);background:var(--pub-surface-inset);font-size:.88rem;line-height:1.5;color:var(--pub-ink-2)}.progress_bandsLede__5y0Me{margin:.7rem 0 0;max-width:68ch;font-size:.92rem;line-height:1.6;color:var(--pub-ink-2)}.ProofLedger_root__iM_qP{display:grid;gap:1.2rem}.ProofLedger_filters__CkFZ2{display:flex;flex-wrap:wrap;gap:.5rem}.ProofLedger_filter__28zzZ{display:inline-flex;align-items:center;gap:.5rem;padding:.42rem .8rem;background:transparent;border:1px solid var(--pub-border-strong);color:var(--pub-ink-2);font-family:var(--vx-mono);font-size:.66rem;letter-spacing:.1em;text-transform:uppercase;cursor:pointer;transition:border-color var(--vx-dur-state) var(--vx-ease-out),color var(--vx-dur-state) var(--vx-ease-out)}.ProofLedger_filter__28zzZ:hover{border-color:var(--vx-engineering);color:var(--pub-ink)}.ProofLedger_filter__28zzZ:focus-visible{outline:2px solid var(--vx-engineering);outline-offset:2px}.ProofLedger_filter__28zzZ[aria-pressed=true]{border-color:var(--vx-engineering);background:var(--vx-engineering-soft);color:var(--pub-ink)}.ProofLedger_filter__28zzZ[aria-pressed=true][data-status=working]{border-color:var(--vx-accepted);background:var(--vx-accepted-soft)}.ProofLedger_filter__28zzZ[aria-pressed=true][data-status=next]{border-color:var(--vx-human);background:var(--vx-human-soft)}.ProofLedger_filterCount__YLxDk{color:var(--pub-ink-faint)}.ProofLedger_filterMeaning__PlSsU{margin:0;font-size:.85rem;color:var(--pub-ink-muted);line-height:1.5}.ProofLedger_empty__HtRS_{margin:0;padding:1.4rem 1.2rem;border:1px dashed var(--pub-border-strong);color:var(--pub-ink-muted);font-size:.9rem}.ProofLedger_list__pwRGA{list-style:none;margin:0;padding:0;display:grid;gap:1px;background:var(--pub-border);border:1px solid var(--pub-border)}.ProofLedger_entry__TiwNy{background:var(--pub-bg);padding:clamp(1.2rem,3vw,1.8rem) clamp(1rem,3vw,2rem);border-left:3px solid var(--pub-border-strong);display:grid;gap:1rem}.ProofLedger_entry__TiwNy[data-status=working]{border-left-color:var(--vx-accepted)}.ProofLedger_entry__TiwNy[data-status=prototype]{border-left-color:var(--vx-active)}.ProofLedger_entry__TiwNy[data-status=synthetic]{border-left-color:var(--vx-engineering)}.ProofLedger_entry__TiwNy[data-status=research]{border-left-color:var(--vx-machine)}.ProofLedger_entry__TiwNy[data-status=next]{border-left-color:var(--vx-human);border-left-style:dashed}.ProofLedger_entryHead__aNiPq{display:flex;flex-wrap:wrap;gap:.8rem 1.5rem;align-items:flex-start;justify-content:space-between}.ProofLedger_domain__vPfIX{font-family:var(--vx-mono);font-size:.58rem;letter-spacing:.16em;text-transform:uppercase;color:var(--pub-ink-faint)}.ProofLedger_entryHead__aNiPq h3{margin:.3rem 0 0;font-size:clamp(1.1rem,2.2vw,1.5rem);letter-spacing:-.018em;color:var(--pub-ink);line-height:1.2}.ProofLedger_status__wOkWa{font-family:var(--vx-mono);font-size:.62rem;letter-spacing:.12em;text-transform:uppercase;padding:.24rem .55rem;border:1px solid var(--pub-border-strong);white-space:nowrap}.ProofLedger_status__wOkWa[data-status=working]{color:var(--vx-accepted);border-color:var(--vx-accepted-line);background:var(--vx-accepted-soft)}.ProofLedger_status__wOkWa[data-status=prototype]{color:var(--vx-active);border-color:var(--vx-active-line);background:var(--vx-active-soft)}.ProofLedger_status__wOkWa[data-status=synthetic]{color:var(--vx-engineering);border-color:var(--vx-engineering-line);background:var(--vx-engineering-soft)}.ProofLedger_status__wOkWa[data-status=research]{color:var(--vx-machine);border-color:var(--vx-machine-line);background:var(--vx-machine-soft)}.ProofLedger_status__wOkWa[data-status=next]{color:var(--vx-human);border-color:var(--vx-human-line);background:var(--vx-human-soft)}.ProofLedger_summary__ephmJ{margin:0;max-width:82ch;color:var(--pub-ink);font-size:.98rem;line-height:1.6}.ProofLedger_relevance__Q2nWc{margin:0;padding-left:.95rem;border-left:2px solid var(--vx-engineering-line);color:var(--pub-ink-2);font-size:.9rem;line-height:1.55;max-width:82ch}.ProofLedger_relevance__Q2nWc span{display:block;font-family:var(--vx-mono);font-size:.56rem;letter-spacing:.15em;text-transform:uppercase;color:var(--vx-engineering);margin-bottom:.25rem}.ProofLedger_facets__sxE__{display:grid;grid-template-columns:repeat(auto-fit,minmax(230px,1fr));gap:1px;background:var(--pub-border);border:1px solid var(--pub-border)}.ProofLedger_facet___Sh54{background:var(--pub-surface-inset);padding:.9rem 1rem;min-width:0}.ProofLedger_facetLabel__Nfv0a{display:block;font-family:var(--vx-mono);font-size:.56rem;letter-spacing:.14em;text-transform:uppercase;margin-bottom:.6rem}.ProofLedger_facet___Sh54[data-kind=works] .ProofLedger_facetLabel__Nfv0a{color:var(--vx-accepted)}.ProofLedger_facet___Sh54[data-kind=synthetic] .ProofLedger_facetLabel__Nfv0a{color:var(--vx-engineering)}.ProofLedger_facet___Sh54[data-kind=limits] .ProofLedger_facetLabel__Nfv0a{color:var(--vx-blocked)}.ProofLedger_facet___Sh54 ul{list-style:none;margin:0;padding:0;display:grid;gap:.35rem}.ProofLedger_facet___Sh54 li{position:relative;padding-left:.95rem;font-size:.82rem;line-height:1.45;color:var(--pub-ink-2)}.ProofLedger_facet___Sh54 li:before{content:"";position:absolute;left:0;top:.6em;width:5px;height:1px;background:currentColor;opacity:.5}.ProofLedger_entryFoot__xlgN_{display:flex;flex-wrap:wrap;gap:.8rem 1.5rem;align-items:baseline;justify-content:space-between}.ProofLedger_unlock__zZD0T{margin:0;color:var(--pub-ink-2);font-size:.86rem;line-height:1.5;max-width:70ch}.ProofLedger_unlock__zZD0T span{display:block;font-family:var(--vx-mono);font-size:.56rem;letter-spacing:.15em;text-transform:uppercase;color:var(--pub-ink-muted);margin-bottom:.2rem}.ProofLedger_surfaceLink__cSV9e{display:inline-flex;align-items:center;gap:.4rem;font-family:var(--vx-mono);font-size:.66rem;letter-spacing:.12em;text-transform:uppercase;color:var(--vx-engineering);white-space:nowrap}.ProofLedger_surfaceLink__cSV9e:hover{color:var(--pub-ink)}@media (max-width:620px){.ProofLedger_facets__sxE__{grid-template-columns:1fr}}