From 14cf2aa59c44a50f9a108b93d58c7cecab17d45f 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. --- docs/06-portability/03-device-validation-and-porting-sequence.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/06-portability') diff --git a/docs/06-portability/03-device-validation-and-porting-sequence.md b/docs/06-portability/03-device-validation-and-porting-sequence.md index 6c5bc59..e4e7be5 100644 --- a/docs/06-portability/03-device-validation-and-porting-sequence.md +++ b/docs/06-portability/03-device-validation-and-porting-sequence.md @@ -119,7 +119,7 @@ Per driver/firmware version `N`: the per-version bundle carries `version-diff/`, `portability-matrix/` and `mutation-smoke/` results plus the M1–M6 skeleton. 4. **Device profile** — for a new device run - `python3 harness/port_new_device.py --run --device --firmware --reference ` + `python3 harness/port_new_device.py --run --device --firmware --reference --out dumps/port-` (docs/28 §3; unadmitted pilot, evaluation in future-eng-ops F3); fill the profile from §4 evidence and reconcile the engine inventory against the host oracle. @@ -129,7 +129,7 @@ Per driver/firmware version `N`: * capture host module trace (`gsp-resman-vfio:`), guest dmesg, `nvidia-smi -q`, `lspci -vvv`, and the control/ioctl sequence; * compare the physical captures with the simulator sessions - (`greeneye compare`, M1–M6) and resolve every delta as profile, logic or + (`./risc-v-gsp-rm-debugger.sh compare`, M1–M6) and resolve every delta as profile, logic or fidelity gap (docs/07 P4). 6. **No new guest regression** — run the existing guest/CUDA ladder rungs and confirm no rung regressed before the next version. -- cgit v1.2.3