refactor(rename): VQL → VCL + verisimdb → verisim across gitbot-fleet

Matches verisim repo's canonical migration (VeriSim Query Language becomes
VeriSim Consonance Language; repo/db name shortens to verisim).

Affected: echidnabot config, fleet-coordinator, dispatch-runner,
batch_driver, robot-repo-automaton hypatia client, campaigns docs.
Script fix-missing-verisimdb-feed.sh renamed to fix-missing-verisim-feed.sh.

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

Author: hyperpolymath

EXPLAINME.adoc

@@ -151,7 +151,7 @@ Additional bots present in `bots/`: `accessibilitybot`, `cipherbot`, `panicbot`
 
 | *Rust* (rhodibot, echidnabot, sustainabot, shared-context, robot-repo-automaton)
 | Primary implementation language for all bots
-| protocol-squisher, verisimdb, ephapax, Stapeln FFI
+| protocol-squisher, verisim, ephapax, Stapeln FFI
 
 | *Hypatia*
 | External scanner whose JSONL findings feed fleet-coordinator.sh

READINESS.md

@@ -65,7 +65,7 @@ These bots are wired in the OTP supervision tree but have limited external valid
 1. **PAT token**: Automated cross-repo dispatch requires a PAT with `repo` scope — currently missing
 2. **Fix scripts**: 310/600 auto-execute entries have null fix_script — recipes exist but no executable
 3. **False positive rate**: ~8% on some pattern categories; kanren context-facts would reduce to ~2-3%
-4. **VQL federation**: Local-only; multi-store federation not implemented
+4. **VCL federation**: Local-only; multi-store federation not implemented
 5. **Neural state persistence**: State dir exists but coordinator hasn't persisted to disk
 
 ---

bots/echidnabot/src/config.rs

@@ -73,7 +73,7 @@ fn default_host() -> String {
 fn default_port() -> u16 {
     // 9001 is echidnabot's canonical port in the hyperpolymath port map.
     // (9000 = echidna core, 9001 = echidnabot, 9090 = hypatia.)
-    // Was 8080 which collided with verisimdb and gitbot-fleet.
+    // Was 8080 which collided with verisim and gitbot-fleet.
     9001
 }
 

campaigns/FLOOR-RAISE-CAMPAIGN.adoc

@@ -22,7 +22,7 @@ built but underadopted.
 | Dustfile.a2ml | 206 | 256 | 80%
 | `assail` recipe in Justfile | 170 | 256 | 66%
 | proven.a2ml integration | 256 | 256 | 100%
-| verisimdb.a2ml integration | 256 | 256 | 100%
+| verisim.a2ml integration | 256 | 256 | 100%
 | feedback-o-tron.a2ml integration | 256 | 256 | 100%
 | vexometer.a2ml integration | 256 | 256 | 100%
 |===
@@ -43,7 +43,7 @@ File: `floor-raise-2026-03-20.jsonl`
 File: `floor-raise-integrations-2026-03-20.jsonl`
 
 * 256 missing proven.a2ml (confidence: 0.97)
-* 256 missing verisimdb.a2ml (confidence: 0.97)
+* 256 missing verisim.a2ml (confidence: 0.97)
 * 256 missing feedback-o-tron.a2ml (confidence: 0.97)
 * 256 missing vexometer.a2ml (confidence: 0.97)
 
@@ -58,7 +58,7 @@ File: `floor-raise-integrations-2026-03-20.jsonl`
 | `fix-missing-ai-manifest.sh` | Add 0-AI-MANIFEST.a2ml (AI entry point)
 | `fix-missing-assail-recipe.sh` | Add `assail` recipe to Justfile
 | `fix-missing-proven-ref.sh` | Add proven integration reference
-| `fix-missing-verisimdb-feed.sh` | Add VeriSimDB feed configuration
+| `fix-missing-verisim-feed.sh` | Add VeriSimDB feed configuration
 | `fix-missing-feedback-integration.sh` | Add feedback-o-tron integration
 | `fix-missing-vexometer-hooks.sh` | Add vexometer friction hooks
 |===

fleet-coordinator.sh

@@ -143,7 +143,7 @@ process_findings() {
     fi
 
     # Load recipes for triangle routing
-    local recipes_dir="/var$REPOS_DIR/verisimdb-data/recipes"
+    local recipes_dir="/var$REPOS_DIR/verisim-data/recipes"
     local substitutions_file="$recipes_dir/proven-substitutions.json"
 
     # Scan for findings in new directory structure: findings/<repo-name>/<timestamp>.json
@@ -255,9 +255,9 @@ process_findings() {
 
         # Process eliminate-tier findings via dispatch-runner (auto-execute)
         local dispatch_runner="$FLEET_DIR/scripts/dispatch-runner.sh"
-        if [[ -x "$dispatch_runner" && -f "/var$REPOS_DIR/verisimdb-data/dispatch/pending.jsonl" ]]; then
+        if [[ -x "$dispatch_runner" && -f "/var$REPOS_DIR/verisim-data/dispatch/pending.jsonl" ]]; then
             local auto_count
-            auto_count=$(jq -c 'select(.strategy == "auto_execute")' /var$REPOS_DIR/verisimdb-data/dispatch/pending.jsonl 2>/dev/null | wc -l)
+            auto_count=$(jq -c 'select(.strategy == "auto_execute")' /var$REPOS_DIR/verisim-data/dispatch/pending.jsonl 2>/dev/null | wc -l)
             if [[ $auto_count -gt 0 ]]; then
                 log_bot "robot-repo-automaton" "Dispatch runner: $auto_count auto-execute entries pending"
             fi

robot-repo-automaton/src/hypatia.rs

@@ -203,7 +203,7 @@ impl CicdHyperAClient {
     /// Fetch a ruleset from the registry.
     ///
     /// Tries the Hypatia API first; falls back to loading rules from the
-    /// local verisimdb-data recipes directory if the API is unavailable.
+    /// local verisim-data recipes directory if the API is unavailable.
     pub async fn fetch_ruleset(&self, ruleset_id: &str) -> crate::Result<Ruleset> {
         tracing::info!("Fetching ruleset: {} from {}", ruleset_id, self.config.api_url);
 
@@ -233,17 +233,17 @@ impl CicdHyperAClient {
             }
         }
 
-        // Fallback: load from local verisimdb-data recipes
+        // Fallback: load from local verisim-data recipes
         self.load_local_ruleset(ruleset_id)
     }
 
-    /// Load rules from local verisimdb-data recipes directory.
+    /// Load rules from local verisim-data recipes directory.
     fn load_local_ruleset(&self, ruleset_id: &str) -> crate::Result<Ruleset> {
         let recipes_dirs = [
-            PathBuf::from("/var/mnt/eclipse/repos/verisimdb-data/recipes"),
+            PathBuf::from("/var/mnt/eclipse/repos/verisim-data/recipes"),
             dirs::home_dir()
                 .unwrap_or_default()
-                .join("Documents/hyperpolymath-repos/verisimdb-data/recipes"),
+                .join("Documents/hyperpolymath-repos/verisim-data/recipes"),
         ];
 
         let recipes_dir = recipes_dirs.iter().find(|d| d.is_dir());
@@ -601,7 +601,7 @@ impl CicdHyperAClient {
     }
 }
 
-/// Convert a verisimdb-data recipe JSON to a Rule.
+/// Convert a verisim-data recipe JSON to a Rule.
 fn recipe_to_rule(recipe: &serde_json::Value) -> Option<Rule> {
     let id = recipe.get("id")?.as_str()?.to_string();
     let name = recipe.get("name").and_then(|v| v.as_str()).unwrap_or(&id).to_string();

scripts/dispatch-runner.sh

@@ -3,7 +3,7 @@
 #
 # dispatch-runner.sh — Execute actions from hypatia dispatch manifests
 #
-# Reads pending.jsonl from verisimdb-data/dispatch/ and executes fixes
+# Reads pending.jsonl from verisim-data/dispatch/ and executes fixes
 # via robot-repo-automaton CLI, gitbot-fleet fix scripts, or advisory logging.
 #
 # Usage:
@@ -15,7 +15,7 @@
 #   --strategy STRAT  Only process entries matching strategy (auto_execute|review|report_only)
 #   --repo REPO       Only process entries for a specific repo
 #   --limit N         Process at most N entries
-#   --manifest PATH   Path to manifest (default: verisimdb-data/dispatch/pending.jsonl)
+#   --manifest PATH   Path to manifest (default: verisim-data/dispatch/pending.jsonl)
 #   --parallel N      Run up to N fix scripts concurrently (default: 1)
 #   --dedup-repo      Group entries by repo, run only first per repo+category
 
@@ -50,9 +50,9 @@ validate_path_within() {
 
 # --- Configuration ---
 # Hypatia's local data store is the primary source for dispatch manifests.
-# Falls back to central verisimdb-data if HYPATIA_DATA is not set.
-HYPATIA_DATA="${HYPATIA_DATA:-/var$REPOS_DIR/nextgen-databases/verisimdb/verisimdb-data}"
-VERISIMDB_DATA="${VERISIMDB_DATA:-/var$REPOS_DIR/nextgen-databases/verisimdb/verisimdb-data}"
+# Falls back to central verisim-data if HYPATIA_DATA is not set.
+HYPATIA_DATA="${HYPATIA_DATA:-/var$REPOS_DIR/nextgen-databases/verisim/verisim-data}"
+VERISIMDB_DATA="${VERISIMDB_DATA:-/var$REPOS_DIR/nextgen-databases/verisim/verisim-data}"
 REPOS_BASE="${REPOS_BASE:-/var$REPOS_DIR}"
 FLEET_SCRIPTS="${FLEET_SCRIPTS:-/var$REPOS_DIR/gitbot-fleet/scripts}"
 RRA_BIN="${RRA_BIN:-/var$REPOS_DIR/gitbot-fleet/robot-repo-automaton/target/release/robot-repo-automaton}"
@@ -65,7 +65,7 @@ THIRD_PARTY_PATHS=(
     "echidna/HOL"
 )
 
-# Try hypatia's data first, then fall back to central verisimdb-data
+# Try hypatia's data first, then fall back to central verisim-data
 if [[ -f "${HYPATIA_DATA}/dispatch/pending.jsonl" ]]; then
     MANIFEST_PATH="${HYPATIA_DATA}/dispatch/pending.jsonl"
 elif [[ -f "${VERISIMDB_DATA}/dispatch/pending.jsonl" ]]; then

scripts/fix-missing-verisimdb-feed.sh scripts/fix-missing-verisim-feed.shscripts/fix-missing-verisimdb-feed.sh renamed to scripts/fix-missing-verisim-feed.sh

@@ -1,27 +1,27 @@
 #!/bin/bash
 # SPDX-License-Identifier: PMPL-1.0-or-later
 #
-# fix-missing-verisimdb-feed.sh — Add VeriSimDB feed integration if missing
+# fix-missing-verisim-feed.sh — Add VeriSimDB feed integration if missing
 #
-# Fixes MissingVerisimdbFeed by creating .machine_readable/integrations/verisimdb.a2ml
+# Fixes MissingVerisimdbFeed by creating .machine_readable/integrations/verisim.a2ml
 # declaring the VeriSimDB cross-repo analytics data feed configuration.
 #
-# Usage: fix-missing-verisimdb-feed.sh <repo-path> <finding-json>
+# Usage: fix-missing-verisim-feed.sh <repo-path> <finding-json>
 
 set -euo pipefail
 
 REPO_PATH="${1:?Usage: $0 <repo-path> <finding-json>}"
 FINDING_FILE="${2:?Missing finding JSON file}"
 
 TARGET_DIR="$REPO_PATH/.machine_readable/integrations"
-TARGET_FILE="$TARGET_DIR/verisimdb.a2ml"
+TARGET_FILE="$TARGET_DIR/verisim.a2ml"
 
 echo "=== Missing VeriSimDB Feed Fix ==="
 echo "  Repo: $REPO_PATH"
 
 # Idempotency: skip if already exists
 if [[ -f "$TARGET_FILE" ]]; then
-    echo "  SKIP: verisimdb.a2ml already exists"
+    echo "  SKIP: verisim.a2ml already exists"
     exit 0
 fi
 
@@ -34,20 +34,20 @@ cat > "$TARGET_FILE" <<'VERISIMDB'
 # VeriSimDB Feed — Cross-Repo Analytics Data Store
 
 [integration]
-name = "verisimdb"
+name = "verisim"
 type = "data-feed"
 repository = "https://github.com/hyperpolymath/nextgen-databases"
-data-store = "verisimdb-data"
+data-store = "verisim-data"
 
 [feed-config]
 emit-scan-results = true
 emit-build-metrics = true
 emit-dependency-graph = true
 format = "hexad"
-destination = "verisimdb-data/feeds/"
+destination = "verisim-data/feeds/"
 VERISIMDB
 
-echo "  CREATED .machine_readable/integrations/verisimdb.a2ml"
+echo "  CREATED .machine_readable/integrations/verisim.a2ml"
 echo ""
 echo "Fixed: 1 file created"
 exit 0