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

hyperpolymath · claude · hyperpolymath · commit f0c3e3f211d9 · 2026-04-05T17:14:01.000+01:00
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) &lt;noreply@anthropic.com&gt;
diff --git a/.github/workflows/dogfood-gate.yml b/.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
diff --git a/.machine_readable/integrations/verisim.a2ml b/.machine_readable/integrations/verisim.a2ml
diff --git a/Cargo.toml b/Cargo.toml
@@ -7,7 +7,7 @@ authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 description = "Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, and modality overlays"
 license-file = "LICENSE"
 repository = "https://github.com/hyperpolymath/verisimiser"
-keywords = ["verisimdb", "database", "augmentation", "drift-detection", "provenance"]
+keywords = ["verisim", "database", "augmentation", "drift-detection", "provenance"]
 categories = ["command-line-utilities", "database"]
 
 [dependencies]
diff --git a/README.adoc b/README.adoc
@@ -139,7 +139,7 @@ provenance = true             # SHA-256 hash-chain audit trail
 temporal-versioning = true    # automatic version history
 
 [tier1.provenance]
-sidecar = "sqlite"            # sqlite | file | verisimdb
+sidecar = "sqlite"            # sqlite | file | verisim
 sidecar-path = ".verisimiser/provenance.db"
 
 [tier1.temporal]
@@ -197,7 +197,7 @@ VeriSimiser is NOT a replacement for VeriSimDB. It's a gateway drug.
 * **VeriSimiser Tier 2** gives you individual octad modalities as sidecars.
   Incremental adoption.
 * **Full VeriSimDB** gives you the complete octad with native cross-modal
-  querying, VQL, and built-in drift normalisation. Full commitment.
+  querying, VCL, and built-in drift normalisation. Full commitment.
 
 The migration path is: Tier 1 → Tier 2 → full VeriSimDB (if you want it).
 Most users will be happy at Tier 1 or Tier 2.
diff --git a/ROADMAP.adoc b/ROADMAP.adoc
@@ -20,8 +20,8 @@
 * [ ] Cross-modal drift detection — read-path observer
 * [ ] Drift index with 8-category classification
 * [ ] Idris2 ABI proofs: sidecar isolation, hash-chain integrity, version ordering
-* [ ] Zig FFI bridge: database connection, overlay operations, VQL-UT queries
-* [ ] End-to-end test: PostgreSQL -> verisimiser overlay -> VQL-UT query
+* [ ] Zig FFI bridge: database connection, overlay operations, VCL-total queries
+* [ ] End-to-end test: PostgreSQL -> verisimiser overlay -> VCL-total query
 
 == Phase 2: Multi-Backend Support
 * [ ] SQLite interception via sqlite3_update_hook / WAL monitoring
@@ -41,8 +41,8 @@
 * [ ] Spatial overlay (R-tree geospatial coordinates)
 * [ ] Independent enable/disable per overlay via manifest
 
-== Phase 4: VQL-UT Integration
-* [ ] VQL-UT type-safe query parsing
+== Phase 4: VCL-total Integration
+* [ ] VCL-total type-safe query parsing
 * [ ] Cross-tier queries (Tier 1 + Tier 2 in single query)
 * [ ] TypedQLiser integration for compile-time query validation
 * [ ] Query planner for multi-sidecar operations
diff --git a/docs/architecture/THREAT-MODEL.adoc b/docs/architecture/THREAT-MODEL.adoc
@@ -42,12 +42,12 @@ VeriSimiser intercepts database events via CDC, triggers, or hooks.
   PostgreSQL logical replication is the gold standard. Application-level
   hooks are fallback only.
 
-=== VQL-UT Queries
+=== VCL-total Queries
 
 Type-safe queries cross both Tier 1 and Tier 2 boundaries.
 
-* **Threat**: Query injection via malformed VQL-UT strings.
-* **Mitigation**: VQL-UT queries are parsed and type-checked before execution.
+* **Threat**: Query injection via malformed VCL-total strings.
+* **Mitigation**: VCL-total queries are parsed and type-checked before execution.
   TypedQLiser provides compile-time validation. No string interpolation into
   backend queries.
 
diff --git a/docs/architecture/TOPOLOGY.md b/docs/architecture/TOPOLOGY.md
@@ -21,7 +21,7 @@ verisimiser/
 ├── Verified Interface (Idris2 ABI)
 │   ├── src/interface/abi/Types.idr     — OctadDimension, DatabaseBackend, DriftCategory, AccessPolicy, Tier, Result
 │   ├── src/interface/abi/Layout.idr    — OctadRecord (80B), ProvenanceEntry (88B), DriftMeasurement (88B), TemporalSnapshot (48B)
-│   └── src/interface/abi/Foreign.idr   — FFI declarations: lifecycle, connect, overlay, provenance, temporal, drift, VQL-UT
+│   └── src/interface/abi/Foreign.idr   — FFI declarations: lifecycle, connect, overlay, provenance, temporal, drift, VCL-total
 │
 ├── FFI Bridge (Zig)
 │   ├── src/interface/ffi/build.zig             — Shared/static lib build
@@ -48,7 +48,7 @@ Application → writes → Target Database (PostgreSQL / SQLite / MongoDB / Redi
             │               │               │
             └───────────────┼───────────────┘
                             │
-                    VQL-UT Query Interface
+                    VCL-total Query Interface
                             │
                     ┌───────┼───────┐
                     │       │       │
diff --git a/examples/blog-db/README.adoc b/examples/blog-db/README.adoc
@@ -11,23 +11,23 @@ This example demonstrates VeriSimiser augmenting a typical blog database
 cd examples/blog-db
 
 # Generate the sidecar overlay and query interceptors:
-cargo run -- generate --manifest verisimiser.toml --output .verisimdb
+cargo run -- generate --manifest verisimiser.toml --output .verisim
 
 # View generated files:
-cat .verisimdb/sidecar_schema.sql    # Sidecar table definitions
-cat .verisimdb/interceptors.sql       # Query enrichment views
+cat .verisim/sidecar_schema.sql    # Sidecar table definitions
+cat .verisim/interceptors.sql       # Query enrichment views
 ----
 
 == What Gets Generated
 
 * `sidecar_schema.sql` — Creates 5 sidecar tables:
-  - `verisimdb_metadata` — Tracks which blog tables are augmented
-  - `verisimdb_provenance_log` — SHA-256 hash-chained audit trail
-  - `verisimdb_lineage_graph` — Data derivation DAG edges
-  - `verisimdb_temporal_versions` — Point-in-time snapshots
-  - `verisimdb_access_policies` — Row/column access control
+  - `verisim_metadata` — Tracks which blog tables are augmented
+  - `verisim_provenance_log` — SHA-256 hash-chained audit trail
+  - `verisim_lineage_graph` — Data derivation DAG edges
+  - `verisim_temporal_versions` — Point-in-time snapshots
+  - `verisim_access_policies` — Row/column access control
 
 * `interceptors.sql` — Creates views for each table:
-  - `verisimdb_posts_with_provenance` — Posts enriched with last-modified info
-  - `verisimdb_posts_with_temporal` — Posts enriched with version numbers
+  - `verisim_posts_with_provenance` — Posts enriched with last-modified info
+  - `verisim_posts_with_temporal` — Posts enriched with version numbers
   - (and similar for users, comments, tags, post_tags)
diff --git a/examples/blog-db/verisimiser.toml b/examples/blog-db/verisimiser.toml
@@ -23,4 +23,4 @@ enable-simulation = false
 
 [sidecar]
 storage = "sqlite"
-path = ".verisimdb/sidecar.db"
+path = ".verisim/sidecar.db"
diff --git a/src/abi/mod.rs b/src/abi/mod.rs
@@ -421,7 +421,7 @@ impl SidecarConfig {
     pub fn default_sqlite() -> Self {
         Self {
             storage: "sqlite".to_string(),
-            path: ".verisimdb/sidecar.db".to_string(),
+            path: ".verisim/sidecar.db".to_string(),
         }
     }
 
diff --git a/src/interface/abi/Foreign.idr b/src/interface/abi/Foreign.idr
@@ -11,7 +11,7 @@
 ||| - Database connection (connect to target DB)
 ||| - Octad overlay (attach dimensions to entities)
 ||| - Tier 1: drift detection, provenance, temporal versioning
-||| - VQL-UT queries (type-safe octad queries)
+||| - VCL-total queries (type-safe octad queries)
 ||| - Error handling and version info
 |||
 ||| All functions are declared here with type signatures and safety proofs.
@@ -236,30 +236,30 @@ driftCategoryScore h entityId cat =
   primIO (prim__driftCategoryScore (handlePtr h) entityId (driftToInt cat))
 
 --------------------------------------------------------------------------------
--- VQL-UT Query Interface
+-- VCL-total Query Interface
 --------------------------------------------------------------------------------
 
-||| Execute a VQL-UT query against the augmented database.
+||| Execute a VCL-total query against the augmented database.
 ||| The query string is type-checked before execution.
 export
 %foreign "C:verisimiser_vql_query, libverisimiser"
 prim__vqlQuery : Bits64 -> Bits64 -> PrimIO Bits64
 
-||| Safe wrapper: execute a VQL-UT query.
-||| queryPtr should point to a null-terminated VQL-UT query string.
+||| Safe wrapper: execute a VCL-total query.
+||| queryPtr should point to a null-terminated VCL-total query string.
 ||| Returns a pointer to the result set, or Nothing on failure.
 export
 vqlQuery : Handle -> (queryPtr : Bits64) -> IO (Maybe Bits64)
 vqlQuery h qPtr = do
   ptr <- primIO (prim__vqlQuery (handlePtr h) qPtr)
   pure $ if ptr == 0 then Nothing else Just ptr
 
-||| Free a VQL-UT query result set.
+||| Free a VCL-total query result set.
 export
 %foreign "C:verisimiser_vql_free_result, libverisimiser"
 prim__vqlFreeResult : Bits64 -> PrimIO ()
 
-||| Safe wrapper: free a VQL-UT result set.
+||| Safe wrapper: free a VCL-total result set.
 export
 vqlFreeResult : (resultPtr : Bits64) -> IO ()
 vqlFreeResult ptr = primIO (prim__vqlFreeResult ptr)
diff --git a/src/interface/ffi/src/main.zig b/src/interface/ffi/src/main.zig
@@ -439,11 +439,11 @@ export fn verisimiser_drift_category_score(
 }
 
 //==============================================================================
-// VQL-UT Query Interface
+// VCL-total Query Interface
 //==============================================================================
 
-/// Execute a VQL-UT query against the augmented database.
-/// query_ptr: pointer to null-terminated VQL-UT query string.
+/// Execute a VCL-total query against the augmented database.
+/// query_ptr: pointer to null-terminated VCL-total query string.
 /// Returns pointer to result set, or 0 on failure.
 export fn verisimiser_vql_query(
     handle: ?*Handle,
@@ -461,11 +461,11 @@ export fn verisimiser_vql_query(
 
     _ = query_ptr;
 
-    // TODO: parse VQL-UT query, plan execution, return result set
+    // TODO: parse VCL-total query, plan execution, return result set
     return 0;
 }
 
-/// Free a VQL-UT query result set.
+/// Free a VCL-total query result set.
 export fn verisimiser_vql_free_result(result_ptr: u64) void {
     if (result_ptr == 0) return;
     // TODO: free result set memory
diff --git a/src/interface/ffi/test/integration_test.zig b/src/interface/ffi/test/integration_test.zig
@@ -204,15 +204,15 @@ test "drift score with valid handle returns initial value" {
 }
 
 //==============================================================================
-// VQL-UT Tests
+// VCL-total Tests
 //==============================================================================
 
-test "vql query with null handle returns 0" {
+test "vcl query with null handle returns 0" {
     const ptr = verisimiser_vql_query(null, 0);
     try testing.expectEqual(@as(u64, 0), ptr);
 }
 
-test "vql free result with null is safe" {
+test "vcl free result with null is safe" {
     verisimiser_vql_free_result(0); // Should not crash
 }
 
diff --git a/src/main.rs b/src/main.rs
@@ -61,7 +61,7 @@ enum Commands {
         #[arg(short, long, default_value = "verisimiser.toml")]
         manifest: String,
         /// Output directory for generated SQL files.
-        #[arg(short, long, default_value = ".verisimdb")]
+        #[arg(short, long, default_value = ".verisim")]
         output: String,
     },
     /// Start the VeriSimiser augmentation daemon.
diff --git a/src/manifest/mod.rs b/src/manifest/mod.rs
@@ -282,7 +282,7 @@ fn default_sidecar_storage() -> String {
     "sqlite".to_string()
 }
 fn default_sidecar_path() -> String {
-    ".verisimdb/sidecar.db".to_string()
+    ".verisim/sidecar.db".to_string()
 }
 
 // --- Public API ---
@@ -335,7 +335,7 @@ enable-simulation = {enable_simulation}
 
 [sidecar]
 storage = "sqlite"
-path = ".verisimdb/sidecar.db"
+path = ".verisim/sidecar.db"
 "#
     );
 
diff --git a/tests/integration_test.rs b/tests/integration_test.rs
@@ -81,23 +81,23 @@ fn test_full_pipeline_blog_schema() {
 
     // Verify all expected sidecar tables are present.
     assert!(
-        overlay_ddl.contains("verisimdb_metadata"),
+        overlay_ddl.contains("verisim_metadata"),
         "Should contain metadata table"
     );
     assert!(
-        overlay_ddl.contains("verisimdb_provenance_log"),
+        overlay_ddl.contains("verisim_provenance_log"),
         "Should contain provenance table"
     );
     assert!(
-        overlay_ddl.contains("verisimdb_lineage_graph"),
+        overlay_ddl.contains("verisim_lineage_graph"),
         "Should contain lineage table"
     );
     assert!(
-        overlay_ddl.contains("verisimdb_temporal_versions"),
+        overlay_ddl.contains("verisim_temporal_versions"),
         "Should contain temporal table"
     );
     assert!(
-        overlay_ddl.contains("verisimdb_access_policies"),
+        overlay_ddl.contains("verisim_access_policies"),
         "Should contain access policies table"
     );
 
@@ -149,9 +149,9 @@ fn test_full_pipeline_blog_schema() {
 
     // Step 4: Render interceptors to SQL and verify output.
     let rendered = query::render_interceptors(&interceptors);
-    assert!(rendered.contains("verisimdb_users_with_provenance"));
-    assert!(rendered.contains("verisimdb_posts_with_temporal"));
-    assert!(rendered.contains("verisimdb_comments_with_provenance"));
+    assert!(rendered.contains("verisim_users_with_provenance"));
+    assert!(rendered.contains("verisim_posts_with_temporal"));
+    assert!(rendered.contains("verisim_comments_with_provenance"));
 }
 
 // ---------------------------------------------------------------------------
@@ -180,7 +180,7 @@ enable-simulation = false
 
 [sidecar]
 storage = "sqlite"
-path = ".verisimdb/test-sidecar.db"
+path = ".verisim/test-sidecar.db"
 "#;
 
     let manifest: manifest::Manifest = toml::from_str(toml_content).unwrap();
@@ -201,7 +201,7 @@ path = ".verisimdb/test-sidecar.db"
     assert!(!manifest.octad.enable_simulation);
 
     assert_eq!(manifest.sidecar.storage, "sqlite");
-    assert_eq!(manifest.sidecar.path, ".verisimdb/test-sidecar.db");
+    assert_eq!(manifest.sidecar.path, ".verisim/test-sidecar.db");
 
     // Enabled count: data(1) + metadata(1) + provenance(1) + lineage(1) + temporal(1) + constraints(1) = 6
     assert_eq!(manifest.octad.enabled_count(), 6);
@@ -457,7 +457,7 @@ enable-simulation = false
 
 [sidecar]
 storage = "sqlite"
-path = ".verisimdb/test.db"
+path = ".verisim/test.db"
 "#,
             schema_path.display()
         )
@@ -476,14 +476,14 @@ path = ".verisimdb/test.db"
 
     // Generate overlay.
     let overlay_ddl = overlay::generate_sidecar_schema(&schema, &manifest.octad);
-    assert!(overlay_ddl.contains("verisimdb_provenance_log"));
-    assert!(overlay_ddl.contains("verisimdb_temporal_versions"));
+    assert!(overlay_ddl.contains("verisim_provenance_log"));
+    assert!(overlay_ddl.contains("verisim_temporal_versions"));
     assert!(
-        !overlay_ddl.contains("verisimdb_lineage_graph"),
+        !overlay_ddl.contains("verisim_lineage_graph"),
         "Lineage is disabled"
     );
     assert!(
-        !overlay_ddl.contains("verisimdb_access_policies"),
+        !overlay_ddl.contains("verisim_access_policies"),
         "Access control is disabled"
     );
 

Original file line number	Diff line number	Diff line change
`@@ -421,7 +421,7 @@ impl SidecarConfig {`
`421`	`421`	`pub fn default_sqlite() -> Self {`
`422`	`422`	`Self {`
`423`	`423`	`storage: "sqlite".to_string(),`
`424`		`- path: ".verisimdb/sidecar.db".to_string(),`
	`424`	`+ path: ".verisim/sidecar.db".to_string(),`
`425`	`425`	`}`
`426`	`426`	`}`
`427`	`427`