From 271bb3251267fec68f5c9cec63314b22cfaefe75 Mon Sep 17 00:00:00 2001 From: Arthur Hanson Rasmusson Date: Fri, 2 Oct 2026 12:41:52 -0400 Subject: 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. --- debug/risc-v-gsp-rm-vm/docs/14-ADVERSARIAL-INTEROP-GUIDE.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'debug/risc-v-gsp-rm-vm/docs/14-ADVERSARIAL-INTEROP-GUIDE.md') diff --git a/debug/risc-v-gsp-rm-vm/docs/14-ADVERSARIAL-INTEROP-GUIDE.md b/debug/risc-v-gsp-rm-vm/docs/14-ADVERSARIAL-INTEROP-GUIDE.md index f5b2568..1ddd17e 100644 --- a/debug/risc-v-gsp-rm-vm/docs/14-ADVERSARIAL-INTEROP-GUIDE.md +++ b/debug/risc-v-gsp-rm-vm/docs/14-ADVERSARIAL-INTEROP-GUIDE.md @@ -1,6 +1,6 @@ # 14 — Firmware adversarial interoperability research guide (risc-v-gsp-rm-debugger + Ghidra) -> **# TOOL IN DEVELOPMENT - NOT READY YET!** See 00 for status. +> Status: implemented, documented and tested (audit: docs/27-TOOL-AUDIT.md; value demos: docs/25-VALUE-VALIDATION.md). ## 1. Purpose and scope @@ -46,7 +46,7 @@ hardware coupling a simulator cannot yet exercise. ``` question > Ghidra (static): decompile, dispatcher tables, symbols > risc-v-gsp-rm-debugger (dynamic): same stimulus, hooks, watchpoints, trace - > sessions + hits TSV: greeneye compare -> triage -> evidence pack + > sessions + hits TSV: risc-v-gsp-rm-debugger compare -> triage -> evidence pack > open-iov-vfio change (with evidence) ``` @@ -264,7 +264,7 @@ timing or integrity state, or contains bogus code paths. ``` On today's `qemu virt` an unmodelled GPU register faults rather than - returning a value (`greeneye probe` reports that first read, docs/06 §3); + returning a value (`./risc-v-gsp-rm-debugger.sh probe` reports that first read, docs/06 §3); the value-return experiment waits on the H2 device model — log, don't claim. 5. Maintain the catalogue of observed techniques in docs/09-GSP-FIRMWARE-NOTES.md (roadmap H4.4), one session pair per technique. -- cgit v1.2.3