Remove banned V (vlang); rewire repo-batcher to Zig

.claude/CLAUDE.md

@@ -43,6 +43,7 @@ The following files in `.machine_readable/` contain structured project metadata:
 | Bun | Deno |
 | pnpm/yarn | Deno |
 | Go | Rust |
+| V (vlang) | Zig/Rust |
 | Python | Julia/Rust/ReScript |
 | Java/Kotlin | Rust/Tauri/Dioxus |
 | Swift | Tauri/Dioxus |

.github/workflows/dogfood-gate.yml

@@ -136,7 +136,7 @@ jobs:
             -type f \( -name '*.rs' -o -name '*.ex' -o -name '*.exs' -o -name '*.res' \
               -o -name '*.js' -o -name '*.ts' -o -name '*.json' -o -name '*.toml' \
               -o -name '*.yml' -o -name '*.yaml' -o -name '*.md' -o -name '*.adoc' \
-              -o -name '*.idr' -o -name '*.zig' -o -name '*.v' -o -name '*.jl' \
+              -o -name '*.idr' -o -name '*.zig' -o -name '*.jl' \
               -o -name '*.gleam' -o -name '*.hs' -o -name '*.ml' -o -name '*.sh' \) \
             -exec grep -Prl "$PATTERNS" {} \; > /tmp/empty-lint-results.txt 2>/dev/null
           EL_EXIT=$?
@@ -203,13 +203,13 @@ jobs:
           fi
 
           # Check for Groove endpoint code (Rust, Elixir, Zig, V)
-          if grep -rl 'well-known/groove' --include='*.rs' --include='*.ex' --include='*.zig' --include='*.v' --include='*.res' . 2>/dev/null | head -1 | grep -q .; then
+          if grep -rl 'well-known/groove' --include='*.rs' --include='*.ex' --include='*.zig' --include='*.res' . 2>/dev/null | head -1 | grep -q .; then
             HAS_GROOVE_CODE="true"
           fi
 
           # Check if this repo likely serves HTTP (has server/listener code)
           HAS_SERVER="false"
-          if grep -rl 'TcpListener\|Bandit\|Plug.Cowboy\|httpz\|vweb\|axum::serve\|actix_web' --include='*.rs' --include='*.ex' --include='*.zig' --include='*.v' . 2>/dev/null | head -1 | grep -q .; then
+          if grep -rl 'TcpListener\|Bandit\|Plug.Cowboy\|httpz\|vweb\|axum::serve\|actix_web' --include='*.rs' --include='*.ex' --include='*.zig' . 2>/dev/null | head -1 | grep -q .; then
             HAS_SERVER="true"
           fi
 

rpa-elysium/.github/workflows/dogfood-gate.yml

@@ -136,7 +136,7 @@ jobs:
             -type f \( -name '*.rs' -o -name '*.ex' -o -name '*.exs' -o -name '*.res' \
               -o -name '*.js' -o -name '*.ts' -o -name '*.json' -o -name '*.toml' \
               -o -name '*.yml' -o -name '*.yaml' -o -name '*.md' -o -name '*.adoc' \
-              -o -name '*.idr' -o -name '*.zig' -o -name '*.v' -o -name '*.jl' \
+              -o -name '*.idr' -o -name '*.zig' -o -name '*.jl' \
               -o -name '*.gleam' -o -name '*.hs' -o -name '*.ml' -o -name '*.sh' \) \
             -exec grep -Prl "$PATTERNS" {} \; > /tmp/empty-lint-results.txt 2>/dev/null
           EL_EXIT=$?
@@ -203,13 +203,13 @@ jobs:
           fi
 
           # Check for Groove endpoint code (Rust, Elixir, Zig, V)
-          if grep -rl 'well-known/groove' --include='*.rs' --include='*.ex' --include='*.zig' --include='*.v' --include='*.res' . 2>/dev/null | head -1 | grep -q .; then
+          if grep -rl 'well-known/groove' --include='*.rs' --include='*.ex' --include='*.zig' --include='*.res' . 2>/dev/null | head -1 | grep -q .; then
             HAS_GROOVE_CODE="true"
           fi
 
           # Check if this repo likely serves HTTP (has server/listener code)
           HAS_SERVER="false"
-          if grep -rl 'TcpListener\|Bandit\|Plug.Cowboy\|httpz\|vweb\|axum::serve\|actix_web' --include='*.rs' --include='*.ex' --include='*.zig' --include='*.v' . 2>/dev/null | head -1 | grep -q .; then
+          if grep -rl 'TcpListener\|Bandit\|Plug.Cowboy\|httpz\|vweb\|axum::serve\|actix_web' --include='*.rs' --include='*.ex' --include='*.zig' . 2>/dev/null | head -1 | grep -q .; then
             HAS_SERVER="true"
           fi
 

scaffoldia/.claude/CLAUDE.md

@@ -43,6 +43,7 @@ The following files in `.machine_readable/` contain structured project metadata:
 | Bun | Deno |
 | pnpm/yarn | Deno |
 | Go | Rust |
+| V (vlang) | Zig/Rust |
 | Python | Julia/Rust/ReScript |
 | Java/Kotlin | Rust/Tauri/Dioxus |
 | Swift | Tauri/Dioxus |

scaffoldia/repo-batcher/GETTING-STARTED.adoc

@@ -15,7 +15,7 @@ This project transforms the bash scripts (`sync_repos.sh`, `robust_sync.sh`) int
 * [x] Project structure from RSR template
 * [x] Architecture documentation (link:docs/ARCHITECTURE.adoc[ARCHITECTURE.adoc])
 * [x] ATS2 operation type definitions with dependent types (link:src/ats2/operations/types.dats[types.dats])
-* [x] V CLI skeleton with all commands (link:src/v/main.v[main.v])
+* [x] Zig FFI layer (link:ffi/zig/src/main.zig[main.zig])
 * [x] Checkpoint files (STATE.scm, ECOSYSTEM.scm, META.scm)
 * [x] Build system (Justfile)
 * [x] Configuration templates
@@ -30,7 +30,7 @@ This project transforms the bash scripts (`sync_repos.sh`, `robust_sync.sh`) int
 
 === 📋 To Do
 
-* [ ] ATS2-V FFI bridge
+* [ ] ATS2-Zig FFI bridge
 * [ ] Watch folder monitoring
 * [ ] Parallel execution engine
 * [ ] Rollback system
@@ -45,10 +45,8 @@ This project transforms the bash scripts (`sync_repos.sh`, `robust_sync.sh`) int
 # ATS2 (formal verification)
 # Download from: http://www.ats-lang.org/Downloads.html
 
-# V (CLI and execution)
-git clone https://github.com/vlang/v
-cd v && make
-sudo ./v symlink
+# Zig (FFI and execution)
+# Download from: https://ziglang.org/download/
 ----
 
 === 2. Build repo-batcher
@@ -94,12 +92,8 @@ repo-batcher/
 │   │   ├── operations/    # Operation types with proofs
 │   │   ├── validation/    # Validation logic
 │   │   └── batch/         # Batch execution engine
-│   ├── v/                 # V CLI layer
-│   │   ├── cli/           # Command-line interface
-│   │   ├── watcher/       # Watch folder monitoring
-│   │   └── executor/      # Parallel execution
-│   ├── abi/               # Idris2 ABI (if needed for FFI)
-│   └── ffi/zig/           # Zig FFI bridge (if needed)
+│   └── abi/               # Idris2 ABI (if needed for FFI)
+├── ffi/zig/               # Zig FFI layer (execution + bridge)
 ├── templates/             # Operation and config templates
 ├── watch/                 # Drop folder for batch operations
 └── docs/                  # Architecture and operations guide
@@ -120,16 +114,15 @@ Key types defined in `src/ats2/operations/types.dats`:
 * `git_sync_op` - Proves repos are valid git repositories
 * `batch_result` - Tracks success/failure with dependent types
 
-=== V CLI Layer (src/v/)
+=== Zig FFI Layer (ffi/zig/)
 
-Provides **fast parallel execution** with simple interface:
+Provides **fast parallel execution** with a simple interface:
 
-* **CLI commands**: Intuitive command structure
-* **Parallel execution**: V coroutines for multi-repo operations
+* **Parallel execution**: Zig for multi-repo operations
 * **Watch daemon**: Automatic operation processing
 * **FFI to ATS2**: Calls formally verified core
 
-Available commands in `src/v/main.v`:
+Available commands:
 
 * `list-ops` - Show available operations
 * `license-update` - Update licenses across repos

scaffoldia/repo-batcher/Justfile

@@ -10,15 +10,15 @@ build:
     @echo "Building repo-batcher..."
     # Compile ATS2 core
     cd src/ats2 && patscc -o ../../build/librepobatcher.a operations/*.dats
-    # Compile V CLI
-    v -prod -o build/repo-batcher src/v/main.v
-    @echo "Build complete: build/repo-batcher"
+    # Build Zig FFI layer
+    cd ffi/zig && zig build -Doptimize=ReleaseSafe
+    @echo "Build complete"
 
 # Build in development mode (faster, less optimized)
 build-dev:
     @echo "Building repo-batcher (dev mode)..."
-    v -o build/repo-batcher src/v/main.v
-    @echo "Build complete: build/repo-batcher"
+    cd ffi/zig && zig build
+    @echo "Build complete"
 
 # Run smoke test (structure validation, no build required)
 test-smoke:
@@ -28,8 +28,7 @@ test-smoke:
 # Run tests
 test:
     @echo "Running tests..."
-    # V integration tests
-    v run tests/integration_test.v
+    cd ffi/zig && zig build test && zig build test-integration
     @echo ""
     @echo "All tests passed!"
 
@@ -67,15 +66,12 @@ uninstall:
 
 # Format code
 fmt:
-    # V has built-in formatter
-    v fmt -w src/v/
+    zig fmt ffi/zig/src/ ffi/zig/test/
 
 # Check code quality
 check:
     @echo "Checking ATS2 code..."
     patsopt -tc -d src/ats2/operations/*.dats
-    @echo "Checking V code..."
-    v vet src/v/
 
 # Create example config
 setup-config:

scaffoldia/repo-batcher/docs/ARCHITECTURE.adoc

@@ -415,7 +415,7 @@ See `STATE.scm` for detailed milestones.
 ----
 # Install dependencies
 # ATS2: http://www.ats-lang.org/Downloads.html
-# V: https://github.com/vlang/v
+# Zig: https://ziglang.org/download/
 
 # Build
 cd ~/Documents/hyperpolymath-repos/repo-batcher