chore(rename): Julia the Viper -> JtV (repo slug + full prose rebrand)

Renames the project from "Julia the Viper" to "JtV" throughout, so the "Julia"
no longer reads -- to people or bots -- as the Julia programming language.

- Slug julia-the-viper -> jtv across URLs, manifests (Cargo.toml repository,
  guix.scm, flake.nix, stapeln.toml, package.json), CI, .well-known/security.txt,
  FUNDING.yml, .machine_readable/*, README badges; git mv
  editors/julia-the-viper.tmLanguage.json -> editors/jtv.tmLanguage.json (+ referrers).
- Prose "Julia the Viper" / "Julia-the-Viper" -> "JtV" across docs, specs,
  academic papers, Lean/Idris headers, source comments, wiki, playground.
- Etymology preserved as a footnote in README.adoc + CLAUDE.md: JtV was formerly
  "Julia the Viper" (honoring mathematician Julia Robinson + the "adder" pun),
  renamed to drop the Julia-language confusion.
- Repadded the REPL ASCII banner box after the shorter name.

Left deliberately: the all-caps acronym "JTV" (carries no "Julia" confusion), the
ERC-20 example token symbol "JTV", and the DESIGN-JTV-V2-REVERSIBILITY.md filename.

The GitHub repo rename (Settings -> jtv) is a separate manual step (no API);
GitHub auto-redirects old URLs + wiki once done. Merge after the rename so the
new URLs resolve.

cargo build --workspace + cargo test green (127 lib + integration suites).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01BJmfoz1ZS1Pejy9LLMY742

Author: claude

.gitattributes

@@ -17,7 +17,7 @@
 *.v text eol=lf
 *.zig text eol=lf
 
-# Julia-the-Viper source + conformance corpus. These are parsed byte-exactly by
+# JtV source + conformance corpus. These are parsed byte-exactly by
 # the test suite, so pin LF: the cross-platform CI matrix must read identical
 # bytes on a Windows checkout (otherwise CRLF would change parser/whitespace
 # behaviour and fail conformance tests only on Windows).

.gitlab-ci.yml

@@ -1,4 +1,4 @@
-# GitLab CI/CD Configuration for Julia the Viper
+# GitLab CI/CD Configuration for JtV
 
 variables:
   CARGO_HOME: "${CI_PROJECT_DIR}/.cargo"

.machine_readable/6a2/AGENTIC.a2ml

@@ -1,7 +1,7 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# AGENTIC.a2ml — AI agent constraints and capabilities for julia-the-viper
+# AGENTIC.a2ml — AI agent constraints and capabilities for jtv
 [metadata]
 version = "0.2.0"
 last-updated = "2026-04-19"

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -1,13 +1,13 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# ECOSYSTEM.a2ml — Julia The Viper ecosystem position
+# ECOSYSTEM.a2ml — JtV ecosystem position
 [metadata]
 version = "1.1"
 last-updated = "2026-04-19"
 
 [project]
-name = "Julia The Viper"
+name = "JtV"
 purpose = "Harvard-architecture programming language with grammatical Control/Data separation; universal extender for injection-resistant retrofits"
 role = "Programming language — user-facing runtime substrate"
 

.machine_readable/6a2/META.a2ml

@@ -1,7 +1,7 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# META.a2ml — Julia The Viper meta-level information
+# META.a2ml — JtV meta-level information
 [metadata]
 version = "0.3.0"
 last-updated = "2026-06-02"

.machine_readable/6a2/NEUROSYM.a2ml

@@ -1,7 +1,7 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# NEUROSYM.a2ml — Neurosymbolic integration metadata for julia-the-viper
+# NEUROSYM.a2ml — Neurosymbolic integration metadata for jtv
 [metadata]
 version = "0.2.0"
 last-updated = "2026-04-19"

.machine_readable/6a2/PLAYBOOK.a2ml

@@ -1,7 +1,7 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# PLAYBOOK.a2ml — Julia The Viper operational runbook
+# PLAYBOOK.a2ml — JtV operational runbook
 [metadata]
 version = "0.2.0"
 last-updated = "2026-04-19"

.machine_readable/6a2/STATE.a2ml

@@ -1,16 +1,16 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# STATE.a2ml — Julia The Viper project state
+# STATE.a2ml — JtV project state
 [metadata]
-project = "julia-the-viper"
+project = "jtv"
 version = "0.0.1"
 last-updated = "2026-06-18"
 status = "active"
 session = "2026-06-18 — Echo arc completed + number systems stratified. (b) Echo+Epistemic first-class DONE (proof side, ADR-0009): JtvEcho.lean SECTION 5 = Epistemic lattice + Echo×Epistemic product FunctionEffect lattice + comm/assoc/idem composition laws (matching the already-merged echo.rs/epistemic.rs/effect.rs). Number systems STRATIFIED (ADR-0007 D6 realized as ADR-0010): JtvEcho.lean SECTION 6 3-level NumAlgebra tower 1:1 with the Echo lattice (hex/binary=ℤ-encodings collapse to int's tier; float=approxGroup→Neutral); echo.rs carrier-aware classification (CarrierEnv; reversible += graded shape⊔carrier; default-carrier=Int sound) + effect.rs param-seeded env; number.rs runtime-value bridge Value::reversal_echo. PR #44 + #45 (bridge+ADR-0010) merged; float-LOCALS soundness gate also LANDED (typechecker.rs check_echo_admissible{,_with_residue} seed CarrierEnv from the inferred env self.env → reverse{} over a float local correctly rejected, float routes to reversible{}->tok). lake + cargo green (127 lib tests, 0 sorry/unwrap). NEXT rung: value-level semantics beyond τ=int (gap-005)"
 
 [project-context]
-name = "Julia The Viper"
+name = "JtV"
 purpose = """Harvard-architecture programming language with grammatical separation
 of Control (Turing-complete) and Data (total, addition-only). Universal extender
 for injection-resistant retrofits. v2 adds reversibility via reverse blocks.

.machine_readable/anchors/ANCHOR.a2ml

@@ -1,24 +1,24 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# ANCHOR.a2ml - authoritative anchor for julia-the-viper
+# ANCHOR.a2ml - authoritative anchor for jtv
 
 [metadata]
 version = "1.0.0"
 last-updated = "2026-06-13"
 
 [anchor]
 schema = "hyperpolymath.anchor/1"
-repo = "hyperpolymath/julia-the-viper"
+repo = "hyperpolymath/jtv"
 authority = "upstream-canonical"
 purpose = [
-  "Define canonical semantics and policy boundaries for julia-the-viper.",
+  "Define canonical semantics and policy boundaries for jtv.",
   "Declare what downstream/satellite repos can extend but not redefine.",
   "Provide a stable golden path and invariant contract for release readiness.",
 ]
 
 [identity]
-project = "Julia the Viper"
+project = "JtV"
 kind = "language"
 one-sentence = "Harvard-architecture, addition-only language that makes code injection grammatically impossible; v2 adds reverse-addition reversibility with Echo loss-lineage."
 domain = "programming-languages / security / formal-methods"

.machine_readable/bot_directives/README.adoc

@@ -1,12 +1,12 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
-= Bot directives — julia-the-viper
+= Bot directives — jtv
 :toc:
 
 == Purpose
 
 Per-repo directives for automated agents operating on
-`hyperpolymath/julia-the-viper`: what is safe, what is forbidden, and
+`hyperpolymath/jtv`: what is safe, what is forbidden, and
 which findings are already adjudicated, so automated runs do not
 relitigate settled decisions or touch protected surfaces.