Exact claim-by-claim verification and release audit

Update logbook: Why Do We Need Warm-up? (H0,H1)-smoothness — a6fo32UnpU