chore(rename): julia-the-viper -> jtv (rebuilt on pure-coordinator main)

claude · hyperpolymath · commit 87b8cc42d6e0 · 2026-06-18T11:44:00.000+01:00
Rebases #87 onto current main, which removed all language submodules (9c26f95) — so the original submodule rename is obsolete. This is the doc/config rename only: - julia-the-viper -> jtv (slug) and Julia the Viper / Julia-the-Viper -> JtV (prose) across the language catalogue, wiki, stapeln.toml + opsm.toml build/target layers, language-status-tracker.jl, ECOSYSTEM.a2ml, 0-AI-MANIFEST.a2ml, and docs. - git mv languages/julia-the-viper.md -> languages/jtv.md and wiki/languages/julia-the-viper.md -> wiki/languages/jtv.md (+ referrers). - README "Projects" entry heading collapsed to "=== JtV". No .gitmodules / submodule changes — main no longer has any. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01BJmfoz1ZS1Pejy9LLMY742
diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml
@@ -29,7 +29,7 @@ betlang = "hyperpolymath/betlang"
 eclexia = "hyperpolymath/eclexia"
 ephapax = "hyperpolymath/ephapax"
 error-lang = "hyperpolymath/error-lang"
-julia-the-viper = "hyperpolymath/julia-the-viper"
+jtv = "hyperpolymath/jtv"
 my-lang = "hyperpolymath/my-lang"
 oblibeny = "hyperpolymath/oblibeny"
 phronesis = "hyperpolymath/phronesis"
diff --git a/0-AI-MANIFEST.a2ml b/0-AI-MANIFEST.a2ml
@@ -56,7 +56,7 @@ This is a **monorepo** containing:
 4. WokeLang - 100% complete (production) ✨ VERIFIED 2026-02-07
 5. AffineScript - 80% (near-complete, borrow checker 20%)
 6. My-Lang - 75% (solo dialect complete, 4 dialects: me/solo/duet/ensemble)
-7. Julia-the-Viper - 60% (active development)
+7. JtV - 60% (active development)
 8. Ephapax - 55% (dyadic: linear/affine forms)
 9. Anvomidav - 55% (developer experience)
 10. betlang - 35% (development)
diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc
@@ -283,7 +283,7 @@ compiler that handles all four dialects via dialect-specific parse modes.
 | Foundational experiment — the language that preceded the full family.
 Full Cargo workspace.
 
-| `julia-the-viper/`
+| `jtv/`
 | Systems language with Harvard Architecture memory model. Named separately
 from Julia the data language to avoid confusion.
 
diff --git a/PANIC-ATTACK-TRIAGE.adoc b/PANIC-ATTACK-TRIAGE.adoc
@@ -102,14 +102,14 @@ take many sessions.
 | 6             | `my-lang/crates/my-mir/src/lib.rs`                           | **Keep but document.** All 6 are `.expect("internal error: ...")` invariant checks on graph indices. These are legitimate invariant panics; converting to `Result` would propagate a condition the caller cannot meaningfully handle. Recommend adding a comment at each site explaining the invariant, not rewriting.
 | 8             | `my-lang/my-ssg/src/main.rs`                                 | **Tractable follow-up.** `main` can return `Result<(), Box<dyn Error>>` and use `?` on the `fs::write` calls. ~30 minutes of work.
 | 6             | `my-lang/tests/property_tests.rs`                            | **Skip.** Test file.
-| ~20 across ephapax, betlang, phronesis, eclexia, affinescript, oblibeny, julia-the-viper, wokelang parser/runtime files | Each submodule has its own PanicPath cluster | **Per-language follow-ups.** Each should be a dedicated session inside the respective repo.
+| ~20 across ephapax, betlang, phronesis, eclexia, affinescript, oblibeny, jtv, wokelang parser/runtime files | Each submodule has its own PanicPath cluster | **Per-language follow-ups.** Each should be a dedicated session inside the respective repo.
 |===
 
 === Security (priority 2)
 
 **Critical remaining:**
 
-* **`julia-the-viper/playground/experiments/_attic/database-demos/arangodb-demo/queries.js`**
+* **`jtv/playground/experiments/_attic/database-demos/arangodb-demo/queries.js`**
   — HardcodedSecret. **False positive.** The "secret" is
   `auth: { username: "root", password: "rootpassword" }` — standard
   ArangoDB localhost demo credentials. Other email addresses are
@@ -119,7 +119,7 @@ take many sessions.
   credentials as placeholder data so panic-attack ignores them.** Not fixed
   this session because it is user-judgement territory.
 
-* **`julia-the-viper/playground/experiments/_attic/utilities/form-validation/validator.js`**
+* **`jtv/playground/experiments/_attic/utilities/form-validation/validator.js`**
   — HardcodedSecret. **False positive.** The "secret" is
   `password: 'SecurePass123!'` used as example data inside a form-validation
   demo showing what valid passwords look like, and `password: 'weak'` showing
@@ -181,7 +181,7 @@ emit signals in these categories.
 | **Fixed this session**            | 14    | Committed, pushed, pointer-bumped
 | **Known work, dedicated session** | 1 (Ephapax proof closure) | Tracked in Ephapax session backlog
 | **Vendored third-party**          | 1 (liboqs)                | Accept as documented third-party risk
-| **False positive**                | 2 (julia-the-viper _attic) | Delete `_attic` or add comment
+| **False positive**                | 2 (jtv _attic) | Delete `_attic` or add comment
 | **Skip permanently**              | 6 (test files, sidelined, playground derivatives) | No action
 | **Per-language follow-up**        | ~110+                     | Schedule per-submodule panic-attack sessions
 | **Tractable follow-up (my-lang)** | 3 (my-ssg main, my-fmt, concurrency) | Next my-lang hygiene session
diff --git a/README.adoc b/README.adoc
@@ -31,7 +31,7 @@ These languages explore different instances of this idea.
 
 == Projects
 
-=== JtV — Julia the Viper
+=== JtV
 
 A foundational language exploring computation as *additive construction from neutral anchors (CNO)*.
 
diff --git a/TEST-NEEDS.md b/TEST-NEEDS.md
@@ -28,7 +28,7 @@ Added test categories for ephapax-linear and ephapax-lexer:
 | E2E          | ~3    | affinescript test_e2e.ml + integration tests |
 | Benchmarks   | 4     | tangle: bench_lexer.ml, bench_lexer.rs, bench_parser.ml, bench_parser_rust.rs. betlang: bench_lexer.rs |
 
-**Source modules:** ~772 across 14+ language implementations. Major: affinescript (~87 ML), ephapax (~488 Rust across 19 crates), tangle, eclexia, betlang, anvomidav, wokelang, 7-tentacles, error-lang, julia-the-viper.
+**Source modules:** ~772 across 14+ language implementations. Major: affinescript (~87 ML), ephapax (~488 Rust across 19 crates), tangle, eclexia, betlang, anvomidav, wokelang, 7-tentacles, error-lang, jtv.
 
 ## What's Missing
 
@@ -81,7 +81,7 @@ Added test categories for ephapax-linear and ephapax-lexer:
 | wokelang | unknown | 0 | **Untested** |
 | 7-tentacles | unknown | 1 | Minimal |
 | error-lang | unknown | 0 | **Untested** |
-| julia-the-viper | unknown | 0 | **Untested** |
+| jtv | unknown | 0 | **Untested** |
 
 ## Priority
 
diff --git a/TOOLING-STATUS.adoc b/TOOLING-STATUS.adoc
@@ -49,7 +49,7 @@ Cross-axis invariants: ARG ≤ TRG always; ARG-A requires FRG ≥ B.
 | **Phronesis** | TBD | TBD | TBD | TBD | TBD | Profile not yet authored.
 | **Wokelang** | TBD | TBD | TBD | TBD | TBD | Profile not yet authored.
 | **Anvomidav** | TBD | TBD | TBD | TBD | TBD | Profile not yet authored.
-| **Julia-the-viper** | TBD | TBD | TBD | TBD | TBD | Profile not yet authored.
+| **JtV** | TBD | TBD | TBD | TBD | TBD | Profile not yet authored.
 | **Oblibeny** | TBD | TBD | TBD | TBD | TBD | Profile not yet authored.
 | **Error-lang** | TBD | TBD | TBD | TBD | TBD | Profile not yet authored.
 | **Kitchenspeak** | TBD | TBD | TBD | TBD | TBD | Proofs commenced (Dough, PoachedEgg, EchoBridge); ADR 0001–0004; echo-types dependency. Profile not yet authored.
@@ -142,7 +142,7 @@ Standards specs:
 | —
 | —
 
-| **Julia-the-Viper**
+| **JtV**
 | Idris2 ABI
 | planned
 | planned
@@ -226,7 +226,7 @@ All 12 languages are registered in `boj-server/cartridges/lang-mcp/`:
 | Anvomidav     | 7  | Session (stub)
 | Phronesis     | 8  | Session, typecheck, eval
 | Error-lang    | 9  | Session, typecheck, eval
-| Julia-the-Viper | 10 | Session, typecheck, eval, dialect injection
+| JtV | 10 | Session, typecheck, eval, dialect injection
 | Me-dialect    | 11 | Session, typecheck
 | Oblibeny      | 12 | Session, typecheck, eval
 |===
@@ -237,7 +237,7 @@ All 12 languages are registered in `boj-server/cartridges/lang-mcp/`:
 * **lsp-mcp** — Generic LSP proxy (ABI/FFI/adapter/panels)
 * **dap-mcp** — Generic DAP proxy (ABI/FFI/adapter/panels)
 
-=== Julia-the-Viper Dialect Injection
+=== JtV Dialect Injection
 
 Any language can be augmented with JtV by requesting dialect `jtv`:
 
@@ -251,7 +251,7 @@ Any language can be augmented with JtV by requesting dialect `jtv`:
 | Language | Idris2 ABI | Zig FFI | Status
 
 | AffineScript      | `src/abi/` (Types, Layout, Foreign) | planned     | In progress
-| Julia-the-Viper   | `src/abi/` (Types, Layout, Foreign) | planned     | In progress
+| JtV   | `src/abi/` (Types, Layout, Foreign) | planned     | In progress
 | Ephapax           | ephapax-proven (3 crates)           | proven-ffi  | Complete
 | Others            | —                                    | —           | Not started
 |===
diff --git a/TOPOLOGY.md b/TOPOLOGY.md
@@ -70,7 +70,7 @@ SATELLITE PROGRESS
   Oblibeny (Secure)                 ██████████ 100%    Turing-incomplete mode stable
   Ephapax (Linear)                  ██████████ 100%    Dyadic type system active
   betlang (Foundational)            ██████████ 100%    Core experiments verified
-  Groove Manifests                  ██████████ 100%    Service discovery active (affinescript, julia-the-viper)
+  Groove Manifests                  ██████████ 100%    Service discovery active (affinescript, jtv)
 
 REPO INFRASTRUCTURE
   6SCM Documentation Hub            ██████████ 100%    Canonical specs active
diff --git a/docs/design/jtv-007-reversibility-fork.adoc b/docs/design/jtv-007-reversibility-fork.adoc
@@ -14,7 +14,7 @@ toc::[]
 
 == Context
 
-JTV (Julia the Viper) is the heritage language from which 007 descends.
+JtV is the heritage language from which 007 descends.
 JTV v1 (Alpha stage) established the addition-only Data Language — a single
 arithmetic primitive with the thesis that all other arithmetic operations
 are derivable. JTV v2 (Gamma stage) extends this to the Control Language:
@@ -113,7 +113,7 @@ papers.
 
 == Cross-References
 
-* `julia-the-viper/docs/language/DESIGN-JTV-V2-REVERSIBILITY.md` — JTV v2
+* `jtv/docs/language/DESIGN-JTV-V2-REVERSIBILITY.md` — JTV v2
   canonical model in full
 * `007/docs/session-2026-04-12-jtv-v2-reversibility-design.adoc` — 007's
   five closed design decisions and Phase 1/Phase 2 plan
diff --git a/docs/language-portfolio.md b/docs/language-portfolio.md
@@ -17,7 +17,7 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 4. **AffineScript** - `/var$REPOS_DIR/affinescript` ⚠️ 85% spec
 5. **Ephapax** - `/var$REPOS_DIR/ephapax` ⚠️ 70%
 6. **My-Lang** - `/var$REPOS_DIR/my-lang` ⚠️ 65%
-7. **Julia-the-Viper** - `/var$REPOS_DIR/julia-the-viper` ⚠️ 60%
+7. **JtV** - `/var$REPOS_DIR/jtv` ⚠️ 60%
 8. **Error-Lang** - `/var$REPOS_DIR/error-lang` ⚠️ 45%
 9. **Oblibeny** - `/var$REPOS_DIR/oblibeny` ⚠️ 20%
 
diff --git a/docs/reports/audit/audit-2026-04-04.md b/docs/reports/audit/audit-2026-04-04.md
@@ -38,7 +38,7 @@ Nextgen-languages is a monorepo containing 7+ programming language projects (tan
 - **CONTRIBUTING.md**: present ✓
 
 Individual subprojects maintain their own copies where needed:
-- ephapax/, wokelang/, error-lang/, betlang/, julia-the-viper/, anvomidav/, phronesis/, tangle/ — All have 0-AI-MANIFEST.a2ml
+- ephapax/, wokelang/, error-lang/, betlang/, jtv/, anvomidav/, phronesis/, tangle/ — All have 0-AI-MANIFEST.a2ml
 - Most have SECURITY.md, CONTRIBUTING.md, EXPLAINME.adoc
 
 ## Test Coverage
@@ -161,7 +161,7 @@ The nextgen-languages monorepo itself is publication-ready with excellent infras
 - **oblibeny**: Alpha — PUBLISHABLE  
 - **error-lang**: Research — PUBLISHABLE
 - **me-dialect**: Research — PUBLISHABLE
-- **phronesis**, **betlang**, **julia-the-viper**, **anvomidav**, **7-tentacles**: Research stage, all PUBLISHABLE
+- **phronesis**, **betlang**, **jtv**, **anvomidav**, **7-tentacles**: Research stage, all PUBLISHABLE
 
 The remaining Admitted lemmas (8 total across subprojects) are **documented as remaining work** in ROADMAP/SESSION files—not hidden defects. This is appropriate for research-stage formal verification work.
 
diff --git a/language-status-tracker.jl b/language-status-tracker.jl
@@ -11,7 +11,7 @@ const REPOS_DIR = joinpath(homedir(), "Documents/hyperpolymath-repos")
 const LANGUAGES = [
     # Core 8 nextgen languages
     "affinescript", "anvomidav", "betlang", "eclexia", "ephapax",
-    "julia-the-viper", "my-lang", "oblibeny", "phronesis", "wokelang",
+    "jtv", "my-lang", "oblibeny", "phronesis", "wokelang",
 
     # Database/specialized
     "fqldt", "a2ml", "k9-svc",
diff --git a/languages/README.md b/languages/README.md
@@ -15,7 +15,7 @@ Each language has one core invariant that defines its design philosophy.
 | [anvomidav](anvomidav.md) | Every deadline is statically guaranteed |
 | [wokelang](wokelang.md) | No operation without explicit consent |
 | [betlang](betlang.md) | All uncertainty must be explicitly modeled |
-| [julia-the-viper](julia-the-viper.md) | Data and code are strictly separated |
+| [jtv](jtv.md) | Data and code are strictly separated |
 | [affinescript](affinescript.md) | Every resource is used at most once |
 | [ephapax](ephapax.md) | Every value can be consumed exactly once |
 
diff --git a/languages/jtv.md b/languages/jtv.md
@@ -2,7 +2,7 @@
 SPDX-License-Identifier: MPL-2.0
 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
-# julia-the-viper
+# jtv
 
 > Systems programming with Harvard Architecture separation.
 
diff --git a/opsm.toml b/opsm.toml
@@ -17,7 +17,7 @@ members = [
   "eclexia",
   "ephapax",
   "error-lang",
-  "julia-the-viper",
+  "jtv",
   "my-lang",
   "oblibeny",
   "phronesis",
@@ -56,4 +56,4 @@ zig = "0.14.0"          # ABI/FFI layer
 deno = "2.6.10"         # JS build scripts
 
 # Language-specific toolchains (installed via OPSM runtime)
-# julia is managed by the julia-the-viper sub-project directly
+# julia is managed by the jtv sub-project directly
diff --git a/stapeln.toml b/stapeln.toml
@@ -87,9 +87,9 @@ extends = "base"
 depends = ["idris2-toolchain", "zig-toolchain"]
 commands = [
     # Verify ABI definitions compile cleanly
-    "for lang in eclexia betlang tangle affinescript wokelang julia-the-viper oblibeny error-lang phronesis; do [ -d ${lang}/src/abi ] && (cd ${lang}/src/abi && idris2 --check Types.idr 2>/dev/null || true); done",
+    "for lang in eclexia betlang tangle affinescript wokelang jtv oblibeny error-lang phronesis; do [ -d ${lang}/src/abi ] && (cd ${lang}/src/abi && idris2 --check Types.idr 2>/dev/null || true); done",
     # Build Zig FFI shared objects
-    "for lang in eclexia betlang tangle affinescript julia-the-viper oblibeny error-lang; do [ -d ${lang}/ffi/zig ] && (cd ${lang}/ffi/zig && zig build 2>/dev/null || true); done",
+    "for lang in eclexia betlang tangle affinescript jtv oblibeny error-lang; do [ -d ${lang}/ffi/zig ] && (cd ${lang}/ffi/zig && zig build 2>/dev/null || true); done",
 ]
 cache = true
 
@@ -137,11 +137,11 @@ depends = ["abi-ffi"]
 commands = ["cd betlang && cargo build --release --workspace"]
 cache = true
 
-[layers.build-julia-the-viper]
-description = "Julia the Viper — pattern-matching language (Rust + Zig FFI)"
+[layers.build-jtv]
+description = "JtV — pattern-matching language (Rust + Zig FFI)"
 extends = "rust-toolchain"
 depends = ["abi-ffi"]
-commands = ["cd julia-the-viper && cargo build --release --workspace"]
+commands = ["cd jtv && cargo build --release --workspace"]
 cache = true
 
 [layers.build-my-lang]
@@ -209,7 +209,7 @@ depends = [
     "build-eclexia",
     "build-affinescript",
     "build-betlang",
-    "build-julia-the-viper",
+    "build-jtv",
     "build-my-lang",
     "build-oblibeny",
     "build-tangle",
@@ -233,7 +233,7 @@ copy-from = [
     { layer = "build-wokelang", src = "/app/wokelang/target/release/", dst = "/opt/nextgen/wokelang/" },
     { layer = "build-eclexia", src = "/app/eclexia/target/release/", dst = "/opt/nextgen/eclexia/" },
     { layer = "build-betlang", src = "/app/betlang/target/release/", dst = "/opt/nextgen/betlang/" },
-    { layer = "build-julia-the-viper", src = "/app/julia-the-viper/target/release/", dst = "/opt/nextgen/julia-the-viper/" },
+    { layer = "build-jtv", src = "/app/jtv/target/release/", dst = "/opt/nextgen/jtv/" },
     { layer = "build-my-lang", src = "/app/my-lang/target/release/", dst = "/opt/nextgen/my-lang/" },
     # OCaml-built binaries
     { layer = "build-affinescript", src = "/app/affinescript/_build/default/bin/", dst = "/opt/nextgen/affinescript/" },
@@ -343,9 +343,9 @@ description = "BetLang only — probabilistic programming"
 layers = ["base", "rust-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-betlang"]
 env = { LOG_LEVEL = "debug" }
 
-[targets.julia-the-viper]
-description = "Julia the Viper only — pattern matching"
-layers = ["base", "rust-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-julia-the-viper"]
+[targets.jtv]
+description = "JtV only — pattern matching"
+layers = ["base", "rust-toolchain", "zig-toolchain", "idris2-toolchain", "abi-ffi", "build-jtv"]
 env = { LOG_LEVEL = "debug" }
 
 [targets.my-lang]
diff --git a/wiki/Home.md b/wiki/Home.md
@@ -22,7 +22,7 @@ Welcome to the NextGen Languages ecosystem documentation.
   - [[Me Language]] - not a fourth dialect: an agent-generated projection over the Solo / Duet / Ensemble hierarchy
 - [[Foundational Languages]]
   - [[betlang]] - Probabilistic programming
-  - [[julia-the-viper]] - Systems programming, Harvard Architecture
+  - [[jtv]] - Systems programming, Harvard Architecture
 - [[Specialized Languages]]
   - [[Phronesis]] - Practical wisdom
   - [[Eclexia]] - Creative synthesis
@@ -86,7 +86,7 @@ NextGen Languages is a family of programming languages designed to grow with lea
 ```
 nextgen-languages/          # This hub repository
 ├── betlang/                # Submodule: Probabilistic language
-├── julia-the-viper/        # Submodule: Systems language
+├── jtv/        # Submodule: Systems language
 ├── kitchenspeak/           # In-tree DSL: kitchen orchestration, Agda proofs-first
 ├── wiki/                   # Documentation (you are here)
 ├── scripts/                # Utility scripts
diff --git a/wiki/frameworks/Standard-Library.md b/wiki/frameworks/Standard-Library.md
@@ -343,7 +343,7 @@ fn parse_float(s: String) -> Result<Float, ParseError>
 (percentile samples p)
 ```
 
-### julia-the-viper: Security
+### jtv: Security
 
 ```
 // Control channel functions
diff --git a/wiki/languages/jtv.md b/wiki/languages/jtv.md
@@ -2,15 +2,15 @@
 SPDX-License-Identifier: MPL-2.0
 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 -->
-# julia-the-viper
+# jtv
 
 > Systems programming with Harvard Architecture
 
 **Status:** 📝 Placeholder - contributions welcome
 
 ## Overview
 
-julia-the-viper is a systems programming language that enforces Harvard Architecture principles: strict separation between code and data memory spaces.
+jtv is a systems programming language that enforces Harvard Architecture principles: strict separation between code and data memory spaces.
 
 ## Core Invariant
 
@@ -63,7 +63,7 @@ code {
 ## Getting Started
 
 ```bash
-cd julia-the-viper
+cd jtv
 cargo run
 ```
 
diff --git a/wiki/overview/Installation.md b/wiki/overview/Installation.md
@@ -93,10 +93,10 @@ Requires Racket:
 nextgen install betlang
 ```
 
-### julia-the-viper
+### jtv
 
 ```bash
-nextgen install julia-the-viper
+nextgen install jtv
 ```
 
 ### Phronesis
diff --git a/wiki/tooling/Compiler-Pipeline.md b/wiki/tooling/Compiler-Pipeline.md
@@ -463,7 +463,7 @@ impl VM {
 | Duet | Bytecode VM | WASM |
 | Ensemble | LLVM | WASM, JVM |
 | betlang | Racket | - |
-| julia-the-viper | LLVM | Native |
+| jtv | LLVM | Native |
 | Phronesis | BEAM VM | - |
 | Eclexia | LLVM | WASM |
 | Oblíbený | LLVM | Native |
diff --git a/wiki/tooling/Lexer-Design.md b/wiki/tooling/Lexer-Design.md
@@ -166,7 +166,7 @@ Racket-based S-expression lexer:
 
 Tokens: parentheses, symbols, numbers, quoted atoms
 
-### julia-the-viper
+### jtv
 
 Dual-channel lexer (Control + Data):
 
diff --git a/wiki/tooling/Parser-Architecture.md b/wiki/tooling/Parser-Architecture.md
@@ -368,7 +368,7 @@ fn parse_sexpr(tokens: &mut TokenStream) -> Result<SExpr, Error> {
 }
 ```
 
-### julia-the-viper
+### jtv
 
 Dual-grammar parser:
 ```rust
diff --git a/wiki/tooling/REPL-Guide.md b/wiki/tooling/REPL-Guide.md
@@ -196,7 +196,7 @@ betlang> (run-simulation my-coin 10000)
 Results: heads=3342 (33.4%) tails=3318 (33.2%) edge=3340 (33.4%)
 ```
 
-### julia-the-viper
+### jtv
 
 Dual-channel REPL:
 
diff --git a/wiki/tooling/Testing-Framework.md b/wiki/tooling/Testing-Framework.md
