packaged_replay/source_claim_audit.csv

claim,source,literal_scope,audit
1,Theorem 5.1,"partial participation; E,R,S,kappa^2,zeta_g^2 terms",formula ledger + actual FedDPO
2,Corollary 5.2,full participation removes partial-participation amplification; residual averaged-client variance remains,separate corollary ledger
3,Theorem 5.4,eta C_q q_max additive penalty under Assumption 5.3,formula ledger + stale FedDPO
4,Theorem 5.5,"DPO-like objective family lower bound, not every conceivable objective",finite-population construction ledger
5,Theorem 6.1,symmetric doubly stochastic mixing and theorem assumptions,actual DecDPO on four graphs
6,"Section 7, Figures 1-5","SHP uses N=5 disjoint clients, 120 pairs each",600 pinned SHP rows and four ablation families