debug: risc-v-gsp-rm-debugger final pass - remove in-development notices, complete rename, adversarial-review fixes

Remove the '# TOOL IN DEVELOPMENT - NOT READY YET!' notices from the tool docs/README/scripts and the project docs; record the removal (2026-10-02) against the tool audit (debug/risc-v-gsp-rm-vm/docs/27-TOOL-AUDIT.md), the 194-test suite and the value-validation demos (docs/25-VALUE-VALIDATION.md).

Complete the cosmetic rename to risc-v-gsp-rm-debugger in user-facing prose and commands (launcher, roadmap, docs); internal greeneye package and code identifiers unchanged.

Adversarial-review fixes: deterministic control-discovery sweep (flaky test root-caused), UUID session dirs + atomic JSON writes for concurrent runs, Ghidra bridge loopback enforcement and clean shutdown, fp register restore in Session.call, version_diff --dry-run, 30 s interrupt budget, dry-run non-destructiveness verified.

Docs: flag-removal records, link fixes, command/flag corrections (fdematch arity, port_new_device --out, trace filename), F2 orchestration note in future-eng-ops; STATE-CURRENT status refreshed.

1 files changed, 6 insertions, 1 deletions

diff --git a/debug/risc-v-gsp-rm-vm/greeneye/record.py b/debug/risc-v-gsp-rm-vm/greeneye/record.py
index 91c7fb5..b02de26 100644
--- a/debug/risc-v-gsp-rm-vm/greeneye/record.py
+++ b/debug/risc-v-gsp-rm-vm/greeneye/record.py
@@ -11,6 +11,7 @@ from __future__ import annotations
 import json
 import os
 import time
+import uuid
 import zlib
 
 FORMAT = "greeneye-session/1"
@@ -49,8 +50,12 @@ class Recorder:
     @classmethod
     def new(cls, *, base: str | None = None, name: str = "session", meta: dict | None = None) -> "Recorder":
         base = base or os.environ.get("GREENEYE_DUMPS") or os.path.join(os.getcwd(), "dumps")
+        os.makedirs(base, exist_ok=True)
         stamp = time.strftime("%Y%m%d-%H%M%S")
-        return cls(os.path.join(base, f"{stamp}-{name}"), name=name, meta=meta)
+        # A unique infix keeps concurrent sessions (tests, agents, CLI runs)
+        # from sharing one events.jsonl while the name stays the final suffix.
+        unique = uuid.uuid4().hex[:8]
+        return cls(os.path.join(base, f"{stamp}-{unique}-{name}"), name=name, meta=meta)
 
     # -- writing -----------------------------------------------------------