diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 12:41:52 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 12:41:52 -0400 |
| commit | 271bb3251267fec68f5c9cec63314b22cfaefe75 (patch) | |
| tree | 7807872b74b49ba77a145c51c405f690425c6b43 /debug/risc-v-gsp-rm-vm/docs/18-HARNESS-AUTOMATION.md | |
| parent | 05797fd8cf884bb680540dfc188f36836a215c9f (diff) | |
| download | open-iov-271bb3251267fec68f5c9cec63314b22cfaefe75.tar.gz open-iov-271bb3251267fec68f5c9cec63314b22cfaefe75.zip | |
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.
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/18-HARNESS-AUTOMATION.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/18-HARNESS-AUTOMATION.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/18-HARNESS-AUTOMATION.md b/debug/risc-v-gsp-rm-vm/docs/18-HARNESS-AUTOMATION.md index 4fbe4d9..e30f57d 100644 --- a/debug/risc-v-gsp-rm-vm/docs/18-HARNESS-AUTOMATION.md +++ b/debug/risc-v-gsp-rm-vm/docs/18-HARNESS-AUTOMATION.md @@ -1,6 +1,6 @@ # 18 — Harness automation: portability matrix and mutation harness -> **# 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). Two stdlib-only orchestration tools in `harness/` turn the manual playbooks into repeatable runs: @@ -60,7 +60,7 @@ Flags: `--probe-instructions N` (0 = wall-clock `--probe-duration`), ### 1.2 What each target does 1. **Probe** — the ELF is flattened and relocated to `0x80000000` exactly as - `greeneye probe` does, then run for a fixed instruction budget (default + `./risc-v-gsp-rm-debugger.sh probe` does, then run for a fixed instruction budget (default 2000) or a wall-clock budget. The first exception is parsed with `greeneye.analyze.parse_qemu_faults`; the stopped PC is annotated from the symbol DB. Raw `.fwimage` targets fault early here; that is the expected @@ -84,7 +84,7 @@ Flags: `--probe-instructions N` (0 = wall-clock `--probe-duration`), symbols/<target>.json merged symbol DB per target sessions/<target>-probe/ recorded probe session sessions/<target>-scenario/ recorded scripted session - compare/<a>--<b>.md greeneye compare report per target pair + compare/<a>--<b>.md risc-v-gsp-rm-debugger.sh compare report per target pair ``` JSON shape (stable keys, targets in CLI order, tables sorted): @@ -183,7 +183,7 @@ are `ok` with `expected: null`. <out>/ findings.jsonl one compact finding per iteration (deterministic order) summary.md unique outcome classes, strategy coverage, examples, replay command - sessions/iter-0000/ recorded greeneye session per iteration + sessions/iter-0000/ recorded risc-v-gsp-rm-debugger session per iteration ``` Finding shape: |