From 96f5809a29d9aff408ccfbd03ed4c72fe7410c30 Mon Sep 17 00:00:00 2001 From: giles Date: Sat, 9 May 2026 14:20:28 +0000 Subject: [PATCH] =?UTF-8?q?GUEST-plan:=20deferred=20work=20shipped=20?= =?UTF-8?q?=E2=80=94=20pieces=20A=20B=20C=20D?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- plans/minikanren-on-sx.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) 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