Publish exact six-claim reproduction evidence

Update logbook: Repro - Measure-Valued Goal Encoding for Reachability MDPs