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

[hyperpolymath]

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

⚠️ Manual step required before merge. The GitHub repo itself must be renamed (Settings → General → Repository name → jtv, or gh repo rename jtv) — I have no API for that. GitHub then auto-redirects old URLs (web/clone/API) and renames the wiki. Merge this PR after the rename so the new …/jtv URLs in here resolve. One hard rule: never re-create a repo named julia-the-viper afterwards — that's the only thing that kills the redirects.

What changed (140 files)

• Slug julia-the-viper → jtv: every URL, manifest (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: docs, specs, academic papers, Lean/Idris headers, source comments, wiki, playground.
• Etymology kept as a footnote (README.adoc, CLAUDE.md): records that JtV was formerly Julia the Viper — honouring mathematician Julia Robinson and the "adder" pun — and why it was renamed.
• Repadded the REPL ASCII banner box after the shorter name.

Deliberately left

The all-caps acronym JTV (carries no "Julia" confusion), the ERC-20 example token symbol "JTV", and the DESIGN-JTV-V2-REVERSIBILITY.md filename. Say the word if you want JTV → JtV normalised too.

Verified

cargo build --workspace + cargo test green (127 lib + integration suites); 0 residual julia-the-viper / Julia the Viper except the 3 intentional etymology footnotes.

Still yours, externally (nothing I can reach)

crates.io metadata if a crate is published, a Pages custom domain if set, links on your own sites. Companion PR in hyperpolymath/nextgen-languages renames the submodule that depends on this repo.

🤖 Generated with Claude Code

https://claude.ai/code/session_01BJmfoz1ZS1Pejy9LLMY742

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 51 issues detected

Severity	Count
🔴 Critical	0
🟠 High	25
🟡 Medium	26

View findings

[
  {
    "reason": "No test directory or test files found",
    "type": "no_tests",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper",
    "action": "flag",
    "rule_module": "honest_completion",
    "severity": "high",
    "deduction": 20
  },
  {
    "reason": "Issue in secret-scanner.yml",
    "type": "missing_workflow",
    "file": "secret-scanner.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in scorecard.yml",
    "type": "scorecard_wrapper_missing_job_permissions",
    "file": "scorecard.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (10 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/crates/jtv-core/benches/interpreter_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (6 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/crates/jtv-core/benches/parser_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Js.Array2 deprecated -- use Array (3 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/vscode-extension/src/Extension.res",
    "action": "search_replace",
    "rule_module": "migration_rules",
    "severity": "high"
  },
  {
    "reason": "Js.Promise deprecated -- use Promise (2 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/vscode-extension/src/Extension.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "medium"
  },
  {
    "reason": "Belt.Array deprecated -- use Array (30 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/packages/jtv-analyzer/src/Main.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "high"
  },
  {
    "reason": "Belt.Option deprecated -- use Option (2 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/packages/jtv-analyzer/src/Main.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "medium"
  },
  {
    "reason": "Js.Array2 deprecated -- use Array (7 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/packages/jtv-analyzer/src/Main.res",
    "action": "search_replace",
    "rule_module": "migration_rules",
    "severity": "high"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence