hyperpolymath · hyperpolymath · Jun 18, 2026 · Jun 18, 2026
@@ -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).

@@ -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"

@@ -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"

@@ -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"
 

@@ -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"

@@ -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"

@@ -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"

@@ -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.

@@ -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"

@@ -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.
 

@@ -1,15 +1,15 @@
 # SPDX-License-Identifier: MPL-2.0
 # git-private-farm.a2ml — .git-private-farm propagation directives for
-# julia-the-viper. Per the estate bot_directives standard.
+# jtv. Per the estate bot_directives standard.
 
 [metadata]
-repo = "julia-the-viper"
+repo = "jtv"
 last-updated = "2026-06-14"
 owner = "hyperpolymath"
 
 [propagation]
 enabled = false
-# instant-sync.yml is absent in julia-the-viper as of 2026-06-14.
+# instant-sync.yml is absent in jtv as of 2026-06-14.
 # The keys below record the estate contract that applies if/when it is added.
 workflow = ".github/workflows/instant-sync.yml"
 target = "hyperpolymath/.git-private-farm"
@@ -21,4 +21,4 @@ presence-gated = false
 items = ["secrets", "unmerged branches", "work-in-progress"]
 
 [on-token-rotation]
-command = "gh secret set FARM_DISPATCH_TOKEN --repo hyperpolymath/julia-the-viper"
+command = "gh secret set FARM_DISPATCH_TOKEN --repo hyperpolymath/jtv"
@@ -1,9 +1,9 @@
 # SPDX-License-Identifier: MPL-2.0
-# gitbot-fleet.a2ml — gitbot fleet directives for julia-the-viper.
+# gitbot-fleet.a2ml — gitbot fleet directives for jtv.
 # Per the estate bot_directives standard (estate-standardization wave).
 
 [metadata]
-repo = "julia-the-viper"
+repo = "jtv"
 last-updated = "2026-06-14"
 owner = "hyperpolymath"
 

@@ -1,9 +1,9 @@
 # SPDX-License-Identifier: MPL-2.0
-# hypatia.a2ml — Hypatia scanner directives for julia-the-viper.
+# hypatia.a2ml — Hypatia scanner directives for jtv.
 # Per the estate bot_directives standard (estate-standardization wave).
 
 [metadata]
-repo = "julia-the-viper"
+repo = "jtv"
 last-updated = "2026-06-15"
 owner = "hyperpolymath"
 

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: MPL-2.0
-# Adjustfile — Accessibility & adaptation invariants for julia-the-viper.
+# Adjustfile — Accessibility & adaptation invariants for jtv.
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 # Migrated 2026-06-13 from .machine_readable/ADJUST.contractile (content preserved).
 # All ADJUST invariants are implicitly MUST invariants (tracked separately for visibility).

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: MPL-2.0
-# Bustfile — Adversarial / injection-stress contract for julia-the-viper.
+# Bustfile — Adversarial / injection-stress contract for jtv.
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 # New 2026-06-13. bust = active "safe-hacking" attempts (outrageous-attack catchment),
 # the natural home for JtV's killer property: injection must be grammatically rejected.

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: MPL-2.0
-# Dustfile — Deprecation & recovery semantics for julia-the-viper.
+# Dustfile — Deprecation & recovery semantics for jtv.
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 # New 2026-06-13 (jtv referenced DUST in prose but had no Dustfile).
 

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: MPL-2.0
-# Intentfile — Purpose, anti-purpose, and roadmap intents for julia-the-viper.
+# Intentfile — Purpose, anti-purpose, and roadmap intents for jtv.
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 # Migrated 2026-06-13 from .machine_readable/INTENT.contractile (content preserved).
 # (intend absorbs the deprecated `lust` wishes schema, 2026-04-18.)

@@ -1,10 +1,10 @@
 # SPDX-License-Identifier: MPL-2.0
-# Mustfile — Physical-state invariants for julia-the-viper. Hard requirements.
+# Mustfile — Physical-state invariants for jtv. Hard requirements.
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 # Migrated 2026-06-13 from .machine_readable/MUST.contractile (content preserved).
 
 @abstract:
-What MUST be true about julia-the-viper. Violating a MUST is always a bug;
+What MUST be true about jtv. Violating a MUST is always a bug;
 K9 validators + CI gate every PR. The Harvard thesis + addition-only +
 proof invariants are load-bearing.
 @end

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: MPL-2.0
-# Trustfile — Agent trust contract for julia-the-viper.
+# Trustfile — Agent trust contract for jtv.
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 # Migrated 2026-06-13 from .machine_readable/TRUST.contractile (content preserved).
 

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
-= Self-validating K9 templates — julia-the-viper
+= Self-validating K9 templates — jtv
 :toc:
 
 Estate K9 self-validation templates (k9-validate-action format: `K9!`
@@ -17,6 +17,6 @@ service. Validated by the `Validate K9 contracts` job in
 NOTE: the contractile k9-components under `.machine_readable/contractiles/`
 (when present in the standards `{family}/` trident form) are a DIFFERENT
 artifact — Nickel runner-companions, not `K9!`-magic service files — and
-are out of scope for that validator. julia-the-viper uses the estate-wave
+are out of scope for that validator. jtv uses the estate-wave
 *flat* contractile layout, so its `contractiles/` holds only `*file.a2ml`
 declarations (+ a `Justfile`), no `.k9.ncl`.
@@ -2,23 +2,23 @@
 # https://securitytxt.org/
 
 Contact: mailto:security@julia-viper.dev
-Contact: https://github.com/hyperpolymath/julia-the-viper/security/advisories/new
+Contact: https://github.com/hyperpolymath/jtv/security/advisories/new
 Expires: 2027-01-31T23:59:59.000Z
-Encryption: https://github.com/hyperpolymath/julia-the-viper/blob/main/.well-known/pgp-key.txt
+Encryption: https://github.com/hyperpolymath/jtv/blob/main/.well-known/pgp-key.txt
 Preferred-Languages: en
 Canonical: https://julia-viper.dev/.well-known/security.txt
-Policy: https://github.com/hyperpolymath/julia-the-viper/blob/main/SECURITY.md
-Acknowledgments: https://github.com/hyperpolymath/julia-the-viper/blob/main/SECURITY.md#security-hall-of-fame
+Policy: https://github.com/hyperpolymath/jtv/blob/main/SECURITY.md
+Acknowledgments: https://github.com/hyperpolymath/jtv/blob/main/SECURITY.md#security-hall-of-fame
 
 # Security Guarantees
-# Julia the Viper provides architectural security guarantees:
+# JtV provides architectural security guarantees:
 # - Code injection is grammatically impossible (Harvard Architecture)
 # - No integer overflow in Data Language (checked operations)
 # - No reentrancy attacks (atomic state updates)
 # - Guaranteed termination for pure functions (totality checking)
 #
 # For vulnerability reporting guidelines, see:
-# https://github.com/hyperpolymath/julia-the-viper/blob/main/SECURITY.md
+# https://github.com/hyperpolymath/jtv/blob/main/SECURITY.md
 #
 # Response timeline:
 # - Initial response: 48 hours

@@ -1,9 +1,9 @@
 # SPDX-License-Identifier: MPL-2.0
-# Julia the Viper - AI Manifest (Gateway File)
+# JtV - AI Manifest (Gateway File)
 #
 # THIS FILE MUST BE READ FIRST BY ALL AI AGENTS.
 #
-# Julia the Viper is a Harvard Architecture programming language that
+# JtV is a Harvard Architecture programming language that
 # grammatically separates Control Language (Turing-complete) from
 # Data Language (Total/provably halting, addition-only). This makes
 # code injection structurally impossible at the grammar level.
@@ -62,7 +62,7 @@
 
 ### Editor Support
 
-- `editors/julia-the-viper.tmLanguage.json`    - TextMate grammar (standalone)
+- `editors/jtv.tmLanguage.json`    - TextMate grammar (standalone)
 - `editors/vscode/syntaxes/jtv.tmLanguage.json` - VS Code extension grammar
 - `editors/vscode/snippets/jtv.json`            - VS Code snippets
 - `editors/vscode/package.json`                 - VS Code extension manifest
@@ -125,7 +125,7 @@
 - `spec/README.adoc` — @taxonomy: spec/index
 - `verification/README.adoc` — @taxonomy: verification/index
 - `crates/jtv-core/src/parser.rs` — @taxonomy: compiler/parser
-- `editors/julia-the-viper.tmLanguage.json` — @taxonomy: editors/textmate-grammar
+- `editors/jtv.tmLanguage.json` — @taxonomy: editors/textmate-grammar
 
 ### New RSR Standard Directories
 

@@ -1,11 +1,11 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright (c) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-= Julia the Viper → AffineScript Alignment Plan
+= JtV → AffineScript Alignment Plan
 :toc:
 :toclevels: 3
 :revdate: 2026-06-02
 
-Bring *Julia the Viper* (JtV) from its current position to the same level of
+Bring *JtV* from its current position to the same level of
 *maturity and governance discipline* that `hyperpolymath/affinescript` has
 reached — *starting with proofs*. This document is the master plan; it is
 deliberately conservative and honest, in the spirit of `ROADMAP.adoc`.

@@ -1,18 +1,18 @@
 ;; SPDX-FileCopyrightText: 2026 Hyperpolymath
 ;; SPDX-License-Identifier: MPL-2.0
 ;;
-;; ANCHOR.scope-arrest.2026-01-01.Jewell.scm  (julia-the-viper)
+;; ANCHOR.scope-arrest.2026-01-01.Jewell.scm  (jtv)
 ;;
 ;; Purpose: Freeze v1 as runnable core; prevent v2/spec ambition from destabilising v1.
 
 (define anchor
   '((schema . "hyperpolymath.anchor/1")
-    (repo . "hyperpolymath/julia-the-viper")
+    (repo . "hyperpolymath/jtv")
     (date . "2026-01-01")
     (authority . "repo-superintendent")
     (purpose . ("Freeze v1 as runnable core; prevent v2/spec ambition from destabilising v1."))
     (identity
-      . ((project . "Julia the Viper (JtV)")
+      . ((project . "JtV")
          (kind . "security language")
          (domain . "grammar-enforced separation (control vs data)")
          (one-sentence . "A Harvard-architecture language where control and data are syntactically separated to reduce injection and hidden-control channels.")))

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
 = Changelog
 
-All notable changes to Julia the Viper will be documented in this file.
+All notable changes to JtV will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
@@ -123,6 +123,6 @@ None yet. See SECURITY.md for reporting vulnerabilities.
 
 ---
 
-For older versions, see [GitHub Releases](https://github.com/Hyperpolymath/julia-the-viper/releases).
+For older versions, see [GitHub Releases](https://github.com/Hyperpolymath/jtv/releases).
 
 Last updated: 2025-01-22
@@ -5,7 +5,7 @@ SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
 
 # Changelog
 
-All notable changes to `julia-the-viper` will be documented in this file.
+All notable changes to `jtv` will be documented in this file.
 
 This file is generated from conventional commits by the
 [`changelog-reusable.yml`](https://github.com/hyperpolymath/standards/blob/main/.github/workflows/changelog-reusable.yml)

@@ -1,8 +1,8 @@
-# Julia the Viper (JtV)
+# JtV
 
 ## Project Overview
 
-**Julia the Viper** is a Harvard Architecture programming language designed as a "universal extender" to fix code injection vulnerabilities in legacy systems (Python/PHP/JS). The name honors mathematician **Julia Robinson** while making a playful pun on "adder" (snake + addition).
+**JtV** is a Harvard Architecture programming language designed as a "universal extender" to fix code injection vulnerabilities in legacy systems (Python/PHP/JS). The original name — *Julia the Viper* — honored mathematician **Julia Robinson** while punning on "adder" (snake + addition); it is now just **JtV** so the "Julia" is no longer mistaken for the Julia language (see *Etymology & Humor* below).
 
 ### The Core Insight
 
@@ -13,7 +13,7 @@ JtV grammatically separates **Control Language** (Turing-complete, imperative) f
 This repository currently contains the conceptual foundation:
 
 ```
-julia-the-viper/
+jtv/
 ├── README.md           # Project tagline: "It's basically the same thing as an adder"
 ├── julia-viper         # Pseudocode showing the humorous starting point
 ├── LICENSE             # GPL-3.0
@@ -141,9 +141,11 @@ If you see references to:
 
 ## Etymology & Humor
 
-The project embraces wordplay:
+**JtV was formerly named *Julia the Viper*.** It now goes by **JtV** so the
+"Julia" in the title is no longer mistaken — by people and bots alike — for the
+Julia programming language. The wordplay behind the original name lives on:
 
-- **Julia Robinson**: Mathematician who solved Hilbert's 10th problem
+- **Julia Robinson**: Mathematician who solved Hilbert's 10th problem (the "Julia")
 - **Viper**: A snake (like "adder", which is both a snake and a calculator)
 - **"It's basically the same thing as an adder"**: Humble origin story
 - **Addition-only**: Seems limited, actually universal