diff --git a/REPORT.md b/REPORT.md
index f0283998..f894d00b 100644
--- a/REPORT.md
+++ b/REPORT.md
@@ -302,6 +302,7 @@ Two rules, one place each, ~40 lines added to a 521-line document.
 
 ---
 
-## 10. CI
+## 10. CI, confirmed by ID
 
-Confirmed by ID in §11 of the commit trail below.
+`felhom.eu` **id=382 / run_number=250**, head `091a4b74` — **success**. Commit `091a4b7`, pushed to
+`main`, all 10 gates OK, tree clean. No other repo was touched.