diff --git a/plans/sx-improvements.md b/plans/sx-improvements.md
index 3310ba89..a9ad9534 100644
--- a/plans/sx-improvements.md
+++ b/plans/sx-improvements.md
@@ -74,6 +74,10 @@ Mirror to `shared/static/wasm/sx/hs-parser.sx`.
 
 **Verify:** All 4 `hs-upstream-core/sourceInfo` tests pass.
 
+**Outcome:** Subsumed by Step 3. Once tokens carried `:end` and `:line`, the existing
+parser plumbing (`link-next-cmds` for `:next`, `:true-branch` extraction in `parse-cmd`)
+worked end-to-end. All 4 `hs-upstream-core/sourceInfo` tests pass with no parser changes.
+
 ---
 
 ## Phase 3 — Native ADTs (`define-type` / `match`)
@@ -184,7 +188,7 @@ these when operands are known numbers/lists.
 | 1 — JIT combinator bug | [x] | 882a4b76 |
 | 2 — letrec+resume | [x] | e80e655b |
 | 3 — tokenizer :end/:line | [x] | 023bc2d8 |
-| 4 — parser spans complete | [ ] | — |
+| 4 — parser spans complete | [x] | subsumed by 023bc2d8 |
 | 5 — OCaml AdtValue + define-type + match | [ ] | — |
 | 6 — JS AdtValue + define-type + match | [ ] | — |
 | 7 — nested patterns | [ ] | — |