diff --git a/plans/artdag-on-sx.md b/plans/artdag-on-sx.md
index fae5b899..11f10ba4 100644
--- a/plans/artdag-on-sx.md
+++ b/plans/artdag-on-sx.md
@@ -38,12 +38,12 @@ Base roadmap (Phases 1–6) COMPLETE + Phase 7 (maude rule-based optimization) C
 
 ## Integration / merge status (2026-06-28)
 
-**MERGED to architecture (Phase 7) at `b0d845bb`** — local `architecture` now carries
-`lib/maude` + artdag Phase 7, conformance green there (198/198 at merge time). The merge
-was clean/additive; `architecture` itself was NOT pushed (pushing it triggers a large dev
-reload — a deliberate separate call). **NOTE: re-merge needed** — `loops/artdag` has since
-added `lib/artdag/schedule.sx` (miniKanren CLP(FD) scheduler, 213/213), not yet on
-architecture.
+**MERGED to architecture, fully up to date.** Phase 7 merged at `b0d845bb`; the miniKanren
+CLP(FD) scheduler re-merged at `fdd0c8f7` (architecture HEAD). Local `architecture` now
+carries `lib/maude` + the complete artdag engine, conformance green there (213/213). Both
+merges were clean/additive (only artdag-scoped files). `architecture` itself was NOT pushed
+to origin — pushing it triggers a large dev reload, a deliberate separate call left to a
+maintainer.
 
 (Historical, for the Phase 7 merge above:) `origin/architecture`'s `lib/artdag/`
 is stale — it predates the maude-bridge, so it is missing ALL of Phase 7