debug: green-eye porting automation - new-device and driver-version port scripts, simulator packaging, porting docs; control-discovery fix

1 files changed, 19 insertions, 12 deletions

diff --git a/debug/risc-v-gsp-rm-vm/docs/23-RM610-READINESS.md b/debug/risc-v-gsp-rm-vm/docs/23-RM610-READINESS.md
index 18d93bd..72e0e62 100644
--- a/debug/risc-v-gsp-rm-vm/docs/23-RM610-READINESS.md
+++ b/debug/risc-v-gsp-rm-vm/docs/23-RM610-READINESS.md
@@ -53,13 +53,13 @@ closed.
 
 | # | Criterion | How it is verified | Evidence | Status today |
 |---|---|---|---|---|
-| C1 | All tools implemented and tested on the current driver/firmware | full test suites green (documents/demo/probe/inject/Ghidra/harness) | test logs attached to the request | partial (MCP/CI missing) |
-| C2 | Tests green | `make test` and the harness/rmharness suites pass | transcript with date and commit | green at v0.1 (55 tests) |
+| C1 | All tools implemented and tested on the current driver/firmware | full test suites green (documents/demo/probe/inject/Ghidra/harness) | test logs attached to the request | tools implemented (docs/00); fresh full-suite run pending |
+| C2 | Tests green | `make test` and the harness/rmharness suites pass | transcript with date and commit | green at v0.1; re-run pending (155 tests, docs/27) |
 | C3 | Demo, probe, inject, Ghidra work | `./greeneye.sh demo`, `probe`, `inject`, `ghidra` all demonstrated | session dirs + transcript | working per docs/00 |
-| C4 | MCP monitoring works | MCP plugin implemented and exercised (roadmap R3, docs/08; docs/15) | tool list + a monitored run | **not implemented (planned R3)** |
-| C5 | CI pipeline works | release/CI pipeline implemented and exercised (planned docs/21) | pipeline run with artifacts | **not implemented (planned docs/21)** |
+| C4 | MCP monitoring works | MCP plugin implemented and exercised (roadmap R3, docs/08; docs/15) | tool list + a monitored run | implemented (docs/20); monitored run not yet attached |
+| C5 | CI pipeline works | release/CI pipeline implemented and exercised (docs/21) | pipeline run with artifacts | implemented (docs/21); current-version run pending |
 | C6 | Docs complete and accurate | doc review checklist (§3.2) signed | review record | to complete |
-| C7 | Discovery/version-diff/CI exercised on the current version | control discovery (planned docs/19) + `harness/portability_matrix.py` + `compare` + pipeline dry-run on 570.144 | report + session hashes | partial (matrix/compare exist; docs/19 planned) |
+| C7 | Discovery/version-diff/CI exercised on the current version | control discovery (docs/19) + `harness/portability_matrix.py` + `compare` + pipeline dry-run on 570.144 | report + session hashes | partial (docs/19/21 implemented; current-version run pending) |
 | C8 | Harness produces a full evidence bundle | docs/07 checklist + docs/14 §6 pack produced end to end for a current-version port rehearsal | bundle directory with SHA-256 inventory | to complete |
 | C9 | Human has approved | signed message (§6) | approval ID recorded in the request thread | pending |
 
@@ -116,9 +116,9 @@ Required results:
   tables, test counts);
 * [ ] `docs/22` porting guide is accurate for the current tools; planned items
   are labelled `planned (docs/xx)`;
-* [ ] `docs/19-CONTROL-DISCOVERY.md` (planned) exists and has been run once on
-  the current version, or C7 is explicitly waived;
-* [ ] `docs/21-CI-RELEASE-PIPELINE.md` (planned) exists and has run once on the
+* [ ] `docs/19-CONTROL-DISCOVERY.md` exists and has been run once on the
+  current version, or C7 is explicitly waived;
+* [ ] `docs/21-CI-RELEASE-PIPELINE.md` exists and has run once on the
   current version, or C5 is explicitly waived;
 * [ ] `GREEN-EYE-ROADMAP.md` and `docs/08` status claims match reality;
 * [ ] no local source paths, no invented command names, no unsupported
@@ -158,10 +158,11 @@ must not happen beforehand.
    `harness/portability_matrix.py` with the 610 and 570.144 targets and
    identical scenario options; run the mutation harness once per version with
    the same seed; archive both reports and every session.
-6. **Pipeline dry-run, then real.** Run the release pipeline (planned
-   docs/21-CI-RELEASE-PIPELINE.md) in its dry-run mode first; inspect the
-   planned artifact list without publishing. Only after the dry-run is clean,
-   run the real pipeline on the 610 evidence bundle.
+6. **Pipeline dry-run, then real.** Run the release pipeline
+   ([`21-CI-RELEASE-PIPELINE.md`](21-CI-RELEASE-PIPELINE.md)) in its dry-run
+   mode first; inspect the planned artifact list without publishing. Only
+   after the dry-run is clean, run the real pipeline on the 610 evidence
+   bundle.
 7. **Expected artifacts.**
    * approval record and input hashes;
    * 610 symbol DB + Ghidra export provenance;
@@ -257,3 +258,9 @@ Approval ID: <id>; Date: <date>; Scope limits: <text>
 After approval, the 610 port proceeds only through the docs/22 workflow and
 the docs/05-operations §4.1 version discipline. Until that message exists,
 this repository is a 610 no-fly zone.
+
+<!-- change (2026-10-02): correct C1/C2/C4/C5/C7 status and drop "planned" for
+docs/19/21, which are implemented in the tree; scope: readiness table, §3.2
+checklist and §4 step 6 only; benefit: the gate record no longer claims
+implemented tooling is missing, and the still-open items (C6/C8/C9 and the
+current-version exercise) stay visible. -->