diff --git a/migration/PPPOE-HA.md b/migration/PPPOE-HA.md
index 993b7e8..d3b74a8 100644
--- a/migration/PPPOE-HA.md
+++ b/migration/PPPOE-HA.md
@@ -1,6 +1,8 @@
 # PPPoE high availability
 
-Proven in labsim. **Not applied to production.**
+Proven in labsim. **Deployed to production 2026-09-06** — mechanism on both
+routers, `pppoe0 disable` removed from vyos002, vyos002 out of FAULT and in
+BACKUP. The Pulumi override (step 8) is still staged, not merged.
 
 ## What it does