Add source-complete theorem proof replay

Add kernel-checked theorem evidence

Publish three-route claim verification remediation

Correct exact-claim display and evaluator evidence path

Publish evaluator-calibrated exact claim evidence

Add scaled direct evidence for all five claims

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

initial commit