diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md b/debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md index e4b8396..fce7a96 100644 --- a/debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md +++ b/debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md @@ -10,7 +10,7 @@ risc-v-gsp-rm-debugger runs GSP/uproc firmware in a controllable machine, observes it with Frida-like primitives, records a durable session, changes the machine's inputs -(including injected code), and compares runs as evidence for `open-iov-vfio` +(including injected code), and compares runs as evidence for `vgsp` emulation changes. | It is | It is not | @@ -342,7 +342,7 @@ The canonical loop (H4.5, 06 §5, 07 P4, 25 §7). Each stage names its gate. | 4. Record | `greeneye-session/1` with snapshots and notes | events + snapshots + hashes written | missing `session.json`/empty analyzer → recording off | | 5. Compare | `compare` against a reference (old firmware, hardware/VFIO capture, self-diff) | deltas explained symbolically; self-diff is zero | unexplained hit/watch/write delta → investigate first | | 6. Decide | fill M1–M6 with the reference method (06 §5); mutation/triage for error paths | metric table improves or stays equal | metric claimed without a reference capture | -| 7. Implement | change `open-iov-vfio` (never the simulator for a product fix); keep the stimulus | physical confirmation for behaviour changes (06 §6, 14 §7) | product change from a simulator-only observation | +| 7. Implement | change `vgsp` (never the simulator for a product fix); keep the stimulus | physical confirmation for behaviour changes (06 §6, 14 §7) | product change from a simulator-only observation | | 8. Regression | re-run step 3 with an unchanged stimulus; golden sessions/CI (`make test`, `risc-v-gsp-rm-debugger.yml`) | profile improves or stays equal; CI green | regression → revert and re-derive | ```mermaid @@ -350,7 +350,7 @@ flowchart LR Q["Question"] --> OBS["Observe<br/>probe / hooks / watch / trace"] OBS --> ORI["Orient<br/>analyze + symbol decode + snapshots"] ORI --> DEC["Decide<br/>compare + M1-M6 + mutation"] - DEC --> ACT["Act<br/>implement in open-iov-vfio"] + DEC --> ACT["Act<br/>implement in vgsp"] ACT --> REG["Regression<br/>same stimulus, same budgets"] REG -->|"improved / equal"| SHIP["Evidence pack<br/>sessions + report + hashes"] REG -->|"regressed"| Q |