Claim Verification: "Co-occurrence of Lewy pathology and ADNC is common (≥30% of AD cases have LP; ≥50% of DLB cases have ADNC)" — Proved

Automated fact-verification of the claim: "Co-occurrence of Lewy pathology and ADNC is common (≥30% of AD cases have LP; ≥50% of DLB cases have ADNC)" Verdict: PROVED Key Findings SC1 confirmed: At least 3 independent sources report that ≥30% of Alzheimer's disease (AD) cases have co-occurring Lewy pathology (LP). The NACC database (n=2,742) reports 38% co-occurrence of Lewy body disease (LBD) in participants with Alzheimer's disease neuropathologic change (ADNC) (B1). Lewy body pathology is described as the most common co-existing pathology in AD cases up to age 80 (B3). SC2 confirmed: At least 4 independent sources confirm that ≥50% of dementia with Lewy bodies (DLB) cases have co-occurring ADNC. Toledo et al. 2023 explicitly states AD co-pathology "is present in more than 50% of DLB individuals" (B5). The Mayo Clinic brain bank reports 59% (215/363) comorbid AD in Lewy body dementia (B7). Both sub-claims hold: the compound claim is PROVED with all 8 citations verified. Files proof.py — Re-runnable Python verification script proof.md — Structured proof report proof_audit.md — Full verification audit trail proof_narrative.md — Plain-language summary proof.json — Machine-readable structured data Generated by Proof Engine v1.13.0.