From 3dae27737c705e26a023d5cde986c87b6b0b7084 Mon Sep 17 00:00:00 2001 From: giles Date: Thu, 7 May 2026 18:51:39 +0000 Subject: [PATCH] =?UTF-8?q?GUEST-plan:=20claim=20step=207=20=E2=80=94=20la?= =?UTF-8?q?yout.sx?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.7 (1M context) --- plans/lib-guest.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plans/lib-guest.md b/plans/lib-guest.md index 2e3e5f3a..8e8beb03 100644 --- a/plans/lib-guest.md +++ b/plans/lib-guest.md @@ -158,7 +158,7 @@ Extract from `haskell/infer.sx`. Algorithm W or J, generalisation, instantiation | 4 — pratt.sx (lua + prolog) | [done] | da27958d | Extracted operator-table format + lookup only — climbing loops stay per-language because lua and prolog use opposite prec conventions. lua/parser.sx: 18-clause cond → 15-entry table. prolog/parser.sx: pl-op-find deleted, pl-op-lookup wraps pratt-op-lookup. lua 185/185, prolog 590/590 — both = baseline. | | 5 — ast.sx (lua + prolog) | [partial — pending real consumers] | a774cd26 | Kit + 33 self-tests shipped (10 canonical kinds, predicates, accessors). Step is "Optional" per brief; lua/prolog parsers untouched (185/185 + 590/590). Datalog-on-sx will be the natural first real consumer; lua/prolog converters can land later. | | 6 — match.sx (haskell + prolog) | [partial — kit shipped; ports deferred] | 863e9d93 | Pure-functional unify + match kit (canonical wire format + cfg-driven adapters) + 25 self-tests. Existing prolog/haskell engines untouched (structurally divergent — mutating-symmetric vs pure-asymmetric — would risk 746 passing tests under brief's revert-on-regression rule). Real consumer is minikraken/datalog work in flight. | -| 7 — layout.sx (haskell + synthetic) | [ ] | — | — | +| 7 — layout.sx (haskell + synthetic) | [in-progress] | — | — | | 8 — hm.sx (haskell + TBD) | [ ] | — | — | ---