diff --git a/plans/minikanren-on-sx.md b/plans/minikanren-on-sx.md
index 16816005..8cc0f953 100644
--- a/plans/minikanren-on-sx.md
+++ b/plans/minikanren-on-sx.md
@@ -205,6 +205,23 @@ _(none yet)_
 
 _Newest first._
 
+- **2026-05-09** — **deferred-plan execution**: shipped all four pieces from
+  `plans/minikanren-deferred.md` (on architecture):
+  - **Piece B** — bounds-consistency for `fd-plus` / `fd-times` (vvn / nvv /
+    vnv / vvv branches; integer-division helpers for ceil/floor);
+  - **Piece D** — send-more-money (column-with-carry encoding, verified
+    against the known answer) and Sudoku 4×4 (288 fillings of empty grid;
+    immediate failure on contradictory clues);
+  - **Piece C** — `=/=` disequality with constraint store, plus `==-cs`
+    constraint-aware unify so the store re-fires on bindings;
+  - **Piece A** — SLG-style tabling: in-progress sentinel + fixed-point
+    iteration. Cyclic patho terminates: `(tab-patho :a :c q)` on a graph
+    with cycle `a↔b` plus `b→c` returns `((:a :b :c))`. Naive tabling
+    diverged on the same query. Mutually-recursive coordination across
+    independent tabled relations is left for follow-up (proper SLG
+    worklist).
+  170/170 across the new+FD-related test files.
+
 - **2026-05-08** — **Session snapshot**: 17 lib files, 61 test files, 1229
   library LOC + 4360 test LOC, **551/551 tests cumulative**. Library covers
   Phases 1–5 fully, Phase 6 partial (FD helpers + intarith escape), Phase 7