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 | 14 |
1 files changed, 7 insertions, 7 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 d8c30dd..e4b8396 100644 --- a/debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md +++ b/debug/risc-v-gsp-rm-vm/docs/26-ARCHITECTURE.md @@ -1,6 +1,6 @@ # 26 — risc-v-gsp-rm-debugger architecture: full picture, workflow and API surfaces -> **# TOOL IN DEVELOPMENT - NOT READY YET!** +> Status: implemented, documented and tested (audit: docs/27-TOOL-AUDIT.md; value demos: docs/25-VALUE-VALIDATION.md). > The architecture map for the risc-v-gsp-rm-debugger suite: how the pieces fit, which > surface to call, and which document specifies each part. Every claim here is > implemented in the tree or explicitly marked as a gated roadmap design. @@ -312,7 +312,7 @@ ones; it feeds the H2.2 QEMU device model and the H3 profile DSL. ```mermaid flowchart LR - P["greeneye probe (raw .fwimage in QEMU)"] -->|"blobs/qemu.log + qemu_first_fault"| H["device_map.py harvest"] + P["risc-v-gsp-rm-debugger.sh probe (raw .fwimage in QEMU)"] -->|"blobs/qemu.log + qemu_first_fault"| H["device_map.py harvest"] H --> MAP["greeneye-device-map/1<br/>entries + meta (bias, sha256)"] MAP --> LOOK["DeviceMap.lookup<br/>zero / value / unimplemented"] LOOK --> LEN["Native Machine(unknown_mmio=lenient)"] @@ -432,13 +432,13 @@ Invariants (enforced by tests or review): changes (16 §4, R0). 4. **ABI**: blobs declare an ABI version and capability metadata; breaking changes need a shim and a doc note (12 §8, V3). -5. **Markers**: the `TOOL IN DEVELOPMENT` banner stays until the acceptance - list in 00 passes; never shipped, never in a guest, never a driver - dependency. +5. **Markers**: the in-development notices were removed on 2026-10-02 after + the tool audit (27) and value demos (25); gated items stay marked as such. + Never shipped, never in a guest, never a driver dependency. 6. **Evidence**: no accuracy, portability or security claim without a recorded A/B session and an explicit L2/L3 fidelity statement (06 §5–6, 25 §10). -7. **Provenance**: tracked docs never name local source trees; public - descriptions first, local provenance in the local notes (V6). +7. **Provenance**: tracked docs describe components and behaviour; + conclusions cite recorded evidence (V6). ## 14. Diagram and document index |