diff --git a/scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md b/scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md index 2be3ccd..c5451f3 100644 --- a/scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md +++ b/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) diff --git a/scaffoldia/repo-batcher/EXTENDED-ROADMAP-2026-02-06.adoc b/scaffoldia/repo-batcher/EXTENDED-ROADMAP-2026-02-06.adoc index 5246f63..118c349 100644 --- a/scaffoldia/repo-batcher/EXTENDED-ROADMAP-2026-02-06.adoc +++ b/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 diff --git a/scaffoldia/repo-batcher/GETTING-STARTED.adoc b/scaffoldia/repo-batcher/GETTING-STARTED.adoc index baa6dfc..707a57c 100644 --- a/scaffoldia/repo-batcher/GETTING-STARTED.adoc +++ b/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 diff --git a/scaffoldia/repo-batcher/IMPLEMENTATION-STATUS.md b/scaffoldia/repo-batcher/IMPLEMENTATION-STATUS.md index b64a79d..6d99121 100644 --- a/scaffoldia/repo-batcher/IMPLEMENTATION-STATUS.md +++ b/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 diff --git a/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-2026-02-06.md b/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-2026-02-06.md index 2f9bd72..505291a 100644 --- a/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-2026-02-06.md +++ b/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 diff --git a/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-SUMMARY.md b/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-SUMMARY.md index d850893..7a2db5d 100644 --- a/scaffoldia/repo-batcher/OPERATIONS-EXPANSION-SUMMARY.md +++ b/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 diff --git a/scaffoldia/repo-batcher/PARALLEL-EXECUTION-COMPLETE.md b/scaffoldia/repo-batcher/PARALLEL-EXECUTION-COMPLETE.md index a83b325..f3f9b98 100644 --- a/scaffoldia/repo-batcher/PARALLEL-EXECUTION-COMPLETE.md +++ b/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 diff --git a/scaffoldia/repo-batcher/README.adoc b/scaffoldia/repo-batcher/README.adoc index 8e83692..9ff9868 100644 --- a/scaffoldia/repo-batcher/README.adoc +++ b/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] ____ diff --git a/scaffoldia/repo-batcher/ROADMAP.adoc b/scaffoldia/repo-batcher/ROADMAP.adoc index 0513010..bc9551f 100644 --- a/scaffoldia/repo-batcher/ROADMAP.adoc +++ b/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** ✅ diff --git a/scaffoldia/repo-batcher/docs/ARCHITECTURE.adoc b/scaffoldia/repo-batcher/docs/ARCHITECTURE.adoc index 0039ded..8be0456 100644 --- a/scaffoldia/repo-batcher/docs/ARCHITECTURE.adoc +++ b/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)