From e215b2c0f1163e23b9a027d1c03e65799ed56541 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 18 Jun 2026 09:43:52 +0000 Subject: [PATCH] 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 Claude-Session: https://claude.ai/code/session_01BJmfoz1ZS1Pejy9LLMY742 --- .gitattributes | 2 +- .gitlab-ci.yml | 2 +- .machine_readable/6a2/AGENTIC.a2ml | 2 +- .machine_readable/6a2/ECOSYSTEM.a2ml | 4 ++-- .machine_readable/6a2/META.a2ml | 2 +- .machine_readable/6a2/NEUROSYM.a2ml | 2 +- .machine_readable/6a2/PLAYBOOK.a2ml | 2 +- .machine_readable/6a2/STATE.a2ml | 6 +++--- .machine_readable/anchors/ANCHOR.a2ml | 8 ++++---- .machine_readable/bot_directives/README.adoc | 4 ++-- .../bot_directives/git-private-farm.a2ml | 8 ++++---- .../bot_directives/gitbot-fleet.a2ml | 4 ++-- .machine_readable/bot_directives/hypatia.a2ml | 4 ++-- .machine_readable/contractiles/Adjustfile.a2ml | 2 +- .machine_readable/contractiles/Bustfile.a2ml | 2 +- .machine_readable/contractiles/Dustfile.a2ml | 2 +- .machine_readable/contractiles/Intentfile.a2ml | 2 +- .machine_readable/contractiles/Mustfile.a2ml | 4 ++-- .machine_readable/contractiles/Trustfile.a2ml | 2 +- .machine_readable/self-validating/README.adoc | 4 ++-- .well-known/security.txt | 12 ++++++------ 0-AI-MANIFEST.a2ml | 8 ++++---- ALIGNMENT-AFFINESCRIPT.adoc | 4 ++-- ANCHOR.scope-arrest.2026-01-01.Jewell.scm | 6 +++--- CHANGELOG.adoc | 4 ++-- CHANGELOG.md | 2 +- CLAUDE.md | 12 +++++++----- CODE_OF_CONDUCT.md | 2 +- CONTRIBUTING.adoc | 10 +++++----- Cargo.toml | 4 ++-- DEVELOPMENT_PLAN.md | 6 +++--- EXPLAINME.adoc | 2 +- FUNDING.yml | 4 ++-- GOVERNANCE.adoc | 8 ++++---- Justfile | 12 ++++++------ LICENSING.md | 2 +- QUICKSTART-DEV.adoc | 12 ++++++------ QUICKSTART-MAINTAINER.adoc | 14 +++++++------- QUICKSTART-USER.adoc | 18 +++++++++--------- README.adoc | 11 +++++++++-- ROADMAP.adoc | 2 +- SECURITY.md | 2 +- SESSION-RESUME-2026-01-31.md | 10 +++++----- STATUS.adoc | 4 ++-- STATUS.md | 4 ++-- TEST-NEEDS.md | 2 +- TOPOLOGY.md | 6 +++--- TPCF.md | 4 ++-- academic/BIBLIOGRAPHY.md | 6 +++--- academic/README.md | 8 ++++---- academic/papers/WHITE_PAPER.md | 8 ++++---- academic/proofs/ALGEBRAIC_STRUCTURES.md | 2 +- academic/proofs/COMPUTATIONAL_THEORY.md | 2 +- academic/proofs/MATHEMATICAL_FOUNDATIONS.md | 4 ++-- academic/proofs/QUANTUM_REVERSIBILITY.md | 2 +- academic/proofs/SECURITY_PROOFS.md | 2 +- academic/proofs/STATISTICS_PROBABILITY.md | 2 +- academic/proofs/TYPE_THEORY.md | 2 +- contractiles/intend/Intentfile.a2ml | 4 ++-- contractiles/must/Mustfile.a2ml | 2 +- contractiles/trust/Trustfile.a2ml | 2 +- crates/jtv-cli/Cargo.toml | 4 ++-- crates/jtv-cli/src/main.rs | 8 ++++---- crates/jtv-cli/src/repl.rs | 6 +++--- crates/jtv-cli/src/rsr_check.rs | 2 +- crates/jtv-core/Cargo.toml | 2 +- crates/jtv-core/benches/parser_bench.rs | 2 +- crates/jtv-core/src/ast.rs | 2 +- crates/jtv-core/src/error.rs | 2 +- crates/jtv-core/src/formatter.rs | 4 ++-- crates/jtv-core/src/grammar.pest | 2 +- crates/jtv-core/src/interpreter.rs | 2 +- crates/jtv-core/src/lib.rs | 2 +- crates/jtv-core/src/pretty.rs | 2 +- crates/jtv-core/src/purity.rs | 2 +- crates/jtv-core/src/recovery.rs | 2 +- crates/jtv-core/src/reversible.rs | 2 +- crates/jtv-core/src/typechecker.rs | 2 +- crates/jtv-core/src/wasm.rs | 2 +- crates/jtv-core/tests/compatibility_tests.rs | 2 +- crates/jtv-core/tests/conformance_tests.rs | 2 +- crates/jtv-core/tests/contract_tests.rs | 2 +- .../jtv-core/tests/harvard_boundary_tests.rs | 2 +- crates/jtv-core/tests/parser_tests.rs | 2 +- crates/jtv-core/tests/pest_rule_tests.rs | 2 +- crates/jtv-core/tests/property_tests.rs | 2 +- crates/jtv-debug/src/main.rs | 6 +++--- crates/jtv-lsp/src/main.rs | 6 +++--- docs/GRAMMAR_EVOLUTION.md | 2 +- docs/QUANTUM_VISION.md | 2 +- docs/QUICK_START.md | 10 +++++----- docs/ROADMAP.md | 2 +- docs/TECHNICAL_ROADMAP.md | 2 +- .../0001-coprocessor-pata-pathway.adoc | 2 +- docs/language/reversibility/v0.2-design.adoc | 2 +- docs/reports/audit/audit-2026-04-15-post.md | 4 ++-- docs/tech-debt-2026-05-26.md | 2 +- ...per.tmLanguage.json => jtv.tmLanguage.json} | 2 +- editors/vscode/package.json | 10 +++++----- editors/vscode/syntaxes/jtv.tmLanguage.json | 2 +- examples/basic/01_hello_addition.jtv | 2 +- .../integrations/javascript_integration.js | 4 ++-- flake.nix | 10 +++++----- fuzz/fuzz_targets/fuzz_parser.rs | 2 +- guix.scm | 10 +++++----- jtv_proofs/JtvCore.lean | 2 +- jtv_proofs/JtvEcho.lean | 2 +- jtv_proofs/JtvExtended.lean | 2 +- jtv_proofs/JtvOperational.lean | 2 +- jtv_proofs/JtvSecurity.lean | 4 ++-- jtv_proofs/JtvTheorems.lean | 2 +- jtv_proofs/JtvTypes.lean | 2 +- llm-warmup-dev.md | 4 ++-- llm-warmup-user.md | 4 ++-- packages/jtv-analyzer/src/Main.res | 2 +- playground/Justfile | 4 ++-- playground/README.adoc | 6 +++--- playground/jtv/README.adoc | 4 ++-- playground/jtv/spec/SYNTAX.adoc | 2 +- playground/jtv/tools/demo.sh | 2 +- references.bib | 18 +++++++++--------- setup.sh | 10 +++++----- shared/grammar/jtv.ebnf | 2 +- spec/LANGUAGE_SPECIFICATION.md | 4 ++-- spec/README.adoc | 6 +++--- spec/grammar.ebnf | 2 +- spec/jtv_v2_type_system.adoc | 4 ++-- spec/jtv_v2_type_system_corrected.adoc | 2 +- spec/system-specs.md | 4 ++-- spec/type-system.md | 2 +- src/abi/Types.idr | 2 +- stapeln.toml | 10 +++++----- verification/README.adoc | 4 ++-- viper-pkg/src/registry.jl | 2 +- vscode-extension/README.md | 12 ++++++------ vscode-extension/package.json | 12 ++++++------ vscode-extension/src/Extension.res | 8 ++++---- web/Main.res | 2 +- web/MainTest.res | 2 +- web/Server.res | 4 ++-- web/index.html | 10 +++++----- web/manifest.json | 2 +- web/sw.js | 2 +- wiki/Home.md | 8 ++++---- wiki/language/Harvard-Architecture.md | 2 +- wiki/reference/Grammar.md | 2 +- wiki/tooling/CLI.md | 2 +- wiki/tooling/LSP.md | 2 +- wiki/tutorials/Getting-Started.md | 12 ++++++------ 149 files changed, 327 insertions(+), 318 deletions(-) rename editors/{julia-the-viper.tmLanguage.json => jtv.tmLanguage.json} (99%) diff --git a/.gitattributes b/.gitattributes index 129917e..bee17cb 100644 --- a/.gitattributes +++ b/.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). diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6bab83b..9a6c13a 100644 --- a/.gitlab-ci.yml +++ b/.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" diff --git a/.machine_readable/6a2/AGENTIC.a2ml b/.machine_readable/6a2/AGENTIC.a2ml index 50d565c..54ce7bb 100644 --- a/.machine_readable/6a2/AGENTIC.a2ml +++ b/.machine_readable/6a2/AGENTIC.a2ml @@ -1,7 +1,7 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# 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" diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml index 50085f3..5a7d1cb 100644 --- a/.machine_readable/6a2/ECOSYSTEM.a2ml +++ b/.machine_readable/6a2/ECOSYSTEM.a2ml @@ -1,13 +1,13 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# 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" diff --git a/.machine_readable/6a2/META.a2ml b/.machine_readable/6a2/META.a2ml index e7d9e0d..fbf9ac2 100644 --- a/.machine_readable/6a2/META.a2ml +++ b/.machine_readable/6a2/META.a2ml @@ -1,7 +1,7 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# META.a2ml — Julia The Viper meta-level information +# META.a2ml — JtV meta-level information [metadata] version = "0.3.0" last-updated = "2026-06-02" diff --git a/.machine_readable/6a2/NEUROSYM.a2ml b/.machine_readable/6a2/NEUROSYM.a2ml index 04321c4..69d5a8e 100644 --- a/.machine_readable/6a2/NEUROSYM.a2ml +++ b/.machine_readable/6a2/NEUROSYM.a2ml @@ -1,7 +1,7 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# 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" diff --git a/.machine_readable/6a2/PLAYBOOK.a2ml b/.machine_readable/6a2/PLAYBOOK.a2ml index 86c419c..2372e23 100644 --- a/.machine_readable/6a2/PLAYBOOK.a2ml +++ b/.machine_readable/6a2/PLAYBOOK.a2ml @@ -1,7 +1,7 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# PLAYBOOK.a2ml — Julia The Viper operational runbook +# PLAYBOOK.a2ml — JtV operational runbook [metadata] version = "0.2.0" last-updated = "2026-04-19" diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml index 9cb5d7d..e2e578f 100644 --- a/.machine_readable/6a2/STATE.a2ml +++ b/.machine_readable/6a2/STATE.a2ml @@ -1,16 +1,16 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# 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. diff --git a/.machine_readable/anchors/ANCHOR.a2ml b/.machine_readable/anchors/ANCHOR.a2ml index 2a26197..aa7f5e7 100644 --- a/.machine_readable/anchors/ANCHOR.a2ml +++ b/.machine_readable/anchors/ANCHOR.a2ml @@ -1,7 +1,7 @@ # SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # -# ANCHOR.a2ml - authoritative anchor for julia-the-viper +# ANCHOR.a2ml - authoritative anchor for jtv [metadata] version = "1.0.0" @@ -9,16 +9,16 @@ 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" diff --git a/.machine_readable/bot_directives/README.adoc b/.machine_readable/bot_directives/README.adoc index ca29a8a..3bbc473 100644 --- a/.machine_readable/bot_directives/README.adoc +++ b/.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. diff --git a/.machine_readable/bot_directives/git-private-farm.a2ml b/.machine_readable/bot_directives/git-private-farm.a2ml index f71fd78..70c2a45 100644 --- a/.machine_readable/bot_directives/git-private-farm.a2ml +++ b/.machine_readable/bot_directives/git-private-farm.a2ml @@ -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" diff --git a/.machine_readable/bot_directives/gitbot-fleet.a2ml b/.machine_readable/bot_directives/gitbot-fleet.a2ml index a70e704..720902d 100644 --- a/.machine_readable/bot_directives/gitbot-fleet.a2ml +++ b/.machine_readable/bot_directives/gitbot-fleet.a2ml @@ -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" diff --git a/.machine_readable/bot_directives/hypatia.a2ml b/.machine_readable/bot_directives/hypatia.a2ml index 57fc43a..e5b0604 100644 --- a/.machine_readable/bot_directives/hypatia.a2ml +++ b/.machine_readable/bot_directives/hypatia.a2ml @@ -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" diff --git a/.machine_readable/contractiles/Adjustfile.a2ml b/.machine_readable/contractiles/Adjustfile.a2ml index 5ae784f..c6b2ca8 100644 --- a/.machine_readable/contractiles/Adjustfile.a2ml +++ b/.machine_readable/contractiles/Adjustfile.a2ml @@ -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 # Migrated 2026-06-13 from .machine_readable/ADJUST.contractile (content preserved). # All ADJUST invariants are implicitly MUST invariants (tracked separately for visibility). diff --git a/.machine_readable/contractiles/Bustfile.a2ml b/.machine_readable/contractiles/Bustfile.a2ml index 881301e..9067aea 100644 --- a/.machine_readable/contractiles/Bustfile.a2ml +++ b/.machine_readable/contractiles/Bustfile.a2ml @@ -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 # 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. diff --git a/.machine_readable/contractiles/Dustfile.a2ml b/.machine_readable/contractiles/Dustfile.a2ml index 2ad7c4e..9229874 100644 --- a/.machine_readable/contractiles/Dustfile.a2ml +++ b/.machine_readable/contractiles/Dustfile.a2ml @@ -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 # New 2026-06-13 (jtv referenced DUST in prose but had no Dustfile). diff --git a/.machine_readable/contractiles/Intentfile.a2ml b/.machine_readable/contractiles/Intentfile.a2ml index da070ef..c40a6bb 100644 --- a/.machine_readable/contractiles/Intentfile.a2ml +++ b/.machine_readable/contractiles/Intentfile.a2ml @@ -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 # Migrated 2026-06-13 from .machine_readable/INTENT.contractile (content preserved). # (intend absorbs the deprecated `lust` wishes schema, 2026-04-18.) diff --git a/.machine_readable/contractiles/Mustfile.a2ml b/.machine_readable/contractiles/Mustfile.a2ml index 1e13ab0..410ea97 100644 --- a/.machine_readable/contractiles/Mustfile.a2ml +++ b/.machine_readable/contractiles/Mustfile.a2ml @@ -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 # 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 diff --git a/.machine_readable/contractiles/Trustfile.a2ml b/.machine_readable/contractiles/Trustfile.a2ml index 4d5252e..a79fa33 100644 --- a/.machine_readable/contractiles/Trustfile.a2ml +++ b/.machine_readable/contractiles/Trustfile.a2ml @@ -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 # Migrated 2026-06-13 from .machine_readable/TRUST.contractile (content preserved). diff --git a/.machine_readable/self-validating/README.adoc b/.machine_readable/self-validating/README.adoc index fb3fe36..eeba32b 100644 --- a/.machine_readable/self-validating/README.adoc +++ b/.machine_readable/self-validating/README.adoc @@ -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`. diff --git a/.well-known/security.txt b/.well-known/security.txt index 7ae427a..d5816f4 100644 --- a/.well-known/security.txt +++ b/.well-known/security.txt @@ -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 diff --git a/0-AI-MANIFEST.a2ml b/0-AI-MANIFEST.a2ml index 72b1b3d..4423558 100644 --- a/0-AI-MANIFEST.a2ml +++ b/0-AI-MANIFEST.a2ml @@ -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 diff --git a/ALIGNMENT-AFFINESCRIPT.adoc b/ALIGNMENT-AFFINESCRIPT.adoc index d398242..766e5cf 100644 --- a/ALIGNMENT-AFFINESCRIPT.adoc +++ b/ALIGNMENT-AFFINESCRIPT.adoc @@ -1,11 +1,11 @@ // SPDX-License-Identifier: CC-BY-SA-4.0 // Copyright (c) 2026 Jonathan D.A. Jewell -= 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`. diff --git a/ANCHOR.scope-arrest.2026-01-01.Jewell.scm b/ANCHOR.scope-arrest.2026-01-01.Jewell.scm index 734d169..4c4b015 100644 --- a/ANCHOR.scope-arrest.2026-01-01.Jewell.scm +++ b/ANCHOR.scope-arrest.2026-01-01.Jewell.scm @@ -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."))) diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index 035b4e0..42c07f2 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -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 diff --git a/CHANGELOG.md b/CHANGELOG.md index f5a3145..a19756a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -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) diff --git a/CLAUDE.md b/CLAUDE.md index 687f7c3..3d41662 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -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 diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 92f10f1..deb0d0f 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -132,7 +132,7 @@ For answers to common questions about this code of conduct, see the FAQ at [FAQ]: https://www.contributor-covenant.org/faq [translations]: https://www.contributor-covenant.org/translations -## Julia the Viper Specific Addendum +## JtV Specific Addendum ### Technical Discourse diff --git a/CONTRIBUTING.adoc b/CONTRIBUTING.adoc index a3000d1..d563358 100644 --- a/CONTRIBUTING.adoc +++ b/CONTRIBUTING.adoc @@ -1,4 +1,4 @@ -= Contributing to Julia the Viper += Contributing to JtV :toc: left :toclevels: 3 :icons: font @@ -44,8 +44,8 @@ Be respectful, constructive, and professional. We're building something importan [source,bash] ---- # Fork the repo -git clone https://github.com/YOUR_USERNAME/julia-the-viper -cd julia-the-viper +git clone https://github.com/YOUR_USERNAME/jtv +cd jtv # Install dependencies just install @@ -108,7 +108,7 @@ just example 01_hello_addition [source] ---- -julia-the-viper/ +jtv/ ├── packages/ │ ├── jtzig/ # Core Rust implementation │ ├── jtv-analyzer/ # TypeScript code analyzer @@ -364,7 +364,7 @@ See link:LICENSE.txt[LICENSE.txt] for details. == Trademark Policy -The name "Julia the Viper" and the JtV logo are trademarks of the Julia the Viper project. When using these marks: +The name "JtV" and the JtV logo are trademarks of the JtV project. When using these marks: * You may use them to refer to the project * You may use them in documentation and educational materials diff --git a/Cargo.toml b/Cargo.toml index 4c6b900..6620ea6 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MPL-2.0 -# Julia the Viper - Workspace Root +# JtV - Workspace Root [workspace] resolver = "2" @@ -18,7 +18,7 @@ version = "0.1.0" edition = "2021" authors = ["Jonathan D.A. Jewell "] license = "MPL-2.0" -repository = "https://github.com/hyperpolymath/julia-the-viper" +repository = "https://github.com/hyperpolymath/jtv" keywords = ["security", "formal-verification", "parser", "interpreter", "wasm"] categories = ["compilers", "parsing", "wasm"] diff --git a/DEVELOPMENT_PLAN.md b/DEVELOPMENT_PLAN.md index f03b25d..657c6bd 100644 --- a/DEVELOPMENT_PLAN.md +++ b/DEVELOPMENT_PLAN.md @@ -1,4 +1,4 @@ -# Julia the Viper: Development Roadmap & Technical Decisions +# JtV: Development Roadmap & Technical Decisions **SPDX-License-Identifier: CC-BY-SA-4.0 **Version:** 1.0 @@ -489,7 +489,7 @@ The Elm Architecture (TEA) / Model-View-Update (MVU) pattern. This provides: // package.json { "name": "jtv-vscode", - "displayName": "Julia the Viper", + "displayName": "JtV", "publisher": "jtv", "engines": { "vscode": "^1.85.0" }, "categories": ["Programming Languages"], @@ -601,7 +601,7 @@ ENTRYPOINT ["jtv"] ## 3. Directory Structure ``` -julia-the-viper/ +jtv/ ├── crates/ # Rust workspace │ ├── jtv-core/ # Parser, AST, types │ │ ├── src/ diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc index 092eebd..daa1da7 100644 --- a/EXPLAINME.adoc +++ b/EXPLAINME.adoc @@ -1,6 +1,6 @@ // SPDX-License-Identifier: CC-BY-SA-4.0 // SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell -= Julia the Viper — EXPLAINME += JtV — EXPLAINME :toc: left :toclevels: 3 diff --git a/FUNDING.yml b/FUNDING.yml index 14e586e..69642d4 100644 --- a/FUNDING.yml +++ b/FUNDING.yml @@ -4,10 +4,10 @@ # github: [Hyperpolymath] # Open Collective (future) -# open_collective: julia-the-viper +# open_collective: jtv # Patreon (if applicable) -# patreon: julia-the-viper +# patreon: jtv # Custom links custom: diff --git a/GOVERNANCE.adoc b/GOVERNANCE.adoc index 5e296b7..1655f26 100644 --- a/GOVERNANCE.adoc +++ b/GOVERNANCE.adoc @@ -5,13 +5,13 @@ == Overview -Julia the Viper follows a meritocratic governance model based on the Tri-Perimeter Contribution Framework (TPCF). This document describes decision-making processes, roles, and responsibilities. +JtV follows a meritocratic governance model based on the Tri-Perimeter Contribution Framework (TPCF). This document describes decision-making processes, roles, and responsibilities. == Current State [IMPORTANT] ==== -*Julia the Viper v0.1.0* is currently in *Perimeter 3 (Community Sandbox)* mode. +*JtV v0.1.0* is currently in *Perimeter 3 (Community Sandbox)* mode. We are actively seeking founding maintainers and trusted contributors. ==== @@ -20,7 +20,7 @@ We are actively seeking founding maintainers and trusted contributors. === Three-Tiered Model -Julia the Viper uses graduated trust perimeters to balance security with community participation: +JtV uses graduated trust perimeters to balance security with community participation: [cols="1,2,2,2"] |=== @@ -413,7 +413,7 @@ Semantic versioning (SemVer 2.0.0): === Project Trademarks -* "Julia the Viper" (name) +* "JtV" (name) * JtV logo (design) * Project mascot (when created) diff --git a/Justfile b/Justfile index a8955b8..d1795ae 100644 --- a/Justfile +++ b/Justfile @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MPL-2.0 -# Justfile - Julia the Viper build system +# Justfile - JtV build system # Default: show all available commands import? "contractile.just" @@ -239,7 +239,7 @@ assail: # Self-diagnostic — checks dependencies, permissions, paths, proofs. Taxonomy: REF doctor: - @echo "Running diagnostics for julia-the-viper..." + @echo "Running diagnostics for jtv..." @FAIL=0; \ echo "=== Required Tools ==="; \ command -v just >/dev/null 2>&1 && echo " [OK] just" || { echo " [FAIL] just not found"; FAIL=1; }; \ @@ -269,7 +269,7 @@ doctor: # Auto-repair common issues heal: - @echo "Attempting auto-repair for julia-the-viper..." + @echo "Attempting auto-repair for jtv..." @echo "Fixing permissions..." @find . -name "*.sh" -exec chmod +x {} \; 2>/dev/null || true @echo "Cleaning stale caches..." @@ -278,7 +278,7 @@ heal: # Guided tour of key features tour: - @echo "=== julia-the-viper Tour ===" + @echo "=== jtv Tour ===" @echo "" @echo "1. Project structure:" @ls -la @@ -293,12 +293,12 @@ tour: # Open feedback channel with diagnostic context help-me: - @echo "=== julia-the-viper Help ===" + @echo "=== jtv Help ===" @echo "Platform: $(uname -s) $(uname -m)" @echo "Shell: $SHELL" @echo "" @echo "To report an issue:" - @echo " https://github.com/hyperpolymath/julia-the-viper/issues/new" + @echo " https://github.com/hyperpolymath/jtv/issues/new" @echo "" @echo "Include the output of 'just doctor' in your report." diff --git a/LICENSING.md b/LICENSING.md index 5beaea0..8d61d30 100644 --- a/LICENSING.md +++ b/LICENSING.md @@ -5,7 +5,7 @@ SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) -= Julia the Viper (JtV) += JtV image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/jtv"] image:https://img.shields.io/badge/Code-MPL--2.0-blue.svg[Code: MPL-2.0,link="LICENSE"] @@ -12,6 +12,13 @@ A Harvard-architecture programming language that makes code injection *grammatic Named after mathematician **Julia Robinson** (Hilbert's 10th problem) with a playful nod to "adder": a snake, and the fundamental operation the language builds everything from. +[NOTE] +==== +*Formerly "Julia the Viper".* The project now goes by *JtV* so the "Julia" in the +name is no longer mistaken — by people and bots alike — for the Julia programming +language. The Julia-Robinson honour and the "adder" pun carry over to the short name. +==== + --- == The One-Line Idea @@ -242,7 +249,7 @@ just build-wasm # requires wasm-pack [source] ---- -julia-the-viper/ +jtv/ ├── crates/ │ ├── jtv-core/ Rust interpreter + type system + reversibility │ ├── jtv-cli/ REPL and command-line interface diff --git a/ROADMAP.adoc b/ROADMAP.adoc index cfced37..04db3bf 100644 --- a/ROADMAP.adoc +++ b/ROADMAP.adoc @@ -1,4 +1,4 @@ -= Julia the Viper — Roadmap += JtV — Roadmap This roadmap describes the *actual development trajectory* of JtV as a research language. diff --git a/SECURITY.md b/SECURITY.md index 8d21c2a..12866e3 100644 --- a/SECURITY.md +++ b/SECURITY.md @@ -25,7 +25,7 @@ We release security updates for the following versions: ### Security Guarantees -Julia the Viper provides the following **architectural security guarantees**: +JtV provides the following **architectural security guarantees**: #### 1. Code Injection is Grammatically Impossible diff --git a/SESSION-RESUME-2026-01-31.md b/SESSION-RESUME-2026-01-31.md index 36df414..8055ee1 100644 --- a/SESSION-RESUME-2026-01-31.md +++ b/SESSION-RESUME-2026-01-31.md @@ -1,4 +1,4 @@ -# Session Resume - Julia the Viper (2026-01-31) +# Session Resume - JtV (2026-01-31) ## What Was Done Before the Crash @@ -55,7 +55,7 @@ Created complete PWA infrastructure in `web/`: - Service worker registration - `manifest.json` - PWA manifest with: - - App name: "Julia the Viper Playground" + - App name: "JtV Playground" - Theme colors (purple gradient) - Icons configuration (192x192, 512x512) - Standalone display mode @@ -112,7 +112,7 @@ Created complete PWA infrastructure in `web/`: ```bash # Build WASM -cd ~/Documents/hyperpolymath-repos/julia-the-viper +cd ~/Documents/hyperpolymath-repos/jtv just build-wasm # Serve PWA (production) @@ -125,8 +125,8 @@ just dev-pwa Visit: http://localhost:8000/ ### Repository Location -- **Canonical:** `~/Documents/hyperpolymath-repos/julia-the-viper/` -- **Physical:** `/var$REPOS_DIR/julia-the-viper/` (Eclipse drive) +- **Canonical:** `~/Documents/hyperpolymath-repos/jtv/` +- **Physical:** `/var$REPOS_DIR/jtv/` (Eclipse drive) - **Note:** Always use the symlink path for operations ## Key Files Modified diff --git a/STATUS.adoc b/STATUS.adoc index 6b0e321..d22a1db 100644 --- a/STATUS.adoc +++ b/STATUS.adoc @@ -1,13 +1,13 @@ // SPDX-License-Identifier: CC-BY-SA-4.0 // SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell -= Julia the Viper — Status += JtV — Status _Version is tracked in `Cargo.toml` and `CHANGELOG.adoc`._ *Stage*: Alpha (active research) *Assessment*: B- (solid core, proofs now compiling, verification chain still incomplete) -Julia the Viper is an experimental language with a fully implemented Rust core, +JtV is an experimental language with a fully implemented Rust core, a substantial test suite, and formally verified proof artefacts that now compile cleanly. The verification chain from proofs to executable is still incomplete. diff --git a/STATUS.md b/STATUS.md index 5b3d78b..89ea542 100644 --- a/STATUS.md +++ b/STATUS.md @@ -1,4 +1,4 @@ -# Julia the Viper - Status +# JtV - Status **⚠️ THIS FILE IS DEPRECATED** @@ -12,7 +12,7 @@ For current status information, see: **Current Status (2026-02-07):** ✅ **100% Complete - Production Ready** -Julia the Viper is now production-ready with: +JtV is now production-ready with: - ✅ Complete toolchain (parser, type checker, interpreter, formatter) - ✅ WASM backend (591 LOC, fully functional) - ✅ LSP server (tower-lsp integration) diff --git a/TEST-NEEDS.md b/TEST-NEEDS.md index f4c7f3c..975394d 100644 --- a/TEST-NEEDS.md +++ b/TEST-NEEDS.md @@ -1,4 +1,4 @@ -# TEST-NEEDS.md — julia-the-viper +# TEST-NEEDS.md — jtv diff --git a/TOPOLOGY.md b/TOPOLOGY.md index 05b0704..7b5b363 100644 --- a/TOPOLOGY.md +++ b/TOPOLOGY.md @@ -1,16 +1,16 @@ -# TOPOLOGY.md — julia-the-viper +# TOPOLOGY.md — jtv ## Purpose -Julia the Viper: Harvard Architecture language for security-critical applications. Named after mathematician Julia Robinson and playful "adder" (snake + addition), JtV makes code injection grammatically impossible by separating computation into two distinct channels: Control Language (Turing-complete) and Data Language (total, addition-only). +JtV: Harvard Architecture language for security-critical applications. Named after mathematician Julia Robinson and playful "adder" (snake + addition), JtV makes code injection grammatically impossible by separating computation into two distinct channels: Control Language (Turing-complete) and Data Language (total, addition-only). ## Module Map ``` -julia-the-viper/ +jtv/ ├── src/ │ ├── control_language/ # Turing-complete control channel │ ├── data_language/ # Provably-halting data channel diff --git a/TPCF.md b/TPCF.md index 800ecf7..e5ed3df 100644 --- a/TPCF.md +++ b/TPCF.md @@ -1,6 +1,6 @@ # Tri-Perimeter Contribution Framework (TPCF) -Julia the Viper implements the TPCF security model with three graduated trust perimeters. +JtV implements the TPCF security model with three graduated trust perimeters. ## Overview @@ -12,7 +12,7 @@ TPCF separates contribution surfaces by trust level: ## Current Configuration -**Julia the Viper v0.1.0**: **Perimeter 3 (Community Sandbox)** +**JtV v0.1.0**: **Perimeter 3 (Community Sandbox)** We are actively seeking founding maintainers and trusted contributors. diff --git a/academic/BIBLIOGRAPHY.md b/academic/BIBLIOGRAPHY.md index 371a2b1..03821ae 100644 --- a/academic/BIBLIOGRAPHY.md +++ b/academic/BIBLIOGRAPHY.md @@ -1,4 +1,4 @@ -# Comprehensive Bibliography for Julia the Viper Academic Documentation +# Comprehensive Bibliography for JtV Academic Documentation **SPDX-License-Identifier: CC-BY-SA-4.0 @@ -358,10 +358,10 @@ When citing JtV academic materials: ```bibtex @misc{jtv2025, - title = {Julia the Viper: A Harvard Architecture Language for Grammatically Enforced Code Injection Immunity}, + title = {JtV: A Harvard Architecture Language for Grammatically Enforced Code Injection Immunity}, author = {JtV Research Team}, year = {2025}, - howpublished = {\url{https://github.com/hyperpolymath/julia-the-viper}}, + howpublished = {\url{https://github.com/hyperpolymath/jtv}}, note = {Version 1.0} } ``` diff --git a/academic/README.md b/academic/README.md index 29ff224..21bfec0 100644 --- a/academic/README.md +++ b/academic/README.md @@ -1,8 +1,8 @@ -# Julia the Viper: Academic Documentation +# JtV: Academic Documentation **SPDX-License-Identifier: CC-BY-SA-4.0 -This directory contains comprehensive academic documentation for Julia the Viper (JtV), including formal proofs, white papers, and theoretical foundations. +This directory contains comprehensive academic documentation for JtV, including formal proofs, white papers, and theoretical foundations. --- @@ -140,11 +140,11 @@ lake build ```bibtex @misc{jtv2025, - title = {Julia the Viper: A Harvard Architecture Language for + title = {JtV: A Harvard Architecture Language for Grammatically Enforced Code Injection Immunity}, author = {JtV Research Team}, year = {2025}, - howpublished = {\url{https://github.com/hyperpolymath/julia-the-viper}}, + howpublished = {\url{https://github.com/hyperpolymath/jtv}}, note = {Version 1.0} } ``` diff --git a/academic/papers/WHITE_PAPER.md b/academic/papers/WHITE_PAPER.md index db94dfc..7229faa 100644 --- a/academic/papers/WHITE_PAPER.md +++ b/academic/papers/WHITE_PAPER.md @@ -1,4 +1,4 @@ -# Julia the Viper: A Harvard Architecture Language for Grammatically Enforced Code Injection Immunity +# JtV: A Harvard Architecture Language for Grammatically Enforced Code Injection Immunity **Authors:** The JtV Research Team **Version:** 1.0 (Draft) @@ -9,7 +9,7 @@ ## Abstract -We present **Julia the Viper (JtV)**, a programming language that achieves code injection immunity through grammatical separation rather than runtime detection. By implementing a strict Harvard Architecture at the language level—separating a Turing-complete Control Language from a Total (provably halting) Data Language—JtV makes code injection attacks syntactically impossible. This paper formalizes the theoretical foundations, proves key security properties, and demonstrates practical applicability for retrofitting legacy systems vulnerable to injection attacks. +We present **JtV**, a programming language that achieves code injection immunity through grammatical separation rather than runtime detection. By implementing a strict Harvard Architecture at the language level—separating a Turing-complete Control Language from a Total (provably halting) Data Language—JtV makes code injection attacks syntactically impossible. This paper formalizes the theoretical foundations, proves key security properties, and demonstrates practical applicability for retrofitting legacy systems vulnerable to injection attacks. **Keywords:** Code injection, Harvard Architecture, Total languages, Formal verification, Language-based security, Provable security @@ -90,7 +90,7 @@ JtV extends this tradition by making security a grammatical rather than just typ --- -## 3. The Julia the Viper Language +## 3. The JtV Language ### 3.1 Syntax Overview @@ -521,7 +521,7 @@ JtV uniquely combines: ## 12. Conclusion -Julia the Viper demonstrates that code injection can be eliminated through language design rather than defensive programming. By enforcing Harvard Architecture at the grammar level, JtV achieves: +JtV demonstrates that code injection can be eliminated through language design rather than defensive programming. By enforcing Harvard Architecture at the grammar level, JtV achieves: 1. **Provable Security:** Code injection is grammatically impossible 2. **Preserved Expressiveness:** Turing-complete for real applications diff --git a/academic/proofs/ALGEBRAIC_STRUCTURES.md b/academic/proofs/ALGEBRAIC_STRUCTURES.md index 9d4b750..3dd1295 100644 --- a/academic/proofs/ALGEBRAIC_STRUCTURES.md +++ b/academic/proofs/ALGEBRAIC_STRUCTURES.md @@ -1,4 +1,4 @@ -# Algebraic Structures in Julia the Viper +# Algebraic Structures in JtV **SPDX-License-Identifier: CC-BY-SA-4.0 diff --git a/academic/proofs/COMPUTATIONAL_THEORY.md b/academic/proofs/COMPUTATIONAL_THEORY.md index 6b971a2..56cb5cf 100644 --- a/academic/proofs/COMPUTATIONAL_THEORY.md +++ b/academic/proofs/COMPUTATIONAL_THEORY.md @@ -1,4 +1,4 @@ -# Computational Theory of Julia the Viper +# Computational Theory of JtV **SPDX-License-Identifier: CC-BY-SA-4.0 diff --git a/academic/proofs/MATHEMATICAL_FOUNDATIONS.md b/academic/proofs/MATHEMATICAL_FOUNDATIONS.md index 6d77878..3845542 100644 --- a/academic/proofs/MATHEMATICAL_FOUNDATIONS.md +++ b/academic/proofs/MATHEMATICAL_FOUNDATIONS.md @@ -1,8 +1,8 @@ -# Mathematical Foundations of Julia the Viper +# Mathematical Foundations of JtV **SPDX-License-Identifier: CC-BY-SA-4.0 -This document establishes the rigorous mathematical foundations underlying the Julia the Viper programming language, drawing from set theory, category theory, domain theory, and lambda calculus. +This document establishes the rigorous mathematical foundations underlying the JtV programming language, drawing from set theory, category theory, domain theory, and lambda calculus. --- diff --git a/academic/proofs/QUANTUM_REVERSIBILITY.md b/academic/proofs/QUANTUM_REVERSIBILITY.md index b10932b..5087328 100644 --- a/academic/proofs/QUANTUM_REVERSIBILITY.md +++ b/academic/proofs/QUANTUM_REVERSIBILITY.md @@ -1,4 +1,4 @@ -# Quantum Computing and Reversible Computation Theory for Julia the Viper +# Quantum Computing and Reversible Computation Theory for JtV **SPDX-License-Identifier: CC-BY-SA-4.0 diff --git a/academic/proofs/SECURITY_PROOFS.md b/academic/proofs/SECURITY_PROOFS.md index 6833960..2c5c7fa 100644 --- a/academic/proofs/SECURITY_PROOFS.md +++ b/academic/proofs/SECURITY_PROOFS.md @@ -1,4 +1,4 @@ -# Security Proofs for Julia the Viper: A Formal Analysis +# Security Proofs for JtV: A Formal Analysis **SPDX-License-Identifier: CC-BY-SA-4.0 diff --git a/academic/proofs/STATISTICS_PROBABILITY.md b/academic/proofs/STATISTICS_PROBABILITY.md index ef4bd11..bab86a7 100644 --- a/academic/proofs/STATISTICS_PROBABILITY.md +++ b/academic/proofs/STATISTICS_PROBABILITY.md @@ -1,4 +1,4 @@ -# Statistics and Probability Foundations for Julia the Viper +# Statistics and Probability Foundations for JtV **SPDX-License-Identifier: CC-BY-SA-4.0 diff --git a/academic/proofs/TYPE_THEORY.md b/academic/proofs/TYPE_THEORY.md index d5de843..d85a884 100644 --- a/academic/proofs/TYPE_THEORY.md +++ b/academic/proofs/TYPE_THEORY.md @@ -1,4 +1,4 @@ -# Type Theory of Julia the Viper: A Complete Formalization +# Type Theory of JtV: A Complete Formalization **SPDX-License-Identifier: CC-BY-SA-4.0 diff --git a/contractiles/intend/Intentfile.a2ml b/contractiles/intend/Intentfile.a2ml index c4b2a47..071cb77 100644 --- a/contractiles/intend/Intentfile.a2ml +++ b/contractiles/intend/Intentfile.a2ml @@ -3,12 +3,12 @@ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) @abstract: -Declared intent and purpose for Julia The Viper. +Declared intent and purpose for JtV. @end ## Purpose -Julia The Viper — *Harvard Architecture Language for Security-Critical Applications* +JtV — *Harvard Architecture Language for Security-Critical Applications* ## Anti-Purpose diff --git a/contractiles/must/Mustfile.a2ml b/contractiles/must/Mustfile.a2ml index 5bbfb71..c41a11c 100644 --- a/contractiles/must/Mustfile.a2ml +++ b/contractiles/must/Mustfile.a2ml @@ -3,7 +3,7 @@ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) @abstract: -Physical State contract for Julia The Viper. Baseline UX Manifesto invariants +Physical State contract for JtV. Baseline UX Manifesto invariants that MUST hold at all times. @end diff --git a/contractiles/trust/Trustfile.a2ml b/contractiles/trust/Trustfile.a2ml index 026cdd0..5c47459 100644 --- a/contractiles/trust/Trustfile.a2ml +++ b/contractiles/trust/Trustfile.a2ml @@ -3,7 +3,7 @@ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) @abstract: -Trust and provenance verification for Julia The Viper. +Trust and provenance verification for JtV. Maximal trust by default — LLM may read, build, test, lint, format. @end diff --git a/crates/jtv-cli/Cargo.toml b/crates/jtv-cli/Cargo.toml index 205a652..b02c81a 100644 --- a/crates/jtv-cli/Cargo.toml +++ b/crates/jtv-cli/Cargo.toml @@ -1,9 +1,9 @@ # SPDX-License-Identifier: MPL-2.0 -# Julia the Viper - Command Line Interface +# JtV - Command Line Interface [package] name = "jtv-cli" -description = "Command-line interface for Julia the Viper" +description = "Command-line interface for JtV" version.workspace = true edition.workspace = true authors.workspace = true diff --git a/crates/jtv-cli/src/main.rs b/crates/jtv-cli/src/main.rs index 373648b..b828e83 100644 --- a/crates/jtv-cli/src/main.rs +++ b/crates/jtv-cli/src/main.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) // -// Julia the Viper - Command Line Interface +// JtV - Command Line Interface // Allow some clippy lints for cleaner output #![allow(clippy::wildcard_in_or_patterns)] @@ -27,7 +27,7 @@ use rsr_check::RsrChecker; #[derive(Parser)] #[command(name = "jtv")] -#[command(about = "Julia the Viper - Harvard Architecture Language", long_about = None)] +#[command(about = "JtV - Harvard Architecture Language", long_about = None)] #[command(version)] struct Cli { #[command(subcommand)] @@ -625,14 +625,14 @@ fn cexpr_to_sexpr(expr: &jtv_core::ControlExpr, out: &mut String) { } fn print_version() { - println!("{}", "Julia the Viper".cyan().bold()); + println!("{}", "JtV".cyan().bold()); println!("Version: {}", env!("CARGO_PKG_VERSION")); println!("Build: {}", "Rust"); println!(); println!("{}", "Harvard Architecture Language".green()); println!("Makes code injection grammatically impossible"); println!(); - println!("Repository: https://github.com/Hyperpolymath/julia-the-viper"); + println!("Repository: https://github.com/Hyperpolymath/jtv"); println!("Documentation: https://docs.julia-viper.dev"); } diff --git a/crates/jtv-cli/src/repl.rs b/crates/jtv-cli/src/repl.rs index ccecc75..34b1527 100644 --- a/crates/jtv-cli/src/repl.rs +++ b/crates/jtv-cli/src/repl.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 -// SPDX-FileCopyrightText: 2025 Julia the Viper Contributors +// SPDX-FileCopyrightText: 2025 JtV Contributors // -// Julia the Viper - Interactive REPL +// JtV - Interactive REPL use colored::*; use jtv_core::{parse_program, Interpreter}; @@ -128,7 +128,7 @@ impl Repl { ); println!( "{}", - "║ Julia the Viper - Interactive REPL ║".cyan() + "║ JtV - Interactive REPL ║".cyan() ); println!( "{}", diff --git a/crates/jtv-cli/src/rsr_check.rs b/crates/jtv-cli/src/rsr_check.rs index 1ad38f9..263e515 100644 --- a/crates/jtv-cli/src/rsr_check.rs +++ b/crates/jtv-cli/src/rsr_check.rs @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 -// SPDX-FileCopyrightText: 2025 Julia the Viper Contributors +// SPDX-FileCopyrightText: 2025 JtV Contributors // // RSR (Rhodium Standard Repository) Compliance Checker diff --git a/crates/jtv-core/Cargo.toml b/crates/jtv-core/Cargo.toml index bd384b5..1e60ab4 100644 --- a/crates/jtv-core/Cargo.toml +++ b/crates/jtv-core/Cargo.toml @@ -1,5 +1,5 @@ # SPDX-License-Identifier: MPL-2.0 -# Julia the Viper - Core Language Implementation +# JtV - Core Language Implementation [package] name = "jtv-core" diff --git a/crates/jtv-core/benches/parser_bench.rs b/crates/jtv-core/benches/parser_bench.rs index e68468f..158b563 100644 --- a/crates/jtv-core/benches/parser_bench.rs +++ b/crates/jtv-core/benches/parser_bench.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Julia the Viper - Parser Benchmark +// JtV - Parser Benchmark // Measures LOC/sec on synthetic JTV programs exercising the Harvard architecture // (data language + control language). diff --git a/crates/jtv-core/src/ast.rs b/crates/jtv-core/src/ast.rs index bec1ded..6435464 100644 --- a/crates/jtv-core/src/ast.rs +++ b/crates/jtv-core/src/ast.rs @@ -1,4 +1,4 @@ -// Abstract Syntax Tree for Julia the Viper +// Abstract Syntax Tree for JtV use serde::{Deserialize, Serialize}; #[derive(Debug, Clone, PartialEq, Serialize, Deserialize)] diff --git a/crates/jtv-core/src/error.rs b/crates/jtv-core/src/error.rs index e801523..120d889 100644 --- a/crates/jtv-core/src/error.rs +++ b/crates/jtv-core/src/error.rs @@ -1,4 +1,4 @@ -// Error handling for Julia the Viper +// Error handling for JtV use thiserror::Error; pub type Result = std::result::Result; diff --git a/crates/jtv-core/src/formatter.rs b/crates/jtv-core/src/formatter.rs index 042aafa..0bacdbf 100644 --- a/crates/jtv-core/src/formatter.rs +++ b/crates/jtv-core/src/formatter.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 -// SPDX-FileCopyrightText: 2025 Julia the Viper Contributors +// SPDX-FileCopyrightText: 2025 JtV Contributors // -// Julia the Viper - Code Formatter +// JtV - Code Formatter use crate::ast::*; diff --git a/crates/jtv-core/src/grammar.pest b/crates/jtv-core/src/grammar.pest index 9fde4f4..bc2e38f 100644 --- a/crates/jtv-core/src/grammar.pest +++ b/crates/jtv-core/src/grammar.pest @@ -1,4 +1,4 @@ -// Julia the Viper - Pest Grammar for Rust Parser +// JtV - Pest Grammar for Rust Parser // Harvard Architecture: Control (Turing-complete) + Data (Total) WHITESPACE = _{ " " | "\t" | "\r" | "\n" } diff --git a/crates/jtv-core/src/interpreter.rs b/crates/jtv-core/src/interpreter.rs index d29eb79..448995d 100644 --- a/crates/jtv-core/src/interpreter.rs +++ b/crates/jtv-core/src/interpreter.rs @@ -1,4 +1,4 @@ -// Interpreter for Julia the Viper +// Interpreter for JtV use crate::ast::*; use crate::coproc::CoprocNamespace; use crate::error::{JtvError, Result}; diff --git a/crates/jtv-core/src/lib.rs b/crates/jtv-core/src/lib.rs index d43653e..dea4c99 100644 --- a/crates/jtv-core/src/lib.rs +++ b/crates/jtv-core/src/lib.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Julia the Viper - Core Language Implementation +// JtV - Core Language Implementation // Harvard Architecture: Control (Turing-complete) + Data (Total) // Allow some clippy lints that require significant refactoring diff --git a/crates/jtv-core/src/pretty.rs b/crates/jtv-core/src/pretty.rs index 8f85da1..84da58f 100644 --- a/crates/jtv-core/src/pretty.rs +++ b/crates/jtv-core/src/pretty.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Julia the Viper - Pretty-Printer +// JtV - Pretty-Printer // Converts AST nodes back to well-formatted JtV source code. // Unlike the Formatter (which parses source then reformats), the // pretty-printer works directly on AST nodes and supports individual diff --git a/crates/jtv-core/src/purity.rs b/crates/jtv-core/src/purity.rs index 160aa81..08fbd15 100644 --- a/crates/jtv-core/src/purity.rs +++ b/crates/jtv-core/src/purity.rs @@ -1,4 +1,4 @@ -// Purity enforcement for Julia the Viper +// Purity enforcement for JtV // Ensures @pure and @total functions respect their contracts use crate::ast::*; diff --git a/crates/jtv-core/src/recovery.rs b/crates/jtv-core/src/recovery.rs index 39fc387..b056d42 100644 --- a/crates/jtv-core/src/recovery.rs +++ b/crates/jtv-core/src/recovery.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Julia the Viper - Error Recovery Parser +// JtV - Error Recovery Parser // Provides parse_recovering() which returns a partial AST alongside // a list of diagnostics. This enables IDE features (syntax highlighting, // code completion) even when the source is incomplete or malformed. diff --git a/crates/jtv-core/src/reversible.rs b/crates/jtv-core/src/reversible.rs index 868f825..5a388a3 100644 --- a/crates/jtv-core/src/reversible.rs +++ b/crates/jtv-core/src/reversible.rs @@ -1,4 +1,4 @@ -// Reversible computing for Julia the Viper (v2 feature) +// Reversible computing for JtV (v2 feature) // Implements automatic reverse execution for reverse blocks use crate::ast::*; diff --git a/crates/jtv-core/src/typechecker.rs b/crates/jtv-core/src/typechecker.rs index fe0b78f..3f90be2 100644 --- a/crates/jtv-core/src/typechecker.rs +++ b/crates/jtv-core/src/typechecker.rs @@ -1,4 +1,4 @@ -// Type checker for Julia the Viper +// Type checker for JtV // Implements static type checking for the 7 number systems and compound types use crate::ast::*; diff --git a/crates/jtv-core/src/wasm.rs b/crates/jtv-core/src/wasm.rs index 8283626..6342f19 100644 --- a/crates/jtv-core/src/wasm.rs +++ b/crates/jtv-core/src/wasm.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// WASM bindings for Julia the Viper +// WASM bindings for JtV // // Exposes the full JtV language runtime to WebAssembly consumers: // - Parsing and AST inspection diff --git a/crates/jtv-core/tests/compatibility_tests.rs b/crates/jtv-core/tests/compatibility_tests.rs index d162c97..05f3e81 100644 --- a/crates/jtv-core/tests/compatibility_tests.rs +++ b/crates/jtv-core/tests/compatibility_tests.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Version compatibility tests for Julia the Viper. +// Version compatibility tests for JtV. // Verifies that serialized AST snapshots from earlier versions can still // be deserialized by the current code. This prevents silent data corruption // when AST types change. diff --git a/crates/jtv-core/tests/conformance_tests.rs b/crates/jtv-core/tests/conformance_tests.rs index d85dbe5..ea2eecb 100644 --- a/crates/jtv-core/tests/conformance_tests.rs +++ b/crates/jtv-core/tests/conformance_tests.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Julia the Viper - Conformance Suite Runner +// JtV - Conformance Suite Runner // Loads .jtv files from conformance/valid/ and conformance/invalid/ // and asserts that valid files parse successfully and invalid files // produce errors (either parse errors OR semantic errors like purity violations). diff --git a/crates/jtv-core/tests/contract_tests.rs b/crates/jtv-core/tests/contract_tests.rs index 588ef2b..2fa17f7 100644 --- a/crates/jtv-core/tests/contract_tests.rs +++ b/crates/jtv-core/tests/contract_tests.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Contract and invariant tests for Julia the Viper. +// Contract and invariant tests for JtV. // Verifies that declared contracts (addition-only, purity, Harvard separation, // reversibility) actually hold at runtime, not just at parse time. // diff --git a/crates/jtv-core/tests/harvard_boundary_tests.rs b/crates/jtv-core/tests/harvard_boundary_tests.rs index 8d268f7..61febad 100644 --- a/crates/jtv-core/tests/harvard_boundary_tests.rs +++ b/crates/jtv-core/tests/harvard_boundary_tests.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Harvard Architecture boundary tests for Julia the Viper. +// Harvard Architecture boundary tests for JtV. // // These tests verify the fundamental JTV security property: Data Language // and Control Language are grammatically separated. Code injection is diff --git a/crates/jtv-core/tests/parser_tests.rs b/crates/jtv-core/tests/parser_tests.rs index 0732fd1..6c655de 100644 --- a/crates/jtv-core/tests/parser_tests.rs +++ b/crates/jtv-core/tests/parser_tests.rs @@ -1,4 +1,4 @@ -// Parser tests for Julia the Viper +// Parser tests for JtV use jtv_core::parse_program; #[test] diff --git a/crates/jtv-core/tests/pest_rule_tests.rs b/crates/jtv-core/tests/pest_rule_tests.rs index 423f46d..01d4db2 100644 --- a/crates/jtv-core/tests/pest_rule_tests.rs +++ b/crates/jtv-core/tests/pest_rule_tests.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Julia the Viper - PEG Rule-Level Tests +// JtV - PEG Rule-Level Tests // Tests every individual pest grammar rule in isolation. use jtv_core::parser::{JtvParser, Rule}; diff --git a/crates/jtv-core/tests/property_tests.rs b/crates/jtv-core/tests/property_tests.rs index 9df22cd..935e376 100644 --- a/crates/jtv-core/tests/property_tests.rs +++ b/crates/jtv-core/tests/property_tests.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Property-based tests for Julia the Viper's 7 number systems. +// Property-based tests for JtV's 7 number systems. // Verifies algebraic laws (commutativity, associativity, identity) hold // across all number types and cross-type coercion paths. diff --git a/crates/jtv-debug/src/main.rs b/crates/jtv-debug/src/main.rs index fc05d94..1a382d4 100644 --- a/crates/jtv-debug/src/main.rs +++ b/crates/jtv-debug/src/main.rs @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 -// Interactive debugger for Julia the Viper with reversibility inspection +// Interactive debugger for JtV with reversibility inspection #![forbid(unsafe_code)] use colored::*; @@ -160,7 +160,7 @@ impl Debugger { } fn show_help(&self) { - println!("\n{}", "Julia the Viper Debugger Commands:".bold().cyan()); + println!("\n{}", "JtV Debugger Commands:".bold().cyan()); println!(" {} - Run the loaded program", "run".green()); println!(" {} - Set breakpoint at line N", "break N".green()); println!( @@ -187,7 +187,7 @@ impl Debugger { } fn main() -> Result<()> { - println!("{}", "Julia the Viper Interactive Debugger".bold().cyan()); + println!("{}", "JtV Interactive Debugger".bold().cyan()); println!("{}", "Type 'help' for commands\n".yellow()); let mut debugger = Debugger::new(); diff --git a/crates/jtv-lsp/src/main.rs b/crates/jtv-lsp/src/main.rs index 2bdf0ea..fff15fa 100644 --- a/crates/jtv-lsp/src/main.rs +++ b/crates/jtv-lsp/src/main.rs @@ -1,5 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 -// Language Server Protocol implementation for Julia the Viper +// Language Server Protocol implementation for JtV #![forbid(unsafe_code)] use jtv_core::{parser::parse_program, purity::PurityChecker, typechecker::TypeChecker}; @@ -46,7 +46,7 @@ impl LanguageServer for Backend { async fn initialized(&self, _: InitializedParams) { self.client - .log_message(MessageType::INFO, "Julia the Viper LSP initialized") + .log_message(MessageType::INFO, "JtV LSP initialized") .await; } @@ -100,7 +100,7 @@ impl LanguageServer for Backend { async fn hover(&self, _params: HoverParams) -> Result> { Ok(Some(Hover { contents: HoverContents::Scalar(MarkedString::String( - "Julia the Viper: Reversible systems programming".to_string(), + "JtV: Reversible systems programming".to_string(), )), range: None, })) diff --git a/docs/GRAMMAR_EVOLUTION.md b/docs/GRAMMAR_EVOLUTION.md index eb52644..a926222 100644 --- a/docs/GRAMMAR_EVOLUTION.md +++ b/docs/GRAMMAR_EVOLUTION.md @@ -2,7 +2,7 @@ ## Overview -Julia the Viper has two distinct evolutionary stages that must NOT be conflated: +JtV has two distinct evolutionary stages that must NOT be conflated: - **v1 (Alpha/Beta)**: Foundation - Harvard Architecture with addition-only Data Language - **v2 (Gamma)**: Quantum Leap - Adds reversible computing and quantum simulation diff --git a/docs/QUANTUM_VISION.md b/docs/QUANTUM_VISION.md index 8b21be6..a0ecdd9 100644 --- a/docs/QUANTUM_VISION.md +++ b/docs/QUANTUM_VISION.md @@ -4,7 +4,7 @@ ## Executive Summary -Julia the Viper v2 extends the addition-only Data Language with **reversible computing** to enable quantum algorithm simulation. This is not a gimmick - it's a natural consequence of the Harvard Architecture design. +JtV v2 extends the addition-only Data Language with **reversible computing** to enable quantum algorithm simulation. This is not a gimmick - it's a natural consequence of the Harvard Architecture design. ## The Connection diff --git a/docs/QUICK_START.md b/docs/QUICK_START.md index 5766bfa..36531f4 100644 --- a/docs/QUICK_START.md +++ b/docs/QUICK_START.md @@ -1,8 +1,8 @@ -# Julia the Viper - Quick Start Guide +# JtV - Quick Start Guide ## What is JtV? -Julia the Viper is a programming language that makes code injection **grammatically impossible** by separating: +JtV is a programming language that makes code injection **grammatically impossible** by separating: - **Control Language**: Loops, conditionals, I/O (Turing-complete) - **Data Language**: Pure expressions, addition-only (Total/provably halting) @@ -26,8 +26,8 @@ npm install @jtv/wasm ### From Source ```bash -git clone https://github.com/Hyperpolymath/julia-the-viper -cd julia-the-viper +git clone https://github.com/Hyperpolymath/jtv +cd jtv just build ``` @@ -282,7 +282,7 @@ reverse { - **GitHub Issues**: Bug reports and feature requests - **Discord**: Community chat and support -- **Stack Overflow**: Tag questions with `julia-the-viper` +- **Stack Overflow**: Tag questions with `jtv` - **Documentation**: Full docs at https://docs.julia-viper.dev ## Philosophy diff --git a/docs/ROADMAP.md b/docs/ROADMAP.md index 63c1400..bfb321f 100644 --- a/docs/ROADMAP.md +++ b/docs/ROADMAP.md @@ -1,4 +1,4 @@ -# Julia the Viper - Development Roadmap +# JtV - Development Roadmap ## Vision diff --git a/docs/TECHNICAL_ROADMAP.md b/docs/TECHNICAL_ROADMAP.md index 5af1c82..5f03ff1 100644 --- a/docs/TECHNICAL_ROADMAP.md +++ b/docs/TECHNICAL_ROADMAP.md @@ -1,4 +1,4 @@ -# Julia the Viper - Technical Roadmap +# JtV - Technical Roadmap ## Overview diff --git a/docs/design-decisions/0001-coprocessor-pata-pathway.adoc b/docs/design-decisions/0001-coprocessor-pata-pathway.adoc index 4c7ddc8..89222e5 100644 --- a/docs/design-decisions/0001-coprocessor-pata-pathway.adoc +++ b/docs/design-decisions/0001-coprocessor-pata-pathway.adoc @@ -9,7 +9,7 @@ Jonathan D.A. Jewell :sectnums: [.lead] -How Julia the Viper (JtV) admits direct coprocessor access without growing a +How JtV admits direct coprocessor access without growing a GPU-style kernel backend — framed through Alfred Jarry's 'pataphysics (the science of the particular, of exceptions, of imaginary solutions) rather than conventional meta-compilation. diff --git a/docs/language/reversibility/v0.2-design.adoc b/docs/language/reversibility/v0.2-design.adoc index a002a9d..b0ca3b6 100644 --- a/docs/language/reversibility/v0.2-design.adoc +++ b/docs/language/reversibility/v0.2-design.adoc @@ -1,6 +1,6 @@ = Reversibility (v0.2 Design - Proposed) -This document describes a proposed extension to Julia the Viper introducing +This document describes a proposed extension to JtV introducing reversible execution semantics. This is a design document only. No features described here are currently diff --git a/docs/reports/audit/audit-2026-04-15-post.md b/docs/reports/audit/audit-2026-04-15-post.md index de97bcf..214e0a8 100644 --- a/docs/reports/audit/audit-2026-04-15-post.md +++ b/docs/reports/audit/audit-2026-04-15-post.md @@ -1,7 +1,7 @@ -# Post-audit Status Report: julia-the-viper +# Post-audit Status Report: jtv - **Date:** 2026-04-15 - **Status:** Complete (M5 Sweep) -- **Repo:** /var/mnt/eclipse/repos/julia-the-viper +- **Repo:** /var/mnt/eclipse/repos/jtv ## Actions Taken 1. Standard CI/Workflow Sweep: Added blocker workflows (`ts-blocker.yml`, `npm-bun-blocker.yml`) and updated `Justfile`. diff --git a/docs/tech-debt-2026-05-26.md b/docs/tech-debt-2026-05-26.md index d51cf08..ad29e86 100644 --- a/docs/tech-debt-2026-05-26.md +++ b/docs/tech-debt-2026-05-26.md @@ -3,7 +3,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) --> -# Tech-Debt Audit — julia-the-viper — 2026-05-26 +# Tech-Debt Audit — jtv — 2026-05-26 **Source:** estate-wide automated scan 2026-05-26. **Companion:** [`hyperpolymath/standards` 2026-05-26-estate-*-debt audits](https://github.com/hyperpolymath/standards/tree/main/docs/audits). diff --git a/editors/julia-the-viper.tmLanguage.json b/editors/jtv.tmLanguage.json similarity index 99% rename from editors/julia-the-viper.tmLanguage.json rename to editors/jtv.tmLanguage.json index a1e39b4..4e4e72a 100644 --- a/editors/julia-the-viper.tmLanguage.json +++ b/editors/jtv.tmLanguage.json @@ -1,6 +1,6 @@ { "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json", - "name": "Julia the Viper", + "name": "JtV", "scopeName": "source.jtv", "fileTypes": [ "jtv" diff --git a/editors/vscode/package.json b/editors/vscode/package.json index 560de49..ebf3dc5 100644 --- a/editors/vscode/package.json +++ b/editors/vscode/package.json @@ -1,9 +1,9 @@ { - "name": "julia-the-viper", - "displayName": "Julia the Viper", - "description": "Syntax highlighting and language support for Julia the Viper (.jtv files)", + "name": "jtv", + "displayName": "JtV", + "description": "Syntax highlighting and language support for JtV (.jtv files)", "version": "0.1.0", - "publisher": "julia-the-viper", + "publisher": "jtv", "engines": { "vscode": "^1.80.0" }, @@ -13,7 +13,7 @@ "contributes": { "languages": [{ "id": "jtv", - "aliases": ["Julia the Viper", "jtv"], + "aliases": ["JtV", "jtv"], "extensions": [".jtv"], "configuration": "./language-configuration.json" }], diff --git a/editors/vscode/syntaxes/jtv.tmLanguage.json b/editors/vscode/syntaxes/jtv.tmLanguage.json index 0831185..078c1c2 100644 --- a/editors/vscode/syntaxes/jtv.tmLanguage.json +++ b/editors/vscode/syntaxes/jtv.tmLanguage.json @@ -1,6 +1,6 @@ { "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json", - "name": "Julia the Viper", + "name": "JtV", "scopeName": "source.jtv", "patterns": [ { diff --git a/examples/basic/01_hello_addition.jtv b/examples/basic/01_hello_addition.jtv index 571f8d4..73c9d63 100644 --- a/examples/basic/01_hello_addition.jtv +++ b/examples/basic/01_hello_addition.jtv @@ -1,4 +1,4 @@ -// Hello World - Julia the Viper style +// Hello World - JtV style // Demonstrates basic addition in the Data Language // Simple addition diff --git a/examples/integrations/javascript_integration.js b/examples/integrations/javascript_integration.js index 719e8c1..132fa08 100644 --- a/examples/integrations/javascript_integration.js +++ b/examples/integrations/javascript_integration.js @@ -1,6 +1,6 @@ #!/usr/bin/env node /** - * Julia the Viper - JavaScript Integration Example + * JtV - JavaScript Integration Example * Demonstrates using JtV WASM module from Node.js */ @@ -249,7 +249,7 @@ function reversibleComputingExample() { // Main execution async function main() { console.log("=" . repeat(60)); - console.log("Julia the Viper - JavaScript Integration Examples"); + console.log("JtV - JavaScript Integration Examples"); console.log("=" . repeat(60)); basicSecurityExample(); diff --git a/flake.nix b/flake.nix index e1ce6ea..becd84e 100644 --- a/flake.nix +++ b/flake.nix @@ -1,6 +1,6 @@ # SPDX-License-Identifier: MPL-2.0 { - description = "Julia the Viper - Harvard Architecture language making code injection grammatically impossible"; + description = "JtV - Harvard Architecture language making code injection grammatically impossible"; inputs = { nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable"; @@ -43,7 +43,7 @@ default = self.packages.${system}.jtv; jtv = pkgs.rustPlatform.buildRustPackage { - pname = "julia-the-viper"; + pname = "jtv"; version = "0.1.0"; src = ./.; @@ -56,7 +56,7 @@ meta = with pkgs.lib; { description = "Harvard Architecture language making code injection grammatically impossible"; - homepage = "https://github.com/hyperpolymath/julia-the-viper"; + homepage = "https://github.com/hyperpolymath/jtv"; license = with licenses; [ gpl3Plus ]; maintainers = [ ]; }; @@ -64,7 +64,7 @@ # WASM build jtv-wasm = pkgs.stdenv.mkDerivation { - pname = "julia-the-viper-wasm"; + pname = "jtv-wasm"; version = "0.1.0"; src = ./.; @@ -113,7 +113,7 @@ ]); shellHook = '' - echo "🐍 Julia the Viper Development Environment" + echo "🐍 JtV Development Environment" echo "" echo "Available commands:" echo " just --list # Show all build commands" diff --git a/fuzz/fuzz_targets/fuzz_parser.rs b/fuzz/fuzz_targets/fuzz_parser.rs index b134e18..d0cd102 100644 --- a/fuzz/fuzz_targets/fuzz_parser.rs +++ b/fuzz/fuzz_targets/fuzz_parser.rs @@ -1,7 +1,7 @@ // SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell // -// Julia the Viper - Parser Fuzzer +// JtV - Parser Fuzzer // Feeds random UTF-8 through the pest parser to detect panics, hangs, // and memory-safety issues. The parser must NEVER panic on invalid // input; it should always return a clean error. diff --git a/guix.scm b/guix.scm index f743b38..f23a0c1 100644 --- a/guix.scm +++ b/guix.scm @@ -1,5 +1,5 @@ ; SPDX-License-Identifier: MPL-2.0 -;; guix.scm — GNU Guix package definition for julia-the-viper +;; guix.scm — GNU Guix package definition for jtv ;; Usage: guix shell -f guix.scm (use-modules (guix packages) @@ -7,12 +7,12 @@ (guix licenses)) (package - (name "julia-the-viper") + (name "jtv") (version "0.1.0") (source #f) (build-system gnu-build-system) - (synopsis "julia-the-viper") - (description "julia-the-viper — part of the hyperpolymath ecosystem.") - (home-page "https://github.com/hyperpolymath/julia-the-viper") + (synopsis "jtv") + (description "jtv — part of the hyperpolymath ecosystem.") + (home-page "https://github.com/hyperpolymath/jtv") (license ((@@ (guix licenses) license) "MPL-2.0" "https://github.com/hyperpolymath/palimpsest-license"))) diff --git a/jtv_proofs/JtvCore.lean b/jtv_proofs/JtvCore.lean index f77157a..387561f 100644 --- a/jtv_proofs/JtvCore.lean +++ b/jtv_proofs/JtvCore.lean @@ -1,5 +1,5 @@ /- - Julia the Viper - Denotational Semantics Core Definitions + JtV - Denotational Semantics Core Definitions This file defines the semantic domains and evaluation functions for JtV's Data Language (the Total, addition-only expression sublanguage). diff --git a/jtv_proofs/JtvEcho.lean b/jtv_proofs/JtvEcho.lean index e3e7616..08ac662 100644 --- a/jtv_proofs/JtvEcho.lean +++ b/jtv_proofs/JtvEcho.lean @@ -1,5 +1,5 @@ /- - Julia the Viper — Echo Types: Structured Loss / Non-Total Erasure + JtV — Echo Types: Structured Loss / Non-Total Erasure This module formalises JtV's *Echo system* (spec v2, §8–9, §12) and aligns it with the `echo-types` Agda library (hyperpolymath/echo-types) and its diff --git a/jtv_proofs/JtvExtended.lean b/jtv_proofs/JtvExtended.lean index 8dd644c..3657179 100644 --- a/jtv_proofs/JtvExtended.lean +++ b/jtv_proofs/JtvExtended.lean @@ -1,5 +1,5 @@ /- - Julia the Viper - Extended Formal Proofs + JtV - Extended Formal Proofs This file contains additional theorems and lemmas extending the core proof suite for comprehensive academic verification. diff --git a/jtv_proofs/JtvOperational.lean b/jtv_proofs/JtvOperational.lean index 44ae55a..89731a9 100644 --- a/jtv_proofs/JtvOperational.lean +++ b/jtv_proofs/JtvOperational.lean @@ -1,5 +1,5 @@ /- - Julia the Viper - Operational Semantics + JtV - Operational Semantics This file defines small-step and big-step operational semantics for JtV, complementing the denotational semantics in JtvCore.lean. diff --git a/jtv_proofs/JtvSecurity.lean b/jtv_proofs/JtvSecurity.lean index efad548..53e2473 100644 --- a/jtv_proofs/JtvSecurity.lean +++ b/jtv_proofs/JtvSecurity.lean @@ -1,5 +1,5 @@ /- - Julia the Viper - Security Properties + JtV - Security Properties This file formalizes the security guarantees of JtV's Harvard Architecture: 1. Code injection impossibility (grammatical guarantee) @@ -129,7 +129,7 @@ theorem no_control_to_data_flow (s : ControlStmt) : /- **AOLD Philosophy**: - Julia the Viper implements Aspect-Oriented Language Development at the + JtV implements Aspect-Oriented Language Development at the grammar level. Traditional AOP separates cross-cutting concerns (logging, security, transactions) from business logic at runtime or compile-time. diff --git a/jtv_proofs/JtvTheorems.lean b/jtv_proofs/JtvTheorems.lean index 80b46da..8fc63cd 100644 --- a/jtv_proofs/JtvTheorems.lean +++ b/jtv_proofs/JtvTheorems.lean @@ -1,5 +1,5 @@ /- - Julia the Viper - Denotational Semantics Theorems + JtV - Denotational Semantics Theorems This file contains mechanized proofs of the key properties of JtV's Data Language, including: diff --git a/jtv_proofs/JtvTypes.lean b/jtv_proofs/JtvTypes.lean index 577949e..fcd69c0 100644 --- a/jtv_proofs/JtvTypes.lean +++ b/jtv_proofs/JtvTypes.lean @@ -1,5 +1,5 @@ /- - Julia the Viper - Type System Formalization + JtV - Type System Formalization This file defines the type system for JtV including: 1. Type definitions (7 number systems + compound types) diff --git a/llm-warmup-dev.md b/llm-warmup-dev.md index dd096e6..5d14a11 100644 --- a/llm-warmup-dev.md +++ b/llm-warmup-dev.md @@ -1,6 +1,6 @@ -# LLM Warmup — julia-the-viper (Developer) +# LLM Warmup — jtv (Developer) -## What is julia-the-viper? +## What is jtv? See README.adoc for overview. ## Key Commands diff --git a/llm-warmup-user.md b/llm-warmup-user.md index 8106f50..4c6256c 100644 --- a/llm-warmup-user.md +++ b/llm-warmup-user.md @@ -1,6 +1,6 @@ -# LLM Warmup — julia-the-viper (User) +# LLM Warmup — jtv (User) -## What is julia-the-viper? +## What is jtv? See README.adoc for overview. ## Key Commands diff --git a/packages/jtv-analyzer/src/Main.res b/packages/jtv-analyzer/src/Main.res index 6588e0b..6fde5d1 100644 --- a/packages/jtv-analyzer/src/Main.res +++ b/packages/jtv-analyzer/src/Main.res @@ -1,6 +1,6 @@ // SPDX-License-Identifier: MPL-2.0 // hypatia:ignore cicd_rules/banned_language_file — legacy ReScript pending AffineScript migration -// Julia the Viper - Code Analyzer for Python/JavaScript/Ruby +// JtV - Code Analyzer for Python/JavaScript/Ruby // Analyzes legacy code for termination guarantees, purity, and complexity /** Supported analysis target languages */ diff --git a/playground/Justfile b/playground/Justfile index a621a29..c20fbfc 100644 --- a/playground/Justfile +++ b/playground/Justfile @@ -24,7 +24,7 @@ demo: # Show help and available recipes help: - @echo "JTV Playground - Julia-the-Viper Workbench" + @echo "JTV Playground - JtV Workbench" @echo "===========================================" @echo "" @echo "Golden Path (f0):" @@ -149,7 +149,7 @@ version: @echo "JTV Playground v0.1.0-f0" @echo "" @echo "Milestone: f0 (scope control)" - @echo "Focus: Julia-the-Viper language workbench" + @echo "Focus: JtV language workbench" # ============================================================================== # CI/CD INTEGRATION diff --git a/playground/README.adoc b/playground/README.adoc index 3d66be7..1c1eb38 100644 --- a/playground/README.adoc +++ b/playground/README.adoc @@ -9,7 +9,7 @@ image:https://img.shields.io/badge/Docs-CC--BY--SA--4.0-blue.svg[Docs: CC-BY-SA- // SPDX-License-Identifier: CC-BY-SA-4.0 -*Controlled experimentation workbench for Julia-the-Viper (JTV) language development* +*Controlled experimentation workbench for JtV language development* image:https://img.shields.io/badge/Language-JTV-red[JTV] image:https://img.shields.io/badge/Milestone-f0-green[f0] @@ -18,11 +18,11 @@ toc::[] == Overview -This repository is a **controlled playground** for JTV (Julia-the-Viper) language development. Per the ANCHOR scope policy, all activities are scoped exclusively to JTV language, tooling, and UX experiments. +This repository is a **controlled playground** for JtV language development. Per the ANCHOR scope policy, all activities are scoped exclusively to JTV language, tooling, and UX experiments. === What is JTV? -Julia-the-Viper is a systems programming language designed for Harvard architecture embedded systems where code and data live in separate memory spaces. +JtV is a systems programming language designed for Harvard architecture embedded systems where code and data live in separate memory spaces. Key features: diff --git a/playground/jtv/README.adoc b/playground/jtv/README.adoc index 1a0fb32..e97e5ee 100644 --- a/playground/jtv/README.adoc +++ b/playground/jtv/README.adoc @@ -4,7 +4,7 @@ // SPDX-License-Identifier: CC-BY-SA-4.0 -*Controlled experimentation workbench for Julia-the-Viper language development* +*Controlled experimentation workbench for JtV language development* image:https://img.shields.io/badge/Language-JTV-red[JTV] image:https://img.shields.io/badge/Code-MPL--2.0-blue.svg[Code: MPL-2.0,link="../../LICENSE"] @@ -17,7 +17,7 @@ toc::[] This is the **only area that may grow** in the jtv-playground repository (per ANCHOR scope policy). -Julia-the-Viper (JTV) is a systems programming language designed for Harvard architecture processors where code and data live in separate memory spaces. +JtV is a systems programming language designed for Harvard architecture processors where code and data live in separate memory spaces. == Directory Structure diff --git a/playground/jtv/spec/SYNTAX.adoc b/playground/jtv/spec/SYNTAX.adoc index fbeba2a..bc15c73 100644 --- a/playground/jtv/spec/SYNTAX.adoc +++ b/playground/jtv/spec/SYNTAX.adoc @@ -10,7 +10,7 @@ toc::[] == Overview -Julia-the-Viper (JTV) is a systems programming language for Harvard architecture embedded systems. +JtV is a systems programming language for Harvard architecture embedded systems. == Lexical Structure diff --git a/playground/jtv/tools/demo.sh b/playground/jtv/tools/demo.sh index 231c67c..6ce877b 100755 --- a/playground/jtv/tools/demo.sh +++ b/playground/jtv/tools/demo.sh @@ -9,7 +9,7 @@ set -e SAMPLES_DIR="${1:-jtv/samples}" echo "==============================================" -echo " Julia-the-Viper (JTV) Language Demo" +echo " JtV Language Demo" echo " Harvard Architecture Systems Programming" echo "==============================================" echo "" diff --git a/references.bib b/references.bib index a8670f6..0734cfb 100644 --- a/references.bib +++ b/references.bib @@ -1,6 +1,6 @@ % SPDX-License-Identifier: MPL-2.0 % Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -% References for Julia-the-Viper: Harvard-architecture language separating +% References for JtV: Harvard-architecture language separating % data (total, addition-only) from control (Turing-complete) @article{aiken1937design, @@ -8,7 +8,7 @@ @article{aiken1937design title = {Proposed Automatic Calculating Machine}, journal = {IEEE Spectrum (reprinted)}, year = {1937}, - note = {Original Harvard architecture concept; separation of instruction and data stores inspires Julia-the-Viper dual-plane design} + note = {Original Harvard architecture concept; separation of instruction and data stores inspires JtV dual-plane design} } @inproceedings{coquand1986calculus, @@ -19,7 +19,7 @@ @inproceedings{coquand1986calculus number = {2--3}, pages = {95--120}, year = {1988}, - note = {Total dependently-typed calculus; theoretical basis for Julia-the-Viper data plane totality} + note = {Total dependently-typed calculus; theoretical basis for JtV data plane totality} } @article{turner2004total, @@ -30,7 +30,7 @@ @article{turner2004total number = {7}, pages = {751--768}, year = {2004}, - note = {Total programming manifesto; direct influence on Julia-the-Viper addition-only data plane} + note = {Total programming manifesto; direct influence on JtV addition-only data plane} } @book{pierce2002types, @@ -47,7 +47,7 @@ @inproceedings{ford2004parsing booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, pages = {111--122}, year = {2004}, - note = {PEG parsing formalism; basis for Julia-the-Viper pest-based parser} + note = {PEG parsing formalism; basis for JtV pest-based parser} } @techreport{haas2017webassembly, @@ -56,7 +56,7 @@ @techreport{haas2017webassembly booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation}, pages = {185--200}, year = {2017}, - note = {WebAssembly specification and design; Julia-the-Viper compilation target} + note = {WebAssembly specification and design; JtV compilation target} } @article{turing1937computable, @@ -67,7 +67,7 @@ @article{turing1937computable number = {1}, pages = {230--265}, year = {1937}, - note = {Turing completeness; defines the computational power of Julia-the-Viper control plane} + note = {Turing completeness; defines the computational power of JtV control plane} } @article{bove2009brief, @@ -93,7 +93,7 @@ @article{neumann1945first author = {John von Neumann}, title = {First Draft of a Report on the {EDVAC}}, year = {1945}, - note = {Von Neumann architecture (unified memory); contrasts with Harvard separation that Julia-the-Viper adopts at the language level} + note = {Von Neumann architecture (unified memory); contrasts with Harvard separation that JtV adopts at the language level} } @inproceedings{rossberg2023wasm, @@ -101,7 +101,7 @@ @inproceedings{rossberg2023wasm title = {The {WebAssembly} Type System}, booktitle = {WebAssembly Community Group}, year = {2023}, - note = {WASM type system evolution; relevant to typed compilation target for Julia-the-Viper} + note = {WASM type system evolution; relevant to typed compilation target for JtV} } @article{church1936unsolvable, diff --git a/setup.sh b/setup.sh index 9713137..1e17341 100755 --- a/setup.sh +++ b/setup.sh @@ -1,12 +1,12 @@ #!/bin/sh # SPDX-License-Identifier: MPL-2.0 -# setup.sh — Universal setup script for julia-the-viper +# setup.sh — Universal setup script for jtv # # Detects your shell, platform, and installs prerequisites. # Then hands off to `just setup` for project-specific configuration. # # Usage: -# curl -fsSL -o setup.sh https://raw.githubusercontent.com/hyperpolymath/julia-the-viper/main/setup.sh && sh ./setup.sh # download, inspect, then run +# curl -fsSL -o setup.sh https://raw.githubusercontent.com/hyperpolymath/jtv/main/setup.sh && sh ./setup.sh # download, inspect, then run # # or after cloning: # ./setup.sh # @@ -170,7 +170,7 @@ install_just() { # ── Main ── main() { - printf "%s=== julia-the-viper Setup ===%s\n\n" "$BOLD" "$RESET" + printf "%s=== jtv Setup ===%s\n\n" "$BOLD" "$RESET" # Detect environment SHELL_NAME=$(detect_shell) @@ -201,8 +201,8 @@ main() { # Step 2: Check if we're in the repo directory if [ ! -f "Justfile" ] && [ ! -f "justfile" ]; then warn "Not in a repo directory (no Justfile found)" - info "Clone first: git clone https://github.com/hyperpolymath/julia-the-viper.git" - info "Then: cd julia-the-viper && ./setup.sh" + info "Clone first: git clone https://github.com/hyperpolymath/jtv.git" + info "Then: cd jtv && ./setup.sh" exit 1 fi diff --git a/shared/grammar/jtv.ebnf b/shared/grammar/jtv.ebnf index 66fe80b..b25114d 100644 --- a/shared/grammar/jtv.ebnf +++ b/shared/grammar/jtv.ebnf @@ -1,4 +1,4 @@ -(* Julia the Viper - Complete EBNF Grammar *) +(* JtV - Complete EBNF Grammar *) (* Harvard Architecture: Control (Turing-complete) + Data (Total/provably halting) *) (* ===== PROGRAM STRUCTURE ===== *) diff --git a/spec/LANGUAGE_SPECIFICATION.md b/spec/LANGUAGE_SPECIFICATION.md index b5ee99f..5a55481 100644 --- a/spec/LANGUAGE_SPECIFICATION.md +++ b/spec/LANGUAGE_SPECIFICATION.md @@ -1,4 +1,4 @@ -# Julia the Viper Language Specification +# JtV Language Specification **Version:** 1.0.0 **Date:** 2026-03-14 @@ -24,7 +24,7 @@ ## 1. Introduction -Julia the Viper (JtV) is a statically typed, interpreted language with a Rust-based interpreter and a pest-based parser. It follows a Harvard architecture, separating code and data to enhance security and predictability. +JtV is a statically typed, interpreted language with a Rust-based interpreter and a pest-based parser. It follows a Harvard architecture, separating code and data to enhance security and predictability. ### Key Features - **Harvard Architecture**: Separation of code (Control Language) and data (Data Language). diff --git a/spec/README.adoc b/spec/README.adoc index 2653681..639324d 100644 --- a/spec/README.adoc +++ b/spec/README.adoc @@ -1,16 +1,16 @@ // SPDX-License-Identifier: CC-BY-SA-4.0 // @taxonomy: spec/index -= julia-the-viper — Specification Directory += jtv — Specification Directory :toc: == Overview -This directory contains the canonical language/query specification files for julia-the-viper. +This directory contains the canonical language/query specification files for jtv. == Contents === grammar.ebnf -The canonical EBNF grammar for julia-the-viper. +The canonical EBNF grammar for jtv. Copied from the original source location; the original is preserved. === SPEC.core.scm diff --git a/spec/grammar.ebnf b/spec/grammar.ebnf index 275fde8..fde799c 100644 --- a/spec/grammar.ebnf +++ b/spec/grammar.ebnf @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: MPL-2.0 *) (* Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) *) (* @taxonomy: spec/grammar *) -(* Julia the Viper - Complete EBNF Grammar *) +(* JtV - Complete EBNF Grammar *) (* Harvard Architecture: Control (Turing-complete) + Data (Total/provably halting) *) (* ===== PROGRAM STRUCTURE ===== *) diff --git a/spec/jtv_v2_type_system.adoc b/spec/jtv_v2_type_system.adoc index e2b3c2b..cca522c 100644 --- a/spec/jtv_v2_type_system.adoc +++ b/spec/jtv_v2_type_system.adoc @@ -1,4 +1,4 @@ -= Julia the Viper Type System Specification (V2 Draft) += JtV Type System Specification (V2 Draft) :version: 2.0.0-draft :date: 2026-04-16 @@ -7,7 +7,7 @@ Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) == 0. Design Goals -This document defines Version 2 of the Julia the Viper (JtV) type system. +This document defines Version 2 of the JtV type system. Goals: diff --git a/spec/jtv_v2_type_system_corrected.adoc b/spec/jtv_v2_type_system_corrected.adoc index 3685a37..4c1a996 100644 --- a/spec/jtv_v2_type_system_corrected.adoc +++ b/spec/jtv_v2_type_system_corrected.adoc @@ -1,4 +1,4 @@ -= Julia the Viper Type System Specification (V2 Corrected Draft) += JtV Type System Specification (V2 Corrected Draft) :version: 2.0.0-draft :date: 2026-04-16 diff --git a/spec/system-specs.md b/spec/system-specs.md index 06de97a..fdc8a2b 100644 --- a/spec/system-specs.md +++ b/spec/system-specs.md @@ -1,9 +1,9 @@ # SPDX-License-Identifier: CC-BY-SA-4.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -# Julia the Viper — System Specifications +# JtV — System Specifications -Julia the Viper (JtV) is an interpreted language with a Rust interpreter and +JtV is an interpreted language with a Rust interpreter and pest-based parser, following a Harvard architecture where code and data are separated. diff --git a/spec/type-system.md b/spec/type-system.md index 66b08fd..d55d90d 100644 --- a/spec/type-system.md +++ b/spec/type-system.md @@ -1,7 +1,7 @@ # SPDX-License-Identifier: CC-BY-SA-4.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) -# Julia-the-Viper Type System Specification +# JtV Type System Specification **Version:** 1.0.0 **Date:** 2026-03-14 diff --git a/src/abi/Types.idr b/src/abi/Types.idr index 6e9acc4..3b0ca47 100644 --- a/src/abi/Types.idr +++ b/src/abi/Types.idr @@ -1,6 +1,6 @@ -- SPDX-License-Identifier: MPL-2.0 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) --- Julia-the-Viper: Harvard Architecture Safety Proofs +-- JtV: Harvard Architecture Safety Proofs module Types diff --git a/stapeln.toml b/stapeln.toml index 9558139..122a17d 100644 --- a/stapeln.toml +++ b/stapeln.toml @@ -1,13 +1,13 @@ # SPDX-License-Identifier: MPL-2.0 -# stapeln.toml — Layer-based container build for julia-the-viper +# stapeln.toml — Layer-based container build for jtv # # stapeln builds containers as composable layers (German: "to stack"). # Each layer is independently cacheable, verifiable, and signable. [metadata] -name = "julia-the-viper" +name = "jtv" version = "0.1.0" -description = "julia the viper" +description = "JtV" author = "Jonathan D.A. Jewell " license = "MPL-2.0" registry = "ghcr.io/hyperpolymath" @@ -32,7 +32,7 @@ packages = ["rust", "build-base", "openssl-dev"] cache = true [layers.build] -description = "julia-the-viper build" +description = "jtv build" extends = "toolchain" commands = ["cargo build --release"] @@ -43,7 +43,7 @@ packages = ["ca-certificates", "curl"] copy-from = [ { layer = "build", src = "/app/", dst = "/app/" }, ] -entrypoint = ["/app/target/release/julia-the-viper"] +entrypoint = ["/app/target/release/jtv"] user = "nonroot" # ── Security ─────────────────────────────────────────────────── diff --git a/verification/README.adoc b/verification/README.adoc index cb6104c..059e4ce 100644 --- a/verification/README.adoc +++ b/verification/README.adoc @@ -1,11 +1,11 @@ // SPDX-License-Identifier: CC-BY-SA-4.0 // @taxonomy: verification/index -= julia-the-viper — Verification Directory += jtv — Verification Directory :toc: == Overview -Unified verification gateway for julia-the-viper. Each subdirectory is a symlink +Unified verification gateway for jtv. Each subdirectory is a symlink to the actual location, providing a single entry point for all verification. == Structure diff --git a/viper-pkg/src/registry.jl b/viper-pkg/src/registry.jl index f6ae39f..4a3ad67 100644 --- a/viper-pkg/src/registry.jl +++ b/viper-pkg/src/registry.jl @@ -1,6 +1,6 @@ # SPDX-License-Identifier: MPL-2.0 -const REGISTRY_URL = "https://packages.julia-the-viper.dev/api/v1" +const REGISTRY_URL = "https://packages.jtv.dev/api/v1" const FALLBACK_MODE = :git # Use git until registry deployed """ diff --git a/vscode-extension/README.md b/vscode-extension/README.md index 4e1cc88..0bc628f 100644 --- a/vscode-extension/README.md +++ b/vscode-extension/README.md @@ -1,6 +1,6 @@ -# Julia the Viper VSCode Extension +# JtV VSCode Extension -Language support for Julia the Viper - a reversible systems programming language with purity guarantees. +Language support for JtV - a reversible systems programming language with purity guarantees. ## Features @@ -14,7 +14,7 @@ Language support for Julia the Viper - a reversible systems programming language ## Requirements -- Julia the Viper toolchain installed (`jtv-cli`, `jtv-lsp`, `jtv-debug`) +- JtV toolchain installed (`jtv-cli`, `jtv-lsp`, `jtv-debug`) - VSCode 1.80.0 or higher ## Extension Settings @@ -32,7 +32,7 @@ This extension contributes the following settings: ## Language Features -Julia the Viper provides: +JtV provides: - **Reversibility**: All computations are reversible - **Purity tracking**: `@total` and `@pure` annotations with verification - **Formal verification**: Hindley-Milner type system with extensions @@ -40,7 +40,7 @@ Julia the Viper provides: ## Installation -1. Install Julia the Viper toolchain +1. Install JtV toolchain 2. Install this extension from VSCode marketplace or `.vsix` 3. Open a `.jtv` file to activate the extension @@ -51,7 +51,7 @@ cd vscode-extension npm install npm run compile npm run package -code --install-extension julia-the-viper-0.1.0.vsix +code --install-extension jtv-0.1.0.vsix ``` ## License diff --git a/vscode-extension/package.json b/vscode-extension/package.json index 62db933..3dad4e1 100644 --- a/vscode-extension/package.json +++ b/vscode-extension/package.json @@ -1,13 +1,13 @@ { - "name": "julia-the-viper", - "displayName": "Julia the Viper", - "description": "Language support for Julia the Viper - reversible systems programming", + "name": "jtv", + "displayName": "JtV", + "description": "Language support for JtV - reversible systems programming", "version": "0.1.0", "publisher": "hyperpolymath", "license": "MPL-2.0", "repository": { "type": "git", - "url": "https://github.com/hyperpolymath/julia-the-viper" + "url": "https://github.com/hyperpolymath/jtv" }, "engines": { "vscode": "^1.80.0" @@ -20,7 +20,7 @@ "languages": [ { "id": "jtv", - "aliases": ["Julia the Viper", "jtv"], + "aliases": ["JtV", "jtv"], "extensions": [".jtv"], "configuration": "./language-configuration.json" } @@ -47,7 +47,7 @@ } ], "configuration": { - "title": "Julia the Viper", + "title": "JtV", "properties": { "jtv.lsp.path": { "type": "string", diff --git a/vscode-extension/src/Extension.res b/vscode-extension/src/Extension.res index cdca4b8..098ecc6 100644 --- a/vscode-extension/src/Extension.res +++ b/vscode-extension/src/Extension.res @@ -1,6 +1,6 @@ // SPDX-License-Identifier: MPL-2.0 // hypatia:ignore cicd_rules/banned_language_file — legacy ReScript pending AffineScript migration -// Julia the Viper - VS Code Extension +// JtV - VS Code Extension // Provides LSP client, run/debug/format commands for .jtv files /** VS Code API bindings */ @@ -78,7 +78,7 @@ let runFile = (): unit => { | None => Vscode.showErrorMessage("No active editor") | Some(editor) => { let filePath = Vscode.getDocument(editor).uri.fsPath - let terminal = Vscode.createTerminal("Julia the Viper") + let terminal = Vscode.createTerminal("JtV") Vscode.show(terminal) Vscode.sendText(terminal, `jtv-cli run "${filePath}"`) } @@ -113,7 +113,7 @@ let formatFile = (): unit => { /** Activate the extension: start LSP client and register commands */ let activate = (context: Vscode.extensionContext): unit => { - Js.log("Julia the Viper extension activated") + Js.log("JtV extension activated") let config = Vscode.getConfiguration("jtv") let lspPath = switch Vscode.get(config, "lsp.path") { @@ -135,7 +135,7 @@ let activate = (context: Vscode.extensionContext): unit => { let lspClient = LanguageClient.make( "jtv", - "Julia the Viper Language Server", + "JtV Language Server", serverOptions, clientOptions, ) diff --git a/web/Main.res b/web/Main.res index f1a44ca..888c675 100644 --- a/web/Main.res +++ b/web/Main.res @@ -1,6 +1,6 @@ // SPDX-License-Identifier: MPL-2.0 // hypatia:ignore cicd_rules/banned_language_file — legacy ReScript pending AffineScript migration -// Julia the Viper - Web module entry point +// JtV - Web module entry point /** Add two numbers together. * The fundamental operation in JtV's addition-only Data Language. diff --git a/web/MainTest.res b/web/MainTest.res index 88340fe..94ffe0f 100644 --- a/web/MainTest.res +++ b/web/MainTest.res @@ -1,6 +1,6 @@ // SPDX-License-Identifier: MPL-2.0 // hypatia:ignore cicd_rules/banned_language_file — legacy ReScript pending AffineScript migration -// Julia the Viper - Web module tests +// JtV - Web module tests /** Deno test runner FFI binding */ @module("Deno") @val diff --git a/web/Server.res b/web/Server.res index a8b84a3..631484b 100644 --- a/web/Server.res +++ b/web/Server.res @@ -1,6 +1,6 @@ // SPDX-License-Identifier: MPL-2.0 // hypatia:ignore cicd_rules/banned_language_file — legacy ReScript pending AffineScript migration -// Deno server for Julia the Viper PWA +// Deno server for JtV PWA /** Deno HTTP request type */ type request = {url: string} @@ -59,7 +59,7 @@ let handler = (req: request): response => { let () = { serve({port: port}, handler) Js.log( - "Julia the Viper PWA server running at http://localhost:" ++ + "JtV PWA server running at http://localhost:" ++ Belt.Int.toString(port) ++ "/", ) diff --git a/web/index.html b/web/index.html index 429eb92..5d36d3a 100644 --- a/web/index.html +++ b/web/index.html @@ -3,9 +3,9 @@ - + - Julia the Viper Playground + JtV Playground