feat(orchestrator-lsp-mcp): Steps 4+5 — VeriSimDB wired, status → Ready

VeriSimDB session tracking was already wired in the Elixir adapter
(record_session on initialize, close_session on last didClose) — confirmed.

Flip orchestrator_lsp_mcp status: Development → Ready in CartridgeData.idr,
cartridge.json, and README. Updated docstring with full domain list and
implementation stack.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

cartridges/orchestrator-lsp-mcp/README.adoc

@@ -2,9 +2,9 @@
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 = orchestrator-lsp-mcp
 :description: Cross-domain LSP orchestrator for the BoJ cartridge matrix
-:status: Development
+:status: Ready
 
-Status: *Development* — cartridge manifest + ABI layer in place; Elixir implementation pending.
+Status: *Ready* — Elixir GenLSP adapter, Zig FFI (ADR-0006), ReScript VSCode extension all implemented.
 
 == What it does
 

cartridges/orchestrator-lsp-mcp/cartridge.json

@@ -4,7 +4,7 @@
   "copyright": "Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>",
   "name": "orchestrator-lsp-mcp",
   "version": "0.1.0",
-  "status": "development",
+  "status": "ready",
   "description": "Cross-domain LSP orchestrator. Routes LSP requests across all 12 poly-*-lsp servers (cloud, container, iac, k8s, db, queue, secret, git, ssg, proof, observability, browser) via a single GenLSP supervisor. Inspired by poly-orchestrator-lsp (polystack, archived). Wraps the 12 domain servers into one unified textDocument interface with domain-routing based on workspace root and file type.",
   "domain": "LSP",
   "tier": "Teranga",

src/abi/Boj/CartridgeData.idr

@@ -248,11 +248,12 @@ lsp_mcp : Cartridge
 lsp_mcp = MkCartridge "lsp-mcp" "0.1.0" Ready Ayo Lsp [MCP, LSP, REST] ua "universal"
 
 ||| orchestrator-lsp-mcp: cross-domain LSP orchestrator.
-||| Routes LSP queries across all 12 poly-*-lsp servers.
-||| Inspired by poly-orchestrator-lsp (polystack, archived).
-||| Status: Development — pending implementation as BoJ cartridge.
+||| Routes LSP queries across all 12 poly-*-lsp servers (cloud, container,
+||| IAC, k8s, db, queue, secrets, git, SSG, proof, observability, browser).
+||| Elixir GenLSP adapter, Zig FFI (ADR-0006), ReScript VSCode extension.
+||| Inspired by poly-orchestrator-lsp (polystack, archived 2026-04-27).
 orchestrator_lsp_mcp : Cartridge
-orchestrator_lsp_mcp = MkCartridge "orchestrator-lsp-mcp" "0.1.0" Development Teranga Lsp [MCP, LSP] ua "poly-orchestrator"
+orchestrator_lsp_mcp = MkCartridge "orchestrator-lsp-mcp" "0.1.0" Ready Teranga Lsp [MCP, LSP] ua "poly-orchestrator"
 
 -- ═══════════════════════════════════════════════════════════════════════════
 -- DAP Domain