docs(repo-batcher): mark V layer legacy/transitional pending Zig port

scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md

@@ -1,5 +1,10 @@
 # 🎉 ALL FEATURES COMPLETE! 🎉
 
+> **⚠ V→Zig port pending (reposystem#56).** This document references a **legacy V**
+> CLI/FFI layer. V is banned estate-wide; the ATS2 verified core is retained and the
+> V layer is being ported to Zig. All "V" / `src/v/` references here are
+> historical/transitional, not the target architecture. See reposystem#53 / #56.
+
 **Date**: 2026-02-06
 **Status**: ✅ Production Ready
 **Version**: 0.9.0 (Release Candidate)

scaffoldia/repo-batcher/EXTENDED-ROADMAP-2026-02-06.adoc

@@ -1,4 +1,13 @@
 = repo-batcher Extended Roadmap
+
+[IMPORTANT]
+====
+*V→Zig port pending (reposystem#56).* This document references a *legacy V*
+CLI/FFI layer. V is banned estate-wide; the ATS2 verified core is retained and
+the V layer is being ported to Zig. All "V" / `src/v/` references here are
+historical/transitional, not the target architecture.
+See reposystem#53 (decision) / reposystem#56 (port).
+====
 :toc:
 :toclevels: 4
 :version: 0.9.0 → 2.0.0

scaffoldia/repo-batcher/GETTING-STARTED.adoc

@@ -1,4 +1,13 @@
 = Getting Started with repo-batcher
+
+[IMPORTANT]
+====
+*V→Zig port pending (reposystem#56).* This document references a *legacy V*
+CLI/FFI layer. V is banned estate-wide; the ATS2 verified core is retained and
+the V layer is being ported to Zig. All "V" / `src/v/` references here are
+historical/transitional, not the target architecture.
+See reposystem#53 (decision) / reposystem#56 (port).
+====
 :toc:
 // SPDX-License-Identifier: PMPL-1.0-or-later
 

scaffoldia/repo-batcher/IMPLEMENTATION-STATUS.md

@@ -1,5 +1,11 @@
 # repo-batcher Implementation Status
 
+> **⚠ V→Zig port pending (reposystem#56).** This is a dated (2026-02-06) status
+> snapshot. Every `src/v/…` / "V CLI" entry below describes a **legacy V layer**.
+> V is **banned estate-wide**; the ATS2 verified core is retained and the V
+> CLI/FFI layer is being ported to Zig. Entries are historical/transitional, not
+> the target architecture. See reposystem#53 (decision) / reposystem#56 (port).
+
 **Date**: 2026-02-06
 **Version**: 0.1.0 Alpha
 **Status**: Core operations implemented, ready for testing

scaffoldia/repo-batcher/OPERATIONS-EXPANSION-2026-02-06.md

@@ -1,5 +1,10 @@
 # 🚀 Operation Expansion Complete!
 
+> **⚠ V→Zig port pending (reposystem#56).** This document references a **legacy V**
+> CLI/FFI layer. V is banned estate-wide; the ATS2 verified core is retained and the
+> V layer is being ported to Zig. All "V" / `src/v/` references here are
+> historical/transitional, not the target architecture. See reposystem#53 / #56.
+
 **Date**: 2026-02-06
 **Session**: 5
 **Status**: ✅ Production Ready

scaffoldia/repo-batcher/OPERATIONS-EXPANSION-SUMMARY.md

@@ -1,5 +1,10 @@
 # 🚀 repo-batcher: Operations Expansion Summary
 
+> **⚠ V→Zig port pending (reposystem#56).** This document references a **legacy V**
+> CLI/FFI layer. V is banned estate-wide; the ATS2 verified core is retained and the
+> V layer is being ported to Zig. All "V" / `src/v/` references here are
+> historical/transitional, not the target architecture. See reposystem#53 / #56.
+
 **Date**: 2026-02-06 (Session 5)
 **Version**: 0.9.0 → Production Ready
 

scaffoldia/repo-batcher/PARALLEL-EXECUTION-COMPLETE.md

@@ -1,5 +1,10 @@
 # Parallel Execution Implementation Complete
 
+> **⚠ V→Zig port pending (reposystem#56).** This document references a **legacy V**
+> CLI/FFI layer. V is banned estate-wide; the ATS2 verified core is retained and the
+> V layer is being ported to Zig. All "V" / `src/v/` references here are
+> historical/transitional, not the target architecture. See reposystem#53 / #56.
+
 **Date**: 2026-02-06
 **Status**: ✅ String helpers and V coroutines fully implemented
 

scaffoldia/repo-batcher/README.adoc

@@ -7,9 +7,18 @@
 image:https://img.shields.io/badge/license-PMPL--1.0--or--later-blue.svg[License]
 image:https://img.shields.io/badge/status-alpha-orange.svg[Status]
 
+[IMPORTANT]
+====
+*V→Zig port pending (reposystem#56).* The CLI / parallel-execution layer
+is currently implemented in *V, which is banned estate-wide*. The ATS2
+verified core is retained; the V layer is being ported to Zig. References
+to "V" / `src/v/` in this and sibling docs are *legacy/transitional*, not
+the target architecture. See reposystem#53 (decision) and reposystem#56 (port).
+====
+
 == What is repo-batcher?
 
-repo-batcher is a command-line tool for performing mass operations across multiple git repositories with formal correctness guarantees. It uses ATS2 dependent types to prove operation safety at compile-time and V for fast parallel execution.
+repo-batcher is a command-line tool for performing mass operations across multiple git repositories with formal correctness guarantees. It uses ATS2 dependent types to prove operation safety at compile-time. The CLI / parallel-execution layer is currently V; V is banned estate-wide and is being ported to Zig (see reposystem#56) — the ATS2 verified core is unaffected.
 
 [quote]
 ____

scaffoldia/repo-batcher/ROADMAP.adoc

@@ -1,6 +1,15 @@
 // SPDX-License-Identifier: PMPL-1.0-or-later
 = repo-batcher Roadmap
 
+[IMPORTANT]
+====
+*V→Zig port pending (reposystem#56).* Completed milestones below were
+delivered on a *V* CLI/FFI layer. V is banned estate-wide; the ATS2
+verified core is retained and the V layer is being ported to Zig. The
+"✅ V CLI layer" / "FFI bridge (ATS2 ↔ V)" entries are historical record,
+not the target architecture. See reposystem#53 (decision) / reposystem#56 (port).
+====
+
 == Current Status
 
 **Version 1.0.0 - Production Ready** ✅

scaffoldia/repo-batcher/docs/ARCHITECTURE.adoc

@@ -3,6 +3,15 @@
 :toclevels: 3
 // SPDX-License-Identifier: PMPL-1.0-or-later
 
+[IMPORTANT]
+====
+*V→Zig port pending (reposystem#56).* The "V" CLI / coroutine layer
+described below is *legacy*. V is banned estate-wide; the ATS2 verified
+core is retained and the V layer is being ported to Zig. Treat every "V"
+reference here as transitional, not the target architecture.
+See reposystem#53 (decision) / reposystem#56 (port).
+====
+
 == Overview
 
 repo-batcher is a formally verified batch operation tool for mass repository management. It provides type-safe operations across multiple git repositories with compile-time correctness guarantees.
@@ -18,7 +27,7 @@ Key principles:
 
 * **Formal Verification**: ATS2 dependent types prove operation correctness at compile-time
 * **Type Safety**: Operations validated before execution, preventing destructive errors
-* **Parallel Execution**: V coroutines enable efficient multi-repository processing
+* **Parallel Execution**: coroutines enable efficient multi-repository processing (currently V — legacy, being ported to Zig per reposystem#56; V is banned estate-wide)
 * **Batch Processing**: Watch folder pattern separates operation definition from execution
 * **Rollback Safety**: All operations support dry-run and rollback mechanisms
 
@@ -53,9 +62,9 @@ Key principles:
 | Core batch operation logic with dependent type proofs
 | Theorem-proving capabilities ensure operation correctness. Prevents file overwrites, invalid replacements, git errors.
 
-| **V**
+| **V** (legacy → Zig, reposystem#56)
 | CLI interface, file watching, parallel execution
-| Fast compilation, simple C FFI, lightweight coroutines for parallel processing.
+| *V is banned estate-wide.* This layer is being ported to Zig (chosen for the estate API/FFI standard); the rationale below is the original V justification, retained for history: fast compilation, simple C FFI, lightweight coroutines for parallel processing.
 
 | **Idris2**
 | ABI definitions (per RSR standard)