refactor(rename): VQL → VCL + verisimdb → verisim

Ecosystem-consistency follow-on: matches the canonical rename landed
2026-04-05 in verisimdb, hypatia, gitbot-fleet, echidna, and vql-ut.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.github/workflows/dogfood-gate.yml

@@ -345,7 +345,7 @@ print(f'Valid: {project[\"name\"]} ({len(functions)} function(s))')
           fi
 
           # VeriSimDB integration?
-          if grep -rl 'verisimdb\|VeriSimDB' --include='*.toml' --include='*.yaml' --include='*.yml' --include='*.json' --include='*.rs' --include='*.ex' . 2>/dev/null | head -1 | grep -q .; then
+          if grep -rl 'verisim\|VeriSimDB' --include='*.toml' --include='*.yaml' --include='*.yml' --include='*.json' --include='*.rs' --include='*.ex' . 2>/dev/null | head -1 | grep -q .; then
             SCORE=$((SCORE + 1))
             VSDB_STATUS=":white_check_mark:"
           else

.github/workflows/e2e.yml

@@ -4,7 +4,7 @@
 # TypeLL — E2E + Aspect + Bench
 #
 # Tests the full type-check→compile→run pipeline, integration tests,
-# VQL bridge, and safety aspects.
+# VCL bridge, and safety aspects.
 
 name: E2E + Aspect + Bench
 
@@ -52,8 +52,8 @@ jobs:
       - name: Run integration tests specifically
         run: cargo test --test integration_test -- --nocapture
 
-      - name: Run VQL bridge tests
-        run: cargo test -p typell-vql --test vql_bridge_tests -- --nocapture 2>/dev/null || echo "VQL bridge tests skipped"
+      - name: Run VCL bridge tests
+        run: cargo test -p typell-vcl --test vcl_bridge_tests -- --nocapture 2>/dev/null || echo "VCL bridge tests skipped"
 
   aspect-safety:
     name: Aspect — Safety Invariants

…ine_readable/integrations/verisimdb.a2ml …chine_readable/integrations/verisim.a2ml.machine_readable/integrations/verisimdb.a2ml renamed to .machine_readable/integrations/verisim.a2ml .machine_readable/integrations/verisimdb.a2ml renamed to .machine_readable/integrations/verisim.a2ml

@@ -16,7 +16,7 @@ members = [
     "crates/typell-jtv",
     "crates/typell-phronesis",
     "crates/typell-errorlang",
-    "crates/typell-vql",
+    "crates/typell-vcl",
     "crates/typell-server",
 ]
 

Cargo.toml

@@ -23,14 +23,14 @@ ____
 
 The architecture (lines 46-68) shows Typell as the central verification kernel serving PanLL's three panes (Pane-L ← constraints, Pane-N ← reasoning, Pane-W ← validated results) plus secondary consumers (VS Code, CLI, CI/CD). This is verifiable in `src/kernel/` with modules for type checking, proof engine, effect tracking, session protocol management, and language backends (lines 148-157).
 
-*Caveat:* Typell is in "Phase 0: Vision capture and repo scaffolding" (line 115). Language backends (VQL-dt++, GQL-dt++, KQL-dt++) are in design stages; only the kernel architecture exists.
+*Caveat:* Typell is in "Phase 0: Vision capture and repo scaffolding" (line 115). Language backends (VCL-dt++, GQL-dt++, KQL-dt++) are in design stages; only the kernel architecture exists.
 
 [quote, README section "The LLVM Analogy"]
 ____
 Typell is to PanLL what LLVM is to Clang — the compiler infrastructure that any frontend can consume.
 ____
 
-*Evidence:* The directory structure (lines 136-168) supports this. `src/kernel/` is the "middle-end" (type checker, proof engine, effects, session manager). `src/backends/` are the language frontends (VQL-dt++, GQL-dt++, KQL-dt++). `integrations/` are the consumers (PanLL primary, VS Code extension, CLI, CI/CD plugins). This mirrors LLVM's middle-end + backends + frontends architecture.
+*Evidence:* The directory structure (lines 136-168) supports this. `src/kernel/` is the "middle-end" (type checker, proof engine, effects, session manager). `src/backends/` are the language frontends (VCL-dt++, GQL-dt++, KQL-dt++). `integrations/` are the consumers (PanLL primary, VS Code extension, CLI, CI/CD plugins). This mirrors LLVM's middle-end + backends + frontends architecture.
 
 *Caveat:* Unlike LLVM (production-ready), Typell's backends are in design/port stages, not fully functional. Primary investment is in the kernel (bidirectional type checker, proof engine).
 
@@ -68,7 +68,7 @@ Typell-specific:
 | `src/kernel/effects/` | Effect tracker (read/write/memory side effects)
 | `src/kernel/session/` | Session protocol manager (connection safety, transaction atomicity)
 | `src/kernel/protocol/` | JSON-RPC server (consumer communication)
-| `src/backends/vql/` | VQL-dt++ backend (VeriSimDB queries with dependent types)
+| `src/backends/vcl/` | VCL-dt++ backend (VeriSimDB queries with dependent types)
 | `src/backends/gql/` | GQL-dt++ backend (LithoGlyph graph queries, Lean 4 bridge)
 | `src/backends/kql/` | KQL-dt++ backend (QuandleDB category-theoretic queries)
 | `integrations/panll/` | PanLL primary consumer (pane coordination)

EXPLAINME.adoc

@@ -58,7 +58,7 @@ VS Code extensions, CLI tools, and CI/CD pipelines are secondary consumers.
 │  ├─ Effect Tracker                           │
 │  ├─ Session Protocol Manager                 │
 │  └─ Language Backends                        │
-│     ├─ VQL-dt++ (VeriSimDB)                  │
+│     ├─ VCL-dt++ (VeriSimDB)                  │
 │     ├─ GQL-dt++ (LithoGlyph)                │
 │     └─ KQL-dt++ (QuandleDB)                 │
 └─────────────────────────────────────────────┘
@@ -73,7 +73,7 @@ VS Code extensions, CLI tools, and CI/CD pipelines are secondary consumers.
 |===
 |Backend |Database |Status |Strategy
 
-|VQL-dt++
+|VCL-dt++
 |VeriSimDB
 |Port from ReScript
 |8-modality queries, cross-modal proofs, hexad types
@@ -151,7 +151,7 @@ typell/
 │   │   ├── session/               # Session protocol manager
 │   │   └── protocol/              # JSON-RPC server
 │   └── backends/                  # Language backends
-│       ├── vql/                   # VQL-dt++ (VeriSimDB)
+│       ├── vcl/                   # VCL-dt++ (VeriSimDB)
 │       ├── gql/                   # GQL-dt++ (LithoGlyph)
 │       └── kql/                   # KQL-dt++ (QuandleDB)
 ├── ffi/zig/                       # Zig FFI implementation

README.adoc

@@ -6,7 +6,7 @@
 
 == Overview
 
-TypeLL is the unified type system verification kernel for the hyperpolymath ecosystem. It is to PanLL what LLVM is to Clang: the formal verification substrate that multiple language frontends compile _types_ into. TypeLL provides a 10-level type safety hierarchy used by VQL-UT, 007, Kategoria, PanLL, and the nextgen-languages suite.
+TypeLL is the unified type system verification kernel for the hyperpolymath ecosystem. It is to PanLL what LLVM is to Clang: the formal verification substrate that multiple language frontends compile _types_ into. TypeLL provides a 10-level type safety hierarchy used by VCL-total, 007, Kategoria, PanLL, and the nextgen-languages suite.
 
 == Current State (2026-03-29)
 
@@ -45,8 +45,8 @@ typell-server (HTTP/JSON-RPC on port 7800)
 | `typell-server`
 | HTTP/JSON-RPC server (port 7800) with handler dispatch
 
-| `typell-vql`
-| VQL-UT bridge — maps 10-level type safety into TypeLL (4 modules: lib, bridge, levels, rules)
+| `typell-vcl`
+| VCL-total bridge — maps 10-level type safety into TypeLL (4 modules: lib, bridge, levels, rules)
 
 | `typell-eclexia`
 | Eclexia language bridge (resource types, dimensional analysis)
@@ -107,7 +107,7 @@ typell-server (HTTP/JSON-RPC on port 7800)
 
 === Consumers
 
-* **VQL-UT** — Type-safe query language (supersedes VQL-DT); levels 7-10 map VQL-DT legacy extensions
+* **VCL-total** — Type-safe query language (supersedes VCL-DT); levels 7-10 map VCL-DT legacy extensions
 * **007** — Agent meta-language type system (tropical types, Five Facets)
 * **Kategoria** — Category theory verification; Route alpha achieved L9 (session types via Brady indexed monad)
 * **PanLL** — Cross-panel type intelligence (TypeLLService + TypeLLEngine in src/core/)
@@ -131,9 +131,9 @@ typell-server (HTTP/JSON-RPC on port 7800)
 
 === v0.2.0 — Language Bridges (COMPLETE)
 
-* [x] 14 language bridge crates (eclexia, affinescript, ephapax, wokelang, betlang, mylang, oblibeny, tangle, jtv, errorlang, phronesis, vql)
+* [x] 14 language bridge crates (eclexia, affinescript, ephapax, wokelang, betlang, mylang, oblibeny, tangle, jtv, errorlang, phronesis, vcl)
 * [x] Each bridge: lib.rs + bridge.rs + rules.rs (language-specific type lowering)
-* [x] VQL-UT bridge maps all 10 levels including VQL-DT legacy (linear, session, effects, modal, proof-carrying, QTT)
+* [x] VCL-total bridge maps all 10 levels including VCL-DT legacy (linear, session, effects, modal, proof-carrying, QTT)
 
 === v0.3.0 — Server & Integration (COMPLETE)
 
@@ -157,9 +157,9 @@ typell-server (HTTP/JSON-RPC on port 7800)
 * [ ] Performance benchmarks (large type graphs, deep unification)
 * [ ] Fuzz testing for unification and inference
 
-=== v0.6.0 — VQL-UT Deep Integration (PLANNED)
+=== v0.6.0 — VCL-total Deep Integration (PLANNED)
 
-* [ ] VQL-UT query type annotations (level metadata in query results)
+* [ ] VCL-total query type annotations (level metadata in query results)
 * [ ] Type-safe query composition (compose queries with verified type compatibility)
 * [ ] Query result type inference (infer return types from schema + query)
 * [ ] Level escalation tracking (which operations require higher levels)
@@ -182,7 +182,7 @@ typell-server (HTTP/JSON-RPC on port 7800)
 === v1.0.0 — Stable Release (PLANNED)
 
 * [ ] All 14 language bridges fully tested
-* [ ] VQL-UT and 007 integrations production-ready
+* [ ] VCL-total and 007 integrations production-ready
 * [ ] API stability guarantee (no breaking changes to core types)
 * [ ] Performance validated at scale
 * [ ] arXiv paper on 10-level type safety hierarchy

ROADMAP.adoc

@@ -6,7 +6,7 @@
 
 | Category | Count | Details |
 |----------|-------|---------|
-| **Source modules** | 53 | Rust: typell-core (12: types, error, unify, infer, check, linear, effects, qtt, dimensional, session, proof, lib), typell-eclexia (3), typell-affinescript (3), typell-ephapax (3), typell-wokelang (3), typell-tangle (3), typell-betlang (3), typell-mylang (3), typell-oblibeny (3), typell-jtv (3), typell-phronesis (3), typell-errorlang (3), typell-vql (4) + 3 Idris2 ABI |
+| **Source modules** | 53 | Rust: typell-core (12: types, error, unify, infer, check, linear, effects, qtt, dimensional, session, proof, lib), typell-eclexia (3), typell-affinescript (3), typell-ephapax (3), typell-wokelang (3), typell-tangle (3), typell-betlang (3), typell-mylang (3), typell-oblibeny (3), typell-jtv (3), typell-phronesis (3), typell-errorlang (3), typell-vcl (4) + 3 Idris2 ABI |
 | **Unit tests (inline)** | 106 | In typell-core inline module tests |
 | **Integration tests** | 95 | core_comprehensive_tests.rs |
 | **E2E tests** | 15 | e2e_test.rs — full pipeline, all type disciplines |
@@ -45,7 +45,7 @@
 ## FLAGGED ISSUES
 - **398 inline tests across 13 crates is respectable** -- best inline coverage among non-Julia repos
 - **benches/.gitkeep = phantom benchmarks** -- a type checker with no performance measurements
-- **13 language backends (eclexia through vql) each have only ~10 inline tests** -- thin coverage per backend
+- **13 language backends (eclexia through vcl) each have only ~10 inline tests** -- thin coverage per backend
 - **0 E2E for a 10-level type system** -- can't verify the type system actually works on real programs
 - **core_comprehensive_tests.rs (95 tests) is solid** for the kernel
 

TEST-NEEDS.md

@@ -51,7 +51,7 @@
                     │   ┌────────────────┼─────────────────────────────┐  │
                     │   │         Language Backends                     │  │
                     │   │  ┌──────────┐  │  ┌──────────┐  ┌─────────┐ │  │
-                    │   │  │ VQL-dt++ │  │  │ GQL-dt++ │  │KQL-dt++ │ │  │
+                    │   │  │ VCL-dt++ │  │  │ GQL-dt++ │  │KQL-dt++ │ │  │
                     │   │  │VeriSimDB │  │  │LithoGlyph│  │QuandleDB│ │  │
                     │   │  │ (Rust)   │  │  │(Lean4    │  │(Rust,   │ │  │
                     │   │  │          │  │  │ bridge)  │  │ new)    │ │  │
@@ -110,7 +110,7 @@ IDRIS2 ABI (Phase 1)
   Checker.idr                        ░░░░░░░░░░   0%    Soundness/completeness proofs
 
 RUST KERNEL (Phases 3-5)
-  Bidirectional type checker         ░░░░░░░░░░   0%    Port from VQL-dt + extend
+  Bidirectional type checker         ░░░░░░░░░░   0%    Port from VCL-dt + extend
   Proof engine                       ░░░░░░░░░░   0%    Auto-gen, Echidna dispatch
   Effect tracker                     ░░░░░░░░░░   0%    Compositional inference
   Session protocol manager           ░░░░░░░░░░   0%    Connection lifecycle
@@ -121,12 +121,12 @@ ZIG FFI (Phase 1)
   src/main.zig                       ██████████ 100%    ~300 lines, all FFI functions implemented
   test/integration_test.zig          ██████████ 100%    18 integration tests (lifecycle, ops, safety)
 
-VQL-dt++ GRAMMAR (Phase 2)
-  vql-dtpp-grammar.ebnf              ██████████ 100%    6 clauses, 199 lines, no keyword conflicts
-  VQL-SPEC.adoc Appendix E           ██████████ 100%    Comparison table + individual syntax examples
+VCL-dt++ GRAMMAR (Phase 2)
+  vcl-dtpp-grammar.ebnf              ██████████ 100%    6 clauses, 199 lines, no keyword conflicts
+  VCL-SPEC.adoc Appendix E           ██████████ 100%    Comparison table + individual syntax examples
 
 LANGUAGE BACKENDS (Phases 6-8)
-  VQL-dt++ (VeriSimDB)               ░░░░░░░░░░   0%    Port from ReScript
+  VCL-dt++ (VeriSimDB)               ░░░░░░░░░░   0%    Port from ReScript
   GQL-dt++ (LithoGlyph)             ░░░░░░░░░░   0%    Bridge to Lean 4
   KQL-dt++ (QuandleDB)              ░░░░░░░░░░   0%    Design from scratch
 
@@ -148,7 +148,7 @@ PanLL ──────────────► Typell Kernel ────
   │                      │                         ▼
   │                      │                    Zig FFI (C ABI)
   │                      │
-  │                      ├──► VQL-dt++ ──────► VeriSimDB
+  │                      ├──► VCL-dt++ ──────► VeriSimDB
   │                      ├──► GQL-dt++ ──────► LithoGlyph (Lean 4)
   │                      └──► KQL-dt++ ──────► QuandleDB
   │                      │

TOPOLOGY.md

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: PMPL-2.0-or-later
-= Unified Level System — TypeLL / VQL-UT / VeriSimDB / TypedQLiser / PanLL
+= Unified Level System — TypeLL / VCL-total / VeriSimDB / TypedQLiser / PanLL
 :toc:
 
 == Level Definitions
@@ -26,29 +26,29 @@
 
 | TypeLL core engine | L1 | Specs exist, no runtime type checker
 | TypedQLiser L5-10 | L1 | Levels 1-4 work, 5-10 need TypeLL
-| PanLL VQL panel | L0 | Does not exist
-| VQL-UT → VeriSimDB bridge | L2 | Parser works, no DB execution
+| PanLL VCL panel | L0 | Does not exist
+| VCL-total → VeriSimDB bridge | L2 | Parser works, no DB execution
 | VeriSimDB octad storage | L4 | Phase 4 validated, production tested
 | PanLL TypeLL panel | L2 | ReScript UI exists, not verified running
-| TypeLL-VQL bridge | L2 | Crate exists, depends on typell-core
+| TypeLL-VCL bridge | L2 | Crate exists, depends on typell-core
 |===
 
 == Level-Up Plan
 
 Round 1: Bring trailing (L0/L1) → L3::
   1. TypeLL core engine: implement type checker runtime
-  2. PanLL VQL panel: create the panel
+  2. PanLL VCL panel: create the panel
   3. TypedQLiser L5-10: implement with TypeLL backing
 
 Round 2: Bring all → L4 (integrated)::
-  4. Wire VQL-UT → VeriSimDB runtime bridge
+  4. Wire VCL-total → VeriSimDB runtime bridge
   5. Wire TypeLL → TypedQLiser for levels 5-10
   6. Wire PanLL TypeLL panel → running TypeLL server
-  7. Wire PanLL VQL panel → VQL-UT
+  7. Wire PanLL VCL panel → VCL-total
 
 Round 3: Bring all → L5 (end-to-end)::
-  8. PanLL → TypeLL → VQL-UT → VeriSimDB pipeline test
-  9. TypedQLiser → TypeLL → VQL-UT type checking pipeline
+  8. PanLL → TypeLL → VCL-total → VeriSimDB pipeline test
+  9. TypedQLiser → TypeLL → VCL-total type checking pipeline
 
 Round 4: Bring all → L6 (tested + benchmarked)::
   10. Point-to-point tests for every connection