diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/17-RM-HARNESS.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/17-RM-HARNESS.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/17-RM-HARNESS.md b/debug/risc-v-gsp-rm-vm/docs/17-RM-HARNESS.md index effacb0..fb63203 100644 --- a/debug/risc-v-gsp-rm-vm/docs/17-RM-HARNESS.md +++ b/debug/risc-v-gsp-rm-vm/docs/17-RM-HARNESS.md @@ -1,6 +1,6 @@ # 17 — RM host oracle harness (`rmharness`) -> **# 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). > The RM tools are read-only host diagnostics. They are development tooling: > never shipped, never present in a guest, never a driver dependency. @@ -85,7 +85,7 @@ stdout/stderr under `<session>/blobs/` with sizes and SHA-256. Existing sessions are appended to, never rewritten; a missing `session.json` is created with the `greeneye-session/1` format. Because these runs are external, the event `t` field is `0.0`; `start`/`end` (epoch seconds) carry -the wall clock. `greeneye analyze` tolerates the session; the run count shows +the wall clock. `./risc-v-gsp-rm-debugger.sh analyze` tolerates the session; the run count shows up in the event summary. `plugins/rmharness_plugin.py` exposes the same wrappers in the REPL |