From 05797fd8cf884bb680540dfc188f36836a215c9f Mon Sep 17 00:00:00 2001 From: Arthur Hanson Rasmusson Date: Fri, 2 Oct 2026 11:44:31 -0400 Subject: 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) --- debug/risc-v-gsp-rm-vm/plugins/README.md | 4 ++-- debug/risc-v-gsp-rm-vm/plugins/example_plugin.py | 2 +- debug/risc-v-gsp-rm-vm/plugins/mcp_server.py | 20 ++++++++++---------- debug/risc-v-gsp-rm-vm/plugins/rmharness_plugin.py | 10 +++++----- 4 files changed, 18 insertions(+), 18 deletions(-) (limited to 'debug/risc-v-gsp-rm-vm/plugins') 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 -- cgit v1.2.3