kernel: GR context-promote bisection modes 4-17 and server-managed-ctxbuf registry variant; complete vgsp rename; docs/tooling refresh

- gsp_phys_booter: GR promote bisection modes 4-17 (two-phase zero-field VA,
  batched entries, hVirtMemory, bare VA, KMD SKIP_CTXBUFFER_ALLOC channel,
  old-interface GPU_INITIALIZE_CTX, FBMEM context buffer, UVM-faithful PA-only,
  PATCH/PM auxiliary promotes, server-managed no-promote path); PATCH/PM
  geometry queries and buffers; pre-boot SET_REGISTRY profile selection
- gsp_phys_gpu: gsp_phys_rmcall_gr_promote clamp 0..17 and gsp_phys_srv_ctxbuf
  parameter; registry image variant with RMSetClientRMAllocatedCtxBuffer=0
- vgsp rename across kernel, scripts, tools and docs (module vgsp.ko,
  /sys/kernel/debug/vgsp/, vgsp-<subsystem>: log prefixes)
- risc-v-gsp-rm-debugger user-facing rename and docs/CI refresh; guest-diag
  tool updates; README/SBOM/install/Makefile sync

Live status: CE ladder and P6 guest-copy forwarding green; GR engine context
commit still open (all promote shapes accepted or cleanly refused; the channel
stays CTXNOTVALID) - see Handoff-vGPU-IO.md Addendum 21 (local).

1 files changed, 4 insertions, 4 deletions

diff --git a/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md b/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md
index db71833..a7feb21 100644
--- a/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md
+++ b/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md
@@ -14,7 +14,7 @@ a **deterministic, scriptable harness** (`ge.launch`/`ge.attach`, `Session`,
 * sessions are the shared state between agents, humans and Ghidra, so every
   claim is inspectable after the fact;
 * **humans keep product-change authority**: an agent may propose an
-  `open-iov-vfio` change with evidence, but only a human merges it, and the
+  `vgsp` change with evidence, but only a human merges it, and the
   physical-confirmation rules of docs/06 and docs/07 still apply.
 
 Non-goals: autonomous hardware cycles, unattended reboots, agents that "fix"
@@ -249,7 +249,7 @@ the reply/object, and in what order relative to `<Z>`?"
 
 6. Stop condition: direct and firmware-dispatched results agree, the session
    is recorded, and the prototype is documented as development-only. Product
-   code goes to `open-iov-vfio` only through the accuracy loop (docs/11 §8,
+   code goes to `vgsp` only through the accuracy loop (docs/11 §8,
    docs/12 §9); GSP-RM registration is roadmap H1.3.
 
 ### 4.4 Prepare a portability report
@@ -288,7 +288,7 @@ Hard rules (no agent may override them):
 * **No unattended hardware.** The agent runs against the simulator by default;
   physical GPU cycles are supervised and human-driven (H7).
 * **Human approval for product changes.** Agents produce proposals and
-  evidence packs; only humans merge `open-iov-vfio` changes.
+  evidence packs; only humans merge `vgsp` changes.
 * **Budgets everywhere.** Every run uses `duration=`/`max_stops=`/`timeout=`
   and a wall-clock cap; a wedged target leaves the session stopped and is
   restarted clean rather than poked.
@@ -300,7 +300,7 @@ Capability manifest for actions (proposed file for the harness; see §7):
 | Read | `info`, `plugins`, `symbols resolve`, `analyze`, `compare` | agent, unattended | path/DB provenance recorded |
 | Observe | `probe`, `record`, `demo`, hooks/watch/step | agent, unattended on simulator | timeout, session recording on |
 | Write (target) | `memory.write*`, `call`, `run_until`, `inject`, mailbox stimulus | agent with manifest | declared address/range, fresh session, before/after snapshots, mutation values noted |
-| Product | `open-iov-vfio` patch | human only | M1–M6 + physical confirmation rules (docs/07 P4.5) |
+| Product | `vgsp` patch | human only | M1–M6 + physical confirmation rules (docs/07 P4.5) |
 | Hardware | physical cycles/reboots | human only | supervised, never unattended |
 
 A write action's manifest entry names the session, the target range, the