docs: fix stale src/abi/ references (SD022) + prune merged branches (GS007) (#45)

* docs: fix stale src/abi/ references to src/interface/abi/ (SD022)

The Idris2 ABI sources live in src/interface/abi/ (Types.idr, Layout.idr,
Foreign.idr), but four docs still referenced the pre-rename src/abi/ path,
which Hypatia's structural_drift rule (SD022) flags as a reference to a
non-existent directory. Update all seven references across RSR_OUTLINE,
ABI-FFI-README, MAINTENANCE-CHECKLIST and AI-CONVENTIONS, trimming diagram
padding so the ASCII box/tree stay aligned.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LvsZgNxFbeqfRmrVFNhJ8G

* ci(governance): bump standards pins d72fe5a -> 4ddc926

The standards estate advanced again since #42, so the governance +
scorecard reusable pins went stale against the new HEAD (the staleness
check compares pins to standards HEAD; this is why "Check Workflow
Staleness" went red on #45, independent of its docs content). Bump both
to 4ddc926. Verified against check-workflow-staleness.sh@4ddc926: same
five rules, all pass (exit 0); the scorecard-reusable token appears only
on the uses: line, so the #42 comment-grep bug stays fixed.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LvsZgNxFbeqfRmrVFNhJ8G

---------

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

.github/workflows/governance.yml

@@ -31,4 +31,4 @@ permissions:
 
 jobs:
   governance:
-    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@d72fe5a14e841ac6d78514b53624b6173038ee20
+    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@4ddc926b4b86451c2711a16bf927ed16ad2db45e

.github/workflows/scorecard.yml

@@ -24,5 +24,5 @@ jobs:
       contents: read
       security-events: write
       id-token: write
-    uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@d72fe5a14e841ac6d78514b53624b6173038ee20
+    uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@4ddc926b4b86451c2711a16bf927ed16ad2db45e
     secrets: inherit

docs/RSR_OUTLINE.adoc

@@ -101,7 +101,7 @@ just validate-rsr
 |`AI.a2ml`
 |Claude-specific instructions
 
-|`src/abi/`
+|`src/interface/abi/`
 |Idris2 ABI definitions (Types, Layout, Foreign)
 
 |`ffi/zig/`
@@ -177,7 +177,7 @@ project/
 │   ├── TOPOLOGY-GUIDE.adoc
 │   ├── generated/
 │   └── man/
-├── src/abi/                   # Idris2 ABI definitions
+├── src/interface/abi/         # Idris2 ABI definitions
 │   ├── Types.idr
 │   ├── Layout.idr
 │   └── Foreign.idr

docs/developer/ABI-FFI-README.adoc

@@ -17,7 +17,7 @@ This library follows the **Hyperpolymath RSR Standard** for ABI and FFI design:
 ```
 ┌─────────────────────────────────────────────┐
 │  ABI Definitions (Idris2)                   │
-│  src/abi/                                   │
+│  src/interface/abi/                         │
 │  - Types.idr      (Type definitions)        │
 │  - Layout.idr     (Memory layout proofs)    │
 │  - Foreign.idr    (FFI declarations)        │
@@ -349,14 +349,14 @@ main = do
 
 When modifying the ABI/FFI:
 
-1. **Update ABI first** (`src/abi/*.idr`)
+1. **Update ABI first** (`src/interface/abi/*.idr`)
    - Modify type definitions
    - Update proofs
    - Ensure backward compatibility
 
 2. **Generate C header**
    ```bash
-   idris2 --cg c-header src/abi/Types.idr -o generated/abi/game-server-admin.h
+   idris2 --cg c-header src/interface/abi/Types.idr -o generated/abi/game-server-admin.h
    ```
 
 3. **Update FFI implementation** (`ffi/zig/src/main.zig`)

docs/governance/MAINTENANCE-CHECKLIST.adoc

@@ -104,7 +104,7 @@ Run this pass at the end of a corrective/adaptive/perfective cycle:
   - single navigation entry point in root (`NAVIGATION.adoc` or equivalent)
   - no duplicate conflicting docs for same purpose (for example both `.md` and `.adoc` in root unless intentionally required)
 - [ ] Enforce ABI/FFI purity where the policy applies:
-  - ABI definitions in Idris2 (`src/abi/*.idr`)
+  - ABI definitions in Idris2 (`src/interface/abi/*.idr`)
   - FFI implementations in Zig (`ffi/**/*.zig`)
 - [ ] Ensure quality gate includes: formatting, lint, unit/integration tests, p2p/e2e checks, benchmark smoke, docs checks, security scan.
 

docs/practice/AI-CONVENTIONS.adoc

@@ -66,7 +66,7 @@ MAINTENANCE-CHECKLIST.a2ml, or SOFTWARE-DEVELOPMENT-APPROACH.a2ml in the reposit
 
 ## ABI/FFI Standard
 
-- ABI definitions: **Idris2** with dependent types (`src/abi/`).
+- ABI definitions: **Idris2** with dependent types (`src/interface/abi/`).
 - FFI implementation: **Zig** with C ABI compatibility (`ffi/zig/`).
 - Generated C headers: `generated/abi/`.