docs: GOTO/labels landed

docs/STATUS.md

@@ -28,7 +28,9 @@ test and every session.  Since then:
   which also required storing a method's block declarations (fixing
   methods with local variables);
 - **class results** and **chained post-call method calls** (`F().M()`)
-  were added.
+  were added;
+- **`GOTO`/labels** were added (the `Design` production was split into
+  `Design` + `DesignTail` to resolve the LL(1) label/designator clash).
 
 ## TL;DR
 

docs/analysis_gaps.md

@@ -114,11 +114,11 @@ Also done: opaque/pointer-like types (incl. `String`), variant-record
 assignment (flat blit), nested-`MODULE` lowering, `ADDRESS`↔pointer
 assignment.
 
-Remaining after today: `GOTO`/labels, generics, multiple inheritance
-(deliberate), and the channel/device library holes in §2.
+Remaining after today: generics, multiple inheritance (deliberate), and
+the channel/device library holes in §2.
 (Statement-context result suffixes `F()^.x := e`, composite function
-results — record/array/set/class — and chained post-call method calls
-`F().M()` all landed 2026-10-08.)
+results — record/array/set/class — chained post-call method calls
+`F().M()`, and `GOTO`/labels all landed 2026-10-08.)
 
 ## 7. Done after the gap analysis (this session)
 

docs/features.md

@@ -83,7 +83,7 @@ Legend: ✅ done · 🔄 partial · ⏸ not started / deferred.
   `WHILE`, `REPEAT/UNTIL`, `LOOP/EXIT`, `FOR/TO/BY` (static sign),
   `WITH` (single/multi/nested), `RETURN` (232-checked),
   `NEW`/`DISPOSE` (builtins), bare and parenthesized calls.
-- ✅ `HIGH`/`LEN`; ⏸ `GOTO`/labels.
+- ✅ `HIGH`/`LEN`; ✅ `GOTO`/labels.
 
 ## Expressions
 - ✅ Full precedence, `+ - * / DIV MOD`, comparisons, eager