feat!: migrate DEL/OSTW to the canonical workshop-rs Program API

Cargo.toml

@@ -12,7 +12,7 @@ exclude = ["cli", "tests/fixtures/cli,source-case.del"]
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 toml = "1.1"
-workshop-rs = "=0.3.7"
+workshop-rs = "1.4"
 
 [workspace]
 members = [".", "cli"]

docs/limitations.md

@@ -50,11 +50,9 @@ plus a short list of approximation areas.
   The adapter does not change HIR or canonical WIR.
 - Chase aliases are adapted only after the first target resolves to a declared
   global or player variable: global and player canonical action identities are
-  selected from that target semantics. The released catalog has no canonical
-  `stopChasingPlayerVariable` action entry, so player stop-chase lowering stays
-  fail-closed pending a workshop-rs catalog contract. Member/struct/dynamic
-  targets and other target-dependent operation encodings remain explicit
-  `HI018` gaps.
+  selected from that target semantics, including `stopChasingGlobalVariable`
+  and `stopChasingPlayerVariable`. Member/struct/dynamic targets and other
+  target-dependent operation encodings remain explicit `HI018` gaps.
 - Scalar value-parameter lowering has a similarly bounded direct-call slice:
   only non-player, non-recursive, `void` subroutines with strict scalar value
   parameters and non-suspending bodies are materialized into generated global

docs/support-matrix.toml

@@ -602,7 +602,7 @@ id = "workshop-lowering.chase-modify"
 name = "workshop-lowering.chase-modify"
 category = "workshop-lowering"
 state = "lowering-dependent"
-notes = "A bounded #32 slice adapts DEL chase spellings to canonical workshop-rs identities from resolved global/player target semantics; global stop-chase is supported, while player stop-chase remains blocked by the released catalog gap and ModifyVariable/member/struct targets remain explicit gaps. This is not a full end-to-end support claim."
+notes = "A bounded #32 slice adapts DEL chase spellings to canonical workshop-rs identities from resolved global/player target semantics; global and player stop-chase lower to `stopChasingGlobalVariable`/`stopChasingPlayerVariable`, while ModifyVariable/member/struct targets remain explicit gaps. This is not a full end-to-end support claim."
 
 [[features]]
 id = "workshop-lowering.subroutines"