hyperpolymath · hyperpolymath · May 18, 2026 · May 18, 2026
diff --git a/scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md b/scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md
@@ -1,9 +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.
+> **⚠ Accurate state (reposystem#56, verified 2026-05-18).** The "ALL FEATURES
+> COMPLETE" / "V CLI" claims here **were never committed** — git history has no
+> `src/v/`; no V ever existed. Real source = an ATS2 verified core + an **unimplemented**
+> Zig FFI template stub. This file is an **un-built historical plan, not shipped code**;
+> the tool is not functional. See reposystem#56.
 
 **Date**: 2026-02-06
 **Status**: ✅ Production Ready

diff --git a/scaffoldia/repo-batcher/EXTENDED-ROADMAP-2026-02-06.adoc b/scaffoldia/repo-batcher/EXTENDED-ROADMAP-2026-02-06.adoc
@@ -2,11 +2,11 @@
 
 [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).
+*Accurate state (reposystem#56, verified 2026-05-18).* The "V CLI/FFI layer"
+this document references *was never committed* — git history contains no
+`src/v/`; no V ever existed. Real source = an ATS2 verified core + an
+*unimplemented* Zig FFI template stub. This file is an *un-built historical
+plan, not shipped code*; the tool is not functional. See reposystem#56.
 ====
 :toc:
 :toclevels: 4

diff --git a/scaffoldia/repo-batcher/GETTING-STARTED.adoc b/scaffoldia/repo-batcher/GETTING-STARTED.adoc
@@ -2,11 +2,11 @@
 
 [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).
+*Accurate state (reposystem#56, verified 2026-05-18).* The "V CLI/FFI layer"
+this document references *was never committed* — git history contains no
+`src/v/`; no V ever existed. Real source = an ATS2 verified core + an
+*unimplemented* Zig FFI template stub. This file is an *un-built historical
+plan, not shipped code*; the tool is not functional. See reposystem#56.
 ====
 :toc:
 // SPDX-License-Identifier: PMPL-1.0-or-later

diff --git a/scaffoldia/repo-batcher/IMPLEMENTATION-STATUS.md b/scaffoldia/repo-batcher/IMPLEMENTATION-STATUS.md
@@ -1,10 +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).
+> **⚠ Accurate state (reposystem#56, verified 2026-05-18).** This dated (2026-02-06)
+> doc is **fiction, not status**: every `src/v/…` / "V CLI" / "complete" entry below
+> describes code that **was never committed** — git history contains no `src/v/`, no V
+> ever existed. Real source = an ATS2 verified core + an **unimplemented** Zig FFI
+> template stub (does not bind the ATS2 ABI, does not build). **The tool is not
+> functional.** Retained only as a historical planning artifact. See reposystem#56.
 
 **Date**: 2026-02-06
 **Version**: 0.1.0 Alpha

diff --git a/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-2026-02-06.md b/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-2026-02-06.md
@@ -1,9 +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.
+> **⚠ Accurate state (reposystem#56, verified 2026-05-18).** The "Operation Expansion
+> Complete" / "V" claims here **were never committed** — git history has no `src/v/`;
+> no V ever existed. Real source = an ATS2 verified core + an **unimplemented** Zig FFI
+> template stub. This file is an **un-built historical plan, not shipped code**; the
+> tool is not functional. See reposystem#56.
 
 **Date**: 2026-02-06
 **Session**: 5

diff --git a/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-SUMMARY.md b/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-SUMMARY.md
@@ -1,9 +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.
+> **⚠ Accurate state (reposystem#56, verified 2026-05-18).** The "Operations Expansion"
+> / "V" / "Production Ready" claims here **were never committed** — git history has no
+> `src/v/`; no V ever existed. Real source = an ATS2 verified core + an **unimplemented**
+> Zig FFI template stub. This file is an **un-built historical plan, not shipped code**;
+> the tool is not functional. See reposystem#56.
 
 **Date**: 2026-02-06 (Session 5)
 **Version**: 0.9.0 → Production Ready

diff --git a/scaffoldia/repo-batcher/PARALLEL-EXECUTION-COMPLETE.md b/scaffoldia/repo-batcher/PARALLEL-EXECUTION-COMPLETE.md
@@ -1,9 +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.
+> **⚠ Accurate state (reposystem#56, verified 2026-05-18).** The "V CLI/FFI layer"
+> and "Complete" status this doc claims **were never committed** — git history has no
+> `src/v/`; no V ever existed. Real source = an ATS2 verified core + an **unimplemented**
+> Zig FFI template stub. This file is an **un-built historical plan, not shipped code**;
+> the tool is not functional. See reposystem#56.
 
 **Date**: 2026-02-06
 **Status**: ✅ String helpers and V coroutines fully implemented

diff --git a/scaffoldia/repo-batcher/README.adoc b/scaffoldia/repo-batcher/README.adoc
@@ -9,16 +9,19 @@ 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).
+*Accurate state (reposystem#56, verified 2026-05-18).* repo-batcher source is
+an ATS2 verified core (real) + a Zig FFI/CLI layer that is currently an
+*unimplemented RSR template stub* (placeholder `{{project}}` code, stale build
+API, does not bind the ATS2 ABI, does not build). *No V implementation ever
+existed in source* — git history contains no `src/v/`. Any "V" / `src/v/*.v` /
+"V CLI" wording in this and sibling docs is an *un-built historical plan, not
+shipped code*. *The tool is not yet functional.* Implementing the real Zig
+FFI/CLI is greenfield work — reposystem#56.
 ====
 
 == 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. 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.
+repo-batcher is intended to be a command-line tool for mass operations across many git repositories with compile-time correctness guarantees. *Current reality:* the ATS2 operation core (license-update, file-replace, git-sync, …) is implemented and dependently typed and exposes a C ABI; the Zig FFI/CLI driver that would make it usable is *not yet implemented* (an unbuilt template stub — reposystem#56), so there is no working end-to-end CLI yet. No V code exists or ever did.
 
 [quote]
 ____

diff --git a/scaffoldia/repo-batcher/ROADMAP.adoc b/scaffoldia/repo-batcher/ROADMAP.adoc
@@ -3,18 +3,24 @@
 
 [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).
+*Accurate state (reposystem#56, verified 2026-05-18).* The "✅ completed
+milestones" below — including "V CLI layer", "FFI bridge (ATS2 ↔ V)" and any
+"Production Ready / v1.0.0" claim — *were never delivered in source*. Git
+history contains no `src/v/`; no V ever existed. Real source = an ATS2
+verified core + an *unimplemented* Zig FFI stub (reposystem#56). This file
+is an *un-built aspirational plan*, not a record of shipped work.
 ====
 
 == Current Status
 
-**Version 1.0.0 - Production Ready** ✅
+**Pre-functional** — ATS2 operation core implemented; Zig FFI/CLI *not yet
+implemented* (reposystem#56). *Not production-ready, no working build/CLI.*
 
-repo-batcher is production-ready with 11 batch operations + safety system covering the core needs of managing 574+ repositories.
+The ATS2 core covers 11 batch operations + safety logic and exposes a C ABI,
+but there is no usable end-to-end tool yet: the ATS2 build wiring is unverified
+here (no `patscc`/`patsopt`) and the Zig FFI/CLI is an unsubstituted template
+stub. The "574+ repositories / production-ready" framing below is aspirational,
+not actual.
 
 == Completed Milestones
 

diff --git a/scaffoldia/repo-batcher/docs/ARCHITECTURE.adoc b/scaffoldia/repo-batcher/docs/ARCHITECTURE.adoc
@@ -5,11 +5,13 @@
 
 [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).
+*Accurate state (reposystem#56, verified 2026-05-18).* The "V CLI / coroutine
+layer" described below *was never implemented* — git history contains no
+`src/v/`. The real source is an ATS2 verified core + a Zig FFI layer that is
+currently an *unimplemented RSR template stub* (does not bind the ATS2 ABI,
+does not build). No V ever existed. Treat every "V" reference here as an
+*un-built historical plan*, not shipped code or the target architecture.
+The real Zig FFI/CLI is greenfield work — reposystem#56.
 ====
 
 == Overview
@@ -27,7 +29,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**: coroutines enable efficient multi-repository processing (currently V — legacy, being ported to Zig per reposystem#56; V is banned estate-wide)
+* **Parallel Execution**: _(planned, not implemented)_ multi-repository concurrency would live in the Zig FFI/CLI layer — currently an unbuilt stub (reposystem#56). No V was ever used.
 * **Batch Processing**: Watch folder pattern separates operation definition from execution
 * **Rollback Safety**: All operations support dry-run and rollback mechanisms
 
@@ -38,8 +40,8 @@ Key principles:
 [source]
 ----
 ┌─────────────────────────────────────┐
-│  V CLI Layer                         │  Fast CLI, file watching, parallel execution
-│  (src/v/)                            │
+│  Zig FFI/CLI Layer  [NOT IMPLEMENTED] │  intended: CLI, file watching, parallel exec
+│  (ffi/zig/ — template stub only)      │  (reposystem#56; no src/v/ ever existed)
 └──────────────┬──────────────────────┘
                │ FFI
 ┌──────────────▼──────────────────────┐
@@ -62,9 +64,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** (legacy → Zig, reposystem#56)
+| **Zig** (FFI/CLI — *not yet implemented*, reposystem#56)
 | CLI interface, file watching, parallel execution
-| *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.
+| *No V was ever used* (despite older prose). The CLI/FFI layer is intended to be Zig (estate API/FFI standard) but currently exists only as an unsubstituted RSR template stub that does not bind the ATS2 ABI and does not build. Greenfield implementation tracked in reposystem#56.
 
 | **Idris2**
 | ABI definitions (per RSR standard)