rename (cosmetic): green-eye -> risc-v-gsp-rm-debugger in user-facing names, docs, CLI, launcher and CI workflow; internal greeneye package/module identifiers unchanged (includes in-flight greeneye module edits present in the tree)

4 files changed, 18 insertions, 18 deletions

diff --git a/debug/risc-v-gsp-rm-vm/plugins/README.md b/debug/risc-v-gsp-rm-vm/plugins/README.md
index 7fe69da..6e3ac8a 100644
--- a/debug/risc-v-gsp-rm-vm/plugins/README.md
+++ b/debug/risc-v-gsp-rm-vm/plugins/README.md
@@ -1,4 +1,4 @@
-# green-eye plugins
+# risc-v-gsp-rm-debugger plugins
 
 A plugin is a Python module exposing `register(ge)`:
 
@@ -20,7 +20,7 @@ Discovery: `--plugin PATH` (file or directory), then `GREENEYE_PLUGINS`
 (colon-separated), then the bundled `plugins/` directory. A plugin that raises
 is recorded as `plugin_error` and never breaks the session.
 
-Types of plugins that fit green-eye:
+Types of plugins that fit risc-v-gsp-rm-debugger:
 1. **Runtime RE tools** — new watchpoint strategies, coverage collectors,
    structure probes, heap/allocator graphs.
 2. **Harnesses** — stimulus drivers that poke mailboxes/rings and assert on
diff --git a/debug/risc-v-gsp-rm-vm/plugins/example_plugin.py b/debug/risc-v-gsp-rm-vm/plugins/example_plugin.py
index 0bd382e..65d4292 100644
--- a/debug/risc-v-gsp-rm-vm/plugins/example_plugin.py
+++ b/debug/risc-v-gsp-rm-vm/plugins/example_plugin.py
@@ -1,4 +1,4 @@
-"""Example green-eye plugin.
+"""Example risc-v-gsp-rm-debugger plugin.
 
 Load it explicitly with ``--plugin plugins/example_plugin.py`` (the bundled
 ``plugins/`` directory is discovered automatically), or set
diff --git a/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py b/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py
index b5e8f90..0059da2 100644
--- a/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py
+++ b/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py
@@ -1,12 +1,12 @@
-"""green-eye MCP server plugin (roadmap R3).
+"""risc-v-gsp-rm-debugger MCP server plugin (roadmap R3).
 
 A stdlib-only Model Context Protocol server (JSON-RPC 2.0) that exposes the
-*active* green-eye session as MCP tools.  Two ways to run it:
+*active* risc-v-gsp-rm-debugger session as MCP tools.  Two ways to run it:
 
 * **plugin mode** - load it into a live session and serve that session::
 
-      ./greeneye.sh attach --plugin plugins/mcp_server.py
-      greeneye> mcp-serve [--allow-write] [--allow-inject]
+      ./risc-v-gsp-rm-debugger.sh attach --plugin plugins/mcp_server.py
+      risc-v-gsp-rm-debugger> mcp-serve [--allow-write] [--allow-inject]
 
 * **standalone mode** - launch its own session and serve it::
 
@@ -252,7 +252,7 @@ TOOLS: list[dict] = [
             "instructions": _integer("step budget (0 = wall-clock duration)", 2000, 0),
             "duration": _number("wall-clock seconds when instructions=0", 1.0),
             "no_relocate": _boolean("do not relocate to 0x80000000", False),
-            "symbols": _string("green-eye symbol DB JSON"),
+            "symbols": _string("risc-v-gsp-rm-debugger symbol DB JSON"),
             "timeout": _number("subprocess timeout seconds", 300.0),
         },
     ),
@@ -278,7 +278,7 @@ TOOLS: list[dict] = [
             "out": _string("output directory (default: dumps/mcp-matrix)"),
             "probe_instructions": _integer("probe step budget", 2000, 0),
             "scenario_duration": _number("per-phase wall budget", 0.4),
-            "symbols": _string("green-eye symbol DB JSON"),
+            "symbols": _string("risc-v-gsp-rm-debugger symbol DB JSON"),
             "max_rows": _integer("report row cap", 40, 1, 1000),
         },
         ("targets",),
@@ -438,7 +438,7 @@ class GreenEyeMCPServer:
             "capabilities": {"tools": {"listChanged": False}},
             "serverInfo": {"name": SERVER_NAME, "version": _version()},
             "instructions": (
-                "green-eye session server. Read/observe tools are always on; writes need "
+                "risc-v-gsp-rm-debugger session server. Read/observe tools are always on; writes need "
                 "--allow-write and injection needs --allow-inject. Never claim timing, cycles "
                 "or hardware behaviour; sessions are the evidence."
             ),
@@ -1021,7 +1021,7 @@ def _version() -> str:
 def build_serve_parser(prog: str = "mcp-serve") -> argparse.ArgumentParser:
     parser = argparse.ArgumentParser(
         prog=prog,
-        description="serve the active green-eye session over MCP (JSON-RPC over stdio or loopback TCP)",
+        description="serve the active risc-v-gsp-rm-debugger session over MCP (JSON-RPC over stdio or loopback TCP)",
     )
     parser.add_argument("--stdio", action="store_true", help="serve over stdin/stdout (default)")
     parser.add_argument("--tcp", metavar="HOST:PORT", type=parse_tcp, help="serve over loopback TCP instead")
@@ -1031,7 +1031,7 @@ def build_serve_parser(prog: str = "mcp-serve") -> argparse.ArgumentParser:
 
 
 def register(ge) -> None:
-    """green-eye plugin hook: add the ``mcp-serve`` command."""
+    """risc-v-gsp-rm-debugger plugin hook: add the ``mcp-serve`` command."""
 
     def mcp_serve(session, argv: list[str]) -> int:
         parser = build_serve_parser()
@@ -1090,7 +1090,7 @@ def parse_tcp(text: str) -> tuple[str, int]:
 
 
 def build_parser() -> argparse.ArgumentParser:
-    parser = argparse.ArgumentParser(prog="mcp_server", description="green-eye MCP server (roadmap R3)")
+    parser = argparse.ArgumentParser(prog="mcp_server", description="risc-v-gsp-rm-debugger MCP server (roadmap R3)")
     transport = parser.add_mutually_exclusive_group()
     transport.add_argument("--stdio", action="store_true", help="serve over stdin/stdout (default)")
     transport.add_argument("--tcp", metavar="HOST:PORT", type=parse_tcp, help="serve over loopback TCP instead")
diff --git a/debug/risc-v-gsp-rm-vm/plugins/rmharness_plugin.py b/debug/risc-v-gsp-rm-vm/plugins/rmharness_plugin.py
index 085751c..937c9fa 100644
--- a/debug/risc-v-gsp-rm-vm/plugins/rmharness_plugin.py
+++ b/debug/risc-v-gsp-rm-vm/plugins/rmharness_plugin.py
@@ -1,12 +1,12 @@
-"""green-eye plugin: RM host-oracle harness commands.
+"""risc-v-gsp-rm-debugger plugin: RM host-oracle harness commands.
 
 Registers REPL commands that run the read-only Open-IOV RM tools through the
 ``rmharness`` wrapper scripts and record each run into the active session:
 
-    greeneye> rmtool gpu list
-    greeneye> rmtool mem stats --format=json
-    greeneye> rmtop --once
-    greeneye> rmq
+    risc-v-gsp-rm-debugger> rmtool gpu list
+    risc-v-gsp-rm-debugger> rmtool mem stats --format=json
+    risc-v-gsp-rm-debugger> rmtop --once
+    risc-v-gsp-rm-debugger> rmq
 
 Every run is recorded as a ``rm_harness_run`` event with a captured
 stdout+stderr blob (via ``ge.recorder.blob``); write/ownership operations are