diff --git a/experiments/P0-pilot/results/execution.json b/experiments/P0-pilot/results/execution.json
index c82e3a7..9012727 100644
--- a/experiments/P0-pilot/results/execution.json
+++ b/experiments/P0-pilot/results/execution.json
@@ -66,6 +66,6 @@
     "remote_runner_tag": "ubuntu24.04-x64-lean4.35",
     "initial_remote_ci": "https://gitea.entroia.com/Zayden-Jung/lean-bench/actions/runs/427",
     "initial_remote_ci_status": "success; image job skipped for PR",
-    "recovery_remote_ci": "See PR #5 checks for the delivered head revision"
+    "recovery_remote_ci": "See follow-up PR #6 checks for the delivered head revision"
   }
 }