Reference-aligned six-claim verification

Publish claim-by-claim cumulative CPU verification

Update logbook: Repro - Riemannian Dueling Optimization