Add rigorous claim-by-claim reproduction evidence

Update logbook: Repro - Floating-Point Networks with AD