diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/19-CONTROL-DISCOVERY.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/19-CONTROL-DISCOVERY.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/19-CONTROL-DISCOVERY.md b/debug/risc-v-gsp-rm-vm/docs/19-CONTROL-DISCOVERY.md index 67ef556..a27a245 100644 --- a/debug/risc-v-gsp-rm-vm/docs/19-CONTROL-DISCOVERY.md +++ b/debug/risc-v-gsp-rm-vm/docs/19-CONTROL-DISCOVERY.md @@ -1,7 +1,7 @@ # 19 — Control discovery and hot-path reachability -> **# TOOL IN DEVELOPMENT - NOT READY YET!** See 00 for status and -> [`RISC-V-GSP-RM-DEBUGGER-ROADMAP.md`](../RISC-V-GSP-RM-DEBUGGER-ROADMAP.md) H4 for the program. +> Status: implemented, documented and tested (audit: docs/27-TOOL-AUDIT.md; value demos: docs/25-VALUE-VALIDATION.md). +> See [`RISC-V-GSP-RM-DEBUGGER-ROADMAP.md`](../RISC-V-GSP-RM-DEBUGGER-ROADMAP.md) H4 for the program. Two harness tools close the loop between "a new firmware image does something we do not model" and "here is the code path, its trigger and its effects": @@ -412,7 +412,7 @@ The suite completes in well under a minute. anything that would change the product to a physical capture (docs/14 sections 6-7). * **No injected payloads here.** Discovery only *observes* injection slots; it - never loads a blob. Injection itself stays behind `greeneye inject` and the + never loads a blob. Injection itself stays behind `./risc-v-gsp-rm-debugger.sh inject` and the docs/12 contract. --- |