Add source-complete theorem proof replay

Add kernel-checked theorem evidence

Correct exact-claim display and evaluator evidence path

Add exact reductions and proper Yatracos evidence

Add exact claim-by-claim reproduction evidence

Update logbook: Repro - Sharp Inequalities between Total Variation and Hellinger Distances for Gaussian Mixtures