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)

1 files changed, 3 insertions, 3 deletions

diff --git a/debug/risc-v-gsp-rm-vm/harness/reach.py b/debug/risc-v-gsp-rm-vm/harness/reach.py
index 9df0c4c..68934b1 100644
--- a/debug/risc-v-gsp-rm-vm/harness/reach.py
+++ b/debug/risc-v-gsp-rm-vm/harness/reach.py
@@ -8,7 +8,7 @@ I trigger it, what arguments does it need, and what happens when it runs?*
 Methods attempted (``--method auto`` tries them in this order and stops at the
 first hit unless ``--all-methods`` is given):
 
-* ``stimulus`` -- run a supplied green-eye script (``--stimulus script.py``)
+* ``stimulus`` -- run a supplied risc-v-gsp-rm-debugger script (``--stimulus script.py``)
   or probe spec (``--probe probe.json``) under instrumentation;
 * ``trigger``  -- discover the dispatch entry that routes to the target (the
   demo's handler table), apply that command, and run bounded;
@@ -671,7 +671,7 @@ def trace_window(success: Attempt | None) -> dict | None:
 
 def render_markdown(report: dict, options: ReachOptions) -> str:
     lines = [
-        "# green-eye reachability report",
+        "# risc-v-gsp-rm-debugger reachability report",
         "",
         "> TOOL IN DEVELOPMENT - NOT READY YET! Generated by `harness/reach.py`.",
         "",
@@ -874,7 +874,7 @@ def build_parser() -> argparse.ArgumentParser:
     parser.add_argument("--arg-fill", choices=("zero", "sentinel"), default="zero", help="auto-fill value policy")
     parser.add_argument("--timeout", type=float, default=0.5, help="per-attempt budget (seconds)")
     parser.add_argument("--settle", type=float, default=2.0, help="self-test settle budget before trigger")
-    parser.add_argument("--stimulus", help="green-eye script to run under instrumentation")
+    parser.add_argument("--stimulus", help="risc-v-gsp-rm-debugger script to run under instrumentation")
     parser.add_argument("--probe", help="JSON probe spec to replay (see --emit-probe)")
     parser.add_argument("--emit-probe", help="where to write the repeatable probe spec (default <out>/probe.json)")
     parser.add_argument("--record", nargs="?", const=True, default=None, help="record attempts under DIR/<method>")