diff --git a/scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md b/scaffoldia/repo-batcher/ALL-FEATURES-COMPLETE.md index c5451f3..1f2b076 100644 --- 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 index 118c349..c6ecb22 100644 --- 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 index 707a57c..15e925e 100644 --- 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 index 6d99121..5c8f557 100644 --- 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 index 505291a..327a76d 100644 --- 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 index 7a2db5d..76bd96c 100644 --- 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 index f3f9b98..228975b 100644 --- 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 index 9ff9868..3d6f592 100644 --- 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 index bc9551f..e26bb51 100644 --- 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 index 8be0456..0ade78b 100644 --- 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)