| 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 | |