diff --git a/plans/lib-guest.md b/plans/lib-guest.md
index d291ab47..7e99f66a 100644
--- a/plans/lib-guest.md
+++ b/plans/lib-guest.md
@@ -152,7 +152,7 @@ Extract from `haskell/infer.sx`. Algorithm W or J, generalisation, instantiation
 | Step | Status | Commit | Delta |
 |------|--------|--------|-------|
 | 0 — baseline snapshot | [done] | 2f7f8189 | 11 guests captured: lua 185/185, forth 64/64, ruby 76/76, apl 73/73, prolog 590/590, common-lisp 309/309, smalltalk 625/629, tcl 3/4, haskell 0/18 programs, js 94/148 (slice), erlang 0/0 |
-| 1 — conformance.sx (prolog + haskell) | [ ] | — | — |
+| 1 — conformance.sx (prolog + haskell) | [in-progress] | — | — |
 | 2 — prefix.sx (common-lisp + lua) | [ ] | — | — |
 | 3 — lex.sx (lua + tcl) | [ ] | — | — |
 | 4 — pratt.sx (lua + prolog) | [ ] | — | — |