Publish exact claim-by-claim verification

Update logbook: Repro - ICL Bayesian Risk Decomposition

initial commit