diff --git a/workplans/CORE-WP-0007-haskell-retirement.md b/workplans/CORE-WP-0007-haskell-retirement.md
index 27988a0..faa8631 100644
--- a/workplans/CORE-WP-0007-haskell-retirement.md
+++ b/workplans/CORE-WP-0007-haskell-retirement.md
@@ -26,7 +26,7 @@ retire the Inter-Hub rollback deployment, and the four tasks below.
 
 ```task
 id: CORE-WP-0007-T01
-status: todo
+status: done
 priority: medium
 state_hub_task_id: "d3a494a3-dc23-491f-af32-1d19120b3aae"
 ```
@@ -105,4 +105,20 @@ Revised sequencing:
 4. **T04** — blocked on T02 so references use the final repo name.
 
 Related finished workplans: `CORE-WP-0004` (compatibility smokes),
-`CORE-WP-0005` (migration/cutover), `CORE-WP-0008` (deployed ops evidence).
\ No newline at end of file
+`CORE-WP-0005` (migration/cutover), `CORE-WP-0008` (deployed ops evidence).
+
+
+## Completion 2026-07-07 — T01 probe repo archived
+
+`ihp-railiance-probe` retired in-repo:
+
+- `README.md` marks the repo archived and points to preserved docs
+- `INTENT.md` and `SCOPE.md` updated with retirement context
+- `IRP-WP-0001` moved to
+  `workplans/archived/260707-IRP-WP-0001-pipeline-validation.md` (`status:
+  archived`)
+- Gitea/Forgejo CI workflows switched to `workflow_dispatch` only (no push
+  triggers)
+
+Forgejo repo archive/rename on the forge remains optional; git history and
+diagnostic docs are preserved locally and on `gitea.coulomb.social`.
\ No newline at end of file