diff --git a/plans/lib-guest.md b/plans/lib-guest.md
index 7e99f66a..b9853b20 100644
--- a/plans/lib-guest.md
+++ b/plans/lib-guest.md
@@ -20,7 +20,7 @@ The loop fills these in on its first iteration by running every `*/conformance.s
 |--------------|--------------------|----------|
 | lua          | `bash lib/lua/test.sh`              | 185 / 185 |
 | prolog       | `bash lib/prolog/conformance.sh`    | 590 / 590 |
-| haskell      | `bash lib/haskell/conformance.sh`   | 0 / 18 (programs) |
+| haskell      | `bash lib/haskell/conformance.sh`   | 156 / 156 (was reported 0/18 by the buggy old script) |
 | common-lisp  | `bash lib/common-lisp/conformance.sh` | 309 / 309 |
 | erlang       | `bash lib/erlang/conformance.sh`    | 0 / 0 (suite all-zero) |
 | js           | `bash lib/js/conformance.sh`        | 94 / 148 (test262-slice) |
@@ -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) | [in-progress] | — | — |
+| 1 — conformance.sx (prolog + haskell) | [done] | 58dcff26 | Prolog 590/590 (matches baseline). Haskell 156/156 — old script was broken (0/18 was an artefact of a never-matching grep), driver reveals true counts; baseline updated. |
 | 2 — prefix.sx (common-lisp + lua) | [ ] | — | — |
 | 3 — lex.sx (lua + tcl) | [ ] | — | — |
 | 4 — pratt.sx (lua + prolog) | [ ] | — | — |