.ExamplesProofLibrary-module__vXpCiq__page{--proof-paper:color-mix(in srgb, var(--color-card) 92%, var(--color-background));--proof-ink:var(--color-foreground);max-width:1440px;margin:0 auto;padding:clamp(3rem,6vw,6.5rem) clamp(1rem,4vw,4.5rem) 5rem}.ExamplesProofLibrary-module__vXpCiq__hero{border-bottom:1px solid var(--color-border-strong);grid-template-columns:minmax(0,1.55fr) minmax(19rem,.58fr);align-items:end;gap:clamp(2rem,5vw,5rem);padding-bottom:clamp(2.5rem,5vw,4.75rem);display:grid}.ExamplesProofLibrary-module__vXpCiq__heroCopy{max-width:58rem}.ExamplesProofLibrary-module__vXpCiq__eyebrow,.ExamplesProofLibrary-module__vXpCiq__caseKind,.ExamplesProofLibrary-module__vXpCiq__sectionLabel,.ExamplesProofLibrary-module__vXpCiq__problem span,.ExamplesProofLibrary-module__vXpCiq__answer span{font-family:var(--font-mono);letter-spacing:.14em;text-transform:uppercase;font-size:.72rem;font-weight:700}.ExamplesProofLibrary-module__vXpCiq__eyebrow,.ExamplesProofLibrary-module__vXpCiq__caseKind{color:var(--color-brand)}.ExamplesProofLibrary-module__vXpCiq__hero h1{max-width:15ch;font-family:var(--font-newsreader), Georgia, serif;letter-spacing:-.055em;margin-top:1rem;font-size:clamp(2.9rem,6.4vw,6.5rem);font-weight:500;line-height:.93}.ExamplesProofLibrary-module__vXpCiq__lede{max-width:48rem;color:var(--color-muted-foreground);margin-top:1.5rem;font-size:clamp(1rem,1.45vw,1.2rem);line-height:1.7}.ExamplesProofLibrary-module__vXpCiq__argument{grid-template-columns:1fr auto 1fr;align-items:center;gap:1rem;margin-top:2rem;display:grid}.ExamplesProofLibrary-module__vXpCiq__argument>svg{width:1.1rem;color:var(--color-muted-foreground)}.ExamplesProofLibrary-module__vXpCiq__problem,.ExamplesProofLibrary-module__vXpCiq__answer{border:1px solid var(--color-border);min-height:7.5rem;padding:1rem 1.1rem}.ExamplesProofLibrary-module__vXpCiq__problem{border-top:3px solid var(--color-destructive);background:var(--color-surface)}.ExamplesProofLibrary-module__vXpCiq__answer{border-top:3px solid var(--color-brand);background:var(--color-brand-subtle)}.ExamplesProofLibrary-module__vXpCiq__problem span{color:var(--color-destructive)}.ExamplesProofLibrary-module__vXpCiq__answer span{color:var(--color-brand)}.ExamplesProofLibrary-module__vXpCiq__problem p,.ExamplesProofLibrary-module__vXpCiq__answer p{margin-top:.65rem;font-size:.92rem;line-height:1.55}.ExamplesProofLibrary-module__vXpCiq__manifest{border:1px solid var(--color-border-strong);background:var(--proof-paper);box-shadow:.75rem .75rem 0 color-mix(in srgb, var(--color-border) 48%, transparent);padding:1.6rem;position:relative}.ExamplesProofLibrary-module__vXpCiq__manifest:before{content:"";background:color-mix(in srgb, var(--color-brand) 22%, transparent);width:5rem;height:1.1rem;position:absolute;top:-.6rem;left:50%;transform:translate(-50%)rotate(-1deg)}.ExamplesProofLibrary-module__vXpCiq__manifestIndex{font-family:var(--font-mono);color:var(--color-muted-foreground);font-size:.7rem}.ExamplesProofLibrary-module__vXpCiq__manifest h2{font-family:var(--font-newsreader), Georgia, serif;margin-top:1.4rem;font-size:2rem;line-height:1.05}.ExamplesProofLibrary-module__vXpCiq__manifest ul{border-top:1px solid var(--color-border);margin-top:1.4rem}.ExamplesProofLibrary-module__vXpCiq__manifest li{border-bottom:1px solid var(--color-border);align-items:center;gap:.8rem;min-height:3.5rem;font-size:.9rem;display:flex}.ExamplesProofLibrary-module__vXpCiq__manifest li svg{width:1.1rem;color:var(--color-brand);flex:none}.ExamplesProofLibrary-module__vXpCiq__library{padding-top:clamp(3rem,6vw,5.5rem)}.ExamplesProofLibrary-module__vXpCiq__libraryHeading{grid-template-columns:1fr minmax(20rem,.72fr);align-items:end;gap:2rem;display:grid}.ExamplesProofLibrary-module__vXpCiq__libraryHeading h2,.ExamplesProofLibrary-module__vXpCiq__compactIntro h2,.ExamplesProofLibrary-module__vXpCiq__cta h2{font-family:var(--font-newsreader), Georgia, serif;letter-spacing:-.035em;margin-top:.7rem;font-size:clamp(2rem,4vw,3.6rem);font-weight:500;line-height:1}.ExamplesProofLibrary-module__vXpCiq__libraryHeading>p,.ExamplesProofLibrary-module__vXpCiq__compactIntro>p,.ExamplesProofLibrary-module__vXpCiq__cta div>p:last-child{color:var(--color-muted-foreground);line-height:1.65}.ExamplesProofLibrary-module__vXpCiq__featuredCases{gap:1rem;margin-top:2.25rem;display:grid}.ExamplesProofLibrary-module__vXpCiq__caseFile{border:1px solid var(--color-border-strong);background:var(--proof-paper);grid-template-columns:minmax(16rem,.82fr) minmax(17rem,.92fr) minmax(20rem,1.12fr);min-width:0;display:grid;position:relative;box-shadow:0 .55rem 1.6rem #00000017}.ExamplesProofLibrary-module__vXpCiq__folderTab{border:1px solid var(--color-border-strong);background:var(--proof-paper);min-width:4.3rem;color:var(--color-muted-foreground);font-family:var(--font-mono);border-bottom:0;padding:.3rem .7rem;font-size:.7rem;position:absolute;top:-.7rem;left:1.25rem}.ExamplesProofLibrary-module__vXpCiq__sourcePreview,.ExamplesProofLibrary-module__vXpCiq__caseSummary,.ExamplesProofLibrary-module__vXpCiq__caseOutcome{min-width:0;padding:clamp(1.25rem,2.4vw,2rem)}.ExamplesProofLibrary-module__vXpCiq__caseSummary,.ExamplesProofLibrary-module__vXpCiq__caseOutcome{border-left:1px solid var(--color-border)}.ExamplesProofLibrary-module__vXpCiq__sourcePreview{background:color-mix(in srgb, var(--color-surface) 88%, transparent);flex-direction:column;justify-content:space-between;display:flex}.ExamplesProofLibrary-module__vXpCiq__sourceStack{min-height:8rem;margin:.25rem .4rem 1.4rem;position:relative}.ExamplesProofLibrary-module__vXpCiq__miniDocument{top:calc(var(--document-index) * .55rem);left:calc(var(--document-index) * 14%);aspect-ratio:.72;width:54%;min-width:7.2rem;transform:rotate(calc((var(--document-index) - 1) * 2deg));border:1px solid var(--color-border-strong);background:var(--color-background);padding:.55rem;position:absolute;box-shadow:.25rem .35rem .7rem #0000001f}.ExamplesProofLibrary-module__vXpCiq__miniDocument span{color:var(--color-brand);font-family:var(--font-mono);font-size:.58rem;font-weight:700;display:block}.ExamplesProofLibrary-module__vXpCiq__miniDocument small{color:var(--color-foreground);font-family:var(--font-mono);overflow-wrap:anywhere;-webkit-line-clamp:3;-webkit-box-orient:vertical;margin-top:.65rem;font-size:.48rem;line-height:1.3;display:-webkit-box;overflow:hidden}.ExamplesProofLibrary-module__vXpCiq__miniDocument i{background:var(--color-border);height:1px;margin-top:.7rem;display:block}.ExamplesProofLibrary-module__vXpCiq__miniDocument i:nth-of-type(2){width:76%}.ExamplesProofLibrary-module__vXpCiq__miniDocument i:nth-of-type(3){width:45%}.ExamplesProofLibrary-module__vXpCiq__sourceNames{gap:.4rem;display:grid}.ExamplesProofLibrary-module__vXpCiq__sourceNames li{overflow-wrap:anywhere;color:var(--color-muted-foreground);font-family:var(--font-mono);font-size:.66rem;line-height:1.45}.ExamplesProofLibrary-module__vXpCiq__sourceNames li:before{content:"↳";color:var(--color-brand);margin-right:.4rem}.ExamplesProofLibrary-module__vXpCiq__caseSummary{flex-direction:column;justify-content:space-between;display:flex}.ExamplesProofLibrary-module__vXpCiq__caseSummary h3,.ExamplesProofLibrary-module__vXpCiq__compactCase h3{font-family:var(--font-newsreader), Georgia, serif;letter-spacing:-.025em;margin-top:.65rem;font-size:clamp(1.55rem,2.25vw,2.4rem);font-weight:500;line-height:1.02}.ExamplesProofLibrary-module__vXpCiq__caseBody{color:var(--color-muted-foreground);margin-top:1rem;font-size:.88rem;line-height:1.6}.ExamplesProofLibrary-module__vXpCiq__fixtureStamp{border:1px solid var(--color-brand);width:fit-content;color:var(--color-brand);font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;align-items:center;gap:.5rem;margin-top:1.25rem;padding:.4rem .55rem;font-size:.62rem;font-weight:700;display:inline-flex}.ExamplesProofLibrary-module__vXpCiq__fixtureStamp svg{width:.85rem}.ExamplesProofLibrary-module__vXpCiq__caseOutcome{flex-direction:column;display:flex}.ExamplesProofLibrary-module__vXpCiq__sectionLabel{color:var(--color-muted-foreground);align-items:center;gap:.5rem;display:flex}.ExamplesProofLibrary-module__vXpCiq__sectionLabel svg{width:1rem;color:var(--color-brand)}.ExamplesProofLibrary-module__vXpCiq__caseOutcome dl{background:var(--color-border);grid-template-columns:repeat(2,minmax(0,1fr));gap:1px;margin-top:1rem;display:grid}.ExamplesProofLibrary-module__vXpCiq__caseOutcome dl div{background:var(--color-background);min-width:0;padding:.75rem}.ExamplesProofLibrary-module__vXpCiq__caseOutcome dt,.ExamplesProofLibrary-module__vXpCiq__compactCase dt{color:var(--color-muted-foreground);font-size:.66rem}.ExamplesProofLibrary-module__vXpCiq__caseOutcome dd,.ExamplesProofLibrary-module__vXpCiq__compactCase dd{overflow-wrap:anywhere;font-family:var(--font-mono);margin-top:.25rem;font-size:.76rem;font-weight:700}.ExamplesProofLibrary-module__vXpCiq__boundary{border-left:2px solid var(--color-status-review);background:var(--color-status-review-bg);margin-top:1rem;padding:.85rem}.ExamplesProofLibrary-module__vXpCiq__boundary p{text-transform:uppercase;align-items:center;gap:.45rem;font-size:.7rem;font-weight:700;display:flex}.ExamplesProofLibrary-module__vXpCiq__boundary p svg{width:.9rem}.ExamplesProofLibrary-module__vXpCiq__boundary span{margin-top:.45rem;font-size:.75rem;line-height:1.5;display:block}.ExamplesProofLibrary-module__vXpCiq__caseLink,.ExamplesProofLibrary-module__vXpCiq__compactCase>a,.ExamplesProofLibrary-module__vXpCiq__cta>a{min-height:2.9rem;color:var(--color-brand);justify-content:space-between;align-items:center;gap:1rem;margin-top:auto;padding-top:1rem;font-size:.82rem;font-weight:700;text-decoration:none;display:inline-flex}.ExamplesProofLibrary-module__vXpCiq__caseLink svg,.ExamplesProofLibrary-module__vXpCiq__compactCase>a svg,.ExamplesProofLibrary-module__vXpCiq__cta>a svg{width:1rem;transition:transform .18s}.ExamplesProofLibrary-module__vXpCiq__caseLink:hover svg,.ExamplesProofLibrary-module__vXpCiq__compactCase>a:hover svg,.ExamplesProofLibrary-module__vXpCiq__cta>a:hover svg{transform:translate(.25rem)}.ExamplesProofLibrary-module__vXpCiq__compactLibrary{border-top:1px solid var(--color-border-strong);grid-template-columns:minmax(15rem,.42fr) minmax(0,1.58fr);gap:1rem;margin-top:clamp(3rem,6vw,5.5rem);padding-top:2.4rem;display:grid}.ExamplesProofLibrary-module__vXpCiq__compactIntro{padding-right:2rem}.ExamplesProofLibrary-module__vXpCiq__compactIntro>p:last-child{margin-top:1rem;font-size:.9rem}.ExamplesProofLibrary-module__vXpCiq__compactGrid{background:var(--color-border-strong);grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;display:grid}.ExamplesProofLibrary-module__vXpCiq__compactCase{background:var(--proof-paper);flex-direction:column;min-width:0;padding:1.35rem;display:flex}.ExamplesProofLibrary-module__vXpCiq__compactNumber{color:var(--color-muted-foreground);font-family:var(--font-mono);font-size:.68rem}.ExamplesProofLibrary-module__vXpCiq__compactCase .ExamplesProofLibrary-module__vXpCiq__caseKind{margin-top:1.4rem}.ExamplesProofLibrary-module__vXpCiq__compactCase h3{font-size:1.55rem}.ExamplesProofLibrary-module__vXpCiq__compactCase>p:not(.ExamplesProofLibrary-module__vXpCiq__caseKind){color:var(--color-muted-foreground);margin-top:.8rem;font-size:.78rem;line-height:1.55}.ExamplesProofLibrary-module__vXpCiq__compactCase dl{background:var(--color-border);grid-template-columns:repeat(2,minmax(0,1fr));gap:1px;margin-top:1rem;display:grid}.ExamplesProofLibrary-module__vXpCiq__compactCase dl div{background:var(--color-background);min-width:0;padding:.7rem}.ExamplesProofLibrary-module__vXpCiq__compactBoundary{border-top:1px solid var(--color-border);color:var(--color-muted-foreground);gap:.55rem;margin-top:1rem;padding-top:.9rem;font-size:.7rem;line-height:1.45;display:flex}.ExamplesProofLibrary-module__vXpCiq__compactBoundary svg{width:.9rem;color:var(--color-status-review);flex:none}.ExamplesProofLibrary-module__vXpCiq__cta{border:1px solid var(--color-brand);background:var(--color-brand-subtle);justify-content:space-between;align-items:end;gap:2rem;margin-top:clamp(3rem,6vw,5.5rem);padding:clamp(1.5rem,3vw,2.5rem);display:flex}.ExamplesProofLibrary-module__vXpCiq__cta div{max-width:46rem}.ExamplesProofLibrary-module__vXpCiq__cta div>p:last-child{margin-top:1rem}.ExamplesProofLibrary-module__vXpCiq__cta>a{border:1px solid var(--color-brand);background:var(--color-brand);min-height:3rem;color:var(--color-brand-foreground);flex:none;margin:0;padding:.75rem 1rem}@media (max-width:1080px){.ExamplesProofLibrary-module__vXpCiq__hero{grid-template-columns:1fr;align-items:start}.ExamplesProofLibrary-module__vXpCiq__manifest{max-width:42rem}.ExamplesProofLibrary-module__vXpCiq__caseFile{grid-template-columns:minmax(14rem,.72fr) 1fr}.ExamplesProofLibrary-module__vXpCiq__caseOutcome{border-top:1px solid var(--color-border);border-left:0;grid-column:1/-1}.ExamplesProofLibrary-module__vXpCiq__compactLibrary{grid-template-columns:1fr}.ExamplesProofLibrary-module__vXpCiq__compactIntro{max-width:42rem}}@media (max-width:760px){.ExamplesProofLibrary-module__vXpCiq__page{padding-top:2.5rem}.ExamplesProofLibrary-module__vXpCiq__hero h1{font-size:clamp(2.7rem,13vw,4.2rem)}.ExamplesProofLibrary-module__vXpCiq__argument{grid-template-columns:1fr}.ExamplesProofLibrary-module__vXpCiq__argument>svg{justify-self:center;transform:rotate(90deg)}.ExamplesProofLibrary-module__vXpCiq__problem,.ExamplesProofLibrary-module__vXpCiq__answer{min-height:0}.ExamplesProofLibrary-module__vXpCiq__libraryHeading{grid-template-columns:1fr}.ExamplesProofLibrary-module__vXpCiq__libraryHeading>p{max-width:38rem}.ExamplesProofLibrary-module__vXpCiq__caseFile{grid-template-columns:1fr}.ExamplesProofLibrary-module__vXpCiq__caseSummary,.ExamplesProofLibrary-module__vXpCiq__caseOutcome{border-left:0;border-top:1px solid var(--color-border)}.ExamplesProofLibrary-module__vXpCiq__sourceStack{min-height:10rem}.ExamplesProofLibrary-module__vXpCiq__miniDocument{width:50%;max-width:10rem}.ExamplesProofLibrary-module__vXpCiq__compactGrid{grid-template-columns:1fr}.ExamplesProofLibrary-module__vXpCiq__compactCase h3{font-size:1.7rem}.ExamplesProofLibrary-module__vXpCiq__cta{flex-direction:column;align-items:stretch}.ExamplesProofLibrary-module__vXpCiq__cta>a{width:100%}}@media (prefers-reduced-motion:reduce){.ExamplesProofLibrary-module__vXpCiq__caseLink svg,.ExamplesProofLibrary-module__vXpCiq__compactCase>a svg,.ExamplesProofLibrary-module__vXpCiq__cta>a svg{transition:none}}